Trace number 4504389

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.91 3616.38

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_5_mh.opb
MD5SUMf52c25e5aa8e0a6173f9b1fa92936824
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 benchmark3486983
Best CPU time to get the best result obtained on this benchmark70102.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables250200
Total number of constraints605407
Number of constraints which are clauses477850
Number of constraints which are cardinality constraints (but not clauses)57
Number of constraints which are nor clauses,nor cardinality constraints127500
Minimum length of a constraint2
Maximum length of a constraint3725
Number of terms in the objective function 129800
Biggest coefficient in the objective function 170953875
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 73955175696
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 170953875
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 73955175696
Number of bits of the biggest sum of numbers37
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
4.24/4.30	c #variables 250200 #constraints 610311
4.24/4.30	c objective is ce32 
5.13/5.21	c initial watched  CF 32, 64, 128, Arb: 50 , 0 , 0 , 0
5.13/5.21	c initial counting CF 32, 64, 128, Arb: 121326 , 0 , 0 , 0
5.13/5.21	c GLOBAL bounds - >= -50 @ 4.04283
5.44/5.53	c GLOBAL bounds - >= -50 @ 4.21041
5.74/5.86	c GLOBAL bounds - >= -50 @ 4.46666
6.24/6.33	c GLOBAL bounds - >= -50 @ 4.86163
6.53/6.66	c GLOBAL bounds - >= -50 @ 5.10715
6.83/6.96	c GLOBAL bounds - >= -50 @ 5.32897
7.23/7.37	c GLOBAL bounds - >= -50 @ 5.65016
7.63/7.70	c GLOBAL bounds - >= -50 @ 5.89733
7.82/8.01	c GLOBAL bounds - >= -50 @ 6.12332
8.22/8.31	c GLOBAL bounds - >= -50 @ 6.3357
8.62/8.79	c GLOBAL bounds - >= -50 @ 6.72653
9.63/9.70	c GLOBAL bounds - >= -50 @ 7.53807
9.93/10.05	c GLOBAL bounds - >= -50 @ 7.81681
10.32/10.42	c GLOBAL bounds - >= -50 @ 8.09049
10.82/10.91	c GLOBAL bounds - >= -50 @ 8.48834
11.22/11.30	c GLOBAL bounds - >= -50 @ 8.79449
11.52/11.66	c GLOBAL bounds - >= -50 @ 9.06504
11.93/12.04	c GLOBAL bounds - >= -50 @ 9.35331
12.31/12.48	c GLOBAL bounds - >= -50 @ 9.70788
12.82/12.98	c GLOBAL bounds - >= -50 @ 10.1119
13.72/13.87	c GLOBAL bounds - >= -50 @ 10.9027
19.30/19.42	c GLOBAL bounds - >= -50 @ 16.231
19.80/19.94	c GLOBAL bounds - >= -50 @ 16.671
20.20/20.34	c GLOBAL bounds - >= -50 @ 16.9813
20.70/20.87	c GLOBAL bounds - >= -50 @ 17.4226
21.79/21.99	c GLOBAL bounds - >= -50 @ 18.4571
22.38/22.54	c GLOBAL bounds - >= -50 @ 18.8943
22.79/22.98	c GLOBAL bounds - >= -50 @ 19.2301
23.28/23.40	c GLOBAL bounds - >= -50 @ 19.5545
23.78/23.93	c GLOBAL bounds - >= -50 @ 19.9899
24.28/24.43	c GLOBAL bounds - >= -50 @ 20.4037
25.38/25.57	c GLOBAL bounds - >= -50 @ 21.3879
27.88/28.02	c GLOBAL bounds - >= -50 @ 23.6472
30.26/30.44	c GLOBAL bounds - >= -50 @ 25.8575
31.46/31.61	c GLOBAL bounds - >= -50 @ 26.8509
32.65/32.83	c GLOBAL bounds - >= -50 @ 27.8755
33.25/33.46	c GLOBAL bounds - >= 34795 @ 28.4924
35.74/35.91	c GLOBAL bounds - >= 34795 @ 30.8277
35.74/35.95	c GLOBAL bounds - >= 34795 @ 30.8479
36.25/36.40	c GLOBAL bounds - >= 34795 @ 31.1396
36.34/36.51	c GLOBAL bounds - >= 34795 @ 31.2122
36.86/37.08	c GLOBAL bounds - >= 34795 @ 31.6091
36.95/37.18	c GLOBAL bounds - >= 34795 @ 31.6787
37.54/37.73	c GLOBAL bounds - >= 34795 @ 32.0678
37.64/37.84	c GLOBAL bounds - >= 34795 @ 32.1401
38.13/38.39	c GLOBAL bounds - >= 34795 @ 32.5293
38.34/38.50	c GLOBAL bounds - >= 34795 @ 32.6017
38.73/38.93	c GLOBAL bounds - >= 34795 @ 32.8994
38.85/39.04	c GLOBAL bounds - >= 34795 @ 32.965
39.23/39.47	c GLOBAL bounds - >= 34795 @ 33.2785
39.33/39.57	c GLOBAL bounds - >= 34795 @ 33.346
39.73/39.91	c GLOBAL bounds - >= 34795 @ 33.5526
39.85/40.01	c GLOBAL bounds - >= 34795 @ 33.6161
40.23/40.43	c GLOBAL bounds - >= 34795 @ 33.9114
40.33/40.54	c GLOBAL bounds - >= 34795 @ 33.9698
40.73/40.95	c GLOBAL bounds - >= 34795 @ 34.2575
40.85/41.07	c GLOBAL bounds - >= 34795 @ 34.3302
41.12/41.36	c GLOBAL bounds - >= 34795 @ 34.5222
41.43/41.65	c GLOBAL bounds - >= 34795 @ 34.7181
41.73/41.95	c GLOBAL bounds - >= 34795 @ 34.9022
42.03/42.25	c GLOBAL bounds - >= 34795 @ 35.097
42.32/42.56	c GLOBAL bounds - >= 34795 @ 35.3042
42.63/42.86	c GLOBAL bounds - >= 34795 @ 35.5154
43.12/43.36	c GLOBAL bounds - >= 34795 @ 35.9075
43.62/43.80	c GLOBAL bounds - >= 34795 @ 36.2437
44.02/44.26	c GLOBAL bounds - >= 34795 @ 36.5735
44.52/44.77	c GLOBAL bounds - >= 34795 @ 36.9421
45.21/45.47	c GLOBAL bounds - >= 34795 @ 37.5037
46.61/46.81	c GLOBAL bounds - >= 34795 @ 38.6773
47.71/47.95	c GLOBAL bounds - >= 34795 @ 39.638
53.10/53.31	c GLOBAL bounds - >= 34795 @ 44.7432
53.69/53.93	c GLOBAL bounds - >= 34795 @ 45.2131
148.59/149.13	c GLOBAL bounds - >= 57693 @ 138.677
148.78/149.33	c GLOBAL bounds - >= 57693 @ 138.87
149.08/149.61	c GLOBAL bounds - >= 57693 @ 139.047
149.08/149.63	c GLOBAL bounds - >= 57693 @ 139.056
149.28/149.83	c GLOBAL bounds - >= 57693 @ 139.152
149.28/149.83	c GLOBAL bounds - >= 57693 @ 139.159
149.59/150.12	c GLOBAL bounds - >= 57693 @ 139.334
149.68/150.23	c GLOBAL bounds - >= 57693 @ 139.414
149.98/150.51	c GLOBAL bounds - >= 57693 @ 139.59
150.08/150.62	c GLOBAL bounds - >= 57693 @ 139.655
150.37/150.90	c GLOBAL bounds - >= 57693 @ 139.827
150.49/151.01	c GLOBAL bounds - >= 57693 @ 139.899
150.68/151.29	c GLOBAL bounds - >= 57693 @ 140.093
150.78/151.39	c GLOBAL bounds - >= 57693 @ 140.153
151.08/151.67	c GLOBAL bounds - >= 57693 @ 140.333
151.17/151.76	c GLOBAL bounds - >= 57693 @ 140.382
151.48/152.04	c GLOBAL bounds - >= 57693 @ 140.553
151.59/152.16	c GLOBAL bounds - >= 57693 @ 140.639
151.87/152.43	c GLOBAL bounds - >= 57693 @ 140.835
151.97/152.55	c GLOBAL bounds - >= 57693 @ 140.905
152.27/152.82	c GLOBAL bounds - >= 57693 @ 141.087
152.59/153.15	c GLOBAL bounds - >= 57693 @ 141.329
152.87/153.49	c GLOBAL bounds - >= 57693 @ 141.581
153.87/154.48	c GLOBAL bounds - >= 57693 @ 142.467
155.17/155.72	c GLOBAL bounds - >= 57693 @ 143.611
157.95/158.58	c GLOBAL bounds - >= 57693 @ 146.28
163.93/164.59	c #Conflicts:       1000 | #Constraints:    2100551
163.93/164.59	c GLOBAL bounds - >= 57693 @ 151.958
164.33/164.95	c GLOBAL bounds - >= 57693 @ 152.221
170.31/170.99	c GLOBAL bounds - >= 57693 @ 157.986
170.92/171.55	c GLOBAL bounds - >= 57693 @ 158.443
174.90/175.58	c GLOBAL bounds - >= 57693 @ 162.298
182.39/183.08	c GLOBAL bounds - >= 57693 @ 169.535
196.83/197.55	c GLOBAL bounds - >= 57693 @ 183.598
197.73/198.47	c GLOBAL bounds - >= 57693 @ 184.413
238.31/239.16	c GLOBAL bounds - >= 57693 @ 224.175
322.31/323.47	c #Conflicts:       2000 | #Constraints:    2195136
322.31/323.47	c INPROCESSING
322.31/323.47	c GARBAGE COLLECT
322.31/323.47	c GLOBAL bounds - >= 94901 @ 307.204
322.62/323.74	c GLOBAL bounds - >= 94901 @ 307.437
323.03/324.15	c GLOBAL bounds - >= 94901 @ 307.688
323.11/324.23	c GLOBAL bounds - >= 94901 @ 307.741
323.41/324.58	c GLOBAL bounds - >= 94901 @ 307.974
323.51/324.61	c GLOBAL bounds - >= 94901 @ 307.991
323.81/324.94	c GLOBAL bounds - >= 94901 @ 308.214
323.92/325.04	c GLOBAL bounds - >= 94901 @ 308.289
324.21/325.31	c GLOBAL bounds - >= 94901 @ 308.464
324.31/325.41	c GLOBAL bounds - >= 94901 @ 308.526
324.51/325.69	c GLOBAL bounds - >= 94901 @ 308.708
324.61/325.80	c GLOBAL bounds - >= 94901 @ 308.777
324.92/326.07	c GLOBAL bounds - >= 94901 @ 308.954
325.02/326.18	c GLOBAL bounds - >= 94901 @ 309.031
325.30/326.45	c GLOBAL bounds - >= 94901 @ 309.211
325.41/326.56	c GLOBAL bounds - >= 94901 @ 309.284
325.60/326.75	c GLOBAL bounds - >= 94901 @ 309.378
325.71/326.86	c GLOBAL bounds - >= 94901 @ 309.442
326.02/327.14	c GLOBAL bounds - >= 94901 @ 309.622
326.11/327.24	c GLOBAL bounds - >= 94901 @ 309.694
326.40/327.52	c GLOBAL bounds - >= 94901 @ 309.879
326.92/328.05	c GLOBAL bounds - >= 94901 @ 310.332
327.41/328.55	c GLOBAL bounds - >= 94901 @ 310.741
328.30/329.43	c GLOBAL bounds - >= 94901 @ 311.533
328.91/330.02	c GLOBAL bounds - >= 94901 @ 312.042
329.60/330.70	c GLOBAL bounds - >= 94901 @ 312.607
332.09/333.25	c GLOBAL bounds - >= 94901 @ 315.058
340.46/341.63	c GLOBAL bounds - >= 94901 @ 323.206
342.06/343.23	c GLOBAL bounds - >= 94901 @ 324.702
342.86/344.02	c GLOBAL bounds - >= 94901 @ 325.399
348.73/349.94	c GLOBAL bounds - >= 94901 @ 331.156
349.63/350.82	c GLOBAL bounds - >= 94901 @ 331.946
353.12/354.32	c GLOBAL bounds - >= 94901 @ 335.313
353.93/355.16	c GLOBAL bounds - >= 94901 @ 336.054
354.62/355.86	c GLOBAL bounds - >= 94901 @ 336.654
357.60/358.84	c GLOBAL bounds - >= 94901 @ 339.504
358.50/359.73	c GLOBAL bounds - >= 94901 @ 340.304
359.50/360.77	c GLOBAL bounds - >= 94901 @ 341.239
360.29/361.57	c GLOBAL bounds - >= 94901 @ 341.942
361.90/363.13	c GLOBAL bounds - >= 94901 @ 343.386
363.90/365.15	c GLOBAL bounds - >= 94901 @ 345.291
367.27/368.59	c GLOBAL bounds - >= 94901 @ 348.59
368.17/369.47	c GLOBAL bounds - >= 94901 @ 349.362
369.66/370.97	c GLOBAL bounds - >= 94901 @ 350.755
370.95/372.28	c GLOBAL bounds - >= 94901 @ 351.971
371.66/373.01	c GLOBAL bounds - >= 94901 @ 352.597
391.29/392.60	c GLOBAL bounds - >= 94901 @ 371.813
447.52/449.03	c #Conflicts:       3000 | #Constraints:    2454218
447.52/449.03	c GLOBAL bounds - >= 94901 @ 426.834
451.79/453.37	c GLOBAL bounds - >= 94901 @ 430.937
538.02/539.85	c GLOBAL bounds - >= 105590 @ 515.834
538.33/540.14	c GLOBAL bounds - >= 105590 @ 516.093
538.33/540.15	c GLOBAL bounds - >= 105590 @ 516.101
538.91/540.75	c GLOBAL bounds - >= 105590 @ 516.529
539.01/540.84	c GLOBAL bounds - >= 105590 @ 516.584
542.50/544.38	c GLOBAL bounds - >= 105590 @ 519.917
542.60/544.47	c GLOBAL bounds - >= 105590 @ 519.974
542.99/544.87	c GLOBAL bounds - >= 105590 @ 520.237
543.10/544.98	c GLOBAL bounds - >= 105590 @ 520.305
543.59/545.46	c GLOBAL bounds - >= 105590 @ 520.655
543.70/545.57	c GLOBAL bounds - >= 105590 @ 520.732
544.20/546.01	c GLOBAL bounds - >= 105590 @ 521.045
544.20/546.10	c GLOBAL bounds - >= 105590 @ 521.093
544.80/546.63	c GLOBAL bounds - >= 105590 @ 521.483
544.89/546.74	c GLOBAL bounds - >= 105590 @ 521.559
545.30/547.18	c GLOBAL bounds - >= 105590 @ 521.874
545.39/547.29	c GLOBAL bounds - >= 105590 @ 521.941
545.69/547.59	c GLOBAL bounds - >= 105590 @ 522.133
545.79/547.70	c GLOBAL bounds - >= 105590 @ 522.208
546.09/547.98	c GLOBAL bounds - >= 105590 @ 522.4
546.19/548.09	c GLOBAL bounds - >= 105590 @ 522.474
546.48/548.38	c GLOBAL bounds - >= 105590 @ 522.673
547.08/548.98	c GLOBAL bounds - >= 105590 @ 523.159
548.19/550.06	c GLOBAL bounds - >= 105590 @ 524.119
548.68/550.56	c GLOBAL bounds - >= 105590 @ 524.525
549.08/550.97	c GLOBAL bounds - >= 105590 @ 524.83
549.68/551.53	c GLOBAL bounds - >= 105590 @ 525.275
550.47/552.39	c GLOBAL bounds - >= 105590 @ 526.005
553.86/555.76	c GLOBAL bounds - >= 105590 @ 529.208
575.39/577.34	c GLOBAL bounds - >= 105590 @ 550.325
598.21/600.22	c #Conflicts:       4000 | #Constraints:    3209797
598.21/600.22	c GLOBAL bounds - >= 105590 @ 572.678
603.02/605.03	c GLOBAL bounds - >= 105590 @ 577.294
608.58/610.68	c GLOBAL bounds - >= 105590 @ 582.744
609.78/611.86	c GLOBAL bounds - >= 105590 @ 583.796
652.63/654.84	c INPROCESSING
652.63/654.84	c GARBAGE COLLECT
652.63/654.84	c GLOBAL bounds - >= 105590 @ 626.221
653.33/655.55	c GLOBAL bounds - >= 105590 @ 626.796
657.62/659.87	c GLOBAL bounds - >= 105590 @ 630.929
658.83/661.03	c GLOBAL bounds - >= 105590 @ 631.956
659.71/661.90	c GLOBAL bounds - >= 105590 @ 632.705
661.21/663.42	c GLOBAL bounds - >= 105590 @ 634.086
665.49/667.74	c GLOBAL bounds - >= 105590 @ 638.224
666.10/668.39	c GLOBAL bounds - >= 105590 @ 638.733
803.45/806.11	c #Conflicts:       5000 | #Constraints:    3897358
803.45/806.11	c GLOBAL bounds - >= 142312 @ 774.736
803.83/806.51	c GLOBAL bounds - >= 142312 @ 775.105
804.35/807.03	c GLOBAL bounds - >= 142312 @ 775.493
804.45/807.12	c GLOBAL bounds - >= 142312 @ 775.547
813.70/816.45	c GLOBAL bounds - >= 142312 @ 784.583
813.80/816.54	c GLOBAL bounds - >= 142312 @ 784.639
814.20/816.97	c GLOBAL bounds - >= 142312 @ 784.944
814.31/817.08	c GLOBAL bounds - >= 142312 @ 785.023
814.79/817.51	c GLOBAL bounds - >= 142312 @ 785.314
814.90/817.62	c GLOBAL bounds - >= 142312 @ 785.384
815.19/817.95	c GLOBAL bounds - >= 142312 @ 785.583
815.31/818.06	c GLOBAL bounds - >= 142312 @ 785.664
815.70/818.49	c GLOBAL bounds - >= 142312 @ 785.956
815.89/818.60	c GLOBAL bounds - >= 142312 @ 786.03
816.31/819.02	c GLOBAL bounds - >= 142312 @ 786.335
816.41/819.13	c GLOBAL bounds - >= 142312 @ 786.41
816.79/819.58	c GLOBAL bounds - >= 142312 @ 786.713
816.89/819.63	c GLOBAL bounds - >= 142312 @ 786.744
817.19/819.96	c GLOBAL bounds - >= 142312 @ 786.954
817.19/820.00	c GLOBAL bounds - >= 142312 @ 786.975
817.69/820.42	c GLOBAL bounds - >= 142312 @ 787.27
818.79/821.53	c GLOBAL bounds - >= 142312 @ 788.259
820.78/823.57	c GLOBAL bounds - >= 142312 @ 790.147
821.77/824.53	c GLOBAL bounds - >= 142312 @ 791.007
827.65/830.45	c GLOBAL bounds - >= 142312 @ 796.764
831.54/834.35	c GLOBAL bounds - >= 142312 @ 800.502
837.42/840.26	c GLOBAL bounds - >= 142312 @ 806.23
837.92/840.78	c GLOBAL bounds - >= 142312 @ 806.636
845.50/848.40	c GLOBAL bounds - >= 142312 @ 814.038
846.49/849.34	c GLOBAL bounds - >= 142312 @ 814.868
847.49/850.32	c GLOBAL bounds - >= 142312 @ 815.726
858.26/861.14	c GLOBAL bounds - >= 142312 @ 826.301
859.65/862.54	c GLOBAL bounds - >= 142312 @ 827.574
876.39/879.31	c GLOBAL bounds - >= 142312 @ 844.042
1107.62/1111.37	c #Conflicts:       6000 | #Constraints:    4770413
1107.62/1111.37	c INPROCESSING
1107.62/1111.37	c GARBAGE COLLECT
1107.62/1111.37	c #Conflicts:       7000 | #Constraints:    4769397
1107.62/1111.37	c GLOBAL bounds - >= 171459 @ 1072.65
1108.12/1111.84	c GLOBAL bounds - >= 171459 @ 1073.08
1120.39/1124.19	c GLOBAL bounds - >= 171459 @ 1085.15
1120.57/1124.30	c GLOBAL bounds - >= 171459 @ 1085.23
1120.98/1124.73	c GLOBAL bounds - >= 171459 @ 1085.52
1121.08/1124.84	c GLOBAL bounds - >= 171459 @ 1085.6
1121.38/1125.16	c GLOBAL bounds - >= 171459 @ 1085.81
1121.48/1125.27	c GLOBAL bounds - >= 171459 @ 1085.89
1121.77/1125.55	c GLOBAL bounds - >= 171459 @ 1086.07
1121.87/1125.66	c GLOBAL bounds - >= 171459 @ 1086.14
1122.17/1125.93	c GLOBAL bounds - >= 171459 @ 1086.32
1122.28/1126.04	c GLOBAL bounds - >= 171459 @ 1086.39
1122.57/1126.31	c GLOBAL bounds - >= 171459 @ 1086.57
1122.67/1126.42	c GLOBAL bounds - >= 171459 @ 1086.64
1122.97/1126.70	c GLOBAL bounds - >= 171459 @ 1086.81
1123.06/1126.81	c GLOBAL bounds - >= 171459 @ 1086.89
1123.28/1127.08	c GLOBAL bounds - >= 171459 @ 1087.05
1123.38/1127.19	c GLOBAL bounds - >= 171459 @ 1087.12
1123.66/1127.46	c GLOBAL bounds - >= 171459 @ 1087.3
1123.76/1127.57	c GLOBAL bounds - >= 171459 @ 1087.38
1124.07/1127.84	c GLOBAL bounds - >= 171459 @ 1087.55
1124.56/1128.30	c GLOBAL bounds - >= 171459 @ 1087.92
1124.87/1128.66	c GLOBAL bounds - >= 171459 @ 1088.18
1125.28/1129.03	c GLOBAL bounds - >= 171459 @ 1088.46
1125.76/1129.58	c GLOBAL bounds - >= 171459 @ 1088.9
1127.65/1131.43	c GLOBAL bounds - >= 171459 @ 1090.63
1128.36/1132.19	c GLOBAL bounds - >= 171459 @ 1091.29
1129.05/1132.88	c GLOBAL bounds - >= 171459 @ 1091.87
1131.05/1134.89	c GLOBAL bounds - >= 171459 @ 1093.74
1136.72/1140.52	c GLOBAL bounds - >= 171459 @ 1099.16
1137.82/1141.65	c GLOBAL bounds - >= 171459 @ 1100.17
1139.62/1143.40	c GLOBAL bounds - >= 171459 @ 1101.78
1151.37/1155.29	c GLOBAL bounds - >= 171459 @ 1113.39
1312.63/1317.03	c #Conflicts:       8000 | #Constraints:    5239992
1312.63/1317.03	c GLOBAL bounds - >= 198289 @ 1273
1313.02/1317.44	c GLOBAL bounds - >= 198289 @ 1273.37
1313.12/1317.55	c GLOBAL bounds - >= 198289 @ 1273.44
1313.22/1317.66	c GLOBAL bounds - >= 198289 @ 1273.5
1313.32/1317.76	c GLOBAL bounds - >= 198289 @ 1273.57
1313.42/1317.87	c GLOBAL bounds - >= 198289 @ 1273.65
1313.52/1317.98	c GLOBAL bounds - >= 198289 @ 1273.72
1313.63/1318.09	c GLOBAL bounds - >= 198289 @ 1273.8
1313.81/1318.20	c GLOBAL bounds - >= 198289 @ 1273.87
1318.71/1323.20	c GLOBAL bounds - >= 198289 @ 1278.65
1318.90/1323.31	c GLOBAL bounds - >= 198289 @ 1278.72
1319.30/1323.75	c GLOBAL bounds - >= 198289 @ 1279.04
1319.40/1323.86	c GLOBAL bounds - >= 198289 @ 1279.11
1319.79/1324.29	c GLOBAL bounds - >= 198289 @ 1279.41
1319.90/1324.40	c GLOBAL bounds - >= 198289 @ 1279.49
1320.20/1324.68	c GLOBAL bounds - >= 198289 @ 1279.67
1320.29/1324.78	c GLOBAL bounds - >= 198289 @ 1279.74
1320.60/1325.05	c GLOBAL bounds - >= 198289 @ 1279.91
1320.71/1325.15	c GLOBAL bounds - >= 198289 @ 1279.99
1320.99/1325.42	c GLOBAL bounds - >= 198289 @ 1280.15
1321.09/1325.54	c GLOBAL bounds - >= 198289 @ 1280.23
1321.39/1325.81	c GLOBAL bounds - >= 198289 @ 1280.4
1321.49/1325.92	c GLOBAL bounds - >= 198289 @ 1280.47
1321.70/1326.19	c GLOBAL bounds - >= 198289 @ 1280.65
1321.88/1326.30	c GLOBAL bounds - >= 198289 @ 1280.72
1321.99/1326.49	c GLOBAL bounds - >= 198289 @ 1280.82
1322.19/1326.60	c GLOBAL bounds - >= 198289 @ 1280.89
1322.39/1326.88	c GLOBAL bounds - >= 198289 @ 1281.08
1322.79/1327.21	c GLOBAL bounds - >= 198289 @ 1281.33
1322.98/1327.48	c GLOBAL bounds - >= 198289 @ 1281.51
1323.38/1327.82	c GLOBAL bounds - >= 198289 @ 1281.76
1323.72/1328.16	c GLOBAL bounds - >= 198289 @ 1282.01
1324.08/1328.51	c GLOBAL bounds - >= 198289 @ 1282.27
1324.48/1328.96	c GLOBAL bounds - >= 198289 @ 1282.62
1324.88/1329.30	c GLOBAL bounds - >= 198289 @ 1282.89
1326.77/1331.22	c GLOBAL bounds - >= 198289 @ 1284.67
1327.68/1332.19	c GLOBAL bounds - >= 198289 @ 1285.53
1328.17/1332.63	c GLOBAL bounds - >= 198289 @ 1285.87
1329.07/1333.59	c GLOBAL bounds - >= 198289 @ 1286.72
1334.04/1338.59	c GLOBAL bounds - >= 198289 @ 1291.56
1339.33/1343.86	c GLOBAL bounds - >= 198289 @ 1296.65
1340.03/1344.56	c GLOBAL bounds - >= 198289 @ 1297.23
1347.00/1351.57	c GLOBAL bounds - >= 198289 @ 1304
1349.61/1354.11	c GLOBAL bounds - >= 198289 @ 1306.4
1354.68/1359.29	c GLOBAL bounds - >= 198289 @ 1311.4
1364.85/1369.45	c GLOBAL bounds - >= 198289 @ 1321.25
1366.33/1370.94	c GLOBAL bounds - >= 198289 @ 1322.58
1368.33/1372.91	c GLOBAL bounds - >= 198289 @ 1324.38
1415.39/1420.14	c GLOBAL bounds - >= 198289 @ 1370.52
1436.00/1440.87	c #Conflicts:       9000 | #Constraints:    5879912
1436.00/1440.87	c GLOBAL bounds - >= 198289 @ 1390.71
1439.99/1444.88	c GLOBAL bounds - >= 198289 @ 1394.5
1541.33/1546.54	c INPROCESSING
1541.33/1546.54	c GARBAGE COLLECT
1541.33/1546.54	c GLOBAL bounds - >= 199029 @ 1494.64
1541.52/1546.70	c GLOBAL bounds - >= 199029 @ 1494.77
1541.94/1547.18	c GLOBAL bounds - >= 199029 @ 1495.1
1542.02/1547.24	c GLOBAL bounds - >= 199029 @ 1495.13
1542.42/1547.60	c GLOBAL bounds - >= 199029 @ 1495.37
1542.52/1547.72	c GLOBAL bounds - >= 199029 @ 1495.43
1542.83/1548.08	c GLOBAL bounds - >= 199029 @ 1495.67
1542.94/1548.19	c GLOBAL bounds - >= 199029 @ 1495.74
1543.32/1548.54	c GLOBAL bounds - >= 199029 @ 1495.99
1543.42/1548.65	c GLOBAL bounds - >= 199029 @ 1496.06
1543.72/1549.00	c GLOBAL bounds - >= 199029 @ 1496.3
1543.93/1549.11	c GLOBAL bounds - >= 199029 @ 1496.37
1544.22/1549.44	c GLOBAL bounds - >= 199029 @ 1496.58
1544.31/1549.56	c GLOBAL bounds - >= 199029 @ 1496.66
1544.61/1549.88	c GLOBAL bounds - >= 199029 @ 1496.86
1544.71/1549.99	c GLOBAL bounds - >= 199029 @ 1496.94
1545.01/1550.22	c GLOBAL bounds - >= 199029 @ 1497.04
1545.11/1550.33	c GLOBAL bounds - >= 199029 @ 1497.11
1545.41/1550.64	c GLOBAL bounds - >= 199029 @ 1497.3
1545.51/1550.76	c GLOBAL bounds - >= 199029 @ 1497.38
1545.83/1551.08	c GLOBAL bounds - >= 199029 @ 1497.59
1546.11/1551.39	c GLOBAL bounds - >= 199029 @ 1497.78
1546.51/1551.70	c GLOBAL bounds - >= 199029 @ 1497.97
1547.92/1553.12	c GLOBAL bounds - >= 199029 @ 1499.26
1548.30/1553.52	c GLOBAL bounds - >= 199029 @ 1499.54
1548.92/1554.15	c GLOBAL bounds - >= 199029 @ 1500.05
1549.41/1554.62	c GLOBAL bounds - >= 199029 @ 1500.41
1550.30/1555.54	c GLOBAL bounds - >= 199029 @ 1501.19
1551.30/1556.50	c GLOBAL bounds - >= 199029 @ 1502.04
1555.18/1560.46	c GLOBAL bounds - >= 199029 @ 1505.84
1555.59/1560.89	c GLOBAL bounds - >= 199029 @ 1506.17
1556.28/1561.57	c GLOBAL bounds - >= 199029 @ 1506.75
1556.89/1562.11	c GLOBAL bounds - >= 199029 @ 1507.2
1557.28/1562.58	c GLOBAL bounds - >= 199029 @ 1507.57
1557.89/1563.17	c GLOBAL bounds - >= 199029 @ 1508.05
1558.48/1563.77	c GLOBAL bounds - >= 199029 @ 1508.55
1559.28/1564.58	c GLOBAL bounds - >= 199029 @ 1509.27
1564.66/1569.99	c GLOBAL bounds - >= 199029 @ 1514.48
1565.36/1570.61	c GLOBAL bounds - >= 199029 @ 1514.98
1566.06/1571.31	c GLOBAL bounds - >= 199029 @ 1515.58
1588.71/1594.09	c GLOBAL bounds - >= 199029 @ 1537.91
1622.99/1628.43	c #Conflicts:      10000 | #Constraints:    6398115
1622.99/1628.43	c GLOBAL bounds - >= 199029 @ 1571.57
1801.29/1807.23	c #Conflicts:      11000 | #Constraints:    6440772
1801.29/1807.23	c GLOBAL bounds - >= 199029 @ 1747.61
1802.49/1808.41	c GLOBAL bounds - >= 199029 @ 1748.66
2161.72/2168.76	c #Conflicts:      12000 | #Constraints:    6527946
2161.72/2168.76	c INPROCESSING
2161.72/2168.76	c GARBAGE COLLECT
2161.72/2168.76	c #Conflicts:      13000 | #Constraints:    6526370
2161.72/2168.76	c GLOBAL bounds - >= 240421 @ 2104.4
2162.53/2169.55	c GLOBAL bounds - >= 240421 @ 2105.15
2162.62/2169.66	c GLOBAL bounds - >= 240421 @ 2105.22
2162.73/2169.77	c GLOBAL bounds - >= 240421 @ 2105.29
2162.83/2169.88	c GLOBAL bounds - >= 240421 @ 2105.36
2162.92/2169.99	c GLOBAL bounds - >= 240421 @ 2105.44
2163.03/2170.10	c GLOBAL bounds - >= 240421 @ 2105.52
2163.22/2170.21	c GLOBAL bounds - >= 240421 @ 2105.59
2169.90/2176.97	c GLOBAL bounds - >= 240421 @ 2112.1
2170.02/2177.08	c GLOBAL bounds - >= 240421 @ 2112.16
2170.49/2177.50	c GLOBAL bounds - >= 240421 @ 2112.48
2170.60/2177.61	c GLOBAL bounds - >= 240421 @ 2112.56
2170.90/2178.00	c GLOBAL bounds - >= 240421 @ 2112.83
2171.11/2178.12	c GLOBAL bounds - >= 240421 @ 2112.91
2171.39/2178.48	c GLOBAL bounds - >= 240421 @ 2113.16
2171.49/2178.59	c GLOBAL bounds - >= 240421 @ 2113.23
2171.89/2178.94	c GLOBAL bounds - >= 240421 @ 2113.47
2172.01/2179.05	c GLOBAL bounds - >= 240421 @ 2113.55
2172.30/2179.31	c GLOBAL bounds - >= 240421 @ 2113.7
2172.39/2179.42	c GLOBAL bounds - >= 240421 @ 2113.76
2172.69/2179.75	c GLOBAL bounds - >= 240421 @ 2113.99
2172.80/2179.86	c GLOBAL bounds - >= 240421 @ 2114.07
2173.11/2180.19	c GLOBAL bounds - >= 240421 @ 2114.29
2173.29/2180.30	c GLOBAL bounds - >= 240421 @ 2114.37
2173.59/2180.60	c GLOBAL bounds - >= 240421 @ 2114.56
2173.68/2180.71	c GLOBAL bounds - >= 240421 @ 2114.63
2173.89/2181.00	c GLOBAL bounds - >= 240421 @ 2114.83
2174.29/2181.37	c GLOBAL bounds - >= 240421 @ 2115.09
2174.59/2181.66	c GLOBAL bounds - >= 240421 @ 2115.29
2175.38/2182.46	c GLOBAL bounds - >= 240421 @ 2115.96
2175.78/2182.85	c GLOBAL bounds - >= 240421 @ 2116.25
2176.99/2184.05	c GLOBAL bounds - >= 240421 @ 2117.32
2177.57/2184.68	c GLOBAL bounds - >= 240421 @ 2117.84
2178.88/2185.92	c GLOBAL bounds - >= 240421 @ 2118.96
2180.37/2187.47	c GLOBAL bounds - >= 240421 @ 2120.39
2184.55/2191.68	c GLOBAL bounds - >= 240421 @ 2124.44
2193.33/2200.48	c GLOBAL bounds - >= 240421 @ 2133
2200.20/2207.35	c GLOBAL bounds - >= 240421 @ 2139.67
2248.14/2255.49	c #Conflicts:      14000 | #Constraints:    6960385
2248.14/2255.49	c GLOBAL bounds - >= 240421 @ 2186.97
2301.95/2309.46	c GLOBAL bounds - >= 240421 @ 2240.1
2574.56/2582.97	c #Conflicts:      15000 | #Constraints:    7039335
2574.56/2582.97	c INPROCESSING
2574.56/2582.97	c GARBAGE COLLECT
2574.56/2582.97	c GLOBAL bounds - >= 240421 @ 2509.27
2836.30/2845.59	c #Conflicts:      16000 | #Constraints:    7078073
2836.30/2845.59	c #Conflicts:      17000 | #Constraints:    7079073
2836.30/2845.59	c GLOBAL bounds - >= 257010 @ 2768.82
2836.81/2846.09	c GLOBAL bounds - >= 257010 @ 2769.27
2868.29/2877.61	c GLOBAL bounds - >= 257010 @ 2800.16
2868.39/2877.72	c GLOBAL bounds - >= 257010 @ 2800.24
2869.58/2878.99	c GLOBAL bounds - >= 257010 @ 2801.37
2869.70/2879.10	c GLOBAL bounds - >= 257010 @ 2801.43
2870.08/2879.42	c GLOBAL bounds - >= 257010 @ 2801.64
2870.18/2879.53	c GLOBAL bounds - >= 257010 @ 2801.71
2870.49/2879.85	c GLOBAL bounds - >= 257010 @ 2801.92
2870.58/2879.96	c GLOBAL bounds - >= 257010 @ 2801.99
2870.88/2880.26	c GLOBAL bounds - >= 257010 @ 2802.18
2870.98/2880.37	c GLOBAL bounds - >= 257010 @ 2802.26
2871.28/2880.68	c GLOBAL bounds - >= 257010 @ 2802.47
2871.38/2880.80	c GLOBAL bounds - >= 257010 @ 2802.55
2871.69/2881.09	c GLOBAL bounds - >= 257010 @ 2802.74
2871.87/2881.20	c GLOBAL bounds - >= 257010 @ 2802.81
2872.08/2881.49	c GLOBAL bounds - >= 257010 @ 2803.01
2872.28/2881.61	c GLOBAL bounds - >= 257010 @ 2803.09
2872.58/2881.90	c GLOBAL bounds - >= 257010 @ 2803.27
2872.68/2882.01	c GLOBAL bounds - >= 257010 @ 2803.35
2872.98/2882.30	c GLOBAL bounds - >= 257010 @ 2803.54
2873.17/2882.59	c GLOBAL bounds - >= 257010 @ 2803.73
2873.57/2882.96	c GLOBAL bounds - >= 257010 @ 2804.01
2874.57/2883.94	c GLOBAL bounds - >= 257010 @ 2804.85
2874.97/2884.31	c GLOBAL bounds - >= 257010 @ 2805.13
2875.26/2884.67	c GLOBAL bounds - >= 257010 @ 2805.4
2875.68/2885.03	c GLOBAL bounds - >= 257010 @ 2805.66
2876.57/2885.97	c GLOBAL bounds - >= 257010 @ 2806.48
2876.86/2886.26	c GLOBAL bounds - >= 257010 @ 2806.68
2877.26/2886.62	c GLOBAL bounds - >= 257010 @ 2806.96
2878.35/2887.71	c GLOBAL bounds - >= 257010 @ 2807.94
2878.67/2888.07	c GLOBAL bounds - >= 257010 @ 2808.23
2880.55/2889.96	c GLOBAL bounds - >= 257010 @ 2809.99
2880.95/2890.35	c GLOBAL bounds - >= 257010 @ 2810.3
2882.04/2891.40	c GLOBAL bounds - >= 257010 @ 2811.24
2882.34/2891.78	c GLOBAL bounds - >= 257010 @ 2811.54
2882.94/2892.38	c GLOBAL bounds - >= 257010 @ 2812.05
2883.24/2892.68	c GLOBAL bounds - >= 257010 @ 2812.26
2884.34/2893.77	c GLOBAL bounds - >= 257010 @ 2813.24
2884.84/2894.26	c GLOBAL bounds - >= 257010 @ 2813.63
2887.53/2896.93	c GLOBAL bounds - >= 257010 @ 2816.18
2887.92/2897.39	c GLOBAL bounds - >= 257010 @ 2816.54
2888.52/2897.93	c GLOBAL bounds - >= 257010 @ 2816.98
2888.93/2898.34	c GLOBAL bounds - >= 257010 @ 2817.3
2889.42/2898.84	c GLOBAL bounds - >= 257010 @ 2817.71
2889.82/2899.26	c GLOBAL bounds - >= 257010 @ 2818.02
2893.01/2902.40	c GLOBAL bounds - >= 257010 @ 2821.03
2903.48/2912.90	c GLOBAL bounds - >= 257010 @ 2831.23
2911.14/2920.66	c GLOBAL bounds - >= 257010 @ 2838.75
2911.55/2921.10	c GLOBAL bounds - >= 257010 @ 2839.1
2912.44/2921.90	c GLOBAL bounds - >= 257010 @ 2839.8
2913.14/2922.64	c GLOBAL bounds - >= 257010 @ 2840.43
2913.65/2923.19	c GLOBAL bounds - >= 257010 @ 2840.88
2914.55/2924.03	c GLOBAL bounds - >= 257010 @ 2841.61
2917.03/2926.52	c GLOBAL bounds - >= 257010 @ 2843.96
2921.11/2930.68	c GLOBAL bounds - >= 257010 @ 2847.96
2933.27/2942.89	c GLOBAL bounds - >= 257010 @ 2859.85
2934.07/2943.68	c GLOBAL bounds - >= 257010 @ 2860.52
2935.58/2945.19	c GLOBAL bounds - >= 257010 @ 2861.91
2965.39/2975.08	c #Conflicts:      18000 | #Constraints:    7677855
2965.39/2975.08	c GLOBAL bounds - >= 257010 @ 2891.14
3040.32/3050.23	c INPROCESSING
3040.32/3050.23	c GARBAGE COLLECT
3040.32/3050.23	c GLOBAL bounds - >= 257010 @ 2965.28
3090.35/3100.48	c GLOBAL bounds - >= 257010 @ 3014.66
3091.06/3101.18	c GLOBAL bounds - >= 257010 @ 3015.24
3154.23/3164.56	c #Conflicts:      19000 | #Constraints:    7824194
3154.23/3164.56	c GLOBAL bounds - >= 257010 @ 3077.62
3262.27/3272.91	c GLOBAL bounds - >= 272089 @ 3184.62
3262.67/3273.37	c GLOBAL bounds - >= 272089 @ 3185.04
3263.07/3273.75	c GLOBAL bounds - >= 272089 @ 3185.29
3263.16/3273.85	c GLOBAL bounds - >= 272089 @ 3185.37
3263.57/3274.23	c GLOBAL bounds - >= 272089 @ 3185.61
3263.66/3274.34	c GLOBAL bounds - >= 272089 @ 3185.68
3263.96/3274.69	c GLOBAL bounds - >= 272089 @ 3185.91
3264.16/3274.80	c GLOBAL bounds - >= 272089 @ 3185.98
3264.48/3275.14	c GLOBAL bounds - >= 272089 @ 3186.2
3264.56/3275.25	c GLOBAL bounds - >= 272089 @ 3186.28
3264.86/3275.52	c GLOBAL bounds - >= 272089 @ 3186.42
3264.97/3275.63	c GLOBAL bounds - >= 272089 @ 3186.49
3265.26/3275.97	c GLOBAL bounds - >= 272089 @ 3186.71
3265.38/3276.08	c GLOBAL bounds - >= 272089 @ 3186.78
3265.76/3276.42	c GLOBAL bounds - >= 272089 @ 3187
3265.86/3276.53	c GLOBAL bounds - >= 272089 @ 3187.08
3266.16/3276.87	c GLOBAL bounds - >= 272089 @ 3187.3
3266.26/3276.98	c GLOBAL bounds - >= 272089 @ 3187.38
3266.65/3277.31	c GLOBAL bounds - >= 272089 @ 3187.59
3266.76/3277.42	c GLOBAL bounds - >= 272089 @ 3187.66
3267.05/3277.76	c GLOBAL bounds - >= 272089 @ 3187.86
3267.37/3278.09	c GLOBAL bounds - >= 272089 @ 3188.08
3267.75/3278.43	c GLOBAL bounds - >= 272089 @ 3188.3
3268.05/3278.76	c GLOBAL bounds - >= 272089 @ 3188.52
3268.47/3279.19	c GLOBAL bounds - >= 272089 @ 3188.83
3269.65/3280.36	c GLOBAL bounds - >= 272089 @ 3189.87
3274.35/3285.01	c #Conflicts:      20000 | #Constraints:    7970454
3274.35/3285.01	c GLOBAL bounds - >= 272089 @ 3194.34
3276.34/3287.02	c GLOBAL bounds - >= 272089 @ 3196.23
3276.72/3287.41	c GLOBAL bounds - >= 272089 @ 3196.54
3286.60/3297.36	c GLOBAL bounds - >= 272089 @ 3206.27
3304.73/3315.55	c GLOBAL bounds - >= 272089 @ 3224.08
3318.09/3328.94	c GLOBAL bounds - >= 272089 @ 3237.14
3321.47/3332.32	c GLOBAL bounds - >= 272089 @ 3240.4
3388.65/3399.79	c GLOBAL bounds - >= 272089 @ 3306.81
3424.23/3435.49	c #Conflicts:      21000 | #Constraints:    8049976
3424.23/3435.49	c GLOBAL bounds - >= 272089 @ 3341.88
3424.84/3436.10	c GLOBAL bounds - >= 272089 @ 3342.39
3425.33/3436.58	c GLOBAL bounds - >= 272089 @ 3342.77
3462.60/3473.91	c GLOBAL bounds - >= 272584 @ 3379.6
3462.82/3474.17	c GLOBAL bounds - >= 272584 @ 3379.83
3462.90/3474.28	c GLOBAL bounds - >= 272584 @ 3379.89
3463.01/3474.39	c GLOBAL bounds - >= 272584 @ 3379.97
3463.10/3474.50	c GLOBAL bounds - >= 272584 @ 3380.04
3463.30/3474.61	c GLOBAL bounds - >= 272584 @ 3380.11
3463.40/3474.72	c GLOBAL bounds - >= 272584 @ 3380.18
3463.81/3475.18	c GLOBAL bounds - >= 272584 @ 3380.51
3463.89/3475.29	c GLOBAL bounds - >= 272584 @ 3380.58
3464.40/3475.72	c GLOBAL bounds - >= 272584 @ 3380.89
3464.49/3475.83	c GLOBAL bounds - >= 272584 @ 3380.97
3464.89/3476.20	c GLOBAL bounds - >= 272584 @ 3381.23
3464.99/3476.31	c GLOBAL bounds - >= 272584 @ 3381.31
3465.30/3476.68	c GLOBAL bounds - >= 272584 @ 3381.57
3465.40/3476.78	c GLOBAL bounds - >= 272584 @ 3381.63
3465.80/3477.15	c GLOBAL bounds - >= 272584 @ 3381.89
3465.89/3477.25	c GLOBAL bounds - >= 272584 @ 3381.95
3466.29/3477.62	c GLOBAL bounds - >= 272584 @ 3382.21
3466.39/3477.73	c GLOBAL bounds - >= 272584 @ 3382.28
3466.70/3478.09	c GLOBAL bounds - >= 272584 @ 3382.55
3466.89/3478.21	c GLOBAL bounds - >= 272584 @ 3382.62
3467.18/3478.53	c GLOBAL bounds - >= 272584 @ 3382.84
3467.29/3478.64	c GLOBAL bounds - >= 272584 @ 3382.92
3467.59/3478.92	c GLOBAL bounds - >= 272584 @ 3383.1
3467.69/3479.03	c GLOBAL bounds - >= 272584 @ 3383.17
3467.99/3479.30	c GLOBAL bounds - >= 272584 @ 3383.34
3468.19/3479.57	c GLOBAL bounds - >= 272584 @ 3383.51
3468.48/3479.83	c GLOBAL bounds - >= 272584 @ 3383.69
3468.69/3480.09	c GLOBAL bounds - >= 272584 @ 3383.87
3468.99/3480.35	c GLOBAL bounds - >= 272584 @ 3384.05
3469.28/3480.62	c GLOBAL bounds - >= 272584 @ 3384.23
3469.88/3481.22	c GLOBAL bounds - >= 272584 @ 3384.73
3470.38/3481.75	c GLOBAL bounds - >= 272584 @ 3385.18
3471.37/3482.74	c GLOBAL bounds - >= 272584 @ 3386.07
3471.68/3483.10	c GLOBAL bounds - >= 272584 @ 3386.33
3471.97/3483.37	c GLOBAL bounds - >= 272584 @ 3386.52
3472.37/3483.72	c GLOBAL bounds - >= 272584 @ 3386.78
3472.68/3484.08	c GLOBAL bounds - >= 272584 @ 3387.05
3472.97/3484.37	c GLOBAL bounds - >= 272584 @ 3387.25
3473.37/3484.76	c GLOBAL bounds - >= 272584 @ 3387.55
3474.07/3485.44	c GLOBAL bounds - >= 272584 @ 3388.15
3476.26/3487.65	c GLOBAL bounds - >= 272584 @ 3390.21
3477.67/3489.04	c GLOBAL bounds - >= 272584 @ 3391.49
3478.15/3489.56	c GLOBAL bounds - >= 272584 @ 3391.92
3479.55/3491.00	c GLOBAL bounds - >= 272584 @ 3393.24
3480.15/3491.59	c GLOBAL bounds - >= 272584 @ 3393.74
3480.65/3492.08	c GLOBAL bounds - >= 272584 @ 3394.14
3481.34/3492.76	c GLOBAL bounds - >= 272584 @ 3394.73
3481.84/3493.28	c GLOBAL bounds - >= 272584 @ 3395.14
3491.81/3503.24	c GLOBAL bounds - >= 272584 @ 3404.87
3493.20/3504.63	c GLOBAL bounds - >= 272584 @ 3406.15
3493.80/3505.20	c GLOBAL bounds - >= 272584 @ 3406.62
3502.77/3514.26	c GLOBAL bounds - >= 272584 @ 3415.44
3503.27/3514.78	c GLOBAL bounds - >= 272584 @ 3415.85
3565.76/3577.49	c INPROCESSING
3565.76/3577.49	c GARBAGE COLLECT
3565.76/3577.49	c GLOBAL bounds - >= 272584 @ 3477.79
3600.04/3611.82	c cpu time 3511.55 s
3600.04/3611.82	c deterministic time 204165066 2.04e+08
3600.04/3611.82	c optimization time 3497.14 s
3600.04/3611.82	c total solve time 11.0583 s
3600.04/3611.82	c core-guided solve time 0 s
3600.04/3611.82	c propagation time 5.53062 s
3600.04/3611.82	c conflict analysis time 2.85236 s
3600.04/3611.82	c propagations 36831019
3600.04/3611.82	c resolve steps 0
3600.04/3611.82	c decisions 23070360
3600.04/3611.82	c conflicts 98
3600.04/3611.82	c restarts 1
3600.04/3611.82	c inprocessing phases 0
3600.04/3611.82	c garbage collections 0 ,( -nan )
3600.04/3611.82	c input clauses 489150 ,( 80.09 )
3600.04/3611.82	c input cardinalities 62 ,( 0.01 )
3600.04/3611.82	c input general constraints 121501 ,( 19.89 )
3600.04/3611.82	c input average constraint length 26.51
3600.04/3611.82	c input average constraint degree 8632898.84
3600.04/3611.82	c learned clauses 46 ,( 38.02 )
3600.04/3611.82	c learned cardinalities 1 ,( 0.83 )
3600.04/3611.82	c learned general constraints 74 ,( 61.16 )
3600.04/3611.82	c learned average constraint length 626.02
3600.04/3611.82	c learned average constraint degree 6.19
3600.04/3611.82	c watched  CF 32, 64, 128, Arb: 124 , 0 , 0 , 0
3600.04/3611.82	c counting CF 32, 64, 128, Arb: 121381 , 71 , 0 , 0
3600.04/3611.82	c watched   constraints 124 ,( 0.10 ) 
3600.04/3611.82	c counting  constraints 121451 ,( 99.90 ) 
3600.04/3611.82	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 5605105 , 471 , 23293658 ,( 40358 , 23253300 )
3600.04/3611.82	c gcd simplifications 0
3600.04/3611.82	c detected cardinalities 0
3600.04/3611.82	c weakened non-implied lits 0
3600.04/3611.82	c weakened non-implying lits 0
3600.04/3611.82	c original variables 250200
3600.04/3611.82	c clausal propagations 5585429
3600.04/3611.82	c cardinality propagations 0
3600.04/3611.82	c watched propagations 11286
3600.04/3611.82	c counting propagations 17262928
3600.04/3611.82	c watch lookups 29557130
3600.04/3611.82	c watch backjump lookups 0
3600.04/3611.82	c watch checks 3771966
3600.04/3611.82	c propagation checks 50912509
3600.04/3611.82	c constraint additions 117754
3600.04/3611.82	c trail pops 59901327
3600.04/3611.82	c formula constraints 610311
3600.04/3611.82	c learned constraints 121
3600.04/3611.82	c bound constraints 0
3600.04/3611.82	c core-guided constraints 0
3600.04/3611.82	c encountered formula constraints 36
3600.04/3611.82	c encountered learned constraints 19
3600.04/3611.82	c encountered bound constraints 0
3600.04/3611.82	c encountered core-guided constraints 0
3600.04/3611.82	c LP total time 2.24448 s
3600.04/3611.82	c LP solve time 1.92 s
3600.04/3611.82	c LP constraints added 610311
3600.04/3611.82	c LP constraints removed 0
3600.04/3611.82	c LP pivots internal 2000
3600.04/3611.82	c LP pivots root 1000
3600.04/3611.82	c LP calls 2
3600.04/3611.82	c LP optimalities 0
3600.04/3611.82	c LP no pivot count 0
3600.04/3611.82	c LP infeasibilities 0
3600.04/3611.82	c LP valid Farkas constraints 0
3600.04/3611.82	c LP learned Farkas constraints 0
3600.04/3611.82	c LP basis resets 0
3600.04/3611.82	c LP cycling count 0
3600.04/3611.82	c LP singular count 0
3600.04/3611.82	c LP no primal count 0
3600.04/3611.82	c LP no farkas count 0
3600.04/3611.82	c LP other issue count 0
3600.04/3611.82	c LP Gomory cuts 0
3600.04/3611.82	c LP learned cuts 0
3600.04/3611.82	c LP deleted cuts 0
3600.04/3611.82	c LP encountered Gomory constraints 0
3600.04/3611.82	c LP encountered Farkas constraints 0
3600.04/3611.82	c LP encountered learned Farkas constraints 0
3600.04/3611.82	c CG auxiliary variables introduced 358
3600.04/3611.82	c CG solutions found 0
3600.04/3611.82	c CG cores constructed 140
3600.04/3611.82	c CG core cardinality constraints returned 0
3600.04/3611.82	c CG unit cores 0
3600.04/3611.82	c CG single cores 0
3600.04/3611.82	c CG blocks removed during cardinality reduction 0
3600.04/3611.82	c CG first core best 0
3600.04/3611.82	c CG decision core best 0
3600.04/3611.82	c CG core reduction tie 0
3600.04/3611.82	c CG core degree average 0.00
3600.04/3611.82	c CG core slack average 0.00
3600.04/3611.82	c CG core upper bound improvements 0
3600.04/3611.82	c STR number of successful calls 0
3600.04/3611.82	c STR number of unsuccessful calls 0
3600.04/3611.82	c STR number of inconclusive calls 0
3600.04/3611.82	c STR number of successful attempts 0
3600.04/3611.82	c STR number of unsuccessful attempts 0
3600.04/3611.82	c STR number of inconclusive attempts 0
3600.04/3611.82	c STR average degree increase per successful call inf
3600.04/3611.82	c STR average degree increase per successful attempt inf
3600.04/3611.82	c STR total number of conflicts for successful attempts 0
3600.04/3611.82	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3611.82	c STR total number of conflicts for inconclusive attempts 0
3600.04/3611.82	c STR average number of conflicts per successful attempt inf
3600.04/3611.82	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3611.82	c STR average number of conflicts per inconclusive attempt inf
3600.04/3611.82	c AVG.sumWPerc 99.50 
3600.04/3611.82	c bigint constraints 71 
3600.04/3611.82	s UNKNOWN
3600.04/3611.82	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 (62189 MiB free)
  memory of node 1: 64465 MiB (62297 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.10007 s]*
/proc/loadavg: 4.18 4.20 4.16 5/260 67175
/proc/meminfo: memFree=127397844/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=112308 memory=62264 CPUtime=0.08 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 8087 0 0 0 5 3 0 0 20 0 1 0 61858208 115003392 15566 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 28077 15566 1952 1147 0 15504 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 116500 KiB
Current children cumulated memory: 65208 KiB

[startup+0.215284 s]*
/proc/loadavg: 4.18 4.20 4.16 5/260 67175
/proc/meminfo: memFree=127389780/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=99840 memory=52988 CPUtime=0.17 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 8762 0 0 0 14 3 0 0 20 0 1 0 61858208 102236160 13247 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 24960 13247 1984 1147 0 12387 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 104032 KiB
Current children cumulated memory: 55932 KiB

[startup+0.314026 s]*
/proc/loadavg: 4.18 4.20 4.16 5/260 67175
/proc/meminfo: memFree=127377620/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=102840 memory=58224 CPUtime=0.28 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 9549 0 0 0 24 4 0 0 20 0 1 0 61858208 105308160 14556 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 25710 14556 1984 1147 0 13137 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 107032 KiB
Current children cumulated memory: 61168 KiB

[startup+0.700383 s]
/proc/loadavg: 4.18 4.20 4.16 5/260 67175
/proc/meminfo: memFree=127351664/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=108032 memory=65332 CPUtime=0.64 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 10830 0 0 0 50 14 0 0 20 0 1 0 61858208 110624768 16333 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 27008 16333 1984 1147 0 14435 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 112224 KiB
Current children cumulated memory: 68276 KiB

[startup+1.5004 s]
/proc/loadavg: 4.18 4.20 4.16 5/260 67175
/proc/meminfo: memFree=127301048/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=131160 memory=85044 CPUtime=1.45 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 16161 0 0 0 111 34 0 0 20 0 1 0 61858208 134307840 21261 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 32790 21261 1984 1147 0 20217 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 135352 KiB
Current children cumulated memory: 87988 KiB

[startup+3.11368 s]
/proc/loadavg: 4.17 4.20 4.16 5/260 67175
/proc/meminfo: memFree=127016048/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=272248 memory=205528 CPUtime=3.05 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 36722 0 0 0 235 70 0 0 20 0 1 0 61858208 278781952 51382 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 68062 51382 2304 1147 0 55489 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 276440 KiB
Current children cumulated memory: 208472 KiB

[startup+6.30038 s]
/proc/loadavg: 4.17 4.20 4.16 5/260 67175
/proc/meminfo: memFree=125934816/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=1072868 memory=782176 CPUtime=6.24 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 89388 0 0 0 483 141 0 0 20 0 1 0 61858208 1098616832 195544 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 268217 195544 2368 1147 0 255644 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1077060 KiB
Current children cumulated memory: 785120 KiB

[startup+12.7004 s]
/proc/loadavg: 4.14 4.19 4.15 5/260 67175
/proc/meminfo: memFree=125152728/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=1192196 memory=889368 CPUtime=12.61 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 99889 0 0 0 991 270 0 0 20 0 1 0 61858208 1220808704 222342 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 298049 222342 2368 1147 0 285476 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1196388 KiB
Current children cumulated memory: 892312 KiB

[startup+25.5004 s]
/proc/loadavg: 4.20 4.20 4.16 5/260 67175
/proc/meminfo: memFree=123132112/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=1613448 memory=1293976 CPUtime=25.38 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 179604 0 0 0 2133 405 0 0 20 0 1 0 61858208 1652170752 323494 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 403362 323494 2400 1147 0 390789 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1617640 KiB
Current children cumulated memory: 1296920 KiB

[startup+51.114 s]
/proc/loadavg: 4.13 4.19 4.15 5/262 67178
/proc/meminfo: memFree=118582316/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=2781492 memory=2365944 CPUtime=50.91 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 334792 0 0 0 4271 820 0 0 20 0 1 0 61858208 2848247808 591486 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 695373 591486 2432 1147 0 682800 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2785684 KiB
Current children cumulated memory: 2368888 KiB

[startup+102.3 s]
/proc/loadavg: 4.25 4.21 4.16 5/262 67180
/proc/meminfo: memFree=111389104/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=4410888 memory=3682324 CPUtime=101.93 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 581715 0 0 0 9252 941 0 0 20 0 1 0 61858208 4516749312 920581 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 1102722 920581 2432 1147 0 1090149 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 4415080 KiB
Current children cumulated memory: 3685268 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.19 4.16 5/267 67189
/proc/meminfo: memFree=103683932/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=5322412 memory=4682792 CPUtime=161.74 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 757318 0 0 0 14983 1191 0 0 20 0 1 0 61858208 5450149888 1170698 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 1330603 1170698 2432 1147 0 1318030 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 5326604 KiB
Current children cumulated memory: 4685736 KiB

[startup+222.3 s]
/proc/loadavg: 4.33 4.22 4.17 5/267 67192
/proc/meminfo: memFree=95994804/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=7071180 memory=6223780 CPUtime=221.55 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 1044323 0 0 0 20776 1379 0 0 20 0 1 0 61858208 7240888320 1555945 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 1767795 1555945 2432 1147 0 1755222 0

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

[startup+3282.3 s]
/proc/loadavg: 4.11 4.17 4.21 5/266 67381
/proc/meminfo: memFree=1908112/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=18647936 memory=16811632 CPUtime=3271.64 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 3442831 0 0 0 319175 7989 0 0 20 0 1 0 61858208 19095486464 4202908 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 4661984 4202908 2432 1147 0 4649411 0
Current children cumulated CPU time: 3271.64 s
Current children cumulated vsize: 18652128 KiB
Current children cumulated memory: 16814576 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.17 4.20 5/264 67383
/proc/meminfo: memFree=1983408/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=18665068 memory=16829168 CPUtime=3331.44 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 3448628 0 0 0 325023 8121 0 0 20 0 1 0 61858208 19113029632 4207292 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 4666267 4207292 2432 1147 0 4653694 0
Current children cumulated CPU time: 3331.44 s
Current children cumulated vsize: 18669260 KiB
Current children cumulated memory: 16832112 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.18 4.20 5/265 67386
/proc/meminfo: memFree=1992828/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=18683444 memory=16839864 CPUtime=3391.24 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 3450434 0 0 0 330928 8196 0 0 20 0 1 0 61858208 19131846656 4209966 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 4670861 4209966 2432 1147 0 4658288 0
Current children cumulated CPU time: 3391.24 s
Current children cumulated vsize: 18687636 KiB
Current children cumulated memory: 16842808 KiB

[startup+3462.3 s]
/proc/loadavg: 4.30 4.22 4.21 5/264 67388
/proc/meminfo: memFree=1938052/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=18687540 memory=16853648 CPUtime=3451.04 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 3454231 0 0 0 336813 8291 0 0 20 0 1 0 61858208 19136040960 4213412 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 4671885 4213412 2432 1147 0 4659312 0
Current children cumulated CPU time: 3451.04 s
Current children cumulated vsize: 18691732 KiB
Current children cumulated memory: 16856592 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.21 4.21 5/264 67390
/proc/meminfo: memFree=2026824/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=18901140 memory=17070212 CPUtime=3510.84 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 3503418 0 0 0 342327 8757 0 0 20 0 1 0 61858208 19354767360 4267553 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 4725285 4267553 2432 1147 0 4712712 0
Current children cumulated CPU time: 3510.84 s
Current children cumulated vsize: 18905332 KiB
Current children cumulated memory: 17073156 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.18 4.20 5/264 67393
/proc/meminfo: memFree=2018408/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=18940972 memory=17155056 CPUtime=3570.64 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 3518470 0 0 0 348252 8812 0 0 20 0 1 0 61858208 19395555328 4288764 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 4735243 4288764 2432 1147 0 4722670 0
Current children cumulated CPU time: 3570.64 s
Current children cumulated vsize: 18945164 KiB
Current children cumulated memory: 17158000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 4.05 4.16 4.19 2/250 67482
/proc/meminfo: memFree=38778532/131382112 swapFree=33010416/33010684
[pid=67173] ppid=67170 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/67173/stat : 67173 (run-opt-log.sh) S 67170 67173 66325 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 61858207 4292608 736 18446744073709551615 93896687812608 93896688707141 140730577750592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93896688946192 93896688993936 93896719556608 140730577754401 140730577754596 140730577754596 140730577760198 0
/proc/67173/statm: 1048 736 672 219 0 110 0
[pid=67175] ppid=67173 vsize=18940972 memory=17155056 CPUtime=3600.04 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67173 67173 66325 0 -1 4194304 3519071 0 0 0 351154 8850 0 0 20 0 1 0 61858208 19395555328 4288764 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 4735243 4288764 2432 1147 0 4722670 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 18945164 KiB
Current children cumulated memory: 17158000 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001259 s, system=0.002498 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: 3.96 4.14 4.18 2/249 67482
/proc/meminfo: memFree=39219676/131382112 swapFree=33010416/33010684
[pid=67175] ppid=67170 vsize=18940972 memory=17155440 CPUtime=3600.41 cores=4,6
/proc/67175/stat : 67175 (roundingsat) D 67170 67173 66325 0 -1 4194304 3519079 0 1 0 351156 8885 0 0 20 0 1 0 61858208 19395555328 4288860 18446744073709551615 4227072 8923433 140723201422032 0 0 256 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 9
/proc/67175/statm: 4735243 4288860 2528 1147 0 4722670 0
??? kill 67175 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3511.57 s, system=90.3444 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+3612.8 s]
/proc/loadavg: 4.05 4.16 4.19 3/249 67482
/proc/meminfo: memFree=38753632/131382112 swapFree=33010416/33010684
[pid=67175] ppid=67170 vsize=18940972 memory=17155440 CPUtime=3600.35 cores=4,6
/proc/67175/stat : 67175 (roundingsat) D 67170 67173 66325 0 -1 4194304 3519079 0 1 0 351156 8879 0 0 20 0 1 0 61858208 19395555328 4288860 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 4735243 4288860 2528 1147 0 4722670 0
Current cumulated CPU time of completed processes: 0.003757 s
Current children cumulated CPU time: 3600.35 s
Current children cumulated vsize: 18940972 KiB
Current children cumulated memory: 17155440 KiB

[startup+3613.6 s]
/proc/loadavg: 3.96 4.14 4.18 1/249 67482
/proc/meminfo: memFree=38915768/131382112 swapFree=33010416/33010684
[pid=67175] ppid=67170 vsize=18940972 memory=17155440 CPUtime=3600.39 cores=4,6
/proc/67175/stat : 67175 (roundingsat) R 67170 67173 66325 0 -1 4194304 3519079 0 1 0 351156 8883 0 0 20 0 1 0 61858208 19395555328 4288860 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 4735243 4288860 2528 1147 0 4722670 0
Current cumulated CPU time of completed processes: 0.003757 s
Current children cumulated CPU time: 3600.39 s
Current children cumulated vsize: 18940972 KiB
Current children cumulated memory: 17155440 KiB

[startup+3613.8 s]
/proc/loadavg: 3.96 4.14 4.18 1/249 67482
/proc/meminfo: memFree=38915768/131382112 swapFree=33010416/33010684
[pid=67175] ppid=67170 vsize=18940972 memory=17155440 CPUtime=3600.41 cores=4,6
/proc/67175/stat : 67175 (roundingsat) D 67170 67173 66325 0 -1 4194304 3519079 0 1 0 351156 8885 0 0 20 0 1 0 61858208 19395555328 4288860 18446744073709551615 4227072 8923433 140723201422032 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 26013696 140723201423698 140723201423912 140723201423912 140723201429482 0
/proc/67175/statm: 4735243 4288860 2528 1147 0 4722670 0
Current cumulated CPU time of completed processes: 0.003757 s
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 18940972 KiB
Current children cumulated memory: 17155440 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3616.38
CPU time (s): 3601.91
CPU user time (s): 3511.57
CPU system time (s): 90.3444
CPU usage (%): 99.6001
Max. virtual memory (cumulated for all children) (KiB): 19153688
Max. memory (cumulated for all children) (KiB): 17330696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3511.57
system time used= 90.3444
maximum resident set size= 17327752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3519284
page faults= 1
swaps= 0
block input operations= 4040
block output operations= 118699872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64796
involuntary context switches= 23068


# summary of solver processes directly reported to runsolver:
#   pid: 67173,67175
#   total CPU time (s): 3601.91
#   total CPU user time (s): 3511.57
#   total CPU system time (s): 90.3444

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.0113 second user time and 38.9265 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-02 15:09:48
IDJOB=4504389
IDBENCH=155654
IDSOLVER=3351
FILE ID=nodeC005/4504389-1751461788
RUNJOBID= nodeC005-1751454530-66336
SLURM_JOB_ID= 9598448
Free space on /tmp= 429412 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat50_6_9_5_mh.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504389-1751461788/watcher-4504389-1751461788 -o /tmp/evaluation-result-4504389-1751461788/solver-4504389-1751461788 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751454530-66336 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4504389-1751461788.opb PROOFDIR/proof-4504389-1751461788

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

MD5SUM BENCH= f52c25e5aa8e0a6173f9b1fa92936824
RANDOM SEED=882272366

nodeC005 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		: 3659.855
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.90
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		: 3691.483
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.90
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		: 1197.531
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.90
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		: 3700.000
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.90
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		: 1696.090
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        127474212 kB
MemAvailable:   128391396 kB
Buffers:            2128 kB
Cached:          1706936 kB
SwapCached:           24 kB
Active:          2183724 kB
Inactive:        1060420 kB
Active(anon):    1549956 kB
Inactive(anon):     3164 kB
Active(file):     633768 kB
Inactive(file):  1057256 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            943632 kB
Writeback:             4 kB
AnonPages:       1538636 kB
Mapped:           117416 kB
Shmem:             17936 kB
KReclaimable:     131572 kB
Slab:             245624 kB
SReclaimable:     131572 kB
SUnreclaim:       114052 kB
KernelStack:        4176 kB
PageTables:         6304 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    2217996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    548864 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:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429416 MiB
End job on nodeC005 at 2025-07-02 16:10:05