Trace number 4457152

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 (1)? (TO) 3602.09 3616.95

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-13.opb
MD5SUM8ac687d6d6d445392b755a367fbcc019
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 benchmark40755
Best CPU time to get the best result obtained on this benchmark49.9658
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables215039
Total number of constraints3681544
Number of constraints which are clauses3681544
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.69/12.64	c #variables 215039 #constraints 1445335
23.44/27.45	c bounds - >= 0 @ 7.57235
23.44/27.45	c bounds 702738 >= 0 @ 15.2014
23.44/27.45	c bounds 702738 >= 1167 @ 15.2079
23.44/27.45	c bounds 702738 >= 1748 @ 15.2172
23.44/27.45	c bounds 702738 >= 2329 @ 15.2265
23.44/27.45	c bounds 702738 >= 2910 @ 15.2344
23.44/27.45	c bounds 702738 >= 3491 @ 15.2413
23.44/27.45	c bounds 702738 >= 3492 @ 15.2498
23.44/27.45	c bounds 702738 >= 4073 @ 15.2582
23.44/27.45	c bounds 702738 >= 4654 @ 15.2663
23.44/27.45	c bounds 702738 >= 5235 @ 15.2768
23.44/27.45	c bounds 702738 >= 5816 @ 15.2868
23.44/27.45	c bounds 702738 >= 6397 @ 15.296
23.44/27.45	c bounds 702738 >= 6978 @ 15.3056
23.44/27.45	c bounds 702738 >= 7559 @ 15.3142
23.44/27.45	c bounds 702738 >= 8140 @ 15.3268
23.44/27.45	c bounds 702738 >= 8721 @ 15.3358
23.44/27.45	c bounds 702738 >= 9302 @ 15.3441
23.44/27.45	c bounds 702738 >= 9883 @ 15.3553
23.44/27.45	c bounds 702738 >= 10464 @ 15.3681
23.44/27.45	c bounds 702738 >= 11045 @ 15.3766
23.44/27.45	c bounds 702738 >= 11626 @ 15.3929
23.44/27.45	c bounds 702160 >= 11626 @ 15.5787
23.44/27.45	c bounds 702160 >= 12207 @ 15.5924
23.44/27.45	c bounds 702160 >= 12788 @ 15.6039
23.44/27.45	c bounds 702160 >= 13369 @ 15.6169
23.44/27.45	c bounds 702160 >= 13950 @ 15.6311
23.44/27.45	c bounds 702160 >= 14531 @ 15.6475
23.44/27.45	c bounds 702160 >= 14532 @ 15.6736
23.44/27.45	c bounds 702160 >= 14533 @ 15.6912
23.44/27.45	c bounds 702160 >= 15114 @ 15.7068
23.44/27.45	c bounds 702160 >= 15115 @ 15.7327
23.44/27.45	c bounds 702160 >= 15116 @ 15.7506
23.44/27.45	c bounds 702160 >= 15117 @ 15.7734
23.44/27.45	c bounds 702160 >= 15698 @ 15.7972
23.44/27.45	c bounds 702160 >= 15699 @ 15.8109
23.44/27.45	c bounds 702160 >= 15700 @ 15.8307
23.44/27.45	c bounds 702160 >= 15701 @ 15.8483
23.44/27.45	c bounds 702160 >= 16281 @ 15.8663
23.44/27.45	c bounds 702159 >= 16281 @ 15.9172
23.44/27.45	c bounds 702159 >= 16282 @ 15.9362
23.44/27.45	c bounds 702159 >= 16862 @ 15.9523
23.44/27.45	c bounds 702159 >= 16863 @ 15.9706
23.44/27.45	c bounds 702159 >= 17444 @ 15.9866
23.44/27.45	c bounds 702159 >= 18025 @ 15.9996
23.44/27.45	c bounds 701578 >= 18025 @ 16.0633
23.44/27.45	c bounds 701578 >= 18026 @ 16.0974
23.44/27.45	c bounds 701578 >= 18027 @ 16.1156
23.44/27.45	c bounds 701578 >= 18028 @ 16.1372
23.44/27.45	c bounds 700997 >= 18028 @ 16.1935
23.44/27.45	c bounds 700997 >= 18029 @ 16.2305
23.44/27.45	c bounds 700416 >= 18029 @ 16.2886
23.44/27.45	c bounds 700416 >= 18030 @ 16.3121
23.44/27.45	c bounds 699835 >= 18030 @ 16.3508
23.44/27.45	c bounds 699835 >= 18031 @ 16.3739
23.44/27.45	c bounds 699835 >= 18612 @ 16.3988
23.44/27.45	c bounds 699254 >= 18612 @ 16.4432
23.44/27.45	c bounds 699254 >= 19193 @ 16.4581
23.44/27.45	c bounds 698673 >= 19193 @ 16.5038
23.44/27.45	c bounds 698673 >= 19774 @ 16.5217
23.44/27.45	c bounds 698673 >= 20355 @ 16.5428
23.44/27.45	c bounds 698092 >= 20355 @ 16.601
23.44/27.45	c bounds 698092 >= 20356 @ 16.6174
23.44/27.45	c bounds 698092 >= 20936 @ 16.6355
23.44/27.45	c bounds 698092 >= 20937 @ 16.6527
23.44/27.45	c bounds 698092 >= 20938 @ 16.6737
23.44/27.45	c bounds 697511 >= 20938 @ 16.7213
23.44/27.45	c bounds 697511 >= 20939 @ 16.743
23.44/27.45	c bounds 697511 >= 20940 @ 16.7816
23.44/27.45	c bounds 696930 >= 20940 @ 16.8316
23.44/27.45	c bounds 696349 >= 20940 @ 16.8762
23.44/27.45	c bounds 696349 >= 21521 @ 16.9275
23.44/27.45	c bounds 695768 >= 21521 @ 16.9811
23.44/27.45	c bounds 695187 >= 21521 @ 17.034
23.44/27.45	c bounds 695187 >= 21522 @ 17.0523
23.44/27.45	c bounds 694606 >= 21522 @ 17.1125
23.44/27.45	c bounds 694606 >= 21523 @ 17.1291
23.44/27.45	c bounds 694606 >= 22104 @ 17.1464
23.44/27.45	c bounds 694025 >= 22104 @ 17.2098
23.44/27.45	c bounds 694025 >= 22105 @ 17.2361
23.44/27.45	c bounds 693444 >= 22105 @ 17.2805
23.44/27.45	c bounds 693444 >= 22106 @ 17.303
23.44/27.45	c bounds 693444 >= 22687 @ 17.3414
23.44/27.45	c bounds 692863 >= 22687 @ 17.3952
23.44/27.45	c bounds 692863 >= 22688 @ 17.4162
23.44/27.45	c bounds 692282 >= 22688 @ 17.4599
23.44/27.45	c bounds 692282 >= 22689 @ 17.4777
23.44/27.45	c bounds 692282 >= 23269 @ 17.492
23.44/27.45	c bounds 691701 >= 23269 @ 17.5394
23.44/27.45	c bounds 691701 >= 23270 @ 17.5593
23.44/27.45	c bounds 691701 >= 23271 @ 17.5751
23.44/27.45	c bounds 691701 >= 23272 @ 17.5958
23.44/27.45	c bounds 691120 >= 23272 @ 17.6378
23.44/27.45	c bounds 691120 >= 23273 @ 17.6549
23.44/27.45	c bounds 691120 >= 23274 @ 17.6841
23.44/27.45	c bounds 690539 >= 23274 @ 17.7331
23.44/27.45	c bounds 689958 >= 23274 @ 17.7794
23.44/27.45	c bounds 689958 >= 23275 @ 17.8387
23.44/27.45	c bounds 689378 >= 23275 @ 17.8986
23.44/27.45	c bounds 688797 >= 23275 @ 17.976
23.44/27.45	c bounds 688797 >= 23276 @ 17.9959
23.44/27.45	c #Conflicts:       1000 | #Constraints:    1446661
23.44/27.45	c bounds 688797 >= 23277 @ 18.204
23.44/27.45	c bounds 688217 >= 23277 @ 18.2558
23.44/27.45	c bounds 688216 >= 23277 @ 18.3072
23.44/27.45	c bounds 687635 >= 23277 @ 18.3616
23.44/27.45	c bounds 687054 >= 23277 @ 18.4129
23.44/27.45	c bounds 686473 >= 23277 @ 18.4576
23.44/27.45	c bounds 685892 >= 23277 @ 18.5066
23.44/27.45	c bounds 685311 >= 23277 @ 18.5577
23.44/27.45	c bounds 684730 >= 23277 @ 18.6406
23.44/27.45	c bounds 684149 >= 23277 @ 18.6968
23.44/27.45	c bounds 683568 >= 23277 @ 18.7575
23.44/27.45	c bounds 682987 >= 23277 @ 18.8115
23.44/27.45	c bounds 682406 >= 23277 @ 18.8662
23.44/27.45	c bounds 681825 >= 23277 @ 18.9223
23.44/27.45	c bounds 681244 >= 23277 @ 19.0046
23.44/27.45	c bounds 681244 >= 23858 @ 19.0424
51.75/55.86	c bounds 680663 >= 23858 @ 19.1177
51.75/55.86	c bounds 680082 >= 23858 @ 19.1725
51.75/55.86	c bounds 680082 >= 24439 @ 19.1853
51.75/55.86	c bounds 680082 >= 25020 @ 19.2054
51.75/55.86	c bounds 680082 >= 25021 @ 19.2311
51.75/55.86	c bounds 679501 >= 25021 @ 19.2886
51.75/55.86	c bounds 679501 >= 25598 @ 19.3048
51.75/55.86	c bounds 678920 >= 25598 @ 19.3608
51.75/55.86	c bounds 678920 >= 25599 @ 19.3786
51.75/55.86	c bounds 678920 >= 25600 @ 19.3972
51.75/55.86	c bounds 678339 >= 25600 @ 19.4506
51.75/55.86	c bounds 678339 >= 25601 @ 19.4692
51.75/55.86	c bounds 678339 >= 25602 @ 19.543
51.75/55.86	c bounds 677758 >= 25602 @ 19.6023
51.75/55.86	c bounds 677177 >= 25602 @ 19.6443
51.75/55.86	c bounds 676596 >= 25602 @ 19.6929
51.75/55.86	c bounds 676015 >= 25602 @ 19.7388
51.75/55.86	c bounds 676015 >= 25603 @ 19.7577
51.75/55.86	c bounds 675434 >= 25603 @ 19.8145
51.75/55.86	c bounds 675434 >= 25604 @ 19.8485
51.75/55.86	c bounds 674853 >= 25604 @ 19.8996
51.75/55.86	c bounds 674853 >= 25605 @ 19.9144
51.75/55.86	c bounds 674272 >= 25605 @ 19.9693
51.75/55.86	c bounds 674272 >= 25606 @ 19.9906
51.75/55.86	c bounds 674272 >= 26185 @ 20.0089
51.75/55.86	c bounds 673691 >= 26185 @ 20.0635
51.75/55.86	c bounds 673691 >= 26186 @ 20.0822
51.75/55.86	c bounds 673691 >= 26187 @ 20.0988
51.75/55.86	c bounds 673691 >= 26188 @ 20.1203
51.75/55.86	c bounds 673110 >= 26188 @ 20.1717
51.75/55.86	c bounds 673110 >= 26769 @ 20.1867
51.75/55.86	c bounds 673110 >= 27349 @ 20.2012
51.75/55.86	c bounds 673110 >= 27350 @ 20.2213
51.75/55.86	c bounds 672529 >= 27350 @ 20.2759
51.75/55.86	c bounds 672529 >= 27931 @ 20.2969
51.75/55.86	c bounds 672529 >= 27932 @ 20.3158
51.75/55.86	c bounds 671948 >= 27932 @ 20.3708
51.75/55.86	c bounds 671948 >= 28510 @ 20.388
51.75/55.86	c bounds 671948 >= 28511 @ 20.408
51.75/55.86	c bounds 671367 >= 28511 @ 20.457
51.75/55.86	c bounds 671367 >= 28512 @ 20.4816
51.75/55.86	c bounds 671367 >= 28513 @ 20.5183
51.75/55.86	c bounds 670786 >= 28513 @ 20.5673
51.75/55.86	c bounds 670786 >= 28514 @ 20.5839
51.75/55.86	c bounds 670205 >= 28514 @ 20.6398
51.75/55.86	c bounds 670205 >= 28515 @ 20.6911
51.75/55.86	c bounds 669624 >= 28515 @ 20.7475
51.75/55.86	c bounds 669043 >= 28515 @ 20.7952
51.75/55.86	c bounds 669043 >= 28516 @ 20.8163
51.75/55.86	c bounds 669043 >= 29097 @ 20.8352
51.75/55.86	c bounds 669043 >= 29678 @ 20.9704
51.75/55.86	c bounds 668462 >= 29678 @ 21.0262
51.75/55.86	c bounds 667881 >= 29678 @ 21.083
51.75/55.86	c bounds 667300 >= 29678 @ 21.1295
51.75/55.86	c bounds 666719 >= 29678 @ 21.1856
51.75/55.86	c bounds 666138 >= 29678 @ 21.237
51.75/55.86	c bounds 665557 >= 29678 @ 21.2952
51.75/55.86	c bounds 664976 >= 29678 @ 21.351
51.75/55.86	c bounds 664395 >= 29678 @ 21.3979
51.75/55.86	c bounds 663814 >= 29678 @ 21.4447
51.75/55.86	c bounds 663233 >= 29678 @ 21.4983
51.75/55.86	c bounds 663233 >= 29679 @ 21.5591
51.75/55.86	c bounds 662652 >= 29679 @ 21.6116
51.75/55.86	c bounds 662071 >= 29679 @ 21.6745
51.75/55.86	c bounds 661490 >= 29679 @ 21.7493
51.75/55.86	c bounds 661490 >= 30260 @ 21.7599
51.75/55.86	c bounds 661490 >= 30841 @ 21.7731
51.75/55.86	c bounds 661490 >= 31422 @ 21.7912
51.75/55.86	c bounds 661490 >= 32003 @ 21.8085
51.75/55.86	c bounds 660909 >= 32003 @ 21.8711
51.75/55.86	c bounds 660909 >= 32004 @ 21.9001
51.75/55.86	c bounds 660328 >= 32004 @ 21.9438
51.75/55.86	c bounds 660328 >= 32585 @ 21.9651
51.75/55.86	c bounds 659747 >= 32585 @ 22.0237
51.75/55.86	c bounds 659747 >= 33166 @ 22.0431
51.75/55.86	c bounds 659747 >= 33747 @ 22.0614
51.75/55.86	c bounds 659747 >= 33748 @ 22.1219
51.75/55.86	c bounds 659166 >= 33748 @ 22.1722
51.75/55.86	c bounds 658585 >= 33748 @ 22.231
51.75/55.86	c bounds 658004 >= 33748 @ 22.2831
51.75/55.86	c bounds 658004 >= 34328 @ 22.3003
51.75/55.86	c bounds 657423 >= 34328 @ 22.3506
51.75/55.86	c bounds 657423 >= 34329 @ 22.3673
51.75/55.86	c #Conflicts:       2000 | #Constraints:    1447921
51.75/55.86	c INPROCESSING
51.75/55.86	c GARBAGE COLLECT
51.75/55.86	c bounds 656842 >= 34329 @ 42.1731
51.75/55.86	c bounds 656261 >= 34329 @ 42.2274
51.75/55.86	c bounds 655680 >= 34329 @ 42.2777
51.75/55.86	c bounds 655099 >= 34329 @ 42.3537
51.75/55.86	c bounds 654518 >= 34329 @ 42.4089
51.75/55.86	c bounds 653937 >= 34329 @ 42.4546
51.75/55.86	c bounds 653356 >= 34329 @ 42.5069
51.75/55.86	c bounds 652775 >= 34329 @ 42.555
51.75/55.86	c bounds 652194 >= 34329 @ 42.6079
51.75/55.86	c bounds 652194 >= 34330 @ 42.6544
51.75/55.86	c bounds 651613 >= 34330 @ 42.7031
51.75/55.86	c bounds 651032 >= 34330 @ 42.751
51.75/55.86	c bounds 651032 >= 34331 @ 42.7661
51.75/55.86	c bounds 650451 >= 34331 @ 42.8143
51.75/55.86	c bounds 650451 >= 34911 @ 42.8318
51.75/55.86	c bounds 650451 >= 35492 @ 42.8476
51.75/55.86	c bounds 649870 >= 35492 @ 42.898
51.75/55.86	c bounds 649870 >= 36072 @ 42.9267
51.75/55.86	c bounds 649870 >= 36073 @ 42.97
51.75/55.86	c bounds 649289 >= 36073 @ 43.0166
51.75/55.86	c bounds 648708 >= 36073 @ 43.0695
51.75/55.86	c bounds 648127 >= 36073 @ 43.1221
51.75/55.86	c bounds 648127 >= 36074 @ 43.1627
51.75/55.86	c bounds 647546 >= 36074 @ 43.2154
51.75/55.86	c bounds 647546 >= 36652 @ 43.2642
51.75/55.86	c bounds 646965 >= 36652 @ 43.3073
51.75/55.86	c bounds 646384 >= 36652 @ 43.3588
51.75/55.86	c bounds 645803 >= 36652 @ 43.4095
51.75/55.86	c bounds 645803 >= 36655 @ 43.4293
51.75/55.86	c bounds 645803 >= 36656 @ 43.4736
51.75/55.86	c bounds 645222 >= 36656 @ 43.5163
51.75/55.86	c bounds 644641 >= 36656 @ 43.5586
94.21/98.49	c bounds 644641 >= 36657 @ 43.6764
94.21/98.49	c bounds 644061 >= 36657 @ 43.7322
94.21/98.49	c bounds 643480 >= 36657 @ 43.7781
94.21/98.49	c bounds 642899 >= 36657 @ 43.8427
94.21/98.49	c bounds 642318 >= 36657 @ 43.9016
94.21/98.49	c bounds 641738 >= 36657 @ 43.9625
94.21/98.49	c bounds 641738 >= 37238 @ 43.9751
94.21/98.49	c bounds 641737 >= 37238 @ 44.0424
94.21/98.49	c #Conflicts:       3000 | #Constraints:    1026049
94.21/98.49	c bounds 641737 >= 37239 @ 44.509
94.21/98.49	c bounds 641156 >= 37239 @ 44.5679
94.21/98.49	c bounds 640576 >= 37239 @ 44.6271
94.21/98.49	c bounds 640575 >= 37239 @ 44.6783
94.21/98.49	c bounds 639994 >= 37239 @ 44.7259
94.21/98.49	c bounds 639413 >= 37239 @ 44.7788
94.21/98.49	c bounds 638832 >= 37239 @ 44.8422
94.21/98.49	c bounds 638251 >= 37239 @ 44.8941
94.21/98.49	c bounds 637670 >= 37239 @ 44.9405
94.21/98.49	c bounds 637089 >= 37239 @ 44.9797
94.21/98.49	c bounds 636508 >= 37239 @ 45.0327
94.21/98.49	c bounds 635927 >= 37239 @ 45.0844
94.21/98.49	c bounds 635346 >= 37239 @ 45.1392
94.21/98.49	c bounds 634765 >= 37239 @ 45.1912
94.21/98.49	c bounds 634184 >= 37239 @ 45.2437
94.21/98.49	c bounds 633603 >= 37239 @ 45.2954
94.21/98.49	c bounds 633022 >= 37239 @ 45.3439
94.21/98.49	c bounds 632441 >= 37239 @ 45.3877
94.21/98.49	c bounds 631860 >= 37239 @ 45.4311
94.21/98.49	c bounds 631279 >= 37239 @ 45.4846
94.21/98.49	c bounds 630698 >= 37239 @ 45.5351
94.21/98.49	c bounds 630117 >= 37239 @ 45.5854
94.21/98.49	c bounds 629536 >= 37239 @ 45.6348
94.21/98.49	c bounds 628955 >= 37239 @ 45.6832
94.21/98.49	c bounds 628374 >= 37239 @ 45.7392
94.21/98.49	c bounds 627793 >= 37239 @ 45.7856
94.21/98.49	c bounds 627212 >= 37239 @ 45.8358
94.21/98.49	c bounds 626631 >= 37239 @ 45.8877
94.21/98.49	c bounds 626050 >= 37239 @ 45.9322
94.21/98.49	c bounds 625469 >= 37239 @ 45.9822
94.21/98.49	c bounds 624888 >= 37239 @ 46.0396
94.21/98.49	c bounds 624307 >= 37239 @ 46.0919
94.21/98.49	c bounds 623726 >= 37239 @ 46.1459
94.21/98.49	c bounds 623145 >= 37239 @ 46.1978
94.21/98.49	c bounds 622564 >= 37239 @ 46.2563
94.21/98.49	c bounds 621984 >= 37239 @ 46.3193
94.21/98.49	c bounds 621984 >= 37240 @ 46.3481
94.21/98.49	c bounds 621983 >= 37240 @ 46.4003
94.21/98.49	c bounds 621983 >= 37241 @ 46.4789
94.21/98.49	c bounds 621402 >= 37241 @ 46.527
94.21/98.49	c bounds 620821 >= 37241 @ 46.5839
94.21/98.49	c bounds 620240 >= 37241 @ 46.6414
94.21/98.49	c bounds 619659 >= 37241 @ 46.6971
94.21/98.49	c bounds 619659 >= 37242 @ 46.895
94.21/98.49	c bounds 619078 >= 37242 @ 46.9515
94.21/98.49	c bounds 618497 >= 37242 @ 47.0113
94.21/98.49	c bounds 617916 >= 37242 @ 47.0676
94.21/98.49	c bounds 617335 >= 37242 @ 47.1277
94.21/98.49	c bounds 616754 >= 37242 @ 47.1764
94.21/98.49	c bounds 616173 >= 37242 @ 47.2301
94.21/98.49	c bounds 615592 >= 37242 @ 47.3013
94.21/98.49	c bounds 615011 >= 37242 @ 47.3742
94.21/98.49	c bounds 614430 >= 37242 @ 47.4583
94.21/98.49	c #Conflicts:       4000 | #Constraints:    1027128
94.21/98.49	c bounds 614430 >= 37243 @ 47.7773
94.21/98.49	c bounds 613850 >= 37243 @ 47.8516
94.21/98.49	c bounds 613849 >= 37243 @ 47.9074
94.21/98.49	c bounds 613268 >= 37243 @ 47.9788
94.21/98.49	c bounds 612687 >= 37243 @ 48.054
94.21/98.49	c bounds 612106 >= 37243 @ 48.127
94.21/98.49	c bounds 611525 >= 37243 @ 48.1966
94.21/98.49	c bounds 610944 >= 37243 @ 48.2601
94.21/98.49	c bounds 610363 >= 37243 @ 48.317
94.21/98.49	c bounds 609782 >= 37243 @ 48.381
94.21/98.49	c bounds 609201 >= 37243 @ 48.4437
94.21/98.49	c bounds 608620 >= 37243 @ 48.5141
94.21/98.49	c bounds 608039 >= 37243 @ 48.5695
94.21/98.49	c bounds 607458 >= 37243 @ 48.6307
94.21/98.49	c bounds 606877 >= 37243 @ 48.6864
94.21/98.49	c bounds 606296 >= 37243 @ 48.7425
94.21/98.49	c bounds 606296 >= 37244 @ 48.8063
94.21/98.49	c bounds 605715 >= 37244 @ 48.8644
94.21/98.49	c bounds 605134 >= 37244 @ 48.9166
94.21/98.49	c bounds 604553 >= 37244 @ 48.9605
94.21/98.49	c bounds 603972 >= 37244 @ 49.011
94.21/98.49	c INPROCESSING
94.21/98.49	c GARBAGE COLLECT
94.21/98.49	c bounds 603391 >= 37244 @ 49.7089
94.21/98.49	c bounds 602810 >= 37244 @ 49.7694
94.21/98.49	c bounds 602229 >= 37244 @ 49.8166
94.21/98.49	c bounds 601648 >= 37244 @ 49.8811
94.21/98.49	c bounds 601067 >= 37244 @ 49.951
94.21/98.49	c bounds 600486 >= 37244 @ 50.0029
94.21/98.49	c bounds 599905 >= 37244 @ 50.0522
94.21/98.49	c bounds 599905 >= 37245 @ 50.0891
94.21/98.49	c bounds 599324 >= 37245 @ 50.1372
94.21/98.49	c bounds 598743 >= 37245 @ 50.1837
94.21/98.49	c #Conflicts:       5000 | #Constraints:    1026327
94.21/98.49	c #Conflicts:       6000 | #Constraints:    1027327
94.21/98.49	c bounds 598743 >= 37246 @ 80.3119
94.21/98.49	c bounds 598162 >= 37246 @ 80.3693
94.21/98.49	c bounds 597581 >= 37246 @ 80.4309
94.21/98.49	c bounds 597580 >= 37246 @ 80.4763
94.21/98.49	c bounds 597579 >= 37246 @ 80.5292
94.21/98.49	c bounds 597578 >= 37246 @ 80.5868
94.21/98.49	c bounds 597577 >= 37246 @ 80.6435
94.21/98.49	c bounds 597576 >= 37246 @ 80.69
94.21/98.49	c bounds 597575 >= 37246 @ 80.749
94.21/98.49	c bounds 596994 >= 37246 @ 80.8043
94.21/98.49	c bounds 596993 >= 37246 @ 80.9101
94.21/98.49	c bounds 596412 >= 37246 @ 80.9638
94.21/98.49	c bounds 596411 >= 37246 @ 81.0159
94.21/98.49	c bounds 595830 >= 37246 @ 81.0726
94.21/98.49	c bounds 595829 >= 37246 @ 81.1309
94.21/98.49	c bounds 595828 >= 37246 @ 81.1859
94.21/98.49	c bounds 595827 >= 37246 @ 81.2345
94.21/98.49	c bounds 595826 >= 37246 @ 81.2945
94.21/98.49	c bounds 595825 >= 37246 @ 81.3543
105.29/109.58	c bounds 595824 >= 37246 @ 81.4143
105.29/109.58	c bounds 595823 >= 37246 @ 81.4751
105.29/109.58	c bounds 595822 >= 37246 @ 81.5282
105.29/109.58	c bounds 595821 >= 37246 @ 81.5899
105.29/109.58	c bounds 595240 >= 37246 @ 81.6488
105.29/109.58	c bounds 594659 >= 37246 @ 81.7008
105.29/109.58	c bounds 594078 >= 37246 @ 81.7531
105.29/109.58	c bounds 593497 >= 37246 @ 81.8072
105.29/109.58	c bounds 592916 >= 37246 @ 81.8917
105.29/109.58	c bounds 592335 >= 37246 @ 81.9821
105.29/109.58	c bounds 591754 >= 37246 @ 82.0618
105.29/109.58	c bounds 591173 >= 37246 @ 82.1204
105.29/109.58	c bounds 590592 >= 37246 @ 82.1774
105.29/109.58	c bounds 590011 >= 37246 @ 82.2275
105.29/109.58	c bounds 589430 >= 37246 @ 82.2756
105.29/109.58	c bounds 588849 >= 37246 @ 82.3405
105.29/109.58	c bounds 588268 >= 37246 @ 82.3981
105.29/109.58	c bounds 588267 >= 37246 @ 82.4509
105.29/109.58	c bounds 588266 >= 37246 @ 82.4986
105.29/109.58	c bounds 588265 >= 37246 @ 82.5512
105.29/109.58	c bounds 588264 >= 37246 @ 82.5999
105.29/109.58	c bounds 588263 >= 37246 @ 82.6617
105.29/109.58	c bounds 587682 >= 37246 @ 82.7408
105.29/109.58	c bounds 587101 >= 37246 @ 82.7944
105.29/109.58	c bounds 586520 >= 37246 @ 82.8454
105.29/109.58	c bounds 585939 >= 37246 @ 82.898
105.29/109.58	c bounds 585358 >= 37246 @ 82.9522
105.29/109.58	c bounds 584777 >= 37246 @ 83.0093
105.29/109.58	c bounds 584196 >= 37246 @ 83.0595
105.29/109.58	c bounds 583615 >= 37246 @ 83.1163
105.29/109.58	c bounds 583034 >= 37246 @ 83.1607
105.29/109.58	c bounds 582453 >= 37246 @ 83.2122
105.29/109.58	c bounds 581872 >= 37246 @ 83.2651
105.29/109.58	c bounds 581291 >= 37246 @ 83.3149
105.29/109.58	c bounds 580710 >= 37246 @ 83.3686
105.29/109.58	c bounds 580129 >= 37246 @ 83.4212
105.29/109.58	c bounds 579548 >= 37246 @ 83.4717
105.29/109.58	c bounds 578967 >= 37246 @ 83.5172
105.29/109.58	c bounds 578386 >= 37246 @ 83.5655
105.29/109.58	c bounds 577805 >= 37246 @ 83.6186
105.29/109.58	c bounds 577224 >= 37246 @ 83.6676
105.29/109.58	c bounds 576643 >= 37246 @ 83.7185
105.29/109.58	c bounds 576062 >= 37246 @ 83.7699
105.29/109.58	c bounds 575481 >= 37246 @ 83.815
105.29/109.58	c bounds 574900 >= 37246 @ 83.8673
105.29/109.58	c bounds 574319 >= 37246 @ 83.9187
105.29/109.58	c bounds 573738 >= 37246 @ 83.972
105.29/109.58	c bounds 573157 >= 37246 @ 84.0256
105.29/109.58	c bounds 572576 >= 37246 @ 84.0713
105.29/109.58	c bounds 571995 >= 37246 @ 84.1412
105.29/109.58	c bounds 571414 >= 37246 @ 84.1998
105.29/109.58	c bounds 570833 >= 37246 @ 84.2553
105.29/109.58	c bounds 570252 >= 37246 @ 84.3106
105.29/109.58	c bounds 569671 >= 37246 @ 84.3616
105.29/109.58	c bounds 569090 >= 37246 @ 84.4154
105.29/109.58	c bounds 568509 >= 37246 @ 84.4631
105.29/109.58	c bounds 567928 >= 37246 @ 84.5139
105.29/109.58	c bounds 567347 >= 37246 @ 84.5611
105.29/109.58	c bounds 566766 >= 37246 @ 84.6172
105.29/109.58	c bounds 566185 >= 37246 @ 84.6677
105.29/109.58	c bounds 565604 >= 37246 @ 84.723
105.29/109.58	c bounds 565023 >= 37246 @ 84.7739
105.29/109.58	c bounds 564442 >= 37246 @ 84.8178
105.29/109.58	c bounds 563861 >= 37246 @ 84.8752
105.29/109.58	c bounds 563280 >= 37246 @ 84.9331
105.29/109.58	c bounds 563280 >= 37247 @ 85.0292
105.29/109.58	c bounds 562699 >= 37247 @ 85.0831
105.29/109.58	c bounds 562118 >= 37247 @ 85.1407
105.29/109.58	c bounds 561537 >= 37247 @ 85.1963
105.29/109.58	c bounds 560956 >= 37247 @ 85.2479
105.29/109.58	c bounds 560375 >= 37247 @ 85.2991
105.29/109.58	c bounds 559794 >= 37247 @ 85.3569
105.29/109.58	c bounds 559213 >= 37247 @ 85.412
105.29/109.58	c bounds 559213 >= 37248 @ 85.7061
105.29/109.58	c bounds 558632 >= 37248 @ 85.7542
105.29/109.58	c bounds 558051 >= 37248 @ 85.8054
105.29/109.58	c bounds 557470 >= 37248 @ 85.8622
105.29/109.58	c bounds 556889 >= 37248 @ 85.9077
105.29/109.58	c bounds 556308 >= 37248 @ 85.9712
105.29/109.58	c bounds 555727 >= 37248 @ 86.0288
105.29/109.58	c bounds 555146 >= 37248 @ 86.0795
105.29/109.58	c bounds 554565 >= 37248 @ 86.1369
105.29/109.58	c bounds 553984 >= 37248 @ 86.1879
105.29/109.58	c bounds 553403 >= 37248 @ 86.2457
105.29/109.58	c bounds 552822 >= 37248 @ 86.2926
105.29/109.58	c bounds 552241 >= 37248 @ 86.3486
105.29/109.58	c bounds 551660 >= 37248 @ 86.405
105.29/109.58	c bounds 551079 >= 37248 @ 86.4658
105.29/109.58	c bounds 550498 >= 37248 @ 86.5233
105.29/109.58	c bounds 549917 >= 37248 @ 86.5797
105.29/109.58	c bounds 549336 >= 37248 @ 86.6306
105.29/109.58	c bounds 548755 >= 37248 @ 86.6847
105.29/109.58	c bounds 548174 >= 37248 @ 86.7371
105.29/109.58	c INPROCESSING
105.29/109.58	c GARBAGE COLLECT
105.29/109.58	c bounds 547593 >= 37248 @ 87.3531
105.29/109.58	c bounds 547012 >= 37248 @ 87.3949
105.29/109.58	c bounds 546431 >= 37248 @ 87.4434
105.29/109.58	c bounds 545850 >= 37248 @ 87.4939
105.29/109.58	c bounds 545269 >= 37248 @ 87.5395
105.29/109.58	c #Conflicts:       7000 | #Constraints:    1026026
105.29/109.58	c bounds 545269 >= 37249 @ 88.0164
105.29/109.58	c bounds 544688 >= 37249 @ 88.0693
105.29/109.58	c bounds 544107 >= 37249 @ 88.1246
105.29/109.58	c bounds 543526 >= 37249 @ 88.1758
105.29/109.58	c bounds 542945 >= 37249 @ 88.2298
105.29/109.58	c bounds 542364 >= 37249 @ 88.2865
105.29/109.58	c bounds 541783 >= 37249 @ 88.3371
105.29/109.58	c bounds 541202 >= 37249 @ 88.3934
105.29/109.58	c bounds 540621 >= 37249 @ 88.4416
105.29/109.58	c bounds 540040 >= 37249 @ 88.4916
105.29/109.58	c bounds 539459 >= 37249 @ 88.5472
105.29/109.58	c bounds 538878 >= 37249 @ 88.5915
105.29/109.58	c bounds 538297 >= 37249 @ 88.6405
105.29/109.58	c bounds 537716 >= 37249 @ 88.6901
105.29/109.58	c bounds 537135 >= 37249 @ 88.7415
105.29/109.58	c bounds 536554 >= 37249 @ 88.7876
117.66/121.90	c bounds 535973 >= 37249 @ 88.8417
117.66/121.90	c bounds 535392 >= 37249 @ 88.8935
117.66/121.90	c bounds 534811 >= 37249 @ 88.9443
117.66/121.90	c bounds 534230 >= 37249 @ 88.9923
117.66/121.90	c bounds 533649 >= 37249 @ 89.0486
117.66/121.90	c bounds 533068 >= 37249 @ 89.0942
117.66/121.90	c bounds 532487 >= 37249 @ 89.1457
117.66/121.90	c bounds 531906 >= 37249 @ 89.1952
117.66/121.90	c bounds 531325 >= 37249 @ 89.2449
117.66/121.90	c bounds 530744 >= 37249 @ 89.301
117.66/121.90	c bounds 530163 >= 37249 @ 89.3519
117.66/121.90	c bounds 529582 >= 37249 @ 89.403
117.66/121.90	c bounds 529001 >= 37249 @ 89.4537
117.66/121.90	c bounds 528420 >= 37249 @ 89.5064
117.66/121.90	c bounds 527839 >= 37249 @ 89.5551
117.66/121.90	c bounds 527258 >= 37249 @ 89.6025
117.66/121.90	c bounds 526677 >= 37249 @ 89.6577
117.66/121.90	c bounds 526096 >= 37249 @ 89.7107
117.66/121.90	c bounds 526096 >= 37829 @ 90.0488
117.66/121.90	c bounds 525515 >= 37829 @ 90.1207
117.66/121.90	c bounds 524934 >= 37829 @ 90.1925
117.66/121.90	c bounds 524353 >= 37829 @ 90.2517
117.66/121.90	c bounds 523772 >= 37829 @ 90.3166
117.66/121.90	c bounds 523191 >= 37829 @ 90.3746
117.66/121.90	c bounds 522610 >= 37829 @ 90.4358
117.66/121.90	c bounds 522029 >= 37829 @ 90.4906
117.66/121.90	c bounds 521448 >= 37829 @ 90.5386
117.66/121.90	c bounds 520867 >= 37829 @ 90.5917
117.66/121.90	c bounds 520286 >= 37829 @ 90.6392
117.66/121.90	c bounds 519705 >= 37829 @ 90.6867
117.66/121.90	c bounds 519124 >= 37829 @ 90.747
117.66/121.90	c bounds 518545 >= 37829 @ 90.8279
117.66/121.90	c bounds 518544 >= 37829 @ 90.9051
117.66/121.90	c bounds 517963 >= 37829 @ 90.9639
117.66/121.90	c bounds 517382 >= 37829 @ 91.0164
117.66/121.90	c bounds 516801 >= 37829 @ 91.0701
117.66/121.90	c bounds 516220 >= 37829 @ 91.1172
117.66/121.90	c bounds 516220 >= 37830 @ 91.2188
117.66/121.90	c bounds 515639 >= 37830 @ 91.2798
117.66/121.90	c bounds 515058 >= 37830 @ 91.3298
117.66/121.90	c bounds 514477 >= 37830 @ 91.3843
117.66/121.90	c bounds 513896 >= 37830 @ 91.432
117.66/121.90	c bounds 513315 >= 37830 @ 91.4848
117.66/121.90	c bounds 512734 >= 37830 @ 91.5384
117.66/121.90	c bounds 512734 >= 37831 @ 91.8305
117.66/121.90	c bounds 512153 >= 37831 @ 91.8854
117.66/121.90	c bounds 511572 >= 37831 @ 91.9484
117.66/121.90	c bounds 510991 >= 37831 @ 91.9994
117.66/121.90	c bounds 510410 >= 37831 @ 92.0606
117.66/121.90	c bounds 509829 >= 37831 @ 92.1204
117.66/121.90	c bounds 509248 >= 37831 @ 92.1796
117.66/121.90	c bounds 508667 >= 37831 @ 92.2316
117.66/121.90	c bounds 508086 >= 37831 @ 92.2862
117.66/121.90	c bounds 507505 >= 37831 @ 92.3372
117.66/121.90	c bounds 506924 >= 37831 @ 92.3871
117.66/121.90	c bounds 506343 >= 37831 @ 92.4472
117.66/121.90	c bounds 505762 >= 37831 @ 92.5304
117.66/121.90	c bounds 505181 >= 37831 @ 92.5878
117.66/121.90	c #Conflicts:       8000 | #Constraints:    1027126
117.66/121.90	c bounds 505181 >= 37832 @ 93.7501
117.66/121.90	c bounds 504600 >= 37832 @ 93.8267
117.66/121.90	c bounds 504019 >= 37832 @ 93.9228
117.66/121.90	c bounds 503438 >= 37832 @ 94.0177
117.66/121.90	c bounds 502857 >= 37832 @ 94.1038
117.66/121.90	c bounds 502276 >= 37832 @ 94.2046
117.66/121.90	c bounds 501695 >= 37832 @ 94.29
117.66/121.90	c bounds 501114 >= 37832 @ 94.3697
117.66/121.90	c bounds 500533 >= 37832 @ 94.4447
117.66/121.90	c bounds 499952 >= 37832 @ 94.5249
117.66/121.90	c bounds 499371 >= 37832 @ 94.6014
117.66/121.90	c bounds 498790 >= 37832 @ 94.673
117.66/121.90	c bounds 498209 >= 37832 @ 94.7509
117.66/121.90	c bounds 497628 >= 37832 @ 94.8187
117.66/121.90	c bounds 497047 >= 37832 @ 94.8798
117.66/121.90	c bounds 496466 >= 37832 @ 94.9407
117.66/121.90	c bounds 495885 >= 37832 @ 94.9989
117.66/121.90	c bounds 495304 >= 37832 @ 95.0632
117.66/121.90	c bounds 494723 >= 37832 @ 95.1237
117.66/121.90	c bounds 494142 >= 37832 @ 95.1923
117.66/121.90	c bounds 493561 >= 37832 @ 95.2496
117.66/121.90	c bounds 492980 >= 37832 @ 95.3099
117.66/121.90	c bounds 492399 >= 37832 @ 95.3662
117.66/121.90	c bounds 491818 >= 37832 @ 95.4236
117.66/121.90	c bounds 491237 >= 37832 @ 95.4752
117.66/121.90	c bounds 490656 >= 37832 @ 95.5379
117.66/121.90	c bounds 490075 >= 37832 @ 95.5964
117.66/121.90	c bounds 489494 >= 37832 @ 95.6526
117.66/121.90	c bounds 488913 >= 37832 @ 95.7075
117.66/121.90	c bounds 488332 >= 37832 @ 95.7599
117.66/121.90	c bounds 487751 >= 37832 @ 95.8139
117.66/121.90	c bounds 487170 >= 37832 @ 95.8707
117.66/121.90	c bounds 486589 >= 37832 @ 95.921
117.66/121.90	c bounds 486008 >= 37832 @ 95.9829
117.66/121.90	c bounds 485427 >= 37832 @ 96.0427
117.66/121.90	c bounds 484846 >= 37832 @ 96.0977
117.66/121.90	c bounds 484265 >= 37832 @ 96.1501
117.66/121.90	c bounds 483684 >= 37832 @ 96.2097
117.66/121.90	c bounds 483103 >= 37832 @ 96.2603
117.66/121.90	c bounds 482522 >= 37832 @ 96.3169
117.66/121.90	c bounds 481941 >= 37832 @ 96.371
117.66/121.90	c bounds 481360 >= 37832 @ 96.4287
117.66/121.90	c bounds 480779 >= 37832 @ 96.483
117.66/121.90	c bounds 480198 >= 37832 @ 96.5346
117.66/121.90	c bounds 479617 >= 37832 @ 96.5904
117.66/121.90	c bounds 479036 >= 37832 @ 96.6419
117.66/121.90	c bounds 478455 >= 37832 @ 96.6995
117.66/121.90	c bounds 477874 >= 37832 @ 96.7507
117.66/121.90	c bounds 477293 >= 37832 @ 96.8074
117.66/121.90	c bounds 476712 >= 37832 @ 96.8562
117.66/121.90	c bounds 476131 >= 37832 @ 96.9101
117.66/121.90	c bounds 475550 >= 37832 @ 96.9677
117.66/121.90	c bounds 474969 >= 37832 @ 97.0157
117.66/121.90	c bounds 474388 >= 37832 @ 97.0631
117.66/121.90	c bounds 473807 >= 37832 @ 97.1167
117.66/121.90	c bounds 473226 >= 37832 @ 97.1703
117.66/121.90	c bounds 472645 >= 37832 @ 97.2261
117.66/121.90	c bounds 472064 >= 37832 @ 97.2777
186.43/190.96	c bounds 472064 >= 37833 @ 97.4972
186.43/190.96	c bounds 471483 >= 37833 @ 97.5665
186.43/190.96	c bounds 470902 >= 37833 @ 97.629
186.43/190.96	c bounds 470321 >= 37833 @ 97.6947
186.43/190.96	c bounds 469740 >= 37833 @ 97.7512
186.43/190.96	c bounds 469159 >= 37833 @ 97.8111
186.43/190.96	c bounds 468578 >= 37833 @ 97.8747
186.43/190.96	c bounds 467997 >= 37833 @ 97.9285
186.43/190.96	c bounds 467416 >= 37833 @ 97.9827
186.43/190.96	c bounds 466835 >= 37833 @ 98.0416
186.43/190.96	c bounds 466254 >= 37833 @ 98.1
186.43/190.96	c bounds 465673 >= 37833 @ 98.1562
186.43/190.96	c bounds 465092 >= 37833 @ 98.2062
186.43/190.96	c #Conflicts:       9000 | #Constraints:    1028216
186.43/190.96	c INPROCESSING
186.43/190.96	c GARBAGE COLLECT
186.43/190.96	c bounds 464511 >= 37833 @ 152.291
186.43/190.96	c bounds 463930 >= 37833 @ 152.344
186.43/190.96	c bounds 463349 >= 37833 @ 152.397
186.43/190.96	c bounds 462768 >= 37833 @ 152.452
186.43/190.96	c bounds 462187 >= 37833 @ 152.504
186.43/190.96	c bounds 461606 >= 37833 @ 152.56
186.43/190.96	c bounds 461025 >= 37833 @ 152.607
186.43/190.96	c bounds 460444 >= 37833 @ 152.666
186.43/190.96	c bounds 459863 >= 37833 @ 152.715
186.43/190.96	c bounds 459282 >= 37833 @ 152.773
186.43/190.96	c bounds 458701 >= 37833 @ 152.867
186.43/190.96	c bounds 458120 >= 37833 @ 152.957
186.43/190.96	c bounds 457539 >= 37833 @ 153.039
186.43/190.96	c bounds 456958 >= 37833 @ 153.113
186.43/190.96	c bounds 456377 >= 37833 @ 153.213
186.43/190.96	c bounds 455796 >= 37833 @ 153.288
186.43/190.96	c bounds 455215 >= 37833 @ 153.367
186.43/190.96	c bounds 454634 >= 37833 @ 153.443
186.43/190.96	c bounds 454053 >= 37833 @ 153.51
186.43/190.96	c bounds 453472 >= 37833 @ 153.578
186.43/190.96	c bounds 452891 >= 37833 @ 153.648
186.43/190.96	c bounds 452310 >= 37833 @ 153.715
186.43/190.96	c bounds 451729 >= 37833 @ 153.784
186.43/190.96	c bounds 451148 >= 37833 @ 153.838
186.43/190.96	c bounds 450567 >= 37833 @ 153.924
186.43/190.96	c bounds 449986 >= 37833 @ 153.991
186.43/190.96	c #Conflicts:      10000 | #Constraints:    1024930
186.43/190.96	c #Conflicts:      11000 | #Constraints:    1025930
186.43/190.96	c #Conflicts:      12000 | #Constraints:    1026930
186.43/190.96	c INPROCESSING
186.43/190.96	c GARBAGE COLLECT
186.43/190.96	c bounds 449405 >= 37833 @ 156.71
186.43/190.96	c bounds 448824 >= 37833 @ 156.788
186.43/190.96	c bounds 448243 >= 37833 @ 156.87
186.43/190.96	c bounds 447662 >= 37833 @ 156.939
186.43/190.96	c bounds 447081 >= 37833 @ 157.012
186.43/190.96	c bounds 446500 >= 37833 @ 157.07
186.43/190.96	c bounds 445919 >= 37833 @ 157.136
186.43/190.96	c bounds 445338 >= 37833 @ 157.201
186.43/190.96	c bounds 444757 >= 37833 @ 157.261
186.43/190.96	c bounds 444176 >= 37833 @ 157.321
186.43/190.96	c bounds 443595 >= 37833 @ 157.423
186.43/190.96	c bounds 443014 >= 37833 @ 157.534
186.43/190.96	c bounds 442433 >= 37833 @ 157.616
186.43/190.96	c bounds 441852 >= 37833 @ 157.695
186.43/190.96	c bounds 441271 >= 37833 @ 157.774
186.43/190.96	c bounds 440690 >= 37833 @ 157.861
186.43/190.96	c bounds 440109 >= 37833 @ 157.939
186.43/190.96	c bounds 439528 >= 37833 @ 158.011
186.43/190.96	c bounds 438947 >= 37833 @ 158.074
186.43/190.96	c bounds 438366 >= 37833 @ 158.134
186.43/190.96	c bounds 438365 >= 37833 @ 158.206
186.43/190.96	c bounds 437784 >= 37833 @ 158.259
186.43/190.96	c bounds 437203 >= 37833 @ 158.314
186.43/190.96	c bounds 436622 >= 37833 @ 158.361
186.43/190.96	c bounds 436041 >= 37833 @ 158.411
186.43/190.96	c bounds 435460 >= 37833 @ 158.458
186.43/190.96	c bounds 434879 >= 37833 @ 158.501
186.43/190.96	c bounds 434298 >= 37833 @ 158.547
186.43/190.96	c bounds 433717 >= 37833 @ 158.599
186.43/190.96	c bounds 433716 >= 37833 @ 158.671
186.43/190.96	c bounds 433135 >= 37833 @ 158.747
186.43/190.96	c bounds 432554 >= 37833 @ 158.816
186.43/190.96	c bounds 432553 >= 37833 @ 158.869
186.43/190.96	c bounds 432552 >= 37833 @ 158.939
186.43/190.96	c bounds 431971 >= 37833 @ 159.007
186.43/190.96	c bounds 431390 >= 37833 @ 159.061
186.43/190.96	c bounds 430809 >= 37833 @ 159.119
186.43/190.96	c bounds 430228 >= 37833 @ 159.17
186.43/190.96	c bounds 429647 >= 37833 @ 159.22
186.43/190.96	c bounds 429066 >= 37833 @ 159.271
186.43/190.96	c bounds 428485 >= 37833 @ 159.324
186.43/190.96	c bounds 427904 >= 37833 @ 159.372
186.43/190.96	c bounds 427323 >= 37833 @ 159.423
186.43/190.96	c bounds 426742 >= 37833 @ 159.47
186.43/190.96	c bounds 426161 >= 37833 @ 159.519
186.43/190.96	c bounds 425580 >= 37833 @ 159.566
186.43/190.96	c bounds 424999 >= 37833 @ 159.621
186.43/190.96	c bounds 424418 >= 37833 @ 159.673
186.43/190.96	c bounds 423837 >= 37833 @ 159.721
186.43/190.96	c bounds 423256 >= 37833 @ 159.772
186.43/190.96	c bounds 422675 >= 37833 @ 159.831
186.43/190.96	c bounds 422094 >= 37833 @ 159.875
186.43/190.96	c bounds 421513 >= 37833 @ 159.932
186.43/190.96	c bounds 420932 >= 37833 @ 159.985
186.43/190.96	c bounds 420351 >= 37833 @ 160.035
186.43/190.96	c bounds 420350 >= 37833 @ 160.104
186.43/190.96	c bounds 419769 >= 37833 @ 160.176
186.43/190.96	c bounds 419188 >= 37833 @ 160.245
186.43/190.96	c bounds 418607 >= 37833 @ 160.31
186.43/190.96	c bounds 418026 >= 37833 @ 160.408
186.43/190.96	c bounds 418025 >= 37833 @ 160.503
186.43/190.96	c bounds 418024 >= 37833 @ 160.584
186.43/190.96	c bounds 417444 >= 37833 @ 160.732
186.43/190.96	c bounds 417443 >= 37833 @ 160.789
186.43/190.96	c bounds 417442 >= 37833 @ 160.931
186.43/190.96	c bounds 416862 >= 37833 @ 161.044
186.43/190.96	c bounds 416861 >= 37833 @ 161.152
186.43/190.96	c bounds 416280 >= 37833 @ 161.301
186.43/190.96	c bounds 415699 >= 37833 @ 161.427
186.43/190.96	c bounds 415118 >= 37833 @ 161.535
186.43/190.96	c bounds 414537 >= 37833 @ 161.638
210.78/215.30	c bounds 413957 >= 37833 @ 161.782
210.78/215.30	c bounds 413376 >= 37833 @ 161.899
210.78/215.30	c bounds 413376 >= 38414 @ 161.911
210.78/215.30	c bounds 413376 >= 38415 @ 162.023
210.78/215.30	c bounds 413375 >= 38415 @ 162.154
210.78/215.30	c bounds 412794 >= 38415 @ 162.309
210.78/215.30	c bounds 412794 >= 38995 @ 162.347
210.78/215.30	c bounds 412794 >= 38996 @ 162.391
210.78/215.30	c bounds 412794 >= 38997 @ 162.424
210.78/215.30	c #Conflicts:      13000 | #Constraints:    1025628
210.78/215.30	c bounds 412794 >= 39578 @ 163.085
210.78/215.30	c bounds 412213 >= 39578 @ 163.181
210.78/215.30	c bounds 411632 >= 39578 @ 163.262
210.78/215.30	c bounds 411051 >= 39578 @ 163.341
210.78/215.30	c bounds 410470 >= 39578 @ 163.43
210.78/215.30	c bounds 409889 >= 39578 @ 163.647
210.78/215.30	c bounds 409308 >= 39578 @ 163.763
210.78/215.30	c bounds 409307 >= 39578 @ 163.872
210.78/215.30	c bounds 408726 >= 39578 @ 163.976
210.78/215.30	c bounds 408145 >= 39578 @ 164.082
210.78/215.30	c bounds 407564 >= 39578 @ 164.188
210.78/215.30	c bounds 406983 >= 39578 @ 164.317
210.78/215.30	c bounds 406402 >= 39578 @ 164.418
210.78/215.30	c bounds 406401 >= 39578 @ 164.526
210.78/215.30	c bounds 406400 >= 39578 @ 164.689
210.78/215.30	c #Conflicts:      14000 | #Constraints:    1026645
210.78/215.30	c bounds 406400 >= 39579 @ 165.335
210.78/215.30	c bounds 406399 >= 39579 @ 165.431
210.78/215.30	c bounds 405818 >= 39579 @ 165.587
210.78/215.30	c bounds 405239 >= 39579 @ 165.769
210.78/215.30	c bounds 405238 >= 39579 @ 165.881
210.78/215.30	c bounds 404657 >= 39579 @ 166.007
210.78/215.30	c bounds 404076 >= 39579 @ 166.124
210.78/215.30	c bounds 403495 >= 39579 @ 166.232
210.78/215.30	c bounds 402914 >= 39579 @ 166.336
210.78/215.30	c bounds 402333 >= 39579 @ 166.438
210.78/215.30	c bounds 401752 >= 39579 @ 166.549
210.78/215.30	c bounds 401751 >= 39579 @ 166.648
210.78/215.30	c bounds 401751 >= 39580 @ 167.369
210.78/215.30	c bounds 401170 >= 39580 @ 167.491
210.78/215.30	c bounds 400589 >= 39580 @ 167.618
210.78/215.30	c bounds 400008 >= 39580 @ 167.739
210.78/215.30	c bounds 399427 >= 39580 @ 167.859
210.78/215.30	c bounds 398846 >= 39580 @ 167.971
210.78/215.30	c bounds 398265 >= 39580 @ 168.075
210.78/215.30	c bounds 397684 >= 39580 @ 168.177
210.78/215.30	c bounds 397103 >= 39580 @ 168.292
210.78/215.30	c #Conflicts:      15000 | #Constraints:    1027685
210.78/215.30	c INPROCESSING
210.78/215.30	c GARBAGE COLLECT
210.78/215.30	c bounds 396522 >= 39580 @ 168.996
210.78/215.30	c bounds 395941 >= 39580 @ 169.11
210.78/215.30	c bounds 395360 >= 39580 @ 169.233
210.78/215.30	c bounds 395359 >= 39580 @ 169.329
210.78/215.30	c bounds 394778 >= 39580 @ 169.447
210.78/215.30	c bounds 394777 >= 39580 @ 169.543
210.78/215.30	c bounds 394777 >= 39581 @ 170.013
210.78/215.30	c bounds 394196 >= 39581 @ 170.108
210.78/215.30	c bounds 393615 >= 39581 @ 170.231
210.78/215.30	c bounds 393034 >= 39581 @ 170.353
210.78/215.30	c bounds 392453 >= 39581 @ 170.472
210.78/215.30	c bounds 391872 >= 39581 @ 170.702
210.78/215.30	c bounds 391292 >= 39581 @ 170.834
210.78/215.30	c bounds 390711 >= 39581 @ 170.947
210.78/215.30	c bounds 390130 >= 39581 @ 171.079
210.78/215.30	c #Conflicts:      16000 | #Constraints:    1025155
210.78/215.30	c bounds 390130 >= 40162 @ 171.637
210.78/215.30	c bounds 389549 >= 40162 @ 171.75
210.78/215.30	c bounds 388968 >= 40162 @ 171.871
210.78/215.30	c bounds 388387 >= 40162 @ 171.99
210.78/215.30	c bounds 387806 >= 40162 @ 172.101
210.78/215.30	c bounds 387225 >= 40162 @ 172.21
210.78/215.30	c bounds 386644 >= 40162 @ 172.347
210.78/215.30	c bounds 386063 >= 40162 @ 172.464
210.78/215.30	c bounds 385482 >= 40162 @ 172.574
210.78/215.30	c bounds 384901 >= 40162 @ 172.672
210.78/215.30	c bounds 384900 >= 40162 @ 172.768
210.78/215.30	c bounds 384319 >= 40162 @ 172.882
210.78/215.30	c #Conflicts:      17000 | #Constraints:    1026169
210.78/215.30	c #Conflicts:      18000 | #Constraints:    1027169
210.78/215.30	c INPROCESSING
210.78/215.30	c GARBAGE COLLECT
210.78/215.30	c bounds 384318 >= 40162 @ 174.899
210.78/215.30	c bounds 383737 >= 40162 @ 175.018
210.78/215.30	c bounds 383157 >= 40162 @ 175.126
210.78/215.30	c bounds 383156 >= 40162 @ 175.179
210.78/215.30	c bounds 383155 >= 40162 @ 175.29
210.78/215.30	c bounds 382574 >= 40162 @ 175.39
210.78/215.30	c bounds 381993 >= 40162 @ 175.501
210.78/215.30	c bounds 381412 >= 40162 @ 175.601
210.78/215.30	c bounds 381411 >= 40162 @ 175.73
210.78/215.30	c bounds 381410 >= 40162 @ 175.888
210.78/215.30	c bounds 380829 >= 40162 @ 176.167
210.78/215.30	c bounds 380248 >= 40162 @ 176.286
210.78/215.30	c bounds 380247 >= 40162 @ 176.383
210.78/215.30	c bounds 379666 >= 40162 @ 176.479
210.78/215.30	c bounds 379085 >= 40162 @ 176.598
210.78/215.30	c bounds 378504 >= 40162 @ 176.704
210.78/215.30	c bounds 377923 >= 40162 @ 176.811
210.78/215.30	c bounds 377342 >= 40162 @ 177.237
210.78/215.30	c bounds 376761 >= 40162 @ 177.432
210.78/215.30	c #Conflicts:      19000 | #Constraints:    1025081
210.78/215.30	c bounds 376761 >= 40163 @ 178.281
210.78/215.30	c bounds 376180 >= 40163 @ 178.398
210.78/215.30	c bounds 375599 >= 40163 @ 178.646
210.78/215.30	c bounds 375018 >= 40163 @ 178.877
210.78/215.30	c bounds 374437 >= 40163 @ 179.077
210.78/215.30	c bounds 373856 >= 40163 @ 179.29
210.78/215.30	c bounds 373275 >= 40163 @ 179.494
210.78/215.30	c #Conflicts:      20000 | #Constraints:    1026093
210.78/215.30	c bounds 373275 >= 40164 @ 180.361
210.78/215.30	c bounds 372694 >= 40164 @ 180.486
210.78/215.30	c bounds 372113 >= 40164 @ 180.624
210.78/215.30	c bounds 371532 >= 40164 @ 180.749
210.78/215.30	c bounds 370951 >= 40164 @ 180.888
775.65/781.69	c bounds 370370 >= 40164 @ 181.012
775.65/781.69	c bounds 369789 >= 40164 @ 181.131
775.65/781.69	c bounds 369208 >= 40164 @ 181.247
775.65/781.69	c bounds 368627 >= 40164 @ 181.376
775.65/781.69	c bounds 368046 >= 40164 @ 181.484
775.65/781.69	c bounds 367465 >= 40164 @ 181.585
775.65/781.69	c bounds 366884 >= 40164 @ 181.688
775.65/781.69	c bounds 366303 >= 40164 @ 181.806
775.65/781.69	c bounds 366302 >= 40164 @ 181.891
775.65/781.69	c #Conflicts:      21000 | #Constraints:    1027112
775.65/781.69	c INPROCESSING
775.65/781.69	c GARBAGE COLLECT
775.65/781.69	c bounds 365721 >= 40164 @ 183.534
775.65/781.69	c bounds 365140 >= 40164 @ 183.664
775.65/781.69	c bounds 365139 >= 40164 @ 183.784
775.65/781.69	c bounds 365138 >= 40164 @ 183.906
775.65/781.69	c bounds 365137 >= 40164 @ 184.02
775.65/781.69	c bounds 365136 >= 40164 @ 184.138
775.65/781.69	c bounds 364555 >= 40164 @ 184.244
775.65/781.69	c bounds 363974 >= 40164 @ 184.359
775.65/781.69	c bounds 363393 >= 40164 @ 184.461
775.65/781.69	c bounds 362812 >= 40164 @ 184.557
775.65/781.69	c bounds 362231 >= 40164 @ 184.65
775.65/781.69	c bounds 362230 >= 40164 @ 184.745
775.65/781.69	c bounds 361649 >= 40164 @ 184.841
775.65/781.69	c bounds 361648 >= 40164 @ 184.937
775.65/781.69	c bounds 361067 >= 40164 @ 185.023
775.65/781.69	c bounds 361066 >= 40164 @ 185.115
775.65/781.69	c bounds 360485 >= 40164 @ 185.247
775.65/781.69	c bounds 360484 >= 40164 @ 185.39
775.65/781.69	c bounds 360483 >= 40164 @ 185.489
775.65/781.69	c #Conflicts:      22000 | #Constraints:    1024406
775.65/781.69	c bounds 360482 >= 40164 @ 711.848
775.65/781.69	c #Conflicts:      23000 | #Constraints:    1025407
775.65/781.69	c #Conflicts:      24000 | #Constraints:    1026407
775.65/781.69	c #Conflicts:      25000 | #Constraints:    1027407
775.65/781.69	c INPROCESSING
775.65/781.69	c GARBAGE COLLECT
775.65/781.69	c bounds 360481 >= 40164 @ 716.298
775.65/781.69	c bounds 359900 >= 40164 @ 716.406
775.65/781.69	c bounds 359319 >= 40164 @ 716.542
775.65/781.69	c bounds 358738 >= 40164 @ 716.812
775.65/781.69	c bounds 358157 >= 40164 @ 717.023
775.65/781.69	c bounds 357576 >= 40164 @ 717.184
775.65/781.69	c bounds 356995 >= 40164 @ 717.342
775.65/781.69	c bounds 356414 >= 40164 @ 717.604
775.65/781.69	c bounds 355833 >= 40164 @ 717.775
775.65/781.69	c bounds 355832 >= 40164 @ 717.962
775.65/781.69	c bounds 355251 >= 40164 @ 718.136
775.65/781.69	c bounds 354670 >= 40164 @ 718.34
775.65/781.69	c bounds 354089 >= 40164 @ 718.586
775.65/781.69	c bounds 353508 >= 40164 @ 718.811
775.65/781.69	c bounds 352927 >= 40164 @ 718.986
775.65/781.69	c bounds 352346 >= 40164 @ 719.143
775.65/781.69	c bounds 351765 >= 40164 @ 719.285
775.65/781.69	c bounds 351764 >= 40164 @ 719.431
775.65/781.69	c bounds 351183 >= 40164 @ 719.561
775.65/781.69	c bounds 351182 >= 40164 @ 719.708
775.65/781.69	c #Conflicts:      26000 | #Constraints:    1024567
775.65/781.69	c bounds 351181 >= 40164 @ 719.909
775.65/781.69	c bounds 351180 >= 40164 @ 720.136
775.65/781.69	c bounds 350599 >= 40164 @ 721.686
775.65/781.69	c bounds 350018 >= 40164 @ 721.985
775.65/781.69	c bounds 349437 >= 40164 @ 722.292
775.65/781.69	c bounds 348856 >= 40164 @ 722.492
775.65/781.69	c bounds 348275 >= 40164 @ 722.796
775.65/781.69	c bounds 347694 >= 40164 @ 722.977
775.65/781.69	c bounds 347113 >= 40164 @ 723.304
775.65/781.69	c bounds 346532 >= 40164 @ 723.667
775.65/781.69	c #Conflicts:      27000 | #Constraints:    1025577
775.65/781.69	c bounds 345951 >= 40164 @ 724.042
775.65/781.69	c #Conflicts:      28000 | #Constraints:    1026578
775.65/781.69	c #Conflicts:      29000 | #Constraints:    1027578
775.65/781.69	c INPROCESSING
775.65/781.69	c GARBAGE COLLECT
775.65/781.69	c bounds 345950 >= 40164 @ 727.118
775.65/781.69	c bounds 345369 >= 40164 @ 727.354
775.65/781.69	c bounds 344788 >= 40164 @ 727.515
775.65/781.69	c bounds 344207 >= 40164 @ 727.668
775.65/781.69	c bounds 343626 >= 40164 @ 727.936
775.65/781.69	c bounds 343045 >= 40164 @ 728.071
775.65/781.69	c bounds 343044 >= 40164 @ 729.129
775.65/781.69	c bounds 342463 >= 40164 @ 730.88
775.65/781.69	c #Conflicts:      30000 | #Constraints:    1025093
775.65/781.69	c #Conflicts:      31000 | #Constraints:    1026093
775.65/781.69	c #Conflicts:      32000 | #Constraints:    1027093
775.65/781.69	c bounds 342463 >= 40165 @ 733.674
775.65/781.69	c bounds 341882 >= 40165 @ 733.814
775.65/781.69	c bounds 341301 >= 40165 @ 734.019
775.65/781.69	c bounds 340720 >= 40165 @ 734.154
775.65/781.69	c bounds 340139 >= 40165 @ 734.285
775.65/781.69	c bounds 339558 >= 40165 @ 734.419
775.65/781.69	c bounds 338977 >= 40165 @ 734.58
775.65/781.69	c bounds 338396 >= 40165 @ 734.714
775.65/781.69	c bounds 337815 >= 40165 @ 734.865
775.65/781.69	c bounds 337234 >= 40165 @ 734.989
775.65/781.69	c bounds 336653 >= 40165 @ 735.11
775.65/781.69	c bounds 336072 >= 40165 @ 735.232
775.65/781.69	c bounds 335491 >= 40165 @ 735.356
775.65/781.69	c bounds 334910 >= 40165 @ 735.48
775.65/781.69	c bounds 334329 >= 40165 @ 735.69
775.65/781.69	c bounds 333748 >= 40165 @ 735.809
775.65/781.69	c bounds 333167 >= 40165 @ 735.953
775.65/781.69	c bounds 332586 >= 40165 @ 736.071
775.65/781.69	c bounds 332005 >= 40165 @ 736.197
775.65/781.69	c bounds 331424 >= 40165 @ 736.311
775.65/781.69	c bounds 330843 >= 40165 @ 736.463
775.65/781.69	c bounds 330262 >= 40165 @ 736.576
775.65/781.69	c bounds 329681 >= 40165 @ 736.693
775.65/781.69	c bounds 329100 >= 40165 @ 736.804
775.65/781.69	c bounds 328519 >= 40165 @ 736.945
775.65/781.69	c bounds 327938 >= 40165 @ 737.421
775.65/781.69	c bounds 327357 >= 40165 @ 739.034
775.65/781.69	c #Conflicts:      33000 | #Constraints:    1028152
807.16/813.27	c INPROCESSING
807.16/813.27	c GARBAGE COLLECT
807.16/813.27	c #Conflicts:      34000 | #Constraints:    1025439
807.16/813.27	c #Conflicts:      35000 | #Constraints:    1026439
807.16/813.27	c bounds 327357 >= 40166 @ 744.844
807.16/813.27	c bounds 326776 >= 40166 @ 744.987
807.16/813.27	c bounds 326195 >= 40166 @ 745.287
807.16/813.27	c bounds 325614 >= 40166 @ 747.27
807.16/813.27	c bounds 325033 >= 40166 @ 747.555
807.16/813.27	c bounds 324452 >= 40166 @ 747.732
807.16/813.27	c bounds 323871 >= 40166 @ 747.876
807.16/813.27	c bounds 323290 >= 40166 @ 748.024
807.16/813.27	c bounds 322709 >= 40166 @ 748.159
807.16/813.27	c bounds 322128 >= 40166 @ 748.295
807.16/813.27	c bounds 321547 >= 40166 @ 748.435
807.16/813.27	c bounds 320966 >= 40166 @ 748.571
807.16/813.27	c bounds 320385 >= 40166 @ 748.698
807.16/813.27	c bounds 319804 >= 40166 @ 748.852
807.16/813.27	c bounds 319223 >= 40166 @ 748.992
807.16/813.27	c bounds 318642 >= 40166 @ 749.132
807.16/813.27	c bounds 318061 >= 40166 @ 749.262
807.16/813.27	c bounds 318060 >= 40166 @ 749.458
807.16/813.27	c bounds 318059 >= 40166 @ 749.585
807.16/813.27	c bounds 317478 >= 40166 @ 749.853
807.16/813.27	c bounds 317477 >= 40166 @ 749.982
807.16/813.27	c bounds 317476 >= 40166 @ 750.131
807.16/813.27	c bounds 317475 >= 40166 @ 750.277
807.16/813.27	c bounds 317474 >= 40166 @ 750.408
807.16/813.27	c bounds 316893 >= 40166 @ 750.554
807.16/813.27	c bounds 316312 >= 40166 @ 750.681
807.16/813.27	c bounds 315731 >= 40166 @ 750.802
807.16/813.27	c bounds 315150 >= 40166 @ 750.94
807.16/813.27	c bounds 314569 >= 40166 @ 751.054
807.16/813.27	c #Conflicts:      36000 | #Constraints:    1027482
807.16/813.27	c bounds 313988 >= 40166 @ 751.172
807.16/813.27	c bounds 313407 >= 40166 @ 751.281
807.16/813.27	c bounds 312826 >= 40166 @ 751.394
807.16/813.27	c bounds 312245 >= 40166 @ 751.557
807.16/813.27	c bounds 311664 >= 40166 @ 751.73
807.16/813.27	c bounds 311083 >= 40166 @ 751.892
807.16/813.27	c bounds 310502 >= 40166 @ 752.123
807.16/813.27	c bounds 309921 >= 40166 @ 752.246
807.16/813.27	c bounds 309340 >= 40166 @ 752.39
807.16/813.27	c bounds 308759 >= 40166 @ 752.519
807.16/813.27	c bounds 308178 >= 40166 @ 752.643
807.16/813.27	c bounds 307597 >= 40166 @ 752.756
807.16/813.27	c bounds 307016 >= 40166 @ 752.864
807.16/813.27	c bounds 306435 >= 40166 @ 752.98
807.16/813.27	c bounds 305854 >= 40166 @ 753.095
807.16/813.27	c bounds 305273 >= 40166 @ 753.205
807.16/813.27	c bounds 304692 >= 40166 @ 753.345
807.16/813.27	c bounds 304111 >= 40166 @ 753.469
807.16/813.27	c bounds 303530 >= 40166 @ 753.588
807.16/813.27	c bounds 302949 >= 40166 @ 753.734
807.16/813.27	c bounds 302368 >= 40166 @ 753.87
807.16/813.27	c bounds 301787 >= 40166 @ 754.067
807.16/813.27	c bounds 301206 >= 40166 @ 754.235
807.16/813.27	c bounds 301205 >= 40166 @ 754.387
807.16/813.27	c bounds 301204 >= 40166 @ 754.669
807.16/813.27	c bounds 300623 >= 40166 @ 754.846
807.16/813.27	c bounds 300042 >= 40166 @ 755.059
807.16/813.27	c bounds 299461 >= 40166 @ 755.192
807.16/813.27	c bounds 298880 >= 40166 @ 755.292
807.16/813.27	c bounds 298299 >= 40166 @ 755.389
807.16/813.27	c bounds 297718 >= 40166 @ 755.489
807.16/813.27	c bounds 297137 >= 40166 @ 755.611
807.16/813.27	c bounds 296556 >= 40166 @ 755.719
807.16/813.27	c bounds 295975 >= 40166 @ 755.838
807.16/813.27	c bounds 295394 >= 40166 @ 755.929
807.16/813.27	c bounds 294813 >= 40166 @ 756.02
807.16/813.27	c bounds 294232 >= 40166 @ 756.162
807.16/813.27	c bounds 293651 >= 40166 @ 756.268
807.16/813.27	c #Conflicts:      37000 | #Constraints:    1028520
807.16/813.27	c INPROCESSING
807.16/813.27	c GARBAGE COLLECT
807.16/813.27	c bounds 293070 >= 40166 @ 758.843
807.16/813.27	c bounds 292489 >= 40166 @ 758.967
807.16/813.27	c bounds 291908 >= 40166 @ 759.082
807.16/813.27	c bounds 291327 >= 40166 @ 759.191
807.16/813.27	c bounds 290746 >= 40166 @ 759.299
807.16/813.27	c bounds 290165 >= 40166 @ 759.403
807.16/813.27	c bounds 289584 >= 40166 @ 759.504
807.16/813.27	c bounds 289003 >= 40166 @ 759.605
807.16/813.27	c bounds 288422 >= 40166 @ 759.704
807.16/813.27	c bounds 287841 >= 40166 @ 760.167
807.16/813.27	c bounds 287260 >= 40166 @ 761.961
807.16/813.27	c bounds 286679 >= 40166 @ 762.155
807.16/813.27	c bounds 286098 >= 40166 @ 762.333
807.16/813.27	c bounds 285517 >= 40166 @ 762.498
807.16/813.27	c bounds 284936 >= 40166 @ 762.654
807.16/813.27	c bounds 284355 >= 40166 @ 762.799
807.16/813.27	c bounds 283774 >= 40166 @ 762.963
807.16/813.27	c #Conflicts:      38000 | #Constraints:    1025623
807.16/813.27	c bounds 283193 >= 40166 @ 763.148
807.16/813.27	c bounds 282612 >= 40166 @ 763.354
807.16/813.27	c bounds 282031 >= 40166 @ 763.522
807.16/813.27	c bounds 281450 >= 40166 @ 763.712
807.16/813.27	c bounds 280869 >= 40166 @ 763.879
807.16/813.27	c bounds 280288 >= 40166 @ 764.054
807.16/813.27	c bounds 279707 >= 40166 @ 764.205
807.16/813.27	c bounds 279126 >= 40166 @ 764.357
807.16/813.27	c bounds 278545 >= 40166 @ 764.514
807.16/813.27	c bounds 277964 >= 40166 @ 764.662
807.16/813.27	c bounds 277383 >= 40166 @ 764.806
807.16/813.27	c bounds 277382 >= 40166 @ 764.97
807.16/813.27	c bounds 277381 >= 40166 @ 765.103
807.16/813.27	c bounds 276801 >= 40166 @ 765.25
807.16/813.27	c bounds 276220 >= 40166 @ 765.386
807.16/813.27	c bounds 275639 >= 40166 @ 765.508
807.16/813.27	c bounds 275058 >= 40166 @ 765.631
807.16/813.27	c bounds 274477 >= 40166 @ 765.773
807.16/813.27	c bounds 274476 >= 40166 @ 765.876
807.16/813.27	c bounds 273895 >= 40166 @ 765.995
807.16/813.27	c bounds 273314 >= 40166 @ 766.118
807.16/813.27	c bounds 273313 >= 40166 @ 766.267
807.16/813.27	c bounds 272732 >= 40166 @ 766.405
807.16/813.27	c bounds 272151 >= 40166 @ 766.545
1400.93/1408.92	c bounds 272150 >= 40166 @ 766.781
1400.93/1408.92	c bounds 271569 >= 40166 @ 766.94
1400.93/1408.92	c bounds 270988 >= 40166 @ 767.19
1400.93/1408.92	c bounds 270407 >= 40166 @ 767.431
1400.93/1408.92	c #Conflicts:      39000 | #Constraints:    1026651
1400.93/1408.92	c bounds 269826 >= 40166 @ 767.639
1400.93/1408.92	c bounds 269245 >= 40166 @ 767.832
1400.93/1408.92	c bounds 268664 >= 40166 @ 768.034
1400.93/1408.92	c bounds 268083 >= 40166 @ 768.226
1400.93/1408.92	c bounds 267502 >= 40166 @ 768.479
1400.93/1408.92	c bounds 266921 >= 40166 @ 768.677
1400.93/1408.92	c #Conflicts:      40000 | #Constraints:    1027657
1400.93/1408.92	c bounds 266921 >= 40167 @ 771.063
1400.93/1408.92	c bounds 266340 >= 40167 @ 771.201
1400.93/1408.92	c bounds 265759 >= 40167 @ 771.338
1400.93/1408.92	c bounds 265178 >= 40167 @ 771.511
1400.93/1408.92	c bounds 264597 >= 40167 @ 771.68
1400.93/1408.92	c bounds 264016 >= 40167 @ 771.861
1400.93/1408.92	c bounds 263435 >= 40167 @ 772.05
1400.93/1408.92	c bounds 263434 >= 40167 @ 772.265
1400.93/1408.92	c bounds 262853 >= 40167 @ 772.584
1400.93/1408.92	c bounds 262272 >= 40167 @ 773.087
1400.93/1408.92	c #Conflicts:      41000 | #Constraints:    1028684
1400.93/1408.92	c bounds 261691 >= 40167 @ 773.401
1400.93/1408.92	c bounds 261110 >= 40167 @ 774.114
1400.93/1408.92	c bounds 260529 >= 40167 @ 774.452
1400.93/1408.92	c INPROCESSING
1400.93/1408.92	c GARBAGE COLLECT
1400.93/1408.92	c #Conflicts:      42000 | #Constraints:    1024816
1400.93/1408.92	c #Conflicts:      43000 | #Constraints:    1025816
1400.93/1408.92	c #Conflicts:      44000 | #Constraints:    1026816
1400.93/1408.92	c #Conflicts:      45000 | #Constraints:    1027816
1400.93/1408.92	c #Conflicts:      46000 | #Constraints:    1028816
1400.93/1408.92	c INPROCESSING
1400.93/1408.92	c GARBAGE COLLECT
1400.93/1408.92	c bounds 259948 >= 40167 @ 1331.91
1400.93/1408.92	c bounds 259367 >= 40167 @ 1332.1
1400.93/1408.92	c bounds 258786 >= 40167 @ 1332.22
1400.93/1408.92	c bounds 258205 >= 40167 @ 1332.35
1400.93/1408.92	c bounds 257624 >= 40167 @ 1332.55
1400.93/1408.92	c bounds 257043 >= 40167 @ 1332.69
1400.93/1408.92	c bounds 256462 >= 40167 @ 1332.81
1400.93/1408.92	c bounds 256461 >= 40167 @ 1332.92
1400.93/1408.92	c bounds 256460 >= 40167 @ 1333.05
1400.93/1408.92	c bounds 256459 >= 40167 @ 1333.15
1400.93/1408.92	c bounds 256458 >= 40167 @ 1333.27
1400.93/1408.92	c bounds 256457 >= 40167 @ 1333.37
1400.93/1408.92	c bounds 256456 >= 40167 @ 1333.48
1400.93/1408.92	c bounds 256455 >= 40167 @ 1333.58
1400.93/1408.92	c bounds 255874 >= 40167 @ 1333.77
1400.93/1408.92	c bounds 255293 >= 40167 @ 1333.92
1400.93/1408.92	c bounds 254712 >= 40167 @ 1334.08
1400.93/1408.92	c bounds 254131 >= 40167 @ 1334.21
1400.93/1408.92	c bounds 253550 >= 40167 @ 1334.34
1400.93/1408.92	c bounds 252969 >= 40167 @ 1334.48
1400.93/1408.92	c bounds 252388 >= 40167 @ 1334.6
1400.93/1408.92	c bounds 251807 >= 40167 @ 1334.81
1400.93/1408.92	c bounds 251226 >= 40167 @ 1334.94
1400.93/1408.92	c bounds 250645 >= 40167 @ 1335.32
1400.93/1408.92	c bounds 250644 >= 40167 @ 1335.6
1400.93/1408.92	c #Conflicts:      47000 | #Constraints:    1025451
1400.93/1408.92	c bounds 250063 >= 40167 @ 1336.29
1400.93/1408.92	c bounds 249482 >= 40167 @ 1336.59
1400.93/1408.92	c bounds 248901 >= 40167 @ 1336.91
1400.93/1408.92	c bounds 248320 >= 40167 @ 1337.23
1400.93/1408.92	c bounds 247739 >= 40167 @ 1337.5
1400.93/1408.92	c bounds 247158 >= 40167 @ 1337.76
1400.93/1408.92	c bounds 246577 >= 40167 @ 1338.3
1400.93/1408.92	c bounds 245996 >= 40167 @ 1338.56
1400.93/1408.92	c bounds 245415 >= 40167 @ 1339.62
1400.93/1408.92	c #Conflicts:      48000 | #Constraints:    1026460
1400.93/1408.92	c bounds 245414 >= 40167 @ 1341.75
1400.93/1408.92	c bounds 244833 >= 40167 @ 1342.44
1400.93/1408.92	c bounds 244253 >= 40167 @ 1342.86
1400.93/1408.92	c bounds 243672 >= 40167 @ 1343.18
1400.93/1408.92	c bounds 243091 >= 40167 @ 1343.52
1400.93/1408.92	c bounds 242510 >= 40167 @ 1343.79
1400.93/1408.92	c bounds 241929 >= 40167 @ 1344.06
1400.93/1408.92	c bounds 241928 >= 40167 @ 1344.21
1400.93/1408.92	c bounds 241927 >= 40167 @ 1344.44
1400.93/1408.92	c bounds 241926 >= 40167 @ 1344.57
1400.93/1408.92	c bounds 241345 >= 40167 @ 1344.78
1400.93/1408.92	c bounds 240764 >= 40167 @ 1345.06
1400.93/1408.92	c bounds 240763 >= 40167 @ 1345.45
1400.93/1408.92	c #Conflicts:      49000 | #Constraints:    1027473
1400.93/1408.92	c bounds 240762 >= 40167 @ 1345.66
1400.93/1408.92	c bounds 240181 >= 40167 @ 1345.91
1400.93/1408.92	c bounds 239600 >= 40167 @ 1346.16
1400.93/1408.92	c bounds 239019 >= 40167 @ 1346.39
1400.93/1408.92	c bounds 238438 >= 40167 @ 1346.99
1400.93/1408.92	c bounds 237857 >= 40167 @ 1347.13
1400.93/1408.92	c bounds 237276 >= 40167 @ 1347.58
1400.93/1408.92	c bounds 236695 >= 40167 @ 1347.94
1400.93/1408.92	c bounds 236114 >= 40167 @ 1348.13
1400.93/1408.92	c bounds 235533 >= 40167 @ 1348.41
1400.93/1408.92	c bounds 234952 >= 40167 @ 1348.76
1400.93/1408.92	c bounds 234371 >= 40167 @ 1349.06
1400.93/1408.92	c #Conflicts:      50000 | #Constraints:    1028485
1400.93/1408.92	c bounds 233790 >= 40167 @ 1349.63
1400.93/1408.92	c #Conflicts:      51000 | #Constraints:    1029486
1400.93/1408.92	c INPROCESSING
1400.93/1408.92	c GARBAGE COLLECT
1400.93/1408.92	c bounds 233209 >= 40167 @ 1352.04
1400.93/1408.92	c bounds 232628 >= 40167 @ 1352.17
1400.93/1408.92	c bounds 232627 >= 40167 @ 1352.29
1400.93/1408.92	c bounds 232046 >= 40167 @ 1352.42
1400.93/1408.92	c bounds 231465 >= 40167 @ 1352.54
1400.93/1408.92	c bounds 230884 >= 40167 @ 1352.68
1400.93/1408.92	c bounds 230303 >= 40167 @ 1352.8
1400.93/1408.92	c bounds 229722 >= 40167 @ 1352.92
1400.93/1408.92	c bounds 229141 >= 40167 @ 1353.04
1400.93/1408.92	c bounds 229140 >= 40167 @ 1353.15
1400.93/1408.92	c bounds 229139 >= 40167 @ 1353.33
1400.93/1408.92	c bounds 229138 >= 40167 @ 1353.45
1400.93/1408.92	c bounds 228557 >= 40167 @ 1353.91
1515.71/1524.03	c bounds 228556 >= 40167 @ 1354.24
1515.71/1524.03	c bounds 228555 >= 40167 @ 1354.38
1515.71/1524.03	c bounds 227974 >= 40167 @ 1354.51
1515.71/1524.03	c bounds 227393 >= 40167 @ 1354.64
1515.71/1524.03	c bounds 226812 >= 40167 @ 1354.77
1515.71/1524.03	c bounds 226232 >= 40167 @ 1354.89
1515.71/1524.03	c #Conflicts:      52000 | #Constraints:    1025774
1515.71/1524.03	c #Conflicts:      53000 | #Constraints:    1026774
1515.71/1524.03	c #Conflicts:      54000 | #Constraints:    1027774
1515.71/1524.03	c #Conflicts:      55000 | #Constraints:    1028774
1515.71/1524.03	c #Conflicts:      56000 | #Constraints:    1029774
1515.71/1524.03	c INPROCESSING
1515.71/1524.03	c GARBAGE COLLECT
1515.71/1524.03	c bounds 225651 >= 40167 @ 1362.09
1515.71/1524.03	c bounds 225650 >= 40167 @ 1362.23
1515.71/1524.03	c bounds 225069 >= 40167 @ 1362.35
1515.71/1524.03	c bounds 224488 >= 40167 @ 1362.48
1515.71/1524.03	c bounds 223907 >= 40167 @ 1362.6
1515.71/1524.03	c bounds 223326 >= 40167 @ 1362.74
1515.71/1524.03	c bounds 222745 >= 40167 @ 1362.86
1515.71/1524.03	c bounds 222744 >= 40167 @ 1362.98
1515.71/1524.03	c bounds 222163 >= 40167 @ 1363.08
1515.71/1524.03	c bounds 221582 >= 40167 @ 1363.23
1515.71/1524.03	c bounds 221001 >= 40167 @ 1363.44
1515.71/1524.03	c bounds 220420 >= 40167 @ 1363.64
1515.71/1524.03	c bounds 219839 >= 40167 @ 1363.82
1515.71/1524.03	c bounds 219258 >= 40167 @ 1364
1515.71/1524.03	c bounds 218677 >= 40167 @ 1364.2
1515.71/1524.03	c bounds 218096 >= 40167 @ 1364.37
1515.71/1524.03	c bounds 217515 >= 40167 @ 1364.74
1515.71/1524.03	c bounds 216934 >= 40167 @ 1364.95
1515.71/1524.03	c bounds 216353 >= 40167 @ 1365.27
1515.71/1524.03	c bounds 216352 >= 40167 @ 1365.48
1515.71/1524.03	c bounds 215771 >= 40167 @ 1365.76
1515.71/1524.03	c bounds 215190 >= 40167 @ 1365.97
1515.71/1524.03	c bounds 214609 >= 40167 @ 1366.24
1515.71/1524.03	c bounds 214028 >= 40167 @ 1366.43
1515.71/1524.03	c #Conflicts:      57000 | #Constraints:    1026130
1515.71/1524.03	c bounds 214027 >= 40167 @ 1366.63
1515.71/1524.03	c bounds 214026 >= 40167 @ 1366.92
1515.71/1524.03	c bounds 214025 >= 40167 @ 1367.54
1515.71/1524.03	c bounds 213444 >= 40167 @ 1367.83
1515.71/1524.03	c bounds 212863 >= 40167 @ 1368.19
1515.71/1524.03	c bounds 212282 >= 40167 @ 1368.7
1515.71/1524.03	c bounds 212281 >= 40167 @ 1368.94
1515.71/1524.03	c bounds 212280 >= 40167 @ 1369.61
1515.71/1524.03	c #Conflicts:      58000 | #Constraints:    1027138
1515.71/1524.03	c bounds 211699 >= 40167 @ 1371.31
1515.71/1524.03	c bounds 211118 >= 40167 @ 1371.99
1515.71/1524.03	c #Conflicts:      59000 | #Constraints:    1028140
1515.71/1524.03	c bounds 210537 >= 40167 @ 1387.07
1515.71/1524.03	c bounds 210537 >= 40748 @ 1387.08
1515.71/1524.03	c #Conflicts:      60000 | #Constraints:    1029145
1515.71/1524.03	c #Conflicts:      61000 | #Constraints:    1030145
1515.71/1524.03	c INPROCESSING
1515.71/1524.03	c GARBAGE COLLECT
1515.71/1524.03	c #Conflicts:      62000 | #Constraints:    1025658
1515.71/1524.03	c #Conflicts:      63000 | #Constraints:    1026658
1515.71/1524.03	c #Conflicts:      64000 | #Constraints:    1027658
1515.71/1524.03	c #Conflicts:      65000 | #Constraints:    1028658
1515.71/1524.03	c #Conflicts:      66000 | #Constraints:    1029658
1515.71/1524.03	c INPROCESSING
1515.71/1524.03	c GARBAGE COLLECT
1515.71/1524.03	c bounds 210536 >= 40748 @ 1404.98
1515.71/1524.03	c bounds 209955 >= 40748 @ 1405.33
1515.71/1524.03	c bounds 209374 >= 40748 @ 1405.51
1515.71/1524.03	c bounds 208793 >= 40748 @ 1405.68
1515.71/1524.03	c bounds 208212 >= 40748 @ 1405.85
1515.71/1524.03	c bounds 207631 >= 40748 @ 1406.02
1515.71/1524.03	c bounds 207050 >= 40748 @ 1406.19
1515.71/1524.03	c bounds 206469 >= 40748 @ 1406.37
1515.71/1524.03	c bounds 206468 >= 40748 @ 1406.52
1515.71/1524.03	c #Conflicts:      67000 | #Constraints:    1025640
1515.71/1524.03	c bounds 205887 >= 40748 @ 1408.1
1515.71/1524.03	c bounds 205306 >= 40748 @ 1409.14
1515.71/1524.03	c #Conflicts:      68000 | #Constraints:    1026642
1515.71/1524.03	c bounds 204725 >= 40748 @ 1410.02
1515.71/1524.03	c #Conflicts:      69000 | #Constraints:    1027643
1515.71/1524.03	c bounds 204144 >= 40748 @ 1424.94
1515.71/1524.03	c #Conflicts:      70000 | #Constraints:    1028644
1515.71/1524.03	c #Conflicts:      71000 | #Constraints:    1029644
1515.71/1524.03	c #Conflicts:      72000 | #Constraints:    1030644
1515.71/1524.03	c INPROCESSING
1515.71/1524.03	c GARBAGE COLLECT
1515.71/1524.03	c #Conflicts:      73000 | #Constraints:    1026341
1515.71/1524.03	c #Conflicts:      74000 | #Constraints:    1027341
1515.71/1524.03	c #Conflicts:      75000 | #Constraints:    1028341
1515.71/1524.03	c #Conflicts:      76000 | #Constraints:    1029341
1515.71/1524.03	c #Conflicts:      77000 | #Constraints:    1030341
1515.71/1524.03	c #Conflicts:      78000 | #Constraints:    1031341
1515.71/1524.03	c INPROCESSING
1515.71/1524.03	c GARBAGE COLLECT
1515.71/1524.03	c bounds 203563 >= 40748 @ 1458.55
1515.71/1524.03	c bounds 202982 >= 40748 @ 1458.69
1515.71/1524.03	c bounds 202401 >= 40748 @ 1458.8
1515.71/1524.03	c bounds 201820 >= 40748 @ 1458.92
1515.71/1524.03	c bounds 201819 >= 40748 @ 1459.13
1515.71/1524.03	c bounds 201238 >= 40748 @ 1459.25
1515.71/1524.03	c bounds 201237 >= 40748 @ 1459.43
1515.71/1524.03	c bounds 200656 >= 40748 @ 1459.56
1515.71/1524.03	c bounds 200075 >= 40748 @ 1459.75
1515.71/1524.03	c bounds 199494 >= 40748 @ 1459.93
1515.71/1524.03	c bounds 198913 >= 40748 @ 1460.11
1515.71/1524.03	c bounds 198912 >= 40748 @ 1460.36
1515.71/1524.03	c bounds 198331 >= 40748 @ 1460.55
1515.71/1524.03	c bounds 197750 >= 40748 @ 1460.72
1515.71/1524.03	c bounds 197169 >= 40748 @ 1460.9
1515.71/1524.03	c bounds 196588 >= 40748 @ 1461.06
1515.71/1524.03	c bounds 196007 >= 40748 @ 1461.22
3524.47/3539.19	c bounds 195426 >= 40748 @ 1461.46
3524.47/3539.19	c bounds 195425 >= 40748 @ 1461.72
3524.47/3539.19	c bounds 194844 >= 40748 @ 1461.9
3524.47/3539.19	c bounds 194843 >= 40748 @ 1462.07
3524.47/3539.19	c bounds 194842 >= 40748 @ 1462.45
3524.47/3539.19	c bounds 194261 >= 40748 @ 1462.56
3524.47/3539.19	c bounds 193680 >= 40748 @ 1462.73
3524.47/3539.19	c #Conflicts:      79000 | #Constraints:    1026837
3524.47/3539.19	c bounds 193099 >= 40748 @ 1463.06
3524.47/3539.19	c bounds 192518 >= 40748 @ 1463.23
3524.47/3539.19	c bounds 191937 >= 40748 @ 1463.42
3524.47/3539.19	c bounds 191356 >= 40748 @ 1463.63
3524.47/3539.19	c bounds 190775 >= 40748 @ 1463.81
3524.47/3539.19	c bounds 190194 >= 40748 @ 1464
3524.47/3539.19	c bounds 189613 >= 40748 @ 1464.17
3524.47/3539.19	c bounds 189032 >= 40748 @ 1464.35
3524.47/3539.19	c bounds 188451 >= 40748 @ 1466.39
3524.47/3539.19	c #Conflicts:      80000 | #Constraints:    1027846
3524.47/3539.19	c bounds 187870 >= 40748 @ 1467.87
3524.47/3539.19	c bounds 187289 >= 40748 @ 1468.95
3524.47/3539.19	c bounds 186708 >= 40748 @ 1469.7
3524.47/3539.19	c bounds 186127 >= 40748 @ 1470.04
3524.47/3539.19	c bounds 185546 >= 40748 @ 1470.15
3524.47/3539.19	c bounds 184965 >= 40748 @ 1470.3
3524.47/3539.19	c bounds 184384 >= 40748 @ 1470.41
3524.47/3539.19	c bounds 183803 >= 40748 @ 1470.54
3524.47/3539.19	c #Conflicts:      81000 | #Constraints:    1028854
3524.47/3539.19	c bounds 183222 >= 40748 @ 1470.63
3524.47/3539.19	c bounds 182641 >= 40748 @ 1470.75
3524.47/3539.19	c bounds 182060 >= 40748 @ 1470.9
3524.47/3539.19	c bounds 181479 >= 40748 @ 1471.02
3524.47/3539.19	c bounds 180898 >= 40748 @ 1471.16
3524.47/3539.19	c bounds 180317 >= 40748 @ 1471.28
3524.47/3539.19	c bounds 179736 >= 40748 @ 1471.4
3524.47/3539.19	c bounds 179155 >= 40748 @ 1471.53
3524.47/3539.19	c bounds 178574 >= 40748 @ 1471.66
3524.47/3539.19	c bounds 177993 >= 40748 @ 1471.78
3524.47/3539.19	c bounds 177412 >= 40748 @ 1471.9
3524.47/3539.19	c bounds 176831 >= 40748 @ 1472.02
3524.47/3539.19	c bounds 176250 >= 40748 @ 1472.14
3524.47/3539.19	c bounds 175669 >= 40748 @ 1472.25
3524.47/3539.19	c bounds 175088 >= 40748 @ 1472.58
3524.47/3539.19	c bounds 174507 >= 40748 @ 3365.25
3524.47/3539.19	c bounds 173926 >= 40748 @ 3365.59
3524.47/3539.19	c #Conflicts:      82000 | #Constraints:    1029871
3524.47/3539.19	c bounds 173345 >= 40748 @ 3370.26
3524.47/3539.19	c bounds 173344 >= 40748 @ 3370.94
3524.47/3539.19	c bounds 172763 >= 40748 @ 3371.43
3524.47/3539.19	c bounds 172182 >= 40748 @ 3372.62
3524.47/3539.19	c #Conflicts:      83000 | #Constraints:    1030875
3524.47/3539.19	c bounds 172181 >= 40748 @ 3374.04
3524.47/3539.19	c bounds 171600 >= 40748 @ 3374.42
3524.47/3539.19	c bounds 171019 >= 40748 @ 3375.92
3524.47/3539.19	c #Conflicts:      84000 | #Constraints:    1031878
3524.47/3539.19	c INPROCESSING
3524.47/3539.19	c GARBAGE COLLECT
3524.47/3539.19	c bounds 170438 >= 40748 @ 3380.87
3524.47/3539.19	c bounds 169857 >= 40748 @ 3383.69
3524.47/3539.19	c #Conflicts:      85000 | #Constraints:    1026764
3524.47/3539.19	c bounds 169276 >= 40748 @ 3386.96
3524.47/3539.19	c bounds 168695 >= 40748 @ 3389.83
3524.47/3539.19	c #Conflicts:      86000 | #Constraints:    1027766
3524.47/3539.19	c bounds 168114 >= 40748 @ 3392.88
3524.47/3539.19	c #Conflicts:      87000 | #Constraints:    1028767
3524.47/3539.19	c bounds 167533 >= 40748 @ 3399.43
3524.47/3539.19	c #Conflicts:      88000 | #Constraints:    1029768
3524.47/3539.19	c #Conflicts:      89000 | #Constraints:    1030768
3524.47/3539.19	c #Conflicts:      90000 | #Constraints:    1031768
3524.47/3539.19	c INPROCESSING
3524.47/3539.19	c GARBAGE COLLECT
3524.47/3539.19	c bounds 167532 >= 40748 @ 3419.52
3524.47/3539.19	c bounds 167531 >= 40748 @ 3419.73
3524.47/3539.19	c bounds 166950 >= 40748 @ 3420.47
3524.47/3539.19	c bounds 166369 >= 40748 @ 3420.64
3524.47/3539.19	c bounds 165788 >= 40748 @ 3420.87
3524.47/3539.19	c #Conflicts:      91000 | #Constraints:    1026608
3524.47/3539.19	c bounds 165207 >= 40748 @ 3421.42
3524.47/3539.19	c bounds 164626 >= 40748 @ 3421.93
3524.47/3539.19	c bounds 164045 >= 40748 @ 3423.22
3524.47/3539.19	c bounds 163464 >= 40748 @ 3424.12
3524.47/3539.19	c bounds 162883 >= 40748 @ 3424.96
3524.47/3539.19	c #Conflicts:      92000 | #Constraints:    1027613
3524.47/3539.19	c bounds 162302 >= 40748 @ 3425.73
3524.47/3539.19	c bounds 161721 >= 40748 @ 3426.53
3524.47/3539.19	c bounds 161140 >= 40748 @ 3427.18
3524.47/3539.19	c bounds 160559 >= 40748 @ 3428.08
3524.47/3539.19	c bounds 159978 >= 40748 @ 3428.42
3524.47/3539.19	c #Conflicts:      93000 | #Constraints:    1028618
3524.47/3539.19	c bounds 159400 >= 40748 @ 3430.16
3524.47/3539.19	c bounds 158819 >= 40748 @ 3430.41
3524.47/3539.19	c #Conflicts:      94000 | #Constraints:    1029620
3524.47/3539.19	c #Conflicts:      95000 | #Constraints:    1030620
3524.47/3539.19	c bounds 158238 >= 40748 @ 3448.47
3524.47/3539.19	c #Conflicts:      96000 | #Constraints:    1031621
3524.47/3539.19	c INPROCESSING
3524.47/3539.19	c GARBAGE COLLECT
3524.47/3539.19	c #Conflicts:      97000 | #Constraints:    1026454
3524.47/3539.19	c #Conflicts:      98000 | #Constraints:    1027454
3524.47/3539.19	c #Conflicts:      99000 | #Constraints:    1028454
3524.47/3539.19	c #Conflicts:     100000 | #Constraints:    1029454
3524.47/3539.19	c #Conflicts:     101000 | #Constraints:    1030454
3524.47/3539.19	c #Conflicts:     102000 | #Constraints:    1031454
3524.47/3539.19	c #Conflicts:     103000 | #Constraints:    1032454
3524.47/3539.19	c INPROCESSING
3524.47/3539.19	c GARBAGE COLLECT
3524.47/3539.19	c bounds 157657 >= 40748 @ 3460.11
3524.47/3539.19	c bounds 157076 >= 40748 @ 3460.37
3524.47/3539.19	c bounds 156495 >= 40748 @ 3460.56
3524.47/3539.19	c bounds 155914 >= 40748 @ 3460

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100089 s]*
/proc/loadavg: 4.08 4.16 4.14 4/265 182546
/proc/meminfo: memFree=87101272/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=37376 memory=2548 CPUtime=0 cores=1,3
/proc/182545/stat : 182545 (roundingsat) D 182542 182545 176023 0 -1 1077936128 214 0 0 0 0 0 0 0 20 0 1 0 19124511 38273024 637 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB

[startup+0.205842 s]*
/proc/loadavg: 4.08 4.16 4.14 4/265 182546
/proc/meminfo: memFree=87100092/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=37376 memory=2548 CPUtime=0 cores=1,3
/proc/182545/stat : 182545 (roundingsat) D 182542 182545 176023 0 -1 1077936128 214 0 0 0 0 0 0 0 20 0 1 0 19124511 38273024 637 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB

[startup+0.305915 s]*
/proc/loadavg: 4.08 4.16 4.14 4/265 182546
/proc/meminfo: memFree=87098608/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=37376 memory=2548 CPUtime=0 cores=1,3
/proc/182545/stat : 182545 (roundingsat) D 182542 182545 176023 0 -1 1077936128 214 0 0 0 0 0 0 0 20 0 1 0 19124511 38273024 637 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB

[startup+0.700235 s]
/proc/loadavg: 4.08 4.16 4.14 4/265 182546
/proc/meminfo: memFree=87096444/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=37376 memory=2548 CPUtime=0 cores=1,3
/proc/182545/stat : 182545 (roundingsat) D 182542 182545 176023 0 -1 1077936128 214 0 0 0 0 0 0 0 20 0 1 0 19124511 38273024 637 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB

[startup+1.50024 s]
/proc/loadavg: 4.08 4.16 4.14 4/265 182546
/proc/meminfo: memFree=87091180/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=37376 memory=2548 CPUtime=0 cores=1,3
/proc/182545/stat : 182545 (roundingsat) D 182542 182545 176023 0 -1 1077936128 214 0 0 0 0 0 0 0 20 0 1 0 19124511 38273024 637 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB

[startup+3.1057 s]
/proc/loadavg: 4.08 4.16 4.14 4/265 182546
/proc/meminfo: memFree=87077916/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=37376 memory=2548 CPUtime=0 cores=1,3
/proc/182545/stat : 182545 (roundingsat) D 182542 182545 176023 0 -1 1077936128 214 0 0 0 0 0 0 0 20 0 1 0 19124511 38273024 637 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 9344 637 581 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2548 KiB
heavy processes:

[startup+6.30018 s]
/proc/loadavg: 4.07 4.16 4.14 5/265 182546
/proc/meminfo: memFree=86853924/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=135896 memory=88836 CPUtime=2.4 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 13935 0 0 0 202 38 0 0 20 0 1 0 19124511 139157504 22209 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 33974 22209 1365 992 0 25832 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 135896 KiB
Current children cumulated memory: 88836 KiB
heavy processes:

[startup+12.7002 s]
/proc/loadavg: 4.06 4.16 4.14 5/265 182550
/proc/meminfo: memFree=86490960/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=787836 memory=723020 CPUtime=8.78 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 99210 0 0 0 758 120 0 0 20 0 1 0 19124511 806744064 180755 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 196959 180755 1730 992 0 188817 0
Current children cumulated CPU time: 8.78 s
Current children cumulated vsize: 787836 KiB
Current children cumulated memory: 723020 KiB
heavy processes:

[startup+25.5002 s]
/proc/loadavg: 4.05 4.15 4.13 5/263 182551
/proc/meminfo: memFree=85336332/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=905376 memory=862500 CPUtime=21.55 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 113918 0 0 0 1790 365 0 0 20 0 1 0 19124511 927105024 215625 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 226344 215625 1778 992 0 218202 0
Current children cumulated CPU time: 21.55 s
Current children cumulated vsize: 905376 KiB
Current children cumulated memory: 862500 KiB

[startup+51.1059 s]
/proc/loadavg: 4.09 4.15 4.13 5/264 182561
/proc/meminfo: memFree=84240696/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=976780 memory=901796 CPUtime=47.06 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 116424 0 0 0 3990 716 0 0 20 0 1 0 19124511 1000222720 225449 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 244195 225449 1888 992 0 236053 0
Current children cumulated CPU time: 47.06 s
Current children cumulated vsize: 976780 KiB
Current children cumulated memory: 901796 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/264 182582
/proc/meminfo: memFree=82237456/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=1003368 memory=928384 CPUtime=98.1 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 118225 0 0 0 8381 1429 0 0 20 0 1 0 19124511 1027448832 232096 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 250842 232096 1888 992 0 242700 0
Current children cumulated CPU time: 98.1 s
Current children cumulated vsize: 1003368 KiB
Current children cumulated memory: 928384 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/269 182598
/proc/meminfo: memFree=77943340/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=1057280 memory=982044 CPUtime=157.91 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 126213 0 0 0 13666 2125 0 0 20 0 1 0 19124511 1082654720 245511 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 264320 245511 1888 992 0 256178 0
Current children cumulated CPU time: 157.91 s
Current children cumulated vsize: 1057280 KiB
Current children cumulated memory: 982044 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/270 182611
/proc/meminfo: memFree=74385704/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=1375300 memory=1249652 CPUtime=217.76 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 173883 0 0 0 18677 3099 0 0 20 0 1 0 19124511 1408307200 312413 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 343825 312413 1888 992 0 335683 0
Current children cumulated CPU time: 217.76 s
Current children cumulated vsize: 1375300 KiB
Current children cumulated memory: 1249652 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.14 4.12 5/270 182621
/proc/meminfo: memFree=73162616/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=1395944 memory=1258816 CPUtime=277.57 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 174259 0 0 0 24639 3118 0 0 20 0 1 0 19124511 1429446656 314704 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 348986 314704 1888 992 0 340844 0
Current children cumulated CPU time: 277.57 s
Current children cumulated vsize: 1395944 KiB
Current children cumulated memory: 1258816 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.14 4.12 5/268 182632
/proc/meminfo: memFree=70801948/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=1398312 memory=1262312 CPUtime=337.4 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 174723 0 0 0 30616 3124 0 0 20 0 1 0 19124511 1431871488 315578 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 349578 315578 1888 992 0 341436 0
Current children cumulated CPU time: 337.4 s
Current children cumulated vsize: 1398312 KiB
Current children cumulated memory: 1262312 KiB

[startup+402.3 s]
/proc/loadavg: 4.28 4.18 4.13 5/267 182644
/proc/meminfo: memFree=70358024/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=1402336 memory=1266132 CPUtime=397.22 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 175321 0 0 0 36594 3128 0 0 20 0 1 0 19124511 1435992064 316533 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 350584 316533 1888 992 0 342442 0
Current children cumulated CPU time: 397.22 s
Current children cumulated vsize: 1402336 KiB
Current children cumulated memory: 1266132 KiB

[startup+462.3 s]
/proc/loadavg: 4.28 4.19 4.14 5/262 182654
/proc/meminfo: memFree=70159320/131524600 swapFree=131054736/131071996

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

[startup+3102.3 s]
/proc/loadavg: 1.64 2.59 3.24 2/239 183931
/proc/meminfo: memFree=105720096/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=2194600 memory=1967672 CPUtime=3088.5 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 283409 0 0 0 303133 5717 0 0 20 0 1 0 19124511 2247270400 491918 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 548650 491918 1888 992 0 540508 0
Current children cumulated CPU time: 3088.5 s
Current children cumulated vsize: 2194600 KiB
Current children cumulated memory: 1967672 KiB

[startup+3162.3 s]
/proc/loadavg: 1.28 2.32 3.11 2/239 183942
/proc/meminfo: memFree=105719384/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=2194600 memory=1967672 CPUtime=3148.28 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 283654 0 0 0 309105 5723 0 0 20 0 1 0 19124511 2247270400 491918 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 548650 491918 1888 992 0 540508 0
Current children cumulated CPU time: 3148.28 s
Current children cumulated vsize: 2194600 KiB
Current children cumulated memory: 1967672 KiB

[startup+3222.3 s]
/proc/loadavg: 1.22 2.10 2.98 2/239 183953
/proc/meminfo: memFree=105718820/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=2194600 memory=1967672 CPUtime=3208.19 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 283685 0 0 0 315087 5732 0 0 20 0 1 0 19124511 2247270400 491918 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 548650 491918 1888 992 0 540508 0
Current children cumulated CPU time: 3208.19 s
Current children cumulated vsize: 2194600 KiB
Current children cumulated memory: 1967672 KiB

[startup+3282.3 s]
/proc/loadavg: 1.15 1.92 2.86 2/239 183963
/proc/meminfo: memFree=105717792/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=2194600 memory=1967672 CPUtime=3268.1 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 283714 0 0 0 321070 5740 0 0 20 0 1 0 19124511 2247270400 491918 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 548650 491918 1888 992 0 540508 0
Current children cumulated CPU time: 3268.1 s
Current children cumulated vsize: 2194600 KiB
Current children cumulated memory: 1967672 KiB

[startup+3342.3 s]
/proc/loadavg: 1.09 1.76 2.75 2/236 184355
/proc/meminfo: memFree=105717428/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=2194600 memory=1967672 CPUtime=3328.02 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 283751 0 0 0 327053 5749 0 0 20 0 1 0 19124511 2247270400 491918 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 548650 491918 1888 992 0 540508 0
Current children cumulated CPU time: 3328.02 s
Current children cumulated vsize: 2194600 KiB
Current children cumulated memory: 1967672 KiB

[startup+3402.3 s]
/proc/loadavg: 1.13 1.65 2.64 2/234 184367
/proc/meminfo: memFree=105715280/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=2194600 memory=1969300 CPUtime=3387.94 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 283785 0 0 0 333037 5757 0 0 20 0 1 0 19124511 2247270400 492325 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 548650 492325 1888 992 0 540508 0
Current children cumulated CPU time: 3387.94 s
Current children cumulated vsize: 2194600 KiB
Current children cumulated memory: 1969300 KiB

[startup+3462.3 s]
/proc/loadavg: 1.10 1.55 2.54 2/238 184381
/proc/meminfo: memFree=104880020/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=2815704 memory=2599100 CPUtime=3447.84 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 396709 0 0 0 338853 5931 0 0 20 0 1 0 19124511 2883280896 649775 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 703926 649775 1888 992 0 695784 0
Current children cumulated CPU time: 3447.84 s
Current children cumulated vsize: 2815704 KiB
Current children cumulated memory: 2599100 KiB

[startup+3522.3 s]
/proc/loadavg: 1.15 1.48 2.45 2/242 184564
/proc/meminfo: memFree=104313640/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=3167112 memory=2647764 CPUtime=3507.7 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 399362 0 0 0 344494 6276 0 0 20 0 1 0 19124511 3243122688 661941 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 791778 661941 1888 992 0 783636 0
Current children cumulated CPU time: 3507.7 s
Current children cumulated vsize: 3167112 KiB
Current children cumulated memory: 2647764 KiB

[startup+3582.3 s]
/proc/loadavg: 1.11 1.40 2.37 2/242 184574
/proc/meminfo: memFree=104137148/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=3100044 memory=2580736 CPUtime=3567.55 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 400030 0 0 0 350176 6579 0 0 20 0 1 0 19124511 3174445056 645184 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 775011 645184 1888 992 0 766869 0
Current children cumulated CPU time: 3567.55 s
Current children cumulated vsize: 3100044 KiB
Current children cumulated memory: 2580736 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614.9 s]
/proc/loadavg: 1.13 1.37 2.32 2/244 184585
/proc/meminfo: memFree=104132276/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=3116828 memory=2585648 CPUtime=3600.04 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 400501 0 0 0 353393 6611 0 0 20 0 1 0 19124511 3191631872 646412 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 779207 646412 1888 992 0 771065 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3116828 KiB
Current children cumulated memory: 2585648 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3535.93 s, system=66.1644 s

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

[startup+3616 s]*
/proc/loadavg: 1.13 1.37 2.32 2/244 184585
/proc/meminfo: memFree=104131880/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=3116828 memory=2585648 CPUtime=3601.14 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 400501 0 0 0 353503 6611 0 0 20 0 1 0 19124511 3191631872 646412 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 779207 646412 1888 992 0 771065 0
Current children cumulated CPU time: 3601.14 s
Current children cumulated vsize: 3116828 KiB
Current children cumulated memory: 2585648 KiB

[startup+3616.4 s]
/proc/loadavg: 1.13 1.37 2.32 2/244 184585
/proc/meminfo: memFree=104131880/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=3116828 memory=2585648 CPUtime=3601.53 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 400502 0 0 0 353542 6611 0 0 20 0 1 0 19124511 3191631872 646412 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 779207 646412 1888 992 0 771065 0
Current children cumulated CPU time: 3601.53 s
Current children cumulated vsize: 3116828 KiB
Current children cumulated memory: 2585648 KiB

[startup+3616.8 s]
/proc/loadavg: 1.13 1.37 2.32 2/244 184585
/proc/meminfo: memFree=104131880/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=3116828 memory=2585648 CPUtime=3601.93 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 400502 0 0 0 353582 6611 0 0 20 0 1 0 19124511 3191631872 646412 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 779207 646412 1888 992 0 771065 0
Current children cumulated CPU time: 3601.93 s
Current children cumulated vsize: 3116828 KiB
Current children cumulated memory: 2585648 KiB

[startup+3616.9 s]
/proc/loadavg: 1.13 1.37 2.32 2/244 184585
/proc/meminfo: memFree=104131880/131524600 swapFree=131054736/131071996
[pid=182545] ppid=182542 vsize=3116828 memory=2585648 CPUtime=3602.03 cores=1,3
/proc/182545/stat : 182545 (roundingsat) R 182542 182545 176023 0 -1 4194304 400502 0 0 0 353592 6611 0 0 20 0 1 0 19124511 3191631872 646412 134679101440 4194304 8254037 140732348332496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 20598784 140732348339036 140732348339298 140732348339298 140732348346313 0
/proc/182545/statm: 779207 646412 1888 992 0 771065 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 3116828 KiB
Current children cumulated memory: 2585648 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3616.95
CPU time (s): 3602.09
CPU user time (s): 3535.93
CPU system time (s): 66.1644
CPU usage (%): 99.5893
Max. virtual memory (cumulated for all children) (KiB): 3175552
Max. memory (cumulated for all children) (KiB): 2656244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3535.93
system time used= 66.1644
maximum resident set size= 2656244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 400502
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8328688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53
involuntary context switches= 2160


# summary of solver processes directly reported to runsolver:
#   pid: 182545
#   total CPU time (s): 3602.09
#   total CPU user time (s): 3535.93
#   total CPU system time (s): 66.1644

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.30031 second user time and 14.3881 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-24 15:00:03
IDJOB=4457152
IDBENCH=158209
IDSOLVER=3085
FILE ID=nodeC034/4457152-1721826002
RUNJOBID= nodeC034-1721817188-176035
SLURM_JOB_ID= 7816899
Free space on /tmp= 889896 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/OPT-LIN/graca/normalized-ped2.G.recomb10-0.20-13.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-4457152-1721826002/watcher-4457152-1721826002 -o /tmp/evaluation-result-4457152-1721826002/solver-4457152-1721826002 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721817188-176035 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457152-1721826002 --lp-cut-gomory=0 HOME/instance-4457152-1721826002.opb

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

MD5SUM BENCH= 8ac687d6d6d445392b755a367fbcc019
RANDOM SEED=480630107

nodeC034.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		: 3682.484
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.92
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		: 3608.780
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.84
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		: 3599.845
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.92
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		: 3604.267
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.84
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		: 3682.044
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.92
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		: 3674.454
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.84
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.082
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.92
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.270
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        87103072 kB
MemAvailable:   123621228 kB
Buffers:          248196 kB
Cached:         37029220 kB
SwapCached:           96 kB
Active:          1688048 kB
Inactive:       42003468 kB
Active(anon):       1928 kB
Inactive(anon):  6454804 kB
Active(file):    1686120 kB
Inactive(file): 35548664 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054736 kB
Dirty:            251544 kB
Writeback:             0 kB
AnonPages:       6411492 kB
Mapped:           102796 kB
Shmem:             42580 kB
KReclaimable:     246036 kB
Slab:             365320 kB
SReclaimable:     246036 kB
SUnreclaim:       119284 kB
KernelStack:        4288 kB
PageTables:        22416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7579596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14048 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3563520 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:      355028 kB
DirectMap2M:    47652864 kB
DirectMap1G:    88080384 kB

Free space on /tmp at the end= 889964 MiB
End job on nodeC034 at 2024-07-24 16:00:20