Trace number 4508734

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 63f22ad? (TO) 3600.3 3609.04

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb
MD5SUM5ce1114e3b3a499c171804227c280ba1
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 benchmark1528537
Best CPU time to get the best result obtained on this benchmark72002
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables108768
Total number of constraints322185
Number of constraints which are clauses215832
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints106352
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 108766
Biggest coefficient in the objective function 2605924
Number of bits for the biggest coefficient in the objective function 22
Sum of the numbers in the objective function 22928794
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 2605924
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 22928794
Number of bits of the biggest sum of numbers25
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
1.27/1.36	c #variables 108768 #constraints 322185
1.27/1.37	c objective is ce32 
1.98/2.05	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.98/2.05	c initial counting CF 32, 64, 128, Arb: 106353 , 0 , 0 , 0
1.98/2.05	c GLOBAL bounds - >= -10161435 @ 1.41872
2.07/2.12	c GLOBAL bounds - >= -10161435 @ 1.48564
2.17/2.24	c GLOBAL bounds - >= -10161435 @ 1.60926
7.56/7.64	c GLOBAL bounds - >= -10161435 @ 6.98252
34.09/34.22	c GLOBAL bounds - >= -10161435 @ 33.3845
42.08/42.28	c GLOBAL bounds - >= -10161435 @ 41.2872
122.20/122.57	c GLOBAL bounds - >= -10161435 @ 121.077
146.34/146.72	c #Conflicts:       1000 | #Constraints:     322761
146.34/146.72	c GLOBAL bounds - >= -10161435 @ 145.099
147.24/147.66	c GLOBAL bounds - >= -10161435 @ 146.018
148.14/148.54	c GLOBAL bounds - >= -10161435 @ 146.874
148.93/149.34	c GLOBAL bounds - >= -10161435 @ 147.665
149.64/150.10	c GLOBAL bounds - >= -10161435 @ 148.398
150.53/150.94	c GLOBAL bounds - >= -10161435 @ 149.224
151.32/151.74	c GLOBAL bounds - >= -10161435 @ 150.02
159.61/160.03	c GLOBAL bounds - >= -10161435 @ 158.207
178.06/178.50	c GLOBAL bounds - >= -10161435 @ 176.507
179.46/179.97	c GLOBAL bounds - >= -10161435 @ 177.929
180.65/181.15	c GLOBAL bounds - >= -10161435 @ 179.092
182.15/182.62	c GLOBAL bounds - >= -10161435 @ 180.542
190.13/190.69	c GLOBAL bounds - >= -10161435 @ 188.536
193.72/194.21	c GLOBAL bounds - >= -10161435 @ 192.002
194.82/195.31	c GLOBAL bounds - >= -10161435 @ 193.09
195.82/196.38	c GLOBAL bounds - >= -10161435 @ 194.15
196.91/197.46	c GLOBAL bounds - >= -10161435 @ 195.224
198.21/198.76	c GLOBAL bounds - >= -10161435 @ 196.498
199.41/199.90	c GLOBAL bounds - >= -10161435 @ 197.621
200.41/200.97	c GLOBAL bounds - >= -10161435 @ 198.676
201.51/202.02	c GLOBAL bounds - >= -10161435 @ 199.707
202.51/203.03	c GLOBAL bounds - >= -10161435 @ 200.705
203.60/204.14	c GLOBAL bounds - >= -10161435 @ 201.789
204.89/205.43	c GLOBAL bounds - >= -10161435 @ 203.059
206.00/206.57	c GLOBAL bounds - >= -10161435 @ 204.183
220.16/220.79	c GLOBAL bounds - >= -10161435 @ 218.256
221.76/222.33	c GLOBAL bounds - >= -10161435 @ 219.788
230.54/231.19	c GLOBAL bounds - >= -10161435 @ 228.507
231.83/232.42	c GLOBAL bounds - >= -10161435 @ 229.737
233.23/233.82	c GLOBAL bounds - >= -10161435 @ 231.123
235.72/236.37	c GLOBAL bounds - >= -10161435 @ 233.652
237.52/238.16	c GLOBAL bounds - >= -10161435 @ 235.435
239.02/239.63	c GLOBAL bounds - >= -10161435 @ 236.895
240.42/241.02	c GLOBAL bounds - >= -10161435 @ 238.279
242.11/242.77	c GLOBAL bounds - >= -10161435 @ 239.985
243.70/244.39	c GLOBAL bounds - >= -10161435 @ 241.595
256.97/257.68	c GLOBAL bounds - >= -10161435 @ 254.795
275.03/275.77	c GLOBAL bounds - >= -10161435 @ 272.748
276.62/277.37	c GLOBAL bounds - >= -10161435 @ 274.332
278.61/279.39	c GLOBAL bounds - >= -10161435 @ 276.354
283.41/284.15	c GLOBAL bounds - >= -10161435 @ 281.077
287.19/287.97	c GLOBAL bounds - >= -10161435 @ 284.884
300.27/301.09	c #Conflicts:       2000 | #Constraints:     323845
300.27/301.09	c INPROCESSING
300.27/301.09	c GARBAGE COLLECT
300.27/301.09	c GLOBAL bounds - >= -10161435 @ 297.932
301.76/302.58	c GLOBAL bounds - >= -10161435 @ 299.42
302.96/303.76	c GLOBAL bounds - >= -10161435 @ 300.589
306.15/306.94	c GLOBAL bounds - >= -10161435 @ 303.759
310.64/311.44	c GLOBAL bounds - >= -10161435 @ 308.243
311.93/312.71	c GLOBAL bounds - >= -10161435 @ 309.512
318.52/319.30	c GLOBAL bounds - >= -10161435 @ 316.083
343.06/343.97	c GLOBAL bounds - >= -10161435 @ 340.689
344.27/345.12	c GLOBAL bounds - >= -10161435 @ 341.837
345.47/346.31	c GLOBAL bounds - >= -10161435 @ 343.024
346.66/347.59	c GLOBAL bounds - >= -10161435 @ 344.299
347.76/348.64	c GLOBAL bounds - >= -10161435 @ 345.348
349.16/350.06	c GLOBAL bounds - >= -10161435 @ 346.758
350.85/351.77	c GLOBAL bounds - >= -10161435 @ 348.469
351.94/352.81	c GLOBAL bounds - >= -10161435 @ 349.503
352.84/353.79	c GLOBAL bounds - >= -10161435 @ 350.481
354.04/354.90	c GLOBAL bounds - >= -10161435 @ 351.583
354.84/355.79	c GLOBAL bounds - >= -10161435 @ 352.478
355.73/356.65	c GLOBAL bounds - >= -10161435 @ 353.336
356.63/357.51	c GLOBAL bounds - >= -10161435 @ 354.19
357.53/358.41	c GLOBAL bounds - >= -10161435 @ 355.086
361.42/362.40	c GLOBAL bounds - >= -10161435 @ 359.062
363.52/364.40	c GLOBAL bounds - >= -10161435 @ 361.061
364.52/365.43	c GLOBAL bounds - >= -10161435 @ 362.086
365.42/366.32	c GLOBAL bounds - >= -10161435 @ 362.971
366.31/367.23	c GLOBAL bounds - >= -10161435 @ 363.883
367.22/368.19	c GLOBAL bounds - >= -10161435 @ 364.839
368.21/369.11	c GLOBAL bounds - >= -10161435 @ 365.76
369.21/370.12	c GLOBAL bounds - >= -10161435 @ 366.761
370.11/371.10	c GLOBAL bounds - >= -10161435 @ 367.741
371.11/372.03	c GLOBAL bounds - >= -10161435 @ 368.673
372.00/372.95	c GLOBAL bounds - >= -10161435 @ 369.585
372.89/373.86	c GLOBAL bounds - >= -10161435 @ 370.496
373.89/374.87	c GLOBAL bounds - >= -10161435 @ 371.498
374.89/375.85	c GLOBAL bounds - >= -10161435 @ 372.474
375.88/376.85	c GLOBAL bounds - >= -10161435 @ 373.476
376.88/377.82	c GLOBAL bounds - >= -10161435 @ 374.437
377.88/378.81	c GLOBAL bounds - >= -10161435 @ 375.428
378.78/379.79	c GLOBAL bounds - >= -10161435 @ 376.406
379.77/380.72	c GLOBAL bounds - >= -10161435 @ 377.337
380.77/381.70	c GLOBAL bounds - >= -10161435 @ 378.312
381.77/382.70	c GLOBAL bounds - >= -10161435 @ 379.311
382.77/383.75	c GLOBAL bounds - >= -10161435 @ 380.359
383.76/384.75	c GLOBAL bounds - >= -10161435 @ 381.35
384.77/385.77	c GLOBAL bounds - >= -10161435 @ 382.374
385.77/386.75	c GLOBAL bounds - >= -10161435 @ 383.345
386.76/387.75	c GLOBAL bounds - >= -10161435 @ 384.341
387.76/388.76	c GLOBAL bounds - >= -10161435 @ 385.346
388.76/389.77	c GLOBAL bounds - >= -10161435 @ 386.357
390.45/391.49	c GLOBAL bounds - >= -10161435 @ 388.073
391.65/392.61	c GLOBAL bounds - >= -10161435 @ 389.19
392.85/393.80	c GLOBAL bounds - >= -10161435 @ 390.375
395.64/396.60	c GLOBAL bounds - >= -10161435 @ 393.163
396.84/397.81	c GLOBAL bounds - >= -10161435 @ 394.371
398.14/399.11	c GLOBAL bounds - >= -10161435 @ 395.672
401.42/402.41	c GLOBAL bounds - >= -10161435 @ 398.961
404.12/405.14	c GLOBAL bounds - >= -10161435 @ 401.678
405.92/406.95	c GLOBAL bounds - >= -10161435 @ 403.491
407.02/408.01	c GLOBAL bounds - >= -10161435 @ 404.547
408.02/409.02	c GLOBAL bounds - >= -10161435 @ 405.549
409.02/410.03	c GLOBAL bounds - >= -10161435 @ 406.554
410.01/411.07	c GLOBAL bounds - >= -10161435 @ 407.6
411.11/412.18	c GLOBAL bounds - >= -10161435 @ 408.704
412.30/413.38	c GLOBAL bounds - >= -10161435 @ 409.901
428.17/429.23	c GLOBAL bounds - >= -10161435 @ 425.716
429.56/430.61	c GLOBAL bounds - >= -10161435 @ 427.085
430.56/431.66	c GLOBAL bounds - >= -10161435 @ 428.133
431.55/432.66	c GLOBAL bounds - >= -10161435 @ 429.137
432.65/433.72	c GLOBAL bounds - >= -10161435 @ 430.186
433.65/434.73	c GLOBAL bounds - >= -10161435 @ 431.197
434.75/435.84	c GLOBAL bounds - >= -10161435 @ 432.298
435.95/437.09	c GLOBAL bounds - >= -10161435 @ 433.547
437.34/438.43	c GLOBAL bounds - >= -10161435 @ 434.885
439.93/441.01	c GLOBAL bounds - >= -10161435 @ 437.454
441.33/442.45	c GLOBAL bounds - >= -10161435 @ 438.883
442.53/443.62	c GLOBAL bounds - >= -10161435 @ 440.057
443.72/444.81	c GLOBAL bounds - >= -10161435 @ 441.242
470.16/471.30	c GLOBAL bounds - >= -10161435 @ 467.648
476.75/477.90	c GLOBAL bounds - >= -10161435 @ 474.208
484.83/486.09	c GLOBAL bounds - >= -10161435 @ 482.363
486.12/487.37	c GLOBAL bounds - >= -10161435 @ 483.642
487.42/488.69	c GLOBAL bounds - >= -10161435 @ 484.953
488.71/489.94	c GLOBAL bounds - >= -10161435 @ 486.201
489.92/491.13	c GLOBAL bounds - >= -10161435 @ 487.387
493.01/494.22	c GLOBAL bounds - >= -10161435 @ 490.467
494.31/495.52	c GLOBAL bounds - >= -10161435 @ 491.762
495.50/496.71	c GLOBAL bounds - >= -10161435 @ 492.943
496.60/497.89	c GLOBAL bounds - >= -10161435 @ 494.121
497.90/499.19	c GLOBAL bounds - >= -10161435 @ 495.415
499.19/500.42	c GLOBAL bounds - >= -10161435 @ 496.64
500.39/501.62	c GLOBAL bounds - >= -10161435 @ 497.835
501.68/502.93	c GLOBAL bounds - >= -10161435 @ 499.144
502.98/504.22	c GLOBAL bounds - >= -10161435 @ 500.432
504.18/505.44	c GLOBAL bounds - >= -10161435 @ 501.649
505.78/507.02	c GLOBAL bounds - >= -10161435 @ 503.22
506.97/508.29	c GLOBAL bounds - >= -10161435 @ 504.485
508.37/509.62	c GLOBAL bounds - >= -10161435 @ 505.806
510.77/512.08	c GLOBAL bounds - >= -10161435 @ 508.268
512.16/513.48	c GLOBAL bounds - >= -10161435 @ 509.658
513.45/514.72	c GLOBAL bounds - >= -10161435 @ 510.887
514.65/515.92	c GLOBAL bounds - >= -10161435 @ 512.09
515.85/517.13	c GLOBAL bounds - >= -10161435 @ 513.291
517.04/518.32	c GLOBAL bounds - >= -10161435 @ 514.485
518.24/519.53	c GLOBAL bounds - >= -10161435 @ 515.69
520.24/521.56	c GLOBAL bounds - >= -10161435 @ 517.702
527.12/528.44	c GLOBAL bounds - >= -10161435 @ 524.542
529.41/530.75	c GLOBAL bounds - >= -10161435 @ 526.843
530.71/532.06	c GLOBAL bounds - >= -10161435 @ 528.142
536.00/537.35	c GLOBAL bounds - >= -10161435 @ 533.42
537.60/538.94	c GLOBAL bounds - >= -10161435 @ 535.005
538.89/540.22	c GLOBAL bounds - >= -10161435 @ 536.282
542.08/543.43	c GLOBAL bounds - >= -10161435 @ 539.481
543.69/545.08	c GLOBAL bounds - >= -10161435 @ 541.124
545.18/546.52	c GLOBAL bounds - >= -10161435 @ 542.563
546.57/547.90	c GLOBAL bounds - >= -10161435 @ 543.942
547.97/549.31	c GLOBAL bounds - >= -10161435 @ 545.347
549.16/550.57	c GLOBAL bounds - >= -10161435 @ 546.602
550.46/551.80	c GLOBAL bounds - >= -10161435 @ 547.833
557.24/558.67	c GLOBAL bounds - >= -10161435 @ 554.677
558.65/560.06	c GLOBAL bounds - >= -10161435 @ 556.06
662.60/664.28	c GLOBAL bounds - >= -10161435 @ 660.028
664.19/665.83	c GLOBAL bounds - >= -10161435 @ 661.574
665.60/667.26	c GLOBAL bounds - >= -10161435 @ 662.993
666.99/668.68	c GLOBAL bounds - >= -10161435 @ 664.412
668.50/670.15	c GLOBAL bounds - >= -10161435 @ 665.874
670.18/671.85	c GLOBAL bounds - >= -10161435 @ 667.573
671.68/673.39	c GLOBAL bounds - >= -10161435 @ 669.111
673.18/674.86	c GLOBAL bounds - >= -10161435 @ 670.574
674.67/676.32	c GLOBAL bounds - >= -10161435 @ 672.025
676.07/677.75	c GLOBAL bounds - >= -10161435 @ 673.455
677.47/679.14	c GLOBAL bounds - >= -10161435 @ 674.837
679.66/681.33	c GLOBAL bounds - >= -10161435 @ 677.026
681.16/682.88	c GLOBAL bounds - >= -10161435 @ 678.566
682.65/684.37	c GLOBAL bounds - >= -10161435 @ 680.053
684.15/685.83	c GLOBAL bounds - >= -10161435 @ 681.508
685.84/687.55	c GLOBAL bounds - >= -10161435 @ 683.218
687.34/689.08	c GLOBAL bounds - >= -10161435 @ 684.743
689.13/690.84	c GLOBAL bounds - >= -10161435 @ 686.496
690.73/692.42	c GLOBAL bounds - >= -10161435 @ 688.079
692.23/693.94	c GLOBAL bounds - >= -10161435 @ 689.593
693.73/695.46	c GLOBAL bounds - >= -10161435 @ 691.108
695.33/697.05	c GLOBAL bounds - >= -10161435 @ 692.691
697.02/698.70	c GLOBAL bounds - >= -10161435 @ 694.333
700.90/702.69	c GLOBAL bounds - >= -10161435 @ 698.309
702.50/704.24	c GLOBAL bounds - >= -10161435 @ 699.858
704.10/705.84	c GLOBAL bounds - >= -10161435 @ 701.443
705.60/707.38	c GLOBAL bounds - >= -10161435 @ 702.98
707.19/708.99	c GLOBAL bounds - >= -10161435 @ 704.584
708.78/710.53	c GLOBAL bounds - >= -10161435 @ 706.123
710.18/711.99	c GLOBAL bounds - >= -10161435 @ 707.58
711.67/713.43	c GLOBAL bounds - >= -10161435 @ 709.013
713.37/715.14	c GLOBAL bounds - >= -10161435 @ 710.719
714.97/716.70	c GLOBAL bounds - >= -10161435 @ 712.272
716.28/718.10	c GLOBAL bounds - >= -10161435 @ 713.663
718.56/720.32	c GLOBAL bounds - >= -10161435 @ 715.879
720.26/722.05	c GLOBAL bounds - >= -10161435 @ 717.608
721.95/723.74	c GLOBAL bounds - >= -10161435 @ 719.286
723.65/725.44	c GLOBAL bounds - >= -10161435 @ 720.98
725.04/726.88	c GLOBAL bounds - >= -10161435 @ 722.422
726.84/728.70	c GLOBAL bounds - >= -10161435 @ 724.229
728.43/730.26	c GLOBAL bounds - >= -10161435 @ 725.78
729.94/731.72	c GLOBAL bounds - >= -10161435 @ 727.231
731.43/733.21	c GLOBAL bounds - >= -10161435 @ 728.719
732.93/734.73	c GLOBAL bounds - >= -10161435 @ 730.232
734.92/736.70	c GLOBAL bounds - >= -10161435 @ 732.194
736.91/738.71	c GLOBAL bounds - >= -10161435 @ 734.199
738.81/740.61	c GLOBAL bounds - >= -10161435 @ 736.093
741.51/743.31	c GLOBAL bounds - >= -10161435 @ 738.782
743.79/745.60	c GLOBAL bounds - >= -10161435 @ 741.063
746.89/748.74	c GLOBAL bounds - >= -10161435 @ 744.195
748.69/750.51	c GLOBAL bounds - >= -10161435 @ 745.951
750.19/752.05	c GLOBAL bounds - >= -10161435 @ 747.484
751.68/753.56	c GLOBAL bounds - >= -10161435 @ 748.997
753.28/755.13	c GLOBAL bounds - >= -10161435 @ 750.556
755.28/757.12	c GLOBAL bounds - >= -10161435 @ 752.541
756.97/758.85	c #Conflicts:       3000 | #Constraints:     324214
756.97/758.85	c GLOBAL bounds - >= -10161435 @ 754.266
758.76/760.65	c GLOBAL bounds - >= -10161435 @ 756.063
760.55/762.42	c GLOBAL bounds - >= -10161435 @ 757.819
762.16/764.04	c GLOBAL bounds - >= -10161435 @ 759.431
763.75/765.63	c GLOBAL bounds - >= -10161435 @ 761.02
765.55/767.48	c GLOBAL bounds - >= -10161435 @ 762.863
767.25/769.10	c GLOBAL bounds - >= -10161435 @ 764.481
768.74/770.69	c GLOBAL bounds - >= -10161435 @ 766.068
770.33/772.28	c GLOBAL bounds - >= -10161435 @ 767.645
771.93/773.86	c GLOBAL bounds - >= -10161435 @ 769.224
773.52/775.48	c GLOBAL bounds - >= -10161435 @ 770.833
776.91/778.85	c GLOBAL bounds - >= -10161435 @ 774.197
779.60/781.51	c GLOBAL bounds - >= -10161435 @ 776.846
792.97/794.95	c GLOBAL bounds - >= -10161435 @ 790.223
794.67/796.68	c GLOBAL bounds - >= -10161435 @ 791.948
796.37/798.35	c GLOBAL bounds - >= -10161435 @ 793.62
798.07/800.02	c GLOBAL bounds - >= -10161435 @ 795.283
799.76/801.70	c GLOBAL bounds - >= -10161435 @ 796.95
801.45/803.46	c GLOBAL bounds - >= -10161435 @ 798.705
803.15/805.14	c GLOBAL bounds - >= -10161435 @ 800.385
804.84/806.80	c GLOBAL bounds - >= -10161435 @ 802.042
806.64/808.65	c GLOBAL bounds - >= -10161435 @ 803.881
808.33/810.34	c GLOBAL bounds - >= -10161435 @ 805.567
810.03/812.08	c GLOBAL bounds - >= -10161435 @ 807.305
812.23/814.29	c GLOBAL bounds - >= -10161435 @ 809.501
814.03/816.04	c GLOBAL bounds - >= -10161435 @ 811.249
819.61/821.68	c GLOBAL bounds - >= -10161435 @ 816.86
822.01/824.06	c GLOBAL bounds - >= -10161435 @ 819.234
823.80/825.89	c GLOBAL bounds - >= -10161435 @ 821.054
825.59/827.62	c GLOBAL bounds - >= -10161435 @ 822.779
827.29/829.31	c GLOBAL bounds - >= -10161435 @ 824.467
828.99/831.05	c GLOBAL bounds - >= -10161435 @ 826.195
830.67/832.71	c GLOBAL bounds - >= -10161435 @ 827.848
833.07/835.15	c GLOBAL bounds - >= -10161435 @ 830.277
835.76/837.84	c GLOBAL bounds - >= -10161435 @ 832.953
837.66/839.75	c GLOBAL bounds - >= -10161435 @ 834.854
841.45/843.59	c GLOBAL bounds - >= -10161435 @ 838.681
843.35/845.43	c GLOBAL bounds - >= -10161435 @ 840.514
845.64/847.71	c GLOBAL bounds - >= -10161435 @ 842.789
847.53/849.65	c GLOBAL bounds - >= -10161435 @ 844.724
849.33/851.43	c GLOBAL bounds - >= -10161435 @ 846.492
851.33/853.41	c GLOBAL bounds - >= -10161435 @ 848.471
853.42/855.56	c GLOBAL bounds - >= -10161435 @ 850.611
855.42/857.59	c GLOBAL bounds - >= -10161435 @ 852.637
858.21/860.32	c GLOBAL bounds - >= -10161435 @ 855.362
860.10/862.22	c GLOBAL bounds - >= -10161435 @ 857.254
867.38/869.51	c GLOBAL bounds - >= -10161435 @ 864.509
869.28/871.47	c GLOBAL bounds - >= -10161435 @ 866.466
871.28/873.41	c GLOBAL bounds - >= -10161435 @ 868.391
873.07/875.25	c GLOBAL bounds - >= -10161435 @ 870.227
874.97/877.19	c GLOBAL bounds - >= -10161435 @ 872.161
876.86/879.03	c GLOBAL bounds - >= -10161435 @ 873.991
880.05/882.22	c GLOBAL bounds - >= -10161435 @ 877.177
881.95/884.17	c GLOBAL bounds - >= -10161435 @ 879.115
883.85/886.03	c GLOBAL bounds - >= -10161435 @ 880.965
885.94/888.11	c GLOBAL bounds - >= -10161435 @ 883.044
887.83/890.04	c GLOBAL bounds - >= -10161435 @ 884.967
889.83/892.01	c GLOBAL bounds - >= -10161435 @ 886.931
891.72/893.97	c GLOBAL bounds - >= -10161435 @ 888.88
899.61/901.89	c GLOBAL bounds - >= -10161435 @ 896.773
901.60/903.82	c GLOBAL bounds - >= -10161435 @ 898.699
905.29/907.57	c GLOBAL bounds - >= -10161435 @ 902.439
909.89/912.16	c GLOBAL bounds - >= -10161435 @ 907.01
918.25/920.53	c GLOBAL bounds - >= -10161435 @ 915.341
920.26/922.55	c GLOBAL bounds - >= -10161435 @ 917.359
922.15/924.46	c GLOBAL bounds - >= -10161435 @ 919.258
924.05/926.39	c GLOBAL bounds - >= -10161435 @ 921.187
929.23/931.58	c GLOBAL bounds - >= -10161435 @ 926.354
931.52/933.86	c GLOBAL bounds - >= -10161435 @ 928.63
933.82/936.11	c GLOBAL bounds - >= -10161435 @ 930.868
935.82/938.12	c GLOBAL bounds - >= -10161435 @ 932.877
937.82/940.12	c GLOBAL bounds - >= -10161435 @ 934.869
939.81/942.13	c GLOBAL bounds - >= -10161435 @ 936.875
941.80/944.13	c GLOBAL bounds - >= -10161435 @ 938.862
943.89/946.25	c GLOBAL bounds - >= -10161435 @ 940.969
945.98/948.33	c GLOBAL bounds - >= -10161435 @ 943.043
947.87/950.27	c GLOBAL bounds - >= -10161435 @ 944.981
949.87/952.27	c GLOBAL bounds - >= -10161435 @ 946.97
952.06/954.42	c GLOBAL bounds - >= -10161435 @ 949.112
954.06/956.41	c GLOBAL bounds - >= -10161435 @ 951.095
956.45/958.81	c GLOBAL bounds - >= -10161435 @ 953.49
958.65/961.01	c GLOBAL bounds - >= -10161435 @ 955.682
967.43/969.89	c GLOBAL bounds - >= -10161435 @ 964.543
969.73/972.12	c GLOBAL bounds - >= -10161435 @ 966.758
971.82/974.21	c GLOBAL bounds - >= -10161435 @ 968.84
973.91/976.39	c GLOBAL bounds - >= -10161435 @ 971.017
976.00/978.45	c GLOBAL bounds - >= -10161435 @ 973.069
978.11/980.59	c GLOBAL bounds - >= -10161435 @ 975.2
1022.41/1024.97	c GLOBAL bounds - >= -10161435 @ 1019.47
1037.86/1040.42	c GLOBAL bounds - >= -10161435 @ 1034.83
1050.93/1053.56	c GLOBAL bounds - >= -10161435 @ 1047.88
1056.52/1059.12	c GLOBAL bounds - >= -10161435 @ 1053.4
1059.21/1061.88	c GLOBAL bounds - >= -10161435 @ 1056.15
1061.61/1064.25	c GLOBAL bounds - >= -10161435 @ 1058.51
1065.69/1068.31	c GLOBAL bounds - >= -10161435 @ 1062.56
1068.59/1071.21	c GLOBAL bounds - >= -10161435 @ 1065.44
1075.08/1077.75	c GLOBAL bounds - >= -10161435 @ 1071.92
1077.76/1080.47	c GLOBAL bounds - >= -10161435 @ 1074.61
1080.37/1083.02	c GLOBAL bounds - >= -10161435 @ 1077.16
1083.15/1085.88	c GLOBAL bounds - >= -10161435 @ 1080
1088.74/1091.45	c GLOBAL bounds - >= -10161435 @ 1085.53
1092.34/1095.09	c GLOBAL bounds - >= -10161435 @ 1089.15
1096.12/1098.84	c GLOBAL bounds - >= -10161435 @ 1092.87
1098.91/1101.62	c GLOBAL bounds - >= -10161435 @ 1095.63
1101.41/1104.14	c GLOBAL bounds - >= -10161435 @ 1098.14
1104.70/1107.40	c GLOBAL bounds - >= -10161435 @ 1101.38
1107.69/1110.42	c GLOBAL bounds - >= -10161435 @ 1104.39
1110.29/1113.08	c GLOBAL bounds - >= -10161435 @ 1107.03
1116.57/1119.37	c GLOBAL bounds - >= -10161435 @ 1113.3
1119.96/1122.78	c GLOBAL bounds - >= -10161435 @ 1116.69
1123.16/1125.94	c GLOBAL bounds - >= -10161435 @ 1119.83
1125.65/1128.47	c GLOBAL bounds - >= -10161435 @ 1122.36
1128.74/1131.50	c GLOBAL bounds - >= -10161435 @ 1125.37
1131.53/1134.38	c GLOBAL bounds - >= -10161435 @ 1128.21
1134.23/1137.03	c GLOBAL bounds - >= -10161435 @ 1130.85
1136.92/1139.70	c GLOBAL bounds - >= -10161435 @ 1133.5
1139.51/1142.38	c GLOBAL bounds - >= -10161435 @ 1136.17
1142.11/1144.90	c GLOBAL bounds - >= -10161435 @ 1138.69
1144.70/1147.50	c GLOBAL bounds - >= -10161435 @ 1141.28
1147.30/1150.14	c GLOBAL bounds - >= -10161435 @ 1143.9
1149.78/1152.67	c GLOBAL bounds - >= -10161435 @ 1146.42
1153.18/1156.04	c GLOBAL bounds - >= -10161435 @ 1149.78
1158.07/1160.90	c GLOBAL bounds - >= -10161435 @ 1154.62
1187.79/1190.71	c GLOBAL bounds - >= -10161435 @ 1184.32
1190.49/1193.44	c GLOBAL bounds - >= -10161435 @ 1187.01
1193.18/1196.18	c GLOBAL bounds - >= -10161435 @ 1189.72
1195.88/1198.85	c GLOBAL bounds - >= -10161435 @ 1192.37
1198.47/1201.40	c GLOBAL bounds - >= -10161435 @ 1194.91
1200.96/1203.90	c GLOBAL bounds - >= -10161435 @ 1197.4
1203.36/1206.32	c GLOBAL bounds - >= -10161435 @ 1199.81
1207.25/1210.22	c GLOBAL bounds - >= -10161435 @ 1203.69
1212.73/1215.75	c GLOBAL bounds - >= -10161435 @ 1209.16
1215.92/1218.98	c GLOBAL bounds - >= -10161435 @ 1212.37
1218.72/1221.72	c GLOBAL bounds - >= -10161435 @ 1215.08
1221.51/1224.58	c GLOBAL bounds - >= -10161435 @ 1217.94
1224.31/1227.30	c GLOBAL bounds - >= -10161435 @ 1220.65
1227.10/1230.15	c GLOBAL bounds - >= -10161435 @ 1223.48
1229.69/1232.75	c GLOBAL bounds - >= -10161435 @ 1226.07
1247.75/1250.85	c GLOBAL bounds - >= -10161435 @ 1244.04
1250.54/1253.68	c GLOBAL bounds - >= -10161435 @ 1246.85
1254.04/1257.16	c GLOBAL bounds - >= -10161435 @ 1250.32
1256.83/1259.95	c GLOBAL bounds - >= -10161435 @ 1253.09
1259.42/1262.55	c GLOBAL bounds - >= -10161435 @ 1255.68
1263.61/1266.72	c #Conflicts:       4000 | #Constraints:     325500
1263.61/1266.72	c GLOBAL bounds - >= -10161435 @ 1259.84
1266.50/1269.60	c GLOBAL bounds - >= -10161435 @ 1262.7
1269.69/1272.81	c GLOBAL bounds - >= -10161435 @ 1265.9
1281.27/1284.41	c GLOBAL bounds - >= -10161435 @ 1277.47
1285.16/1288.33	c GLOBAL bounds - >= -10161435 @ 1281.34
1288.86/1292.02	c GLOBAL bounds - >= -10161435 @ 1285.02
1291.95/1295.16	c GLOBAL bounds - >= -10161435 @ 1288.14
1294.83/1298.08	c GLOBAL bounds - >= -10161435 @ 1291.05
1297.93/1301.18	c GLOBAL bounds - >= -10161435 @ 1294.14
1301.51/1304.74	c GLOBAL bounds - >= -10161435 @ 1297.67
1304.51/1307.78	c GLOBAL bounds - >= -10161435 @ 1300.7
1307.70/1310.96	c GLOBAL bounds - >= -10161435 @ 1303.85
1310.69/1313.99	c GLOBAL bounds - >= -10161435 @ 1306.87
1313.79/1317.03	c GLOBAL bounds - >= -10161435 @ 1309.9
1316.58/1319.82	c GLOBAL bounds - >= -10161435 @ 1312.67
1319.57/1322.81	c GLOBAL bounds - >= -10161435 @ 1315.66
1324.16/1327.46	c GLOBAL bounds - >= -10161435 @ 1320.29
1327.46/1330.71	c GLOBAL bounds - >= -10161435 @ 1323.51
1332.04/1335.38	c GLOBAL bounds - >= -10161435 @ 1328.15
1339.92/1343.21	c GLOBAL bounds - >= -10161435 @ 1335.96
1345.82/1349.13	c GLOBAL bounds - >= -10161435 @ 1341.86
1348.71/1352.03	c GLOBAL bounds - >= -10161435 @ 1344.74
1352.19/1355.55	c GLOBAL bounds - >= -10161435 @ 1348.26
1355.09/1358.44	c GLOBAL bounds - >= -10161435 @ 1351.14
1357.88/1361.21	c GLOBAL bounds - >= -10161435 @ 1353.9
1361.77/1365.10	c GLOBAL bounds - >= -10161435 @ 1357.78
1364.96/1368.30	c GLOBAL bounds - >= -10161435 @ 1360.97
1367.66/1371.05	c GLOBAL bounds - >= -10161435 @ 1363.71
1370.55/1373.91	c GLOBAL bounds - >= -10161435 @ 1366.55
1373.34/1376.72	c GLOBAL bounds - >= -10161435 @ 1369.35
1376.33/1379.77	c GLOBAL bounds - >= -10161435 @ 1372.39
1379.23/1382.65	c GLOBAL bounds - >= -10161435 @ 1375.25
1382.62/1386.07	c GLOBAL bounds - >= -10161435 @ 1378.66
1385.91/1389.32	c GLOBAL bounds - >= -10161435 @ 1381.9
1388.80/1392.27	c GLOBAL bounds - >= -10161435 @ 1384.84
1391.70/1395.19	c GLOBAL bounds - >= -10161435 @ 1387.75
1426.81/1430.38	c GLOBAL bounds - >= -10161435 @ 1422.82
1430.11/1433.62	c GLOBAL bounds - >= -10161435 @ 1426.04
1433.60/1437.12	c GLOBAL bounds - >= -10161435 @ 1429.52
1436.59/1440.19	c GLOBAL bounds - >= -10161435 @ 1432.58
1439.98/1443.52	c GLOBAL bounds - >= -10161435 @ 1435.88
1442.97/1446.52	c GLOBAL bounds - >= -10161435 @ 1438.88
1447.76/1451.37	c GLOBAL bounds - >= -10161435 @ 1443.7
1463.92/1467.50	c INPROCESSING
1463.92/1467.50	c GARBAGE COLLECT
1463.92/1467.50	c GLOBAL bounds - >= -10161435 @ 1459.78
1466.22/1469.88	c GLOBAL bounds - >= -10161435 @ 1462.16
1468.21/1471.81	c GLOBAL bounds - >= -10161435 @ 1464.08
1469.81/1473.48	c GLOBAL bounds - >= -10161435 @ 1465.75
1471.50/1475.16	c GLOBAL bounds - >= -10161435 @ 1467.42
1473.10/1476.78	c GLOBAL bounds - >= -10161435 @ 1469.03
1474.89/1478.54	c GLOBAL bounds - >= -10161435 @ 1470.79
1479.28/1482.99	c GLOBAL bounds - >= -10161435 @ 1475.22
1481.17/1484.83	c GLOBAL bounds - >= -10161435 @ 1477.06
1483.07/1486.78	c GLOBAL bounds - >= -10161435 @ 1479
1485.47/1489.14	c GLOBAL bounds - >= -10161435 @ 1481.34
1487.66/1491.39	c GLOBAL bounds - >= -10161435 @ 1483.58
1490.85/1494.56	c GLOBAL bounds - >= -10161435 @ 1486.75
1492.55/1496.24	c GLOBAL bounds - >= -10161435 @ 1488.43
1494.24/1497.93	c GLOBAL bounds - >= -10161435 @ 1490.11
1495.94/1499.61	c GLOBAL bounds - >= -10161435 @ 1491.78
1500.64/1504.35	c GLOBAL bounds - >= -10161435 @ 1496.52
1502.63/1506.35	c GLOBAL bounds - >= -10161435 @ 1498.51
1504.33/1508.03	c GLOBAL bounds - >= -10161435 @ 1500.18
1507.32/1511.05	c GLOBAL bounds - >= -10161435 @ 1503.2
1509.01/1512.75	c GLOBAL bounds - >= -10161435 @ 1504.89
1510.81/1514.55	c GLOBAL bounds - >= -10161435 @ 1506.68
1512.70/1516.42	c GLOBAL bounds - >= -10161435 @ 1508.55
1514.60/1518.32	c GLOBAL bounds - >= -10161435 @ 1510.45
1516.89/1520.62	c GLOBAL bounds - >= -10161435 @ 1512.74
1519.39/1523.16	c GLOBAL bounds - >= -10161435 @ 1515.27
1521.48/1525.25	c GLOBAL bounds - >= -10161435 @ 1517.35
1523.38/1527.19	c GLOBAL bounds - >= -10161435 @ 1519.29
1525.17/1528.93	c GLOBAL bounds - >= -10161435 @ 1521.02
1526.97/1530.70	c GLOBAL bounds - >= -10161435 @ 1522.79
1529.06/1532.85	c GLOBAL bounds - >= -10161435 @ 1524.93
1542.53/1546.30	c GLOBAL bounds - >= -10161435 @ 1538.35
1546.52/1550.35	c GLOBAL bounds - >= -10161435 @ 1542.39
1548.91/1552.74	c GLOBAL bounds - >= -10161435 @ 1544.77
1552.70/1556.50	c GLOBAL bounds - >= -10161435 @ 1548.52
1556.00/1559.80	c GLOBAL bounds - >= -10161435 @ 1551.81
1559.59/1563.43	c GLOBAL bounds - >= -10161435 @ 1555.44
1561.68/1565.56	c GLOBAL bounds - >= -10161435 @ 1557.56
1563.67/1567.53	c GLOBAL bounds - >= -10161435 @ 1559.52
1565.57/1569.42	c GLOBAL bounds - >= -10161435 @ 1561.41
1571.17/1575.05	c GLOBAL bounds - >= -10161435 @ 1567.01
1573.85/1577.71	c GLOBAL bounds - >= -10161435 @ 1569.66
1581.04/1584.96	c GLOBAL bounds - >= -10161435 @ 1576.89
1583.43/1587.35	c GLOBAL bounds - >= -10161435 @ 1579.27
1588.52/1592.48	c GLOBAL bounds - >= -10161435 @ 1584.4
1593.21/1597.18	c GLOBAL bounds - >= -10161435 @ 1589.09
1595.60/1599.55	c GLOBAL bounds - >= -10161435 @ 1591.44
1597.49/1601.44	c GLOBAL bounds - >= -10161435 @ 1593.33
1599.59/1603.50	c GLOBAL bounds - >= -10161435 @ 1595.38
1602.38/1606.33	c GLOBAL bounds - >= -10161435 @ 1598.21
1604.39/1608.37	c GLOBAL bounds - >= -10161435 @ 1600.24
1606.48/1610.48	c GLOBAL bounds - >= -10161435 @ 1602.35
1608.97/1612.93	c GLOBAL bounds - >= -10161435 @ 1604.79
1610.97/1614.90	c GLOBAL bounds - >= -10161435 @ 1606.76
1613.17/1617.14	c GLOBAL bounds - >= -10161435 @ 1608.99
1615.06/1619.09	c GLOBAL bounds - >= -10161435 @ 1610.94
1617.06/1621.02	c GLOBAL bounds - >= -10161435 @ 1612.86
1629.92/1633.97	c GLOBAL bounds - >= -10161435 @ 1625.78
1638.80/1642.83	c GLOBAL bounds - >= -10161435 @ 1634.62
1641.39/1645.44	c GLOBAL bounds - >= -10161435 @ 1637.22
1643.48/1647.59	c GLOBAL bounds - >= -10161435 @ 1639.36
1645.58/1649.65	c GLOBAL bounds - >= -10161435 @ 1641.42
1647.67/1651.78	c GLOBAL bounds - >= -10161435 @ 1643.55
1649.77/1653.89	c GLOBAL bounds - >= -10161435 @ 1645.64
1651.87/1655.95	c GLOBAL bounds - >= -10161435 @ 1647.69
1654.26/1658.30	c GLOBAL bounds - >= -10161435 @ 1650.03
1656.65/1660.76	c GLOBAL bounds - >= -10161435 @ 1652.48
1658.65/1662.79	c GLOBAL bounds - >= -10161435 @ 1654.51
1660.95/1665.05	c GLOBAL bounds - >= -10161435 @ 1656.76
1663.14/1667.20	c GLOBAL bounds - >= -10161435 @ 1658.91
1666.74/1670.84	c GLOBAL bounds - >= -10161435 @ 1662.53
1669.33/1673.46	c GLOBAL bounds - >= -10161435 @ 1665.15
1671.62/1675.74	c GLOBAL bounds - >= -10161435 @ 1667.42
1677.61/1681.73	c GLOBAL bounds - >= -10161435 @ 1673.4
1683.20/1687.38	c GLOBAL bounds - >= -10161435 @ 1679.04
1685.79/1689.93	c GLOBAL bounds - >= -10161435 @ 1681.58
1690.78/1694.93	c GLOBAL bounds - >= -10161435 @ 1686.57
1706.94/1711.13	c GLOBAL bounds - >= -10161435 @ 1702.73
1709.53/1713.75	c GLOBAL bounds - >= -10161435 @ 1705.34
1711.73/1716.00	c GLOBAL bounds - >= -10161435 @ 1707.58
1714.02/1718.25	c GLOBAL bounds - >= -10161435 @ 1709.83
1716.31/1720.50	c GLOBAL bounds - >= -10161435 @ 1712.07
1718.91/1723.13	c GLOBAL bounds - >= -10161435 @ 1714.69
1721.10/1725.32	c GLOBAL bounds - >= -10161435 @ 1716.88
1723.29/1727.51	c GLOBAL bounds - >= -10161435 @ 1719.06
1725.59/1729.82	c GLOBAL bounds - >= -10161435 @ 1721.36
1727.68/1731.93	c GLOBAL bounds - >= -10161435 @ 1723.47
1730.28/1734.51	c GLOBAL bounds - >= -10161435 @ 1726.04
1732.88/1737.15	c GLOBAL bounds - >= -10161435 @ 1728.68
1736.46/1740.72	c GLOBAL bounds - >= -10161435 @ 1732.23
1738.96/1743.20	c GLOBAL bounds - >= -10161435 @ 1734.7
1741.56/1745.84	c GLOBAL bounds - >= -10161435 @ 1737.33
1744.35/1748.63	c GLOBAL bounds - >= -10161435 @ 1740.11
1746.65/1750.97	c GLOBAL bounds - >= -10161435 @ 1742.44
1750.44/1754.71	c GLOBAL bounds - >= -10161435 @ 1746.17
1752.93/1757.23	c GLOBAL bounds - >= -10161435 @ 1748.69
1756.12/1760.40	c GLOBAL bounds - >= -10161435 @ 1751.85
1758.42/1762.77	c GLOBAL bounds - >= -10161435 @ 1754.21
1763.61/1767.93	c GLOBAL bounds - >= -10161435 @ 1759.36
1766.00/1770.33	c GLOBAL bounds - >= -10161435 @ 1761.76
1781.56/1785.92	c GLOBAL bounds - >= -10161435 @ 1777.31
1785.55/1789.94	c GLOBAL bounds - >= -10161435 @ 1781.32
1787.94/1792.34	c GLOBAL bounds - >= -10161435 @ 1783.71
1790.84/1795.25	c GLOBAL bounds - >= -10161435 @ 1786.62
1793.53/1797.96	c GLOBAL bounds - >= -10161435 @ 1789.32
1796.32/1800.79	c GLOBAL bounds - >= -10161435 @ 1792.14
1798.72/1803.12	c GLOBAL bounds - >= -10161435 @ 1794.47
1801.31/1805.71	c GLOBAL bounds - >= -10161435 @ 1797.05
1803.80/1808.23	c GLOBAL bounds - >= -10161435 @ 1799.56
1809.09/1813.52	c GLOBAL bounds - >= -10161435 @ 1804.84
1811.49/1815.93	c GLOBAL bounds - >= -10161435 @ 1807.24
1813.78/1818.24	c GLOBAL bounds - >= -10161435 @ 1809.55
1816.08/1820.58	c GLOBAL bounds - >= -10161435 @ 1811.87
1822.57/1827.06	c GLOBAL bounds - >= -10161435 @ 1818.33
1824.96/1829.46	c GLOBAL bounds - >= -10161435 @ 1820.72
1827.25/1831.78	c GLOBAL bounds - >= -10161435 @ 1823.04
1829.55/1834.05	c GLOBAL bounds - >= -10161435 @ 1825.31
1832.14/1836.61	c GLOBAL bounds - >= -10161435 @ 1827.86
1834.93/1839.47	c GLOBAL bounds - >= -10161435 @ 1830.71
1837.33/1841.88	c GLOBAL bounds - >= -10161435 @ 1833.11
1839.72/1844.21	c GLOBAL bounds - >= -10161435 @ 1835.44
1842.21/1846.70	c GLOBAL bounds - >= -10161435 @ 1837.92
1844.82/1849.35	c GLOBAL bounds - >= -10161435 @ 1840.56
1847.21/1851.76	c GLOBAL bounds - >= -10161435 @ 1842.97
1852.30/1856.88	c GLOBAL bounds - >= -10161435 @ 1848.08
1856.79/1861.38	c GLOBAL bounds - >= -10161435 @ 1852.56
1859.68/1864.27	c GLOBAL bounds - >= -10161435 @ 1855.44
1862.17/1866.76	c GLOBAL bounds - >= -10161435 @ 1857.93
1864.67/1869.22	c GLOBAL bounds - >= -10161435 @ 1860.39
1867.47/1872.06	c GLOBAL bounds - >= -10161435 @ 1863.22
1870.06/1874.63	c GLOBAL bounds - >= -10161435 @ 1865.78
1873.35/1877.95	c GLOBAL bounds - >= -10161435 @ 1869.1
1876.54/1881.15	c GLOBAL bounds - >= -10161435 @ 1872.29
1879.03/1883.64	c GLOBAL bounds - >= -10161435 @ 1874.77
1881.63/1886.20	c GLOBAL bounds - >= -10161435 @ 1877.32
1884.12/1888.70	c GLOBAL bounds - >= -10161435 @ 1879.82
1886.52/1891.14	c GLOBAL bounds - >= -10161435 @ 1882.25
1889.01/1893.69	c GLOBAL bounds - >= -10161435 @ 1884.8
1891.70/1896.30	c GLOBAL bounds - >= -10161435 @ 1887.39
1894.40/1899.02	c GLOBAL bounds - >= -10161435 @ 1890.11
1897.09/1901.71	c GLOBAL bounds - >= -10161435 @ 1892.79
1899.79/1904.41	c GLOBAL bounds - >= -10161435 @ 1895.48
1902.48/1907.11	c GLOBAL bounds - >= -10161435 @ 1898.18
1905.07/1909.72	c GLOBAL bounds - >= -10161435 @ 1900.78
1907.47/1912.17	c GLOBAL bounds - >= -10161435 @ 1903.23
1911.46/1916.16	c GLOBAL bounds - >= -10161435 @ 1907.21
1914.25/1918.90	c GLOBAL bounds - >= -10161435 @ 1909.94
1916.74/1921.40	c GLOBAL bounds - >= -10161435 @ 1912.43
1920.34/1925.01	c GLOBAL bounds - >= -10161435 @ 1916.03
1923.13/1927.85	c GLOBAL bounds - >= -10161435 @ 1918.86
1925.82/1930.54	c GLOBAL bounds - >= -10161435 @ 1921.54
1928.51/1933.25	c GLOBAL bounds - >= -10161435 @ 1924.24
1931.10/1935.82	c GLOBAL bounds - >= -10161435 @ 1926.81
1956.85/1961.60	c #Conflicts:       5000 | #Constraints:     325286
1956.85/1961.60	c GLOBAL bounds - >= -10161435 @ 1952.52
1959.34/1964.17	c GLOBAL bounds - >= -10161435 @ 1955.08
1962.34/1967.11	c GLOBAL bounds - >= -10161435 @ 1958.02
1964.92/1969.71	c GLOBAL bounds - >= -10161435 @ 1960.61
1967.52/1972.36	c GLOBAL bounds - >= -10161435 @ 1963.26
1971.11/1975.91	c GLOBAL bounds - >= -10161435 @ 1966.79
1980.39/1985.27	c GLOBAL bounds - >= -10161435 @ 1976.14
1987.37/1992.24	c GLOBAL bounds - >= -10161435 @ 1983.08
1993.55/1998.42	c GLOBAL bounds - >= -10161435 @ 1989.25
1997.25/2002.11	c GLOBAL bounds - >= -10161435 @ 1992.93
2003.04/2007.98	c GLOBAL bounds - >= -10161435 @ 1998.79
2005.73/2010.65	c GLOBAL bounds - >= -10161435 @ 2001.45
2008.42/2013.37	c GLOBAL bounds - >= -10161435 @ 2004.16
2011.02/2015.98	c GLOBAL bounds - >= -10161435 @ 2006.77
2013.71/2018.61	c GLOBAL bounds - >= -10161435 @ 2009.39
2016.31/2021.24	c GLOBAL bounds - >= -10161435 @ 2012.02
2018.89/2023.89	c GLOBAL bounds - >= -10161435 @ 2014.65
2021.69/2026.60	c GLOBAL bounds - >= -10161435 @ 2017.36
2024.39/2029.36	c GLOBAL bounds - >= -10161435 @ 2020.1
2027.38/2032.33	c GLOBAL bounds - >= -10161435 @ 2023.06
2039.85/2044.89	c GLOBAL bounds - >= -10161435 @ 2035.59
2042.94/2047.97	c GLOBAL bounds - >= -10161435 @ 2038.67
2046.04/2051.03	c GLOBAL bounds - >= -10161435 @ 2041.72
2049.23/2054.25	c GLOBAL bounds - >= -10161435 @ 2044.94
2052.22/2057.20	c GLOBAL bounds - >= -10161435 @ 2047.87
2055.71/2060.75	c GLOBAL bounds - >= -10161435 @ 2051.42
2058.50/2063.52	c GLOBAL bounds - >= -10161435 @ 2054.18
2065.49/2070.51	c GLOBAL bounds - >= -10161435 @ 2061.15
2069.68/2074.78	c GLOBAL bounds - >= -10161435 @ 2065.41
2072.67/2077.75	c GLOBAL bounds - >= -10161435 @ 2068.37
2075.57/2080.64	c GLOBAL bounds - >= -10161435 @ 2071.26
2078.76/2083.82	c GLOBAL bounds - >= -10161435 @ 2074.43
2083.15/2088.27	c GLOBAL bounds - >= -10161435 @ 2078.87
2086.24/2091.30	c GLOBAL bounds - >= -10161435 @ 2081.89
2089.73/2094.87	c GLOBAL bounds - >= -10161435 @ 2085.45
2092.62/2097.75	c GLOBAL bounds - >= -10161435 @ 2088.32
2106.00/2111.15	c GLOBAL bounds - >= -10161435 @ 2101.69
2122.86/2128.10	c GLOBAL bounds - >= -10161435 @ 2118.59
2126.25/2131.40	c GLOBAL bounds - >= -10161435 @ 2121.88
2129.24/2134.40	c GLOBAL bounds - >= -10161435 @ 2124.88
2132.13/2137.39	c GLOBAL bounds - >= -10161435 @ 2127.85
2135.32/2140.58	c GLOBAL bounds - >= -10161435 @ 2131.04
2148.39/2153.65	c GLOBAL bounds - >= -10161435 @ 2144.07
2151.58/2156.81	c GLOBAL bounds - >= -10161435 @ 2147.23
2154.58/2159.80	c GLOBAL bounds - >= -10161435 @ 2150.2
2159.87/2165.19	c GLOBAL bounds - >= -10161435 @ 2155.58
2162.86/2168.14	c GLOBAL bounds - >= -10161435 @ 2158.52
2165.65/2170.96	c GLOBAL bounds - >= -10161435 @ 2161.33
2175.82/2181.10	c GLOBAL bounds - >= -10161435 @ 2171.45
2179.72/2185.07	c GLOBAL bounds - >= -10161435 @ 2175.4
2183.21/2188.53	c GLOBAL bounds - >= -10161435 @ 2178.85
2187.20/2192.56	c GLOBAL bounds - >= -10161435 @ 2182.87
2192.28/2197.60	c GLOBAL bounds - >= -10161435 @ 2187.89
2195.27/2200.65	c GLOBAL bounds - >= -10161435 @ 2190.94
2198.37/2203.73	c GLOBAL bounds - >= -10161435 @ 2194.01
2201.36/2206.76	c GLOBAL bounds - >= -10161435 @ 2197.03
2204.35/2209.76	c GLOBAL bounds - >= -10161435 @ 2200.01
2208.14/2213.58	c GLOBAL bounds - >= -10161435 @ 2203.83
2211.43/2216.82	c GLOBAL bounds - >= -10161435 @ 2207.05
2214.43/2219.84	c GLOBAL bounds - >= -10161435 @ 2210.06
2217.72/2223.12	c GLOBAL bounds - >= -10161435 @ 2213.33
2221.00/2226.46	c GLOBAL bounds - >= -10161435 @ 2216.66
2225.00/2230.40	c GLOBAL bounds - >= -10161435 @ 2220.59
2228.09/2233.50	c GLOBAL bounds - >= -10161435 @ 2223.68
2232.18/2237.64	c GLOBAL bounds - >= -10161435 @ 2227.81
2235.37/2240.81	c GLOBAL bounds - >= -10161435 @ 2230.97
2238.57/2244.03	c GLOBAL bounds - >= -10161435 @ 2234.18
2242.16/2247.68	c GLOBAL bounds - >= -10161435 @ 2237.82
2245.35/2250.89	c GLOBAL bounds - >= -10161435 @ 2241.02
2303.92/2309.55	c #Conflicts:       6000 | #Constraints:     326424
2303.92/2309.55	c GLOBAL bounds - >= -10161435 @ 2299.36
2308.21/2313.87	c GLOBAL bounds - >= -10161435 @ 2303.67
2311.90/2317.56	c GLOBAL bounds - >= -10161435 @ 2307.34
2315.68/2321.32	c GLOBAL bounds - >= -10161435 @ 2311.09
2319.58/2325.28	c GLOBAL bounds - >= -10161435 @ 2315.04
2323.27/2328.93	c GLOBAL bounds - >= -10161435 @ 2318.68
2327.46/2333.13	c GLOBAL bounds - >= -10161435 @ 2322.86
2331.24/2336.90	c GLOBAL bounds - >= -10161435 @ 2326.62
2335.04/2340.71	c GLOBAL bounds - >= -10161435 @ 2330.42
2338.73/2344.42	c GLOBAL bounds - >= -10161435 @ 2334.12
2342.33/2348.07	c GLOBAL bounds - >= -10161435 @ 2337.76
2346.01/2351.76	c GLOBAL bounds - >= -10161435 @ 2341.44
2357.09/2362.89	c GLOBAL bounds - >= -10161435 @ 2352.53
2361.77/2367.59	c GLOBAL bounds - >= -10161435 @ 2357.22
2372.45/2378.29	c GLOBAL bounds - >= -10161435 @ 2367.89
2377.74/2383.51	c GLOBAL bounds - >= -10161435 @ 2373.09
2381.82/2387.69	c GLOBAL bounds - >= -10161435 @ 2377.26
2386.71/2392.57	c GLOBAL bounds - >= -10161435 @ 2382.11
2390.41/2396.29	c GLOBAL bounds - >= -10161435 @ 2385.82
2397.20/2403.07	c GLOBAL bounds - >= -10161435 @ 2392.58
2401.29/2407.16	c GLOBAL bounds - >= -10161435 @ 2396.66
2405.47/2411.30	c GLOBAL bounds - >= -10161435 @ 2400.78
2409.46/2415.38	c GLOBAL bounds - >= -10161435 @ 2404.85
2413.45/2419.33	c GLOBAL bounds - >= -10161435 @ 2408.78
2417.04/2423.00	c GLOBAL bounds - >= -10161435 @ 2412.44
2421.43/2427.31	c GLOBAL bounds - >= -10161435 @ 2416.74
2425.52/2431.44	c GLOBAL bounds - >= -10161435 @ 2420.85
2429.21/2435.15	c GLOBAL bounds - >= -10161435 @ 2424.56
2434.99/2440.96	c GLOBAL bounds - >= -10161435 @ 2430.35
2438.99/2445.00	c GLOBAL bounds - >= -10161435 @ 2434.38
2442.78/2448.77	c GLOBAL bounds - >= -10161435 @ 2438.13
2446.47/2452.44	c GLOBAL bounds - >= -10161435 @ 2441.8
2450.17/2456.15	c GLOBAL bounds - >= -10161435 @ 2445.5
2453.85/2459.89	c GLOBAL bounds - >= -10161435 @ 2449.23
2458.94/2464.91	c GLOBAL bounds - >= -10161435 @ 2454.23
2474.90/2480.96	c GLOBAL bounds - >= -10161435 @ 2470.22
2480.48/2486.58	c GLOBAL bounds - >= -10161435 @ 2475.82
2484.48/2490.54	c GLOBAL bounds - >= -10161435 @ 2479.77
2488.57/2494.69	c GLOBAL bounds - >= -10161435 @ 2483.9
2492.55/2498.65	c GLOBAL bounds - >= -10161435 @ 2487.85
2496.54/2502.60	c GLOBAL bounds - >= -10161435 @ 2491.79
2500.44/2506.55	c GLOBAL bounds - >= -10161435 @ 2495.72
2504.33/2510.40	c GLOBAL bounds - >= -10161435 @ 2499.57
2515.20/2521.36	c GLOBAL bounds - >= -10161435 @ 2510.49
2519.69/2525.86	c GLOBAL bounds - >= -10161435 @ 2514.97
2523.58/2529.76	c GLOBAL bounds - >= -10161435 @ 2518.85
2527.47/2533.63	c GLOBAL bounds - >= -10161435 @ 2522.71
2550.01/2556.22	c INPROCESSING
2550.01/2556.22	c GARBAGE COLLECT
2550.01/2556.22	c GLOBAL bounds - >= -10161435 @ 2545.21
2656.27/2662.74	c GLOBAL bounds - >= -10161435 @ 2651.47
2659.76/2666.24	c GLOBAL bounds - >= -10161435 @ 2654.96
2662.75/2669.24	c GLOBAL bounds - >= -10161435 @ 2657.95
2665.65/2672.15	c GLOBAL bounds - >= -10161435 @ 2660.84
2749.34/2756.03	c #Conflicts:       7000 | #Constraints:     325527
2749.34/2756.03	c GLOBAL bounds - >= -10161435 @ 2744.5
2868.47/2875.47	c GLOBAL bounds - >= -10161435 @ 2863.63
2871.96/2878.96	c GLOBAL bounds - >= -10161435 @ 2867.11
2875.05/2882.08	c GLOBAL bounds - >= -10161435 @ 2870.21
2878.44/2885.48	c GLOBAL bounds - >= -10161435 @ 2873.61
2882.63/2889.66	c GLOBAL bounds - >= -10161435 @ 2877.77
2888.02/2895.05	c GLOBAL bounds - >= -10161435 @ 2883.16
2891.21/2898.29	c GLOBAL bounds - >= -10161435 @ 2886.38
2894.40/2901.48	c GLOBAL bounds - >= -10161435 @ 2889.56
2897.59/2904.69	c GLOBAL bounds - >= -10161435 @ 2892.77
2901.38/2908.41	c GLOBAL bounds - >= -10161435 @ 2896.48
2904.67/2911.75	c GLOBAL bounds - >= -10161435 @ 2899.81
2956.06/2963.25	c #Conflicts:       8000 | #Constraints:     326551
2956.06/2963.25	c GLOBAL bounds - >= -10161435 @ 2951.17
2964.04/2971.25	c GLOBAL bounds - >= -10161435 @ 2959.15
2967.13/2974.39	c GLOBAL bounds - >= -10161435 @ 2962.27
2970.52/2977.76	c GLOBAL bounds - >= -10161435 @ 2965.64
2978.40/2985.66	c GLOBAL bounds - >= -10161435 @ 2973.52
2981.80/2989.08	c GLOBAL bounds - >= -10161435 @ 2976.93
2985.18/2992.46	c GLOBAL bounds - >= -10161435 @ 2980.3
2988.88/2996.18	c GLOBAL bounds - >= -10161435 @ 2984.01
2992.46/2999.78	c GLOBAL bounds - >= -10161435 @ 2987.6
2995.87/3003.18	c GLOBAL bounds - >= -10161435 @ 2990.99
3000.25/3007.53	c GLOBAL bounds - >= -10161435 @ 2995.33
3003.85/3011.16	c GLOBAL bounds - >= -10161435 @ 2998.96
3007.23/3014.59	c GLOBAL bounds - >= -10161435 @ 3002.36
3010.62/3017.91	c GLOBAL bounds - >= -10161435 @ 3005.68
3020.99/3028.31	c GLOBAL bounds - >= -10161435 @ 3016.05
3024.69/3032.04	c GLOBAL bounds - >= -10161435 @ 3019.75
3029.48/3036.86	c GLOBAL bounds - >= -10161435 @ 3024.56
3035.57/3042.98	c GLOBAL bounds - >= -10161435 @ 3030.67
3042.15/3049.51	c GLOBAL bounds - >= -10161435 @ 3037.18
3045.75/3053.11	c GLOBAL bounds - >= -10161435 @ 3040.77
3067.59/3075.08	c GLOBAL bounds - >= -10161435 @ 3062.67
3081.95/3089.43	c GLOBAL bounds - >= -10161435 @ 3076.99
3086.34/3093.89	c GLOBAL bounds - >= -10161435 @ 3081.44
3090.22/3097.73	c GLOBAL bounds - >= -10161435 @ 3085.27
3115.57/3123.18	c GLOBAL bounds - >= -10161435 @ 3110.64
3120.86/3128.45	c GLOBAL bounds - >= -10161435 @ 3115.89
3124.84/3132.41	c GLOBAL bounds - >= -10161435 @ 3119.84
3128.54/3136.18	c GLOBAL bounds - >= -10161435 @ 3123.6
3132.43/3140.06	c GLOBAL bounds - >= -10161435 @ 3127.47
3136.21/3143.82	c GLOBAL bounds - >= -10161435 @ 3131.22
3140.10/3147.75	c GLOBAL bounds - >= -10161435 @ 3135.14
3144.29/3151.91	c GLOBAL bounds - >= -10161435 @ 3139.29
3148.08/3155.75	c GLOBAL bounds - >= -10161435 @ 3143.12
3151.77/3159.49	c GLOBAL bounds - >= -10161435 @ 3146.85
3231.06/3238.98	c GLOBAL bounds - >= -10161435 @ 3226.07
3236.75/3244.64	c GLOBAL bounds - >= -10161435 @ 3231.72
3244.33/3252.20	c GLOBAL bounds - >= -10161435 @ 3239.24
3248.82/3256.75	c GLOBAL bounds - >= -10161435 @ 3243.77
3253.91/3261.81	c GLOBAL bounds - >= -10161435 @ 3248.82
3260.58/3268.55	c GLOBAL bounds - >= -10161435 @ 3255.53
3266.57/3274.54	c GLOBAL bounds - >= -10161435 @ 3261.49
3270.96/3278.93	c GLOBAL bounds - >= -10161435 @ 3265.87
3275.25/3283.27	c GLOBAL bounds - >= -10161435 @ 3270.19
3346.38/3354.55	c #Conflicts:       9000 | #Constraints:     327637
3346.38/3354.55	c GLOBAL bounds - >= -10161435 @ 3341.25
3353.56/3361.73	c GLOBAL bounds - >= -10161435 @ 3348.4
3380.19/3388.42	c INPROCESSING
3380.19/3388.42	c GARBAGE COLLECT
3380.19/3388.42	c GLOBAL bounds - >= -10161435 @ 3374.98
3383.68/3391.98	c GLOBAL bounds - >= -10161435 @ 3378.53
3386.47/3394.76	c GLOBAL bounds - >= -10161435 @ 3381.31
3389.17/3397.41	c GLOBAL bounds - >= -10161435 @ 3383.94
3394.45/3402.70	c GLOBAL bounds - >= -10161435 @ 3389.22
3397.64/3405.96	c GLOBAL bounds - >= -10161435 @ 3392.47
3400.53/3408.81	c GLOBAL bounds - >= -10161435 @ 3395.31
3403.33/3411.61	c GLOBAL bounds - >= -10161435 @ 3398.11
3406.32/3414.69	c GLOBAL bounds - >= -10161435 @ 3401.18
3409.41/3417.71	c GLOBAL bounds - >= -10161435 @ 3404.19
3446.22/3454.69	c GLOBAL bounds - >= -10161435 @ 3441.07
3449.32/3457.74	c GLOBAL bounds - >= -10161435 @ 3444.12
3473.56/3482.05	c GLOBAL bounds - >= -10161435 @ 3468.35
3476.75/3485.23	c GLOBAL bounds - >= -10161435 @ 3471.52
3479.74/3488.21	c GLOBAL bounds - >= -10161435 @ 3474.5
3482.64/3491.18	c GLOBAL bounds - >= -10161435 @ 3477.46
3486.82/3495.32	c GLOBAL bounds - >= -10161435 @ 3481.59
3489.72/3498.29	c GLOBAL bounds - >= -10161435 @ 3484.55
3492.51/3501.03	c GLOBAL bounds - >= -10161435 @ 3487.29
3495.40/3503.92	c GLOBAL bounds - >= -10161435 @ 3490.17
3498.50/3507.02	c GLOBAL bounds - >= -10161435 @ 3493.26
3534.42/3543.03	c GLOBAL bounds - >= -10161435 @ 3529.18
3564.94/3573.66	c GLOBAL bounds - >= -10161435 @ 3559.74
3569.72/3578.47	c GLOBAL bounds - >= -10161435 @ 3564.53
3600.05/3608.80	c cpu time 3594.78 s
3600.05/3608.80	c deterministic time 2 2.00e+00
3600.05/3608.80	c optimization time 3593.74 s
3600.05/3608.80	c total solve time 0 s
3600.05/3608.80	c core-guided solve time 0 s
3600.05/3608.80	c propagation time 0.099209 s
3600.05/3608.80	c conflict analysis time 0 s
3600.05/3608.80	c propagations 1
3600.05/3608.80	c resolve steps 0
3600.05/3608.80	c decisions 0
3600.05/3608.80	c conflicts 0
3600.05/3608.80	c restarts 0
3600.05/3608.80	c inprocessing phases 0
3600.05/3608.80	c garbage collections 0 ,( -nan )
3600.05/3608.80	c input clauses 215833 ,( 66.99 )
3600.05/3608.80	c input cardinalities 0 ,( 0.00 )
3600.05/3608.80	c input general constraints 106352 ,( 33.01 )
3600.05/3608.80	c input average constraint length 3.00
3600.05/3608.80	c input average constraint degree 1.33
3600.05/3608.80	c learned clauses 0 ,( 0.00 )
3600.05/3608.80	c learned cardinalities 0 ,( 0.00 )
3600.05/3608.80	c learned general constraints 0 ,( 0.00 )
3600.05/3608.80	c learned average constraint length 0.00
3600.05/3608.80	c learned average constraint degree 0.00
3600.05/3608.80	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3608.80	c counting CF 32, 64, 128, Arb: 106353 , 0 , 0 , 0
3600.05/3608.80	c watched   constraints 0 ,( 0.00 ) 
3600.05/3608.80	c counting  constraints 106352 ,( 100.00 ) 
3600.05/3608.80	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3608.80	c gcd simplifications 0
3600.05/3608.80	c detected cardinalities 0
3600.05/3608.80	c weakened non-implied lits 0
3600.05/3608.80	c weakened non-implying lits 0
3600.05/3608.80	c original variables 108768
3600.05/3608.80	c clausal propagations 0
3600.05/3608.80	c cardinality propagations 0
3600.05/3608.80	c watched propagations 0
3600.05/3608.80	c counting propagations 0
3600.05/3608.80	c watch lookups 0
3600.05/3608.80	c watch backjump lookups 0
3600.05/3608.80	c watch checks 0
3600.05/3608.80	c propagation checks 0
3600.05/3608.80	c constraint additions 0
3600.05/3608.80	c trail pops 0
3600.05/3608.80	c formula constraints 322185
3600.05/3608.80	c learned constraints 0
3600.05/3608.80	c bound constraints 0
3600.05/3608.80	c core-guided constraints 0
3600.05/3608.80	c encountered formula constraints 0
3600.05/3608.80	c encountered learned constraints 0
3600.05/3608.80	c encountered bound constraints 0
3600.05/3608.80	c encountered core-guided constraints 0
3600.05/3608.80	c LP total time 0 s
3600.05/3608.80	c LP solve time 0 s
3600.05/3608.80	c LP constraints added 0
3600.05/3608.80	c LP constraints removed 0
3600.05/3608.80	c LP pivots internal 0
3600.05/3608.80	c LP pivots root 0
3600.05/3608.80	c LP calls 0
3600.05/3608.80	c LP optimalities 0
3600.05/3608.80	c LP no pivot count 0
3600.05/3608.80	c LP infeasibilities 0
3600.05/3608.80	c LP valid Farkas constraints 0
3600.05/3608.80	c LP learned Farkas constraints 0
3600.05/3608.80	c LP basis resets 0
3600.05/3608.80	c LP cycling count 0
3600.05/3608.80	c LP singular count 0
3600.05/3608.80	c LP no primal count 0
3600.05/3608.80	c LP no farkas count 0
3600.05/3608.80	c LP other issue count 0
3600.05/3608.80	c LP Gomory cuts 0
3600.05/3608.80	c LP learned cuts 0
3600.05/3608.80	c LP deleted cuts 0
3600.05/3608.80	c LP encountered Gomory constraints 0
3600.05/3608.80	c LP encountered Farkas constraints 0
3600.05/3608.80	c LP encountered learned Farkas constraints 0
3600.05/3608.80	c CG auxiliary variables introduced 0
3600.05/3608.80	c CG solutions found 0
3600.05/3608.80	c CG cores constructed 0
3600.05/3608.80	c CG core cardinality constraints returned 0
3600.05/3608.80	c CG unit cores 0
3600.05/3608.80	c CG single cores 0
3600.05/3608.80	c CG blocks removed during cardinality reduction 0
3600.05/3608.80	c CG first core best 0
3600.05/3608.80	c CG decision core best 0
3600.05/3608.80	c CG core reduction tie 0
3600.05/3608.80	c CG core degree average 0.00
3600.05/3608.80	c CG core slack average 0.00
3600.05/3608.80	c CG core upper bound improvements 0
3600.05/3608.80	c STR number of successful calls 0
3600.05/3608.80	c STR number of unsuccessful calls 0
3600.05/3608.80	c STR number of inconclusive calls 0
3600.05/3608.80	c STR number of successful attempts 0
3600.05/3608.80	c STR number of unsuccessful attempts 0
3600.05/3608.80	c STR number of inconclusive attempts 0
3600.05/3608.80	c STR average degree increase per successful call inf
3600.05/3608.80	c STR average degree increase per successful attempt inf
3600.05/3608.80	c STR total number of conflicts for successful attempts 0
3600.05/3608.80	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3608.80	c STR total number of conflicts for inconclusive attempts 0
3600.05/3608.80	c STR average number of conflicts per successful attempt inf
3600.05/3608.80	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3608.80	c STR average number of conflicts per inconclusive attempt inf
3600.05/3608.80	c AVG.sumWPerc 100.00 
3600.05/3608.80	c bigint constraints 0 
3600.05/3608.80	s UNKNOWN
3600.05/3608.80	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 (62149 MiB free)
  memory of node 1: 64465 MiB (63832 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508734-1751516086/watcher-4508734-1751516086 -o /tmp/evaluation-result-4508734-1751516086/solver-4508734-1751516086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751510521-81229 --watchdog 3760 run-opt.sh HOME/instance-4508734-1751516086.opb 

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 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=82267, runsolver pid=82264
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.10 4.11 4.09 5/267 82269
/proc/meminfo: memFree=128978348/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=76564 memory=30260 CPUtime=0.09 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 6378 0 0 0 7 2 0 0 20 0 1 0 67287402 78401536 7565 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 19141 7565 1920 1147 0 6568 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 80756 KiB
Current children cumulated memory: 33332 KiB

[startup+0.205674 s]*
/proc/loadavg: 4.10 4.11 4.09 5/267 82269
/proc/meminfo: memFree=128974568/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=79700 memory=36292 CPUtime=0.18 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 7362 0 0 0 14 4 0 0 20 0 1 0 67287402 81612800 9073 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 19925 9073 1920 1147 0 7352 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 83892 KiB
Current children cumulated memory: 39364 KiB

[startup+0.305605 s]*
/proc/loadavg: 4.10 4.11 4.09 5/267 82269
/proc/meminfo: memFree=128970536/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=84348 memory=39108 CPUtime=0.29 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 8133 0 0 0 22 7 0 0 20 0 1 0 67287402 86372352 9777 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 21087 9777 1920 1147 0 8514 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 88540 KiB
Current children cumulated memory: 42180 KiB

[startup+0.700151 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 82269
/proc/meminfo: memFree=128959448/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=111936 memory=65532 CPUtime=0.68 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 13399 0 0 0 51 17 0 0 20 0 1 0 67287402 114622464 16383 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 27984 16383 1920 1147 0 15411 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 116128 KiB
Current children cumulated memory: 68604 KiB

[startup+1.50019 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 82269
/proc/meminfo: memFree=128833700/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=549748 memory=404320 CPUtime=1.48 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 53598 0 0 0 112 36 0 0 20 0 1 0 67287402 562941952 101080 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 137437 101080 2336 1147 0 124864 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 553940 KiB
Current children cumulated memory: 407392 KiB

[startup+3.10543 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 82269
/proc/meminfo: memFree=128432252/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=686232 memory=539064 CPUtime=3.07 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 76594 0 0 0 245 62 0 0 20 0 1 0 67287402 702701568 134766 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 171558 134766 2368 1147 0 158985 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 690424 KiB
Current children cumulated memory: 542136 KiB

[startup+6.30015 s]
/proc/loadavg: 4.17 4.12 4.09 5/267 82269
/proc/meminfo: memFree=128432284/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=736020 memory=567904 CPUtime=6.26 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 77671 0 0 0 564 62 0 0 20 0 1 0 67287402 753684480 141976 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 184005 141976 2368 1147 0 171432 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 740212 KiB
Current children cumulated memory: 570976 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.09 5/267 82269
/proc/meminfo: memFree=128398880/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=786108 memory=618260 CPUtime=12.65 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 78551 0 0 0 1199 66 0 0 20 0 1 0 67287402 804974592 154565 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 196527 154565 2368 1147 0 183954 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 790300 KiB
Current children cumulated memory: 621332 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 82270
/proc/meminfo: memFree=128309796/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=867496 memory=687420 CPUtime=25.42 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 79489 0 0 0 2474 68 0 0 20 0 1 0 67287402 888315904 171855 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 216874 171855 2368 1147 0 204301 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 871688 KiB
Current children cumulated memory: 690492 KiB

[startup+51.1055 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 82271
/proc/meminfo: memFree=127869432/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=1271844 memory=1115492 CPUtime=50.96 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 147676 0 0 0 5007 89 0 0 20 0 1 0 67287402 1302368256 278873 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 317961 278873 2368 1147 0 305388 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1276036 KiB
Current children cumulated memory: 1118564 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 82273
/proc/meminfo: memFree=127359728/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=1817484 memory=1600660 CPUtime=102.04 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 227591 0 0 0 10089 115 0 0 20 0 1 0 67287402 1861103616 400165 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 454371 400165 2368 1147 0 441798 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 1821676 KiB
Current children cumulated memory: 1603732 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 82275
/proc/meminfo: memFree=126985452/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=2410652 memory=1978896 CPUtime=161.89 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 287484 0 0 0 16044 145 0 0 20 0 1 0 67287402 2468507648 494724 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 602663 494724 2368 1147 0 590090 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 2414844 KiB
Current children cumulated memory: 1981968 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/267 82277
/proc/meminfo: memFree=126258888/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=3100148 memory=2695352 CPUtime=221.76 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 425273 0 0 0 21975 201 0 0 20 0 1 0 67287402 3174551552 673838 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 775037 673838 2368 1147 0 762464 0
Current children cumulated CPU time: 221.76 s

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

[pid=82269] ppid=82267 vsize=8373064 memory=7648128 CPUtime=3094.81 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 1300761 0 0 0 308981 500 0 0 20 0 1 0 67287402 8574017536 1912032 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 2093266 1912032 2368 1147 0 2080693 0
Current children cumulated CPU time: 3094.81 s
Current children cumulated vsize: 8377256 KiB
Current children cumulated memory: 7651200 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 82524
/proc/meminfo: memFree=115447920/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=8377252 memory=7657728 CPUtime=3154.66 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 1303425 0 0 0 314964 502 0 0 20 0 1 0 67287402 8578306048 1914432 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 2094313 1914432 2368 1147 0 2081740 0
Current children cumulated CPU time: 3154.66 s
Current children cumulated vsize: 8381444 KiB
Current children cumulated memory: 7660800 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 82571
/proc/meminfo: memFree=115446568/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=8383732 memory=7694364 CPUtime=3214.5 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 1309567 0 0 0 320945 505 0 0 20 0 1 0 67287402 8584941568 1923591 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 2095933 1923591 2368 1147 0 2083360 0
Current children cumulated CPU time: 3214.5 s
Current children cumulated vsize: 8387924 KiB
Current children cumulated memory: 7697436 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/268 82572
/proc/meminfo: memFree=115113524/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=9892980 memory=7849752 CPUtime=3274.36 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 1326737 0 0 0 326922 514 0 0 20 0 1 0 67287402 10130411520 1962438 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 2473245 1962438 2368 1147 0 2460672 0
Current children cumulated CPU time: 3274.36 s
Current children cumulated vsize: 9897172 KiB
Current children cumulated memory: 7852824 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/268 82574
/proc/meminfo: memFree=114879596/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=9896268 memory=7983588 CPUtime=3334.21 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 1338639 0 0 0 332904 517 0 0 20 0 1 0 67287402 10133778432 1995897 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 2474067 1995897 2368 1147 0 2461494 0
Current children cumulated CPU time: 3334.21 s
Current children cumulated vsize: 9900460 KiB
Current children cumulated memory: 7986660 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/268 82578
/proc/meminfo: memFree=114676560/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=9905704 memory=8082260 CPUtime=3394.05 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 1351439 0 0 0 338881 524 0 0 20 0 1 0 67287402 10143440896 2020565 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 2476426 2020565 2368 1147 0 2463853 0
Current children cumulated CPU time: 3394.05 s
Current children cumulated vsize: 9909896 KiB
Current children cumulated memory: 8085332 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 82580
/proc/meminfo: memFree=114582252/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=9905704 memory=8083540 CPUtime=3453.9 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 1352860 0 0 0 344864 526 0 0 20 0 1 0 67287402 10143440896 2020885 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 2476426 2020885 2368 1147 0 2463853 0
Current children cumulated CPU time: 3453.9 s
Current children cumulated vsize: 9909896 KiB
Current children cumulated memory: 8086612 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 82582
/proc/meminfo: memFree=114478424/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=9905704 memory=8097876 CPUtime=3513.75 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 1353173 0 0 0 350849 526 0 0 20 0 1 0 67287402 10143440896 2024469 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 2476426 2024469 2368 1147 0 2463853 0
Current children cumulated CPU time: 3513.75 s
Current children cumulated vsize: 9909896 KiB
Current children cumulated memory: 8100948 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 82586
/proc/meminfo: memFree=114367116/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=9905704 memory=8108500 CPUtime=3573.62 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 1353404 0 0 0 356834 528 0 0 20 0 1 0 67287402 10143440896 2027125 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 2476426 2027125 2368 1147 0 2463853 0
Current children cumulated CPU time: 3573.62 s
Current children cumulated vsize: 9909896 KiB
Current children cumulated memory: 8111572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 82593
/proc/meminfo: memFree=114344024/131249992 swapFree=33010160/33010684
[pid=82267] ppid=82264 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/82267/stat : 82267 (run-opt.sh) S 82264 82267 81217 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 67287401 4292608 768 18446744073709551615 94713178173440 94713179067973 140730116759328 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94713179307024 94713179354768 94713193754624 140730116766061 140730116766184 140730116766184 140730116771786 0
/proc/82267/statm: 1048 768 704 219 0 110 0
[pid=82269] ppid=82267 vsize=9905704 memory=8116820 CPUtime=3600.05 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82267 82267 81217 0 -1 4194304 1353418 0 0 0 359477 528 0 0 20 0 1 0 67287402 10143440896 2029205 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 2476426 2029205 2368 1147 0 2463853 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 9909896 KiB
Current children cumulated memory: 8119892 KiB

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

[startup+3608.8 s]
# the end of solver process 82267 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.002108 s

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

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

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

[startup+3609.01 s]*
/proc/loadavg: 4.06 4.08 4.09 5/267 82593
/proc/meminfo: memFree=120234864/131249992 swapFree=33010160/33010684
[pid=82269] ppid=82264 vsize=2367764 memory=2223620 CPUtime=3600.26 cores=1,3
/proc/82269/stat : 82269 (roundingsat) R 82264 82267 81217 0 -1 4194304 1353494 0 0 0 359484 542 0 0 20 0 1 0 67287402 2424590336 555905 18446744073709551615 4227072 8923433 140736211462896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16920576 140736211470754 140736211470888 140736211470888 140736211476458 0
/proc/82269/statm: 591941 555905 2496 1147 0 579368 0
Current cumulated CPU time of completed processes: 0.002108 s
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 2367764 KiB
Current children cumulated memory: 2223620 KiB

Child status: 2

Real time (s): 3609.04
CPU time (s): 3600.3
CPU user time (s): 3594.87
CPU system time (s): 5.43668
CPU usage (%): 99.758
Max. virtual memory (cumulated for all children) (KiB): 9909896
Max. memory (cumulated for all children) (KiB): 8119892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.87
system time used= 5.43668
maximum resident set size= 8117332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1353760
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 252
involuntary context switches= 6749


# summary of solver processes directly reported to runsolver:
#   pid: 82267,82269
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3594.87
#   total CPU system time (s): 5.43668

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.843 second user time and 16.4937 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-03 06:14:46
IDJOB=4508734
IDBENCH=158465
IDSOLVER=3350
FILE ID=nodeC025/4508734-1751516086
RUNJOBID= nodeC025-1751510521-81229
SLURM_JOB_ID= 9598611
Free space on /tmp= 432944 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508734-1751516086/watcher-4508734-1751516086 -o /tmp/evaluation-result-4508734-1751516086/solver-4508734-1751516086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751510521-81229 --watchdog 3760  run-opt.sh HOME/instance-4508734-1751516086.opb

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

MD5SUM BENCH= 5ce1114e3b3a499c171804227c280ba1
RANDOM SEED=128243287

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        129006516 kB
MemAvailable:   129488076 kB
Buffers:            2128 kB
Cached:          1273392 kB
SwapCached:          200 kB
Active:           637908 kB
Inactive:        1026812 kB
Active(anon):     385436 kB
Inactive(anon):    21624 kB
Active(file):     252472 kB
Inactive(file):  1005188 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             19088 kB
Writeback:             0 kB
AnonPages:        386544 kB
Mapped:           117476 kB
Shmem:             17856 kB
KReclaimable:     126280 kB
Slab:             215544 kB
SReclaimable:     126280 kB
SUnreclaim:        89264 kB
KernelStack:        4320 kB
PageTables:         4048 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     758828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432924 MiB
End job on nodeC025 at 2025-07-03 07:14:56