Trace number 4498753

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) 3601.65 3616.38

General information on the benchmark

NamePB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__8.opb
MD5SUMd50eed7fc92c8c8c776f016813e402ac
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 benchmark87132
Best CPU time to get the best result obtained on this benchmark4.80108
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40998
Total number of constraints6000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)5002
Number of constraints which are nor clauses,nor cardinality constraints998
Minimum length of a constraint8
Maximum length of a constraint329
Number of terms in the objective function 40000
Biggest coefficient in the objective function 122979
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 1373838504
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 122979
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 1373838504
Number of bits of the biggest sum of numbers31
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.29/0.33	c #variables 40998 #constraints 7000
0.29/0.33	c objective is ce32 
0.39/0.44	c initial watched  CF 32, 64, 128, Arb: 998 , 0 , 0 , 0
0.39/0.44	c initial counting CF 32, 64, 128, Arb: 999 , 0 , 0 , 0
0.39/0.44	c GLOBAL bounds - >= 0 @ 0.349012
0.58/0.62	c GLOBAL bounds - >= 0 @ 0.450025
0.67/0.74	c GLOBAL bounds - >= 0 @ 0.536461
0.77/0.86	c GLOBAL bounds - >= 0 @ 0.624911
0.86/1.01	c GLOBAL bounds - >= 0 @ 0.727382
1.08/1.15	c GLOBAL bounds - >= 0 @ 0.835167
1.26/1.30	c GLOBAL bounds - >= 0 @ 0.948479
1.46/1.54	c GLOBAL bounds - >= 0 @ 1.12787
1.76/1.84	c GLOBAL bounds - >= 15693 @ 1.42063
1.86/1.90	c rational objective 15693
1.86/1.96	c GLOBAL bounds - >= 15693 @ 1.50434
1.86/2.01	c GLOBAL bounds - >= 15693 @ 1.52413
1.97/2.05	c GLOBAL bounds - >= 15693 @ 1.53864
1.97/2.09	c GLOBAL bounds - >= 15693 @ 1.55368
2.08/2.13	c GLOBAL bounds - >= 15693 @ 1.56856
2.16/2.23	c GLOBAL bounds - >= 15693 @ 1.6332
2.16/2.27	c GLOBAL bounds - >= 15693 @ 1.64415
2.26/2.34	c GLOBAL bounds - >= 15693 @ 1.68523
2.26/2.38	c GLOBAL bounds - >= 15693 @ 1.70275
2.36/2.45	c GLOBAL bounds - >= 15693 @ 1.74597
2.36/2.49	c GLOBAL bounds - >= 15693 @ 1.76342
2.45/2.56	c GLOBAL bounds - >= 15693 @ 1.80591
2.55/2.60	c GLOBAL bounds - >= 15693 @ 1.82698
2.55/2.64	c GLOBAL bounds - >= 15693 @ 1.84259
2.55/2.68	c GLOBAL bounds - >= 15693 @ 1.8558
2.65/2.75	c GLOBAL bounds - >= 15693 @ 1.89757
2.65/2.79	c GLOBAL bounds - >= 15693 @ 1.91193
2.75/2.83	c GLOBAL bounds - >= 15693 @ 1.92297
2.75/2.87	c GLOBAL bounds - >= 15693 @ 1.94028
2.86/2.94	c GLOBAL bounds - >= 15693 @ 1.9823
2.86/2.99	c GLOBAL bounds - >= 15693 @ 2.00402
2.97/3.05	c GLOBAL bounds - >= 15693 @ 2.04125
2.97/3.10	c GLOBAL bounds - >= 15693 @ 2.06221
3.06/3.14	c GLOBAL bounds - >= 15693 @ 2.08068
3.15/3.20	c GLOBAL bounds - >= 15693 @ 2.13154
3.26/3.31	c GLOBAL bounds - >= 15693 @ 2.23442
3.26/3.39	c GLOBAL bounds - >= 15693 @ 2.31223
4.45/4.55	c GLOBAL bounds - >= 15693 @ 3.43595
4.96/5.06	c GLOBAL bounds - >= 15693 @ 3.93331
5.35/5.47	c GLOBAL bounds - >= 15693 @ 4.3204
5.45/5.52	c GLOBAL bounds - >= 15693 @ 4.35867
5.45/5.56	c GLOBAL bounds - >= 15693 @ 4.39457
5.55/5.64	c GLOBAL bounds - >= 15693 @ 4.46542
5.65/5.78	c GLOBAL bounds - >= 15693 @ 4.5745
6.96/7.07	c GLOBAL bounds - >= 15693 @ 5.79085
15.03/15.14	c GLOBAL bounds - >= 25816 @ 13.6529
15.11/15.21	c GLOBAL bounds - >= 25816 @ 13.6953
15.11/15.25	c GLOBAL bounds - >= 25816 @ 13.7135
15.21/15.30	c GLOBAL bounds - >= 25816 @ 13.7351
15.21/15.34	c GLOBAL bounds - >= 25816 @ 13.7533
15.21/15.39	c GLOBAL bounds - >= 25816 @ 13.7703
15.32/15.43	c GLOBAL bounds - >= 25816 @ 13.7945
15.32/15.48	c GLOBAL bounds - >= 25816 @ 13.8146
15.41/15.52	c GLOBAL bounds - >= 25816 @ 13.8356
15.41/15.57	c GLOBAL bounds - >= 25816 @ 13.8517
15.51/15.69	c GLOBAL bounds - >= 25816 @ 13.9251
15.61/15.74	c GLOBAL bounds - >= 25816 @ 13.9418
15.71/15.83	c GLOBAL bounds - >= 25816 @ 13.9819
15.71/15.87	c GLOBAL bounds - >= 25816 @ 14.0075
15.81/15.98	c GLOBAL bounds - >= 25816 @ 14.0718
15.92/16.03	c GLOBAL bounds - >= 25816 @ 14.0922
15.92/16.10	c GLOBAL bounds - >= 25816 @ 14.135
16.02/16.15	c GLOBAL bounds - >= 25816 @ 14.158
16.11/16.24	c GLOBAL bounds - >= 25816 @ 14.2138
16.11/16.29	c GLOBAL bounds - >= 25816 @ 14.2337
16.21/16.36	c GLOBAL bounds - >= 25816 @ 14.2717
16.31/16.40	c GLOBAL bounds - >= 25816 @ 14.2888
16.31/16.47	c GLOBAL bounds - >= 25816 @ 14.3224
16.41/16.52	c GLOBAL bounds - >= 25816 @ 14.3465
16.41/16.58	c GLOBAL bounds - >= 25816 @ 14.3809
16.51/16.63	c GLOBAL bounds - >= 25816 @ 14.4011
16.61/16.70	c GLOBAL bounds - >= 25816 @ 14.4384
16.61/16.74	c GLOBAL bounds - >= 25816 @ 14.4588
16.71/16.81	c GLOBAL bounds - >= 25816 @ 14.4953
16.71/16.88	c GLOBAL bounds - >= 25816 @ 14.5601
17.11/17.20	c GLOBAL bounds - >= 25816 @ 14.854
18.19/18.30	c GLOBAL bounds - >= 25816 @ 15.9097
18.40/18.51	c GLOBAL bounds - >= 25816 @ 16.1037
18.50/18.67	c GLOBAL bounds - >= 25816 @ 16.2429
18.50/18.68	c GLOBAL bounds - >= 25816 @ 16.255
18.60/18.74	c GLOBAL bounds - >= 25816 @ 16.2819
18.60/18.78	c GLOBAL bounds - >= 25816 @ 16.2989
18.69/18.82	c GLOBAL bounds - >= 25816 @ 16.3121
18.69/18.87	c GLOBAL bounds - >= 25816 @ 16.3274
18.80/18.91	c GLOBAL bounds - >= 25816 @ 16.3513
18.80/18.96	c GLOBAL bounds - >= 25816 @ 16.3662
18.91/19.05	c GLOBAL bounds - >= 25816 @ 16.4194
18.91/19.10	c GLOBAL bounds - >= 25816 @ 16.4385
19.01/19.18	c GLOBAL bounds - >= 25816 @ 16.4842
19.09/19.22	c GLOBAL bounds - >= 25816 @ 16.5105
19.20/19.30	c GLOBAL bounds - >= 25816 @ 16.5544
19.20/19.35	c GLOBAL bounds - >= 25816 @ 16.5785
19.29/19.42	c GLOBAL bounds - >= 25816 @ 16.6063
19.29/19.46	c GLOBAL bounds - >= 25816 @ 16.6283
19.39/19.53	c GLOBAL bounds - >= 25816 @ 16.6601
19.39/19.58	c GLOBAL bounds - >= 25816 @ 16.6814
19.50/19.64	c GLOBAL bounds - >= 25816 @ 16.7158
19.50/19.69	c GLOBAL bounds - >= 25816 @ 16.7358
19.60/19.76	c GLOBAL bounds - >= 25816 @ 16.7722
19.70/19.80	c GLOBAL bounds - >= 25816 @ 16.7946
19.70/19.87	c GLOBAL bounds - >= 25816 @ 16.8315
19.79/19.92	c GLOBAL bounds - >= 25816 @ 16.8579
19.79/19.99	c GLOBAL bounds - >= 25816 @ 16.8945
19.90/20.03	c GLOBAL bounds - >= 25816 @ 16.9149
19.90/20.10	c GLOBAL bounds - >= 25816 @ 16.9498
20.00/20.17	c GLOBAL bounds - >= 25816 @ 17.0067
20.09/20.25	c GLOBAL bounds - >= 25816 @ 17.0709
20.29/20.47	c GLOBAL bounds - >= 25816 @ 17.2844
20.39/20.54	c GLOBAL bounds - >= 25816 @ 17.3346
20.59/20.70	c GLOBAL bounds - >= 25816 @ 17.4766
21.19/21.32	c GLOBAL bounds - >= 25816 @ 18.0583
21.39/21.55	c GLOBAL bounds - >= 25816 @ 18.2563
21.49/21.68	c GLOBAL bounds - >= 25816 @ 18.3629
21.49/21.69	c GLOBAL bounds - >= 25816 @ 18.3749
21.59/21.74	c GLOBAL bounds - >= 25816 @ 18.4053
21.59/21.79	c GLOBAL bounds - >= 25816 @ 18.4206
21.68/21.83	c GLOBAL bounds - >= 25816 @ 18.4384
21.68/21.88	c GLOBAL bounds - >= 25816 @ 18.4633
21.79/21.92	c GLOBAL bounds - >= 25816 @ 18.4814
21.79/21.97	c GLOBAL bounds - >= 25816 @ 18.4994
21.89/22.02	c GLOBAL bounds - >= 25816 @ 18.5201
21.89/22.06	c GLOBAL bounds - >= 25816 @ 18.5478
21.89/22.11	c GLOBAL bounds - >= 25816 @ 18.5739
22.09/22.20	c GLOBAL bounds - >= 25816 @ 18.6236
22.09/22.25	c GLOBAL bounds - >= 25816 @ 18.6414
22.19/22.33	c GLOBAL bounds - >= 25816 @ 18.6911
22.19/22.37	c GLOBAL bounds - >= 25816 @ 18.7163
22.28/22.44	c GLOBAL bounds - >= 25816 @ 18.7472
22.28/22.49	c GLOBAL bounds - >= 25816 @ 18.7704
22.38/22.56	c GLOBAL bounds - >= 25816 @ 18.8067
22.48/22.60	c GLOBAL bounds - >= 25816 @ 18.8262
22.48/22.69	c GLOBAL bounds - >= 25816 @ 18.885
22.58/22.74	c GLOBAL bounds - >= 25816 @ 18.9057
22.69/22.82	c GLOBAL bounds - >= 25816 @ 18.9616
22.69/22.87	c GLOBAL bounds - >= 25816 @ 18.9779
22.78/22.94	c GLOBAL bounds - >= 25816 @ 19.0072
22.78/22.98	c GLOBAL bounds - >= 25816 @ 19.0274
22.89/23.05	c GLOBAL bounds - >= 25816 @ 19.0616
22.89/23.10	c GLOBAL bounds - >= 25816 @ 19.0822
22.99/23.17	c GLOBAL bounds - >= 25816 @ 19.1163
23.09/23.21	c GLOBAL bounds - >= 25816 @ 19.1345
23.09/23.28	c GLOBAL bounds - >= 25816 @ 19.1736
23.28/23.43	c GLOBAL bounds - >= 25816 @ 19.304
23.68/23.81	c GLOBAL bounds - >= 25816 @ 19.6394
27.56/27.72	c GLOBAL bounds - >= 25816 @ 23.3963
27.66/27.82	c GLOBAL bounds - >= 25816 @ 23.4784
27.66/27.84	c GLOBAL bounds - >= 25816 @ 23.4928
27.76/27.90	c GLOBAL bounds - >= 25816 @ 23.527
27.76/27.95	c GLOBAL bounds - >= 25816 @ 23.5514
27.76/28.01	c GLOBAL bounds - >= 25816 @ 23.5764
27.86/28.06	c GLOBAL bounds - >= 25816 @ 23.599
27.96/28.11	c GLOBAL bounds - >= 25816 @ 23.6168
28.06/28.21	c GLOBAL bounds - >= 25816 @ 23.6816
28.06/28.26	c GLOBAL bounds - >= 25816 @ 23.7057
28.16/28.36	c GLOBAL bounds - >= 25816 @ 23.7613
28.26/28.40	c GLOBAL bounds - >= 25816 @ 23.7825
28.35/28.52	c GLOBAL bounds - >= 25816 @ 23.8648
28.35/28.57	c GLOBAL bounds - >= 25816 @ 23.8822
28.46/28.69	c GLOBAL bounds - >= 25816 @ 23.9592
28.55/28.74	c GLOBAL bounds - >= 25816 @ 23.9773
28.65/28.86	c GLOBAL bounds - >= 25816 @ 24.0516
28.75/28.91	c GLOBAL bounds - >= 25816 @ 24.0716
28.86/29.03	c GLOBAL bounds - >= 25816 @ 24.1541
28.86/29.08	c GLOBAL bounds - >= 25816 @ 24.171
29.05/29.20	c GLOBAL bounds - >= 25816 @ 24.2475
29.05/29.25	c GLOBAL bounds - >= 25816 @ 24.2701
29.15/29.36	c GLOBAL bounds - >= 25816 @ 24.347
29.25/29.41	c GLOBAL bounds - >= 25816 @ 24.3689
29.35/29.53	c GLOBAL bounds - >= 25816 @ 24.4551
29.35/29.57	c GLOBAL bounds - >= 25816 @ 24.4805
29.45/29.69	c GLOBAL bounds - >= 25816 @ 24.5581
33.43/33.62	c GLOBAL bounds - >= 25816 @ 28.3732
33.53/33.73	c GLOBAL bounds - >= 25816 @ 28.4512
33.53/33.74	c GLOBAL bounds - >= 25816 @ 28.464
33.53/33.79	c GLOBAL bounds - >= 25816 @ 28.4897
33.63/33.84	c GLOBAL bounds - >= 25816 @ 28.5052
33.63/33.88	c GLOBAL bounds - >= 25816 @ 28.524
33.73/33.98	c GLOBAL bounds - >= 25816 @ 28.5849
33.84/34.02	c GLOBAL bounds - >= 25816 @ 28.6043
33.94/34.12	c GLOBAL bounds - >= 25816 @ 28.6573
33.94/34.16	c GLOBAL bounds - >= 25816 @ 28.6782
34.03/34.26	c GLOBAL bounds - >= 25816 @ 28.7409
34.12/34.30	c GLOBAL bounds - >= 25816 @ 28.758
34.22/34.42	c GLOBAL bounds - >= 25816 @ 28.8438
34.22/34.47	c GLOBAL bounds - >= 25816 @ 28.8615
34.33/34.58	c GLOBAL bounds - >= 25816 @ 28.9453
34.43/34.63	c GLOBAL bounds - >= 25816 @ 28.9636
34.53/34.74	c GLOBAL bounds - >= 25816 @ 29.032
34.53/34.78	c GLOBAL bounds - >= 25816 @ 29.0533
34.63/34.86	c GLOBAL bounds - >= 25816 @ 29.0995
34.72/34.90	c GLOBAL bounds - >= 25816 @ 29.1207
34.72/34.98	c GLOBAL bounds - >= 25816 @ 29.1559
34.84/35.03	c GLOBAL bounds - >= 25816 @ 29.1814
34.84/35.09	c GLOBAL bounds - >= 25816 @ 29.2166
34.93/35.14	c GLOBAL bounds - >= 25816 @ 29.2364
35.03/35.21	c GLOBAL bounds - >= 25816 @ 29.2765
35.13/35.31	c GLOBAL bounds - >= 25816 @ 29.3644
35.13/35.37	c GLOBAL bounds - >= 25816 @ 29.4053
35.22/35.43	c GLOBAL bounds - >= 25816 @ 29.4642
41.00/41.22	c GLOBAL bounds - >= 25816 @ 35.1154
41.10/41.36	c GLOBAL bounds - >= 25816 @ 35.2319
41.21/41.47	c GLOBAL bounds - >= 25816 @ 35.3253
41.21/41.48	c GLOBAL bounds - >= 25816 @ 35.3372
41.30/41.54	c GLOBAL bounds - >= 25816 @ 35.3637
41.30/41.58	c GLOBAL bounds - >= 25816 @ 35.3834
41.40/41.62	c GLOBAL bounds - >= 25816 @ 35.4042
41.40/41.67	c GLOBAL bounds - >= 25816 @ 35.4241
41.50/41.72	c GLOBAL bounds - >= 25816 @ 35.4491
41.50/41.76	c GLOBAL bounds - >= 25816 @ 35.464
41.60/41.81	c GLOBAL bounds - >= 25816 @ 35.4851
41.71/41.92	c GLOBAL bounds - >= 25816 @ 35.5593
41.71/41.97	c GLOBAL bounds - >= 25816 @ 35.5792
41.81/42.05	c GLOBAL bounds - >= 25816 @ 35.6279
41.81/42.10	c GLOBAL bounds - >= 25816 @ 35.6533
41.91/42.17	c GLOBAL bounds - >= 25816 @ 35.6888
41.99/42.22	c GLOBAL bounds - >= 25816 @ 35.7162
41.99/42.28	c GLOBAL bounds - >= 25816 @ 35.7515
42.10/42.33	c GLOBAL bounds - >= 25816 @ 35.7683
42.20/42.40	c GLOBAL bounds - >= 25816 @ 35.8015
42.20/42.45	c GLOBAL bounds - >= 25816 @ 35.8153
42.30/42.52	c GLOBAL bounds - >= 25816 @ 35.8561
42.30/42.56	c GLOBAL bounds - >= 25816 @ 35.8737
42.40/42.63	c GLOBAL bounds - >= 25816 @ 35.9114
42.40/42.68	c GLOBAL bounds - >= 25816 @ 35.9307
42.50/42.75	c GLOBAL bounds - >= 25816 @ 35.9658
42.50/42.79	c GLOBAL bounds - >= 25816 @ 35.9922
42.59/42.86	c GLOBAL bounds - >= 25816 @ 36.0299
42.69/42.91	c GLOBAL bounds - >= 25816 @ 36.0531
42.69/42.98	c GLOBAL bounds - >= 25816 @ 36.0826
42.80/43.07	c GLOBAL bounds - >= 25816 @ 36.154
42.99/43.27	c GLOBAL bounds - >= 25816 @ 36.3258
50.37/50.64	c #Conflicts:       1000 | #Constraints:    1465172
50.37/50.64	c GLOBAL bounds - >= 25816 @ 43.4017
50.46/50.75	c GLOBAL bounds - >= 25816 @ 43.4971
50.46/50.76	c GLOBAL bounds - >= 25816 @ 43.5092
50.57/50.82	c GLOBAL bounds - >= 25816 @ 43.538
50.57/50.86	c GLOBAL bounds - >= 25816 @ 43.5607
50.67/50.91	c GLOBAL bounds - >= 25816 @ 43.588
50.67/50.96	c GLOBAL bounds - >= 25816 @ 43.6094
50.67/51.00	c GLOBAL bounds - >= 25816 @ 43.6329
50.78/51.11	c GLOBAL bounds - >= 25816 @ 43.7019
50.88/51.16	c GLOBAL bounds - >= 25816 @ 43.7227
50.96/51.26	c GLOBAL bounds - >= 25816 @ 43.7995
51.06/51.31	c GLOBAL bounds - >= 25816 @ 43.8149
51.16/51.46	c GLOBAL bounds - >= 25816 @ 43.9341
51.26/51.51	c GLOBAL bounds - >= 25816 @ 43.9603
51.36/51.65	c GLOBAL bounds - >= 25816 @ 44.0663
51.46/51.70	c GLOBAL bounds - >= 25816 @ 44.0871
51.56/51.83	c GLOBAL bounds - >= 25816 @ 44.1803
51.56/51.87	c GLOBAL bounds - >= 25816 @ 44.1992
51.66/52.01	c GLOBAL bounds - >= 25816 @ 44.297
51.77/52.06	c GLOBAL bounds - >= 25816 @ 44.3157
51.87/52.17	c GLOBAL bounds - >= 25816 @ 44.3854
51.96/52.21	c GLOBAL bounds - >= 25816 @ 44.4088
52.06/52.32	c GLOBAL bounds - >= 25816 @ 44.4793
52.06/52.37	c GLOBAL bounds - >= 25816 @ 44.4981
52.26/52.58	c GLOBAL bounds - >= 25816 @ 44.6676
52.35/52.62	c GLOBAL bounds - >= 25816 @ 44.6885
52.45/52.76	c GLOBAL bounds - >= 25816 @ 44.7765
52.66/52.98	c GLOBAL bounds - >= 25816 @ 44.9735
53.05/53.34	c GLOBAL bounds - >= 25816 @ 45.3241
55.35/55.69	c GLOBAL bounds - >= 25816 @ 47.5928
55.55/55.80	c GLOBAL bounds - >= 25816 @ 47.6949
55.55/55.82	c GLOBAL bounds - >= 25816 @ 47.7069
55.55/55.87	c GLOBAL bounds - >= 25816 @ 47.7344
55.64/55.91	c GLOBAL bounds - >= 25816 @ 47.7533
55.64/55.96	c GLOBAL bounds - >= 25816 @ 47.7734
55.64/56.01	c GLOBAL bounds - >= 25816 @ 47.7918
55.75/56.05	c GLOBAL bounds - >= 25816 @ 47.8161
55.86/56.17	c GLOBAL bounds - >= 25816 @ 47.8982
55.95/56.21	c GLOBAL bounds - >= 25816 @ 47.9174
56.04/56.33	c GLOBAL bounds - >= 25816 @ 47.9996
56.04/56.37	c GLOBAL bounds - >= 25816 @ 48.0188
56.14/56.49	c GLOBAL bounds - >= 25816 @ 48.0981
56.24/56.53	c GLOBAL bounds - >= 25816 @ 48.1173
56.34/56.67	c GLOBAL bounds - >= 25816 @ 48.2221
56.44/56.72	c GLOBAL bounds - >= 25816 @ 48.2452
56.54/56.85	c GLOBAL bounds - >= 25816 @ 48.3427
56.64/56.90	c GLOBAL bounds - >= 25816 @ 48.3576
56.75/57.03	c GLOBAL bounds - >= 25816 @ 48.4575
56.75/57.08	c GLOBAL bounds - >= 25816 @ 48.4804
56.94/57.21	c GLOBAL bounds - >= 25816 @ 48.5754
56.94/57.26	c GLOBAL bounds - >= 25816 @ 48.6004
57.14/57.40	c GLOBAL bounds - >= 25816 @ 48.7008
57.14/57.44	c GLOBAL bounds - >= 25816 @ 48.721
57.24/57.58	c GLOBAL bounds - >= 25816 @ 48.822
57.34/57.62	c GLOBAL bounds - >= 25816 @ 48.8379
57.43/57.76	c GLOBAL bounds - >= 25816 @ 48.935
57.54/57.85	c GLOBAL bounds - >= 25816 @ 49.012
60.32/60.63	c GLOBAL bounds - >= 25816 @ 51.7218
60.52/60.83	c GLOBAL bounds - >= 25816 @ 51.8952
66.29/66.63	c GLOBAL bounds - >= 27501 @ 57.5485
66.40/66.70	c GLOBAL bounds - >= 27501 @ 57.5919
66.40/66.74	c GLOBAL bounds - >= 27501 @ 57.609
66.40/66.79	c GLOBAL bounds - >= 27501 @ 57.6277
66.49/66.83	c GLOBAL bounds - >= 27501 @ 57.6464
66.59/66.95	c GLOBAL bounds - >= 27501 @ 57.7353
66.59/67.00	c GLOBAL bounds - >= 27501 @ 57.7595
66.71/67.11	c GLOBAL bounds - >= 27501 @ 57.8307
66.81/67.15	c GLOBAL bounds - >= 27501 @ 57.8491
66.89/67.25	c GLOBAL bounds - >= 27501 @ 57.9162
66.99/67.30	c GLOBAL bounds - >= 27501 @ 57.9388
66.99/67.37	c GLOBAL bounds - >= 27501 @ 57.9658
67.09/67.42	c GLOBAL bounds - >= 27501 @ 57.9941
67.09/67.49	c GLOBAL bounds - >= 27501 @ 58.0325
67.20/67.53	c GLOBAL bounds - >= 27501 @ 58.053
67.30/67.60	c GLOBAL bounds - >= 27501 @ 58.0838
67.30/67.65	c GLOBAL bounds - >= 27501 @ 58.1048
67.40/67.76	c GLOBAL bounds - >= 27501 @ 58.149
67.49/67.81	c GLOBAL bounds - >= 27501 @ 58.1736
67.49/67.88	c GLOBAL bounds - >= 27501 @ 58.2108
67.59/67.93	c GLOBAL bounds - >= 27501 @ 58.2297
67.59/67.99	c GLOBAL bounds - >= 27501 @ 58.2591
67.71/68.04	c GLOBAL bounds - >= 27501 @ 58.2811
67.81/68.14	c GLOBAL bounds - >= 27501 @ 58.3484
78.04/78.49	c GLOBAL bounds - >= 27501 @ 68.3949
78.43/78.86	c GLOBAL bounds - >= 27501 @ 68.7383
79.33/79.70	c GLOBAL bounds - >= 27501 @ 69.5438
82.32/82.71	c GLOBAL bounds - >= 27968 @ 72.4512
82.32/82.78	c GLOBAL bounds - >= 27968 @ 72.4956
82.41/82.82	c GLOBAL bounds - >= 27968 @ 72.5219
82.41/82.87	c GLOBAL bounds - >= 27968 @ 72.5464
82.51/82.99	c GLOBAL bounds - >= 27968 @ 72.6129
82.63/83.04	c GLOBAL bounds - >= 27968 @ 72.6306
82.63/83.11	c GLOBAL bounds - >= 27968 @ 72.6674
82.73/83.15	c GLOBAL bounds - >= 27968 @ 72.6909
82.82/83.23	c GLOBAL bounds - >= 27968 @ 72.7228
82.82/83.28	c GLOBAL bounds - >= 27968 @ 72.7478
82.91/83.37	c GLOBAL bounds - >= 27968 @ 72.8064
83.02/83.42	c GLOBAL bounds - >= 27968 @ 72.8247
83.12/83.50	c GLOBAL bounds - >= 27968 @ 72.8706
83.12/83.55	c GLOBAL bounds - >= 27968 @ 72.8859
83.22/83.60	c GLOBAL bounds - >= 27968 @ 72.9111
83.22/83.65	c GLOBAL bounds - >= 27968 @ 72.9315
83.31/83.72	c GLOBAL bounds - >= 27968 @ 72.9652
83.31/83.76	c GLOBAL bounds - >= 27968 @ 72.9874
83.42/83.83	c GLOBAL bounds - >= 27968 @ 73.0314
83.42/83.88	c GLOBAL bounds - >= 27968 @ 73.0501
83.51/83.92	c GLOBAL bounds - >= 27968 @ 73.0721
83.51/83.96	c GLOBAL bounds - >= 27968 @ 73.0912
83.62/84.01	c GLOBAL bounds - >= 27968 @ 73.1176
88.39/88.85	c #Conflicts:       2000 | #Constraints:    2174793
88.39/88.85	c INPROCESSING
88.39/88.85	c GARBAGE COLLECT
88.39/88.85	c GLOBAL bounds - >= 27968 @ 77.8126
88.48/88.92	c GLOBAL bounds - >= 27968 @ 77.8723
88.48/89.00	c GLOBAL bounds - >= 27968 @ 77.934
88.60/89.09	c GLOBAL bounds - >= 27968 @ 78.0067
88.70/89.17	c GLOBAL bounds - >= 27968 @ 78.0773
88.78/89.29	c GLOBAL bounds - >= 27968 @ 78.1857
91.04/91.50	c GLOBAL bounds - >= 27968 @ 80.2718
91.04/91.54	c GLOBAL bounds - >= 27968 @ 80.311
91.34/91.87	c GLOBAL bounds - >= 27968 @ 80.6176
91.73/92.29	c GLOBAL bounds - >= 27968 @ 81.0212
95.80/96.31	c GLOBAL bounds - >= 27968 @ 84.9194
205.28/206.22	c #Conflicts:       3000 | #Constraints:    2250802
205.28/206.22	c #Conflicts:       4000 | #Constraints:    2251802
205.28/206.22	c #Conflicts:       5000 | #Constraints:    2252802
205.28/206.22	c GLOBAL bounds - >= 37088 @ 192.02
205.38/206.33	c GLOBAL bounds - >= 37088 @ 192.112
205.38/206.38	c GLOBAL bounds - >= 37088 @ 192.132
205.48/206.43	c GLOBAL bounds - >= 37088 @ 192.154
205.58/206.53	c GLOBAL bounds - >= 37088 @ 192.219
205.58/206.58	c GLOBAL bounds - >= 37088 @ 192.245
205.68/206.65	c GLOBAL bounds - >= 37088 @ 192.279
205.68/206.69	c GLOBAL bounds - >= 37088 @ 192.304
205.78/206.77	c GLOBAL bounds - >= 37088 @ 192.345
205.88/206.81	c GLOBAL bounds - >= 37088 @ 192.369
205.88/206.89	c GLOBAL bounds - >= 37088 @ 192.412
205.98/206.94	c GLOBAL bounds - >= 37088 @ 192.432
206.09/207.01	c GLOBAL bounds - >= 37088 @ 192.476
206.09/207.06	c GLOBAL bounds - >= 37088 @ 192.504
206.19/207.13	c GLOBAL bounds - >= 37088 @ 192.542
206.19/207.18	c GLOBAL bounds - >= 37088 @ 192.566
206.28/207.25	c GLOBAL bounds - >= 37088 @ 192.606
206.37/207.30	c GLOBAL bounds - >= 37088 @ 192.629
206.37/207.38	c GLOBAL bounds - >= 37088 @ 192.686
206.48/207.43	c GLOBAL bounds - >= 37088 @ 192.705
206.48/207.49	c GLOBAL bounds - >= 37088 @ 192.732
206.57/207.54	c GLOBAL bounds - >= 37088 @ 192.754
206.67/207.60	c GLOBAL bounds - >= 37088 @ 192.775
207.28/208.25	c GLOBAL bounds - >= 37088 @ 193.392
207.47/208.41	c GLOBAL bounds - >= 37088 @ 193.541
207.77/208.76	c GLOBAL bounds - >= 37088 @ 193.867
209.76/210.73	c GLOBAL bounds - >= 37088 @ 195.752
255.07/256.24	c #Conflicts:       6000 | #Constraints:    2347956
255.07/256.24	c INPROCESSING
255.07/256.24	c GARBAGE COLLECT
255.07/256.24	c GLOBAL bounds - >= 37088 @ 240.016
255.98/257.18	c GLOBAL bounds - >= 37088 @ 240.926
265.03/266.23	c GLOBAL bounds - >= 37088 @ 249.818
265.03/266.29	c GLOBAL bounds - >= 37088 @ 249.881
265.13/266.36	c GLOBAL bounds - >= 37088 @ 249.923
265.23/266.41	c GLOBAL bounds - >= 37088 @ 249.945
265.23/266.45	c GLOBAL bounds - >= 37088 @ 249.965
265.33/266.50	c GLOBAL bounds - >= 37088 @ 249.986
265.43/266.61	c GLOBAL bounds - >= 37088 @ 250.058
265.43/266.66	c GLOBAL bounds - >= 37088 @ 250.086
265.52/266.76	c GLOBAL bounds - >= 37088 @ 250.149
265.62/266.81	c GLOBAL bounds - >= 37088 @ 250.171
265.62/266.88	c GLOBAL bounds - >= 37088 @ 250.212
265.73/266.92	c GLOBAL bounds - >= 37088 @ 250.234
265.73/266.99	c GLOBAL bounds - >= 37088 @ 250.268
265.84/267.04	c GLOBAL bounds - >= 37088 @ 250.287
265.84/267.11	c GLOBAL bounds - >= 37088 @ 250.329
265.94/267.16	c GLOBAL bounds - >= 37088 @ 250.347
266.03/267.22	c GLOBAL bounds - >= 37088 @ 250.384
266.03/267.27	c GLOBAL bounds - >= 37088 @ 250.405
266.13/267.34	c GLOBAL bounds - >= 37088 @ 250.443
266.13/267.39	c GLOBAL bounds - >= 37088 @ 250.465
266.23/267.46	c GLOBAL bounds - >= 37088 @ 250.506
266.33/267.50	c GLOBAL bounds - >= 37088 @ 250.526
266.33/267.59	c GLOBAL bounds - >= 37088 @ 250.561
266.42/267.64	c GLOBAL bounds - >= 37088 @ 250.584
266.52/267.70	c GLOBAL bounds - >= 37088 @ 250.617
268.52/269.75	c GLOBAL bounds - >= 37088 @ 252.618
268.61/269.83	c GLOBAL bounds - >= 37088 @ 252.692
268.93/270.19	c GLOBAL bounds - >= 37088 @ 252.995
269.72/270.96	c GLOBAL bounds - >= 37088 @ 253.706
302.65/304.11	c #Conflicts:       7000 | #Constraints:    2486318
302.65/304.11	c GLOBAL bounds - >= 37088 @ 286.213
303.24/304.67	c GLOBAL bounds - >= 37088 @ 286.76
303.34/304.75	c GLOBAL bounds - >= 37088 @ 286.832
303.44/304.81	c GLOBAL bounds - >= 37088 @ 286.874
303.44/304.86	c GLOBAL bounds - >= 37088 @ 286.894
303.54/304.90	c GLOBAL bounds - >= 37088 @ 286.916
303.54/304.95	c GLOBAL bounds - >= 37088 @ 286.94
303.65/305.08	c GLOBAL bounds - >= 37088 @ 287.014
303.75/305.13	c GLOBAL bounds - >= 37088 @ 287.036
303.84/305.20	c GLOBAL bounds - >= 37088 @ 287.071
303.84/305.25	c GLOBAL bounds - >= 37088 @ 287.091
303.93/305.31	c GLOBAL bounds - >= 37088 @ 287.127
303.93/305.36	c GLOBAL bounds - >= 37088 @ 287.152
304.04/305.47	c GLOBAL bounds - >= 37088 @ 287.195
304.14/305.51	c GLOBAL bounds - >= 37088 @ 287.22
304.24/305.62	c GLOBAL bounds - >= 37088 @ 287.267
304.24/305.67	c GLOBAL bounds - >= 37088 @ 287.29
304.33/305.77	c GLOBAL bounds - >= 37088 @ 287.326
304.44/305.82	c GLOBAL bounds - >= 37088 @ 287.344
304.53/305.92	c GLOBAL bounds - >= 37088 @ 287.394
304.53/305.97	c GLOBAL bounds - >= 37088 @ 287.417
304.65/306.03	c GLOBAL bounds - >= 37088 @ 287.447
304.65/306.07	c GLOBAL bounds - >= 37088 @ 287.467
304.75/306.13	c GLOBAL bounds - >= 37088 @ 287.494
304.75/306.18	c GLOBAL bounds - >= 37088 @ 287.52
304.84/306.24	c GLOBAL bounds - >= 37088 @ 287.55
305.53/306.90	c GLOBAL bounds - >= 37088 @ 288.193
305.53/306.97	c GLOBAL bounds - >= 37088 @ 288.257
305.64/307.01	c GLOBAL bounds - >= 37088 @ 288.296
319.72/321.25	c GLOBAL bounds - >= 37088 @ 302.172
336.14/337.71	c #Conflicts:       8000 | #Constraints:    2612330
336.14/337.71	c GLOBAL bounds - >= 37088 @ 318.265
352.39/354.08	c GLOBAL bounds - >= 37088 @ 334.251
371.51/373.28	c #Conflicts:       9000 | #Constraints:    2638245
371.51/373.28	c GLOBAL bounds - >= 37088 @ 353.07
621.82/624.61	c #Conflicts:      10000 | #Constraints:    2653792
621.82/624.61	c #Conflicts:      11000 | #Constraints:    2654792
621.82/624.61	c #Conflicts:      12000 | #Constraints:    2655792
621.82/624.61	c INPROCESSING
621.82/624.61	c GARBAGE COLLECT
621.82/624.61	c #Conflicts:      13000 | #Constraints:    2653473
621.82/624.61	c GLOBAL bounds - >= 38636 @ 599.142
621.92/624.70	c GLOBAL bounds - >= 38636 @ 599.202
621.92/624.74	c GLOBAL bounds - >= 38636 @ 599.222
621.92/624.79	c GLOBAL bounds - >= 38636 @ 599.242
622.02/624.84	c GLOBAL bounds - >= 38636 @ 599.263
622.33/625.16	c GLOBAL bounds - >= 38636 @ 599.503
622.41/625.20	c GLOBAL bounds - >= 38636 @ 599.521
622.52/625.31	c GLOBAL bounds - >= 38636 @ 599.597
622.52/625.36	c GLOBAL bounds - >= 38636 @ 599.617
622.62/625.46	c GLOBAL bounds - >= 38636 @ 599.693
622.72/625.51	c GLOBAL bounds - >= 38636 @ 599.718
622.82/625.65	c GLOBAL bounds - >= 38636 @ 599.833
622.92/625.70	c GLOBAL bounds - >= 38636 @ 599.853
622.92/625.77	c GLOBAL bounds - >= 38636 @ 599.897
623.02/625.81	c GLOBAL bounds - >= 38636 @ 599.915
623.02/625.88	c GLOBAL bounds - >= 38636 @ 599.956
623.11/625.93	c GLOBAL bounds - >= 38636 @ 599.977
623.11/626.00	c GLOBAL bounds - >= 38636 @ 600.016
623.23/626.04	c GLOBAL bounds - >= 38636 @ 600.035
623.33/626.11	c GLOBAL bounds - >= 38636 @ 600.075
623.33/626.16	c GLOBAL bounds - >= 38636 @ 600.1
623.41/626.23	c GLOBAL bounds - >= 38636 @ 600.136
623.41/626.27	c GLOBAL bounds - >= 38636 @ 600.161
623.52/626.34	c GLOBAL bounds - >= 38636 @ 600.199
623.61/626.46	c GLOBAL bounds - >= 38636 @ 600.307
623.71/626.53	c GLOBAL bounds - >= 38636 @ 600.371
623.71/626.59	c GLOBAL bounds - >= 38636 @ 600.417
630.09/632.91	c GLOBAL bounds - >= 38636 @ 606.591
636.57/639.41	c GLOBAL bounds - >= 38636 @ 612.951
636.57/639.49	c GLOBAL bounds - >= 38636 @ 613.036
636.66/639.55	c GLOBAL bounds - >= 38636 @ 613.069
636.77/639.60	c GLOBAL bounds - >= 38636 @ 613.095
636.77/639.65	c GLOBAL bounds - >= 38636 @ 613.115
636.77/639.69	c GLOBAL bounds - >= 38636 @ 613.131
636.86/639.74	c GLOBAL bounds - >= 38636 @ 613.149
636.86/639.78	c GLOBAL bounds - >= 38636 @ 613.169
637.06/639.96	c GLOBAL bounds - >= 38636 @ 613.293
637.06/640.01	c GLOBAL bounds - >= 38636 @ 613.31
637.28/640.12	c GLOBAL bounds - >= 38636 @ 613.396
637.28/640.17	c GLOBAL bounds - >= 38636 @ 613.419
637.37/640.29	c GLOBAL bounds - >= 38636 @ 613.504
637.47/640.34	c GLOBAL bounds - >= 38636 @ 613.527
637.56/640.46	c GLOBAL bounds - >= 38636 @ 613.619
637.66/640.50	c GLOBAL bounds - >= 38636 @ 613.636
637.66/640.58	c GLOBAL bounds - >= 38636 @ 613.677
637.76/640.62	c GLOBAL bounds - >= 38636 @ 613.699
637.76/640.69	c GLOBAL bounds - >= 38636 @ 613.742
637.86/640.74	c GLOBAL bounds - >= 38636 @ 613.761
637.96/640.81	c GLOBAL bounds - >= 38636 @ 613.806
637.96/640.86	c GLOBAL bounds - >= 38636 @ 613.829
638.07/640.93	c GLOBAL bounds - >= 38636 @ 613.866
638.07/640.98	c GLOBAL bounds - >= 38636 @ 613.888
638.17/641.05	c GLOBAL bounds - >= 38636 @ 613.936
638.17/641.10	c GLOBAL bounds - >= 38636 @ 613.956
638.28/641.17	c GLOBAL bounds - >= 38636 @ 614.001
638.46/641.35	c GLOBAL bounds - >= 38636 @ 614.169
640.06/642.94	c GLOBAL bounds - >= 38636 @ 615.719
671.83/674.80	c #Conflicts:      14000 | #Constraints:    2914130
671.83/674.80	c GLOBAL bounds - >= 38636 @ 647.019
671.93/674.99	c GLOBAL bounds - >= 38636 @ 647.187
672.04/675.09	c GLOBAL bounds - >= 38636 @ 647.281
672.15/675.14	c GLOBAL bounds - >= 38636 @ 647.312
672.15/675.19	c GLOBAL bounds - >= 38636 @ 647.329
672.22/675.23	c GLOBAL bounds - >= 38636 @ 647.352
672.22/675.28	c GLOBAL bounds - >= 38636 @ 647.372
672.33/675.33	c GLOBAL bounds - >= 38636 @ 647.388
672.53/675.51	c GLOBAL bounds - >= 38636 @ 647.534
672.53/675.56	c GLOBAL bounds - >= 38636 @ 647.555
672.63/675.68	c GLOBAL bounds - >= 38636 @ 647.651
672.73/675.73	c GLOBAL bounds - >= 38636 @ 647.677
672.83/675.85	c GLOBAL bounds - >= 38636 @ 647.777
672.92/675.90	c GLOBAL bounds - >= 38636 @ 647.795
673.04/676.02	c GLOBAL bounds - >= 38636 @ 647.888
673.04/676.07	c GLOBAL bounds - >= 38636 @ 647.915
673.14/676.19	c GLOBAL bounds - >= 38636 @ 648.01
673.22/676.24	c GLOBAL bounds - >= 38636 @ 648.031
673.32/676.36	c GLOBAL bounds - >= 38636 @ 648.13
673.42/676.41	c GLOBAL bounds - >= 38636 @ 648.151
673.52/676.57	c GLOBAL bounds - >= 38636 @ 648.265
673.62/676.62	c GLOBAL bounds - >= 38636 @ 648.285
673.62/676.69	c GLOBAL bounds - >= 38636 @ 648.328
673.72/676.74	c GLOBAL bounds - >= 38636 @ 648.348
673.82/676.81	c GLOBAL bounds - >= 38636 @ 648.392
673.82/676.86	c GLOBAL bounds - >= 38636 @ 648.417
673.92/676.95	c GLOBAL bounds - >= 38636 @ 648.482
673.92/677.00	c GLOBAL bounds - >= 38636 @ 648.519
674.22/677.20	c GLOBAL bounds - >= 38636 @ 648.719
686.97/690.02	c GLOBAL bounds - >= 38636 @ 661.27
975.46/979.74	c #Conflicts:      15000 | #Constraints:    3071418
975.46/979.74	c #Conflicts:      16000 | #Constraints:    3072418
975.46/979.74	c #Conflicts:      17000 | #Constraints:    3073418
975.46/979.74	c #Conflicts:      18000 | #Constraints:    3074418
975.46/979.74	c #Conflicts:      19000 | #Constraints:    3075418
975.46/979.74	c GLOBAL bounds - >= 38636 @ 946.021
975.66/979.93	c GLOBAL bounds - >= 38636 @ 946.211
975.66/979.99	c GLOBAL bounds - >= 38636 @ 946.241
975.77/980.03	c GLOBAL bounds - >= 38636 @ 946.265
975.77/980.08	c GLOBAL bounds - >= 38636 @ 946.289
975.87/980.12	c GLOBAL bounds - >= 38636 @ 946.312
975.87/980.17	c GLOBAL bounds - >= 38636 @ 946.338
976.66/980.90	c GLOBAL bounds - >= 38636 @ 946.992
976.66/980.95	c GLOBAL bounds - >= 38636 @ 947.011
976.77/981.04	c GLOBAL bounds - >= 38636 @ 947.072
976.77/981.09	c GLOBAL bounds - >= 38636 @ 947.092
976.88/981.16	c GLOBAL bounds - >= 38636 @ 947.126
976.96/981.20	c GLOBAL bounds - >= 38636 @ 947.149
976.96/981.27	c GLOBAL bounds - >= 38636 @ 947.189
977.05/981.32	c GLOBAL bounds - >= 38636 @ 947.214
977.05/981.38	c GLOBAL bounds - >= 38636 @ 947.248
977.16/981.43	c GLOBAL bounds - >= 38636 @ 947.264
977.26/981.50	c GLOBAL bounds - >= 38636 @ 947.3
977.26/981.54	c GLOBAL bounds - >= 38636 @ 947.323
977.35/981.61	c GLOBAL bounds - >= 38636 @ 947.359
977.35/981.66	c GLOBAL bounds - >= 38636 @ 947.377
977.45/981.75	c GLOBAL bounds - >= 38636 @ 947.435
977.45/981.80	c GLOBAL bounds - >= 38636 @ 947.46
977.66/981.90	c GLOBAL bounds - >= 38636 @ 947.51
977.66/981.94	c GLOBAL bounds - >= 38636 @ 947.534
977.77/982.04	c GLOBAL bounds - >= 38636 @ 947.583
977.87/982.12	c GLOBAL bounds - >= 38636 @ 947.638
977.95/982.21	c GLOBAL bounds - >= 38636 @ 947.726
981.34/985.60	c GLOBAL bounds - >= 38636 @ 950.987
988.22/992.57	c GLOBAL bounds - >= 38636 @ 957.77
1006.54/1010.94	c GLOBAL bounds - >= 38636 @ 975.775
1012.10/1016.59	c GLOBAL bounds - >= 38636 @ 981.326
1012.40/1016.80	c GLOBAL bounds - >= 38636 @ 981.53
1012.40/1016.86	c GLOBAL bounds - >= 38636 @ 981.556
1012.49/1016.91	c GLOBAL bounds - >= 38636 @ 981.573
1012.49/1016.96	c GLOBAL bounds - >= 38636 @ 981.594
1012.49/1017.00	c GLOBAL bounds - >= 38636 @ 981.616
1012.60/1017.05	c GLOBAL bounds - >= 38636 @ 981.64
1012.89/1017.34	c GLOBAL bounds - >= 38636 @ 981.866
1012.89/1017.38	c GLOBAL bounds - >= 38636 @ 981.892
1013.18/1017.61	c GLOBAL bounds - >= 38636 @ 982.09
1013.18/1017.66	c GLOBAL bounds - >= 38636 @ 982.114
1013.38/1017.87	c GLOBAL bounds - >= 38636 @ 982.295
1013.48/1017.92	c GLOBAL bounds - >= 38636 @ 982.309
1013.48/1018.00	c GLOBAL bounds - >= 38636 @ 982.35
1013.60/1018.05	c GLOBAL bounds - >= 38636 @ 982.37
1013.69/1018.12	c GLOBAL bounds - >= 38636 @ 982.415
1013.69/1018.17	c GLOBAL bounds - >= 38636 @ 982.445
1013.78/1018.25	c GLOBAL bounds - >= 38636 @ 982.489
1013.78/1018.29	c GLOBAL bounds - >= 38636 @ 982.511
1013.88/1018.37	c GLOBAL bounds - >= 38636 @ 982.56
1013.99/1018.41	c GLOBAL bounds - >= 38636 @ 982.577
1013.99/1018.49	c GLOBAL bounds - >= 38636 @ 982.624
1014.08/1018.53	c GLOBAL bounds - >= 38636 @ 982.644
1014.18/1018.61	c GLOBAL bounds - >= 38636 @ 982.688
1014.18/1018.65	c GLOBAL bounds - >= 38636 @ 982.711
1014.28/1018.73	c GLOBAL bounds - >= 38636 @ 982.751
1014.38/1018.86	c GLOBAL bounds - >= 38636 @ 982.866
1014.88/1019.34	c GLOBAL bounds - >= 38636 @ 983.32
1045.73/1050.34	c #Conflicts:      20000 | #Constraints:    3324638
1045.73/1050.34	c INPROCESSING
1045.73/1050.34	c GARBAGE COLLECT
1045.73/1050.34	c GLOBAL bounds - >= 38636 @ 1012.7
1046.33/1050.90	c GLOBAL bounds - >= 38636 @ 1013.25
1047.02/1051.62	c GLOBAL bounds - >= 38636 @ 1013.96
1047.02/1051.68	c GLOBAL bounds - >= 38636 @ 1014
1047.13/1051.72	c GLOBAL bounds - >= 38636 @ 1014.02
1047.13/1051.77	c GLOBAL bounds - >= 38636 @ 1014.04
1047.22/1051.81	c GLOBAL bounds - >= 38636 @ 1014.06
1047.22/1051.86	c GLOBAL bounds - >= 38636 @ 1014.08
1047.32/1052.00	c GLOBAL bounds - >= 38636 @ 1014.2
1047.43/1052.05	c GLOBAL bounds - >= 38636 @ 1014.22
1047.53/1052.19	c GLOBAL bounds - >= 38636 @ 1014.33
1047.62/1052.24	c GLOBAL bounds - >= 38636 @ 1014.36
1047.72/1052.39	c GLOBAL bounds - >= 38636 @ 1014.48
1047.82/1052.43	c GLOBAL bounds - >= 38636 @ 1014.49
1047.92/1052.58	c GLOBAL bounds - >= 38636 @ 1014.61
1048.02/1052.63	c GLOBAL bounds - >= 38636 @ 1014.64
1048.12/1052.78	c GLOBAL bounds - >= 38636 @ 1014.76
1048.22/1052.82	c GLOBAL bounds - >= 38636 @ 1014.78
1048.32/1052.97	c GLOBAL bounds - >= 38636 @ 1014.89
1048.43/1053.02	c GLOBAL bounds - >= 38636 @ 1014.92
1048.53/1053.19	c GLOBAL bounds - >= 38636 @ 1015.04
1048.62/1053.24	c GLOBAL bounds - >= 38636 @ 1015.06
1048.72/1053.31	c GLOBAL bounds - >= 38636 @ 1015.1
1048.72/1053.36	c GLOBAL bounds - >= 38636 @ 1015.12
1048.82/1053.47	c GLOBAL bounds - >= 38636 @ 1015.17
1048.92/1053.51	c GLOBAL bounds - >= 38636 @ 1015.19
1049.02/1053.61	c GLOBAL bounds - >= 38636 @ 1015.24
1049.02/1053.65	c GLOBAL bounds - >= 38636 @ 1015.27
1049.11/1053.72	c GLOBAL bounds - >= 38636 @ 1015.34
1049.71/1054.33	c GLOBAL bounds - >= 38636 @ 1015.92
1049.91/1054.55	c GLOBAL bounds - >= 38636 @ 1016.12
1050.12/1054.79	c GLOBAL bounds - >= 38636 @ 1016.35
1063.26/1067.99	c GLOBAL bounds - >= 38636 @ 1029.33
1063.37/1068.09	c GLOBAL bounds - >= 38636 @ 1029.44
1063.47/1068.15	c GLOBAL bounds - >= 38636 @ 1029.47
1063.56/1068.20	c GLOBAL bounds - >= 38636 @ 1029.49
1063.56/1068.24	c GLOBAL bounds - >= 38636 @ 1029.51
1063.56/1068.29	c GLOBAL bounds - >= 38636 @ 1029.53
1063.66/1068.34	c GLOBAL bounds - >= 38636 @ 1029.55
1063.66/1068.38	c GLOBAL bounds - >= 38636 @ 1029.57
1063.77/1068.43	c GLOBAL bounds - >= 38636 @ 1029.59
1064.16/1068.86	c GLOBAL bounds - >= 38636 @ 1029.96
1064.26/1068.91	c GLOBAL bounds - >= 38636 @ 1029.98
1064.26/1068.98	c GLOBAL bounds - >= 38636 @ 1030.02
1064.38/1069.03	c GLOBAL bounds - >= 38636 @ 1030.05
1064.38/1069.10	c GLOBAL bounds - >= 38636 @ 1030.08
1064.47/1069.14	c GLOBAL bounds - >= 38636 @ 1030.1
1064.56/1069.21	c GLOBAL bounds - >= 38636 @ 1030.14
1064.56/1069.26	c GLOBAL bounds - >= 38636 @ 1030.16
1064.66/1069.32	c GLOBAL bounds - >= 38636 @ 1030.19
1064.66/1069.37	c GLOBAL bounds - >= 38636 @ 1030.21
1064.76/1069.44	c GLOBAL bounds - >= 38636 @ 1030.25
1064.76/1069.49	c GLOBAL bounds - >= 38636 @ 1030.27
1064.86/1069.58	c GLOBAL bounds - >= 38636 @ 1030.34
1064.96/1069.62	c GLOBAL bounds - >= 38636 @ 1030.36
1064.96/1069.69	c GLOBAL bounds - >= 38636 @ 1030.39
1065.05/1069.73	c GLOBAL bounds - >= 38636 @ 1030.41
1065.16/1069.80	c GLOBAL bounds - >= 38636 @ 1030.44
1065.16/1069.85	c GLOBAL bounds - >= 38636 @ 1030.46
1065.26/1069.95	c GLOBAL bounds - >= 38636 @ 1030.51
1065.47/1070.16	c GLOBAL bounds - >= 38636 @ 1030.71
1065.75/1070.42	c GLOBAL bounds - >= 38636 @ 1030.95
1065.85/1070.59	c GLOBAL bounds - >= 38636 @ 1031.12
1068.55/1073.26	c GLOBAL bounds - >= 38636 @ 1033.72
1072.23/1076.93	c GLOBAL bounds - >= 38636 @ 1037.31
1249.92/1255.41	c #Conflicts:      21000 | #Constraints:    3619775
1249.92/1255.41	c #Conflicts:      22000 | #Constraints:    3620775
1249.92/1255.41	c #Conflicts:      23000 | #Constraints:    3621775
1249.92/1255.41	c GLOBAL bounds - >= 38636 @ 1213.01
1263.16/1268.73	c GLOBAL bounds - >= 38636 @ 1226.1
2373.44/2383.71	c #Conflicts:      24000 | #Constraints:    3646458
2373.44/2383.71	c #Conflicts:      25000 | #Constraints:    3647458
2373.44/2383.71	c #Conflicts:      26000 | #Constraints:    3648458
2373.44/2383.71	c #Conflicts:      27000 | #Constraints:    3649458
2373.44/2383.71	c #Conflicts:      28000 | #Constraints:    3650458
2373.44/2383.71	c #Conflicts:      29000 | #Constraints:    3651458
2373.44/2383.71	c #Conflicts:      30000 | #Constraints:    3652458
2373.44/2383.71	c INPROCESSING
2373.44/2383.71	c GARBAGE COLLECT
2373.44/2383.71	c #Conflicts:      31000 | #Constraints:    3646447
2373.44/2383.71	c #Conflicts:      32000 | #Constraints:    3647447
2373.44/2383.71	c #Conflicts:      33000 | #Constraints:    3648447
2373.44/2383.71	c #Conflicts:      34000 | #Constraints:    3649447
2373.44/2383.71	c GLOBAL bounds - >= 42229 @ 2324.41
2373.54/2383.80	c GLOBAL bounds - >= 42229 @ 2324.47
2373.54/2383.85	c GLOBAL bounds - >= 42229 @ 2324.5
2373.54/2383.89	c GLOBAL bounds - >= 42229 @ 2324.51
2373.64/2383.94	c GLOBAL bounds - >= 42229 @ 2324.53
2373.64/2383.98	c GLOBAL bounds - >= 42229 @ 2324.55
2373.75/2384.03	c GLOBAL bounds - >= 42229 @ 2324.57
2373.75/2384.07	c GLOBAL bounds - >= 42229 @ 2324.59
2374.85/2385.14	c GLOBAL bounds - >= 42229 @ 2325.62
2374.85/2385.19	c GLOBAL bounds - >= 42229 @ 2325.63
2374.94/2385.28	c GLOBAL bounds - >= 42229 @ 2325.69
2375.04/2385.33	c GLOBAL bounds - >= 42229 @ 2325.71
2375.14/2385.40	c GLOBAL bounds - >= 42229 @ 2325.75
2375.14/2385.45	c GLOBAL bounds - >= 42229 @ 2325.77
2375.24/2385.51	c GLOBAL bounds - >= 42229 @ 2325.8
2375.24/2385.56	c GLOBAL bounds - >= 42229 @ 2325.82
2375.34/2385.63	c GLOBAL bounds - >= 42229 @ 2325.86
2375.34/2385.68	c GLOBAL bounds - >= 42229 @ 2325.89
2375.44/2385.76	c GLOBAL bounds - >= 42229 @ 2325.93
2375.54/2385.80	c GLOBAL bounds - >= 42229 @ 2325.95
2375.54/2385.85	c GLOBAL bounds - >= 42229 @ 2325.98
2375.64/2385.90	c GLOBAL bounds - >= 42229 @ 2326
2375.64/2385.94	c GLOBAL bounds - >= 42229 @ 2326.02
2375.64/2385.99	c GLOBAL bounds - >= 42229 @ 2326.04
2375.75/2386.04	c GLOBAL bounds - >= 42229 @ 2326.06
2375.75/2386.08	c GLOBAL bounds - >= 42229 @ 2326.08
2375.85/2386.16	c GLOBAL bounds - >= 42229 @ 2326.13
2375.94/2386.24	c GLOBAL bounds - >= 42229 @ 2326.2
2375.94/2386.29	c GLOBAL bounds - >= 42229 @ 2326.24
2376.13/2386.40	c GLOBAL bounds - >= 42229 @ 2326.34
2376.33/2386.66	c GLOBAL bounds - >= 42229 @ 2326.59
2376.85/2387.14	c GLOBAL bounds - >= 42229 @ 2327.04
2378.63/2388.96	c GLOBAL bounds - >= 42229 @ 2328.82
2384.42/2394.77	c #Conflicts:      35000 | #Constraints:    3707900
2384.42/2394.77	c GLOBAL bounds - >= 42229 @ 2334.49
2386.41/2396.73	c GLOBAL bounds - >= 42229 @ 2336.4
2464.94/2475.59	c #Conflicts:      36000 | #Constraints:    3728247
2464.94/2475.59	c GLOBAL bounds - >= 42229 @ 2414.26
2465.63/2476.20	c GLOBAL bounds - >= 42229 @ 2414.86
2466.34/2476.95	c GLOBAL bounds - >= 42229 @ 2415.6
2466.55/2477.12	c GLOBAL bounds - >= 42229 @ 2415.76
2466.55/2477.19	c GLOBAL bounds - >= 42229 @ 2415.81
2466.63/2477.23	c GLOBAL bounds - >= 42229 @ 2415.83
2466.63/2477.28	c GLOBAL bounds - >= 42229 @ 2415.85
2466.74/2477.33	c GLOBAL bounds - >= 42229 @ 2415.87
2466.74/2477.37	c GLOBAL bounds - >= 42229 @ 2415.89
2467.13/2477.74	c GLOBAL bounds - >= 42229 @ 2416.21
2467.13/2477.79	c GLOBAL bounds - >= 42229 @ 2416.23
2467.23/2477.86	c GLOBAL bounds - >= 42229 @ 2416.27
2467.33/2477.90	c GLOBAL bounds - >= 42229 @ 2416.29
2467.33/2477.97	c GLOBAL bounds - >= 42229 @ 2416.33
2467.44/2478.01	c GLOBAL bounds - >= 42229 @ 2416.35
2467.44/2478.07	c GLOBAL bounds - >= 42229 @ 2416.38
2467.55/2478.12	c GLOBAL bounds - >= 42229 @ 2416.4
2467.55/2478.18	c GLOBAL bounds - >= 42229 @ 2416.43
2467.63/2478.23	c GLOBAL bounds - >= 42229 @ 2416.46
2467.63/2478.29	c GLOBAL bounds - >= 42229 @ 2416.49
2467.73/2478.34	c GLOBAL bounds - >= 42229 @ 2416.51
2467.83/2478.40	c GLOBAL bounds - >= 42229 @ 2416.55
2467.83/2478.44	c GLOBAL bounds - >= 42229 @ 2416.57
2467.93/2478.51	c GLOBAL bounds - >= 42229 @ 2416.61
2467.93/2478.55	c GLOBAL bounds - >= 42229 @ 2416.62
2468.03/2478.61	c GLOBAL bounds - >= 42229 @ 2416.65
2468.03/2478.66	c GLOBAL bounds - >= 42229 @ 2416.67
2468.13/2478.73	c GLOBAL bounds - >= 42229 @ 2416.71
2468.33/2479.01	c GLOBAL bounds - >= 42229 @ 2416.96
2471.72/2482.39	c GLOBAL bounds - >= 42229 @ 2420.27
2471.82/2482.48	c GLOBAL bounds - >= 42229 @ 2420.35
2479.80/2490.48	c GLOBAL bounds - >= 42229 @ 2428.17
2486.28/2496.93	c GLOBAL bounds - >= 42229 @ 2434.54
2486.39/2497.10	c GLOBAL bounds - >= 42229 @ 2434.71
2486.49/2497.16	c GLOBAL bounds - >= 42229 @ 2434.75
2486.58/2497.21	c GLOBAL bounds - >= 42229 @ 2434.77
2486.58/2497.25	c GLOBAL bounds - >= 42229 @ 2434.79
2486.58/2497.30	c GLOBAL bounds - >= 42229 @ 2434.81
2486.98/2497.63	c GLOBAL bounds - >= 42229 @ 2435.11
2486.98/2497.67	c GLOBAL bounds - >= 42229 @ 2435.12
2487.08/2497.77	c GLOBAL bounds - >= 42229 @ 2435.19
2487.18/2497.82	c GLOBAL bounds - >= 42229 @ 2435.21
2487.18/2497.89	c GLOBAL bounds - >= 42229 @ 2435.25
2487.28/2497.93	c GLOBAL bounds - >= 42229 @ 2435.27
2487.28/2498.00	c GLOBAL bounds - >= 42229 @ 2435.31
2487.39/2498.05	c GLOBAL bounds - >= 42229 @ 2435.33
2487.49/2498.12	c GLOBAL bounds - >= 42229 @ 2435.37
2487.49/2498.16	c GLOBAL bounds - >= 42229 @ 2435.39
2487.58/2498.23	c GLOBAL bounds - >= 42229 @ 2435.43
2487.58/2498.28	c GLOBAL bounds - >= 42229 @ 2435.45
2487.68/2498.35	c GLOBAL bounds - >= 42229 @ 2435.49
2487.68/2498.39	c GLOBAL bounds - >= 42229 @ 2435.51
2487.77/2498.46	c GLOBAL bounds - >= 42229 @ 2435.55
2487.87/2498.51	c GLOBAL bounds - >= 42229 @ 2435.57
2487.87/2498.57	c GLOBAL bounds - >= 42229 @ 2435.6
2487.97/2498.62	c GLOBAL bounds - >= 42229 @ 2435.63
2488.08/2498.70	c GLOBAL bounds - >= 42229 @ 2435.68
2488.08/2498.75	c GLOBAL bounds - >= 42229 @ 2435.72
2488.17/2498.80	c GLOBAL bounds - >= 42229 @ 2435.77
2488.39/2499.09	c GLOBAL bounds - >= 42229 @ 2436.04
2534.58/2545.46	c #Conflicts:      37000 | #Constraints:    3933278
2534.58/2545.46	c GLOBAL bounds - >= 42229 @ 2481.32
2534.69/2545.56	c GLOBAL bounds - >= 42229 @ 2481.4
2566.46/2577.42	c #Conflicts:      38000 | #Constraints:    3950148
2566.46/2577.42	c GLOBAL bounds - >= 42229 @ 2512.67
2566.95/2577.94	c GLOBAL bounds - >= 42229 @ 2513.17
2567.16/2578.12	c GLOBAL bounds - >= 42229 @ 2513.35
2567.16/2578.19	c GLOBAL bounds - >= 42229 @ 2513.4
2567.26/2578.24	c GLOBAL bounds - >= 42229 @ 2513.42
2567.26/2578.28	c GLOBAL bounds - >= 42229 @ 2513.43
2567.35/2578.33	c GLOBAL bounds - >= 42229 @ 2513.46
2567.35/2578.37	c GLOBAL bounds - >= 42229 @ 2513.48
2567.46/2578.42	c GLOBAL bounds - >= 42229 @ 2513.5
2567.76/2578.75	c GLOBAL bounds - >= 42229 @ 2513.82
2567.85/2578.80	c GLOBAL bounds - >= 42229 @ 2513.84
2568.35/2579.36	c GLOBAL bounds - >= 42229 @ 2514.36
2568.45/2579.40	c GLOBAL bounds - >= 42229 @ 2514.38
2569.07/2580.05	c GLOBAL bounds - >= 42229 @ 2514.99
2569.07/2580.10	c GLOBAL bounds - >= 42229 @ 2515.01
2569.17/2580.17	c GLOBAL bounds - >= 42229 @ 2515.05
2569.25/2580.22	c GLOBAL bounds - >= 42229 @ 2515.07
2569.25/2580.28	c GLOBAL bounds - >= 42229 @ 2515.1
2569.35/2580.33	c GLOBAL bounds - >= 42229 @ 2515.13
2569.35/2580.39	c GLOBAL bounds - >= 42229 @ 2515.16
2569.45/2580.43	c GLOBAL bounds - >= 42229 @ 2515.19
2569.54/2580.51	c GLOBAL bounds - >= 42229 @ 2515.24
2569.54/2580.56	c GLOBAL bounds - >= 42229 @ 2515.26
2569.65/2580.61	c GLOBAL bounds - >= 42229 @ 2515.28
2569.65/2580.66	c GLOBAL bounds - >= 42229 @ 2515.31
2569.75/2580.71	c GLOBAL bounds - >= 42229 @ 2515.33
2569.75/2580.76	c GLOBAL bounds - >= 42229 @ 2515.35
2569.85/2580.81	c GLOBAL bounds - >= 42229 @ 2515.37
2570.44/2581.43	c GLOBAL bounds - >= 42229 @ 2515.95
2570.84/2581.87	c GLOBAL bounds - >= 42229 @ 2516.36
2623.66/2634.81	c #Conflicts:      39000 | #Constraints:    4030168
2623.66/2634.81	c GLOBAL bounds - >= 42229 @ 2567.83
2649.88/2661.15	c #Conflicts:      40000 | #Constraints:    4036168
2649.88/2661.15	c GLOBAL bounds - >= 42229 @ 2593.48
2650.57/2661.81	c GLOBAL bounds - >= 42229 @ 2594.11
2650.88/2662.14	c GLOBAL bounds - >= 42229 @ 2594.44
2651.06/2662.32	c GLOBAL bounds - >= 42229 @ 2594.61
2651.06/2662.39	c GLOBAL bounds - >= 42229 @ 2594.66
2651.17/2662.43	c GLOBAL bounds - >= 42229 @ 2594.67
2651.17/2662.48	c GLOBAL bounds - >= 42229 @ 2594.69
2651.27/2662.53	c GLOBAL bounds - >= 42229 @ 2594.71
2651.27/2662.57	c GLOBAL bounds - >= 42229 @ 2594.73
2651.37/2662.62	c GLOBAL bounds - >= 42229 @ 2594.76
2651.67/2662.97	c GLOBAL bounds - >= 42229 @ 2595.07
2651.78/2663.02	c GLOBAL bounds - >= 42229 @ 2595.09
2652.06/2663.37	c GLOBAL bounds - >= 42229 @ 2595.41
2652.17/2663.41	c GLOBAL bounds - >= 42229 @ 2595.43
2652.27/2663.52	c GLOBAL bounds - >= 42229 @ 2595.5
2652.27/2663.56	c GLOBAL bounds - >= 42229 @ 2595.52
2652.36/2663.67	c GLOBAL bounds - >= 42229 @ 2595.6
2652.46/2663.72	c GLOBAL bounds - >= 42229 @ 2595.62
2652.56/2663.83	c GLOBAL bounds - >= 42229 @ 2595.71
2652.56/2663.88	c GLOBAL bounds - >= 42229 @ 2595.73
2652.67/2663.96	c GLOBAL bounds - >= 42229 @ 2595.79
2652.67/2664.01	c GLOBAL bounds - >= 42229 @ 2595.81
2652.78/2664.09	c GLOBAL bounds - >= 42229 @ 2595.86
2652.87/2664.13	c GLOBAL bounds - >= 42229 @ 2595.88
2652.97/2664.21	c GLOBAL bounds - >= 42229 @ 2595.93
2652.97/2664.26	c GLOBAL bounds - >= 42229 @ 2595.95
2653.06/2664.33	c GLOBAL bounds - >= 42229 @ 2595.98
2653.06/2664.37	c GLOBAL bounds - >= 42229 @ 2595.99
2653.16/2664.45	c GLOBAL bounds - >= 42229 @ 2596.05
2653.16/2664.49	c GLOBAL bounds - >= 42229 @ 2596.09
2653.26/2664.57	c GLOBAL bounds - >= 42229 @ 2596.15
2653.36/2664.64	c GLOBAL bounds - >= 42229 @ 2596.22
2653.46/2664.70	c GLOBAL bounds - >= 42229 @ 2596.27
2653.46/2664.76	c GLOBAL bounds - >= 42229 @ 2596.32
2653.66/2664.92	c GLOBAL bounds - >= 42229 @ 2596.47
2653.96/2665.26	c GLOBAL bounds - >= 42229 @ 2596.79
2659.94/2671.20	c GLOBAL bounds - >= 42229 @ 2602.57
2662.03/2673.32	c GLOBAL bounds - >= 42229 @ 2604.66
2671.01/2682.34	c GLOBAL bounds - >= 42229 @ 2613.53
2680.87/2692.25	c GLOBAL bounds - >= 42229 @ 2623.22
2681.07/2692.43	c GLOBAL bounds - >= 42229 @ 2623.4
2681.17/2692.50	c GLOBAL bounds - >= 42229 @ 2623.45
2681.17/2692.54	c GLOBAL bounds - >= 42229 @ 2623.47
2681.17/2692.59	c GLOBAL bounds - >= 42229 @ 2623.49
2681.36/2692.71	c GLOBAL bounds - >= 42229 @ 2623.58
2681.36/2692.76	c GLOBAL bounds - >= 42229 @ 2623.6
2681.47/2692.87	c GLOBAL bounds - >= 42229 @ 2623.67
2681.57/2692.91	c GLOBAL bounds - >= 42229 @ 2623.68
2681.57/2693.01	c GLOBAL bounds - >= 42229 @ 2623.74
2681.68/2693.05	c GLOBAL bounds - >= 42229 @ 2623.76
2681.78/2693.18	c GLOBAL bounds - >= 42229 @ 2623.84
2681.87/2693.22	c GLOBAL bounds - >= 42229 @ 2623.87
2681.87/2693.29	c GLOBAL bounds - >= 42229 @ 2623.9
2681.97/2693.33	c GLOBAL bounds - >= 42229 @ 2623.92
2681.97/2693.39	c GLOBAL bounds - >= 42229 @ 2623.95
2682.07/2693.44	c GLOBAL bounds - >= 42229 @ 2623.97
2682.17/2693.50	c GLOBAL bounds - >= 42229 @ 2624.01
2682.17/2693.55	c GLOBAL bounds - >= 42229 @ 2624.03
2682.26/2693.61	c GLOBAL bounds - >= 42229 @ 2624.06
2682.26/2693.66	c GLOBAL bounds - >= 42229 @ 2624.08
2682.36/2693.72	c GLOBAL bounds - >= 42229 @ 2624.11
2682.36/2693.77	c GLOBAL bounds - >= 42229 @ 2624.13
2682.46/2693.83	c GLOBAL bounds - >= 42229 @ 2624.17
2682.77/2694.15	c GLOBAL bounds - >= 42229 @ 2624.47
2726.53/2738.08	c #Conflicts:      41000 | #Constraints:    4251386
2726.53/2738.08	c GLOBAL bounds - >= 42229 @ 2667.29
2726.72/2738.23	c GLOBAL bounds - >= 42229 @ 2667.43
2726.92/2738.42	c GLOBAL bounds - >= 42229 @ 2667.61
2729.00/2740.54	c GLOBAL bounds - >= 42229 @ 2669.68
2730.20/2741.76	c GLOBAL bounds - >= 42229 @ 2670.85
2912.59/2924.73	c #Conflicts:      42000 | #Constraints:    4295097
2912.59/2924.73	c INPROCESSING
2912.59/2924.73	c GARBAGE COLLECT
2912.59/2924.73	c #Conflicts:      43000 | #Constraints:    4286961
2912.59/2924.73	c GLOBAL bounds - >= 42941 @ 2850.56
2912.68/2924.85	c GLOBAL bounds - >= 42941 @ 2850.66
2912.68/2924.89	c GLOBAL bounds - >= 42941 @ 2850.68
2912.79/2924.94	c GLOBAL bounds - >= 42941 @ 2850.7
2912.79/2924.98	c GLOBAL bounds - >= 42941 @ 2850.73
2913.28/2925.48	c GLOBAL bounds - >= 42941 @ 2851.18
2913.38/2925.53	c GLOBAL bounds - >= 42941 @ 2851.2
2913.49/2925.61	c GLOBAL bounds - >= 42941 @ 2851.24
2913.49/2925.65	c GLOBAL bounds - >= 42941 @ 2851.27
2913.58/2925.73	c GLOBAL bounds - >= 42941 @ 2851.31
2913.58/2925.78	c GLOBAL bounds - >= 42941 @ 2851.33
2913.69/2925.85	c GLOBAL bounds - >= 42941 @ 2851.37
2913.78/2925.90	c GLOBAL bounds - >= 42941 @ 2851.4
2913.78/2925.98	c GLOBAL bounds - >= 42941 @ 2851.44
2913.89/2926.02	c GLOBAL bounds - >= 42941 @ 2851.46
2913.89/2926.11	c GLOBAL bounds - >= 42941 @ 2851.53
2914.00/2926.16	c GLOBAL bounds - >= 42941 @ 2851.55
2914.09/2926.23	c GLOBAL bounds - >= 42941 @ 2851.6
2914.09/2926.28	c GLOBAL bounds - >= 42941 @ 2851.62
2914.18/2926.35	c GLOBAL bounds - >= 42941 @ 2851.67
2914.28/2926.40	c GLOBAL bounds - >= 42941 @ 2851.69
2914.28/2926.45	c GLOBAL bounds - >= 42941 @ 2851.71
2914.28/2926.49	c GLOBAL bounds - >= 42941 @ 2851.73
2914.38/2926.55	c GLOBAL bounds - >= 42941 @ 2851.76
2914.68/2926.82	c GLOBAL bounds - >= 42941 @ 2852.01
2915.68/2927.89	c GLOBAL bounds - >= 42941 @ 2853.04
2915.78/2927.94	c GLOBAL bounds - >= 42941 @ 2853.08
2915.78/2928.00	c GLOBAL bounds - >= 42941 @ 2853.12
2915.88/2928.05	c GLOBAL bounds - >= 42941 @ 2853.18
2916.17/2928.36	c GLOBAL bounds - >= 42941 @ 2853.47
2921.76/2933.90	c GLOBAL bounds - >= 42941 @ 2858.89
2928.85/2941.03	c GLOBAL bounds - >= 42941 @ 2865.86
2929.34/2941.57	c GLOBAL bounds - >= 42941 @ 2866.38
2935.41/2947.69	c GLOBAL bounds - >= 42941 @ 2872.38
2970.30/2982.67	c #Conflicts:      44000 | #Constraints:    4386819
2970.30/2982.67	c GLOBAL bounds - >= 42941 @ 2906.75
2971.89/2984.26	c GLOBAL bounds - >= 42941 @ 2908.32
2972.19/2984.54	c GLOBAL bounds - >= 42941 @ 2908.59
2972.29/2984.63	c GLOBAL bounds - >= 42941 @ 2908.65
2972.29/2984.67	c GLOBAL bounds - >= 42941 @ 2908.67
2972.40/2984.72	c GLOBAL bounds - >= 42941 @ 2908.7
2972.40/2984.76	c GLOBAL bounds - >= 42941 @ 2908.71
2972.49/2984.80	c GLOBAL bounds - >= 42941 @ 2908.73
2972.49/2984.85	c GLOBAL bounds - >= 42941 @ 2908.76
2972.49/2984.89	c GLOBAL bounds - >= 42941 @ 2908.78
2972.59/2984.94	c GLOBAL bounds - >= 42941 @ 2908.79
2972.59/2984.98	c GLOBAL bounds - >= 42941 @ 2908.82
2972.70/2985.03	c GLOBAL bounds - >= 42941 @ 2908.84
2972.80/2985.12	c GLOBAL bounds - >= 42941 @ 2908.9
2972.80/2985.16	c GLOBAL bounds - >= 42941 @ 2908.92
2972.89/2985.24	c GLOBAL bounds - >= 42941 @ 2908.97
2972.89/2985.29	c GLOBAL bounds - >= 42941 @ 2909
2972.99/2985.34	c GLOBAL bounds - >= 42941 @ 2909.02
2972.99/2985.38	c GLOBAL bounds - >= 42941 @ 2909.05
2973.09/2985.46	c GLOBAL bounds - >= 42941 @ 2909.09
2973.19/2985.50	c GLOBAL bounds - >= 42941 @ 2909.11
2973.19/2985.58	c GLOBAL bounds - >= 42941 @ 2909.16
2973.29/2985.62	c GLOBAL bounds - >= 42941 @ 2909.18
2973.29/2985.69	c GLOBAL bounds - >= 42941 @ 2909.22
2973.39/2985.74	c GLOBAL bounds - >= 42941 @ 2909.24
2973.39/2985.79	c GLOBAL bounds - >= 42941 @ 2909.26
2973.49/2985.83	c GLOBAL bounds - >= 42941 @ 2909.29
2973.59/2985.90	c GLOBAL bounds - >= 42941 @ 2909.32
2973.59/2985.94	c GLOBAL bounds - >= 42941 @ 2909.34
2973.70/2986.01	c GLOBAL bounds - >= 42941 @ 2909.38
2973.70/2986.06	c GLOBAL bounds - >= 42941 @ 2909.4
2973.81/2986.13	c GLOBAL bounds - >= 42941 @ 2909.45
2973.98/2986.32	c GLOBAL bounds - >= 42941 @ 2909.61
2974.09/2986.43	c GLOBAL bounds - >= 42941 @ 2909.73
2976.58/2988.94	c GLOBAL bounds - >= 42941 @ 2912.15
2976.88/2989.22	c GLOBAL bounds - >= 42941 @ 2912.42
2976.88/2989.27	c GLOBAL bounds - >= 42941 @ 2912.46
2976.97/2989.36	c GLOBAL bounds - >= 42941 @ 2912.53
2977.08/2989.43	c GLOBAL bounds - >= 42941 @ 2912.59
2980.47/2992.82	c GLOBAL bounds - >= 42941 @ 2915.88
2980.47/2992.86	c GLOBAL bounds - >= 42941 @ 2915.92
2980.56/2992.95	c GLOBAL bounds - >= 42941 @ 2915.99
2980.56/2992.98	c GLOBAL bounds - >= 42941 @ 2916.02
2980.67/2993.11	c GLOBAL bounds - >= 42941 @ 2916.13
2980.79/2993.16	c GLOBAL bounds - >= 42941 @ 2916.18
2980.86/2993.27	c GLOBAL bounds - >= 42941 @ 2916.28
2990.03/3002.49	c #Conflicts:      45000 | #Constraints:    4456726
2990.03/3002.49	c GLOBAL bounds - >= 42941 @ 2925.31
3160.35/3173.45	c #Conflicts:      46000 | #Constraints:    4468326
3160.35/3173.45	c #Conflicts:      47000 | #Constraints:    4469326
3160.35/3173.45	c #Conflicts:      48000 | #Constraints:    4470326
3160.35/3173.45	c GLOBAL bounds - >= 42941 @ 3093.15
3160.64/3173.77	c GLOBAL bounds - >= 42941 @ 3093.47
3160.75/3173.86	c GLOBAL bounds - >= 42941 @ 3093.54
3160.85/3173.90	c GLOBAL bounds - >= 42941 @ 3093.55
3160.85/3173.95	c GLOBAL bounds - >= 42941 @ 3093.57
3160.85/3174.00	c GLOBAL bounds - >= 42941 @ 3093.6
3160.95/3174.04	c GLOBAL bounds - >= 42941 @ 3093.61
3160.95/3174.09	c GLOBAL bounds - >= 42941 @ 3093.63
3161.06/3174.13	c GLOBAL bounds - >= 42941 @ 3093.66
3161.06/3174.18	c GLOBAL bounds - >= 42941 @ 3093.68
3161.14/3174.22	c GLOBAL bounds - >= 42941 @ 3093.69
3161.14/3174.27	c GLOBAL bounds - >= 42941 @ 3093.71
3161.24/3174.31	c GLOBAL bounds - >= 42941 @ 3093.73
3161.35/3174.40	c GLOBAL bounds - >= 42941 @ 3093.79
3161.35/3174.45	c GLOBAL bounds - >= 42941 @ 3093.81
3161.45/3174.54	c GLOBAL bounds - >= 42941 @ 3093.87
3161.45/3174.58	c GLOBAL bounds - >= 42941 @ 3093.89
3161.55/3174.67	c GLOBAL bounds - >= 42941 @ 3093.95
3161.65/3174.71	c GLOBAL bounds - >= 42941 @ 3093.97
3161.65/3174.79	c GLOBAL bounds - >= 42941 @ 3094.02
3161.74/3174.83	c GLOBAL bounds - >= 42941 @ 3094.04
3161.84/3174.91	c GLOBAL bounds - >= 42941 @ 3094.09
3161.84/3174.96	c GLOBAL bounds - >= 42941 @ 3094.12
3161.96/3175.04	c GLOBAL bounds - >= 42941 @ 3094.17
3161.96/3175.08	c GLOBAL bounds - >= 42941 @ 3094.2
3162.05/3175.16	c GLOBAL bounds - >= 42941 @ 3094.24
3162.14/3175.21	c GLOBAL bounds - >= 42941 @ 3094.26
3162.14/3175.25	c GLOBAL bounds - >= 42941 @ 3094.29
3162.24/3175.30	c GLOBAL bounds - >= 42941 @ 3094.31
3162.24/3175.34	c GLOBAL bounds - >= 42941 @ 3094.33
3162.24/3175.39	c GLOBAL bounds - >= 42941 @ 3094.35
3162.34/3175.44	c GLOBAL bounds - >= 42941 @ 3094.37
3162.44/3175.51	c GLOBAL bounds - >= 42941 @ 3094.43
3162.64/3175.73	c GLOBAL bounds - >= 42941 @ 3094.64
3164.54/3177.61	c GLOBAL bounds - >= 42941 @ 3096.44
3165.13/3178.24	c GLOBAL bounds - >= 42941 @ 3097.04
3165.24/3178.30	c GLOBAL bounds - >= 42941 @ 3097.1
3165.24/3178.37	c GLOBAL bounds - >= 42941 @ 3097.16
3165.43/3178.52	c GLOBAL bounds - >= 42941 @ 3097.29
3184.88/3198.10	c GLOBAL bounds - >= 42941 @ 3116.24
3279.73/3293.29	c #Conflicts:      49000 | #Constraints:    4528442
3279.73/3293.29	c #Conflicts:      50000 | #Constraints:    4529442
3279.73/3293.29	c GLOBAL bounds - >= 42941 @ 3208.9
3331.13/3344.84	c #Conflicts:      51000 | #Constraints:    4539933
3331.13/3344.84	c GLOBAL bounds - >= 42941 @ 3259.46
3344.57/3358.31	c GLOBAL bounds - >= 42941 @ 3272.62
3345.47/3359.28	c GLOBAL bounds - >= 42941 @ 3273.57
3417.50/3431.54	c GLOBAL bounds - >= 42941 @ 3344.89
3417.80/3431.89	c GLOBAL bounds - >= 42941 @ 3345.24
3417.90/3431.96	c GLOBAL bounds - >= 42941 @ 3345.28
3418.01/3432.01	c GLOBAL bounds - >= 42941 @ 3345.3
3418.01/3432.06	c GLOBAL bounds - >= 42941 @ 3345.31
3418.01/3432.10	c GLOBAL bounds - >= 42941 @ 3345.34
3418.11/3432.14	c GLOBAL bounds - >= 42941 @ 3345.35
3418.11/3432.19	c GLOBAL bounds - >= 42941 @ 3345.37
3418.19/3432.23	c GLOBAL bounds - >= 42941 @ 3345.4
3418.19/3432.27	c GLOBAL bounds - >= 42941 @ 3345.42
3418.29/3432.31	c GLOBAL bounds - >= 42941 @ 3345.43
3418.29/3432.35	c GLOBAL bounds - >= 42941 @ 3345.45
3418.29/3432.39	c GLOBAL bounds - >= 42941 @ 3345.46
3418.39/3432.44	c GLOBAL bounds - >= 42941 @ 3345.48
3418.39/3432.48	c GLOBAL bounds - >= 42941 @ 3345.5
3419.29/3433.33	c GLOBAL bounds - >= 42941 @ 3346.31
3419.29/3433.37	c GLOBAL bounds - >= 42941 @ 3346.32
3420.10/3434.19	c #Conflicts:      52000 | #Constraints:    4596005
3420.10/3434.19	c GLOBAL bounds - >= 42941 @ 3347.08
3420.18/3434.23	c GLOBAL bounds - >= 42941 @ 3347.1
3420.28/3434.31	c GLOBAL bounds - >= 42941 @ 3347.15
3420.28/3434.36	c GLOBAL bounds - >= 42941 @ 3347.17
3420.39/3434.44	c GLOBAL bounds - >= 42941 @ 3347.22
3420.39/3434.49	c GLOBAL bounds - >= 42941 @ 3347.25
3420.49/3434.58	c GLOBAL bounds - >= 42941 @ 3347.31
3420.59/3434.63	c GLOBAL bounds - >= 42941 @ 3347.33
3420.68/3434.71	c GLOBAL bounds - >= 42941 @ 3347.38
3420.68/3434.76	c GLOBAL bounds - >= 42941 @ 3347.39
3420.79/3434.83	c GLOBAL bounds - >= 42941 @ 3347.44
3420.79/3434.88	c GLOBAL bounds - >= 42941 @ 3347.46
3420.88/3434.95	c GLOBAL bounds - >= 42941 @ 3347.5
3420.88/3435.00	c GLOBAL bounds - >= 42941 @ 3347.52
3421.00/3435.04	c GLOBAL bounds - >= 42941 @ 3347.54
3421.00/3435.09	c GLOBAL bounds - >= 42941 @ 3347.56
3421.10/3435.16	c GLOBAL bounds - >= 42941 @ 3347.6
3421.18/3435.23	c GLOBAL bounds - >= 42941 @ 3347.67
3421.28/3435.32	c GLOBAL bounds - >= 42941 @ 3347.75
3425.37/3439.45	c GLOBAL bounds - >= 42941 @ 3351.73
3425.47/3439.52	c GLOBAL bounds - >= 42941 @ 3351.8
3425.47/3439.57	c GLOBAL bounds - >= 42941 @ 3351.84
3425.57/3439.64	c GLOBAL bounds - >= 42941 @ 3351.91
3425.87/3439.93	c GLOBAL bounds - >= 42941 @ 3352.18
3425.87/3440.01	c GLOBAL bounds - >= 42941 @ 3352.25
3426.08/3440.11	c GLOBAL bounds - >= 42941 @ 3352.34
3427.16/3441.23	c GLOBAL bounds - >= 42941 @ 3353.43
3452.98/3467.16	c GLOBAL bounds - >= 42941 @ 3378.72
3465.41/3479.63	c #Conflicts:      53000 | #Constraints:    4671551
3465.41/3479.63	c GLOBAL bounds - >= 42941 @ 3390.96
3495.71/3510.10	c GLOBAL bounds - >= 42941 @ 3420.88
3496.09/3510.48	c GLOBAL bounds - >= 42941 @ 3421.25
3496.49/3510.85	c GLOBAL bounds - >= 42941 @ 3421.62
3496.59/3510.92	c GLOBAL bounds - >= 42941 @ 3421.67
3496.59/3510.96	c GLOBAL bounds - >= 42941 @ 3421.68
3496.59/3511.00	c GLOBAL bounds - >= 42941 @ 3421.7
3496.70/3511.04	c GLOBAL bounds - >= 42941 @ 3421.71
3496.70/3511.09	c GLOBAL bounds - >= 42941 @ 3421.73
3496.80/3511.13	c GLOBAL bounds - >= 42941 @ 3421.75
3496.80/3511.17	c GLOBAL bounds - >= 42941 @ 3421.76
3496.89/3511.21	c GLOBAL bounds - >= 42941 @ 3421.79
3496.89/3511.25	c GLOBAL bounds - >= 42941 @ 3421.8
3496.89/3511.30	c GLOBAL bounds - >= 42941 @ 3421.82
3496.99/3511.34	c GLOBAL bounds - >= 42941 @ 3421.84
3497.58/3511.98	c GLOBAL bounds - >= 42941 @ 3422.44
3497.70/3512.02	c GLOBAL bounds - >= 42941 @ 3422.46
3497.80/3512.13	c GLOBAL bounds - >= 42941 @ 3422.53
3497.80/3512.17	c GLOBAL bounds - >= 42941 @ 3422.55
3497.89/3512.24	c GLOBAL bounds - >= 42941 @ 3422.6
3497.89/3512.29	c GLOBAL bounds - >= 42941 @ 3422.62
3497.98/3512.36	c GLOBAL bounds - >= 42941 @ 3422.66
3498.09/3512.40	c GLOBAL bounds - >= 42941 @ 3422.68
3498.18/3512.51	c GLOBAL bounds - >= 42941 @ 3422.73
3498.18/3512.55	c GLOBAL bounds - >= 42941 @ 3422.75
3498.28/3512.62	c GLOBAL bounds - >= 42941 @ 3422.8
3498.28/3512.67	c GLOBAL bounds - >= 42941 @ 3422.82
3498.39/3512.74	c GLOBAL bounds - >= 42941 @ 3422.86
3498.39/3512.78	c GLOBAL bounds - >= 42941 @ 3422.88
3498.49/3512.85	c GLOBAL bounds - >= 42941 @ 3422.92
3498.49/3512.90	c GLOBAL bounds - >= 42941 @ 3422.95
3498.59/3512.97	c GLOBAL bounds - >= 42941 @ 3422.99
3498.70/3513.01	c GLOBAL bounds - >= 42941 @ 3423.01
3498.70/3513.07	c GLOBAL bounds - >= 42941 @ 3423.04
3512.03/3526.47	c GLOBAL bounds - >= 42941 @ 3436.07
3512.43/3526.81	c GLOBAL bounds - >= 42941 @ 3436.4
3512.82/3527.22	c GLOBAL bounds - >= 42941 @ 3436.79
3512.92/3527.39	c #Conflicts:      54000 | #Constraints:    4784989
3512.92/3527.39	c GLOBAL bounds - >= 42941 @ 3436.95
3513.12/3527.57	c GLOBAL bounds - >= 42941 @ 3437.12
3513.64/3528.07	c GLOBAL bounds - >= 42941 @ 3437.6
3515.62/3530.04	c GLOBAL bounds - >= 42941 @ 3439.47
3600.01/3614.81	c #Conflicts:      55000 | #Constraints:    4821517
3600.01/3614.81	c cpu time 3522.88 s
3600.01/3614.81	c deterministic time 164101079 1.64e+08
3600.01/3614.81	c optimization time 3513.17 s
3600.01/3614.81	c total solve time 9.44987 s
3600.01/3614.81	c core-guided solve time 0 s
3600.01/3614.81	c propagation time 5.45988 s
3600.01/3614.81	c conflict analysis time 0.969122 s
3600.01/3614.81	c propagations 844478
3600.01/3614.81	c resolve steps 0
3600.01/3614.81	c decisions 35924774
3600.01/3614.81	c conflicts 431
3600.01/3614.81	c restarts 4
3600.01/3614.81	c inprocessing phases 0
3600.01/3614.81	c garbage collections 0 ,( -nan )
3600.01/3614.81	c input clauses 521 ,( 6.86 )
3600.01/3614.81	c input cardinalities 5002 ,( 65.83 )
3600.01/3614.81	c input general constraints 2075 ,( 27.31 )
3600.01/3614.81	c input average constraint length 411.54
3600.01/3614.81	c input average constraint degree 4777115.75
3600.01/3614.81	c learned clauses 377 ,( 78.71 )
3600.01/3614.81	c learned cardinalities 0 ,( 0.00 )
3600.01/3614.81	c learned general constraints 102 ,( 21.29 )
3600.01/3614.81	c learned average constraint length 544.89
3600.01/3614.81	c learned average constraint degree 2.00
3600.01/3614.81	c watched  CF 32, 64, 128, Arb: 1100 , 0 , 0 , 0
3600.01/3614.81	c counting CF 32, 64, 128, Arb: 1053 , 25 , 0 , 0
3600.01/3614.81	c watched   constraints 1100 ,( 50.53 ) 
3600.01/3614.81	c counting  constraints 1077 ,( 49.47 ) 
3600.01/3614.81	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 180911 , 2233 , 941199 ,( 635153 , 306046 )
3600.01/3614.81	c gcd simplifications 2
3600.01/3614.81	c detected cardinalities 0
3600.01/3614.81	c weakened non-implied lits 0
3600.01/3614.81	c weakened non-implying lits 0
3600.01/3614.81	c original variables 40998
3600.01/3614.81	c clausal propagations 1053
3600.01/3614.81	c cardinality propagations 4829
3600.01/3614.81	c watched propagations 291112
3600.01/3614.81	c counting propagations 249665
3600.01/3614.81	c watch lookups 1849962
3600.01/3614.81	c watch backjump lookups 0
3600.01/3614.81	c watch checks 41090098
3600.01/3614.81	c propagation checks 47168391
3600.01/3614.81	c constraint additions 453681
3600.01/3614.81	c trail pops 36769683
3600.01/3614.81	c formula constraints 7000
3600.01/3614.81	c learned constraints 477
3600.01/3614.81	c bound constraints 0
3600.01/3614.81	c core-guided constraints 0
3600.01/3614.81	c encountered formula constraints 276
3600.01/3614.81	c encountered learned constraints 87
3600.01/3614.81	c encountered bound constraints 0
3600.01/3614.81	c encountered core-guided constraints 0
3600.01/3614.81	c LP total time 2.54694 s
3600.01/3614.81	c LP solve time 2.29 s
3600.01/3614.81	c LP constraints added 7002
3600.01/3614.81	c LP constraints removed 0
3600.01/3614.81	c LP pivots internal 7
3600.01/3614.81	c LP pivots root 4
3600.01/3614.81	c LP calls 467
3600.01/3614.81	c LP optimalities 467
3600.01/3614.81	c LP no pivot count 465
3600.01/3614.81	c LP infeasibilities 0
3600.01/3614.81	c LP valid Farkas constraints 0
3600.01/3614.81	c LP learned Farkas constraints 0
3600.01/3614.81	c LP basis resets 0
3600.01/3614.81	c LP cycling count 0
3600.01/3614.81	c LP singular count 0
3600.01/3614.81	c LP no primal count 0
3600.01/3614.81	c LP no farkas count 0
3600.01/3614.81	c LP other issue count 0
3600.01/3614.81	c LP Gomory cuts 2
3600.01/3614.81	c LP learned cuts 0
3600.01/3614.81	c LP deleted cuts 0
3600.01/3614.81	c LP encountered Gomory constraints 0
3600.01/3614.81	c LP encountered Farkas constraints 0
3600.01/3614.81	c LP encountered learned Farkas constraints 0
3600.01/3614.81	c CG auxiliary variables introduced 176
3600.01/3614.81	c CG solutions found 0
3600.01/3614.81	c CG cores constructed 477
3600.01/3614.81	c CG core cardinality constraints returned 0
3600.01/3614.81	c CG unit cores 0
3600.01/3614.81	c CG single cores 0
3600.01/3614.81	c CG blocks removed during cardinality reduction 0
3600.01/3614.81	c CG first core best 0
3600.01/3614.81	c CG decision core best 0
3600.01/3614.81	c CG core reduction tie 0
3600.01/3614.81	c CG core degree average 0.00
3600.01/3614.81	c CG core slack average 0.00
3600.01/3614.81	c CG core upper bound improvements 0
3600.01/3614.81	c STR number of successful calls 0
3600.01/3614.81	c STR number of unsuccessful calls 0
3600.01/3614.81	c STR number of inconclusive calls 0
3600.01/3614.81	c STR number of successful attempts 0
3600.01/3614.81	c STR number of unsuccessful attempts 0
3600.01/3614.81	c STR number of inconclusive attempts 0
3600.01/3614.81	c STR average degree increase per successful call inf
3600.01/3614.81	c STR average degree increase per successful attempt inf
3600.01/3614.81	c STR total number of conflicts for successful attempts 0
3600.01/3614.81	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3614.81	c STR total number of conflicts for inconclusive attempts 0
3600.01/3614.81	c STR average number of conflicts per successful attempt inf
3600.01/3614.81	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3614.81	c STR average number of conflicts per inconclusive attempt inf
3600.01/3614.81	c AVG.sumWPerc 51.62 
3600.01/3614.81	c bigint constraints 25 
3600.01/3614.81	s UNKNOWN
3600.01/3614.81	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 (406 MiB free)
  memory of node 1: 64465 MiB (16628 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=68033, runsolver pid=68030
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 4.28 4.22 4.19 5/257 68035
/proc/meminfo: memFree=17434424/131382112 swapFree=33010416/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=64932 memory=20168 CPUtime=0.08 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 4170 0 0 0 6 2 0 0 20 0 1 0 56132453 66490368 5042 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 16233 5042 1952 1147 0 3660 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 69124 KiB
Current children cumulated memory: 22984 KiB

[startup+0.213775 s]*
/proc/loadavg: 4.28 4.22 4.19 5/257 68035
/proc/meminfo: memFree=17418296/131382112 swapFree=33010416/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=67448 memory=22600 CPUtime=0.19 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 4769 0 0 0 16 3 0 0 20 0 1 0 56132453 69066752 5650 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 16862 5650 1952 1147 0 4289 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 71640 KiB
Current children cumulated memory: 25416 KiB

[startup+0.313712 s]*
/proc/loadavg: 4.28 4.22 4.19 5/257 68035
/proc/meminfo: memFree=17386544/131382112 swapFree=33010416/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=86124 memory=41852 CPUtime=0.29 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 9560 0 0 0 24 5 0 0 20 0 1 0 56132453 88190976 10463 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 21531 10463 2240 1147 0 8958 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 90316 KiB
Current children cumulated memory: 44668 KiB

[startup+0.700364 s]
/proc/loadavg: 4.28 4.22 4.19 5/257 68035
/proc/meminfo: memFree=17364776/131382112 swapFree=33010416/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=111276 memory=63416 CPUtime=0.67 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 13328 0 0 0 49 18 0 0 20 0 1 0 56132453 113946624 15854 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 27819 15854 2336 1147 0 15246 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 115468 KiB
Current children cumulated memory: 66232 KiB

[startup+1.50035 s]
/proc/loadavg: 4.28 4.22 4.19 5/257 68035
/proc/meminfo: memFree=17336488/131382112 swapFree=33010416/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=134040 memory=86200 CPUtime=1.46 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 19199 0 0 0 109 37 0 0 20 0 1 0 56132453 137256960 21550 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 33510 21550 2336 1147 0 20937 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 138232 KiB
Current children cumulated memory: 89016 KiB

[startup+3.11342 s]
/proc/loadavg: 4.26 4.22 4.19 5/257 68035
/proc/meminfo: memFree=17125396/131382112 swapFree=33010416/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=204704 memory=141752 CPUtime=3.06 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 31525 0 0 0 206 100 0 0 20 0 1 0 56132453 209616896 35438 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 51176 35438 2368 1147 0 38603 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 208896 KiB
Current children cumulated memory: 144568 KiB

[startup+6.30034 s]
/proc/loadavg: 4.26 4.22 4.19 5/257 68035
/proc/meminfo: memFree=16726556/131382112 swapFree=33010416/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=338680 memory=264160 CPUtime=6.25 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 58042 0 0 0 506 119 0 0 20 0 1 0 56132453 346808320 66040 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 84670 66040 2368 1147 0 72097 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 342872 KiB
Current children cumulated memory: 266976 KiB

[startup+12.7004 s]
/proc/loadavg: 4.24 4.21 4.19 5/258 68036
/proc/meminfo: memFree=15916052/131382112 swapFree=33010416/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=591584 memory=482828 CPUtime=12.62 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 100982 0 0 0 1125 137 0 0 20 0 1 0 56132453 605782016 120707 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 147896 120707 2368 1147 0 135323 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 595776 KiB
Current children cumulated memory: 485644 KiB

[startup+25.5003 s]
/proc/loadavg: 4.54 4.28 4.21 8/258 68037
/proc/meminfo: memFree=14397948/131382112 swapFree=33010416/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=982968 memory=829484 CPUtime=25.37 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 164443 0 0 0 2126 411 0 0 20 0 1 0 56132453 1006559232 207371 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 245742 207371 2368 1147 0 233169 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 987160 KiB
Current children cumulated memory: 832300 KiB

[startup+51.1134 s]
/proc/loadavg: 4.43 4.28 4.21 5/258 68037
/proc/meminfo: memFree=11202644/131382112 swapFree=33010416/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=1809664 memory=1585368 CPUtime=50.88 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 302354 0 0 0 4370 718 0 0 20 0 1 0 56132453 1853095936 396342 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 452416 396342 2368 1147 0 439843 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1813856 KiB
Current children cumulated memory: 1588184 KiB

[startup+102.3 s]
/proc/loadavg: 4.31 4.28 4.21 4/258 68040
/proc/meminfo: memFree=6028592/131382112 swapFree=33010416/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=3089744 memory=2437416 CPUtime=101.78 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 446704 0 0 0 9080 1098 0 0 20 0 1 0 56132453 3163897856 609354 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 772436 609354 2368 1147 0 759863 0
Current children cumulated CPU time: 101.78 s
Current children cumulated vsize: 3093936 KiB
Current children cumulated memory: 2440232 KiB

[startup+162.3 s]
/proc/loadavg: 4.33 4.29 4.22 5/258 68046
/proc/meminfo: memFree=912716/131382112 swapFree=33010416/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=4205192 memory=3494224 CPUtime=161.56 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 621471 0 0 0 14936 1220 0 0 20 0 1 0 56132453 4306116608 873556 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 1051298 873556 2368 1147 0 1038725 0
Current children cumulated CPU time: 161.56 s
Current children cumulated vsize: 4209384 KiB
Current children cumulated memory: 3497040 KiB

[startup+222.3 s]
/proc/loadavg: 4.27 4.28 4.22 5/258 68049
/proc/meminfo: memFree=975084/131382112 swapFree=33010416/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=6171756 memory=5154312 CPUtime=221.31 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 984165 0 0 0 20696 1435 0 0 20 0 1 0 56132453 6319878144 1288578 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 1542939 1288578 2368 1147 0 1530366 0

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

/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=25161680 memory=21972508 CPUtime=3209.09 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 11101926 0 0 0 313958 6951 0 0 20 0 1 0 56132453 25765560320 5493127 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 6290420 5493127 2368 1147 0 6277847 0
Current children cumulated CPU time: 3209.09 s
Current children cumulated vsize: 25165872 KiB
Current children cumulated memory: 21975324 KiB

[startup+3282.3 s]
/proc/loadavg: 1.32 1.97 2.82 2/255 68451
/proc/meminfo: memFree=83001636/131382112 swapFree=33005784/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=25164240 memory=22055708 CPUtime=3268.86 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 11395465 0 0 0 319808 7078 0 0 20 0 1 0 56132453 25768181760 5513927 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 6291060 5513927 2368 1147 0 6278487 0
Current children cumulated CPU time: 3268.86 s
Current children cumulated vsize: 25168432 KiB
Current children cumulated memory: 22058524 KiB

[startup+3342.3 s]
/proc/loadavg: 1.22 1.82 2.72 2/255 68454
/proc/meminfo: memFree=81853424/131382112 swapFree=33005784/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=25337812 memory=22542080 CPUtime=3328.65 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 11524663 0 0 0 325696 7169 0 0 20 0 1 0 56132453 25945919488 5635520 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 6334453 5635520 2368 1147 0 6321880 0
Current children cumulated CPU time: 3328.65 s
Current children cumulated vsize: 25342004 KiB
Current children cumulated memory: 22544896 KiB

[startup+3402.3 s]
/proc/loadavg: 1.14 1.68 2.61 2/253 68456
/proc/meminfo: memFree=81055488/131382112 swapFree=33005784/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=25338948 memory=22850480 CPUtime=3388.41 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 11584404 0 0 0 331603 7238 0 0 20 0 1 0 56132453 25947082752 5712620 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 6334737 5712620 2368 1147 0 6322164 0
Current children cumulated CPU time: 3388.41 s
Current children cumulated vsize: 25343140 KiB
Current children cumulated memory: 22853296 KiB

[startup+3462.3 s]
/proc/loadavg: 1.09 1.57 2.51 2/253 68458
/proc/meminfo: memFree=79764264/131382112 swapFree=33005784/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=29311168 memory=23415376 CPUtime=3448.19 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 11671177 0 0 0 337398 7421 0 0 20 0 1 0 56132453 30014636032 5853844 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 7327792 5853844 2368 1147 0 7315219 0
Current children cumulated CPU time: 3448.19 s
Current children cumulated vsize: 29315360 KiB
Current children cumulated memory: 23418192 KiB

[startup+3522.3 s]
/proc/loadavg: 1.13 1.49 2.43 2/251 68460
/proc/meminfo: memFree=78466856/131382112 swapFree=33005784/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=29319872 memory=24003600 CPUtime=3507.94 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 11766437 0 0 0 343203 7591 0 0 20 0 1 0 56132453 30023548928 6000900 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 7329968 6000900 2368 1147 0 7317395 0
Current children cumulated CPU time: 3507.94 s
Current children cumulated vsize: 29324064 KiB
Current children cumulated memory: 24006416 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.42 2.34 2/244 68462
/proc/meminfo: memFree=77244960/131382112 swapFree=33005784/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=29505336 memory=24581496 CPUtime=3567.73 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 11865702 0 0 0 349093 7680 0 0 20 0 1 0 56132453 30213464064 6145374 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 7376334 6145374 2368 1147 0 7363761 0
Current children cumulated CPU time: 3567.73 s
Current children cumulated vsize: 29509528 KiB
Current children cumulated memory: 24584312 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.7 s]
/proc/loadavg: 1.17 1.40 2.30 2/243 68463
/proc/meminfo: memFree=76636132/131382112 swapFree=33005784/33010684
[pid=68033] ppid=68030 vsize=4192 memory=2816 CPUtime=0 cores=5,7
/proc/68033/stat : 68033 (run-opt-log.sh) S 68030 68033 66766 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 56132452 4292608 704 18446744073709551615 94048249425920 94048250320453 140735996396368 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94048250559504 94048250607248 94048283947008 140735996397857 140735996398052 140735996398052 140735996403654 0
/proc/68033/statm: 1048 704 640 219 0 110 0
[pid=68035] ppid=68033 vsize=29663036 memory=24883824 CPUtime=3600.01 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68033 68033 66766 0 -1 4194304 11923992 0 0 0 352279 7722 0 0 20 0 1 0 56132453 30374948864 6220956 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 7415759 6220956 2368 1147 0 7403186 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 29667228 KiB
Current children cumulated memory: 24886640 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

[startup+3615.2 s]
/proc/loadavg: 1.17 1.40 2.30 2/242 68463
/proc/meminfo: memFree=76814000/131382112 swapFree=33005784/33010684
[pid=68035] ppid=68030 vsize=29175564 memory=19052308 CPUtime=3600.46 cores=5,7
/proc/68035/stat : 68035 (roundingsat) R 68030 68033 66766 0 -1 4194304 11939015 0 1 0 352303 7743 0 0 20 0 1 0 56132453 29875777536 4763519 18446744073709551615 4227072 8923433 140725043611632 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24027136 140725043620178 140725043620392 140725043620392 140725043625962 0
/proc/68035/statm: 7293891 4763077 2496 1147 0 7281318 0
Current cumulated CPU time of completed processes: 0.00541 s
Current children cumulated CPU time: 3600.46 s
Current children cumulated vsize: 29175564 KiB
Current children cumulated memory: 19052308 KiB

[startup+3616 s]*
/proc/loadavg: 1.17 1.40 2.30 2/242 68463
/proc/meminfo: memFree=95950752/131382112 swapFree=33005784/33010684
Current cumulated CPU time of completed processes: 0.00541 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3616.2 s]
/proc/loadavg: 1.17 1.40 2.30 2/242 68463
/proc/meminfo: memFree=95950752/131382112 swapFree=33005784/33010684
Current cumulated CPU time of completed processes: 0.00541 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3616.3 s]
/proc/loadavg: 1.17 1.40 2.30 2/242 68463
/proc/meminfo: memFree=95950752/131382112 swapFree=33005784/33010684
Current cumulated CPU time of completed processes: 0.00541 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3616.38
CPU time (s): 3601.65
CPU user time (s): 3523.12
CPU system time (s): 78.5264
CPU usage (%): 99.5926
Max. virtual memory (cumulated for all children) (KiB): 29667228
Max. memory (cumulated for all children) (KiB): 24886640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3523.12
system time used= 78.5264
maximum resident set size= 24884336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11939987
page faults= 1
swaps= 0
block input operations= 4040
block output operations= 78620960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 936
involuntary context switches= 10275


# summary of solver processes directly reported to runsolver:
#   pid: 68033,68035
#   total CPU time (s): 3601.65
#   total CPU user time (s): 3523.12
#   total CPU system time (s): 78.5264

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6776 second user time and 37.4466 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-07-01 23:15:33
IDJOB=4498753
IDBENCH=148728
IDSOLVER=3351
FILE ID=nodeC007/4498753-1751404533
RUNJOBID= nodeC007-1751396901-66779
SLURM_JOB_ID= 9598273
Free space on /tmp= 432608 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__8.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4498753-1751404533/watcher-4498753-1751404533 -o /tmp/evaluation-result-4498753-1751404533/solver-4498753-1751404533 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751396901-66779 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4498753-1751404533.opb PROOFDIR/proof-4498753-1751404533

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

MD5SUM BENCH= d50eed7fc92c8c8c776f016813e402ac
RANDOM SEED=248134694

nodeC007 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.544
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.68
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		: 3661.888
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.68
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		: 3662.629
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.68
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.522
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.68
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		: 3662.595
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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        17448096 kB
MemAvailable:   107904272 kB
Buffers:            2736 kB
Cached:         91149980 kB
SwapCached:           28 kB
Active:         22083004 kB
Inactive:       90667284 kB
Active(anon):   21610248 kB
Inactive(anon):     5344 kB
Active(file):     472756 kB
Inactive(file): 90661940 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:          10682772 kB
Writeback:             0 kB
AnonPages:      21600708 kB
Mapped:           113308 kB
Shmem:             17932 kB
KReclaimable:     322216 kB
Slab:             743056 kB
SReclaimable:     322216 kB
SUnreclaim:       420840 kB
KernelStack:        4128 kB
PageTables:        46428 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   25697884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149528 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3573760 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432568 MiB
End job on nodeC007 at 2025-07-02 00:15:50