Trace number 4485551

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
MD5SUM9634c234ec2c2f6b5ee1ba365a629db0
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1073
Best CPU time to get the best result obtained on this benchmark72001.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21705
Total number of constraints4285
Number of constraints which are clauses4284
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint15760
Number of terms in the objective function 21705
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 37465
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 37465
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.06/0.53	c #variables 21705 #constraints 4258
0.06/0.53	c objective is ce32 
0.06/0.56	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.06/0.56	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.06/0.56	c GLOBAL bounds - >= 0 @ 0.108898
0.06/0.59	c GLOBAL bounds - >= 0 @ 0.131035
0.55/1.06	c GLOBAL bounds - >= 0 @ 0.565652
1.45/1.91	c GLOBAL bounds - >= 0 @ 1.33427
1.85/2.37	c GLOBAL bounds - >= 0 @ 1.74102
2.15/2.62	c GLOBAL bounds - >= 0 @ 1.97281
2.45/2.90	c GLOBAL bounds - >= 0 @ 2.23267
2.55/3.01	c GLOBAL bounds - >= 0 @ 2.3205
2.64/3.18	c GLOBAL bounds - >= 0 @ 2.47773
2.94/3.47	c GLOBAL bounds - >= 0 @ 2.75441
3.14/3.63	c GLOBAL bounds - >= 0 @ 2.88238
3.35/3.84	c GLOBAL bounds - >= 0 @ 3.0408
3.55/4.08	c GLOBAL bounds - >= 0 @ 3.26514
3.84/4.31	c GLOBAL bounds - >= 0 @ 3.4714
4.04/4.60	c GLOBAL bounds - >= 0 @ 3.73856
4.34/4.88	c GLOBAL bounds - >= 0 @ 4.00326
4.54/5.08	c GLOBAL bounds - >= 0 @ 4.17901
4.84/5.39	c GLOBAL bounds - >= 0 @ 4.47849
5.03/5.59	c GLOBAL bounds - >= 0 @ 4.64738
5.23/5.76	c GLOBAL bounds - >= 0 @ 4.79708
5.44/6.00	c GLOBAL bounds - >= 0 @ 5.02329
6.84/7.35	c #Conflicts:       1000 | #Constraints:       5296
6.84/7.35	c GLOBAL bounds - >= 0 @ 6.26965
7.93/8.44	c GLOBAL bounds - >= 0 @ 7.30739
8.72/9.27	c GLOBAL bounds - >= 0 @ 8.08232
9.13/9.68	c GLOBAL bounds - >= 0 @ 8.46834
9.43/9.90	c GLOBAL bounds - >= 0 @ 8.66614
9.63/10.17	c GLOBAL bounds - >= 0 @ 8.91397
10.02/10.56	c GLOBAL bounds - >= 0 @ 9.27738
10.53/11.03	c GLOBAL bounds - >= 0 @ 9.69404
11.03/11.56	c GLOBAL bounds - >= 0 @ 10.1766
11.42/11.93	c GLOBAL bounds - >= 0 @ 10.5387
11.72/12.25	c GLOBAL bounds - >= 0 @ 10.841
12.02/12.54	c GLOBAL bounds - >= 0 @ 11.1179
12.32/12.85	c GLOBAL bounds - >= 0 @ 11.4049
12.63/13.11	c GLOBAL bounds - >= 0 @ 11.6433
13.71/14.22	c #Conflicts:       2000 | #Constraints:       6324
13.71/14.22	c INPROCESSING
13.71/14.22	c GARBAGE COLLECT
13.71/14.22	c GLOBAL bounds - >= 0 @ 12.7199
14.41/14.94	c GLOBAL bounds - >= 0 @ 13.4165
14.52/15.07	c GLOBAL bounds - >= 0 @ 13.528
14.91/15.48	c GLOBAL bounds - >= 0 @ 13.9194
19.10/19.64	c GLOBAL bounds - >= 0 @ 18.0051
19.70/20.21	c GLOBAL bounds - >= 0 @ 18.5635
21.99/22.54	c #Conflicts:       3000 | #Constraints:       6341
21.99/22.54	c GLOBAL bounds - >= 0 @ 20.7461
22.50/23.09	c GLOBAL bounds - >= 0 @ 21.2707
22.89/23.43	c GLOBAL bounds - >= 0 @ 21.5876
23.29/23.84	c GLOBAL bounds - >= 0 @ 21.9774
23.69/24.24	c GLOBAL bounds - >= 0 @ 22.3561
24.29/24.80	c GLOBAL bounds - >= 0 @ 22.8953
24.98/25.54	c GLOBAL bounds - >= 0 @ 23.5895
25.49/26.06	c GLOBAL bounds - >= 0 @ 24.0624
26.08/26.63	c GLOBAL bounds - >= 0 @ 24.5998
26.49/27.02	c GLOBAL bounds - >= 0 @ 24.9761
26.89/27.42	c GLOBAL bounds - >= 0 @ 25.3487
27.38/27.90	c GLOBAL bounds - >= 0 @ 25.8048
30.07/30.69	c #Conflicts:       4000 | #Constraints:       7365
30.07/30.69	c INPROCESSING
30.07/30.69	c GARBAGE COLLECT
30.07/30.69	c GLOBAL bounds - >= 0 @ 28.5224
31.47/32.01	c GLOBAL bounds - >= 0 @ 29.8151
32.96/33.53	c GLOBAL bounds - >= 0 @ 31.2749
33.76/34.36	c GLOBAL bounds - >= 0 @ 32.0774
34.36/34.96	c GLOBAL bounds - >= 0 @ 32.6497
35.75/36.37	c #Conflicts:       5000 | #Constraints:       6801
35.75/36.37	c GLOBAL bounds - >= 0 @ 34.0207
36.45/37.07	c GLOBAL bounds - >= 0 @ 34.6853
38.94/39.59	c GLOBAL bounds - >= 0 @ 37.1575
39.45/40.10	c GLOBAL bounds - >= 0 @ 37.6517
40.14/40.73	c GLOBAL bounds - >= 0 @ 38.2614
41.14/41.70	c #Conflicts:       6000 | #Constraints:       7811
41.14/41.70	c GLOBAL bounds - >= 0 @ 39.1988
42.23/42.87	c GLOBAL bounds - >= 0 @ 40.2946
44.03/44.64	c GLOBAL bounds - >= 0 @ 41.9851
44.54/45.15	c GLOBAL bounds - >= 0 @ 42.4647
47.61/48.21	c INPROCESSING
47.61/48.21	c GARBAGE COLLECT
47.61/48.21	c GLOBAL bounds - >= 0 @ 45.48
48.62/49.28	c GLOBAL bounds - >= 0 @ 46.5384
49.31/49.90	c #Conflicts:       7000 | #Constraints:       6837
49.31/49.90	c GLOBAL bounds - >= 0 @ 47.1262
49.72/50.39	c GLOBAL bounds - >= 0 @ 47.6057
50.52/51.17	c GLOBAL bounds - >= 0 @ 48.3685
51.61/52.25	c GLOBAL bounds - >= 0 @ 49.429
52.80/53.40	c GLOBAL bounds - >= 0 @ 50.5539
53.80/54.43	c GLOBAL bounds - >= 0 @ 51.5722
55.00/55.60	c #Conflicts:       8000 | #Constraints:       7849
55.00/55.60	c GLOBAL bounds - >= 0 @ 52.7204
55.69/56.36	c GLOBAL bounds - >= 0 @ 53.445
57.89/58.52	c GLOBAL bounds - >= 0 @ 55.5572
58.50/59.16	c GLOBAL bounds - >= 0 @ 56.168
59.49/60.12	c GLOBAL bounds - >= 0 @ 56.9499
60.28/60.97	c GLOBAL bounds - >= 0 @ 57.7472
60.97/61.61	c GLOBAL bounds - >= 0 @ 58.359
61.39/62.06	c GLOBAL bounds - >= 0 @ 58.7754
62.58/63.26	c #Conflicts:       9000 | #Constraints:       8865
62.58/63.26	c GLOBAL bounds - >= 0 @ 59.9201
66.96/67.67	c INPROCESSING
66.96/67.67	c GARBAGE COLLECT
66.96/67.67	c GLOBAL bounds - >= 0 @ 64.2531
67.96/68.60	c GLOBAL bounds - >= 0 @ 65.1617
68.85/69.58	c GLOBAL bounds - >= 0 @ 66.1038
69.86/70.57	c GLOBAL bounds - >= 0 @ 67.0511
70.65/71.36	c #Conflicts:      10000 | #Constraints:       7594
70.65/71.36	c GLOBAL bounds - >= 0 @ 67.8274
72.74/73.50	c GLOBAL bounds - >= 0 @ 69.923
75.04/75.74	c GLOBAL bounds - >= 0 @ 72.1351
78.93/79.60	c #Conflicts:      11000 | #Constraints:       8600
78.93/79.60	c GLOBAL bounds - >= 0 @ 75.9385
79.53/80.22	c GLOBAL bounds - >= 0 @ 76.5154
81.21/81.93	c GLOBAL bounds - >= 0 @ 78.1496
82.42/83.19	c GLOBAL bounds - >= 0 @ 79.3634
83.32/84.08	c GLOBAL bounds - >= 0 @ 80.209
86.60/87.30	c #Conflicts:      12000 | #Constraints:       9610
86.60/87.30	c INPROCESSING
86.60/87.30	c GARBAGE COLLECT
86.60/87.30	c GLOBAL bounds - >= 0 @ 83.3805
87.60/88.38	c GLOBAL bounds - >= 0 @ 84.4269
88.50/89.27	c GLOBAL bounds - >= 0 @ 85.2896
89.89/90.65	c GLOBAL bounds - >= 0 @ 86.6263
90.69/91.42	c GLOBAL bounds - >= 0 @ 87.3719
91.88/92.63	c GLOBAL bounds - >= 0 @ 88.5446
92.98/93.70	c #Conflicts:      13000 | #Constraints:       8071
92.98/93.70	c GLOBAL bounds - >= 0 @ 89.5886
95.47/96.22	c GLOBAL bounds - >= 0 @ 92.0591
100.66/101.40	c #Conflicts:      14000 | #Constraints:       9075
100.66/101.40	c GLOBAL bounds - >= 0 @ 97.1528
102.16/102.93	c GLOBAL bounds - >= 0 @ 98.6606
103.15/103.91	c GLOBAL bounds - >= 0 @ 99.6265
107.25/108.07	c #Conflicts:      15000 | #Constraints:      10081
107.25/108.07	c INPROCESSING
107.25/108.07	c GARBAGE COLLECT
107.25/108.07	c GLOBAL bounds - >= 0 @ 103.739
115.72/116.57	c #Conflicts:      16000 | #Constraints:       8333
115.72/116.57	c GLOBAL bounds - >= 0 @ 112.102
117.01/117.87	c GLOBAL bounds - >= 0 @ 113.39
134.65/135.56	c #Conflicts:      17000 | #Constraints:       9337
134.65/135.56	c #Conflicts:      18000 | #Constraints:      10337
134.65/135.56	c INPROCESSING
134.65/135.56	c GARBAGE COLLECT
134.65/135.56	c GLOBAL bounds - >= 0 @ 130.804
139.15/140.07	c #Conflicts:      19000 | #Constraints:       8354
139.15/140.07	c GLOBAL bounds - >= 0 @ 135.239
143.63/144.56	c GLOBAL bounds - >= 0 @ 139.64
145.73/146.63	c #Conflicts:      20000 | #Constraints:       9358
145.73/146.63	c GLOBAL bounds - >= 0 @ 141.64
146.52/147.46	c GLOBAL bounds - >= 0 @ 142.433
147.91/148.85	c GLOBAL bounds - >= 0 @ 143.798
149.31/150.23	c GLOBAL bounds - >= 0 @ 145.144
150.31/151.29	c GLOBAL bounds - >= 0 @ 146.163
151.80/152.71	c #Conflicts:      21000 | #Constraints:      10368
151.80/152.71	c GLOBAL bounds - >= 0 @ 147.535
152.60/153.53	c GLOBAL bounds - >= 0 @ 148.312
154.90/155.89	c GLOBAL bounds - >= 0 @ 150.597
158.69/159.66	c INPROCESSING
158.69/159.66	c GARBAGE COLLECT
158.69/159.66	c GLOBAL bounds - >= 0 @ 154.301
159.48/160.49	c GLOBAL bounds - >= 0 @ 155.11
160.28/161.28	c GLOBAL bounds - >= 0 @ 155.868
160.98/161.91	c GLOBAL bounds - >= 0 @ 156.484
161.97/162.90	c #Conflicts:      22000 | #Constraints:       8174
161.97/162.90	c GLOBAL bounds - >= 0 @ 157.441
166.17/167.16	c GLOBAL bounds - >= 0 @ 161.614
166.36/167.34	c GLOBAL bounds - >= 0 @ 161.781
167.25/168.29	c GLOBAL bounds - >= 0 @ 162.694
167.95/168.93	c GLOBAL bounds - >= 0 @ 163.321
168.65/169.60	c #Conflicts:      23000 | #Constraints:       9184
168.65/169.60	c GLOBAL bounds - >= 0 @ 163.956
169.75/170.76	c GLOBAL bounds - >= 0 @ 165.085
170.55/171.55	c GLOBAL bounds - >= 0 @ 165.847
171.34/172.35	c GLOBAL bounds - >= 0 @ 166.635
172.05/173.07	c GLOBAL bounds - >= 0 @ 167.329
172.84/173.80	c GLOBAL bounds - >= 0 @ 168.034
173.94/174.93	c GLOBAL bounds - >= 0 @ 169.144
175.13/176.11	c GLOBAL bounds - >= 0 @ 170.274
176.43/177.47	c #Conflicts:      24000 | #Constraints:      10200
176.43/177.47	c GLOBAL bounds - >= 0 @ 171.597
177.63/178.66	c GLOBAL bounds - >= 0 @ 172.754
182.12/183.15	c GLOBAL bounds - >= 0 @ 177.138
187.11/188.16	c #Conflicts:      25000 | #Constraints:      11206
187.11/188.16	c INPROCESSING
187.11/188.16	c GARBAGE COLLECT
187.11/188.16	c GLOBAL bounds - >= 0 @ 182.056
191.39/192.47	c GLOBAL bounds - >= 0 @ 186.31
191.98/193.09	c GLOBAL bounds - >= 0 @ 186.916
192.78/193.86	c #Conflicts:      26000 | #Constraints:       8814
192.78/193.86	c GLOBAL bounds - >= 0 @ 187.673
194.27/195.32	c GLOBAL bounds - >= 0 @ 189.099
196.98/198.01	c GLOBAL bounds - >= 0 @ 191.751
198.66/199.75	c #Conflicts:      27000 | #Constraints:       9820
198.66/199.75	c GLOBAL bounds - >= 0 @ 193.436
200.85/201.98	c GLOBAL bounds - >= 0 @ 195.622
201.85/202.94	c GLOBAL bounds - >= 0 @ 196.552
211.32/212.43	c #Conflicts:      28000 | #Constraints:      10826
211.32/212.43	c GLOBAL bounds - >= 0 @ 205.855
216.60/217.72	c #Conflicts:      29000 | #Constraints:      11828
216.60/217.72	c INPROCESSING
216.60/217.72	c GARBAGE COLLECT
216.60/217.72	c GLOBAL bounds - >= 0 @ 211.038
218.80/219.94	c GLOBAL bounds - >= 0 @ 213.178
219.90/221.01	c GLOBAL bounds - >= 0 @ 214.207
220.79/221.97	c GLOBAL bounds - >= 0 @ 215.146
237.45/238.62	c #Conflicts:      30000 | #Constraints:       9239
237.45/238.62	c #Conflicts:      31000 | #Constraints:      10239
237.45/238.62	c GLOBAL bounds - >= 0 @ 231.532
240.84/242.10	c #Conflicts:      32000 | #Constraints:      11241
240.84/242.10	c GLOBAL bounds - >= 0 @ 234.933
241.43/242.66	c GLOBAL bounds - >= 0 @ 235.459
244.22/245.46	c GLOBAL bounds - >= 0 @ 238.181
248.31/249.52	c #Conflicts:      33000 | #Constraints:      12247
248.31/249.52	c INPROCESSING
248.31/249.52	c GARBAGE COLLECT
248.31/249.52	c GLOBAL bounds - >= 0 @ 242.136
250.30/251.50	c GLOBAL bounds - >= 0 @ 244.077
254.59/255.89	c #Conflicts:      34000 | #Constraints:       9458
254.59/255.89	c GLOBAL bounds - >= 0 @ 248.414
262.47/263.74	c #Conflicts:      35000 | #Constraints:      10460
262.47/263.74	c GLOBAL bounds - >= 0 @ 256.217
355.98/357.53	c #Conflicts:      36000 | #Constraints:      11462
355.98/357.53	c #Conflicts:      37000 | #Constraints:      12462
355.98/357.53	c INPROCESSING
355.98/357.53	c GARBAGE COLLECT
355.98/357.53	c #Conflicts:      38000 | #Constraints:       9474
355.98/357.53	c #Conflicts:      39000 | #Constraints:      10474
355.98/357.53	c #Conflicts:      40000 | #Constraints:      11474
355.98/357.53	c #Conflicts:      41000 | #Constraints:      12474
355.98/357.53	c INPROCESSING
355.98/357.53	c GARBAGE COLLECT
355.98/357.53	c #Conflicts:      42000 | #Constraints:       9284
355.98/357.53	c #Conflicts:      43000 | #Constraints:      10284
355.98/357.53	c GLOBAL bounds - >= 0 @ 348.92
375.62/377.25	c #Conflicts:      44000 | #Constraints:      11286
375.62/377.25	c #Conflicts:      45000 | #Constraints:      12286
375.62/377.25	c GLOBAL bounds - >= 0 @ 368.396
376.82/378.42	c GLOBAL bounds - >= 0 @ 369.539
378.01/379.61	c GLOBAL bounds - >= 0 @ 370.68
379.01/380.61	c GLOBAL bounds - >= 0 @ 371.651
385.60/387.24	c #Conflicts:      46000 | #Constraints:      13294
385.60/387.24	c INPROCESSING
385.60/387.24	c GARBAGE COLLECT
385.60/387.24	c GLOBAL bounds - >= 0 @ 377.93
391.58/393.21	c #Conflicts:      47000 | #Constraints:       9896
391.58/393.21	c GLOBAL bounds - >= 0 @ 383.777
393.08/394.75	c GLOBAL bounds - >= 0 @ 385.269
395.17/396.83	c GLOBAL bounds - >= 0 @ 387.318
396.06/397.74	c GLOBAL bounds - >= 0 @ 388.208
401.35/403.03	c #Conflicts:      48000 | #Constraints:      10904
401.35/403.03	c GLOBAL bounds - >= 0 @ 393.399
412.12/413.85	c #Conflicts:      49000 | #Constraints:      11906
412.12/413.85	c GLOBAL bounds - >= 0 @ 404.052
413.71/415.42	c GLOBAL bounds - >= 0 @ 405.579
414.50/416.20	c GLOBAL bounds - >= 0 @ 406.334
416.50/418.24	c #Conflicts:      50000 | #Constraints:      12912
416.50/418.24	c GLOBAL bounds - >= 0 @ 408.325
419.29/421.09	c GLOBAL bounds - >= 0 @ 411.114
422.88/424.65	c GLOBAL bounds - >= 0 @ 414.479
432.25/434.08	c #Conflicts:      51000 | #Constraints:      13918
432.25/434.08	c INPROCESSING
432.25/434.08	c GARBAGE COLLECT
432.25/434.08	c GLOBAL bounds - >= 0 @ 423.792
439.34/441.19	c #Conflicts:      52000 | #Constraints:      10299
439.34/441.19	c GLOBAL bounds - >= 0 @ 430.805
451.20/453.05	c #Conflicts:      53000 | #Constraints:      11301
451.20/453.05	c #Conflicts:      54000 | #Constraints:      12301
451.20/453.05	c GLOBAL bounds - >= 0 @ 442.467
465.06/466.95	c #Conflicts:      55000 | #Constraints:      13303
465.06/466.95	c #Conflicts:      56000 | #Constraints:      14303
465.06/466.95	c INPROCESSING
465.06/466.95	c GARBAGE COLLECT
465.06/466.95	c GLOBAL bounds - >= 0 @ 456.151
472.14/474.06	c GLOBAL bounds - >= 0 @ 463.154
483.31/485.24	c #Conflicts:      57000 | #Constraints:      10523
483.31/485.24	c #Conflicts:      58000 | #Constraints:      11523
483.31/485.24	c GLOBAL bounds - >= 0 @ 474.15
494.68/496.60	c #Conflicts:      59000 | #Constraints:      12525
494.68/496.60	c GLOBAL bounds - >= 0 @ 485.4
496.18/498.18	c GLOBAL bounds - >= 0 @ 486.963
497.98/499.93	c #Conflicts:      60000 | #Constraints:      13529
497.98/499.93	c GLOBAL bounds - >= 0 @ 488.698
556.12/558.21	c #Conflicts:      61000 | #Constraints:      14531
556.12/558.21	c INPROCESSING
556.12/558.21	c GARBAGE COLLECT
556.12/558.21	c #Conflicts:      62000 | #Constraints:      10542
556.12/558.21	c #Conflicts:      63000 | #Constraints:      11542
556.12/558.21	c #Conflicts:      64000 | #Constraints:      12542
556.12/558.21	c GLOBAL bounds - >= 0 @ 546.321
560.41/562.50	c GLOBAL bounds - >= 0 @ 550.488
562.01/564.13	c #Conflicts:      65000 | #Constraints:      13546
562.01/564.13	c GLOBAL bounds - >= 0 @ 552.082
563.50/565.62	c GLOBAL bounds - >= 0 @ 553.528
566.49/568.60	c GLOBAL bounds - >= 0 @ 556.447
570.18/572.35	c #Conflicts:      66000 | #Constraints:      14552
570.18/572.35	c GLOBAL bounds - >= 0 @ 560.091
579.76/581.91	c INPROCESSING
579.76/581.91	c GARBAGE COLLECT
579.76/581.91	c #Conflicts:      67000 | #Constraints:      10348
579.76/581.91	c GLOBAL bounds - >= 0 @ 569.508
586.34/588.58	c GLOBAL bounds - >= 0 @ 576.058
600.10/602.38	c #Conflicts:      68000 | #Constraints:      11352
600.10/602.38	c #Conflicts:      69000 | #Constraints:      12352
600.10/602.38	c GLOBAL bounds - >= 0 @ 589.671
601.50/603.78	c GLOBAL bounds - >= 0 @ 591.032
637.39/639.78	c #Conflicts:      70000 | #Constraints:      13356
637.39/639.78	c #Conflicts:      71000 | #Constraints:      14356
637.39/639.78	c #Conflicts:      72000 | #Constraints:      15356
637.39/639.78	c INPROCESSING
637.39/639.78	c GARBAGE COLLECT
637.39/639.78	c #Conflicts:      73000 | #Constraints:      10968
637.39/639.78	c GLOBAL bounds - >= 0 @ 626.491
638.89/641.27	c GLOBAL bounds - >= 0 @ 627.944
642.38/644.72	c #Conflicts:      74000 | #Constraints:      11972
642.38/644.72	c GLOBAL bounds - >= 0 @ 631.319
663.42/665.89	c #Conflicts:      75000 | #Constraints:      12974
663.42/665.89	c #Conflicts:      76000 | #Constraints:      13974
663.42/665.89	c GLOBAL bounds - >= 0 @ 652.134
664.92/667.33	c GLOBAL bounds - >= 0 @ 653.549
674.40/676.87	c #Conflicts:      77000 | #Constraints:      14978
674.40/676.87	c GLOBAL bounds - >= 0 @ 662.902
681.17/683.63	c #Conflicts:      78000 | #Constraints:      15980
681.17/683.63	c INPROCESSING
681.17/683.63	c GARBAGE COLLECT
681.17/683.63	c GLOBAL bounds - >= 0 @ 669.558
683.07/685.55	c GLOBAL bounds - >= 0 @ 671.452
685.07/687.58	c GLOBAL bounds - >= 0 @ 673.454
688.95/691.49	c #Conflicts:      79000 | #Constraints:      11388
688.95/691.49	c GLOBAL bounds - >= 0 @ 677.31
691.65/694.17	c GLOBAL bounds - >= 0 @ 679.952
706.41/708.99	c #Conflicts:      80000 | #Constraints:      12392
706.41/708.99	c #Conflicts:      81000 | #Constraints:      13392
706.41/708.99	c GLOBAL bounds - >= 0 @ 694.613
724.17/726.74	c #Conflicts:      82000 | #Constraints:      14394
724.17/726.74	c #Conflicts:      83000 | #Constraints:      15394
724.17/726.74	c GLOBAL bounds - >= 0 @ 712.115
946.50/949.65	c #Conflicts:      84000 | #Constraints:      16396
946.50/949.65	c INPROCESSING
946.50/949.65	c GARBAGE COLLECT
946.50/949.65	c #Conflicts:      85000 | #Constraints:      11578
946.50/949.65	c #Conflicts:      86000 | #Constraints:      12578
946.50/949.65	c #Conflicts:      87000 | #Constraints:      13578
946.50/949.65	c #Conflicts:      88000 | #Constraints:      14578
946.50/949.65	c #Conflicts:      89000 | #Constraints:      15578
946.50/949.65	c #Conflicts:      90000 | #Constraints:      16578
946.50/949.65	c INPROCESSING
946.50/949.65	c GARBAGE COLLECT
946.50/949.65	c #Conflicts:      91000 | #Constraints:      11602
946.50/949.65	c #Conflicts:      92000 | #Constraints:      12602
946.50/949.65	c #Conflicts:      93000 | #Constraints:      13602
946.50/949.65	c #Conflicts:      94000 | #Constraints:      14602
946.50/949.65	c #Conflicts:      95000 | #Constraints:      15602
946.50/949.65	c #Conflicts:      96000 | #Constraints:      16602
946.50/949.65	c INPROCESSING
946.50/949.65	c GARBAGE COLLECT
946.50/949.65	c #Conflicts:      97000 | #Constraints:      11411
946.50/949.65	c GLOBAL bounds - >= 0 @ 932.879
1011.53/1014.89	c #Conflicts:      98000 | #Constraints:      12413
1011.53/1014.89	c #Conflicts:      99000 | #Constraints:      13413
1011.53/1014.89	c #Conflicts:     100000 | #Constraints:      14413
1011.53/1014.89	c #Conflicts:     101000 | #Constraints:      15413
1011.53/1014.89	c #Conflicts:     102000 | #Constraints:      16413
1011.53/1014.89	c #Conflicts:     103000 | #Constraints:      17413
1011.53/1014.89	c GLOBAL bounds - >= 0 @ 997.392
1031.17/1034.56	c INPROCESSING
1031.17/1034.56	c GARBAGE COLLECT
1031.17/1034.56	c #Conflicts:     104000 | #Constraints:      12006
1031.17/1034.56	c GLOBAL bounds - >= 0 @ 1016.74
1095.10/1098.62	c #Conflicts:     105000 | #Constraints:      13008
1095.10/1098.62	c #Conflicts:     106000 | #Constraints:      14008
1095.10/1098.62	c #Conflicts:     107000 | #Constraints:      15008
1095.10/1098.62	c #Conflicts:     108000 | #Constraints:      16008
1095.10/1098.62	c #Conflicts:     109000 | #Constraints:      17008
1095.10/1098.62	c #Conflicts:     110000 | #Constraints:      18008
1095.10/1098.62	c INPROCESSING
1095.10/1098.62	c GARBAGE COLLECT
1095.10/1098.62	c #Conflicts:     111000 | #Constraints:      12432
1095.10/1098.62	c GLOBAL bounds - >= 0 @ 1079.83
1119.15/1122.78	c #Conflicts:     112000 | #Constraints:      13434
1119.15/1122.78	c #Conflicts:     113000 | #Constraints:      14434
1119.15/1122.78	c GLOBAL bounds - >= 0 @ 1103.62
1140.79/1144.45	c #Conflicts:     114000 | #Constraints:      15436
1140.79/1144.45	c #Conflicts:     115000 | #Constraints:      16436
1140.79/1144.45	c GLOBAL bounds - >= 0 @ 1125.03
1220.67/1224.54	c #Conflicts:     116000 | #Constraints:      17438
1220.67/1224.54	c #Conflicts:     117000 | #Constraints:      18438
1220.67/1224.54	c INPROCESSING
1220.67/1224.54	c GARBAGE COLLECT
1220.67/1224.54	c #Conflicts:     118000 | #Constraints:      12593
1220.67/1224.54	c #Conflicts:     119000 | #Constraints:      13593
1220.67/1224.54	c #Conflicts:     120000 | #Constraints:      14593
1220.67/1224.54	c #Conflicts:     121000 | #Constraints:      15593
1220.67/1224.54	c #Conflicts:     122000 | #Constraints:      16593
1220.67/1224.54	c GLOBAL bounds - >= 0 @ 1204.11
1224.27/1228.13	c #Conflicts:     123000 | #Constraints:      17595
1224.27/1228.13	c GLOBAL bounds - >= 0 @ 1207.63
1230.44/1234.37	c #Conflicts:     124000 | #Constraints:      18597
1230.44/1234.37	c GLOBAL bounds - >= 0 @ 1213.74
1238.02/1241.96	c INPROCESSING
1238.02/1241.96	c GARBAGE COLLECT
1238.02/1241.96	c GLOBAL bounds - >= 0 @ 1221.25
1252.69/1256.61	c #Conflicts:     125000 | #Constraints:      12600
1252.69/1256.61	c GLOBAL bounds - >= 0 @ 1235.7
1254.57/1258.58	c #Conflicts:     126000 | #Constraints:      13602
1254.57/1258.58	c GLOBAL bounds - >= 0 @ 1237.63
1263.06/1267.08	c #Conflicts:     127000 | #Constraints:      14604
1263.06/1267.08	c GLOBAL bounds - >= 0 @ 1245.94
1270.93/1274.90	c #Conflicts:     128000 | #Constraints:      15606
1270.93/1274.90	c GLOBAL bounds - >= 0 @ 1253.63
1295.97/1300.01	c #Conflicts:     129000 | #Constraints:      16608
1295.97/1300.01	c #Conflicts:     130000 | #Constraints:      17608
1295.97/1300.01	c GLOBAL bounds - >= 0 @ 1278.44
1298.36/1302.46	c GLOBAL bounds - >= 0 @ 1280.85
1300.26/1304.33	c #Conflicts:     131000 | #Constraints:      18612
1300.26/1304.33	c GLOBAL bounds - >= 0 @ 1282.7
1302.35/1306.40	c GLOBAL bounds - >= 0 @ 1284.73
1308.84/1312.92	c INPROCESSING
1308.84/1312.92	c GARBAGE COLLECT
1308.84/1312.92	c GLOBAL bounds - >= 0 @ 1291.18
1311.83/1315.94	c #Conflicts:     132000 | #Constraints:      12419
1311.83/1315.94	c GLOBAL bounds - >= 0 @ 1294.14
1326.78/1330.93	c #Conflicts:     133000 | #Constraints:      13421
1326.78/1330.93	c GLOBAL bounds - >= 0 @ 1308.92
1332.98/1337.12	c #Conflicts:     134000 | #Constraints:      14423
1332.98/1337.12	c GLOBAL bounds - >= 0 @ 1314.98
1344.15/1348.30	c #Conflicts:     135000 | #Constraints:      15425
1344.15/1348.30	c GLOBAL bounds - >= 0 @ 1325.98
1350.13/1354.33	c #Conflicts:     136000 | #Constraints:      16427
1350.13/1354.33	c GLOBAL bounds - >= 0 @ 1331.95
1379.76/1384.08	c #Conflicts:     137000 | #Constraints:      17429
1379.76/1384.08	c #Conflicts:     138000 | #Constraints:      18429
1379.76/1384.08	c #Conflicts:     139000 | #Constraints:      19429
1379.76/1384.08	c INPROCESSING
1379.76/1384.08	c GARBAGE COLLECT
1379.76/1384.08	c GLOBAL bounds - >= 0 @ 1361.36
1404.28/1408.68	c #Conflicts:     140000 | #Constraints:      13051
1404.28/1408.68	c #Conflicts:     141000 | #Constraints:      14051
1404.28/1408.68	c GLOBAL bounds - >= 0 @ 1385.65
1554.67/1559.45	c #Conflicts:     142000 | #Constraints:      15053
1554.67/1559.45	c #Conflicts:     143000 | #Constraints:      16053
1554.67/1559.45	c #Conflicts:     144000 | #Constraints:      17053
1554.67/1559.45	c #Conflicts:     145000 | #Constraints:      18053
1554.67/1559.45	c #Conflicts:     146000 | #Constraints:      19053
1554.67/1559.45	c #Conflicts:     147000 | #Constraints:      20053
1554.67/1559.45	c INPROCESSING
1554.67/1559.45	c GARBAGE COLLECT
1554.67/1559.45	c #Conflicts:     148000 | #Constraints:      13469
1554.67/1559.45	c #Conflicts:     149000 | #Constraints:      14469
1554.67/1559.45	c #Conflicts:     150000 | #Constraints:      15469
1554.67/1559.45	c #Conflicts:     151000 | #Constraints:      16469
1554.67/1559.45	c #Conflicts:     152000 | #Constraints:      17469
1554.67/1559.45	c GLOBAL bounds - >= 0 @ 1534.7
1718.15/1723.37	c #Conflicts:     153000 | #Constraints:      18471
1718.15/1723.37	c #Conflicts:     154000 | #Constraints:      19471
1718.15/1723.37	c #Conflicts:     155000 | #Constraints:      20471
1718.15/1723.37	c INPROCESSING
1718.15/1723.37	c GARBAGE COLLECT
1718.15/1723.37	c #Conflicts:     156000 | #Constraints:      13689
1718.15/1723.37	c #Conflicts:     157000 | #Constraints:      14689
1718.15/1723.37	c #Conflicts:     158000 | #Constraints:      15689
1718.15/1723.37	c #Conflicts:     159000 | #Constraints:      16689
1718.15/1723.37	c #Conflicts:     160000 | #Constraints:      17689
1718.15/1723.37	c #Conflicts:     161000 | #Constraints:      18689
1718.15/1723.37	c #Conflicts:     162000 | #Constraints:      19689
1718.15/1723.37	c GLOBAL bounds - >= 0 @ 1696.83
1748.87/1754.19	c #Conflicts:     163000 | #Constraints:      20691
1748.87/1754.19	c INPROCESSING
1748.87/1754.19	c GARBAGE COLLECT
1748.87/1754.19	c #Conflicts:     164000 | #Constraints:      13670
1748.87/1754.19	c GLOBAL bounds - >= 0 @ 1727.31
1804.62/1810.04	c #Conflicts:     165000 | #Constraints:      14672
1804.62/1810.04	c #Conflicts:     166000 | #Constraints:      15672
1804.62/1810.04	c #Conflicts:     167000 | #Constraints:      16672
1804.62/1810.04	c #Conflicts:     168000 | #Constraints:      17672
1804.62/1810.04	c #Conflicts:     169000 | #Constraints:      18672
1804.62/1810.04	c GLOBAL bounds - >= 0 @ 1782.56
1806.81/1812.28	c GLOBAL bounds - >= 0 @ 1784.79
1821.37/1826.85	c #Conflicts:     170000 | #Constraints:      19676
1821.37/1826.85	c GLOBAL bounds - >= 0 @ 1799.16
1877.91/1883.53	c #Conflicts:     171000 | #Constraints:      20678
1877.91/1883.53	c INPROCESSING
1877.91/1883.53	c GARBAGE COLLECT
1877.91/1883.53	c #Conflicts:     172000 | #Constraints:      13476
1877.91/1883.53	c #Conflicts:     173000 | #Constraints:      14476
1877.91/1883.53	c #Conflicts:     174000 | #Constraints:      15476
1877.91/1883.53	c #Conflicts:     175000 | #Constraints:      16476
1877.91/1883.53	c GLOBAL bounds - >= 0 @ 1855.04
1881.21/1886.89	c #Conflicts:     176000 | #Constraints:      17478
1881.21/1886.89	c GLOBAL bounds - >= 0 @ 1858.38
1883.60/1889.25	c GLOBAL bounds - >= 0 @ 1860.69
1888.89/1894.50	c GLOBAL bounds - >= 0 @ 1865.87
1934.87/1940.61	c #Conflicts:     177000 | #Constraints:      18484
1934.87/1940.61	c #Conflicts:     178000 | #Constraints:      19484
1934.87/1940.61	c #Conflicts:     179000 | #Constraints:      20484
1934.87/1940.61	c #Conflicts:     180000 | #Constraints:      21484
1934.87/1940.61	c INPROCESSING
1934.87/1940.61	c GARBAGE COLLECT
1934.87/1940.61	c GLOBAL bounds - >= 0 @ 1911.21
2208.44/2214.96	c #Conflicts:     181000 | #Constraints:      14086
2208.44/2214.96	c #Conflicts:     182000 | #Constraints:      15086
2208.44/2214.96	c #Conflicts:     183000 | #Constraints:      16086
2208.44/2214.96	c #Conflicts:     184000 | #Constraints:      17086
2208.44/2214.96	c #Conflicts:     185000 | #Constraints:      18086
2208.44/2214.96	c #Conflicts:     186000 | #Constraints:      19086
2208.44/2214.96	c #Conflicts:     187000 | #Constraints:      20086
2208.44/2214.96	c #Conflicts:     188000 | #Constraints:      21086
2208.44/2214.96	c #Conflicts:     189000 | #Constraints:      22086
2208.44/2214.96	c INPROCESSING
2208.44/2214.96	c GARBAGE COLLECT
2208.44/2214.96	c #Conflicts:     190000 | #Constraints:      14494
2208.44/2214.96	c #Conflicts:     191000 | #Constraints:      15494
2208.44/2214.96	c #Conflicts:     192000 | #Constraints:      16494
2208.44/2214.96	c #Conflicts:     193000 | #Constraints:      17494
2208.44/2214.96	c #Conflicts:     194000 | #Constraints:      18494
2208.44/2214.96	c #Conflicts:     195000 | #Constraints:      19494
2208.44/2214.96	c #Conflicts:     196000 | #Constraints:      20494
2208.44/2214.96	c #Conflicts:     197000 | #Constraints:      21494
2208.44/2214.96	c #Conflicts:     198000 | #Constraints:      22494
2208.44/2214.96	c INPROCESSING
2208.44/2214.96	c GARBAGE COLLECT
2208.44/2214.96	c #Conflicts:     199000 | #Constraints:      14700
2208.44/2214.96	c GLOBAL bounds - >= 0 @ 2182.27
2489.50/2496.71	c #Conflicts:     200000 | #Constraints:      15702
2489.50/2496.71	c #Conflicts:     201000 | #Constraints:      16702
2489.50/2496.71	c #Conflicts:     202000 | #Constraints:      17702
2489.50/2496.71	c #Conflicts:     203000 | #Constraints:      18702
2489.50/2496.71	c #Conflicts:     204000 | #Constraints:      19702
2489.50/2496.71	c #Conflicts:     205000 | #Constraints:      20702
2489.50/2496.71	c #Conflicts:     206000 | #Constraints:      21702
2489.50/2496.71	c #Conflicts:     207000 | #Constraints:      22702
2489.50/2496.71	c INPROCESSING
2489.50/2496.71	c GARBAGE COLLECT
2489.50/2496.71	c #Conflicts:     208000 | #Constraints:      14703
2489.50/2496.71	c #Conflicts:     209000 | #Constraints:      15703
2489.50/2496.71	c #Conflicts:     210000 | #Constraints:      16703
2489.50/2496.71	c #Conflicts:     211000 | #Constraints:      17703
2489.50/2496.71	c #Conflicts:     212000 | #Constraints:      18703
2489.50/2496.71	c #Conflicts:     213000 | #Constraints:      19703
2489.50/2496.71	c #Conflicts:     214000 | #Constraints:      20703
2489.50/2496.71	c #Conflicts:     215000 | #Constraints:      21703
2489.50/2496.71	c #Conflicts:     216000 | #Constraints:      22703
2489.50/2496.71	c INPROCESSING
2489.50/2496.71	c GARBAGE COLLECT
2489.50/2496.71	c #Conflicts:     217000 | #Constraints:      14509
2489.50/2496.71	c #Conflicts:     218000 | #Constraints:      15509
2489.50/2496.71	c GLOBAL bounds - >= 0 @ 2461.08
2767.56/2775.58	c #Conflicts:     219000 | #Constraints:      16511
2767.56/2775.58	c #Conflicts:     220000 | #Constraints:      17511
2767.56/2775.58	c #Conflicts:     221000 | #Constraints:      18511
2767.56/2775.58	c #Conflicts:     222000 | #Constraints:      19511
2767.56/2775.58	c #Conflicts:     223000 | #Constraints:      20511
2767.56/2775.58	c #Conflicts:     224000 | #Constraints:      21511
2767.56/2775.58	c #Conflicts:     225000 | #Constraints:      22511
2767.56/2775.58	c #Conflicts:     226000 | #Constraints:      23511
2767.56/2775.58	c INPROCESSING
2767.56/2775.58	c GARBAGE COLLECT
2767.56/2775.58	c #Conflicts:     227000 | #Constraints:      15116
2767.56/2775.58	c #Conflicts:     228000 | #Constraints:      16116
2767.56/2775.58	c #Conflicts:     229000 | #Constraints:      17116
2767.56/2775.58	c #Conflicts:     230000 | #Constraints:      18116
2767.56/2775.58	c #Conflicts:     231000 | #Constraints:      19116
2767.56/2775.58	c #Conflicts:     232000 | #Constraints:      20116
2767.56/2775.58	c #Conflicts:     233000 | #Constraints:      21116
2767.56/2775.58	c GLOBAL bounds - >= 0 @ 2736.89
2805.07/2813.11	c #Conflicts:     234000 | #Constraints:      22118
2805.07/2813.11	c #Conflicts:     235000 | #Constraints:      23118
2805.07/2813.11	c #Conflicts:     236000 | #Constraints:      24118
2805.07/2813.11	c INPROCESSING
2805.07/2813.11	c GARBAGE COLLECT
2805.07/2813.11	c GLOBAL bounds - >= 0 @ 2773.92
2806.76/2814.81	c GLOBAL bounds - >= 0 @ 2775.58
2810.45/2818.50	c #Conflicts:     237000 | #Constraints:      15509
2810.45/2818.50	c GLOBAL bounds - >= 0 @ 2779.2
2813.64/2821.74	c GLOBAL bounds - >= 0 @ 2782.4
2843.47/2851.60	c #Conflicts:     238000 | #Constraints:      16513
2843.47/2851.60	c #Conflicts:     239000 | #Constraints:      17513
2843.47/2851.60	c #Conflicts:     240000 | #Constraints:      18513
2843.47/2851.60	c GLOBAL bounds - >= 0 @ 2811.88
2871.99/2880.20	c #Conflicts:     241000 | #Constraints:      19515
2871.99/2880.20	c #Conflicts:     242000 | #Constraints:      20515
2871.99/2880.20	c GLOBAL bounds - >= 0 @ 2840.11
2892.33/2900.64	c #Conflicts:     243000 | #Constraints:      21517
2892.33/2900.64	c #Conflicts:     244000 | #Constraints:      22517
2892.33/2900.64	c GLOBAL bounds - >= 0 @ 2860.24
2895.43/2903.72	c GLOBAL bounds - >= 0 @ 2863.26
2902.82/2911.16	c #Conflicts:     245000 | #Constraints:      23521
2902.82/2911.16	c GLOBAL bounds - >= 0 @ 2870.5
2905.01/2913.31	c GLOBAL bounds - >= 0 @ 2872.63
2906.60/2914.99	c GLOBAL bounds - >= 0 @ 2874.28
3007.13/3015.79	c #Conflicts:     246000 | #Constraints:      24527
3007.13/3015.79	c INPROCESSING
3007.13/3015.79	c GARBAGE COLLECT
3007.13/3015.79	c #Conflicts:     247000 | #Constraints:      15691
3007.13/3015.79	c #Conflicts:     248000 | #Constraints:      16691
3007.13/3015.79	c #Conflicts:     249000 | #Constraints:      17691
3007.13/3015.79	c #Conflicts:     250000 | #Constraints:      18691
3007.13/3015.79	c #Conflicts:     251000 | #Constraints:      19691
3007.13/3015.79	c #Conflicts:     252000 | #Constraints:      20691
3007.13/3015.79	c GLOBAL bounds - >= 0 @ 2973.97
3008.83/3017.41	c GLOBAL bounds - >= 0 @ 2975.54
3055.71/3064.41	c #Conflicts:     253000 | #Constraints:      21695
3055.71/3064.41	c #Conflicts:     254000 | #Constraints:      22695
3055.71/3064.41	c #Conflicts:     255000 | #Constraints:      23695
3055.71/3064.41	c GLOBAL bounds - >= 0 @ 3021.75
3103.28/3112.14	c #Conflicts:     256000 | #Constraints:      24697
3103.28/3112.14	c INPROCESSING
3103.28/3112.14	c GARBAGE COLLECT
3103.28/3112.14	c #Conflicts:     257000 | #Constraints:      15688
3103.28/3112.14	c #Conflicts:     258000 | #Constraints:      16688
3103.28/3112.14	c #Conflicts:     259000 | #Constraints:      17688
3103.28/3112.14	c GLOBAL bounds - >= 0 @ 3068.82
3141.68/3150.65	c #Conflicts:     260000 | #Constraints:      18690
3141.68/3150.65	c #Conflicts:     261000 | #Constraints:      19690
3141.68/3150.65	c #Conflicts:     262000 | #Constraints:      20690
3141.68/3150.65	c GLOBAL bounds - >= 0 @ 3106.76
3146.97/3155.94	c #Conflicts:     263000 | #Constraints:      21692
3146.97/3155.94	c GLOBAL bounds - >= 0 @ 3111.94
3168.31/3177.32	c #Conflicts:     264000 | #Constraints:      22694
3168.31/3177.32	c #Conflicts:     265000 | #Constraints:      23694
3168.31/3177.32	c GLOBAL bounds - >= 0 @ 3133.05
3168.70/3177.79	c GLOBAL bounds - >= 0 @ 3133.51
3228.55/3237.71	c #Conflicts:     266000 | #Constraints:      24698
3228.55/3237.71	c INPROCESSING
3228.55/3237.71	c GARBAGE COLLECT
3228.55/3237.71	c #Conflicts:     267000 | #Constraints:      15519
3228.55/3237.71	c #Conflicts:     268000 | #Constraints:      16519
3228.55/3237.71	c #Conflicts:     269000 | #Constraints:      17519
3228.55/3237.71	c #Conflicts:     270000 | #Constraints:      18519
3228.55/3237.71	c #Conflicts:     271000 | #Constraints:      19519
3228.55/3237.71	c GLOBAL bounds - >= 0 @ 3192.74
3425.72/3435.42	c #Conflicts:     272000 | #Constraints:      20521
3425.72/3435.42	c #Conflicts:     273000 | #Constraints:      21521
3425.72/3435.42	c #Conflicts:     274000 | #Constraints:      22521
3425.72/3435.42	c #Conflicts:     275000 | #Constraints:      23521
3425.72/3435.42	c #Conflicts:     276000 | #Constraints:      24521
3425.72/3435.42	c #Conflicts:     277000 | #Constraints:      25521
3425.72/3435.42	c INPROCESSING
3425.72/3435.42	c GARBAGE COLLECT
3425.72/3435.42	c #Conflicts:     278000 | #Constraints:      16136
3425.72/3435.42	c #Conflicts:     279000 | #Constraints:      17136
3425.72/3435.42	c #Conflicts:     280000 | #Constraints:      18136
3425.72/3435.42	c #Conflicts:     281000 | #Constraints:      19136
3425.72/3435.42	c #Conflicts:     282000 | #Constraints:      20136
3425.72/3435.42	c #Conflicts:     283000 | #Constraints:      21136
3425.72/3435.42	c #Conflicts:     284000 | #Constraints:      22136
3425.72/3435.42	c GLOBAL bounds - >= 0 @ 3388.22
3596.27/3606.41	c #Conflicts:     285000 | #Constraints:      23138
3596.27/3606.41	c #Conflicts:     286000 | #Constraints:      24138
3596.27/3606.41	c #Conflicts:     287000 | #Constraints:      25138
3596.27/3606.41	c #Conflicts:     288000 | #Constraints:      26138
3596.27/3606.41	c INPROCESSING
3596.27/3606.41	c GARBAGE COLLECT
3596.27/3606.41	c #Conflicts:     289000 | #Constraints:      16556
3596.27/3606.41	c #Conflicts:     290000 | #Constraints:      17556
3596.27/3606.41	c #Conflicts:     291000 | #Constraints:      18556
3596.27/3606.41	c #Conflicts:     292000 | #Constraints:      19556
3596.27/3606.41	c #Conflicts:     293000 | #Constraints:      20556
3596.27/3606.41	c #Conflicts:     294000 | #Constraints:      21556
3596.27/3606.41	c GLOBAL bounds - >= 0 @ 3557.5
3600.07/3610.23	c #Conflicts:     295000 | #Constraints:      22558
3600.07/3610.23	c cpu time 3561.25 s
3600.07/3610.23	c deterministic time 15 1.50e+01
3600.07/3610.23	c optimization time 3561.17 s
3600.07/3610.23	c total solve time 0 s
3600.07/3610.23	c core-guided solve time 0 s
3600.07/3610.23	c propagation time 0.001885 s
3600.07/3610.23	c conflict analysis time 0 s
3600.07/3610.23	c propagations 14
3600.07/3610.23	c resolve steps 0
3600.07/3610.23	c decisions 0
3600.07/3610.23	c conflicts 0
3600.07/3610.23	c restarts 0
3600.07/3610.23	c inprocessing phases 0
3600.07/3610.23	c garbage collections 0 ,( -nan )
3600.07/3610.23	c input clauses 4257 ,( 99.98 )
3600.07/3610.23	c input cardinalities 1 ,( 0.02 )
3600.07/3610.23	c input general constraints 0 ,( 0.00 )
3600.07/3610.23	c input average constraint length 52.09
3600.07/3610.23	c input average constraint degree 2.53
3600.07/3610.23	c learned clauses 0 ,( 0.00 )
3600.07/3610.23	c learned cardinalities 0 ,( 0.00 )
3600.07/3610.23	c learned general constraints 0 ,( 0.00 )
3600.07/3610.23	c learned average constraint length 0.00
3600.07/3610.23	c learned average constraint degree 0.00
3600.07/3610.23	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3610.23	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.07/3610.23	c watched   constraints 0 ,( -nan ) 
3600.07/3610.23	c counting  constraints 0 ,( -nan ) 
3600.07/3610.23	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.07/3610.23	c gcd simplifications 0
3600.07/3610.23	c detected cardinalities 0
3600.07/3610.23	c weakened non-implied lits 0
3600.07/3610.23	c weakened non-implying lits 0
3600.07/3610.23	c original variables 21705
3600.07/3610.23	c clausal propagations 0
3600.07/3610.23	c cardinality propagations 0
3600.07/3610.23	c watched propagations 0
3600.07/3610.23	c counting propagations 0
3600.07/3610.23	c watch lookups 0
3600.07/3610.23	c watch backjump lookups 0
3600.07/3610.23	c watch checks 0
3600.07/3610.23	c propagation checks 0
3600.07/3610.23	c constraint additions 0
3600.07/3610.23	c trail pops 0
3600.07/3610.23	c formula constraints 4258
3600.07/3610.23	c learned constraints 0
3600.07/3610.23	c bound constraints 0
3600.07/3610.23	c core-guided constraints 0
3600.07/3610.23	c encountered formula constraints 0
3600.07/3610.23	c encountered learned constraints 0
3600.07/3610.23	c encountered bound constraints 0
3600.07/3610.23	c encountered core-guided constraints 0
3600.07/3610.23	c LP total time 0 s
3600.07/3610.23	c LP solve time 0 s
3600.07/3610.23	c LP constraints added 0
3600.07/3610.23	c LP constraints removed 0
3600.07/3610.23	c LP pivots internal 0
3600.07/3610.23	c LP pivots root 0
3600.07/3610.23	c LP calls 0
3600.07/3610.23	c LP optimalities 0
3600.07/3610.23	c LP no pivot count 0
3600.07/3610.23	c LP infeasibilities 0
3600.07/3610.23	c LP valid Farkas constraints 0
3600.07/3610.23	c LP learned Farkas constraints 0
3600.07/3610.23	c LP basis resets 0
3600.07/3610.23	c LP cycling count 0
3600.07/3610.23	c LP singular count 0
3600.07/3610.23	c LP no primal count 0
3600.07/3610.23	c LP no farkas count 0
3600.07/3610.23	c LP other issue count 0
3600.07/3610.23	c LP Gomory cuts 0
3600.07/3610.23	c LP learned cuts 0
3600.07/3610.23	c LP deleted cuts 0
3600.07/3610.23	c LP encountered Gomory constraints 0
3600.07/3610.23	c LP encountered Farkas constraints 0
3600.07/3610.23	c LP encountered learned Farkas constraints 0
3600.07/3610.23	c CG auxiliary variables introduced 0
3600.07/3610.23	c CG solutions found 0
3600.07/3610.23	c CG cores constructed 0
3600.07/3610.23	c CG core cardinality constraints returned 0
3600.07/3610.23	c CG unit cores 0
3600.07/3610.23	c CG single cores 0
3600.07/3610.23	c CG blocks removed during cardinality reduction 0
3600.07/3610.23	c CG first core best 0
3600.07/3610.23	c CG decision core best 0
3600.07/3610.23	c CG core reduction tie 0
3600.07/3610.23	c CG core degree average 0.00
3600.07/3610.23	c CG core slack average 0.00
3600.07/3610.23	c CG core upper bound improvements 0
3600.07/3610.23	c STR number of successful calls 0
3600.07/3610.23	c STR number of unsuccessful calls 0
3600.07/3610.23	c STR number of inconclusive calls 0
3600.07/3610.23	c STR number of successful attempts 0
3600.07/3610.23	c STR number of unsuccessful attempts 0
3600.07/3610.23	c STR number of inconclusive attempts 0
3600.07/3610.23	c STR average degree increase per successful call inf
3600.07/3610.23	c STR average degree increase per successful attempt inf
3600.07/3610.23	c STR total number of conflicts for successful attempts 0
3600.07/3610.23	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3610.23	c STR total number of conflicts for inconclusive attempts 0
3600.07/3610.23	c STR average number of conflicts per successful attempt inf
3600.07/3610.23	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3610.23	c STR average number of conflicts per inconclusive attempt inf
3600.07/3610.23	c AVG.sumWPerc -nan 
3600.07/3610.23	c bigint constraints 0 
3600.07/3610.23	s UNKNOWN
3600.07/3610.23	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (26197 MiB free)
  memory of node 1: 64465 MiB (24267 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=41482, runsolver pid=41479

[startup+0.100062 s]*
/proc/loadavg: 4.07 4.10 4.11 2/271 41484
/proc/meminfo: memFree=51664532/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=50796 memory=7552 CPUtime=0 cores=1,3
/proc/41484/stat : 41484 (roundingsat) D 41482 41482 40729 0 -1 4456448 301 0 0 0 0 0 0 0 20 0 1 0 46830408 52015104 1888 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB

[startup+0.205433 s]*
/proc/loadavg: 4.07 4.10 4.11 2/271 41484
/proc/meminfo: memFree=51664532/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=50796 memory=7552 CPUtime=0 cores=1,3
/proc/41484/stat : 41484 (roundingsat) D 41482 41482 40729 0 -1 4456448 301 0 0 0 0 0 0 0 20 0 1 0 46830408 52015104 1888 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB

[startup+0.304656 s]*
/proc/loadavg: 4.07 4.10 4.11 2/271 41484
/proc/meminfo: memFree=51656468/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=50796 memory=7552 CPUtime=0 cores=1,3
/proc/41484/stat : 41484 (roundingsat) D 41482 41482 40729 0 -1 4456448 301 0 0 0 0 0 0 0 20 0 1 0 46830408 52015104 1888 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB

[startup+0.700194 s]
/proc/loadavg: 4.07 4.10 4.11 3/271 41484
/proc/meminfo: memFree=51652684/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=95012 memory=49112 CPUtime=0.25 cores=1,3
/proc/41484/stat : 41484 (roundingsat) R 41482 41482 40729 0 -1 4194304 10256 0 0 0 21 4 0 0 20 0 1 0 46830408 97292288 12278 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 23753 12278 2336 1147 0 11180 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 99204 KiB
Current children cumulated memory: 52056 KiB

[startup+1.50019 s]
/proc/loadavg: 4.07 4.10 4.11 5/270 41492
/proc/meminfo: memFree=55136568/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=185128 memory=134924 CPUtime=1.05 cores=1,3
/proc/41484/stat : 41484 (roundingsat) R 41482 41482 40729 0 -1 4194304 27572 0 0 0 94 11 0 0 20 0 1 0 46830408 189571072 33731 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 46282 33731 2368 1147 0 33709 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 189320 KiB
Current children cumulated memory: 137868 KiB

[startup+3.10547 s]
/proc/loadavg: 4.07 4.10 4.11 4/266 41510
/proc/meminfo: memFree=54885396/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=318280 memory=255416 CPUtime=2.64 cores=1,3
/proc/41484/stat : 41484 (roundingsat) R 41482 41482 40729 0 -1 4194304 49545 0 0 0 239 25 0 0 20 0 1 0 46830408 325918720 63854 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 79570 63854 2368 1147 0 66997 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 322472 KiB
Current children cumulated memory: 258360 KiB

[startup+6.30018 s]
/proc/loadavg: 4.07 4.10 4.11 5/271 41530
/proc/meminfo: memFree=68063048/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=665932 memory=547100 CPUtime=5.83 cores=1,3
/proc/41484/stat : 41484 (roundingsat) R 41482 41482 40729 0 -1 4194304 103077 0 0 0 530 53 0 0 20 0 1 0 46830408 681914368 136775 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 166483 136775 2368 1147 0 153910 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 670124 KiB
Current children cumulated memory: 550044 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.10 4.11 5/273 41576
/proc/meminfo: memFree=127677624/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=1172672 memory=1052448 CPUtime=12.22 cores=1,3
/proc/41484/stat : 41484 (roundingsat) R 41482 41482 40729 0 -1 4194304 193160 0 0 0 1126 96 0 0 20 0 1 0 46830408 1200816128 263112 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 293168 263112 2368 1147 0 280595 0
Current children cumulated CPU time: 12.22 s
Current children cumulated vsize: 1176864 KiB
Current children cumulated memory: 1055392 KiB

[startup+25.5002 s]
/proc/loadavg: 4.05 4.09 4.11 5/273 41576
/proc/meminfo: memFree=125999700/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=1922056 memory=1509852 CPUtime=24.98 cores=1,3
/proc/41484/stat : 41484 (roundingsat) R 41482 41482 40729 0 -1 4194304 289601 0 0 0 2354 144 0 0 20 0 1 0 46830408 1968185344 377463 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 480514 377463 2368 1147 0 467941 0
Current children cumulated CPU time: 24.98 s
Current children cumulated vsize: 1926248 KiB
Current children cumulated memory: 1512796 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.10 4.11 5/273 41576
/proc/meminfo: memFree=123738452/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=2476840 memory=2029100 CPUtime=50.52 cores=1,3
/proc/41484/stat : 41484 (roundingsat) R 41482 41482 40729 0 -1 4194304 369339 0 0 0 4830 222 0 0 20 0 1 0 46830408 2536284160 507275 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 619210 507275 2368 1147 0 606637 0
Current children cumulated CPU time: 50.52 s
Current children cumulated vsize: 2481032 KiB
Current children cumulated memory: 2032044 KiB

[startup+102.3 s]
/proc/loadavg: 4.37 4.19 4.14 5/272 41578
/proc/meminfo: memFree=120265820/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=3570924 memory=3031576 CPUtime=101.55 cores=1,3
/proc/41484/stat : 41484 (roundingsat) R 41482 41482 40729 0 -1 4194304 568922 0 0 0 9803 352 0 0 20 0 1 0 46830408 3656626176 757894 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 892731 757894 2368 1147 0 880158 0
Current children cumulated CPU time: 101.55 s
Current children cumulated vsize: 3575116 KiB
Current children cumulated memory: 3034520 KiB

[startup+162.3 s]
/proc/loadavg: 4.39 4.22 4.15 5/272 41581
/proc/meminfo: memFree=116769768/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=3609228 memory=3237644 CPUtime=161.38 cores=1,3
/proc/41484/stat : 41484 (roundingsat) R 41482 41482 40729 0 -1 4194304 601536 0 0 0 15685 453 0 0 20 0 1 0 46830408 3695849472 809411 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 902307 809411 2368 1147 0 889734 0
Current children cumulated CPU time: 161.38 s
Current children cumulated vsize: 3613420 KiB
Current children cumulated memory: 3240588 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.19 4.15 5/272 41583
/proc/meminfo: memFree=113358208/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=4182008 memory=3488900 CPUtime=221.19 cores=1,3
/proc/41484/stat : 41484 (roundingsat) R 41482 41482 40729 0 -1 4194304 631781 0 0 0 21544 575 0 0 20 0 1 0 46830408 4282376192 872225 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0

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

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/276 41760
/proc/meminfo: memFree=866164/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=13646436 memory=10328812 CPUtime=3273.03 cores=1,3
/proc/41484/stat : 41484 (roundingsat) R 41482 41482 40729 0 -1 4194304 2048898 0 0 0 323691 3612 0 0 20 0 1 0 46830408 13973950464 2582203 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 3411609 2582203 2368 1147 0 3399036 0
Current children cumulated CPU time: 3273.03 s
Current children cumulated vsize: 13650628 KiB
Current children cumulated memory: 10331756 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/274 41764
/proc/meminfo: memFree=865880/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=13686888 memory=10360300 CPUtime=3332.87 cores=1,3
/proc/41484/stat : 41484 (roundingsat) R 41482 41482 40729 0 -1 4194304 2063294 0 0 0 329626 3661 0 0 20 0 1 0 46830408 14015373312 2590075 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 3421722 2590075 2368 1147 0 3409149 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 13691080 KiB
Current children cumulated memory: 10363244 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/274 41766
/proc/meminfo: memFree=994784/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=13686888 memory=10360940 CPUtime=3392.71 cores=1,3
/proc/41484/stat : 41484 (roundingsat) R 41482 41482 40729 0 -1 4194304 2063669 0 0 0 335550 3721 0 0 20 0 1 0 46830408 14015373312 2590235 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 3421722 2590235 2368 1147 0 3409149 0
Current children cumulated CPU time: 3392.71 s
Current children cumulated vsize: 13691080 KiB
Current children cumulated memory: 10363884 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.11 5/273 41768
/proc/meminfo: memFree=781308/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=13789288 memory=10436844 CPUtime=3452.55 cores=1,3
/proc/41484/stat : 41484 (roundingsat) R 41482 41482 40729 0 -1 4194304 2086916 0 0 0 341483 3772 0 0 20 0 1 0 46830408 14120230912 2609211 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 3447322 2609211 2368 1147 0 3434749 0
Current children cumulated CPU time: 3452.55 s
Current children cumulated vsize: 13793480 KiB
Current children cumulated memory: 10439788 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.13 4.12 5/275 41778
/proc/meminfo: memFree=885860/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=13789288 memory=10525292 CPUtime=3512.4 cores=1,3
/proc/41484/stat : 41484 (roundingsat) R 41482 41482 40729 0 -1 4194304 2130032 0 0 0 347413 3827 0 0 20 0 1 0 46830408 14120230912 2631323 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 3447322 2631323 2368 1147 0 3434749 0
Current children cumulated CPU time: 3512.4 s
Current children cumulated vsize: 13793480 KiB
Current children cumulated memory: 10528236 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.14 4.12 5/275 41780
/proc/meminfo: memFree=921776/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=13789288 memory=10525292 CPUtime=3572.24 cores=1,3
/proc/41484/stat : 41484 (roundingsat) R 41482 41482 40729 0 -1 4194304 2130351 0 0 0 353359 3865 0 0 20 0 1 0 46830408 14120230912 2631323 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 3447322 2631323 2368 1147 0 3434749 0
Current children cumulated CPU time: 3572.24 s
Current children cumulated vsize: 13793480 KiB
Current children cumulated memory: 10528236 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.20 4.14 4.12 4/273 41780
/proc/meminfo: memFree=865756/131249996 swapFree=33010416/33010684
[pid=41482] ppid=41479 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/41482/stat : 41482 (run-opt-log.sh) S 41479 41482 40729 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 46830407 4292608 736 18446744073709551615 94535771942912 94535772837445 140724823147616 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94535773076496 94535773124240 94535785910272 140724823152929 140724823153124 140724823153124 140724823158726 0
/proc/41482/statm: 1048 736 672 219 0 110 0
[pid=41484] ppid=41482 vsize=13789288 memory=10525420 CPUtime=3600.07 cores=1,3
/proc/41484/stat : 41484 (roundingsat) R 41482 41482 40729 0 -1 4194304 2130798 0 0 0 356125 3882 0 0 20 0 1 0 46830408 14120230912 2631355 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 3447322 2631355 2368 1147 0 3434749 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 13793480 KiB
Current children cumulated memory: 10528364 KiB

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

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.002378 s

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

[startup+0 s]*
/proc/loadavg: 4.19 4.14 4.12 3/272 41780
/proc/meminfo: memFree=780056/131249996 swapFree=33010416/33010684
[pid=41484] ppid=41479 vsize=13789288 memory=10525676 CPUtime=3600.08 cores=1,3
/proc/41484/stat : 41484 (roundingsat) D 41479 41482 40729 0 -1 4194304 2130801 0 1 0 356125 3883 0 0 20 0 1 0 46830408 14120230912 2631419 18446744073709551615 4227072 8923433 140722937271456 0 0 256 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 9
/proc/41484/statm: 3447322 2631419 2432 1147 0 3434749 0
??? kill 41484 sig 9
??? end of watcher thread

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

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

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

[startup+3611.2 s]
/proc/loadavg: 4.19 4.14 4.12 3/272 41780
/proc/meminfo: memFree=808584/131249996 swapFree=33010416/33010684
[pid=41484] ppid=41479 vsize=13789288 memory=10525676 CPUtime=3600.08 cores=1,3
/proc/41484/stat : 41484 (roundingsat) D 41479 41482 40729 0 -1 4194304 2130801 0 1 0 356125 3883 0 0 20 0 1 0 46830408 14120230912 2631419 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 3447322 2631419 2432 1147 0 3434749 0
Current cumulated CPU time of completed processes: 0.002378 s
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 13789288 KiB
Current children cumulated memory: 10525676 KiB

[startup+3612 s]*
/proc/loadavg: 4.19 4.14 4.12 3/272 41780
/proc/meminfo: memFree=784152/131249996 swapFree=33010416/33010684
[pid=41484] ppid=41479 vsize=13789288 memory=10525676 CPUtime=3600.08 cores=1,3
/proc/41484/stat : 41484 (roundingsat) D 41479 41482 40729 0 -1 4194304 2130801 0 1 0 356125 3883 0 0 20 0 1 0 46830408 14120230912 2631419 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 3447322 2631419 2432 1147 0 3434749 0
Current cumulated CPU time of completed processes: 0.002378 s
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 13789288 KiB
Current children cumulated memory: 10525676 KiB

[startup+3612.2 s]
/proc/loadavg: 4.19 4.14 4.12 3/272 41780
/proc/meminfo: memFree=784152/131249996 swapFree=33010416/33010684
[pid=41484] ppid=41479 vsize=13789288 memory=10525676 CPUtime=3600.08 cores=1,3
/proc/41484/stat : 41484 (roundingsat) D 41479 41482 40729 0 -1 4194304 2130801 0 1 0 356125 3883 0 0 20 0 1 0 46830408 14120230912 2631419 18446744073709551615 4227072 8923433 140722937271456 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 24694784 140722937276754 140722937276968 140722937276968 140722937282538 0
/proc/41484/statm: 3447322 2631419 2432 1147 0 3434749 0
Current cumulated CPU time of completed processes: 0.002378 s
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 13789288 KiB
Current children cumulated memory: 10525676 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3616.26
CPU time (s): 3600.34
CPU user time (s): 3561.25
CPU system time (s): 39.0872
CPU usage (%): 99.5597
Max. virtual memory (cumulated for all children) (KiB): 13793480
Max. memory (cumulated for all children) (KiB): 10528364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.25
system time used= 39.0872
maximum resident set size= 10525676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2131010
page faults= 1
swaps= 0
block input operations= 4168
block output operations= 61666880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3442
involuntary context switches= 8090


# summary of solver processes directly reported to runsolver:
#   pid: 41482,41484
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3561.25
#   total CPU system time (s): 39.0872

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.62716 second user time and 16.2536 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-06-30 21:25:29
IDJOB=4485551
IDBENCH=146800
IDSOLVER=3351
FILE ID=nodeC015/4485551-1751311529
RUNJOBID= nodeC015-1751304294-40741
SLURM_JOB_ID= 9594299
Free space on /tmp= 432984 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485551-1751311529/watcher-4485551-1751311529 -o /tmp/evaluation-result-4485551-1751311529/solver-4485551-1751311529 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751304294-40741 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4485551-1751311529.opb PROOFDIR/proof-4485551-1751311529

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

MD5SUM BENCH= 9634c234ec2c2f6b5ee1ba365a629db0
RANDOM SEED=1718330732

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        51676588 kB
MemAvailable:   123525580 kB
Buffers:            2128 kB
Cached:         72509464 kB
SwapCached:           24 kB
Active:          6147392 kB
Inactive:       72195824 kB
Active(anon):    5829644 kB
Inactive(anon):    20084 kB
Active(file):     317748 kB
Inactive(file): 72175740 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            134232 kB
Writeback:      10281628 kB
AnonPages:       5832708 kB
Mapped:           117672 kB
Shmem:             18052 kB
KReclaimable:     389484 kB
Slab:             842560 kB
SReclaimable:     389484 kB
SUnreclaim:       453076 kB
KernelStack:        4384 kB
PageTables:        15256 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6940248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150680 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1003520 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432980 MiB
End job on nodeC015 at 2025-06-30 22:25:46