Trace number 4462770

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 log (3)? (TO) 3602.09 3614.51

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-12.opb
MD5SUM0c5a5feecc6e9ebbd7fc1e1b28678077
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark54713
Best CPU time to get the best result obtained on this benchmark42.7994
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables214302
Total number of constraints3483525
Number of constraints which are clauses3483525
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint579
Number of terms in the objective function 18980
Biggest coefficient in the objective function 581
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 10690980
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 581
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 10690980
Number of bits of the biggest sum of numbers24
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
8.05/8.16	c #variables 214302 #constraints 1368957
20.09/20.25	c bounds - >= 0 @ 7.02751
20.09/20.25	c bounds 646365 >= 0 @ 14.2734
20.09/20.25	c bounds 646365 >= 6 @ 14.276
20.09/20.25	c bounds 646365 >= 587 @ 14.2792
20.09/20.25	c bounds 646365 >= 1168 @ 14.2822
20.09/20.25	c bounds 646365 >= 1749 @ 14.2844
20.09/20.25	c bounds 646365 >= 2330 @ 14.2866
20.09/20.25	c bounds 646365 >= 2911 @ 14.2887
20.09/20.25	c bounds 646365 >= 3492 @ 14.2912
20.09/20.25	c bounds 646365 >= 4073 @ 14.2928
20.09/20.25	c bounds 646365 >= 4654 @ 14.2956
20.09/20.25	c bounds 646365 >= 5235 @ 14.2978
20.09/20.25	c bounds 646365 >= 5816 @ 14.3005
20.09/20.25	c bounds 646365 >= 6397 @ 14.3019
20.09/20.25	c bounds 646365 >= 6978 @ 14.3054
20.09/20.25	c bounds 646365 >= 7559 @ 14.308
20.09/20.25	c bounds 646365 >= 7560 @ 14.3119
20.09/20.25	c bounds 646365 >= 8141 @ 14.3174
20.09/20.25	c bounds 646365 >= 8722 @ 14.3227
20.09/20.25	c bounds 646365 >= 9303 @ 14.3269
20.09/20.25	c bounds 646365 >= 9884 @ 14.3312
20.09/20.25	c bounds 646365 >= 10465 @ 14.3363
20.09/20.25	c bounds 646365 >= 11046 @ 14.3425
20.09/20.25	c bounds 646365 >= 11627 @ 14.3481
20.09/20.25	c bounds 646365 >= 12208 @ 14.3553
20.09/20.25	c bounds 645784 >= 12208 @ 14.4357
20.09/20.25	c bounds 645784 >= 12789 @ 14.4407
20.09/20.25	c bounds 645784 >= 13370 @ 14.4499
20.09/20.25	c bounds 645784 >= 13951 @ 14.4549
20.09/20.25	c bounds 645784 >= 14532 @ 14.4632
20.09/20.25	c bounds 645784 >= 15113 @ 14.4729
20.09/20.25	c bounds 645784 >= 15694 @ 14.4807
20.09/20.25	c bounds 645784 >= 16275 @ 14.4889
20.09/20.25	c bounds 645784 >= 16856 @ 14.4968
20.09/20.25	c bounds 642298 >= 16856 @ 14.5472
20.09/20.25	c bounds 642298 >= 17437 @ 14.5523
20.09/20.25	c bounds 642298 >= 18018 @ 14.5572
20.09/20.25	c bounds 642298 >= 18599 @ 14.5627
20.09/20.25	c bounds 641717 >= 18599 @ 14.607
20.09/20.25	c bounds 641717 >= 19180 @ 14.6141
20.09/20.25	c bounds 641717 >= 19181 @ 14.6261
20.09/20.25	c bounds 641717 >= 19182 @ 14.6416
20.09/20.25	c bounds 641136 >= 19182 @ 14.6801
20.09/20.25	c bounds 641136 >= 19183 @ 14.694
20.09/20.25	c bounds 641136 >= 19762 @ 14.7069
20.09/20.25	c bounds 640555 >= 19762 @ 14.7696
20.09/20.25	c bounds 640555 >= 19763 @ 14.7835
20.09/20.25	c bounds 640555 >= 20344 @ 14.7954
20.09/20.25	c bounds 640555 >= 20924 @ 14.8019
20.09/20.25	c bounds 639974 >= 20924 @ 14.8875
20.09/20.25	c bounds 639974 >= 21505 @ 14.8939
20.09/20.25	c bounds 639974 >= 22086 @ 14.9053
20.09/20.25	c bounds 639974 >= 22667 @ 14.9167
20.09/20.25	c bounds 639974 >= 22668 @ 14.9307
20.09/20.25	c bounds 639974 >= 22669 @ 14.9494
20.09/20.25	c bounds 639393 >= 22669 @ 15.0351
20.09/20.25	c bounds 639393 >= 23249 @ 15.0517
20.09/20.25	c bounds 639393 >= 23829 @ 15.0638
20.09/20.25	c bounds 639393 >= 23830 @ 15.0778
20.09/20.25	c bounds 639393 >= 24408 @ 15.1062
20.09/20.25	c bounds 639392 >= 24408 @ 15.1589
20.09/20.25	c bounds 639392 >= 24411 @ 15.1721
20.09/20.25	c bounds 639392 >= 24412 @ 15.1932
20.09/20.25	c bounds 639392 >= 24990 @ 15.2059
20.09/20.25	c bounds 639391 >= 24990 @ 15.2541
20.09/20.25	c bounds 639391 >= 24993 @ 15.2627
20.09/20.25	c bounds 639391 >= 24994 @ 15.2705
20.09/20.25	c bounds 639390 >= 24994 @ 15.3444
20.09/20.25	c bounds 639390 >= 24995 @ 15.354
20.09/20.25	c bounds 639390 >= 24996 @ 15.3638
20.09/20.25	c bounds 639390 >= 25577 @ 15.3816
20.09/20.25	c bounds 639390 >= 26158 @ 15.4041
20.09/20.25	c bounds 636485 >= 26158 @ 15.4503
20.09/20.25	c bounds 636485 >= 26739 @ 15.4634
20.09/20.25	c bounds 636485 >= 26740 @ 15.4766
20.09/20.25	c bounds 636484 >= 26740 @ 15.5271
20.09/20.25	c bounds 636484 >= 27321 @ 15.5441
20.09/20.25	c bounds 636483 >= 27321 @ 15.6211
20.09/20.25	c bounds 636483 >= 27322 @ 15.6314
20.09/20.25	c bounds 636483 >= 27323 @ 15.6424
20.09/20.25	c bounds 636483 >= 27324 @ 15.653
20.09/20.25	c bounds 636483 >= 27904 @ 15.662
20.09/20.25	c bounds 636483 >= 27905 @ 15.6698
20.09/20.25	c bounds 635902 >= 27905 @ 15.7325
20.09/20.25	c bounds 635902 >= 28482 @ 15.7448
20.09/20.25	c bounds 635902 >= 28486 @ 15.757
20.09/20.25	c bounds 635902 >= 29067 @ 15.7674
20.09/20.25	c bounds 635902 >= 29647 @ 15.7791
20.09/20.25	c bounds 635901 >= 29647 @ 15.8273
20.09/20.25	c bounds 635901 >= 29648 @ 15.8384
20.09/20.25	c bounds 635901 >= 30221 @ 15.8463
20.09/20.25	c bounds 635900 >= 30221 @ 15.9188
20.09/20.25	c bounds 635900 >= 30222 @ 15.9333
20.09/20.25	c bounds 635900 >= 30802 @ 15.9477
20.09/20.25	c bounds 635900 >= 30803 @ 15.96
20.09/20.25	c bounds 635900 >= 31384 @ 15.9683
20.09/20.25	c bounds 635900 >= 31964 @ 15.9813
20.09/20.25	c bounds 635899 >= 31964 @ 16.0313
20.09/20.25	c bounds 635899 >= 31965 @ 16.0414
20.09/20.25	c bounds 635899 >= 32546 @ 16.0507
20.09/20.25	c bounds 635898 >= 32546 @ 16.1094
20.09/20.25	c bounds 635898 >= 33127 @ 16.117
20.09/20.25	c bounds 635898 >= 33708 @ 16.1337
20.09/20.25	c bounds 635897 >= 33708 @ 16.1905
20.09/20.25	c bounds 635897 >= 34287 @ 16.2104
20.09/20.25	c bounds 635897 >= 34288 @ 16.2235
20.09/20.25	c bounds 635896 >= 34288 @ 16.2828
20.09/20.25	c bounds 635896 >= 34869 @ 16.3031
20.09/20.25	c bounds 635896 >= 35450 @ 16.3145
20.09/20.25	c bounds 635895 >= 35450 @ 16.3645
20.09/20.25	c bounds 635895 >= 35451 @ 16.3779
20.09/20.25	c bounds 635895 >= 35452 @ 16.3868
20.09/20.25	c bounds 635894 >= 35452 @ 16.4635
20.09/20.25	c bounds 635894 >= 35453 @ 16.4758
20.09/20.25	c bounds 635894 >= 35454 @ 16.4873
20.09/20.25	c bounds 635894 >= 35455 @ 16.4976
20.09/20.25	c bounds 635894 >= 36034 @ 16.511
20.09/20.25	c bounds 635894 >= 36035 @ 16.5207
20.09/20.25	c bounds 635313 >= 36035 @ 16.5672
27.57/27.74	c bounds 635313 >= 36616 @ 16.5783
27.57/27.74	c bounds 635313 >= 37197 @ 16.595
27.57/27.74	c bounds 634732 >= 37197 @ 16.6509
27.57/27.74	c bounds 634732 >= 37198 @ 16.672
27.57/27.74	c bounds 634732 >= 37199 @ 16.6909
27.57/27.74	c bounds 634731 >= 37199 @ 16.739
27.57/27.74	c bounds 634731 >= 37779 @ 16.7541
27.57/27.74	c bounds 634731 >= 37780 @ 16.7707
27.57/27.74	c bounds 634730 >= 37780 @ 16.8121
27.57/27.74	c bounds 634730 >= 37781 @ 16.8249
27.57/27.74	c bounds 634730 >= 38361 @ 16.8327
27.57/27.74	c bounds 634729 >= 38361 @ 16.8772
27.57/27.74	c bounds 634729 >= 38362 @ 16.8866
27.57/27.74	c bounds 634729 >= 38940 @ 16.8975
27.57/27.74	c bounds 634728 >= 38940 @ 16.9498
27.57/27.74	c bounds 634728 >= 38941 @ 16.9643
27.57/27.74	c bounds 634728 >= 38942 @ 16.9793
27.57/27.74	c bounds 634147 >= 38942 @ 17.0508
27.57/27.74	c bounds 634147 >= 39523 @ 17.0586
27.57/27.74	c bounds 634147 >= 40104 @ 17.071
27.57/27.74	c bounds 634147 >= 40685 @ 17.0812
27.57/27.74	c bounds 634147 >= 40686 @ 17.1023
27.57/27.74	c bounds 634146 >= 40686 @ 17.1536
27.57/27.74	c bounds 634146 >= 40687 @ 17.1732
27.57/27.74	c bounds 634145 >= 40687 @ 17.2224
27.57/27.74	c bounds 634145 >= 41268 @ 17.2364
27.57/27.74	c bounds 634145 >= 41847 @ 17.2491
27.57/27.74	c bounds 634144 >= 41847 @ 17.2931
27.57/27.74	c bounds 634144 >= 42428 @ 17.3048
27.57/27.74	c bounds 634144 >= 42429 @ 17.3197
27.57/27.74	c bounds 634144 >= 42430 @ 17.33
27.57/27.74	c bounds 633563 >= 42430 @ 17.38
27.57/27.74	c bounds 633563 >= 43011 @ 17.3922
27.57/27.74	c bounds 633563 >= 43591 @ 17.4289
27.57/27.74	c bounds 632982 >= 43591 @ 17.4775
27.57/27.74	c bounds 632982 >= 43592 @ 17.4945
27.57/27.74	c bounds 632401 >= 43592 @ 17.5546
27.57/27.74	c bounds 632401 >= 44172 @ 17.5631
27.57/27.74	c bounds 632401 >= 44753 @ 17.578
27.57/27.74	c bounds 632401 >= 45334 @ 17.5907
27.57/27.74	c bounds 632401 >= 45915 @ 17.5993
27.57/27.74	c bounds 632401 >= 45916 @ 17.6063
27.57/27.74	c bounds 631820 >= 45916 @ 17.656
27.57/27.74	c bounds 631820 >= 45917 @ 17.6661
27.57/27.74	c bounds 631820 >= 46498 @ 17.6874
27.57/27.74	c bounds 631820 >= 47079 @ 17.6971
27.57/27.74	c bounds 631820 >= 47660 @ 17.7162
27.57/27.74	c bounds 631239 >= 47660 @ 17.8127
27.57/27.74	c bounds 631239 >= 47661 @ 17.832
27.57/27.74	c bounds 631239 >= 48242 @ 17.8474
27.57/27.74	c bounds 631239 >= 48243 @ 17.8655
27.57/27.74	c bounds 630659 >= 48243 @ 17.9452
27.57/27.74	c bounds 630659 >= 48244 @ 17.959
27.57/27.74	c bounds 630659 >= 48245 @ 17.9759
27.57/27.74	c bounds 630659 >= 48246 @ 17.9883
27.57/27.74	c bounds 630659 >= 48247 @ 18.0108
27.57/27.74	c bounds 630078 >= 48247 @ 18.0879
27.57/27.74	c bounds 630078 >= 48248 @ 18.1068
27.57/27.74	c bounds 630078 >= 48249 @ 18.1221
27.57/27.74	c bounds 630078 >= 48817 @ 18.1318
27.57/27.74	c bounds 630078 >= 48830 @ 18.1434
27.57/27.74	c bounds 630078 >= 48831 @ 18.1525
27.57/27.74	c bounds 630078 >= 48832 @ 18.167
27.57/27.74	c bounds 629497 >= 48832 @ 18.2185
27.57/27.74	c bounds 629497 >= 48833 @ 18.2603
27.57/27.74	c bounds 628916 >= 48833 @ 18.3096
27.57/27.74	c bounds 628335 >= 48833 @ 18.3584
27.57/27.74	c bounds 628335 >= 48834 @ 18.4027
27.57/27.74	c bounds 627754 >= 48834 @ 18.4546
27.57/27.74	c bounds 627753 >= 48834 @ 18.5122
27.57/27.74	c bounds 627752 >= 48834 @ 18.5615
27.57/27.74	c bounds 627752 >= 48835 @ 18.5803
27.57/27.74	c bounds 627752 >= 49416 @ 18.5888
27.57/27.74	c bounds 627751 >= 49416 @ 18.6394
27.57/27.74	c bounds 627751 >= 49417 @ 18.6737
27.57/27.74	c bounds 627750 >= 49417 @ 18.7596
27.57/27.74	c bounds 627750 >= 49998 @ 18.7953
27.57/27.74	c bounds 627750 >= 49999 @ 18.8114
27.57/27.74	c bounds 627750 >= 50000 @ 18.8266
27.57/27.74	c bounds 627169 >= 50000 @ 18.8764
27.57/27.74	c bounds 627169 >= 50001 @ 18.8915
27.57/27.74	c bounds 627169 >= 50002 @ 18.9014
27.57/27.74	c bounds 626588 >= 50002 @ 18.9479
27.57/27.74	c bounds 626588 >= 50003 @ 18.9628
27.57/27.74	c bounds 626588 >= 50004 @ 18.9788
27.57/27.74	c bounds 626007 >= 50004 @ 19.031
27.57/27.74	c bounds 626007 >= 50005 @ 19.0546
27.57/27.74	c bounds 625426 >= 50005 @ 19.1004
27.57/27.74	c bounds 625426 >= 50006 @ 19.1065
27.57/27.74	c #Conflicts:       1000 | #Constraints:    1370483
27.57/27.74	c bounds 625426 >= 50007 @ 19.2302
27.57/27.74	c bounds 622522 >= 50007 @ 19.2915
27.57/27.74	c bounds 621941 >= 50007 @ 19.3346
27.57/27.74	c bounds 621360 >= 50007 @ 19.3902
27.57/27.74	c bounds 620779 >= 50007 @ 19.4365
27.57/27.74	c bounds 620198 >= 50007 @ 19.4889
27.57/27.74	c bounds 619617 >= 50007 @ 19.5386
27.57/27.74	c bounds 619036 >= 50007 @ 19.613
27.57/27.74	c bounds 618455 >= 50007 @ 19.6677
27.57/27.74	c bounds 617874 >= 50007 @ 19.7247
27.57/27.74	c bounds 617874 >= 50588 @ 19.7377
27.57/27.74	c bounds 617874 >= 50589 @ 19.8352
27.57/27.74	c bounds 617293 >= 50589 @ 19.8857
27.57/27.74	c bounds 616712 >= 50589 @ 19.9347
27.57/27.74	c bounds 616131 >= 50589 @ 19.9867
27.57/27.74	c bounds 615550 >= 50589 @ 20.0392
27.57/27.74	c bounds 614969 >= 50589 @ 20.0851
27.57/27.74	c bounds 614388 >= 50589 @ 20.1325
27.57/27.74	c bounds 614388 >= 50590 @ 20.1906
27.57/27.74	c bounds 613807 >= 50590 @ 20.2449
27.57/27.74	c bounds 613226 >= 50590 @ 20.307
27.57/27.74	c bounds 612645 >= 50590 @ 20.3631
27.57/27.74	c bounds 612645 >= 50591 @ 20.476
27.57/27.74	c bounds 612644 >= 50591 @ 20.5254
27.57/27.74	c bounds 612063 >= 50591 @ 20.6047
27.57/27.74	c bounds 611482 >= 50591 @ 20.6607
27.57/27.74	c bounds 610901 >= 50591 @ 20.7143
58.25/58.51	c bounds 610320 >= 50591 @ 20.7572
58.25/58.51	c bounds 609739 >= 50591 @ 20.7985
58.25/58.51	c bounds 609158 >= 50591 @ 20.8757
58.25/58.51	c bounds 608577 >= 50591 @ 20.9284
58.25/58.51	c bounds 608577 >= 50592 @ 21.0187
58.25/58.51	c bounds 607996 >= 50592 @ 21.0621
58.25/58.51	c bounds 607415 >= 50592 @ 21.1271
58.25/58.51	c bounds 606834 >= 50592 @ 21.1875
58.25/58.51	c bounds 606253 >= 50592 @ 21.2376
58.25/58.51	c bounds 605672 >= 50592 @ 21.2904
58.25/58.51	c bounds 605091 >= 50592 @ 21.3358
58.25/58.51	c bounds 605091 >= 51173 @ 21.3435
58.25/58.51	c bounds 604510 >= 51173 @ 21.395
58.25/58.51	c bounds 604510 >= 51754 @ 21.4064
58.25/58.51	c bounds 604510 >= 51755 @ 21.4781
58.25/58.51	c bounds 603929 >= 51755 @ 21.5299
58.25/58.51	c bounds 603348 >= 51755 @ 21.5782
58.25/58.51	c bounds 602767 >= 51755 @ 21.6259
58.25/58.51	c bounds 602186 >= 51755 @ 21.6781
58.25/58.51	c bounds 601605 >= 51755 @ 21.7247
58.25/58.51	c bounds 601605 >= 51756 @ 21.7521
58.25/58.51	c bounds 601024 >= 51756 @ 21.8061
58.25/58.51	c bounds 601024 >= 51757 @ 21.8571
58.25/58.51	c bounds 600443 >= 51757 @ 21.9049
58.25/58.51	c bounds 599862 >= 51757 @ 21.9623
58.25/58.51	c bounds 599281 >= 51757 @ 22.0243
58.25/58.51	c #Conflicts:       2000 | #Constraints:    1371605
58.25/58.51	c INPROCESSING
58.25/58.51	c GARBAGE COLLECT
58.25/58.51	c bounds 598700 >= 51757 @ 42.6527
58.25/58.51	c bounds 598699 >= 51757 @ 42.6992
58.25/58.51	c bounds 598698 >= 51757 @ 42.7699
58.25/58.51	c bounds 598697 >= 51757 @ 42.826
58.25/58.51	c bounds 598696 >= 51757 @ 42.8769
58.25/58.51	c bounds 598696 >= 52338 @ 42.8905
58.25/58.51	c bounds 598695 >= 52338 @ 42.9877
58.25/58.51	c bounds 598695 >= 52339 @ 43.0473
58.25/58.51	c bounds 598114 >= 52339 @ 43.105
58.25/58.51	c bounds 598114 >= 52340 @ 43.1402
58.25/58.51	c bounds 598114 >= 52341 @ 43.2727
58.25/58.51	c bounds 597533 >= 52341 @ 43.3267
58.25/58.51	c bounds 596952 >= 52341 @ 43.3823
58.25/58.51	c bounds 596371 >= 52341 @ 43.4383
58.25/58.51	c bounds 595790 >= 52341 @ 43.4908
58.25/58.51	c bounds 595209 >= 52341 @ 43.5398
58.25/58.51	c bounds 595209 >= 52342 @ 43.573
58.25/58.51	c bounds 594628 >= 52342 @ 43.639
58.25/58.51	c bounds 594047 >= 52342 @ 43.6974
58.25/58.51	c bounds 594047 >= 52343 @ 43.7776
58.25/58.51	c bounds 593466 >= 52343 @ 43.83
58.25/58.51	c bounds 592885 >= 52343 @ 43.8841
58.25/58.51	c bounds 592304 >= 52343 @ 43.9304
58.25/58.51	c bounds 591723 >= 52343 @ 43.983
58.25/58.51	c bounds 591142 >= 52343 @ 44.0291
58.25/58.51	c bounds 591142 >= 52344 @ 44.0567
58.25/58.51	c bounds 590561 >= 52344 @ 44.1078
58.25/58.51	c bounds 590561 >= 52345 @ 44.1449
58.25/58.51	c bounds 589980 >= 52345 @ 44.1941
58.25/58.51	c bounds 589399 >= 52345 @ 44.2417
58.25/58.51	c bounds 589399 >= 52346 @ 44.2894
58.25/58.51	c bounds 588818 >= 52346 @ 44.3439
58.25/58.51	c bounds 588237 >= 52346 @ 44.3968
58.25/58.51	c bounds 587656 >= 52346 @ 44.4506
58.25/58.51	c bounds 587075 >= 52346 @ 44.5009
58.25/58.51	c bounds 587075 >= 52347 @ 44.5841
58.25/58.51	c bounds 586494 >= 52347 @ 44.6345
58.25/58.51	c bounds 585913 >= 52347 @ 44.678
58.25/58.51	c bounds 585332 >= 52347 @ 44.724
58.25/58.51	c bounds 585332 >= 52348 @ 44.7433
58.25/58.51	c bounds 584751 >= 52348 @ 44.7891
58.25/58.51	c bounds 584751 >= 52349 @ 44.8382
58.25/58.51	c bounds 584170 >= 52349 @ 44.8839
58.25/58.51	c bounds 583589 >= 52349 @ 44.9307
58.25/58.51	c bounds 583008 >= 52349 @ 44.9856
58.25/58.51	c bounds 583008 >= 52350 @ 45.0239
58.25/58.51	c bounds 582427 >= 52350 @ 45.0716
58.25/58.51	c bounds 581846 >= 52350 @ 45.1213
58.25/58.51	c bounds 581846 >= 52351 @ 45.1896
58.25/58.51	c bounds 581265 >= 52351 @ 45.2461
58.25/58.51	c bounds 580684 >= 52351 @ 45.2932
58.25/58.51	c bounds 580103 >= 52351 @ 45.3536
58.25/58.51	c bounds 579522 >= 52351 @ 45.4024
58.25/58.51	c bounds 578941 >= 52351 @ 45.4531
58.25/58.51	c bounds 578360 >= 52351 @ 45.5083
58.25/58.51	c #Conflicts:       3000 | #Constraints:     938898
58.25/58.51	c bounds 578360 >= 52352 @ 45.8372
58.25/58.51	c bounds 578359 >= 52352 @ 45.8988
58.25/58.51	c bounds 577778 >= 52352 @ 45.9443
58.25/58.51	c bounds 577197 >= 52352 @ 45.9957
58.25/58.51	c bounds 576616 >= 52352 @ 46.0469
58.25/58.51	c bounds 576035 >= 52352 @ 46.0952
58.25/58.51	c bounds 575454 >= 52352 @ 46.1405
58.25/58.51	c bounds 574873 >= 52352 @ 46.1929
58.25/58.51	c bounds 574292 >= 52352 @ 46.2436
58.25/58.51	c bounds 573711 >= 52352 @ 46.294
58.25/58.51	c bounds 573130 >= 52352 @ 46.344
58.25/58.51	c bounds 572549 >= 52352 @ 46.3943
58.25/58.51	c bounds 571968 >= 52352 @ 46.4467
58.25/58.51	c bounds 571387 >= 52352 @ 46.4934
58.25/58.51	c bounds 570806 >= 52352 @ 46.5385
58.25/58.51	c bounds 570225 >= 52352 @ 46.5942
58.25/58.51	c bounds 569644 >= 52352 @ 46.6465
58.25/58.51	c bounds 569063 >= 52352 @ 46.7018
58.25/58.51	c bounds 568482 >= 52352 @ 46.7536
58.25/58.51	c bounds 567901 >= 52352 @ 46.7988
58.25/58.51	c bounds 567320 >= 52352 @ 46.8539
58.25/58.51	c bounds 566739 >= 52352 @ 46.9041
58.25/58.51	c bounds 566739 >= 52353 @ 47.2069
58.25/58.51	c bounds 566158 >= 52353 @ 47.2621
58.25/58.51	c bounds 565577 >= 52353 @ 47.3129
58.25/58.51	c bounds 564996 >= 52353 @ 47.3634
58.25/58.51	c bounds 564415 >= 52353 @ 47.4152
58.25/58.51	c bounds 563834 >= 52353 @ 47.4671
58.25/58.51	c bounds 563253 >= 52353 @ 47.5238
58.25/58.51	c bounds 562672 >= 52353 @ 47.578
58.25/58.51	c bounds 562091 >= 52353 @ 47.6346
58.25/58.51	c bounds 561510 >= 52353 @ 47.69
69.92/70.29	c bounds 560929 >= 52353 @ 47.743
69.92/70.29	c bounds 560348 >= 52353 @ 47.7947
69.92/70.29	c bounds 559767 >= 52353 @ 47.8424
69.92/70.29	c bounds 559767 >= 52354 @ 48.0469
69.92/70.29	c bounds 559186 >= 52354 @ 48.1022
69.92/70.29	c bounds 558605 >= 52354 @ 48.1472
69.92/70.29	c bounds 558024 >= 52354 @ 48.2013
69.92/70.29	c bounds 557443 >= 52354 @ 48.2545
69.92/70.29	c bounds 556862 >= 52354 @ 48.3102
69.92/70.29	c bounds 556281 >= 52354 @ 48.3612
69.92/70.29	c bounds 555700 >= 52354 @ 48.4123
69.92/70.29	c bounds 555700 >= 52355 @ 48.5902
69.92/70.29	c bounds 555119 >= 52355 @ 48.6453
69.92/70.29	c bounds 554538 >= 52355 @ 48.6975
69.92/70.29	c bounds 553957 >= 52355 @ 48.7526
69.92/70.29	c bounds 553376 >= 52355 @ 48.8033
69.92/70.29	c bounds 552795 >= 52355 @ 48.8503
69.92/70.29	c bounds 552214 >= 52355 @ 48.9079
69.92/70.29	c bounds 552214 >= 52926 @ 49.025
69.92/70.29	c bounds 551633 >= 52926 @ 49.0869
69.92/70.29	c bounds 551052 >= 52926 @ 49.1388
69.92/70.29	c bounds 550471 >= 52926 @ 49.1901
69.92/70.29	c bounds 549890 >= 52926 @ 49.2453
69.92/70.29	c bounds 549309 >= 52926 @ 49.2995
69.92/70.29	c bounds 548728 >= 52926 @ 49.3509
69.92/70.29	c bounds 548147 >= 52926 @ 49.4035
69.92/70.29	c bounds 547566 >= 52926 @ 49.4481
69.92/70.29	c bounds 546985 >= 52926 @ 49.5029
69.92/70.29	c bounds 546985 >= 52927 @ 49.5222
69.92/70.29	c bounds 546404 >= 52927 @ 49.5804
69.92/70.29	c bounds 546404 >= 52928 @ 49.6165
69.92/70.29	c bounds 545823 >= 52928 @ 49.672
69.92/70.29	c bounds 545823 >= 52929 @ 49.7136
69.92/70.29	c bounds 545242 >= 52929 @ 49.7676
69.92/70.29	c bounds 544661 >= 52929 @ 49.821
69.92/70.29	c bounds 544080 >= 52929 @ 49.8743
69.92/70.29	c bounds 544080 >= 52930 @ 49.9504
69.92/70.29	c bounds 543499 >= 52930 @ 50.0066
69.92/70.29	c bounds 542918 >= 52930 @ 50.0587
69.92/70.29	c bounds 542337 >= 52930 @ 50.1146
69.92/70.29	c bounds 541756 >= 52930 @ 50.1649
69.92/70.29	c bounds 541756 >= 52931 @ 50.2319
69.92/70.29	c bounds 541175 >= 52931 @ 50.2869
69.92/70.29	c bounds 540594 >= 52931 @ 50.3372
69.92/70.29	c bounds 540013 >= 52931 @ 50.3843
69.92/70.29	c bounds 539432 >= 52931 @ 50.433
69.92/70.29	c bounds 538851 >= 52931 @ 50.4818
69.92/70.29	c bounds 538851 >= 52932 @ 50.5519
69.92/70.29	c bounds 538270 >= 52932 @ 50.6012
69.92/70.29	c bounds 537689 >= 52932 @ 50.652
69.92/70.29	c bounds 537108 >= 52932 @ 50.7066
69.92/70.29	c bounds 536527 >= 52932 @ 50.762
69.92/70.29	c bounds 535946 >= 52932 @ 50.8194
69.92/70.29	c bounds 535365 >= 52932 @ 50.8837
69.92/70.29	c bounds 535365 >= 52933 @ 50.9286
69.92/70.29	c bounds 534784 >= 52933 @ 50.9972
69.92/70.29	c bounds 534203 >= 52933 @ 51.0631
69.92/70.29	c bounds 533622 >= 52933 @ 51.1295
69.92/70.29	c bounds 533622 >= 52934 @ 51.3416
69.92/70.29	c bounds 533041 >= 52934 @ 51.4167
69.92/70.29	c bounds 532460 >= 52934 @ 51.5031
69.92/70.29	c bounds 531879 >= 52934 @ 51.5692
69.92/70.29	c bounds 531298 >= 52934 @ 51.6237
69.92/70.29	c bounds 530717 >= 52934 @ 51.6761
69.92/70.29	c bounds 530136 >= 52934 @ 51.7243
69.92/70.29	c bounds 529555 >= 52934 @ 51.7732
69.92/70.29	c #Conflicts:       4000 | #Constraints:     940102
69.92/70.29	c bounds 529555 >= 52935 @ 52.5734
69.92/70.29	c bounds 528974 >= 52935 @ 52.6273
69.92/70.29	c bounds 528393 >= 52935 @ 52.6842
69.92/70.29	c bounds 527812 >= 52935 @ 52.7379
69.92/70.29	c bounds 527231 >= 52935 @ 52.7896
69.92/70.29	c bounds 526650 >= 52935 @ 52.8525
69.92/70.29	c bounds 526069 >= 52935 @ 52.9072
69.92/70.29	c bounds 525488 >= 52935 @ 52.9648
69.92/70.29	c bounds 524907 >= 52935 @ 53.0149
69.92/70.29	c bounds 524326 >= 52935 @ 53.0977
69.92/70.29	c bounds 523745 >= 52935 @ 53.1724
69.92/70.29	c bounds 523164 >= 52935 @ 53.2542
69.92/70.29	c bounds 522583 >= 52935 @ 53.326
69.92/70.29	c bounds 522002 >= 52935 @ 53.3874
69.92/70.29	c bounds 521421 >= 52935 @ 53.4464
69.92/70.29	c bounds 520840 >= 52935 @ 53.5069
69.92/70.29	c bounds 520259 >= 52935 @ 53.5614
69.92/70.29	c bounds 519678 >= 52935 @ 53.6252
69.92/70.29	c bounds 519097 >= 52935 @ 53.673
69.92/70.29	c bounds 518516 >= 52935 @ 53.7293
69.92/70.29	c bounds 517935 >= 52935 @ 53.7876
69.92/70.29	c bounds 517354 >= 52935 @ 53.8422
69.92/70.29	c bounds 516773 >= 52935 @ 53.8927
69.92/70.29	c bounds 516192 >= 52935 @ 53.9453
69.92/70.29	c bounds 515611 >= 52935 @ 53.9988
69.92/70.29	c bounds 515030 >= 52935 @ 54.0583
69.92/70.29	c bounds 514449 >= 52935 @ 54.1189
69.92/70.29	c bounds 513868 >= 52935 @ 54.167
69.92/70.29	c bounds 513287 >= 52935 @ 54.2198
69.92/70.29	c bounds 512706 >= 52935 @ 54.2769
69.92/70.29	c bounds 512125 >= 52935 @ 54.3257
69.92/70.29	c bounds 511544 >= 52935 @ 54.3738
69.92/70.29	c bounds 510963 >= 52935 @ 54.4251
69.92/70.29	c bounds 510382 >= 52935 @ 54.4761
69.92/70.29	c bounds 509801 >= 52935 @ 54.532
69.92/70.29	c INPROCESSING
69.92/70.29	c GARBAGE COLLECT
69.92/70.29	c bounds 509220 >= 52935 @ 55.4283
69.92/70.29	c bounds 508639 >= 52935 @ 55.4743
69.92/70.29	c bounds 508058 >= 52935 @ 55.5239
69.92/70.29	c bounds 507477 >= 52935 @ 55.571
69.92/70.29	c bounds 506896 >= 52935 @ 55.615
69.92/70.29	c bounds 506315 >= 52935 @ 55.6674
69.92/70.29	c bounds 505734 >= 52935 @ 55.7146
69.92/70.29	c bounds 505153 >= 52935 @ 55.7622
69.92/70.29	c bounds 504572 >= 52935 @ 55.818
69.92/70.29	c bounds 503991 >= 52935 @ 55.8661
69.92/70.29	c bounds 503410 >= 52935 @ 55.9205
69.92/70.29	c bounds 502829 >= 52935 @ 55.9678
69.92/70.29	c bounds 502248 >= 52935 @ 56.0177
69.92/70.29	c bounds 501667 >= 52935 @ 56.0629
81.18/81.56	c bounds 501086 >= 52935 @ 56.1154
81.18/81.56	c bounds 500505 >= 52935 @ 56.1639
81.18/81.56	c bounds 499924 >= 52935 @ 56.2066
81.18/81.56	c bounds 499343 >= 52935 @ 56.2593
81.18/81.56	c bounds 498762 >= 52935 @ 56.3121
81.18/81.56	c bounds 498181 >= 52935 @ 56.3631
81.18/81.56	c bounds 497600 >= 52935 @ 56.4164
81.18/81.56	c bounds 497019 >= 52935 @ 56.4696
81.18/81.56	c bounds 496438 >= 52935 @ 56.5201
81.18/81.56	c bounds 495857 >= 52935 @ 56.5714
81.18/81.56	c bounds 495276 >= 52935 @ 56.6169
81.18/81.56	c bounds 494695 >= 52935 @ 56.6609
81.18/81.56	c bounds 494114 >= 52935 @ 56.71
81.18/81.56	c bounds 493533 >= 52935 @ 56.7556
81.18/81.56	c bounds 492952 >= 52935 @ 56.8087
81.18/81.56	c bounds 492371 >= 52935 @ 56.8608
81.18/81.56	c bounds 491790 >= 52935 @ 56.9113
81.18/81.56	c bounds 491209 >= 52935 @ 56.9558
81.18/81.56	c bounds 490628 >= 52935 @ 57.0042
81.18/81.56	c bounds 490047 >= 52935 @ 57.0577
81.18/81.56	c bounds 489466 >= 52935 @ 57.1075
81.18/81.56	c bounds 488885 >= 52935 @ 57.1619
81.18/81.56	c bounds 488304 >= 52935 @ 57.2104
81.18/81.56	c bounds 487723 >= 52935 @ 57.2696
81.18/81.56	c bounds 487142 >= 52935 @ 57.3503
81.18/81.56	c bounds 486561 >= 52935 @ 57.4134
81.18/81.56	c bounds 485980 >= 52935 @ 57.4733
81.18/81.56	c bounds 485979 >= 52935 @ 57.519
81.18/81.56	c bounds 485978 >= 52935 @ 57.5715
81.18/81.56	c bounds 485977 >= 52935 @ 57.6239
81.18/81.56	c bounds 485976 >= 52935 @ 57.693
81.18/81.56	c bounds 485975 >= 52935 @ 57.74
81.18/81.56	c bounds 485974 >= 52935 @ 57.7923
81.18/81.56	c bounds 485973 >= 52935 @ 57.8463
81.18/81.56	c bounds 485972 >= 52935 @ 57.8948
81.18/81.56	c bounds 485971 >= 52935 @ 57.9497
81.18/81.56	c bounds 485970 >= 52935 @ 58.0077
81.18/81.56	c bounds 485969 >= 52935 @ 58.0605
81.18/81.56	c bounds 485968 >= 52935 @ 58.1176
81.18/81.56	c bounds 485967 >= 52935 @ 58.1729
81.18/81.56	c bounds 485386 >= 52935 @ 58.2323
81.18/81.56	c bounds 484805 >= 52935 @ 58.2973
81.18/81.56	c bounds 484804 >= 52935 @ 58.3429
81.18/81.56	c bounds 484223 >= 52935 @ 58.4261
81.18/81.56	c bounds 483642 >= 52935 @ 58.5032
81.18/81.56	c bounds 483061 >= 52935 @ 58.5554
81.18/81.56	c bounds 483061 >= 52936 @ 58.7895
81.18/81.56	c bounds 482480 >= 52936 @ 58.8417
81.18/81.56	c bounds 481899 >= 52936 @ 58.8966
81.18/81.56	c bounds 481318 >= 52936 @ 58.9497
81.18/81.56	c bounds 480737 >= 52936 @ 59.0027
81.18/81.56	c bounds 480156 >= 52936 @ 59.0525
81.18/81.56	c bounds 479575 >= 52936 @ 59.1039
81.18/81.56	c bounds 478994 >= 52936 @ 59.1577
81.18/81.56	c bounds 478413 >= 52936 @ 59.2045
81.18/81.56	c bounds 477832 >= 52936 @ 59.2589
81.18/81.56	c bounds 477251 >= 52936 @ 59.3184
81.18/81.56	c bounds 477251 >= 52937 @ 59.702
81.18/81.56	c bounds 476670 >= 52937 @ 59.7677
81.18/81.56	c bounds 476089 >= 52937 @ 59.8255
81.18/81.56	c bounds 475508 >= 52937 @ 59.8778
81.18/81.56	c bounds 474927 >= 52937 @ 59.9336
81.18/81.56	c bounds 474346 >= 52937 @ 59.9849
81.18/81.56	c bounds 473765 >= 52937 @ 60.0344
81.18/81.56	c bounds 473184 >= 52937 @ 60.0864
81.18/81.56	c bounds 472603 >= 52937 @ 60.1317
81.18/81.56	c bounds 472022 >= 52937 @ 60.1867
81.18/81.56	c bounds 471441 >= 52937 @ 60.2523
81.18/81.56	c bounds 470860 >= 52937 @ 60.3066
81.18/81.56	c bounds 470279 >= 52937 @ 60.3614
81.18/81.56	c bounds 469698 >= 52937 @ 60.414
81.18/81.56	c bounds 469117 >= 52937 @ 60.4691
81.18/81.56	c bounds 468536 >= 52937 @ 60.5209
81.18/81.56	c bounds 467955 >= 52937 @ 60.5716
81.18/81.56	c bounds 467374 >= 52937 @ 60.6232
81.18/81.56	c bounds 466794 >= 52937 @ 60.6765
81.18/81.56	c bounds 466793 >= 52937 @ 60.7254
81.18/81.56	c bounds 466212 >= 52937 @ 60.7692
81.18/81.56	c bounds 465631 >= 52937 @ 60.8235
81.18/81.56	c bounds 465051 >= 52937 @ 60.8827
81.18/81.56	c bounds 464470 >= 52937 @ 60.9521
81.18/81.56	c bounds 463889 >= 52937 @ 61.0218
81.18/81.56	c bounds 463308 >= 52937 @ 61.0823
81.18/81.56	c bounds 462727 >= 52937 @ 61.1422
81.18/81.56	c bounds 462146 >= 52937 @ 61.1998
81.18/81.56	c bounds 461565 >= 52937 @ 61.2723
81.18/81.56	c bounds 461565 >= 52938 @ 61.4629
81.18/81.56	c bounds 460984 >= 52938 @ 61.5374
81.18/81.56	c bounds 460403 >= 52938 @ 61.6295
81.18/81.56	c bounds 459822 >= 52938 @ 61.6878
81.18/81.56	c bounds 459241 >= 52938 @ 61.7506
81.18/81.56	c bounds 458660 >= 52938 @ 61.8037
81.18/81.56	c bounds 458079 >= 52938 @ 61.8607
81.18/81.56	c bounds 457498 >= 52938 @ 61.914
81.18/81.56	c bounds 456917 >= 52938 @ 61.9663
81.18/81.56	c bounds 456336 >= 52938 @ 62.0143
81.18/81.56	c bounds 455755 >= 52938 @ 62.067
81.18/81.56	c bounds 455174 >= 52938 @ 62.1176
81.18/81.56	c bounds 454593 >= 52938 @ 62.1746
81.18/81.56	c bounds 454012 >= 52938 @ 62.2272
81.18/81.56	c bounds 453431 >= 52938 @ 62.2739
81.18/81.56	c bounds 452850 >= 52938 @ 62.3197
81.18/81.56	c bounds 452269 >= 52938 @ 62.3714
81.18/81.56	c bounds 452269 >= 52939 @ 62.6086
81.18/81.56	c bounds 451688 >= 52939 @ 62.6615
81.18/81.56	c bounds 451107 >= 52939 @ 62.7126
81.18/81.56	c bounds 450526 >= 52939 @ 62.7697
81.18/81.56	c bounds 449945 >= 52939 @ 62.8255
81.18/81.56	c bounds 449364 >= 52939 @ 62.8928
81.18/81.56	c bounds 448783 >= 52939 @ 62.9712
81.18/81.56	c bounds 448202 >= 52939 @ 63.0303
81.18/81.56	c bounds 447623 >= 52939 @ 63.086
81.18/81.56	c bounds 447042 >= 52939 @ 63.1685
81.18/81.56	c bounds 446461 >= 52939 @ 63.2708
81.18/81.56	c bounds 445880 >= 52939 @ 63.3288
81.18/81.56	c bounds 445299 >= 52939 @ 63.3842
81.18/81.56	c bounds 444718 >= 52939 @ 63.4344
81.18/81.56	c bounds 444137 >= 52939 @ 63.4813
673.37/676.00	c bounds 443556 >= 52939 @ 63.5292
673.37/676.00	c bounds 442975 >= 52939 @ 63.5823
673.37/676.00	c bounds 442394 >= 52939 @ 63.6343
673.37/676.00	c bounds 441813 >= 52939 @ 63.6813
673.37/676.00	c bounds 441232 >= 52939 @ 63.7368
673.37/676.00	c bounds 440651 >= 52939 @ 63.7907
673.37/676.00	c bounds 440070 >= 52939 @ 63.8408
673.37/676.00	c bounds 439489 >= 52939 @ 63.8923
673.37/676.00	c bounds 439489 >= 53517 @ 64.0196
673.37/676.00	c bounds 438908 >= 53517 @ 64.0721
673.37/676.00	c bounds 438327 >= 53517 @ 64.1231
673.37/676.00	c bounds 437746 >= 53517 @ 64.1692
673.37/676.00	c bounds 437165 >= 53517 @ 64.2208
673.37/676.00	c #Conflicts:       5000 | #Constraints:     939522
673.37/676.00	c bounds 436584 >= 53517 @ 64.277
673.37/676.00	c bounds 436003 >= 53517 @ 64.3532
673.37/676.00	c bounds 435422 >= 53517 @ 64.4226
673.37/676.00	c bounds 434841 >= 53517 @ 64.4884
673.37/676.00	c bounds 434260 >= 53517 @ 64.5559
673.37/676.00	c bounds 433679 >= 53517 @ 64.6116
673.37/676.00	c bounds 433679 >= 53518 @ 64.6363
673.37/676.00	c bounds 433098 >= 53518 @ 64.6965
673.37/676.00	c bounds 433098 >= 53519 @ 64.7437
673.37/676.00	c bounds 432517 >= 53519 @ 64.8048
673.37/676.00	c bounds 431936 >= 53519 @ 64.861
673.37/676.00	c bounds 431355 >= 53519 @ 64.9153
673.37/676.00	c bounds 430774 >= 53519 @ 64.9643
673.37/676.00	c bounds 430193 >= 53519 @ 65.0183
673.37/676.00	c bounds 430193 >= 53520 @ 65.1297
673.37/676.00	c bounds 429612 >= 53520 @ 65.1817
673.37/676.00	c bounds 429031 >= 53520 @ 65.2366
673.37/676.00	c bounds 428450 >= 53520 @ 65.2873
673.37/676.00	c bounds 427869 >= 53520 @ 65.3376
673.37/676.00	c bounds 427288 >= 53520 @ 65.3863
673.37/676.00	c bounds 426707 >= 53520 @ 65.4383
673.37/676.00	c bounds 426126 >= 53520 @ 65.4926
673.37/676.00	c bounds 425545 >= 53520 @ 65.5499
673.37/676.00	c bounds 424964 >= 53520 @ 65.6131
673.37/676.00	c bounds 424383 >= 53520 @ 65.6829
673.37/676.00	c bounds 423802 >= 53520 @ 65.7404
673.37/676.00	c bounds 423802 >= 53521 @ 66.1003
673.37/676.00	c bounds 423221 >= 53521 @ 66.186
673.37/676.00	c bounds 422640 >= 53521 @ 66.2532
673.37/676.00	c bounds 422059 >= 53521 @ 66.3212
673.37/676.00	c bounds 421478 >= 53521 @ 66.3851
673.37/676.00	c bounds 421477 >= 53521 @ 66.4456
673.37/676.00	c bounds 421476 >= 53521 @ 66.5488
673.37/676.00	c bounds 420896 >= 53521 @ 66.6242
673.37/676.00	c bounds 420315 >= 53521 @ 66.6839
673.37/676.00	c bounds 419734 >= 53521 @ 66.7467
673.37/676.00	c bounds 419153 >= 53521 @ 66.8083
673.37/676.00	c bounds 418572 >= 53521 @ 66.8638
673.37/676.00	c bounds 417991 >= 53521 @ 66.9152
673.37/676.00	c bounds 417410 >= 53521 @ 66.9749
673.37/676.00	c bounds 416830 >= 53521 @ 67.0242
673.37/676.00	c bounds 416829 >= 53521 @ 67.0787
673.37/676.00	c bounds 416248 >= 53521 @ 67.1328
673.37/676.00	c bounds 415667 >= 53521 @ 67.1874
673.37/676.00	c bounds 415086 >= 53521 @ 67.2381
673.37/676.00	c bounds 414505 >= 53521 @ 67.2916
673.37/676.00	c bounds 413924 >= 53521 @ 67.3653
673.37/676.00	c bounds 413343 >= 53521 @ 67.4555
673.37/676.00	c bounds 413342 >= 53521 @ 67.5438
673.37/676.00	c bounds 413342 >= 53522 @ 67.6815
673.37/676.00	c bounds 412761 >= 53522 @ 67.7535
673.37/676.00	c bounds 412180 >= 53522 @ 67.8315
673.37/676.00	c bounds 411599 >= 53522 @ 67.9415
673.37/676.00	c bounds 411018 >= 53522 @ 68.0579
673.37/676.00	c bounds 410437 >= 53522 @ 68.1592
673.37/676.00	c bounds 409856 >= 53522 @ 68.259
673.37/676.00	c bounds 409275 >= 53522 @ 68.3564
673.37/676.00	c #Conflicts:       6000 | #Constraints:     940611
673.37/676.00	c bounds 409275 >= 53523 @ 101.865
673.37/676.00	c bounds 408694 >= 53523 @ 101.963
673.37/676.00	c bounds 408113 >= 53523 @ 102.254
673.37/676.00	c bounds 407532 >= 53523 @ 102.481
673.37/676.00	c bounds 406951 >= 53523 @ 102.674
673.37/676.00	c bounds 406370 >= 53523 @ 102.912
673.37/676.00	c bounds 405789 >= 53523 @ 103.091
673.37/676.00	c bounds 405208 >= 53523 @ 103.261
673.37/676.00	c bounds 404627 >= 53523 @ 103.437
673.37/676.00	c bounds 404046 >= 53523 @ 103.618
673.37/676.00	c bounds 404045 >= 53523 @ 103.78
673.37/676.00	c bounds 404044 >= 53523 @ 103.967
673.37/676.00	c INPROCESSING
673.37/676.00	c GARBAGE COLLECT
673.37/676.00	c bounds 403463 >= 53523 @ 104.711
673.37/676.00	c bounds 402882 >= 53523 @ 104.854
673.37/676.00	c bounds 402881 >= 53523 @ 105
673.37/676.00	c bounds 402300 >= 53523 @ 105.138
673.37/676.00	c bounds 402300 >= 53524 @ 105.411
673.37/676.00	c bounds 402299 >= 53524 @ 105.544
673.37/676.00	c bounds 401718 >= 53524 @ 105.669
673.37/676.00	c #Conflicts:       7000 | #Constraints:     939458
673.37/676.00	c bounds 401137 >= 53524 @ 105.835
673.37/676.00	c bounds 400556 >= 53524 @ 105.994
673.37/676.00	c bounds 399975 >= 53524 @ 106.147
673.37/676.00	c bounds 399975 >= 54097 @ 106.225
673.37/676.00	c bounds 399394 >= 54097 @ 106.373
673.37/676.00	c bounds 398813 >= 54097 @ 106.55
673.37/676.00	c bounds 398813 >= 54105 @ 106.562
673.37/676.00	c bounds 398813 >= 54106 @ 106.705
673.37/676.00	c bounds 398232 >= 54106 @ 106.886
673.37/676.00	c bounds 397651 >= 54106 @ 107.059
673.37/676.00	c #Conflicts:       8000 | #Constraints:     940477
673.37/676.00	c #Conflicts:       9000 | #Constraints:     941477
673.37/676.00	c INPROCESSING
673.37/676.00	c GARBAGE COLLECT
673.37/676.00	c bounds 397070 >= 54106 @ 649.468
673.37/676.00	c bounds 396489 >= 54106 @ 649.697
673.37/676.00	c bounds 395908 >= 54106 @ 649.899
673.37/676.00	c bounds 395327 >= 54106 @ 650.066
673.37/676.00	c bounds 394746 >= 54106 @ 650.245
673.37/676.00	c bounds 394165 >= 54106 @ 650.419
673.37/676.00	c bounds 393584 >= 54106 @ 650.578
673.37/676.00	c bounds 393003 >= 54106 @ 650.727
673.37/676.00	c bounds 392422 >= 54106 @ 650.873
684.74/687.30	c bounds 391841 >= 54106 @ 651.022
684.74/687.30	c bounds 391260 >= 54106 @ 651.153
684.74/687.30	c bounds 390679 >= 54106 @ 651.293
684.74/687.30	c bounds 390098 >= 54106 @ 651.422
684.74/687.30	c bounds 389517 >= 54106 @ 651.565
684.74/687.30	c bounds 389516 >= 54106 @ 651.816
684.74/687.30	c bounds 388935 >= 54106 @ 651.973
684.74/687.30	c bounds 388354 >= 54106 @ 652.122
684.74/687.30	c bounds 387773 >= 54106 @ 652.279
684.74/687.30	c bounds 387192 >= 54106 @ 652.368
684.74/687.30	c bounds 386611 >= 54106 @ 652.489
684.74/687.30	c bounds 386030 >= 54106 @ 652.58
684.74/687.30	c bounds 385449 >= 54106 @ 652.698
684.74/687.30	c bounds 384868 >= 54106 @ 652.853
684.74/687.30	c bounds 384287 >= 54106 @ 653.016
684.74/687.30	c bounds 383706 >= 54106 @ 653.101
684.74/687.30	c bounds 383125 >= 54106 @ 653.183
684.74/687.30	c bounds 382544 >= 54106 @ 653.25
684.74/687.30	c bounds 381963 >= 54106 @ 653.315
684.74/687.30	c bounds 381382 >= 54106 @ 653.372
684.74/687.30	c bounds 380801 >= 54106 @ 653.433
684.74/687.30	c bounds 380220 >= 54106 @ 653.482
684.74/687.30	c bounds 379639 >= 54106 @ 653.537
684.74/687.30	c bounds 379058 >= 54106 @ 653.59
684.74/687.30	c bounds 378477 >= 54106 @ 653.644
684.74/687.30	c bounds 377896 >= 54106 @ 653.695
684.74/687.30	c bounds 377315 >= 54106 @ 653.767
684.74/687.30	c bounds 376734 >= 54106 @ 653.868
684.74/687.30	c bounds 376153 >= 54106 @ 653.922
684.74/687.30	c bounds 375572 >= 54106 @ 653.981
684.74/687.30	c bounds 374991 >= 54106 @ 654.047
684.74/687.30	c bounds 374410 >= 54106 @ 654.1
684.74/687.30	c bounds 373829 >= 54106 @ 654.176
684.74/687.30	c bounds 373248 >= 54106 @ 654.234
684.74/687.30	c bounds 372667 >= 54106 @ 654.295
684.74/687.30	c bounds 372086 >= 54106 @ 654.354
684.74/687.30	c bounds 371505 >= 54106 @ 654.398
684.74/687.30	c bounds 370924 >= 54106 @ 654.441
684.74/687.30	c bounds 370343 >= 54106 @ 654.486
684.74/687.30	c bounds 369762 >= 54106 @ 654.538
684.74/687.30	c bounds 369181 >= 54106 @ 654.592
684.74/687.30	c bounds 368600 >= 54106 @ 654.648
684.74/687.30	c bounds 368019 >= 54106 @ 654.696
684.74/687.30	c bounds 367438 >= 54106 @ 654.745
684.74/687.30	c bounds 366857 >= 54106 @ 654.798
684.74/687.30	c bounds 366276 >= 54106 @ 654.849
684.74/687.30	c bounds 365695 >= 54106 @ 654.9
684.74/687.30	c bounds 365114 >= 54106 @ 654.947
684.74/687.30	c bounds 364533 >= 54106 @ 655.002
684.74/687.30	c bounds 363952 >= 54106 @ 655.061
684.74/687.30	c bounds 363371 >= 54106 @ 655.118
684.74/687.30	c bounds 362790 >= 54106 @ 655.18
684.74/687.30	c bounds 362209 >= 54106 @ 655.233
684.74/687.30	c bounds 361628 >= 54106 @ 655.279
684.74/687.30	c bounds 361047 >= 54106 @ 655.336
684.74/687.30	c bounds 360466 >= 54106 @ 655.389
684.74/687.30	c bounds 359885 >= 54106 @ 655.444
684.74/687.30	c bounds 359304 >= 54106 @ 655.492
684.74/687.30	c bounds 358723 >= 54106 @ 655.543
684.74/687.30	c bounds 358142 >= 54106 @ 655.599
684.74/687.30	c bounds 357561 >= 54106 @ 655.65
684.74/687.30	c bounds 356980 >= 54106 @ 655.701
684.74/687.30	c bounds 356399 >= 54106 @ 655.76
684.74/687.30	c bounds 355818 >= 54106 @ 655.814
684.74/687.30	c bounds 355237 >= 54106 @ 655.866
684.74/687.30	c bounds 354656 >= 54106 @ 655.919
684.74/687.30	c bounds 354075 >= 54106 @ 655.965
684.74/687.30	c bounds 353494 >= 54106 @ 656.017
684.74/687.30	c bounds 352913 >= 54106 @ 656.078
684.74/687.30	c bounds 352332 >= 54106 @ 656.134
684.74/687.30	c bounds 351751 >= 54106 @ 656.198
684.74/687.30	c bounds 351170 >= 54106 @ 656.248
684.74/687.30	c bounds 350589 >= 54106 @ 656.3
684.74/687.30	c bounds 350008 >= 54106 @ 656.355
684.74/687.30	c bounds 349427 >= 54106 @ 656.406
684.74/687.30	c bounds 348846 >= 54106 @ 656.463
684.74/687.30	c bounds 348265 >= 54106 @ 656.514
684.74/687.30	c bounds 347684 >= 54106 @ 656.558
684.74/687.30	c bounds 347103 >= 54106 @ 656.608
684.74/687.30	c bounds 346522 >= 54106 @ 656.656
684.74/687.30	c bounds 345941 >= 54106 @ 656.702
684.74/687.30	c bounds 345360 >= 54106 @ 656.75
684.74/687.30	c bounds 344779 >= 54106 @ 656.798
684.74/687.30	c bounds 344198 >= 54106 @ 656.854
684.74/687.30	c bounds 343617 >= 54106 @ 656.907
684.74/687.30	c bounds 343036 >= 54106 @ 656.961
684.74/687.30	c bounds 342455 >= 54106 @ 657.006
684.74/687.30	c bounds 341874 >= 54106 @ 657.057
684.74/687.30	c bounds 341293 >= 54106 @ 657.107
684.74/687.30	c bounds 340712 >= 54106 @ 657.157
684.74/687.30	c bounds 340131 >= 54106 @ 657.207
684.74/687.30	c bounds 339550 >= 54106 @ 657.258
684.74/687.30	c bounds 338969 >= 54106 @ 657.312
684.74/687.30	c bounds 338388 >= 54106 @ 657.364
684.74/687.30	c bounds 337807 >= 54106 @ 657.417
684.74/687.30	c bounds 337226 >= 54106 @ 657.462
684.74/687.30	c bounds 336645 >= 54106 @ 657.512
684.74/687.30	c bounds 336064 >= 54106 @ 657.562
684.74/687.30	c bounds 335483 >= 54106 @ 657.619
684.74/687.30	c bounds 334902 >= 54106 @ 657.671
684.74/687.30	c bounds 334321 >= 54106 @ 657.725
684.74/687.30	c bounds 333740 >= 54106 @ 657.774
684.74/687.30	c bounds 333159 >= 54106 @ 657.821
684.74/687.30	c bounds 332578 >= 54106 @ 657.872
684.74/687.30	c bounds 331997 >= 54106 @ 657.926
684.74/687.30	c bounds 331416 >= 54106 @ 657.983
684.74/687.30	c bounds 330835 >= 54106 @ 658.03
684.74/687.30	c bounds 330254 >= 54106 @ 658.084
684.74/687.30	c bounds 329673 >= 54106 @ 658.142
684.74/687.30	c bounds 329092 >= 54106 @ 658.197
684.74/687.30	c bounds 328511 >= 54106 @ 658.248
684.74/687.30	c bounds 327930 >= 54106 @ 658.302
684.74/687.30	c bounds 327349 >= 54106 @ 658.354
684.74/687.30	c bounds 326768 >= 54106 @ 658.404
684.74/687.30	c bounds 326187 >= 54106 @ 658.456
684.74/687.30	c bounds 325606 >= 54106 @ 658.508
684.74/687.30	c bounds 325025 >= 54106 @ 658.559
708.65/711.31	c bounds 324444 >= 54106 @ 658.606
708.65/711.31	c bounds 323863 >= 54106 @ 658.653
708.65/711.31	c bounds 323282 >= 54106 @ 658.706
708.65/711.31	c #Conflicts:      10000 | #Constraints:     940202
708.65/711.31	c bounds 323282 >= 54107 @ 660.597
708.65/711.31	c bounds 322701 >= 54107 @ 660.661
708.65/711.31	c bounds 322120 >= 54107 @ 660.715
708.65/711.31	c bounds 321539 >= 54107 @ 660.769
708.65/711.31	c bounds 320958 >= 54107 @ 660.829
708.65/711.31	c bounds 320377 >= 54107 @ 660.891
708.65/711.31	c bounds 319796 >= 54107 @ 660.946
708.65/711.31	c bounds 319215 >= 54107 @ 660.999
708.65/711.31	c bounds 318634 >= 54107 @ 661.054
708.65/711.31	c bounds 318053 >= 54107 @ 661.111
708.65/711.31	c bounds 317472 >= 54107 @ 661.162
708.65/711.31	c bounds 316891 >= 54107 @ 661.224
708.65/711.31	c bounds 316310 >= 54107 @ 661.278
708.65/711.31	c bounds 315729 >= 54107 @ 661.343
708.65/711.31	c bounds 315148 >= 54107 @ 661.408
708.65/711.31	c bounds 314567 >= 54107 @ 661.463
708.65/711.31	c bounds 313986 >= 54107 @ 661.513
708.65/711.31	c bounds 313405 >= 54107 @ 661.574
708.65/711.31	c bounds 312824 >= 54107 @ 661.623
708.65/711.31	c bounds 312243 >= 54107 @ 661.682
708.65/711.31	c bounds 311662 >= 54107 @ 661.741
708.65/711.31	c bounds 311081 >= 54107 @ 661.798
708.65/711.31	c bounds 310500 >= 54107 @ 661.854
708.65/711.31	c bounds 309919 >= 54107 @ 661.908
708.65/711.31	c bounds 309338 >= 54107 @ 661.961
708.65/711.31	c bounds 308757 >= 54107 @ 662.017
708.65/711.31	c bounds 308176 >= 54107 @ 662.077
708.65/711.31	c bounds 307595 >= 54107 @ 662.144
708.65/711.31	c bounds 307014 >= 54107 @ 662.337
708.65/711.31	c bounds 306433 >= 54107 @ 662.512
708.65/711.31	c bounds 305852 >= 54107 @ 662.692
708.65/711.31	c #Conflicts:      11000 | #Constraints:     941258
708.65/711.31	c bounds 305271 >= 54107 @ 662.867
708.65/711.31	c bounds 304690 >= 54107 @ 663.023
708.65/711.31	c bounds 304109 >= 54107 @ 663.205
708.65/711.31	c bounds 303528 >= 54107 @ 663.345
708.65/711.31	c bounds 302947 >= 54107 @ 663.493
708.65/711.31	c bounds 302366 >= 54107 @ 663.879
708.65/711.31	c bounds 301787 >= 54107 @ 664.209
708.65/711.31	c bounds 301786 >= 54107 @ 664.265
708.65/711.31	c bounds 301205 >= 54107 @ 664.499
708.65/711.31	c bounds 300624 >= 54107 @ 664.685
708.65/711.31	c bounds 300043 >= 54107 @ 664.827
708.65/711.31	c bounds 300042 >= 54107 @ 664.971
708.65/711.31	c bounds 299461 >= 54107 @ 665.166
708.65/711.31	c bounds 298880 >= 54107 @ 665.322
708.65/711.31	c bounds 298299 >= 54107 @ 665.483
708.65/711.31	c bounds 298298 >= 54107 @ 665.681
708.65/711.31	c bounds 297717 >= 54107 @ 665.88
708.65/711.31	c bounds 297717 >= 54108 @ 665.908
708.65/711.31	c bounds 297136 >= 54108 @ 666.053
708.65/711.31	c bounds 297136 >= 54109 @ 666.342
708.65/711.31	c bounds 296555 >= 54109 @ 666.486
708.65/711.31	c bounds 295974 >= 54109 @ 666.624
708.65/711.31	c bounds 295393 >= 54109 @ 666.762
708.65/711.31	c bounds 294812 >= 54109 @ 666.922
708.65/711.31	c bounds 294231 >= 54109 @ 667.083
708.65/711.31	c bounds 293650 >= 54109 @ 667.276
708.65/711.31	c #Conflicts:      12000 | #Constraints:     942289
708.65/711.31	c INPROCESSING
708.65/711.31	c GARBAGE COLLECT
708.65/711.31	c bounds 293650 >= 54110 @ 668.159
708.65/711.31	c bounds 293069 >= 54110 @ 668.215
708.65/711.31	c bounds 292488 >= 54110 @ 668.375
708.65/711.31	c bounds 291907 >= 54110 @ 668.518
708.65/711.31	c bounds 291907 >= 54111 @ 668.63
708.65/711.31	c bounds 291326 >= 54111 @ 668.815
708.65/711.31	c bounds 290745 >= 54111 @ 668.972
708.65/711.31	c bounds 290745 >= 54112 @ 669.085
708.65/711.31	c bounds 290164 >= 54112 @ 669.255
708.65/711.31	c bounds 289583 >= 54112 @ 669.411
708.65/711.31	c bounds 289583 >= 54113 @ 669.474
708.65/711.31	c bounds 289002 >= 54113 @ 669.623
708.65/711.31	c bounds 289002 >= 54114 @ 669.797
708.65/711.31	c bounds 288421 >= 54114 @ 669.934
708.65/711.31	c bounds 287840 >= 54114 @ 670.095
708.65/711.31	c bounds 287259 >= 54114 @ 670.271
708.65/711.31	c #Conflicts:      13000 | #Constraints:     940438
708.65/711.31	c bounds 287259 >= 54115 @ 670.804
708.65/711.31	c bounds 286678 >= 54115 @ 670.95
708.65/711.31	c bounds 286097 >= 54115 @ 671.14
708.65/711.31	c bounds 285516 >= 54115 @ 671.317
708.65/711.31	c bounds 284935 >= 54115 @ 671.494
708.65/711.31	c bounds 284354 >= 54115 @ 671.671
708.65/711.31	c bounds 283773 >= 54115 @ 671.856
708.65/711.31	c bounds 283192 >= 54115 @ 672.029
708.65/711.31	c bounds 282611 >= 54115 @ 672.202
708.65/711.31	c bounds 282030 >= 54115 @ 672.383
708.65/711.31	c bounds 281449 >= 54115 @ 672.557
708.65/711.31	c #Conflicts:      14000 | #Constraints:     941462
708.65/711.31	c bounds 281449 >= 54116 @ 673.994
708.65/711.31	c bounds 280868 >= 54116 @ 674.259
708.65/711.31	c bounds 280287 >= 54116 @ 674.451
708.65/711.31	c bounds 279706 >= 54116 @ 674.643
708.65/711.31	c bounds 279125 >= 54116 @ 674.835
708.65/711.31	c bounds 278544 >= 54116 @ 675.029
708.65/711.31	c bounds 278543 >= 54116 @ 675.226
708.65/711.31	c bounds 277962 >= 54116 @ 675.423
708.65/711.31	c bounds 277381 >= 54116 @ 675.608
708.65/711.31	c bounds 276800 >= 54116 @ 675.802
708.65/711.31	c bounds 276219 >= 54116 @ 675.993
708.65/711.31	c #Conflicts:      15000 | #Constraints:     942492
708.65/711.31	c INPROCESSING
708.65/711.31	c GARBAGE COLLECT
708.65/711.31	c bounds 275638 >= 54116 @ 676.811
708.65/711.31	c bounds 275057 >= 54116 @ 676.991
708.65/711.31	c bounds 274476 >= 54116 @ 677.172
708.65/711.31	c bounds 273895 >= 54116 @ 677.358
708.65/711.31	c bounds 273314 >= 54116 @ 677.537
708.65/711.31	c bounds 272733 >= 54116 @ 677.729
708.65/711.31	c bounds 272152 >= 54116 @ 677.906
708.65/711.31	c bounds 271571 >= 54116 @ 678.07
708.65/711.31	c bounds 270990 >= 54116 @ 678.212
1734.09/1740.67	c bounds 270409 >= 54116 @ 678.371
1734.09/1740.67	c bounds 269828 >= 54116 @ 678.56
1734.09/1740.67	c bounds 269247 >= 54116 @ 678.704
1734.09/1740.67	c bounds 268666 >= 54116 @ 678.833
1734.09/1740.67	c bounds 268085 >= 54116 @ 678.967
1734.09/1740.67	c bounds 267504 >= 54116 @ 679.088
1734.09/1740.67	c bounds 266923 >= 54116 @ 679.277
1734.09/1740.67	c bounds 266922 >= 54116 @ 679.409
1734.09/1740.67	c bounds 266341 >= 54116 @ 679.535
1734.09/1740.67	c bounds 265760 >= 54116 @ 679.637
1734.09/1740.67	c bounds 265179 >= 54116 @ 679.766
1734.09/1740.67	c bounds 264598 >= 54116 @ 679.877
1734.09/1740.67	c bounds 264017 >= 54116 @ 679.99
1734.09/1740.67	c bounds 263436 >= 54116 @ 680.098
1734.09/1740.67	c bounds 262855 >= 54116 @ 680.215
1734.09/1740.67	c bounds 262274 >= 54116 @ 680.361
1734.09/1740.67	c bounds 262274 >= 54117 @ 680.466
1734.09/1740.67	c bounds 261693 >= 54117 @ 680.607
1734.09/1740.67	c #Conflicts:      16000 | #Constraints:     940722
1734.09/1740.67	c bounds 261693 >= 54118 @ 680.743
1734.09/1740.67	c bounds 261112 >= 54118 @ 680.981
1734.09/1740.67	c bounds 260531 >= 54118 @ 681.158
1734.09/1740.67	c #Conflicts:      17000 | #Constraints:     941726
1734.09/1740.67	c #Conflicts:      18000 | #Constraints:     942726
1734.09/1740.67	c INPROCESSING
1734.09/1740.67	c GARBAGE COLLECT
1734.09/1740.67	c bounds 259950 >= 54118 @ 685.818
1734.09/1740.67	c bounds 259369 >= 54118 @ 686.006
1734.09/1740.67	c bounds 258788 >= 54118 @ 686.19
1734.09/1740.67	c bounds 258207 >= 54118 @ 686.408
1734.09/1740.67	c bounds 257626 >= 54118 @ 686.631
1734.09/1740.67	c bounds 257045 >= 54118 @ 686.846
1734.09/1740.67	c bounds 256464 >= 54118 @ 687.05
1734.09/1740.67	c bounds 255883 >= 54118 @ 687.266
1734.09/1740.67	c bounds 255302 >= 54118 @ 687.441
1734.09/1740.67	c bounds 254721 >= 54118 @ 687.62
1734.09/1740.67	c bounds 254140 >= 54118 @ 687.806
1734.09/1740.67	c bounds 253559 >= 54118 @ 687.991
1734.09/1740.67	c bounds 252978 >= 54118 @ 688.167
1734.09/1740.67	c bounds 252397 >= 54118 @ 688.358
1734.09/1740.67	c bounds 251816 >= 54118 @ 688.54
1734.09/1740.67	c bounds 251235 >= 54118 @ 688.708
1734.09/1740.67	c bounds 250654 >= 54118 @ 688.876
1734.09/1740.67	c bounds 250073 >= 54118 @ 689.116
1734.09/1740.67	c #Conflicts:      19000 | #Constraints:     940773
1734.09/1740.67	c bounds 249492 >= 54118 @ 689.292
1734.09/1740.67	c bounds 248911 >= 54118 @ 689.451
1734.09/1740.67	c bounds 248330 >= 54118 @ 689.606
1734.09/1740.67	c bounds 247749 >= 54118 @ 689.823
1734.09/1740.67	c bounds 247169 >= 54118 @ 689.986
1734.09/1740.67	c bounds 246588 >= 54118 @ 690.181
1734.09/1740.67	c bounds 246007 >= 54118 @ 690.329
1734.09/1740.67	c bounds 245426 >= 54118 @ 690.47
1734.09/1740.67	c bounds 244846 >= 54118 @ 690.633
1734.09/1740.67	c bounds 244845 >= 54118 @ 690.687
1734.09/1740.67	c bounds 244264 >= 54118 @ 690.828
1734.09/1740.67	c bounds 243683 >= 54118 @ 690.981
1734.09/1740.67	c bounds 243102 >= 54118 @ 691.131
1734.09/1740.67	c bounds 242521 >= 54118 @ 691.436
1734.09/1740.67	c bounds 242520 >= 54118 @ 691.687
1734.09/1740.67	c bounds 241939 >= 54118 @ 691.929
1734.09/1740.67	c bounds 241358 >= 54118 @ 692.228
1734.09/1740.67	c bounds 240777 >= 54118 @ 692.496
1734.09/1740.67	c bounds 240196 >= 54118 @ 692.884
1734.09/1740.67	c bounds 240195 >= 54118 @ 693.2
1734.09/1740.67	c #Conflicts:      20000 | #Constraints:     941793
1734.09/1740.67	c bounds 239614 >= 54118 @ 693.453
1734.09/1740.67	c bounds 239033 >= 54118 @ 693.978
1734.09/1740.67	c bounds 238452 >= 54118 @ 695.067
1734.09/1740.67	c bounds 237871 >= 54118 @ 695.399
1734.09/1740.67	c bounds 237290 >= 54118 @ 695.836
1734.09/1740.67	c bounds 236709 >= 54118 @ 696.323
1734.09/1740.67	c bounds 236128 >= 54118 @ 696.752
1734.09/1740.67	c bounds 235547 >= 54118 @ 697.085
1734.09/1740.67	c bounds 234966 >= 54118 @ 697.285
1734.09/1740.67	c bounds 234385 >= 54118 @ 697.464
1734.09/1740.67	c #Conflicts:      21000 | #Constraints:     942803
1734.09/1740.67	c INPROCESSING
1734.09/1740.67	c GARBAGE COLLECT
1734.09/1740.67	c bounds 233804 >= 54118 @ 700.558
1734.09/1740.67	c bounds 233223 >= 54118 @ 700.736
1734.09/1740.67	c bounds 232642 >= 54118 @ 700.906
1734.09/1740.67	c bounds 232061 >= 54118 @ 701.064
1734.09/1740.67	c bounds 231480 >= 54118 @ 701.213
1734.09/1740.67	c bounds 230899 >= 54118 @ 701.395
1734.09/1740.67	c bounds 230318 >= 54118 @ 701.536
1734.09/1740.67	c bounds 229737 >= 54118 @ 701.705
1734.09/1740.67	c bounds 229156 >= 54118 @ 701.848
1734.09/1740.67	c bounds 228575 >= 54118 @ 702.012
1734.09/1740.67	c bounds 227994 >= 54118 @ 702.163
1734.09/1740.67	c bounds 227413 >= 54118 @ 702.306
1734.09/1740.67	c bounds 226832 >= 54118 @ 702.455
1734.09/1740.67	c #Conflicts:      22000 | #Constraints:     940716
1734.09/1740.67	c bounds 226251 >= 54118 @ 1694.82
1734.09/1740.67	c bounds 225670 >= 54118 @ 1695.19
1734.09/1740.67	c bounds 225089 >= 54118 @ 1695.34
1734.09/1740.67	c bounds 224508 >= 54118 @ 1695.5
1734.09/1740.67	c bounds 223927 >= 54118 @ 1695.65
1734.09/1740.67	c bounds 223346 >= 54118 @ 1695.81
1734.09/1740.67	c bounds 222765 >= 54118 @ 1695.95
1734.09/1740.67	c bounds 222184 >= 54118 @ 1696.09
1734.09/1740.67	c bounds 221603 >= 54118 @ 1696.22
1734.09/1740.67	c bounds 221022 >= 54118 @ 1696.39
1734.09/1740.67	c bounds 220441 >= 54118 @ 1696.53
1734.09/1740.67	c bounds 219860 >= 54118 @ 1696.7
1734.09/1740.67	c bounds 219279 >= 54118 @ 1696.84
1734.09/1740.67	c bounds 218698 >= 54118 @ 1697.07
1734.09/1740.67	c bounds 218117 >= 54118 @ 1697.23
1734.09/1740.67	c bounds 217536 >= 54118 @ 1697.4
1734.09/1740.67	c bounds 216955 >= 54118 @ 1697.55
1734.09/1740.67	c bounds 216374 >= 54118 @ 1697.69
1734.09/1740.67	c bounds 215793 >= 54118 @ 1697.83
1734.09/1740.67	c bounds 215212 >= 54118 @ 1697.99
1734.09/1740.67	c bounds 214631 >= 54118 @ 1698.13
1734.09/1740.67	c bounds 214050 >= 54118 @ 1698.27
1734.09/1740.67	c bounds 213470 >= 54118 @ 1698.41
1785.00/1791.78	c bounds 212889 >= 54118 @ 1698.56
1785.00/1791.78	c bounds 212308 >= 54118 @ 1698.76
1785.00/1791.78	c #Conflicts:      23000 | #Constraints:     941741
1785.00/1791.78	c bounds 212308 >= 54119 @ 1702.43
1785.00/1791.78	c #Conflicts:      24000 | #Constraints:     942761
1785.00/1791.78	c bounds 211727 >= 54119 @ 1702.57
1785.00/1791.78	c bounds 211146 >= 54119 @ 1702.77
1785.00/1791.78	c bounds 210565 >= 54119 @ 1702.93
1785.00/1791.78	c bounds 209984 >= 54119 @ 1703.09
1785.00/1791.78	c bounds 209403 >= 54119 @ 1703.24
1785.00/1791.78	c bounds 208822 >= 54119 @ 1703.39
1785.00/1791.78	c bounds 208241 >= 54119 @ 1703.55
1785.00/1791.78	c bounds 207660 >= 54119 @ 1703.72
1785.00/1791.78	c bounds 207079 >= 54119 @ 1703.89
1785.00/1791.78	c bounds 206498 >= 54119 @ 1704.04
1785.00/1791.78	c bounds 206497 >= 54119 @ 1704.2
1785.00/1791.78	c bounds 205916 >= 54119 @ 1704.36
1785.00/1791.78	c bounds 205335 >= 54119 @ 1704.52
1785.00/1791.78	c bounds 204754 >= 54119 @ 1704.71
1785.00/1791.78	c bounds 204173 >= 54119 @ 1704.86
1785.00/1791.78	c bounds 203592 >= 54119 @ 1705
1785.00/1791.78	c bounds 203591 >= 54119 @ 1705.15
1785.00/1791.78	c bounds 203010 >= 54119 @ 1705.3
1785.00/1791.78	c bounds 202429 >= 54119 @ 1705.44
1785.00/1791.78	c bounds 201848 >= 54119 @ 1705.59
1785.00/1791.78	c bounds 201267 >= 54119 @ 1705.77
1785.00/1791.78	c bounds 200687 >= 54119 @ 1706.01
1785.00/1791.78	c bounds 200686 >= 54119 @ 1706.07
1785.00/1791.78	c bounds 200105 >= 54119 @ 1706.3
1785.00/1791.78	c bounds 199524 >= 54119 @ 1706.46
1785.00/1791.78	c bounds 198943 >= 54119 @ 1706.6
1785.00/1791.78	c bounds 198362 >= 54119 @ 1706.74
1785.00/1791.78	c bounds 197782 >= 54119 @ 1706.92
1785.00/1791.78	c bounds 197201 >= 54119 @ 1707.1
1785.00/1791.78	c bounds 196620 >= 54119 @ 1707.27
1785.00/1791.78	c #Conflicts:      25000 | #Constraints:     943791
1785.00/1791.78	c bounds 196039 >= 54119 @ 1707.45
1785.00/1791.78	c bounds 195458 >= 54119 @ 1707.64
1785.00/1791.78	c bounds 194877 >= 54119 @ 1707.85
1785.00/1791.78	c bounds 194296 >= 54119 @ 1708.03
1785.00/1791.78	c bounds 193715 >= 54119 @ 1708.23
1785.00/1791.78	c INPROCESSING
1785.00/1791.78	c GARBAGE COLLECT
1785.00/1791.78	c bounds 193134 >= 54119 @ 1709.23
1785.00/1791.78	c bounds 192553 >= 54119 @ 1709.44
1785.00/1791.78	c bounds 191977 >= 54119 @ 1709.63
1785.00/1791.78	c bounds 191976 >= 54119 @ 1709.68
1785.00/1791.78	c bounds 191975 >= 54119 @ 1709.76
1785.00/1791.78	c bounds 191974 >= 54119 @ 1709.83
1785.00/1791.78	c bounds 191393 >= 54119 @ 1710.11
1785.00/1791.78	c bounds 190812 >= 54119 @ 1710.33
1785.00/1791.78	c bounds 190231 >= 54119 @ 1710.58
1785.00/1791.78	c bounds 189650 >= 54119 @ 1710.77
1785.00/1791.78	c bounds 189069 >= 54119 @ 1710.95
1785.00/1791.78	c bounds 189069 >= 54678 @ 1711.01
1785.00/1791.78	c bounds 188488 >= 54678 @ 1711.18
1785.00/1791.78	c bounds 187907 >= 54678 @ 1711.36
1785.00/1791.78	c bounds 187907 >= 54679 @ 1711.4
1785.00/1791.78	c bounds 187907 >= 54683 @ 1711.41
1785.00/1791.78	c bounds 187907 >= 54684 @ 1711.45
1785.00/1791.78	c bounds 187326 >= 54684 @ 1711.61
1785.00/1791.78	c bounds 187326 >= 54685 @ 1711.67
1785.00/1791.78	c bounds 187326 >= 54686 @ 1711.71
1785.00/1791.78	c #Conflicts:      26000 | #Constraints:     941282
1785.00/1791.78	c bounds 186745 >= 54686 @ 1712.24
1785.00/1791.78	c bounds 186745 >= 54687 @ 1712.28
1785.00/1791.78	c bounds 186745 >= 54688 @ 1712.41
1785.00/1791.78	c bounds 186745 >= 54689 @ 1712.47
1785.00/1791.78	c bounds 186164 >= 54689 @ 1712.65
1785.00/1791.78	c bounds 186164 >= 54690 @ 1712.77
1785.00/1791.78	c bounds 185583 >= 54690 @ 1712.98
1785.00/1791.78	c bounds 185582 >= 54690 @ 1713.17
1785.00/1791.78	c bounds 185582 >= 54691 @ 1713.41
1785.00/1791.78	c bounds 185001 >= 54691 @ 1713.59
1785.00/1791.78	c bounds 184420 >= 54691 @ 1713.78
1785.00/1791.78	c bounds 183839 >= 54691 @ 1713.95
1785.00/1791.78	c bounds 183258 >= 54691 @ 1714.12
1785.00/1791.78	c bounds 183258 >= 54692 @ 1714.57
1785.00/1791.78	c bounds 182677 >= 54692 @ 1714.74
1785.00/1791.78	c bounds 182096 >= 54692 @ 1715.33
1785.00/1791.78	c bounds 181515 >= 54692 @ 1715.49
1785.00/1791.78	c #Conflicts:      27000 | #Constraints:     942380
1785.00/1791.78	c bounds 180934 >= 54692 @ 1715.67
1785.00/1791.78	c bounds 180353 >= 54692 @ 1715.84
1785.00/1791.78	c bounds 179772 >= 54692 @ 1716
1785.00/1791.78	c bounds 179192 >= 54692 @ 1716.18
1785.00/1791.78	c bounds 179192 >= 54693 @ 1717.08
1785.00/1791.78	c bounds 178611 >= 54693 @ 1717.29
1785.00/1791.78	c bounds 178030 >= 54693 @ 1717.46
1785.00/1791.78	c bounds 177449 >= 54693 @ 1717.62
1785.00/1791.78	c bounds 177448 >= 54693 @ 1718.02
1785.00/1791.78	c bounds 176867 >= 54693 @ 1718.48
1785.00/1791.78	c bounds 176286 >= 54693 @ 1718.66
1785.00/1791.78	c #Conflicts:      28000 | #Constraints:     943419
1785.00/1791.78	c bounds 175705 >= 54693 @ 1719.39
1785.00/1791.78	c bounds 175124 >= 54693 @ 1722.85
1785.00/1791.78	c #Conflicts:      29000 | #Constraints:     944421
1785.00/1791.78	c INPROCESSING
1785.00/1791.78	c GARBAGE COLLECT
1785.00/1791.78	c bounds 175124 >= 54694 @ 1726.33
1785.00/1791.78	c bounds 174543 >= 54694 @ 1726.59
1785.00/1791.78	c bounds 173963 >= 54694 @ 1727.06
1785.00/1791.78	c bounds 173382 >= 54694 @ 1727.62
1785.00/1791.78	c #Conflicts:      30000 | #Constraints:     941944
1785.00/1791.78	c #Conflicts:      31000 | #Constraints:     942944
1785.00/1791.78	c bounds 172801 >= 54694 @ 1735.9
1785.00/1791.78	c bounds 172801 >= 54695 @ 1739.28
1785.00/1791.78	c #Conflicts:      32000 | #Constraints:     943968
1785.00/1791.78	c bounds 172801 >= 54696 @ 1742.74
1785.00/1791.78	c bounds 172220 >= 54696 @ 1742.98
1785.00/1791.78	c bounds 171639 >= 54696 @ 1743.24
1785.00/1791.78	c bounds 171058 >= 54696 @ 1743.68
1785.00/1791.78	c bounds 170477 >= 54696 @ 1744.37
1785.00/1791.78	c bounds 169896 >= 54696 @ 174

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: 63931 MiB (56602 MiB free)
  memory of node 1: 64510 MiB (61886 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462770-1722344685/watcher-4462770-1722344685 -o /tmp/evaluation-result-4462770-1722344685/solver-4462770-1722344685 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722340763-6570 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462770-1722344685 --lp-cut-gomory=0 HOME/instance-4462770-1722344685.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=9531, runsolver pid=9528
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.18 4.17 4.11 5/260 9532
/proc/meminfo: memFree=121317620/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=51248 memory=17336 CPUtime=0.07 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 4204 0 0 0 5 2 0 0 20 0 1 0 1066863 52477952 4334 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 12812 4334 1395 992 0 4670 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 51248 KiB
Current children cumulated memory: 17336 KiB

[startup+0.205795 s]*
/proc/loadavg: 4.18 4.17 4.11 5/260 9532
/proc/meminfo: memFree=121304664/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=63056 memory=33116 CPUtime=0.17 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 7270 0 0 0 13 4 0 0 20 0 1 0 1066863 64569344 8279 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 15764 8279 1395 992 0 7622 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 63056 KiB
Current children cumulated memory: 33116 KiB

[startup+0.305714 s]*
/proc/loadavg: 4.18 4.17 4.11 5/260 9532
/proc/meminfo: memFree=121267488/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=98152 memory=60496 CPUtime=0.27 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 11496 0 0 0 20 7 0 0 20 0 1 0 1066863 100507648 15124 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 24538 15124 1395 992 0 16396 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 98152 KiB
Current children cumulated memory: 60496 KiB

[startup+0.70021 s]
/proc/loadavg: 4.18 4.17 4.11 5/260 9532
/proc/meminfo: memFree=121264864/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=100872 memory=63300 CPUtime=0.66 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 12254 0 0 0 53 13 0 0 20 0 1 0 1066863 103292928 15825 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 25218 15825 1395 992 0 17076 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 100872 KiB
Current children cumulated memory: 63300 KiB

[startup+1.50021 s]
/proc/loadavg: 4.18 4.17 4.11 5/260 9532
/proc/meminfo: memFree=121246612/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=108788 memory=73484 CPUtime=1.46 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 13767 0 0 0 122 24 0 0 20 0 1 0 1066863 111398912 18371 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 27197 18371 1395 992 0 19055 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 108788 KiB
Current children cumulated memory: 73484 KiB

[startup+3.10546 s]
/proc/loadavg: 4.18 4.17 4.11 5/260 9534
/proc/meminfo: memFree=121138256/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=136668 memory=97048 CPUtime=3.06 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 16557 0 0 0 260 46 0 0 20 0 1 0 1066863 139948032 24262 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 34167 24262 1395 992 0 26025 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 136668 KiB
Current children cumulated memory: 97048 KiB

[startup+6.3002 s]
/proc/loadavg: 4.16 4.16 4.11 5/260 9534
/proc/meminfo: memFree=120876628/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=173616 memory=135000 CPUtime=6.24 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 19979 0 0 0 537 87 0 0 20 0 1 0 1066863 177782784 33750 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 43404 33750 1395 992 0 35262 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 173616 KiB
Current children cumulated memory: 135000 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.16 4.11 5/260 9535
/proc/meminfo: memFree=119910688/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=876716 memory=816788 CPUtime=12.62 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 112442 0 0 0 1139 123 0 0 20 0 1 0 1066863 897757184 204197 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 219179 204197 1745 992 0 211037 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 876716 KiB
Current children cumulated memory: 816788 KiB

[startup+25.5002 s]
/proc/loadavg: 4.33 4.20 4.12 5/259 9537
/proc/meminfo: memFree=119273244/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=876716 memory=827388 CPUtime=25.38 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 112520 0 0 0 1934 604 0 0 20 0 1 0 1066863 897757184 206847 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 219179 206847 1793 992 0 211037 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 876716 KiB
Current children cumulated memory: 827388 KiB

[startup+51.1055 s]
/proc/loadavg: 4.22 4.19 4.12 5/260 9541
/proc/meminfo: memFree=117793828/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=891960 memory=851224 CPUtime=50.88 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 113970 0 0 0 4285 803 0 0 20 0 1 0 1066863 913367040 212806 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 222990 212806 1892 992 0 214848 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 891960 KiB
Current children cumulated memory: 851224 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/262 9553
/proc/meminfo: memFree=114528712/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=981420 memory=910896 CPUtime=101.9 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 119352 0 0 0 8169 2021 0 0 20 0 1 0 1066863 1004974080 227724 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 245355 227724 1892 992 0 237213 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 981420 KiB
Current children cumulated memory: 910896 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/262 9563
/proc/meminfo: memFree=111641072/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1138912 memory=1093368 CPUtime=161.68 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 144886 0 0 0 13975 2193 0 0 20 0 1 0 1066863 1166245888 273342 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 284728 273342 1892 992 0 276586 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 1138912 KiB
Current children cumulated memory: 1093368 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/262 9575
/proc/meminfo: memFree=108200120/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1145608 memory=1093504 CPUtime=221.46 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 145054 0 0 0 19949 2197 0 0 20 0 1 0 1066863 1173102592 273376 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 286402 273376 1892 992 0 278260 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 1145608 KiB
Current children cumulated memory: 1093504 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/264 9587
/proc/meminfo: memFree=105788992/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1145608 memory=1093900 CPUtime=281.24 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 145360 0 0 0 25922 2202 0 0 20 0 1 0 1066863 1173102592 273475 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 286402 273475 1892 992 0 278260 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 1145608 KiB
Current children cumulated memory: 1093900 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/262 9599
/proc/meminfo: memFree=104114384/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1145608 memory=1094180 CPUtime=341.03 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 145609 0 0 0 31898 2205 0 0 20 0 1 0 1066863 1173102592 273545 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 286402 273545 1892 992 0 278260 0
Current children cumulated CPU time: 341.03 s
Current children cumulated vsize: 1145608 KiB
Current children cumulated memory: 1094180 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/262 9610
/proc/meminfo: memFree=102511104/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1145608 memory=1094320 CPUtime=400.82 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 145848 0 0 0 37873 2209 0 0 20 0 1 0 1066863 1173102592 273580 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 286402 273580 1892 992 0 278260 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 1145608 KiB
Current children cumulated memory: 1094320 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 9621
/proc/meminfo: memFree=100781220/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1152304 memory=1100808 CPUtime=460.6 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 146169 0 0 0 43849 2211 0 0 20 0 1 0 1066863 1179959296 275202 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0

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

[startup+3162.3 s]
/proc/loadavg: 4.50 4.34 4.20 5/267 11174
/proc/meminfo: memFree=60655876/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1880900 memory=1777200 CPUtime=3151.05 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 266868 0 0 0 310666 4439 0 0 20 0 1 0 1066863 1926041600 444300 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 470225 444300 1892 992 0 462083 0
Current children cumulated CPU time: 3151.05 s
Current children cumulated vsize: 1880900 KiB
Current children cumulated memory: 1777200 KiB

[startup+3222.3 s]
/proc/loadavg: 4.24 4.29 4.19 5/269 11448
/proc/meminfo: memFree=60620968/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1881040 memory=1777240 CPUtime=3210.88 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 267179 0 0 0 316648 4440 0 0 20 0 1 0 1066863 1926184960 444310 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 470260 444310 1892 992 0 462118 0
Current children cumulated CPU time: 3210.88 s
Current children cumulated vsize: 1881040 KiB
Current children cumulated memory: 1777240 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.25 4.18 5/269 11458
/proc/meminfo: memFree=60444696/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1881040 memory=1778308 CPUtime=3270.7 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 267534 0 0 0 322628 4442 0 0 20 0 1 0 1066863 1926184960 444577 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 470260 444577 1892 992 0 462118 0
Current children cumulated CPU time: 3270.7 s
Current children cumulated vsize: 1881040 KiB
Current children cumulated memory: 1778308 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.24 4.18 5/266 11471
/proc/meminfo: memFree=60294420/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1881176 memory=1778340 CPUtime=3330.53 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 267835 0 0 0 328609 4444 0 0 20 0 1 0 1066863 1926324224 444585 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 470294 444585 1892 992 0 462152 0
Current children cumulated CPU time: 3330.53 s
Current children cumulated vsize: 1881176 KiB
Current children cumulated memory: 1778340 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.21 4.17 5/261 11493
/proc/meminfo: memFree=60007488/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1886548 memory=1780512 CPUtime=3390.36 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 268146 0 0 0 334590 4446 0 0 20 0 1 0 1066863 1931825152 445128 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 471637 445128 1892 992 0 463495 0
Current children cumulated CPU time: 3390.36 s
Current children cumulated vsize: 1886548 KiB
Current children cumulated memory: 1780512 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.20 4.17 5/261 11503
/proc/meminfo: memFree=59864524/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1886548 memory=1780528 CPUtime=3450.22 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 268246 0 0 0 340569 4453 0 0 20 0 1 0 1066863 1931825152 445132 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 471637 445132 1892 992 0 463495 0
Current children cumulated CPU time: 3450.22 s
Current children cumulated vsize: 1886548 KiB
Current children cumulated memory: 1780528 KiB

[startup+3522.3 s]
/proc/loadavg: 4.36 4.25 4.19 5/261 11514
/proc/meminfo: memFree=59735996/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1886548 memory=1780528 CPUtime=3510.08 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 268293 0 0 0 346545 4463 0 0 20 0 1 0 1066863 1931825152 445132 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 471637 445132 1892 992 0 463495 0
Current children cumulated CPU time: 3510.08 s
Current children cumulated vsize: 1886548 KiB
Current children cumulated memory: 1780528 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.22 4.18 5/260 11854
/proc/meminfo: memFree=119376876/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1886548 memory=1780528 CPUtime=3569.95 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 268343 0 0 0 352522 4473 0 0 20 0 1 0 1066863 1931825152 445132 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 471637 445132 1892 992 0 463495 0
Current children cumulated CPU time: 3569.95 s
Current children cumulated vsize: 1886548 KiB
Current children cumulated memory: 1780528 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.5 s]
/proc/loadavg: 4.11 4.20 4.18 5/260 11859
/proc/meminfo: memFree=119205140/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1886548 memory=1780528 CPUtime=3600.08 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 268362 0 0 0 355530 4478 0 0 20 0 1 0 1066863 1931825152 445132 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 471637 445132 1892 992 0 463495 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1886548 KiB
Current children cumulated memory: 1780528 KiB

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3557.3 s, system=44.7947 s

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

[startup+3612.8 s]
/proc/loadavg: 4.11 4.20 4.18 5/260 11859
/proc/meminfo: memFree=119205140/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1886548 memory=1780528 CPUtime=3600.38 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 268362 0 0 0 355560 4478 0 0 20 0 1 0 1066863 1931825152 445132 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 471637 445132 1892 992 0 463495 0
Current children cumulated CPU time: 3600.38 s
Current children cumulated vsize: 1886548 KiB
Current children cumulated memory: 1780528 KiB

[startup+3613.6 s]
/proc/loadavg: 4.11 4.20 4.18 5/260 11859
/proc/meminfo: memFree=119200940/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1886548 memory=1780528 CPUtime=3601.18 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 268362 0 0 0 355640 4478 0 0 20 0 1 0 1066863 1931825152 445132 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 471637 445132 1892 992 0 463495 0
Current children cumulated CPU time: 3601.18 s
Current children cumulated vsize: 1886548 KiB
Current children cumulated memory: 1780528 KiB

[startup+3614 s]*
/proc/loadavg: 4.11 4.20 4.18 5/260 11859
/proc/meminfo: memFree=119196052/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1886548 memory=1780528 CPUtime=3601.58 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 268362 0 0 0 355680 4478 0 0 20 0 1 0 1066863 1931825152 445132 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 471637 445132 1892 992 0 463495 0
Current children cumulated CPU time: 3601.58 s
Current children cumulated vsize: 1886548 KiB
Current children cumulated memory: 1780528 KiB

[startup+3614.4 s]
/proc/loadavg: 4.11 4.20 4.18 5/260 11859
/proc/meminfo: memFree=119196052/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1886548 memory=1780528 CPUtime=3601.97 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 268362 0 0 0 355719 4478 0 0 20 0 1 0 1066863 1931825152 445132 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 471637 445132 1892 992 0 463495 0
Current children cumulated CPU time: 3601.97 s
Current children cumulated vsize: 1886548 KiB
Current children cumulated memory: 1780528 KiB

[startup+3614.5 s]
/proc/loadavg: 4.11 4.20 4.18 5/260 11859
/proc/meminfo: memFree=119196052/131524600 swapFree=131071216/131071996
[pid=9531] ppid=9528 vsize=1886548 memory=1780528 CPUtime=3602.07 cores=0,2
/proc/9531/stat : 9531 (roundingsat) R 9528 9531 6560 0 -1 4194304 268362 0 0 0 355729 4478 0 0 20 0 1 0 1066863 1931825152 445132 134679101440 4194304 8255733 140737331981168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 33308672 140737331987294 140737331987556 140737331987556 140737331994569 0
/proc/9531/statm: 471637 445132 1892 992 0 463495 0
Current children cumulated CPU time: 3602.07 s
Current children cumulated vsize: 1886548 KiB
Current children cumulated memory: 1780528 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3614.51
CPU time (s): 3602.09
CPU user time (s): 3557.3
CPU system time (s): 44.7947
CPU usage (%): 99.6565
Max. virtual memory (cumulated for all children) (KiB): 1920220
Max. memory (cumulated for all children) (KiB): 1780528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.3
system time used= 44.7947
maximum resident set size= 1780528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268362
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6281504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29
involuntary context switches= 24762


# summary of solver processes directly reported to runsolver:
#   pid: 9531
#   total CPU time (s): 3602.09
#   total CPU user time (s): 3557.3
#   total CPU system time (s): 44.7947

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.14573 second user time and 16.3574 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-30 15:04:46
IDJOB=4462770
IDBENCH=158206
IDSOLVER=3089
FILE ID=nodeC021/4462770-1722344685
RUNJOBID= nodeC021-1722340763-6570
SLURM_JOB_ID= 8248994
Free space on /tmp= 889928 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped2.G.recomb10-0.20-12.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462770-1722344685/watcher-4462770-1722344685 -o /tmp/evaluation-result-4462770-1722344685/solver-4462770-1722344685 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722340763-6570 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462770-1722344685 --lp-cut-gomory=0 HOME/instance-4462770-1722344685.opb

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

MD5SUM BENCH= 0c5a5feecc6e9ebbd7fc1e1b28678077
RANDOM SEED=1778411649

nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3641.994
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.80
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		: 3685.644
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.054
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.334
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
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		: 3664.472
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.80
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		: 3685.432
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.146
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.80
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		: 3600.173
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121335500 kB
MemAvailable:   127773564 kB
Buffers:           48752 kB
Cached:          7221408 kB
SwapCached:           56 kB
Active:           190328 kB
Inactive:        9493692 kB
Active(anon):       1536 kB
Inactive(anon):  2433580 kB
Active(file):     188792 kB
Inactive(file):  7060112 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:            501208 kB
Writeback:        194456 kB
AnonPages:       2413860 kB
Mapped:            97360 kB
Shmem:             21208 kB
KReclaimable:      57612 kB
Slab:             156972 kB
SReclaimable:      57612 kB
SUnreclaim:        99360 kB
KernelStack:        4192 kB
PageTables:        14096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3017264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8352 kB
HardwareCorrupted:     0 kB
AnonHugePages:    915456 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      168660 kB
DirectMap2M:     9041920 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 889952 MiB
End job on nodeC021 at 2024-07-30 16:05:00