Trace number 4523516

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs 63f22adOPT4 81.3173 81.5635

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_32_label3_adversarial_norm_1.opb
MD5SUMf833be1967b503cfce1013007946cb2b
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 benchmark4
Best CPU time to get the best result obtained on this benchmark5.27099
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1294
Total number of constraints1091
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1088
Minimum length of a constraint1
Maximum length of a constraint785
Number of terms in the objective function 785
Biggest coefficient in the objective function 12628
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 55047
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 12628
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 55047
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.07/0.14	c #variables 1294 #constraints 1092
0.07/0.14	c objective is ce32 
0.07/0.14	c initial watched  CF 32, 64, 128, Arb: 3 , 0 , 0 , 0
0.07/0.14	c initial counting CF 32, 64, 128, Arb: 1086 , 0 , 0 , 0
0.07/0.14	c GLOBAL bounds - >= -12628 @ 0.109809
0.07/0.14	c GLOBAL bounds - >= -12628 @ 0.109846
0.07/0.15	c GLOBAL bounds - >= -12628 @ 0.109853
0.07/0.15	c GLOBAL bounds - >= -12628 @ 0.109853
0.07/0.15	c GLOBAL bounds - >= -12628 @ 0.110132
0.07/0.15	c GLOBAL bounds - >= -12628 @ 0.110826
0.07/0.15	c GLOBAL bounds - >= -12628 @ 0.110835
0.07/0.15	c GLOBAL bounds - >= -12628 @ 0.110835
0.07/0.15	c GLOBAL bounds - >= -12628 @ 0.110837
0.07/0.15	c GLOBAL bounds - >= -12628 @ 0.111831
0.07/0.16	c GLOBAL bounds - >= -12628 @ 0.112821
0.07/0.16	c GLOBAL bounds - >= -12628 @ 0.112822
0.07/0.16	c GLOBAL bounds - >= -12628 @ 0.113837
0.07/0.16	c GLOBAL bounds - >= -12628 @ 0.114801
0.07/0.16	c GLOBAL bounds - >= -12628 @ 0.114803
0.07/0.16	c GLOBAL bounds - >= -12628 @ 0.115889
0.07/0.16	c GLOBAL bounds - >= -12628 @ 0.117234
0.07/0.17	c GLOBAL bounds - >= -12628 @ 0.118645
0.07/0.17	c GLOBAL bounds - >= -12628 @ 0.118769
0.07/0.17	c GLOBAL bounds - >= -12628 @ 0.118772
0.07/0.17	c GLOBAL bounds - >= -12628 @ 0.118772
0.07/0.17	c GLOBAL bounds - >= -12628 @ 0.119765
0.07/0.17	c GLOBAL bounds - >= -12628 @ 0.120487
0.07/0.17	c GLOBAL bounds - >= -12628 @ 0.12185
0.07/0.17	c GLOBAL bounds - >= -12628 @ 0.122745
0.07/0.18	c GLOBAL bounds - >= -12628 @ 0.122752
0.07/0.18	c GLOBAL bounds - >= -12628 @ 0.122752
0.07/0.18	c GLOBAL bounds - >= -12628 @ 0.122752
0.07/0.18	c GLOBAL bounds - >= -12628 @ 0.12286
0.07/0.18	c GLOBAL bounds - >= -12628 @ 0.123741
0.07/0.18	c GLOBAL bounds - >= -12628 @ 0.124582
0.07/0.18	c GLOBAL bounds - >= -12628 @ 0.125961
0.07/0.19	c GLOBAL bounds - >= -12628 @ 0.127365
0.07/0.19	c GLOBAL bounds - >= -12628 @ 0.127713
0.07/0.19	c GLOBAL bounds - >= -12628 @ 0.12772
0.07/0.19	c GLOBAL bounds - >= -12628 @ 0.127727
0.07/0.19	c GLOBAL bounds - >= -12628 @ 0.128718
0.07/0.19	c GLOBAL bounds - >= -12628 @ 0.128718
0.07/0.19	c GLOBAL bounds - >= -12628 @ 0.12895
0.07/0.20	c GLOBAL bounds - >= -12628 @ 0.130352
0.07/0.20	c GLOBAL bounds - >= -12628 @ 0.131752
0.07/0.20	c GLOBAL bounds - >= -12628 @ 0.132669
0.07/0.20	c GLOBAL bounds - >= -12628 @ 0.133619
0.07/0.20	c GLOBAL bounds - >= -12628 @ 0.133663
0.07/0.20	c GLOBAL bounds - >= -12628 @ 0.133663
0.07/0.20	c GLOBAL bounds - >= -12628 @ 0.134626
0.07/0.21	c GLOBAL bounds - >= -12628 @ 0.135357
0.18/0.21	c GLOBAL bounds - >= -12628 @ 0.135591
0.18/0.21	c GLOBAL bounds - >= -12628 @ 0.136277
0.18/0.21	c GLOBAL bounds - >= -12628 @ 0.136748
0.18/0.21	c GLOBAL bounds - >= -12628 @ 0.137576
0.18/0.21	c GLOBAL bounds - >= -12628 @ 0.137583
0.18/0.21	c GLOBAL bounds - >= -12628 @ 0.139044
0.18/0.22	c GLOBAL bounds - >= -12628 @ 0.140501
0.18/0.22	c GLOBAL bounds - >= -12628 @ 0.141514
0.18/0.22	c GLOBAL bounds - >= -12628 @ 0.141521
0.18/0.22	c GLOBAL bounds - >= -12628 @ 0.141522
0.18/0.22	c GLOBAL bounds - >= -12628 @ 0.141522
0.18/0.22	c GLOBAL bounds - >= -12628 @ 0.14185
0.18/0.23	c GLOBAL bounds - >= -12628 @ 0.142502
0.18/0.23	c GLOBAL bounds - >= -12628 @ 0.142792
0.18/0.23	c GLOBAL bounds - >= -12628 @ 0.144267
0.18/0.23	c GLOBAL bounds - >= -12628 @ 0.144749
0.18/0.23	c GLOBAL bounds - >= -12628 @ 0.14623
0.18/0.23	c GLOBAL bounds - >= -12628 @ 0.146674
0.18/0.23	c GLOBAL bounds - >= -12628 @ 0.148319
0.18/0.24	c GLOBAL bounds - >= -12628 @ 0.149448
0.18/0.24	c GLOBAL bounds - >= -12628 @ 0.150269
0.18/0.24	c GLOBAL bounds - >= -12628 @ 0.150433
0.18/0.24	c GLOBAL bounds - >= -12628 @ 0.151179
0.18/0.24	c GLOBAL bounds - >= -12628 @ 0.152604
0.18/0.24	c GLOBAL bounds - >= -12628 @ 0.153423
0.18/0.24	c GLOBAL bounds - >= -12628 @ 0.153606
0.18/0.25	c GLOBAL bounds - >= -12628 @ 0.154405
0.18/0.25	c GLOBAL bounds - >= -12628 @ 0.155549
0.18/0.25	c GLOBAL bounds - >= -12628 @ 0.156374
0.18/0.25	c GLOBAL bounds - >= -12628 @ 0.156377
0.18/0.25	c GLOBAL bounds - >= -12628 @ 0.156381
0.18/0.25	c GLOBAL bounds - >= -12628 @ 0.156562
0.18/0.26	c GLOBAL bounds - >= -12628 @ 0.157376
0.18/0.26	c GLOBAL bounds - >= -12628 @ 0.15854
0.18/0.26	c GLOBAL bounds - >= -12628 @ 0.160005
0.18/0.26	c GLOBAL bounds - >= -12628 @ 0.161321
0.18/0.26	c GLOBAL bounds - >= -12628 @ 0.161323
0.18/0.26	c GLOBAL bounds - >= -12628 @ 0.161327
0.18/0.26	c GLOBAL bounds - >= -12628 @ 0.161329
0.18/0.27	c GLOBAL bounds - >= -12628 @ 0.162326
0.18/0.27	c GLOBAL bounds - >= -12628 @ 0.163075
0.18/0.27	c GLOBAL bounds - >= -12628 @ 0.163618
0.18/0.27	c GLOBAL bounds - >= -12628 @ 0.164305
0.18/0.27	c GLOBAL bounds - >= -12628 @ 0.165297
0.18/0.27	c GLOBAL bounds - >= -12628 @ 0.166164
0.18/0.27	c GLOBAL bounds - >= -12628 @ 0.166689
0.18/0.28	c GLOBAL bounds - >= -12628 @ 0.167284
0.18/0.28	c GLOBAL bounds - >= -12628 @ 0.167677
0.18/0.28	c GLOBAL bounds - >= -12628 @ 0.169217
0.18/0.28	c GLOBAL bounds - >= -12628 @ 0.169762
0.18/0.28	c GLOBAL bounds - >= -12628 @ 0.171305
0.18/0.28	c GLOBAL bounds - >= -12628 @ 0.17223
0.18/0.29	c GLOBAL bounds - >= -12628 @ 0.173368
0.18/0.29	c GLOBAL bounds - >= -12628 @ 0.174911
0.18/0.29	c GLOBAL bounds - >= -12628 @ 0.176204
0.18/0.29	c GLOBAL bounds - >= -12628 @ 0.176913
0.18/0.29	c GLOBAL bounds - >= -12628 @ 0.177195
0.18/0.29	c GLOBAL bounds - >= -12628 @ 0.177954
0.18/0.29	c GLOBAL bounds - >= -12628 @ 0.179391
0.18/0.30	c GLOBAL bounds - >= -12628 @ 0.180902
0.18/0.30	c GLOBAL bounds - >= -12628 @ 0.181358
0.18/0.30	c GLOBAL bounds - >= -12628 @ 0.182135
0.18/0.30	c GLOBAL bounds - >= -12628 @ 0.183117
0.18/0.30	c GLOBAL bounds - >= -12628 @ 0.183879
0.18/0.30	c GLOBAL bounds - >= -12628 @ 0.185362
0.18/0.31	c GLOBAL bounds - >= -12628 @ 0.18683
0.28/0.31	c GLOBAL bounds - >= -12628 @ 0.188271
0.28/0.31	c GLOBAL bounds - >= -12628 @ 0.189063
0.28/0.31	c GLOBAL bounds - >= -12628 @ 0.189268
0.28/0.31	c GLOBAL bounds - >= -12628 @ 0.190822
0.28/0.31	c GLOBAL bounds - >= -12628 @ 0.192232
0.28/0.31	c GLOBAL bounds - >= -12628 @ 0.193748
0.28/0.32	c GLOBAL bounds - >= -12628 @ 0.195156
0.28/0.32	c GLOBAL bounds - >= -12628 @ 0.196706
0.28/0.32	c GLOBAL bounds - >= -12628 @ 0.19816
0.28/0.32	c GLOBAL bounds - >= -12628 @ 0.199729
0.28/0.32	c GLOBAL bounds - >= -12628 @ 0.20114
0.28/0.32	c GLOBAL bounds - >= -12628 @ 0.202695
0.28/0.32	c GLOBAL bounds - >= -12628 @ 0.202938
0.28/0.33	c GLOBAL bounds - >= -12628 @ 0.203729
0.28/0.33	c GLOBAL bounds - >= -12628 @ 0.203926
0.28/0.33	c GLOBAL bounds - >= -12628 @ 0.204729
0.28/0.33	c GLOBAL bounds - >= -12628 @ 0.205902
0.28/0.33	c GLOBAL bounds - >= -12628 @ 0.205902
0.28/0.33	c GLOBAL bounds - >= -12628 @ 0.207078
0.28/0.34	c GLOBAL bounds - >= -12628 @ 0.207856
0.28/0.34	c GLOBAL bounds - >= -12628 @ 0.207867
0.28/0.34	c GLOBAL bounds - >= -12628 @ 0.20866
0.28/0.34	c GLOBAL bounds - >= -12628 @ 0.208856
0.28/0.34	c GLOBAL bounds - >= -12628 @ 0.20972
0.28/0.34	c GLOBAL bounds - >= -12628 @ 0.210149
0.28/0.35	c GLOBAL bounds - >= -12628 @ 0.211718
0.28/0.35	c GLOBAL bounds - >= -12628 @ 0.212203
0.28/0.35	c GLOBAL bounds - >= -12628 @ 0.212818
0.28/0.35	c GLOBAL bounds - >= -12628 @ 0.212819
0.28/0.35	c GLOBAL bounds - >= -12628 @ 0.212931
0.28/0.35	c GLOBAL bounds - >= -12628 @ 0.213809
0.28/0.35	c GLOBAL bounds - >= -12628 @ 0.21392
0.28/0.36	c GLOBAL bounds - >= -12628 @ 0.215407
0.28/0.36	c GLOBAL bounds - >= -12628 @ 0.215911
0.28/0.36	c GLOBAL bounds - >= -12628 @ 0.217371
0.28/0.36	c GLOBAL bounds - >= -12628 @ 0.217964
0.28/0.36	c GLOBAL bounds - >= -12628 @ 0.219347
0.28/0.36	c GLOBAL bounds - >= -12628 @ 0.220917
0.28/0.37	c GLOBAL bounds - >= -12628 @ 0.221736
0.28/0.37	c GLOBAL bounds - >= -12628 @ 0.222873
0.28/0.37	c GLOBAL bounds - >= -12628 @ 0.223723
0.28/0.37	c GLOBAL bounds - >= -12628 @ 0.224805
0.28/0.37	c GLOBAL bounds - >= -12628 @ 0.2262
0.28/0.37	c GLOBAL bounds - >= -12628 @ 0.226686
0.28/0.37	c GLOBAL bounds - >= -12628 @ 0.227675
0.28/0.38	c GLOBAL bounds - >= -12628 @ 0.227682
0.28/0.38	c GLOBAL bounds - >= -12628 @ 0.227682
0.28/0.38	c GLOBAL bounds - >= -12628 @ 0.227682
0.28/0.38	c GLOBAL bounds - >= -12628 @ 0.228034
0.28/0.38	c GLOBAL bounds - >= -12628 @ 0.228661
0.28/0.38	c GLOBAL bounds - >= -12628 @ 0.228975
0.28/0.38	c GLOBAL bounds - >= -12628 @ 0.230517
0.28/0.39	c GLOBAL bounds - >= -12628 @ 0.230972
0.28/0.39	c GLOBAL bounds - >= -12628 @ 0.231637
0.28/0.39	c GLOBAL bounds - >= -12628 @ 0.231972
0.28/0.39	c GLOBAL bounds - >= -12628 @ 0.233522
0.28/0.39	c GLOBAL bounds - >= -12628 @ 0.234938
0.28/0.39	c GLOBAL bounds - >= -12628 @ 0.236359
0.28/0.39	c GLOBAL bounds - >= -12628 @ 0.236766
0.28/0.40	c GLOBAL bounds - >= -12628 @ 0.238156
0.28/0.40	c GLOBAL bounds - >= -12628 @ 0.238656
0.28/0.40	c GLOBAL bounds - >= -12628 @ 0.240139
0.28/0.40	c GLOBAL bounds - >= -12628 @ 0.240627
0.28/0.40	c GLOBAL bounds - >= -12628 @ 0.242075
0.28/0.40	c GLOBAL bounds - >= -12628 @ 0.24262
0.38/0.41	c GLOBAL bounds - >= -12628 @ 0.244035
0.38/0.41	c GLOBAL bounds - >= -12628 @ 0.24448
0.38/0.41	c GLOBAL bounds - >= -12628 @ 0.245469
0.38/0.41	c GLOBAL bounds - >= -12628 @ 0.246282
0.38/0.41	c GLOBAL bounds - >= -12628 @ 0.246863
0.38/0.41	c GLOBAL bounds - >= -12628 @ 0.248216
0.38/0.41	c GLOBAL bounds - >= -12628 @ 0.248786
0.38/0.42	c GLOBAL bounds - >= -12628 @ 0.249419
0.38/0.42	c GLOBAL bounds - >= -12628 @ 0.249612
0.38/0.42	c GLOBAL bounds - >= -12628 @ 0.251084
0.38/0.42	c GLOBAL bounds - >= -12628 @ 0.25157
0.38/0.42	c GLOBAL bounds - >= -12628 @ 0.253001
0.38/0.42	c GLOBAL bounds - >= -12628 @ 0.254361
0.38/0.42	c GLOBAL bounds - >= -12628 @ 0.254361
0.38/0.43	c GLOBAL bounds - >= -12628 @ 0.254546
0.38/0.43	c GLOBAL bounds - >= -12628 @ 0.255339
0.38/0.43	c GLOBAL bounds - >= -12628 @ 0.256379
0.38/0.43	c GLOBAL bounds - >= -12628 @ 0.257794
0.38/0.43	c GLOBAL bounds - >= -12628 @ 0.25832
0.38/0.43	c GLOBAL bounds - >= -12628 @ 0.25832
0.38/0.43	c GLOBAL bounds - >= -12628 @ 0.259112
0.38/0.44	c GLOBAL bounds - >= -12628 @ 0.26039
0.38/0.44	c GLOBAL bounds - >= -12628 @ 0.261866
0.38/0.44	c GLOBAL bounds - >= -12628 @ 0.26314
0.38/0.44	c GLOBAL bounds - >= -12628 @ 0.263629
0.38/0.44	c GLOBAL bounds - >= -12628 @ 0.26499
0.38/0.44	c GLOBAL bounds - >= -12628 @ 0.266412
0.38/0.44	c GLOBAL bounds - >= -12628 @ 0.26723
0.38/0.45	c GLOBAL bounds - >= -12628 @ 0.26723
0.38/0.45	c GLOBAL bounds - >= -12628 @ 0.26723
0.38/0.45	c GLOBAL bounds - >= -12628 @ 0.267892
0.38/0.45	c GLOBAL bounds - >= -12628 @ 0.268324
0.38/0.45	c GLOBAL bounds - >= -12628 @ 0.269795
0.38/0.45	c GLOBAL bounds - >= -12628 @ 0.270191
0.38/0.45	c GLOBAL bounds - >= -12628 @ 0.271181
0.38/0.46	c GLOBAL bounds - >= -12628 @ 0.271181
0.38/0.46	c GLOBAL bounds - >= -12628 @ 0.271189
0.38/0.46	c GLOBAL bounds - >= -12628 @ 0.271189
0.38/0.46	c GLOBAL bounds - >= -12628 @ 0.271302
0.38/0.46	c GLOBAL bounds - >= -12628 @ 0.272167
0.38/0.46	c GLOBAL bounds - >= -12628 @ 0.272914
0.38/0.46	c GLOBAL bounds - >= -12628 @ 0.27428
0.38/0.46	c GLOBAL bounds - >= -12628 @ 0.275578
0.38/0.47	c GLOBAL bounds - >= -12628 @ 0.276801
0.38/0.47	c GLOBAL bounds - >= -12628 @ 0.277226
0.38/0.47	c GLOBAL bounds - >= -12628 @ 0.278105
0.38/0.47	c GLOBAL bounds - >= -12628 @ 0.278107
0.38/0.47	c GLOBAL bounds - >= -12628 @ 0.278455
0.38/0.47	c GLOBAL bounds - >= -12628 @ 0.279086
0.38/0.47	c GLOBAL bounds - >= -12628 @ 0.280046
0.38/0.48	c GLOBAL bounds - >= -12628 @ 0.280351
0.38/0.48	c GLOBAL bounds - >= -12628 @ 0.28107
0.38/0.48	c GLOBAL bounds - >= -12628 @ 0.281841
0.38/0.48	c GLOBAL bounds - >= -12628 @ 0.283004
0.38/0.48	c GLOBAL bounds - >= -12628 @ 0.284036
0.38/0.48	c GLOBAL bounds - >= -12628 @ 0.284036
0.38/0.48	c GLOBAL bounds - >= -12628 @ 0.284036
0.38/0.48	c GLOBAL bounds - >= -12628 @ 0.284149
0.38/0.49	c GLOBAL bounds - >= -12628 @ 0.285038
0.38/0.49	c GLOBAL bounds - >= -12628 @ 0.285038
0.38/0.49	c GLOBAL bounds - >= -12628 @ 0.28515
0.38/0.49	c GLOBAL bounds - >= -12628 @ 0.286098
0.38/0.49	c GLOBAL bounds - >= -12628 @ 0.287012
0.38/0.49	c GLOBAL bounds - >= -12628 @ 0.287694
0.38/0.49	c GLOBAL bounds - >= -12628 @ 0.288157
0.38/0.49	c GLOBAL bounds - >= -12628 @ 0.288988
0.38/0.50	c GLOBAL bounds - >= -12628 @ 0.288991
0.38/0.50	c GLOBAL bounds - >= -12628 @ 0.289713
0.38/0.50	c GLOBAL bounds - >= -12628 @ 0.290147
0.38/0.50	c GLOBAL bounds - >= -12628 @ 0.291121
0.38/0.50	c GLOBAL bounds - >= -12628 @ 0.292473
0.38/0.50	c GLOBAL bounds - >= -12628 @ 0.292952
0.38/0.50	c GLOBAL bounds - >= -12628 @ 0.292952
0.48/0.50	c GLOBAL bounds - >= -12628 @ 0.292953
0.48/0.51	c GLOBAL bounds - >= -12628 @ 0.293654
0.48/0.51	c GLOBAL bounds - >= -12628 @ 0.294758
0.48/0.51	c GLOBAL bounds - >= -12628 @ 0.294944
0.48/0.51	c GLOBAL bounds - >= -12628 @ 0.294944
0.48/0.51	c GLOBAL bounds - >= -12628 @ 0.295623
0.48/0.51	c GLOBAL bounds - >= -12628 @ 0.297474
0.48/0.52	c GLOBAL bounds - >= -12628 @ 0.297896
0.48/0.52	c GLOBAL bounds - >= -12628 @ 0.297898
0.48/0.52	c GLOBAL bounds - >= -12628 @ 0.298048
0.48/0.52	c GLOBAL bounds - >= -12628 @ 0.298975
0.48/0.52	c GLOBAL bounds - >= -12628 @ 0.300287
0.48/0.52	c GLOBAL bounds - >= -12628 @ 0.300875
0.48/0.52	c GLOBAL bounds - >= -12628 @ 0.300875
0.48/0.52	c GLOBAL bounds - >= -12628 @ 0.301827
0.48/0.52	c GLOBAL bounds - >= -12628 @ 0.302875
0.48/0.53	c GLOBAL bounds - >= -12628 @ 0.302877
0.48/0.53	c GLOBAL bounds - >= -12628 @ 0.302877
0.48/0.53	c GLOBAL bounds - >= -12628 @ 0.302877
0.48/0.53	c GLOBAL bounds - >= -12628 @ 0.303849
0.48/0.53	c GLOBAL bounds - >= -12628 @ 0.304729
0.48/0.53	c GLOBAL bounds - >= -12628 @ 0.304991
0.48/0.53	c GLOBAL bounds - >= -12628 @ 0.305931
0.48/0.53	c GLOBAL bounds - >= -12628 @ 0.306804
0.48/0.53	c GLOBAL bounds - >= 0 @ 0.306814
0.57/0.61	c rational objective 0
1.96/2.09	c GLOBAL bounds - >= 0 @ 1.82592
2.06/2.11	c GLOBAL bounds - >= 0 @ 1.84543
2.06/2.13	c GLOBAL bounds - >= 0 @ 1.86745
2.06/2.15	c GLOBAL bounds - >= 0 @ 1.89003
2.06/2.19	c GLOBAL bounds - >= 0 @ 1.92884
2.16/2.24	c GLOBAL bounds - >= 0 @ 1.97219
2.25/2.32	c GLOBAL bounds - >= 0 @ 2.05058
2.36/2.45	c GLOBAL bounds - >= 0 @ 2.18535
2.76/2.80	c GLOBAL bounds - >= 0 @ 2.52416
3.35/3.40	c GLOBAL bounds - >= 0 @ 3.11757
4.46/4.57	c #Conflicts:       1000 | #Constraints:       2106
4.46/4.57	c GLOBAL bounds - >= 0 @ 4.27855
9.94/10.08	c #Conflicts:       2000 | #Constraints:       3110
9.94/10.08	c INPROCESSING
9.94/10.08	c GARBAGE COLLECT
9.94/10.08	c #Conflicts:       3000 | #Constraints:       3188
9.94/10.08	c #Conflicts:       4000 | #Constraints:       4703
9.94/10.08	c INPROCESSING
9.94/10.08	c GARBAGE COLLECT
9.94/10.08	c rational objective 0
12.83/12.91	c GLOBAL bounds - >= 0 @ 12.5269
18.71/18.86	c #Conflicts:       5000 | #Constraints:       3937
18.71/18.86	c #Conflicts:       6000 | #Constraints:       4938
18.71/18.86	c INPROCESSING
18.71/18.86	c GARBAGE COLLECT
18.71/18.86	c #Conflicts:       7000 | #Constraints:       3758
18.71/18.86	c #Conflicts:       8000 | #Constraints:       4780
18.71/18.86	c #Conflicts:       9000 | #Constraints:       5782
18.71/18.86	c INPROCESSING
18.71/18.86	c GARBAGE COLLECT
18.71/18.86	c rational objective 0
21.62/21.78	c #Conflicts:      10000 | #Constraints:       4367
21.62/21.78	c #Conflicts:      11000 | #Constraints:       5372
21.62/21.78	c #Conflicts:      12000 | #Constraints:       6375
21.62/21.78	c INPROCESSING
21.62/21.78	c GARBAGE COLLECT
21.62/21.78	c rational objective 0
25.91/26.07	c #Conflicts:      13000 | #Constraints:       4799
25.91/26.07	c GLOBAL bounds - >= 0 @ 25.551
29.29/29.43	c #Conflicts:      14000 | #Constraints:       5852
29.29/29.43	c #Conflicts:      15000 | #Constraints:       7056
29.29/29.43	c INPROCESSING
29.29/29.43	c GARBAGE COLLECT
29.29/29.43	c rational objective 0
31.99/32.15	c #Conflicts:      16000 | #Constraints:       5094
31.99/32.15	c #Conflicts:      17000 | #Constraints:       6106
31.99/32.15	c #Conflicts:      18000 | #Constraints:       7137
31.99/32.15	c INPROCESSING
31.99/32.15	c GARBAGE COLLECT
31.99/32.15	c rational objective 5.53412
37.18/37.33	c #Conflicts:      19000 | #Constraints:       5047
37.18/37.33	c #Conflicts:      20000 | #Constraints:       6048
37.18/37.33	c #Conflicts:      21000 | #Constraints:       7068
37.18/37.33	c INPROCESSING
37.18/37.33	c GARBAGE COLLECT
37.18/37.33	c rational objective 5.53412
40.96/41.13	c #Conflicts:      22000 | #Constraints:       4927
40.96/41.13	c #Conflicts:      23000 | #Constraints:       6015
40.96/41.13	c GLOBAL bounds 125 >= 0 @ 40.3888
40.96/41.13	c GLOBAL bounds 125 >= 0 @ 40.3896
40.96/41.16	c GLOBAL bounds 125 >= 0 @ 40.4102
40.96/41.16	c GLOBAL bounds 125 >= 0 @ 40.4112
40.96/41.18	c GLOBAL bounds 125 >= 0 @ 40.4324
40.96/41.18	c GLOBAL bounds 125 >= 0 @ 40.4337
41.06/41.21	c GLOBAL bounds 125 >= 0 @ 40.464
41.06/41.21	c GLOBAL bounds 125 >= 0 @ 40.4645
41.06/41.26	c GLOBAL bounds 125 >= 0 @ 40.5154
41.06/41.27	c GLOBAL bounds 125 >= 0 @ 40.5168
41.16/41.32	c GLOBAL bounds 125 >= 0 @ 40.5671
41.16/41.32	c GLOBAL bounds 125 >= 0 @ 40.5672
41.16/41.33	c GLOBAL bounds 77 >= 0 @ 40.5795
41.16/41.33	c GLOBAL bounds 77 >= 0 @ 40.5807
41.16/41.36	c GLOBAL bounds 11 >= 0 @ 40.6078
41.16/41.36	c GLOBAL bounds 11 >= 0 @ 40.6081
41.16/41.38	c GLOBAL bounds 11 >= 0 @ 40.6254
41.16/41.38	c GLOBAL bounds 11 >= 0 @ 40.6261
41.27/41.40	c GLOBAL bounds 11 >= 0 @ 40.6481
41.27/41.41	c GLOBAL bounds 11 >= 0 @ 40.6487
41.27/41.43	c GLOBAL bounds 11 >= 0 @ 40.67
41.27/41.43	c GLOBAL bounds 11 >= 0 @ 40.6707
41.27/41.45	c GLOBAL bounds 11 >= 0 @ 40.6907
41.27/41.45	c GLOBAL bounds 11 >= 0 @ 40.6909
41.27/41.45	c GLOBAL bounds 11 >= 0 @ 40.6909
41.27/41.45	c GLOBAL bounds 11 >= 1 @ 40.6909
41.27/41.47	c GLOBAL bounds 11 >= 1 @ 40.7117
41.27/41.49	c GLOBAL bounds 11 >= 1 @ 40.7325
41.36/41.51	c GLOBAL bounds 11 >= 1 @ 40.7516
41.36/41.51	c GLOBAL bounds 11 >= 1 @ 40.7522
41.36/41.54	c GLOBAL bounds 11 >= 1 @ 40.7735
41.36/41.54	c GLOBAL bounds 11 >= 1 @ 40.7738
41.36/41.56	c GLOBAL bounds 11 >= 1 @ 40.7996
41.36/41.56	c GLOBAL bounds 11 >= 1 @ 40.7997
41.47/41.62	c GLOBAL bounds 11 >= 1 @ 40.8539
41.47/41.62	c GLOBAL bounds 11 >= 1 @ 40.8545
41.47/41.69	c GLOBAL bounds 11 >= 1 @ 40.9207
41.47/41.69	c GLOBAL bounds 11 >= 1 @ 40.9213
41.56/41.72	c GLOBAL bounds 11 >= 1 @ 40.9492
41.56/41.72	c GLOBAL bounds 11 >= 1 @ 40.9498
41.56/41.74	c GLOBAL bounds 11 >= 1 @ 40.9696
41.56/41.74	c GLOBAL bounds 11 >= 1 @ 40.9703
41.56/41.79	c GLOBAL bounds 11 >= 1 @ 41.0224
41.56/41.79	c GLOBAL bounds 11 >= 1 @ 41.023
41.66/41.86	c GLOBAL bounds 11 >= 1 @ 41.086
41.66/41.86	c GLOBAL bounds 11 >= 1 @ 41.0866
41.76/41.91	c GLOBAL bounds 11 >= 1 @ 41.1415
41.76/41.91	c GLOBAL bounds 11 >= 1 @ 41.1422
41.76/41.91	c GLOBAL bounds 11 >= 1 @ 41.1427
41.76/41.92	c GLOBAL bounds 11 >= 1 @ 41.1433
41.76/41.92	c GLOBAL bounds 11 >= 1 @ 41.1438
41.76/41.92	c GLOBAL bounds 11 >= 1 @ 41.1438
41.76/41.92	c GLOBAL bounds 11 >= 1 @ 41.1438
41.76/41.94	c GLOBAL bounds 11 >= 1 @ 41.1636
41.76/41.96	c GLOBAL bounds 11 >= 1 @ 41.1848
41.76/41.98	c GLOBAL bounds 11 >= 1 @ 41.2051
41.86/42.00	c GLOBAL bounds 11 >= 1 @ 41.2276
41.86/42.03	c GLOBAL bounds 11 >= 1 @ 41.2514
41.86/42.05	c GLOBAL bounds 11 >= 1 @ 41.2777
41.86/42.05	c GLOBAL bounds 11 >= 1 @ 41.2783
41.86/42.08	c GLOBAL bounds 11 >= 1 @ 41.3
41.86/42.08	c GLOBAL bounds 11 >= 1 @ 41.3004
41.97/42.11	c GLOBAL bounds 11 >= 1 @ 41.3252
41.97/42.11	c GLOBAL bounds 11 >= 1 @ 41.3259
41.97/42.14	c GLOBAL bounds 11 >= 1 @ 41.364
41.97/42.14	c GLOBAL bounds 11 >= 1 @ 41.3642
41.97/42.18	c GLOBAL bounds 11 >= 1 @ 41.3943
41.97/42.18	c GLOBAL bounds 11 >= 1 @ 41.395
42.06/42.21	c GLOBAL bounds 11 >= 1 @ 41.4332
42.06/42.22	c GLOBAL bounds 11 >= 1 @ 41.4338
42.06/42.24	c GLOBAL bounds 11 >= 1 @ 41.4535
42.06/42.24	c GLOBAL bounds 11 >= 1 @ 41.4542
42.06/42.28	c GLOBAL bounds 11 >= 1 @ 41.4961
42.06/42.28	c GLOBAL bounds 11 >= 1 @ 41.4967
42.16/42.31	c GLOBAL bounds 11 >= 1 @ 41.5262
42.16/42.31	c GLOBAL bounds 11 >= 1 @ 41.5269
42.16/42.33	c GLOBAL bounds 11 >= 1 @ 41.5491
42.16/42.33	c GLOBAL bounds 11 >= 1 @ 41.5497
42.16/42.33	c GLOBAL bounds 11 >= 1 @ 41.5503
42.16/42.33	c GLOBAL bounds 11 >= 1 @ 41.5509
42.16/42.34	c GLOBAL bounds 11 >= 1 @ 41.5514
42.16/42.34	c GLOBAL bounds 11 >= 1 @ 41.5518
42.16/42.34	c GLOBAL bounds 11 >= 1 @ 41.5518
42.16/42.34	c GLOBAL bounds 11 >= 1 @ 41.5518
42.16/42.36	c GLOBAL bounds 11 >= 1 @ 41.5724
42.16/42.38	c GLOBAL bounds 11 >= 1 @ 41.5943
42.26/42.40	c GLOBAL bounds 11 >= 1 @ 41.6162
42.26/42.42	c GLOBAL bounds 11 >= 1 @ 41.6362
42.26/42.44	c GLOBAL bounds 11 >= 1 @ 41.6552
42.26/42.46	c GLOBAL bounds 11 >= 1 @ 41.6744
42.26/42.49	c GLOBAL bounds 11 >= 1 @ 41.6957
42.26/42.49	c GLOBAL bounds 11 >= 1 @ 41.6964
42.36/42.51	c GLOBAL bounds 11 >= 1 @ 41.717
42.36/42.51	c GLOBAL bounds 11 >= 1 @ 41.7174
42.36/42.53	c GLOBAL bounds 11 >= 1 @ 41.7365
42.36/42.53	c GLOBAL bounds 11 >= 1 @ 41.7372
42.36/42.57	c GLOBAL bounds 11 >= 1 @ 41.7754
42.36/42.57	c GLOBAL bounds 11 >= 1 @ 41.776
42.46/42.62	c GLOBAL bounds 11 >= 1 @ 41.8219
42.46/42.62	c GLOBAL bounds 11 >= 1 @ 41.8221
42.46/42.66	c GLOBAL bounds 11 >= 1 @ 41.8695
42.46/42.66	c GLOBAL bounds 11 >= 1 @ 41.87
42.46/42.69	c GLOBAL bounds 11 >= 1 @ 41.8953
42.46/42.69	c GLOBAL bounds 11 >= 1 @ 41.8959
42.56/42.72	c GLOBAL bounds 11 >= 1 @ 41.9185
42.56/42.72	c GLOBAL bounds 11 >= 1 @ 41.9189
42.56/42.74	c GLOBAL bounds 11 >= 1 @ 41.938
42.56/42.74	c GLOBAL bounds 11 >= 1 @ 41.9387
42.56/42.78	c GLOBAL bounds 11 >= 1 @ 41.9785
42.56/42.78	c GLOBAL bounds 11 >= 1 @ 41.9787
42.56/42.78	c GLOBAL bounds 11 >= 1 @ 41.9787
42.56/42.78	c GLOBAL bounds 11 >= 1 @ 41.9787
42.56/42.78	c GLOBAL bounds 11 >= 1 @ 41.9787
42.56/42.78	c GLOBAL bounds 11 >= 1 @ 41.9787
42.56/42.78	c GLOBAL bounds 11 >= 1 @ 41.9787
42.66/42.80	c GLOBAL bounds 11 >= 1 @ 41.9999
42.66/42.81	c GLOBAL bounds 11 >= 1 @ 42.004
42.66/42.83	c GLOBAL bounds 11 >= 1 @ 42.0237
42.66/42.83	c GLOBAL bounds 11 >= 1 @ 42.0271
42.66/42.85	c GLOBAL bounds 11 >= 1 @ 42.0467
42.66/42.87	c GLOBAL bounds 11 >= 1 @ 42.066
42.66/42.87	c GLOBAL bounds 11 >= 1 @ 42.0665
42.66/42.89	c GLOBAL bounds 11 >= 1 @ 42.0877
42.66/42.89	c GLOBAL bounds 11 >= 1 @ 42.0884
42.76/42.92	c GLOBAL bounds 11 >= 1 @ 42.1112
42.76/42.92	c GLOBAL bounds 11 >= 1 @ 42.1114
42.76/42.95	c GLOBAL bounds 11 >= 1 @ 42.1409
42.76/42.95	c GLOBAL bounds 11 >= 1 @ 42.1414
42.76/42.98	c GLOBAL bounds 11 >= 1 @ 42.1684
42.76/42.98	c GLOBAL bounds 11 >= 1 @ 42.169
42.76/43.00	c GLOBAL bounds 11 >= 1 @ 42.1895
42.76/43.00	c GLOBAL bounds 11 >= 1 @ 42.1901
42.87/43.02	c GLOBAL bounds 11 >= 1 @ 42.2098
42.87/43.02	c GLOBAL bounds 11 >= 1 @ 42.2104
42.87/43.06	c GLOBAL bounds 11 >= 1 @ 42.2532
42.87/43.06	c GLOBAL bounds 11 >= 1 @ 42.2538
42.87/43.09	c GLOBAL bounds 11 >= 1 @ 42.2773
42.87/43.09	c GLOBAL bounds 11 >= 1 @ 42.2779
42.97/43.11	c GLOBAL bounds 11 >= 1 @ 42.2974
42.97/43.11	c GLOBAL bounds 11 >= 1 @ 42.298
42.97/43.11	c GLOBAL bounds 11 >= 1 @ 42.298
42.97/43.11	c GLOBAL bounds 11 >= 1 @ 42.298
42.97/43.11	c GLOBAL bounds 11 >= 2 @ 42.298
42.97/43.13	c GLOBAL bounds 11 >= 2 @ 42.3181
42.97/43.15	c GLOBAL bounds 11 >= 2 @ 42.3389
42.97/43.17	c GLOBAL bounds 11 >= 2 @ 42.3611
43.06/43.20	c GLOBAL bounds 11 >= 2 @ 42.3862
43.06/43.20	c GLOBAL bounds 11 >= 2 @ 42.3868
43.06/43.22	c GLOBAL bounds 11 >= 2 @ 42.4053
43.06/43.22	c GLOBAL bounds 11 >= 2 @ 42.4059
43.06/43.25	c GLOBAL bounds 11 >= 2 @ 42.4294
43.06/43.25	c GLOBAL bounds 11 >= 2 @ 42.4297
43.06/43.28	c GLOBAL bounds 11 >= 2 @ 42.4578
43.06/43.28	c GLOBAL bounds 11 >= 2 @ 42.4585
43.15/43.30	c GLOBAL bounds 11 >= 2 @ 42.4791
43.15/43.30	c GLOBAL bounds 11 >= 2 @ 42.4796
43.15/43.32	c GLOBAL bounds 11 >= 2 @ 42.5022
43.15/43.32	c GLOBAL bounds 11 >= 2 @ 42.5028
43.15/43.34	c GLOBAL bounds 11 >= 2 @ 42.5234
43.15/43.35	c GLOBAL bounds 11 >= 2 @ 42.5234
43.15/43.37	c GLOBAL bounds 11 >= 2 @ 42.5471
43.15/43.37	c GLOBAL bounds 11 >= 2 @ 42.5474
43.26/43.41	c GLOBAL bounds 11 >= 2 @ 42.5855
43.26/43.41	c GLOBAL bounds 11 >= 2 @ 42.5861
43.26/43.43	c GLOBAL bounds 11 >= 2 @ 42.61
43.26/43.43	c GLOBAL bounds 11 >= 2 @ 42.6102
43.26/43.44	c GLOBAL bounds 11 >= 2 @ 42.6103
43.26/43.44	c GLOBAL bounds 11 >= 2 @ 42.6109
43.26/43.44	c GLOBAL bounds 11 >= 2 @ 42.6114
43.26/43.44	c GLOBAL bounds 11 >= 2 @ 42.612
43.26/43.44	c GLOBAL bounds 11 >= 2 @ 42.6122
43.26/43.44	c GLOBAL bounds 11 >= 2 @ 42.6122
43.26/43.46	c GLOBAL bounds 11 >= 2 @ 42.633
43.45/43.66	c GLOBAL bounds 11 >= 2 @ 42.8332
43.45/43.68	c GLOBAL bounds 11 >= 2 @ 42.8518
43.56/43.70	c GLOBAL bounds 11 >= 2 @ 42.8734
43.56/43.72	c GLOBAL bounds 11 >= 2 @ 42.8925
43.56/43.74	c GLOBAL bounds 11 >= 2 @ 42.9122
43.56/43.77	c GLOBAL bounds 11 >= 2 @ 42.9355
43.56/43.77	c GLOBAL bounds 11 >= 2 @ 42.9362
43.56/43.79	c GLOBAL bounds 11 >= 2 @ 42.9557
43.56/43.79	c GLOBAL bounds 11 >= 2 @ 42.9564
43.66/43.81	c GLOBAL bounds 11 >= 2 @ 42.9781
43.66/43.81	c GLOBAL bounds 11 >= 2 @ 42.9788
43.66/43.84	c GLOBAL bounds 11 >= 2 @ 43.0033
43.66/43.84	c GLOBAL bounds 11 >= 2 @ 43.0039
43.66/43.86	c GLOBAL bounds 11 >= 2 @ 43.03
43.66/43.86	c GLOBAL bounds 11 >= 2 @ 43.0302
43.66/43.89	c GLOBAL bounds 11 >= 2 @ 43.0584
43.66/43.90	c GLOBAL bounds 11 >= 2 @ 43.059
43.76/43.92	c GLOBAL bounds 11 >= 2 @ 43.0796
43.76/43.92	c GLOBAL bounds 11 >= 2 @ 43.0801
43.76/43.94	c GLOBAL bounds 11 >= 2 @ 43.1007
43.76/43.94	c GLOBAL bounds 11 >= 2 @ 43.101
43.76/43.96	c GLOBAL bounds 11 >= 2 @ 43.1195
43.76/43.96	c GLOBAL bounds 11 >= 2 @ 43.12
43.76/43.99	c #Conflicts:      24000 | #Constraints:       7128
43.76/43.99	c GLOBAL bounds 11 >= 2 @ 43.1502
43.76/43.99	c GLOBAL bounds 11 >= 2 @ 43.1509
43.76/43.99	c GLOBAL bounds 11 >= 2 @ 43.1515
43.76/43.99	c GLOBAL bounds 11 >= 2 @ 43.1521
43.76/43.99	c GLOBAL bounds 11 >= 2 @ 43.1527
43.76/43.99	c GLOBAL bounds 11 >= 2 @ 43.1529
43.76/43.99	c GLOBAL bounds 11 >= 2 @ 43.1529
43.86/44.02	c GLOBAL bounds 11 >= 2 @ 43.1746
43.86/44.04	c GLOBAL bounds 11 >= 2 @ 43.1933
43.86/44.06	c GLOBAL bounds 11 >= 2 @ 43.2148
43.86/44.08	c GLOBAL bounds 11 >= 2 @ 43.234
43.96/44.10	c GLOBAL bounds 11 >= 2 @ 43.2541
43.96/44.12	c GLOBAL bounds 11 >= 2 @ 43.2746
43.96/44.12	c GLOBAL bounds 11 >= 2 @ 43.2746
43.96/44.14	c GLOBAL bounds 11 >= 2 @ 43.2953
43.96/44.14	c GLOBAL bounds 11 >= 2 @ 43.2956
43.96/44.17	c GLOBAL bounds 11 >= 2 @ 43.3183
43.96/44.17	c GLOBAL bounds 11 >= 2 @ 43.3185
43.96/44.19	c GLOBAL bounds 11 >= 2 @ 43.342
43.96/44.19	c GLOBAL bounds 11 >= 2 @ 43.3425
44.05/44.22	c GLOBAL bounds 11 >= 2 @ 43.3668
44.05/44.22	c GLOBAL bounds 11 >= 2 @ 43.3674
44.05/44.25	c GLOBAL bounds 11 >= 2 @ 43.4029
44.05/44.25	c GLOBAL bounds 11 >= 2 @ 43.4033
44.05/44.28	c GLOBAL bounds 11 >= 2 @ 43.4305
44.05/44.28	c GLOBAL bounds 11 >= 2 @ 43.4312
44.16/44.30	c GLOBAL bounds 11 >= 2 @ 43.4503
44.16/44.30	c GLOBAL bounds 11 >= 2 @ 43.451
44.16/44.32	c GLOBAL bounds 11 >= 2 @ 43.4697
44.16/44.32	c GLOBAL bounds 11 >= 2 @ 43.4701
44.16/44.35	c GLOBAL bounds 11 >= 2 @ 43.4918
44.16/44.35	c GLOBAL bounds 11 >= 2 @ 43.4921
44.16/44.35	c GLOBAL bounds 11 >= 2 @ 43.4921
44.16/44.35	c GLOBAL bounds 11 >= 2 @ 43.4926
44.16/44.35	c GLOBAL bounds 11 >= 2 @ 43.4931
44.16/44.35	c GLOBAL bounds 11 >= 2 @ 43.4931
44.16/44.35	c GLOBAL bounds 11 >= 2 @ 43.4931
44.16/44.37	c GLOBAL bounds 11 >= 2 @ 43.514
44.16/44.39	c GLOBAL bounds 11 >= 2 @ 43.5331
44.25/44.41	c GLOBAL bounds 11 >= 2 @ 43.5542
44.25/44.43	c GLOBAL bounds 11 >= 2 @ 43.573
44.25/44.45	c GLOBAL bounds 11 >= 2 @ 43.5932
44.25/44.47	c GLOBAL bounds 11 >= 2 @ 43.6121
44.25/44.48	c GLOBAL bounds 11 >= 2 @ 43.6127
44.36/44.50	c GLOBAL bounds 11 >= 2 @ 43.6363
44.36/44.50	c GLOBAL bounds 11 >= 2 @ 43.637
44.36/44.53	c GLOBAL bounds 11 >= 2 @ 43.6667
44.36/44.53	c GLOBAL bounds 11 >= 2 @ 43.6674
44.55/44.74	c GLOBAL bounds 11 >= 2 @ 43.8736
44.55/44.74	c GLOBAL bounds 11 >= 2 @ 43.8742
44.55/44.79	c GLOBAL bounds 11 >= 2 @ 43.9166
44.55/44.79	c GLOBAL bounds 11 >= 2 @ 43.9172
44.65/44.81	c GLOBAL bounds 11 >= 2 @ 43.943
44.65/44.81	c GLOBAL bounds 11 >= 2 @ 43.9436
44.65/44.83	c GLOBAL bounds 11 >= 2 @ 43.9635
44.65/44.83	c GLOBAL bounds 11 >= 2 @ 43.9639
45.46/45.62	c #Conflicts:      25000 | #Constraints:       8167
45.46/45.62	c INPROCESSING
45.46/45.62	c GARBAGE COLLECT
45.46/45.62	c rational objective 5.53413
47.25/47.41	c GLOBAL bounds 11 >= 2 @ 46.5045
47.25/47.41	c GLOBAL bounds 11 >= 2 @ 46.5051
47.25/47.47	c GLOBAL bounds 11 >= 2 @ 46.5633
47.25/47.47	c GLOBAL bounds 11 >= 2 @ 46.5636
47.25/47.49	c GLOBAL bounds 11 >= 2 @ 46.5859
47.25/47.49	c GLOBAL bounds 11 >= 2 @ 46.5866
47.25/47.49	c GLOBAL bounds 11 >= 2 @ 46.5871
47.25/47.49	c GLOBAL bounds 11 >= 2 @ 46.5877
47.25/47.49	c GLOBAL bounds 11 >= 2 @ 46.5877
47.35/47.51	c GLOBAL bounds 11 >= 2 @ 46.6071
47.35/47.53	c GLOBAL bounds 11 >= 2 @ 46.6267
47.35/47.55	c GLOBAL bounds 11 >= 2 @ 46.6471
47.35/47.57	c GLOBAL bounds 11 >= 2 @ 46.6688
47.35/47.58	c GLOBAL bounds 11 >= 2 @ 46.6694
47.44/47.60	c GLOBAL bounds 11 >= 2 @ 46.6875
47.44/47.60	c GLOBAL bounds 11 >= 2 @ 46.6882
47.44/47.62	c GLOBAL bounds 11 >= 2 @ 46.7103
47.44/47.62	c GLOBAL bounds 11 >= 2 @ 46.7109
47.44/47.65	c GLOBAL bounds 11 >= 2 @ 46.7377
47.44/47.65	c GLOBAL bounds 11 >= 2 @ 46.7383
47.44/47.68	c GLOBAL bounds 11 >= 2 @ 46.7694
47.44/47.68	c GLOBAL bounds 11 >= 2 @ 46.7701
47.55/47.71	c GLOBAL bounds 11 >= 2 @ 46.797
47.55/47.71	c GLOBAL bounds 11 >= 2 @ 46.797
47.55/47.73	c GLOBAL bounds 11 >= 2 @ 46.8161
47.55/47.73	c GLOBAL bounds 11 >= 2 @ 46.8168
47.55/47.76	c GLOBAL bounds 11 >= 2 @ 46.8462
47.55/47.76	c GLOBAL bounds 11 >= 2 @ 46.8468
47.65/47.80	c GLOBAL bounds 11 >= 2 @ 46.8876
47.65/47.80	c GLOBAL bounds 11 >= 2 @ 46.8878
47.65/47.84	c GLOBAL bounds 11 >= 2 @ 46.9195
47.65/47.84	c GLOBAL bounds 11 >= 2 @ 46.9202
47.65/47.84	c GLOBAL bounds 11 >= 2 @ 46.9207
47.65/47.84	c GLOBAL bounds 11 >= 2 @ 46.9207
47.65/47.84	c GLOBAL bounds 11 >= 2 @ 46.921
47.65/47.84	c GLOBAL bounds 11 >= 2 @ 46.9217
47.65/47.84	c GLOBAL bounds 11 >= 2 @ 46.9222
47.65/47.84	c GLOBAL bounds 11 >= 2 @ 46.9227
47.65/47.84	c GLOBAL bounds 11 >= 2 @ 46.9227
47.65/47.86	c GLOBAL bounds 11 >= 2 @ 46.942
47.65/47.88	c GLOBAL bounds 11 >= 2 @ 46.9613
47.74/47.90	c GLOBAL bounds 11 >= 2 @ 46.9817
47.74/47.92	c GLOBAL bounds 11 >= 2 @ 47.0036
47.74/47.94	c GLOBAL bounds 11 >= 2 @ 47.0231
47.74/47.97	c GLOBAL bounds 11 >= 2 @ 47.0449
47.74/47.99	c GLOBAL bounds 11 >= 2 @ 47.0694
47.85/48.01	c GLOBAL bounds 11 >= 2 @ 47.0875
47.85/48.01	c GLOBAL bounds 11 >= 2 @ 47.0882
47.85/48.03	c GLOBAL bounds 11 >= 2 @ 47.1067
47.85/48.03	c GLOBAL bounds 11 >= 2 @ 47.1073
47.85/48.05	c GLOBAL bounds 11 >= 2 @ 47.1278
47.85/48.05	c GLOBAL bounds 11 >= 2 @ 47.1283
47.85/48.08	c GLOBAL bounds 11 >= 2 @ 47.1541
47.85/48.08	c GLOBAL bounds 11 >= 2 @ 47.1542
48.95/49.13	c #Conflicts:      26000 | #Constraints:       5667
48.95/49.13	c #Conflicts:      27000 | #Constraints:       6689
48.95/49.13	c #Conflicts:      28000 | #Constraints:       7715
48.95/49.13	c #Conflicts:      29000 | #Constraints:       8734
48.95/49.13	c INPROCESSING
48.95/49.13	c GARBAGE COLLECT
48.95/49.13	c rational objective 0
51.14/51.39	c #Conflicts:      30000 | #Constraints:       6055
51.14/51.39	c #Conflicts:      31000 | #Constraints:       7079
51.14/51.39	c GLOBAL bounds 11 >= 2 @ 50.4012
51.14/51.40	c GLOBAL bounds 11 >= 2 @ 50.4013
51.24/51.45	c GLOBAL bounds 11 >= 2 @ 50.4548
51.24/51.45	c GLOBAL bounds 11 >= 2 @ 50.4552
51.24/51.48	c GLOBAL bounds 11 >= 2 @ 50.4831
51.24/51.48	c GLOBAL bounds 11 >= 2 @ 50.4839
51.33/51.53	c GLOBAL bounds 11 >= 2 @ 50.5284
51.33/51.53	c GLOBAL bounds 11 >= 2 @ 50.529
51.84/52.01	c #Conflicts:      32000 | #Constraints:       8349
51.84/52.01	c #Conflicts:      33000 | #Constraints:       9373
51.84/52.01	c INPROCESSING
51.84/52.01	c GARBAGE COLLECT
51.84/52.01	c rational objective 1
52.24/52.49	c GLOBAL bounds 11 >= 2 @ 51.4684
52.24/52.49	c GLOBAL bounds 11 >= 2 @ 51.4685
52.33/52.51	c GLOBAL bounds 11 >= 2 @ 51.487
52.33/52.51	c GLOBAL bounds 11 >= 2 @ 51.4874
52.33/52.51	c GLOBAL bounds 11 >= 2 @ 51.4874
52.33/52.51	c GLOBAL bounds 11 >= 2 @ 51.4879
52.33/52.51	c GLOBAL bounds 11 >= 2 @ 51.4885
52.33/52.51	c GLOBAL bounds 11 >= 2 @ 51.4891
52.33/52.51	c GLOBAL bounds 11 >= 2 @ 51.4891
52.33/52.53	c GLOBAL bounds 11 >= 2 @ 51.5108
52.33/52.55	c GLOBAL bounds 11 >= 2 @ 51.5297
52.33/52.57	c GLOBAL bounds 11 >= 2 @ 51.5468
52.33/52.59	c GLOBAL bounds 11 >= 2 @ 51.5667
52.43/52.61	c GLOBAL bounds 11 >= 2 @ 51.5848
52.43/52.63	c GLOBAL bounds 11 >= 2 @ 51.6028
52.43/52.63	c GLOBAL bounds 11 >= 2 @ 51.6031
52.43/52.67	c GLOBAL bounds 11 >= 2 @ 51.6356
52.43/52.67	c GLOBAL bounds 11 >= 2 @ 51.6361
52.53/52.71	c GLOBAL bounds 11 >= 2 @ 51.6841
52.53/52.72	c GLOBAL bounds 11 >= 2 @ 51.6847
52.53/52.74	c GLOBAL bounds 11 >= 2 @ 51.7131
52.53/52.74	c GLOBAL bounds 11 >= 2 @ 51.7137
52.53/52.77	c GLOBAL bounds 11 >= 2 @ 51.7349
52.53/52.77	c GLOBAL bounds 11 >= 2 @ 51.7356
52.63/52.81	c GLOBAL bounds 11 >= 2 @ 51.7824
52.63/52.81	c GLOBAL bounds 11 >= 2 @ 51.7827
52.63/52.85	c GLOBAL bounds 11 >= 2 @ 51.8153
52.63/52.85	c GLOBAL bounds 11 >= 2 @ 51.8156
52.74/52.94	c GLOBAL bounds 11 >= 2 @ 51.9014
52.74/52.94	c GLOBAL bounds 11 >= 2 @ 51.9021
52.74/52.97	c GLOBAL bounds 11 >= 2 @ 51.9343
52.74/52.97	c GLOBAL bounds 11 >= 2 @ 51.9343
52.74/52.99	c GLOBAL bounds 11 >= 2 @ 51.9553
52.74/52.99	c GLOBAL bounds 11 >= 2 @ 51.956
52.74/52.99	c GLOBAL bounds 11 >= 2 @ 51.9562
52.74/52.99	c GLOBAL bounds 11 >= 2 @ 51.9562
52.74/52.99	c GLOBAL bounds 11 >= 2 @ 51.9562
52.74/53.00	c GLOBAL bounds 11 >= 2 @ 51.9562
52.74/53.00	c GLOBAL bounds 11 >= 2 @ 51.9563
52.84/53.02	c GLOBAL bounds 11 >= 2 @ 51.9831
52.84/53.04	c GLOBAL bounds 11 >= 2 @ 52.0032
52.84/53.06	c GLOBAL bounds 11 >= 2 @ 52.0223
52.84/53.08	c GLOBAL bounds 11 >= 2 @ 52.0425
52.94/53.10	c GLOBAL bounds 11 >= 2 @ 52.0607
52.94/53.12	c GLOBAL bounds 11 >= 2 @ 52.0818
52.94/53.12	c GLOBAL bounds 11 >= 2 @ 52.0819
52.94/53.15	c GLOBAL bounds 11 >= 2 @ 52.1016
52.94/53.15	c GLOBAL bounds 11 >= 2 @ 52.1022
52.94/53.17	c GLOBAL bounds 11 >= 2 @ 52.1241
52.94/53.17	c GLOBAL bounds 11 >= 2 @ 52.1248
53.04/53.20	c GLOBAL bounds 11 >= 2 @ 52.1525
53.04/53.20	c GLOBAL bounds 11 >= 2 @ 52.1527
53.04/53.24	c GLOBAL bounds 11 >= 2 @ 52.1959
53.04/53.24	c GLOBAL bounds 11 >= 2 @ 52.1965
53.04/53.27	c GLOBAL bounds 11 >= 2 @ 52.2194
53.04/53.27	c GLOBAL bounds 11 >= 2 @ 52.2195
53.04/53.29	c GLOBAL bounds 11 >= 2 @ 52.2378
53.04/53.29	c GLOBAL bounds 11 >= 2 @ 52.2385
53.13/53.32	c GLOBAL bounds 11 >= 2 @ 52.2693
53.13/53.32	c GLOBAL bounds 11 >= 2 @ 52.2694
53.13/53.34	c GLOBAL bounds 11 >= 2 @ 52.2908
53.13/53.34	c GLOBAL bounds 11 >= 2 @ 52.2914
53.13/53.38	c GLOBAL bounds 11 >= 2 @ 52.3232
53.13/53.38	c GLOBAL bounds 11 >= 2 @ 52.3233
53.13/53.38	c GLOBAL bounds 11 >= 2 @ 52.3233
53.13/53.38	c GLOBAL bounds 11 >= 2 @ 52.3233
53.13/53.38	c GLOBAL bounds 11 >= 2 @ 52.3233
53.13/53.38	c GLOBAL bounds 11 >= 2 @ 52.3235
53.13/53.38	c GLOBAL bounds 11 >= 2 @ 52.3241
53.13/53.38	c GLOBAL bounds 11 >= 2 @ 52.3241
53.23/53.40	c GLOBAL bounds 11 >= 2 @ 52.3495
53.23/53.43	c GLOBAL bounds 11 >= 2 @ 52.3687
53.23/53.45	c GLOBAL bounds 11 >= 2 @ 52.3897
53.23/53.47	c GLOBAL bounds 11 >= 2 @ 52.4087
53.23/53.49	c GLOBAL bounds 11 >= 2 @ 52.4274
53.33/53.51	c GLOBAL bounds 11 >= 2 @ 52.4466
53.33/53.53	c GLOBAL bounds 11 >= 2 @ 52.4646
53.33/53.53	c GLOBAL bounds 11 >= 2 @ 52.465
53.33/53.55	c GLOBAL bounds 11 >= 2 @ 52.4832
53.33/53.55	c GLOBAL bounds 11 >= 2 @ 52.4838
53.33/53.56	c GLOBAL bounds 11 >= 2 @ 52.5012
53.33/53.57	c GLOBAL bounds 11 >= 2 @ 52.5019
53.43/53.62	c GLOBAL bounds 11 >= 2 @ 52.5515
53.43/53.62	c GLOBAL bounds 11 >= 2 @ 52.5517
53.43/53.66	c GLOBAL bounds 11 >= 2 @ 52.5992
53.43/53.66	c GLOBAL bounds 11 >= 2 @ 52.5996
53.63/53.81	c GLOBAL bounds 11 >= 2 @ 52.7405
53.63/53.81	c GLOBAL bounds 11 >= 2 @ 52.7412
53.63/53.83	c GLOBAL bounds 11 >= 2 @ 52.7663
53.63/53.83	c GLOBAL bounds 11 >= 2 @ 52.767
53.63/53.86	c GLOBAL bounds 11 >= 2 @ 52.7917
53.63/53.86	c GLOBAL bounds 11 >= 2 @ 52.7924
53.63/53.88	c GLOBAL bounds 11 >= 2 @ 52.8112
53.63/53.88	c GLOBAL bounds 11 >= 2 @ 52.8119
53.73/53.90	c GLOBAL bounds 11 >= 2 @ 52.8298
53.73/53.90	c GLOBAL bounds 11 >= 2 @ 52.8305
53.73/53.90	c GLOBAL bounds 11 >= 2 @ 52.831
53.73/53.90	c GLOBAL bounds 11 >= 2 @ 52.831
53.73/53.90	c GLOBAL bounds 11 >= 2 @ 52.831
53.73/53.90	c GLOBAL bounds 11 >= 2 @ 52.831
53.73/53.90	c GLOBAL bounds 11 >= 2 @ 52.8316
53.73/53.90	c GLOBAL bounds 11 >= 2 @ 52.8316
53.73/53.92	c GLOBAL bounds 11 >= 2 @ 52.85
53.73/53.94	c GLOBAL bounds 11 >= 2 @ 52.8692
53.73/53.96	c GLOBAL bounds 11 >= 2 @ 52.8896
53.73/53.99	c GLOBAL bounds 11 >= 2 @ 52.9106
53.83/54.01	c GLOBAL bounds 11 >= 2 @ 52.9299
53.83/54.03	c GLOBAL bounds 11 >= 2 @ 52.9536
53.83/54.05	c GLOBAL bounds 11 >= 2 @ 52.9722
53.83/54.05	c GLOBAL bounds 11 >= 2 @ 52.9726
53.83/54.07	c GLOBAL bounds 11 >= 2 @ 52.9931
53.83/54.07	c GLOBAL bounds 11 >= 2 @ 52.9936
53.83/54.09	c GLOBAL bounds 11 >= 2 @ 53.0112
53.83/54.09	c GLOBAL bounds 11 >= 2 @ 53.0118
53.94/54.13	c GLOBAL bounds 11 >= 2 @ 53.0485
53.94/54.13	c GLOBAL bounds 11 >= 2 @ 53.0491
53.94/54.16	c GLOBAL bounds 11 >= 2 @ 53.0833
53.94/54.16	c GLOBAL bounds 11 >= 2 @ 53.0834
53.94/54.19	c GLOBAL bounds 11 >= 2 @ 53.1034
53.94/54.19	c GLOBAL bounds 11 >= 2 @ 53.104
54.03/54.21	c GLOBAL bounds 11 >= 2 @ 53.122
54.03/54.21	c GLOBAL bounds 11 >= 2 @ 53.1223
54.03/54.23	c GLOBAL bounds 11 >= 2 @ 53.1408
54.03/54.23	c GLOBAL bounds 11 >= 2 @ 53.1413
54.13/54.30	c GLOBAL bounds 11 >= 2 @ 53.212
54.13/54.30	c GLOBAL bounds 11 >= 2 @ 53.2121
54.43/54.63	c #Conflicts:      34000 | #Constraints:       6419
54.43/54.63	c GLOBAL bounds 11 >= 2 @ 53.5295
54.43/54.63	c GLOBAL bounds 11 >= 2 @ 53.5302
54.43/54.63	c GLOBAL bounds 11 >= 2 @ 53.5302
54.43/54.63	c GLOBAL bounds 11 >= 2 @ 53.5302
54.43/54.63	c GLOBAL bounds 11 >= 2 @ 53.5302
54.43/54.63	c GLOBAL bounds 11 >= 2 @ 53.5302
54.43/54.63	c GLOBAL bounds 11 >= 2 @ 53.5302
54.43/54.65	c GLOBAL bounds 11 >= 2 @ 53.5506
54.43/54.67	c GLOBAL bounds 11 >= 2 @ 53.5695
54.43/54.69	c GLOBAL bounds 11 >= 2 @ 53.5879
54.53/54.72	c GLOBAL bounds 11 >= 2 @ 53.6121
54.53/54.74	c GLOBAL bounds 11 >= 2 @ 53.6317
54.53/54.75	c GLOBAL bounds 11 >= 2 @ 53.6504
54.53/54.76	c GLOBAL bounds 11 >= 2 @ 53.651
54.53/54.78	c GLOBAL bounds 11 >= 2 @ 53.6709
54.53/54.78	c GLOBAL bounds 11 >= 2 @ 53.6716
54.83/55.02	c #Conflicts:      35000 | #Constraints:       7446
54.83/55.02	c GLOBAL bounds 11 >= 2 @ 53.9069
54.83/55.02	c GLOBAL bounds 11 >= 2 @ 53.9072
54.83/55.05	c GLOBAL bounds 10 >= 2 @ 53.9356
54.83/55.05	c GLOBAL bounds 10 >= 2 @ 53.9361
54.83/55.07	c GLOBAL bounds 10 >= 2 @ 53.9543
54.83/55.07	c GLOBAL bounds 10 >= 2 @ 53.9549
54.83/55.09	c GLOBAL bounds 10 >= 2 @ 53.9729
54.83/55.09	c GLOBAL bounds 10 >= 2 @ 53.973
54.93/55.13	c GLOBAL bounds 10 >= 2 @ 54.0135
54.93/55.13	c GLOBAL bounds 10 >= 2 @ 54.0141
54.93/55.15	c GLOBAL bounds 10 >= 2 @ 54.0341
54.93/55.15	c GLOBAL bounds 10 >= 2 @ 54.0348
54.93/55.17	c GLOBAL bounds 10 >= 2 @ 54.0571
54.93/55.17	c GLOBAL bounds 10 >= 2 @ 54.0578
54.93/55.19	c GLOBAL bounds 10 >= 2 @ 54.0777
54.93/55.19	c GLOBAL bounds 10 >= 2 @ 54.0778
55.03/55.22	c GLOBAL bounds 10 >= 2 @ 54.106
55.03/55.22	c GLOBAL bounds 10 >= 2 @ 54.1067
55.03/55.22	c GLOBAL bounds 10 >= 2 @ 54.1067
55.03/55.22	c GLOBAL bounds 10 >= 2 @ 54.1067
55.03/55.23	c GLOBAL bounds 10 >= 2 @ 54.1067
55.03/55.23	c GLOBAL bounds 10 >= 2 @ 54.1067
55.03/55.25	c GLOBAL bounds 10 >= 2 @ 54.1267
55.03/55.27	c GLOBAL bounds 10 >= 2 @ 54.148
55.03/55.29	c GLOBAL bounds 10 >= 2 @ 54.1695
55.13/55.31	c GLOBAL bounds 10 >= 2 @ 54.1894
55.13/55.33	c GLOBAL bounds 10 >= 2 @ 54.2085
55.13/55.33	c GLOBAL bounds 10 >= 2 @ 54.2091
55.13/55.35	c GLOBAL bounds 10 >= 2 @ 54.2294
55.13/55.35	c GLOBAL bounds 10 >= 2 @ 54.2294
55.13/55.38	c GLOBAL bounds 10 >= 2 @ 54.2521
55.13/55.38	c GLOBAL bounds 10 >= 2 @ 54.2527
55.23/55.41	c GLOBAL bounds 10 >= 2 @ 54.2822
55.23/55.41	c GLOBAL bounds 10 >= 2 @ 54.2828
55.23/55.42	c GLOBAL bounds 8 >= 2 @ 54.2901
55.23/55.42	c GLOBAL bounds 8 >= 2 @ 54.2907
55.23/55.44	c GLOBAL bounds 8 >= 2 @ 54.3107
55.23/55.44	c GLOBAL bounds 8 >= 2 @ 54.3113
55.23/55.46	c GLOBAL bounds 8 >= 2 @ 54.3359
55.23/55.46	c GLOBAL bounds 8 >= 2 @ 54.3361
55.23/55.49	c GLOBAL bounds 8 >= 2 @ 54.3661
55.23/55.49	c GLOBAL bounds 8 >= 2 @ 54.3667
55.32/55.56	c GLOBAL bounds 8 >= 2 @ 54.4343
55.32/55.56	c GLOBAL bounds 8 >= 2 @ 54.4348
55.42/55.60	c GLOBAL bounds 8 >= 2 @ 54.4749
55.42/55.60	c GLOBAL bounds 8 >= 2 @ 54.4755
55.42/55.61	c GLOBAL bounds 6 >= 2 @ 54.4831
55.42/55.61	c GLOBAL bounds 6 >= 2 @ 54.4837
55.42/55.64	c GLOBAL bounds 6 >= 2 @ 54.5063
55.42/55.64	c GLOBAL bounds 6 >= 2 @ 54.507
55.42/55.64	c GLOBAL bounds 6 >= 2 @ 54.5075
55.42/55.64	c GLOBAL bounds 6 >= 2 @ 54.5077
55.42/55.64	c GLOBAL bounds 6 >= 2 @ 54.5077
55.42/55.66	c GLOBAL bounds 6 >= 2 @ 54.5283
55.42/55.66	c GLOBAL bounds 6 >= 2 @ 54.531
55.42/55.68	c GLOBAL bounds 6 >= 2 @ 54.5516
55.53/55.70	c GLOBAL bounds 6 >= 2 @ 54.5716
55.53/55.71	c GLOBAL bounds 6 >= 2 @ 54.5721
55.53/55.73	c GLOBAL bounds 6 >= 2 @ 54.5907
55.53/55.73	c GLOBAL bounds 6 >= 2 @ 54.5912
55.53/55.75	c GLOBAL bounds 6 >= 2 @ 54.613
55.53/55.75	c GLOBAL bounds 6 >= 2 @ 54.6136
55.53/55.78	c GLOBAL bounds 6 >= 2 @ 54.6388
55.53/55.78	c GLOBAL bounds 6 >= 2 @ 54.6394
55.63/55.80	c GLOBAL bounds 6 >= 2 @ 54.66
55.63/55.80	c GLOBAL bounds 6 >= 2 @ 54.6603
55.63/55.82	c GLOBAL bounds 6 >= 2 @ 54.684
55.63/55.82	c GLOBAL bounds 6 >= 2 @ 54.6846
55.63/55.84	c GLOBAL bounds 6 >= 2 @ 54.7034
55.63/55.84	c GLOBAL bounds 6 >= 2 @ 54.704
55.63/55.88	c GLOBAL bounds 6 >= 2 @ 54.735
55.63/55.88	c GLOBAL bounds 6 >= 2 @ 54.7356
55.73/55.90	c GLOBAL bounds 6 >= 2 @ 54.7581
55.73/55.90	c GLOBAL bounds 6 >= 2 @ 54.7587
55.73/55.93	c GLOBAL bounds 6 >= 2 @ 54.7828
55.73/55.93	c GLOBAL bounds 6 >= 2 @ 54.783
55.73/55.93	c GLOBAL bounds 6 >= 2 @ 54.783
55.73/55.93	c GLOBAL bounds 6 >= 2 @ 54.7836
55.73/55.93	c GLOBAL bounds 6 >= 2 @ 54.7842
55.73/55.93	c GLOBAL bounds 6 >= 2 @ 54.7843
55.73/55.95	c GLOBAL bounds 6 >= 2 @ 54.8093
55.73/55.98	c GLOBAL bounds 6 >= 2 @ 54.8321
55.83/56.00	c GLOBAL bounds 6 >= 2 @ 54.8558
55.83/56.02	c GLOBAL bounds 6 >= 2 @ 54.8784
55.83/56.05	c GLOBAL bounds 6 >= 2 @ 54.9006
55.83/56.05	c GLOBAL bounds 6 >= 2 @ 54.9012
55.83/56.07	c GLOBAL bounds 6 >= 2 @ 54.9236
55.83/56.07	c GLOBAL bounds 6 >= 2 @ 54.9236
55.83/56.09	c GLOBAL bounds 6 >= 2 @ 54.9459
55.83/56.09	c GLOBAL bounds 6 >= 2 @ 54.9465
55.93/56.13	c GLOBAL bounds 6 >= 2 @ 54.9807
55.93/56.13	c GLOBAL bounds 6 >= 2 @ 54.9813
55.93/56.16	c GLOBAL bounds 6 >= 2 @ 55.0085
55.93/56.16	c GLOBAL bounds 6 >= 2 @ 55.0091
55.93/56.18	c GLOBAL bounds 6 >= 2 @ 55.0273
55.93/56.18	c GLOBAL bounds 6 >= 2 @ 55.0273
56.02/56.20	c GLOBAL bounds 6 >= 2 @ 55.0455
56.02/56.20	c GLOBAL bounds 6 >= 2 @ 55.0462
56.02/56.22	c GLOBAL bounds 6 >= 2 @ 55.068
56.02/56.22	c GLOBAL bounds 6 >= 2 @ 55.068
56.02/56.24	c GLOBAL bounds 6 >= 2 @ 55.088
56.02/56.24	c GLOBAL bounds 6 >= 2 @ 55.0882
56.02/56.27	c GLOBAL bounds 6 >= 2 @ 55.111
56.02/56.27	c GLOBAL bounds 6 >= 2 @ 55.1111
56.02/56.27	c GLOBAL bounds 6 >= 2 @ 55.1112
56.02/56.27	c GLOBAL bounds 6 >= 2 @ 55.1117
56.02/56.27	c GLOBAL bounds 6 >= 2 @ 55.1123
56.02/56.27	c GLOBAL bounds 6 >= 2 @ 55.1124
56.02/56.29	c GLOBAL bounds 6 >= 2 @ 55.1336
56.13/56.31	c GLOBAL bounds 6 >= 2 @ 55.1538
56.13/56.33	c GLOBAL bounds 6 >= 2 @ 55.175
56.13/56.35	c GLOBAL bounds 6 >= 2 @ 55.198
56.13/56.37	c GLOBAL bounds 6 >= 2 @ 55.2178
56.13/56.37	c GLOBAL bounds 6 >= 2 @ 55.2178
56.13/56.40	c GLOBAL bounds 6 >= 2 @ 55.2364
56.22/56.40	c GLOBAL bounds 6 >= 2 @ 55.237
56.22/56.43	c GLOBAL bounds 6 >= 2 @ 55.2674
56.22/56.43	c GLOBAL bounds 6 >= 2 @ 55.2677
56.22/56.46	c GLOBAL bounds 6 >= 2 @ 55.2957
56.22/56.46	c GLOBAL bounds 6 >= 2 @ 55.2962
56.22/56.49	c GLOBAL bounds 6 >= 2 @ 55.3263
56.22/56.49	c GLOBAL bounds 6 >= 2 @ 55.3268
56.32/56.51	c GLOBAL bounds 6 >= 2 @ 55.3505
56.32/56.51	c GLOBAL bounds 6 >= 2 @ 55.351
56.32/56.53	c GLOBAL bounds 6 >= 2 @ 55.3701
56.32/56.53	c GLOBAL bounds 6 >= 2 @ 55.3705
56.32/56.56	c GLOBAL bounds 6 >= 2 @ 55.391
56.32/56.56	c GLOBAL bounds 6 >= 2 @ 55.3914
56.32/56.58	c GLOBAL bounds 6 >= 2 @ 55.4108
56.32/56.58	c GLOBAL bounds 6 >= 2 @ 55.4114
56.42/56.60	c GLOBAL bounds 6 >= 2 @ 55.4296
56.42/56.60	c GLOBAL bounds 6 >= 2 @ 55.4302
56.42/56.60	c GLOBAL bounds 6 >= 2 @ 55.4303
56.42/56.60	c GLOBAL bounds 6 >= 2 @ 55.4304
56.42/56.60	c GLOBAL bounds 6 >= 2 @ 55.431
56.42/56.60	c GLOBAL bounds 6 >= 2 @ 55.431
56.42/56.62	c GLOBAL bounds 6 >= 2 @ 55.4508
56.42/56.64	c GLOBAL bounds 6 >= 2 @ 55.4704
56.42/56.66	c GLOBAL bounds 6 >= 2 @ 55.4907
56.42/56.68	c GLOBAL bounds 6 >= 2 @ 55.5115
56.52/56.71	c GLOBAL bounds 6 >= 2 @ 55.5319
56.52/56.71	c GLOBAL bounds 6 >= 2 @ 55.5325
56.52/56.73	c GLOBAL bounds 6 >= 2 @ 55.5524
56.52/56.73	c GLOBAL bounds 6 >= 2 @ 55.553
56.52/56.75	c GLOBAL bounds 6 >= 2 @ 55.5722
56.52/56.75	c GLOBAL bounds 6 >= 2 @ 55.5727
56.52/56.77	c GLOBAL bounds 6 >= 2 @ 55.5964
56.52/56.77	c GLOBAL bounds 6 >= 2 @ 55.5969
56.52/56.79	c GLOBAL bounds 6 >= 2 @ 55.6163
56.52/56.79	c GLOBAL bounds 6 >= 2 @ 55.6169
56.63/56.82	c GLOBAL bounds 6 >= 2 @ 55.6412
56.63/56.82	c GLOBAL bounds 6 >= 2 @ 55.6418
56.63/56.84	c GLOBAL bounds 6 >= 2 @ 55.6605
56.63/56.84	c GLOBAL bounds 6 >= 2 @ 55.6608
56.63/56.86	c GLOBAL bounds 6 >= 2 @ 55.6828
56.63/56.86	c GLOBAL bounds 6 >= 2 @ 55.6834
56.72/56.91	c GLOBAL bounds 6 >= 2 @ 55.7276
56.72/56.91	c GLOBAL bounds 6 >= 2 @ 55.7276
56.72/56.93	c GLOBAL bounds 6 >= 2 @ 55.7457
56.72/56.93	c GLOBAL bounds 6 >= 2 @ 55.7463
56.72/56.93	c GLOBAL bounds 6 >= 2 @ 55.7466
56.72/56.93	c GLOBAL bounds 6 >= 2 @ 55.7466
56.72/56.93	c GLOBAL bounds 6 >= 2 @ 55.7466
56.72/56.93	c GLOBAL bounds 6 >= 2 @ 55.7466
56.72/56.95	c GLOBAL bounds 6 >= 2 @ 55.7681
56.72/56.97	c GLOBAL bounds 6 >= 2 @ 55.7882
56.72/56.99	c GLOBAL bounds 6 >= 2 @ 55.8097
56.83/57.01	c GLOBAL bounds 6 >= 2 @ 55.8307
56.83/57.03	c GLOBAL bounds 6 >= 2 @ 55.8503
56.83/57.03	c GLOBAL bounds 6 >= 2 @ 55.8509
56.83/57.05	c GLOBAL bounds 6 >= 2 @ 55.8702
56.83/57.05	c GLOBAL bounds 6 >= 2 @ 55.8703
56.83/57.08	c GLOBAL bounds 6 >= 2 @ 55.8908
56.83/57.08	c GLOBAL bounds 6 >= 2 @ 55.8914
56.92/57.11	c GLOBAL bounds 6 >= 2 @ 55.923
56.92/57.11	c GLOBAL bounds 6 >= 2 @ 55.9235
56.92/57.13	c GLOBAL bounds 6 >= 2 @ 55.9477
56.92/57.13	c GLOBAL bounds 6 >= 2 @ 55.9484
56.92/57.15	c GLOBAL bounds 6 >= 2 @ 55.9681
56.92/57.15	c GLOBAL bounds 6 >= 2 @ 55.9687
56.92/57.17	c GLOBAL bounds 6 >= 2 @ 55.9873
56.92/57.17	c GLOBAL bounds 6 >= 2 @ 55.9879
57.03/57.20	c GLOBAL bounds 6 >= 2 @ 56.0099
57.03/57.20	c GLOBAL bounds 6 >= 2 @ 56.0105
57.03/57.22	c GLOBAL bounds 6 >= 2 @ 56.029
57.03/57.22	c GLOBAL bounds 6 >= 2 @ 56.0296
57.03/57.24	c GLOBAL bounds 6 >= 2 @ 56.0499
57.03/57.24	c GLOBAL bounds 6 >= 2 @ 56.0505
57.03/57.24	c GLOBAL bounds 6 >= 2 @ 56.051
57.03/57.24	c GLOBAL bounds 6 >= 2 @ 56.0516
57.03/57.24	c GLOBAL bounds 6 >= 2 @ 56.0522
57.03/57.24	c GLOBAL bounds 6 >= 2 @ 56.0522
57.03/57.26	c GLOBAL bounds 6 >= 2 @ 56.0738
57.03/57.28	c GLOBAL bounds 6 >= 2 @ 56.094
57.12/57.30	c GLOBAL bounds 6 >= 2 @ 56.1136
57.12/57.32	c GLOBAL bounds 6 >= 2 @ 56.1323
57.12/57.34	c GLOBAL bounds 6 >= 2 @ 56.1519
57.12/57.34	c GLOBAL bounds 6 >= 2 @ 56.1524
57.12/57.36	c GLOBAL bounds 6 >= 2 @ 56.173
57.12/57.36	c GLOBAL bounds 6 >= 2 @ 56.1736
57.12/57.39	c GLOBAL bounds 6 >= 2 @ 56.194
57.12/57.39	c GLOBAL bounds 6 >= 2 @ 56.1946
57.22/57.42	c GLOBAL bounds 6 >= 2 @ 56.223
57.22/57.42	c GLOBAL bounds 6 >= 2 @ 56.2235
57.22/57.44	c GLOBAL bounds 6 >= 2 @ 56.2466
57.22/57.44	c GLOBAL bounds 6 >= 2 @ 56.2472
57.22/57.46	c GLOBAL bounds 6 >= 2 @ 56.2659
57.22/57.46	c GLOBAL bounds 6 >= 2 @ 56.2664
57.22/57.48	c GLOBAL bounds 6 >= 2 @ 56.2853
57.22/57.48	c GLOBAL bounds 6 >= 2 @ 56.2859
57.32/57.50	c GLOBAL bounds 6 >= 2 @ 56.3088
57.32/57.50	c GLOBAL bounds 6 >= 2 @ 56.3093
57.32/57.52	c GLOBAL bounds 6 >= 2 @ 56.3277
57.32/57.52	c GLOBAL bounds 6 >= 2 @ 56.3282
57.32/57.54	c GLOBAL bounds 6 >= 2 @ 56.3467
57.32/57.54	c GLOBAL bounds 6 >= 2 @ 56.3472
57.32/57.55	c GLOBAL bounds 6 >= 2 @ 56.3478
57.32/57.55	c GLOBAL bounds 6 >= 2 @ 56.3482
57.32/57.55	c GLOBAL bounds 6 >= 2 @ 56.3482
57.32/57.55	c GLOBAL bounds 6 >= 2 @ 56.3482
57.32/57.57	c GLOBAL bounds 6 >= 2 @ 56.3687
57.32/57.59	c GLOBAL bounds 6 >= 2 @ 56.3882
57.42/57.61	c GLOBAL bounds 6 >= 2 @ 56.4093
57.42/57.64	c GLOBAL bounds 6 >= 2 @ 56.4327
57.42/57.66	c GLOBAL bounds 6 >= 2 @ 56.4528
57.42/57.66	c GLOBAL bounds 6 >= 2 @ 56.4534
57.42/57.68	c GLOBAL bounds 6 >= 2 @ 56.4744
57.42/57.68	c GLOBAL bounds 6 >= 2 @ 56.4749
57.52/57.70	c GLOBAL bounds 6 >= 2 @ 56.4974
57.52/57.70	c GLOBAL bounds 6 >= 2 @ 56.4978
57.52/57.73	c GLOBAL bounds 6 >= 2 @ 56.5202
57.52/57.73	c GLOBAL bounds 6 >= 2 @ 56.5208
57.52/57.75	c GLOBAL bounds 6 >= 2 @ 56.5393
57.52/57.75	c GLOBAL bounds 6 >= 2 @ 56.5397
57.52/57.77	c GLOBAL bounds 6 >= 2 @ 56.5613
57.52/57.77	c GLOBAL bounds 6 >= 2 @ 56.5617
57.52/57.79	c GLOBAL bounds 6 >= 2 @ 56.5831
57.62/57.80	c GLOBAL bounds 6 >= 2 @ 56.5837
57.62/57.82	c GLOBAL bounds 6 >= 2 @ 56.6028
57.62/57.82	c GLOBAL bounds 6 >= 2 @ 56.6034
57.62/57.84	c GLOBAL bounds 6 >= 2 @ 56.6251
57.62/57.84	c GLOBAL bounds 6 >= 2 @ 56.6255
57.62/57.86	c GLOBAL bounds 6 >= 2 @ 56.6464
57.62/57.86	c GLOBAL bounds 6 >= 2 @ 56.6465
57.62/57.86	c GLOBAL bounds 6 >= 2 @ 56.6465
57.62/57.87	c GLOBAL bounds 6 >= 2 @ 56.6465
57.62/57.87	c GLOBAL bounds 6 >= 3 @ 56.6465
57.62/57.89	c GLOBAL bounds 6 >= 3 @ 56.6714
57.72/57.91	c GLOBAL bounds 6 >= 3 @ 56.6908
57.72/57.94	c GLOBAL bounds 6 >= 3 @ 56.7131
57.72/57.96	c GLOBAL bounds 6 >= 3 @ 56.7353
57.72/57.96	c GLOBAL bounds 6 >= 3 @ 56.7359
57.72/57.98	c GLOBAL bounds 6 >= 3 @ 56.7577
57.72/57.98	c GLOBAL bounds 6 >= 3 @ 56.7583
57.82/58.00	c GLOBAL bounds 6 >= 3 @ 56.7807
57.82/58.00	c GLOBAL bounds 6 >= 3 @ 56.7813
57.82/58.03	c GLOBAL bounds 6 >= 3 @ 56.8032
57.82/58.03	c GLOBAL bounds 6 >= 3 @ 56.8038
57.82/58.05	c GLOBAL bounds 6 >= 3 @ 56.8253
57.82/58.05	c GLOBAL bounds 6 >= 3 @ 56.8259
57.82/58.08	c GLOBAL bounds 6 >= 3 @ 56.8519
57.82/58.08	c GLOBAL bounds 6 >= 3 @ 56.852
57.82/58.10	c GLOBAL bounds 6 >= 3 @ 56.8735
57.82/58.10	c GLOBAL bounds 6 >= 3 @ 56.8739
57.92/58.13	c GLOBAL bounds 6 >= 3 @ 56.9038
57.92/58.13	c GLOBAL bounds 6 >= 3 @ 56.9044
57.92/58.15	c GLOBAL bounds 6 >= 3 @ 56.9239
57.92/58.15	c GLOBAL bounds 6 >= 3 @ 56.9245
57.92/58.17	c GLOBAL bounds 6 >= 3 @ 56.9432
57.92/58.17	c GLOBAL bounds 6 >= 3 @ 56.9437
57.92/58.17	c GLOBAL bounds 6 >= 3 @ 56.9437
57.92/58.17	c GLOBAL bounds 6 >= 3 @ 56.9437
57.92/58.17	c GLOBAL bounds 6 >= 3 @ 56.9437
58.02/58.20	c GLOBAL bounds 6 >= 3 @ 56.9647
58.02/58.22	c GLOBAL bounds 6 >= 3 @ 56.9857
58.02/58.24	c GLOBAL bounds 6 >= 3 @ 57.0054
58.02/58.26	c GLOBAL bounds 6 >= 3 @ 57.0282
58.02/58.26	c GLOBAL bounds 6 >= 3 @ 57.0285
58.02/58.28	c GLOBAL bounds 6 >= 3 @ 57.0487
58.02/58.28	c GLOBAL bounds 6 >= 3 @ 57.0493
58.12/58.30	c GLOBAL bounds 6 >= 3 @ 57.067
58.12/58.30	c GLOBAL bounds 6 >= 3 @ 57.0674
58.12/58.35	c GLOBAL bounds 6 >= 3 @ 57.114
58.12/58.35	c GLOBAL bounds 6 >= 3 @ 57.1143
58.12/58.38	c GLOBAL bounds 6 >= 3 @ 57.1372
58.12/58.38	c GLOBAL bounds 6 >= 3 @ 57.1373
58.22/58.40	c GLOBAL bounds 6 >= 3 @ 57.1588
58.22/58.40	c GLOBAL bounds 6 >= 3 @ 57.1594
58.22/58.42	c GLOBAL bounds 6 >= 3 @ 57.1794
58.22/58.42	c GLOBAL bounds 6 >= 3 @ 57.18
58.22/58.44	c GLOBAL bounds 6 >= 3 @ 57.1986
58.22/58.44	c GLOBAL bounds 6 >= 3 @ 57.1991
58.22/58.46	c GLOBAL bounds 6 >= 3 @ 57.2167
58.22/58.46	c GLOBAL bounds 6 >= 3 @ 57.2171
58.22/58.48	c GLOBAL bounds 6 >= 3 @ 57.2353
58.22/58.48	c GLOBAL bounds 6 >= 3 @ 57.2359
58.22/58.48	c GLOBAL bounds 6 >= 3 @ 57.2366
58.22/58.48	c GLOBAL bounds 6 >= 3 @ 57.237
58.22/58.48	c GLOBAL bounds 6 >= 3 @ 57.237
58.32/58.50	c GLOBAL bounds 6 >= 3 @ 57.2571
58.32/58.52	c GLOBAL bounds 6 >= 3 @ 57.2766
58.32/58.54	c GLOBAL bounds 6 >= 3 @ 57.2952
58.32/58.56	c GLOBAL bounds 6 >= 3 @ 57.3146
58.32/58.56	c GLOBAL bounds 6 >= 3 @ 57.3148
58.32/58.58	c GLOBAL bounds 6 >= 3 @ 57.3334
58.32/58.58	c GLOBAL bounds 6 >= 3 @ 57.3338
58.42/58.60	c GLOBAL bounds 6 >= 3 @ 57.3529
58.42/58.60	c GLOBAL bounds 6 >= 3 @ 57.3535
58.42/58.62	c GLOBAL bounds 6 >= 3 @ 57.3726
58.42/58.62	c GLOBAL bounds 6 >= 3 @ 57.3732
58.42/58.64	c GLOBAL bounds 6 >= 3 @ 57.3925
58.42/58.64	c GLOBAL bounds 6 >= 3 @ 57.3932
58.42/58.66	c GLOBAL bounds 6 >= 3 @ 57.4124
58.42/58.66	c GLOBAL bounds 6 >= 3 @ 57.4126
58.42/58.68	c GLOBAL bounds 6 >= 3 @ 57.4311
58.42/58.68	c GLOBAL bounds 6 >= 3 @ 57.4315
58.52/58.70	c GLOBAL bounds 6 >= 3 @ 57.4493
58.52/58.70	c GLOBAL bounds 6 >= 3 @ 57.4501
58.52/58.73	c GLOBAL bounds 6 >= 3 @ 57.4749
58.52/58.73	c GLOBAL bounds 6 >= 3 @ 57.4756
58.52/58.75	c GLOBAL bounds 6 >= 3 @ 57.4944
58.52/58.75	c GLOBAL bounds 6 >= 3 @ 57.4951
58.52/58.75	c GLOBAL bounds 6 >= 3 @ 57.4954
58.52/58.75	c GLOBAL bounds 6 >= 3 @ 57.4954
58.52/58.75	c GLOBAL bounds 6 >= 3 @ 57.4954
58.52/58.77	c GLOBAL bounds 6 >= 3 @ 57.5153
58.52/58.79	c GLOBAL bounds 6 >= 3 @ 57.535
58.61/58.81	c GLOBAL bounds 6 >= 3 @ 57.5542
58.61/58.83	c GLOBAL bounds 6 >= 3 @ 57.5742
58.61/58.83	c GLOBAL bounds 6 >= 3 @ 57.5748
58.61/58.85	c GLOBAL bounds 6 >= 3 @ 57.5949
58.61/58.85	c GLOBAL bounds 6 >= 3 @ 57.5952
58.61/58.88	c GLOBAL bounds 6 >= 3 @ 57.6174
58.61/58.88	c GLOBAL bounds 6 >= 3 @ 57.618
58.72/58.90	c GLOBAL bounds 6 >= 3 @ 57.6406
58.72/58.90	c GLOBAL bounds 6 >= 3 @ 57.641
58.72/58.92	c GLOBAL bounds 6 >= 3 @ 57.6624
58.72/58.92	c GLOBAL bounds 6 >= 3 @ 57.6629
58.72/58.95	c GLOBAL bounds 6 >= 3 @ 57.6893
58.72/58.95	c GLOBAL bounds 6 >= 3 @ 57.6899
58.72/58.98	c GLOBAL bounds 6 >= 3 @ 57.7135
58.72/58.98	c GLOBAL bounds 6 >= 3 @ 57.7138
58.72/59.00	c GLOBAL bounds 6 >= 3 @ 57.7357
58.82/59.00	c GLOBAL bounds 6 >= 3 @ 57.7363
58.82/59.03	c GLOBAL bounds 6 >= 3 @ 57.7677
58.82/59.03	c GLOBAL bounds 6 >= 3 @ 57.7683
58.82/59.05	c GLOBAL bounds 6 >= 3 @ 57.7877
58.82/59.05	c GLOBAL bounds 6 >= 3 @ 57.7883
58.82/59.05	c GLOBAL bounds 6 >= 3 @ 57.7885
58.82/59.05	c GLOBAL bounds 6 >= 3 @ 57.7885
58.82/59.05	c GLOBAL bounds 6 >= 3 @ 57.7885
58.82/59.07	c GLOBAL bounds 6 >= 3 @ 57.8076
58.82/59.09	c GLOBAL bounds 6 >= 3 @ 57.8265
58.92/59.11	c GLOBAL bounds 6 >= 3 @ 57.847
58.92/59.13	c GLOBAL bounds 6 >= 3 @ 57.865
58.92/59.13	c GLOBAL bounds 6 >= 3 @ 57.8653
58.92/59.16	c GLOBAL bounds 6 >= 3 @ 57.8859
58.92/59.16	c GLOBAL bounds 6 >= 3 @ 57.8862
58.92/59.18	c GLOBAL bounds 6 >= 3 @ 57.9053
58.92/59.18	c GLOBAL bounds 6 >= 3 @ 57.9059
59.02/59.20	c GLOBAL bounds 6 >= 3 @ 57.924
59.02/59.20	c GLOBAL bounds 6 >= 3 @ 57.9246
59.02/59.22	c GLOBAL bounds 6 >= 3 @ 57.9431
59.02/59.22	c GLOBAL bounds 6 >= 3 @ 57.9431
59.02/59.24	c GLOBAL bounds 6 >= 3 @ 57.9686
59.02/59.24	c GLOBAL bounds 6 >= 3 @ 57.969
59.02/59.27	c GLOBAL bounds 6 >= 3 @ 57.9887
59.02/59.27	c GLOBAL bounds 6 >= 3 @ 57.9889
59.02/59.29	c GLOBAL bounds 6 >= 3 @ 58.0074
59.02/59.29	c GLOBAL bounds 6 >= 3 @ 58.0077
59.11/59.31	c GLOBAL bounds 6 >= 3 @ 58.0267
59.11/59.31	c GLOBAL bounds 6 >= 3 @ 58.0273
59.11/59.33	c GLOBAL bounds 6 >= 3 @ 58.047
59.11/59.33	c GLOBAL bounds 6 >= 3 @ 58.0474
59.11/59.33	c GLOBAL bounds 6 >= 3 @ 58.0474
59.11/59.33	c GLOBAL bounds 6 >= 3 @ 58.0474
59.11/59.33	c GLOBAL bounds 6 >= 3 @ 58.0474
59.11/59.35	c GLOBAL bounds 6 >= 3 @ 58.0666
59.11/59.37	c GLOBAL bounds 6 >= 3 @ 58.087
59.11/59.39	c GLOBAL bounds 6 >= 3 @ 58.1065
59.22/59.41	c GLOBAL bounds 6 >= 3 @ 58.1257
59.22/59.41	c GLOBAL bounds 6 >= 3 @ 58.1262
59.22/59.43	c GLOBAL bounds 6 >= 3 @ 58.1461
59.22/59.43	c GLOBAL bounds 6 >= 3 @ 58.1467
59.22/59.45	c GLOBAL bounds 6 >= 3 @ 58.168
59.22/59.45	c GLOBAL bounds 6 >= 3 @ 58.1685
59.22/59.48	c GLOBAL bounds 6 >= 3 @ 58.1901
59.22/59.48	c GLOBAL bounds 6 >= 3 @ 58.1907
59.31/59.50	c GLOBAL bounds 6 >= 3 @ 58.2103
59.31/59.50	c GLOBAL bounds 6 >= 3 @ 58.2108
59.31/59.52	c GLOBAL bounds 6 >= 3 @ 58.2306
59.31/59.52	c GLOBAL bounds 6 >= 3 @ 58.2312
59.31/59.54	c GLOBAL bounds 6 >= 3 @ 58.2496
59.31/59.54	c GLOBAL bounds 6 >= 3 @ 58.2502
59.31/59.57	c GLOBAL bounds 6 >= 3 @ 58.274
59.31/59.57	c GLOBAL bounds 6 >= 3 @ 58.2743
59.31/59.59	c GLOBAL bounds 6 >= 3 @ 58.2943
59.31/59.59	c GLOBAL bounds 6 >= 3 @ 58.2949
59.41/59.61	c GLOBAL bounds 6 >= 3 @ 58.3152
59.41/59.61	c GLOBAL bounds 6 >= 3 @ 58.3159
59.41/59.61	c GLOBAL bounds 6 >= 3 @ 58.3161
59.41/59.61	c GLOBAL bounds 6 >= 3 @ 58.3162
59.41/59.61	c GLOBAL bounds 6 >= 3 @ 58.3162
59.41/59.63	c GLOBAL bounds 6 >= 3 @ 58.3383
59.41/59.65	c GLOBAL bounds 6 >= 3 @ 58.3584
59.41/59.67	c GLOBAL bounds 6 >= 3 @ 58.3797
59.41/59.69	c GLOBAL bounds 6 >= 3 @ 58.3986
59.41/59.69	c GLOBAL bounds 6 >= 3 @ 58.3989
59.52/59.71	c GLOBAL bounds 6 >= 3 @ 58.4181
59.52/59.71	c GLOBAL bounds 6 >= 3 @ 58.4187
59.52/59.73	c GLOBAL bounds 6 >= 3 @ 58.4379
59.52/59.73	c GLOBAL bounds 6 >= 3 @ 58.4385
59.52/59.76	c GLOBAL bounds 6 >= 3 @ 58.4659
59.52/59.76	c GLOBAL bounds 6 >= 3 @ 58.4664
59.52/59.79	c GLOBAL bounds 6 >= 3 @ 58.4907
59.52/59.79	c GLOBAL bounds 6 >= 3 @ 58.4913
59.71/59.93	c #Conflicts:      36000 | #Constraints:       8690
59.71/59.93	c GLOBAL bounds 6 >= 3 @ 58.629
59.71/59.93	c GLOBAL bounds 6 >= 3 @ 58.629
59.71/59.95	c GLOBAL bounds 6 >= 3 @ 58.6486
59.71/59.95	c GLOBAL bounds 6 >= 3 @ 58.6489
59.71/59.97	c GLOBAL bounds 6 >= 3 @ 58.667
59.71/59.97	c GLOBAL bounds 6 >= 3 @ 58.6676
59.71/59.99	c GLOBAL bounds 6 >= 3 @ 58.6866
59.71/59.99	c GLOBAL bounds 6 >= 3 @ 58.6872
59.82/60.01	c GLOBAL bounds 6 >= 3 @ 58.7052
59.82/60.01	c GLOBAL bounds 6 >= 3 @ 58.7058
59.82/60.01	c GLOBAL bounds 6 >= 3 @ 58.7063
59.82/60.01	c GLOBAL bounds 6 >= 3 @ 58.7063
59.82/60.01	c GLOBAL bounds 6 >= 3 @ 58.7063
59.82/60.04	c GLOBAL bounds 6 >= 3 @ 58.7272
59.82/60.06	c GLOBAL bounds 6 >= 3 @ 58.7479
59.82/60.08	c GLOBAL bounds 6 >= 3 @ 58.7691
59.82/60.10	c GLOBAL bounds 6 >= 3 @ 58.7876
59.82/60.10	c GLOBAL bounds 6 >= 3 @ 58.788
59.92/60.12	c GLOBAL bounds 6 >= 3 @ 58.8083
59.92/60.12	c GLOBAL bounds 6 >= 3 @ 58.8089
59.92/60.17	c GLOBAL bounds 6 >= 3 @ 58.8544
59.92/60.17	c GLOBAL bounds 6 >= 3 @ 58.8548
59.92/60.19	c GLOBAL bounds 6 >= 3 @ 58.8731
59.92/60.19	c GLOBAL bounds 6 >= 3 @ 58.8737
60.01/60.21	c GLOBAL bounds 6 >= 3 @ 58.8921
60.01/60.21	c GLOBAL bounds 6 >= 3 @ 58.8927
60.01/60.24	c GLOBAL bounds 6 >= 3 @ 58.9249
60.01/60.24	c GLOBAL bounds 6 >= 3 @ 58.9255
60.01/60.26	c GLOBAL bounds 6 >= 3 @ 58.944
60.01/60.26	c GLOBAL bounds 6 >= 3 @ 58.9445
60.01/60.28	c GLOBAL bounds 6 >= 3 @ 58.9631
60.01/60.28	c GLOBAL bounds 6 >= 3 @ 58.9637
60.11/60.30	c GLOBAL bounds 6 >= 3 @ 58.9832
60.11/60.30	c GLOBAL bounds 6 >= 3 @ 58.9835
60.11/60.32	c GLOBAL bounds 6 >= 3 @ 59.0017
60.11/60.32	c GLOBAL bounds 6 >= 3 @ 59.0023
60.11/60.32	c GLOBAL bounds 6 >= 3 @ 59.0024
60.11/60.32	c GLOBAL bounds 6 >= 3 @ 59.0024
60.11/60.32	c GLOBAL bounds 6 >= 3 @ 59.0024
60.11/60.35	c GLOBAL bounds 6 >= 3 @ 59.0228
60.11/60.37	c GLOBAL bounds 6 >= 3 @ 59.0403
60.11/60.39	c GLOBAL bounds 6 >= 3 @ 59.0606
60.21/60.41	c GLOBAL bounds 6 >= 3 @ 59.0802
60.21/60.41	c GLOBAL bounds 6 >= 3 @ 59.0808
60.21/60.43	c GLOBAL bounds 6 >= 3 @ 59.1009
60.21/60.43	c GLOBAL bounds 6 >= 3 @ 59.1011
60.31/60.52	c GLOBAL bounds 6 >= 3 @ 59.1919
60.31/60.52	c GLOBAL bounds 6 >= 3 @ 59.1925
60.31/60.54	c GLOBAL bounds 6 >= 3 @ 59.211
60.31/60.54	c GLOBAL bounds 6 >= 3 @ 59.2115
60.31/60.56	c GLOBAL bounds 6 >= 3 @ 59.2309
60.31/60.56	c GLOBAL bounds 6 >= 3 @ 59.2315
60.31/60.58	c GLOBAL bounds 6 >= 3 @ 59.2519
60.31/60.58	c GLOBAL bounds 6 >= 3 @ 59.2525
60.41/60.60	c GLOBAL bounds 6 >= 3 @ 59.2722
60.41/60.60	c GLOBAL bounds 6 >= 3 @ 59.2728
60.41/60.62	c GLOBAL bounds 6 >= 3 @ 59.2907
60.41/60.62	c GLOBAL bounds 6 >= 3 @ 59.2913
60.41/60.64	c GLOBAL bounds 6 >= 3 @ 59.311
60.41/60.64	c GLOBAL bounds 6 >= 3 @ 59.3116
60.41/60.66	c GLOBAL bounds 6 >= 3 @ 59.3315
60.41/60.66	c GLOBAL bounds 6 >= 3 @ 59.3321
60.41/60.66	c GLOBAL bounds 6 >= 3 @ 59.3325
60.41/60.66	c GLOBAL bounds 6 >= 3 @ 59.3325
60.41/60.66	c GLOBAL bounds 6 >= 3 @ 59.3326
60.41/60.68	c GLOBAL bounds 6 >= 3 @ 59.353
60.51/60.70	c GLOBAL bounds 6 >= 3 @ 59.3716
60.51/60.72	c GLOBAL bounds 6 >= 3 @ 59.3929
60.51/60.74	c GLOBAL bounds 6 >= 3 @ 59.4127
60.51/60.75	c GLOBAL bounds 6 >= 3 @ 59.4133
60.51/60.77	c GLOBAL bounds 6 >= 3 @ 59.4347
60.51/60.77	c GLOBAL bounds 6 >= 3 @ 59.4353
60.82/61.06	c #Conflicts:      37000 | #Constraints:       9742
60.82/61.06	c INPROCESSING
60.82/61.06	c GARBAGE COLLECT
60.82/61.06	c rational objective 1
67.08/67.34	c #Conflicts:      38000 | #Constraints:       6740
67.08/67.34	c #Conflicts:      39000 | #Constraints:       8233
67.08/67.34	c #Conflicts:      40000 | #Constraints:       9730
67.08/67.34	c #Conflicts:      41000 | #Constraints:      11207
67.08/67.34	c INPROCESSING
67.08/67.34	c GARBAGE COLLECT
67.08/67.34	c #Conflicts:      42000 | #Constraints:       7472
67.08/67.34	c GLOBAL bounds 6 >= 3 @ 65.8686
67.08/67.34	c GLOBAL bounds 6 >= 3 @ 65.869
67.48/67.73	c GLOBAL bounds 6 >= 3 @ 66.2437
67.48/67.73	c GLOBAL bounds 6 >= 3 @ 66.244
67.67/67.95	c GLOBAL bounds 6 >= 3 @ 66.4665
67.67/67.96	c GLOBAL bounds 6 >= 3 @ 66.4672
70.97/71.23	c #Conflicts:      43000 | #Constraints:       8715
70.97/71.23	c #Conflicts:      44000 | #Constraints:      10245
70.97/71.23	c GLOBAL bounds 6 >= 3 @ 69.6609
70.97/71.23	c GLOBAL bounds 6 >= 3 @ 69.6616
72.57/72.87	c #Conflicts:      45000 | #Constraints:      11390
72.57/72.87	c #Conflicts:      46000 | #Constraints:      12390
72.57/72.87	c INPROCESSING
72.57/72.87	c GARBAGE COLLECT
72.57/72.87	c rational objective 1
74.26/74.51	c #Conflicts:      47000 | #Constraints:       7937
74.26/74.51	c GLOBAL bounds 6 >= 3 @ 72.9072
74.26/74.51	c GLOBAL bounds 6 >= 3 @ 72.9078
74.26/74.54	c GLOBAL bounds 6 >= 3 @ 72.9403
74.26/74.54	c GLOBAL bounds 6 >= 3 @ 72.9406
74.26/74.56	c GLOBAL bounds 6 >= 3 @ 72.9592
74.26/74.56	c GLOBAL bounds 6 >= 3 @ 72.9598
74.26/74.58	c GLOBAL bounds 6 >= 3 @ 72.9795
74.26/74.58	c GLOBAL bounds 6 >= 3 @ 72.9801
74.26/74.58	c GLOBAL bounds 6 >= 3 @ 72.9805
74.26/74.58	c GLOBAL bounds 6 >= 3 @ 72.9805
74.26/74.58	c GLOBAL bounds 6 >= 3 @ 72.9805
74.36/74.60	c GLOBAL bounds 6 >= 3 @ 73.0002
74.36/74.62	c GLOBAL bounds 6 >= 3 @ 73.0185
74.36/74.64	c GLOBAL bounds 6 >= 3 @ 73.0376
74.36/74.66	c GLOBAL bounds 6 >= 3 @ 73.0571
74.36/74.66	c GLOBAL bounds 6 >= 3 @ 73.0573
74.46/74.73	c GLOBAL bounds 6 >= 3 @ 73.1163
74.46/74.73	c GLOBAL bounds 6 >= 3 @ 73.1169
74.46/74.75	c GLOBAL bounds 6 >= 3 @ 73.1377
74.46/74.75	c GLOBAL bounds 6 >= 3 @ 73.1381
74.46/74.78	c GLOBAL bounds 6 >= 3 @ 73.1647
74.46/74.78	c GLOBAL bounds 6 >= 3 @ 73.165
74.56/74.80	c GLOBAL bounds 6 >= 3 @ 73.1837
74.56/74.80	c GLOBAL bounds 6 >= 3 @ 73.184
74.56/74.82	c GLOBAL bounds 6 >= 3 @ 73.2022
74.56/74.82	c GLOBAL bounds 6 >= 3 @ 73.2028
74.56/74.84	c GLOBAL bounds 6 >= 3 @ 73.2209
74.56/74.84	c GLOBAL bounds 6 >= 3 @ 73.2215
74.56/74.86	c GLOBAL bounds 6 >= 3 @ 73.2409
74.56/74.86	c GLOBAL bounds 6 >= 3 @ 73.2414
74.56/74.88	c GLOBAL bounds 6 >= 3 @ 73.2609
74.56/74.88	c GLOBAL bounds 6 >= 3 @ 73.2614
74.66/74.90	c GLOBAL bounds 6 >= 3 @ 73.2827
74.66/74.90	c GLOBAL bounds 6 >= 3 @ 73.2832
74.66/74.91	c GLOBAL bounds 6 >= 3 @ 73.2837
74.66/74.91	c GLOBAL bounds 6 >= 3 @ 73.2837
74.66/74.91	c GLOBAL bounds 6 >= 3 @ 73.2837
74.66/74.93	c GLOBAL bounds 6 >= 3 @ 73.3027
74.66/74.95	c GLOBAL bounds 6 >= 3 @ 73.3219
74.66/74.97	c GLOBAL bounds 6 >= 3 @ 73.3408
74.66/74.98	c GLOBAL bounds 6 >= 3 @ 73.3588
74.66/74.99	c GLOBAL bounds 6 >= 3 @ 73.3593
74.76/75.01	c GLOBAL bounds 6 >= 3 @ 73.3794
74.76/75.01	c GLOBAL bounds 6 >= 3 @ 73.3795
74.76/75.03	c GLOBAL bounds 6 >= 3 @ 73.3983
74.76/75.03	c GLOBAL bounds 6 >= 3 @ 73.3989
74.76/75.05	c GLOBAL bounds 6 >= 3 @ 73.4221
74.76/75.05	c GLOBAL bounds 6 >= 3 @ 73.4224
74.76/75.07	c GLOBAL bounds 6 >= 3 @ 73.4409
74.76/75.07	c GLOBAL bounds 6 >= 3 @ 73.4414
74.76/75.09	c GLOBAL bounds 6 >= 3 @ 73.4601
74.76/75.09	c GLOBAL bounds 6 >= 3 @ 73.4603
74.87/75.11	c GLOBAL bounds 6 >= 3 @ 73.4795
74.87/75.11	c GLOBAL bounds 6 >= 3 @ 73.4802
74.87/75.13	c GLOBAL bounds 6 >= 3 @ 73.5003
74.87/75.13	c GLOBAL bounds 6 >= 3 @ 73.501
74.87/75.15	c GLOBAL bounds 6 >= 3 @ 73.5201
74.87/75.15	c GLOBAL bounds 6 >= 3 @ 73.5201
74.87/75.17	c GLOBAL bounds 6 >= 3 @ 73.5381
74.87/75.17	c GLOBAL bounds 6 >= 3 @ 73.5389
74.87/75.17	c GLOBAL bounds 6 >= 3 @ 73.5391
74.87/75.17	c GLOBAL bounds 6 >= 3 @ 73.5391
74.87/75.17	c GLOBAL bounds 6 >= 3 @ 73.5391
74.87/75.20	c GLOBAL bounds 6 >= 3 @ 73.5576
74.95/75.22	c GLOBAL bounds 6 >= 3 @ 73.5775
74.95/75.23	c GLOBAL bounds 6 >= 3 @ 73.5961
74.95/75.26	c GLOBAL bounds 6 >= 3 @ 73.6188
74.95/75.26	c GLOBAL bounds 6 >= 3 @ 73.6194
74.95/75.28	c GLOBAL bounds 6 >= 3 @ 73.6381
74.95/75.28	c GLOBAL bounds 6 >= 3 @ 73.6387
75.06/75.30	c GLOBAL bounds 6 >= 3 @ 73.6586
75.06/75.30	c GLOBAL bounds 6 >= 3 @ 73.6588
75.06/75.33	c GLOBAL bounds 6 >= 3 @ 73.6879
75.06/75.33	c GLOBAL bounds 6 >= 3 @ 73.6885
75.06/75.35	c GLOBAL bounds 6 >= 3 @ 73.7078
75.06/75.35	c GLOBAL bounds 6 >= 3 @ 73.7084
75.06/75.37	c GLOBAL bounds 6 >= 3 @ 73.7282
75.06/75.37	c GLOBAL bounds 6 >= 3 @ 73.7287
75.06/75.39	c GLOBAL bounds 6 >= 3 @ 73.7479
75.06/75.39	c GLOBAL bounds 6 >= 3 @ 73.7485
75.16/75.41	c GLOBAL bounds 6 >= 3 @ 73.7686
75.16/75.41	c GLOBAL bounds 6 >= 3 @ 73.7692
75.16/75.43	c GLOBAL bounds 6 >= 3 @ 73.7892
75.16/75.43	c GLOBAL bounds 6 >= 3 @ 73.7895
75.16/75.45	c GLOBAL bounds 6 >= 3 @ 73.8079
75.16/75.45	c GLOBAL bounds 6 >= 3 @ 73.8085
75.16/75.45	c GLOBAL bounds 6 >= 3 @ 73.8085
75.16/75.45	c GLOBAL bounds 6 >= 3 @ 73.8085
75.16/75.45	c GLOBAL bounds 6 >= 3 @ 73.8085
75.16/75.48	c GLOBAL bounds 6 >= 3 @ 73.829
75.16/75.50	c GLOBAL bounds 6 >= 3 @ 73.8491
75.26/75.52	c GLOBAL bounds 6 >= 3 @ 73.8692
75.26/75.53	c GLOBAL bounds 6 >= 3 @ 73.8862
75.26/75.53	c GLOBAL bounds 6 >= 3 @ 73.8868
75.26/75.56	c GLOBAL bounds 6 >= 3 @ 73.9076
75.26/75.56	c GLOBAL bounds 6 >= 3 @ 73.9081
75.26/75.58	c GLOBAL bounds 6 >= 3 @ 73.9273
75.26/75.58	c GLOBAL bounds 6 >= 3 @ 73.928
75.35/75.60	c GLOBAL bounds 6 >= 3 @ 73.952
75.35/75.60	c GLOBAL bounds 6 >= 3 @ 73.9526
75.35/75.62	c GLOBAL bounds 6 >= 3 @ 73.9732
75.35/75.62	c GLOBAL bounds 6 >= 3 @ 73.9738
75.35/75.63	c GLOBAL bounds 5 >= 3 @ 73.976
75.35/75.63	c GLOBAL bounds 5 >= 3 @ 73.9766
75.35/75.65	c GLOBAL bounds 5 >= 3 @ 73.9949
75.35/75.65	c GLOBAL bounds 5 >= 3 @ 73.9955
75.35/75.67	c GLOBAL bounds 5 >= 3 @ 74.0172
75.35/75.67	c GLOBAL bounds 5 >= 3 @ 74.0178
75.35/75.70	c GLOBAL bounds 5 >= 3 @ 74.0408
75.46/75.70	c GLOBAL bounds 5 >= 3 @ 74.0414
75.46/75.72	c GLOBAL bounds 5 >= 3 @ 74.0605
75.46/75.72	c GLOBAL bounds 5 >= 3 @ 74.0611
75.46/75.74	c GLOBAL bounds 5 >= 3 @ 74.0805
75.46/75.74	c GLOBAL bounds 5 >= 3 @ 74.0808
75.46/75.74	c GLOBAL bounds 5 >= 3 @ 74.0808
75.46/75.74	c GLOBAL bounds 5 >= 3 @ 74.0808
75.46/75.76	c GLOBAL bounds 5 >= 3 @ 74.101
75.46/75.78	c GLOBAL bounds 5 >= 3 @ 74.1206
75.55/75.80	c GLOBAL bounds 5 >= 3 @ 74.1402
75.55/75.80	c GLOBAL bounds 5 >= 3 @ 74.1407
75.55/75.82	c GLOBAL bounds 5 >= 3 @ 74.1591
75.55/75.82	c GLOBAL bounds 5 >= 3 @ 74.1596
75.55/75.84	c GLOBAL bounds 5 >= 3 @ 74.1779
75.55/75.84	c GLOBAL bounds 5 >= 3 @ 74.1785
75.55/75.87	c GLOBAL bounds 5 >= 3 @ 74.204
75.55/75.87	c GLOBAL bounds 5 >= 3 @ 74.2045
75.55/75.89	c GLOBAL bounds 5 >= 3 @ 74.2235
75.55/75.89	c GLOBAL bounds 5 >= 3 @ 74.2241
75.66/75.91	c GLOBAL bounds 5 >= 3 @ 74.2436
75.66/75.91	c GLOBAL bounds 5 >= 3 @ 74.2443
75.66/75.93	c GLOBAL bounds 5 >= 3 @ 74.2629
75.66/75.93	c GLOBAL bounds 5 >= 3 @ 74.2634
75.66/75.95	c GLOBAL bounds 5 >= 3 @ 74.2818
75.66/75.95	c GLOBAL bounds 5 >= 3 @ 74.2825
75.66/75.97	c GLOBAL bounds 5 >= 3 @ 74.303
75.66/75.97	c GLOBAL bounds 5 >= 3 @ 74.3033
75.66/75.99	c GLOBAL bounds 5 >= 3 @ 74.3224
75.66/75.99	c GLOBAL bounds 5 >= 3 @ 74.323
75.66/75.99	c GLOBAL bounds 5 >= 3 @ 74.3237
75.66/75.99	c GLOBAL bounds 5 >= 3 @ 74.3238
75.76/76.01	c GLOBAL bounds 5 >= 3 @ 74.3441
75.76/76.02	c GLOBAL bounds 5 >= 3 @ 74.3474
75.76/76.04	c GLOBAL bounds 5 >= 3 @ 74.3667
75.76/76.04	c GLOBAL bounds 5 >= 3 @ 74.3672
75.76/76.06	c GLOBAL bounds 5 >= 3 @ 74.3865
75.76/76.06	c GLOBAL bounds 5 >= 3 @ 74.3871
75.76/76.08	c GLOBAL bounds 5 >= 3 @ 74.4085
75.76/76.08	c GLOBAL bounds 5 >= 3 @ 74.409
75.86/76.10	c GLOBAL bounds 5 >= 3 @ 74.4284
75.86/76.10	c GLOBAL bounds 5 >= 3 @ 74.4289
75.86/76.12	c GLOBAL bounds 5 >= 3 @ 74.4492
75.86/76.12	c GLOBAL bounds 5 >= 3 @ 74.4498
75.86/76.15	c GLOBAL bounds 5 >= 3 @ 74.47
75.86/76.15	c GLOBAL bounds 5 >= 3 @ 74.4707
75.86/76.17	c GLOBAL bounds 5 >= 3 @ 74.4911
75.86/76.17	c GLOBAL bounds 5 >= 3 @ 74.4917
75.86/76.19	c GLOBAL bounds 5 >= 3 @ 74.5109
75.86/76.19	c GLOBAL bounds 5 >= 3 @ 74.5115
75.95/76.21	c GLOBAL bounds 5 >= 3 @ 74.5301
75.95/76.21	c GLOBAL bounds 5 >= 3 @ 74.5307
75.95/76.23	c GLOBAL bounds 5 >= 3 @ 74.5492
75.95/76.23	c GLOBAL bounds 5 >= 3 @ 74.5496
75.95/76.23	c GLOBAL bounds 5 >= 3 @ 74.5497
75.95/76.23	c GLOBAL bounds 5 >= 3 @ 74.5497
75.95/76.25	c GLOBAL bounds 5 >= 3 @ 74.5709
75.95/76.27	c GLOBAL bounds 5 >= 3 @ 74.5903
75.95/76.29	c GLOBAL bounds 5 >= 3 @ 74.6094
75.95/76.29	c GLOBAL bounds 5 >= 3 @ 74.6095
76.06/76.31	c GLOBAL bounds 5 >= 3 @ 74.629
76.06/76.31	c GLOBAL bounds 5 >= 3 @ 74.6294
76.06/76.33	c GLOBAL bounds 5 >= 3 @ 74.6489
76.06/76.33	c GLOBAL bounds 5 >= 3 @ 74.6494
76.06/76.35	c GLOBAL bounds 5 >= 3 @ 74.6679
76.06/76.35	c GLOBAL bounds 5 >= 3 @ 74.6685
76.06/76.37	c GLOBAL bounds 5 >= 3 @ 74.6886
76.06/76.37	c GLOBAL bounds 5 >= 3 @ 74.6893
76.06/76.39	c GLOBAL bounds 5 >= 3 @ 74.7084
76.06/76.40	c GLOBAL bounds 5 >= 3 @ 74.7089
76.16/76.42	c GLOBAL bounds 5 >= 3 @ 74.7296
76.16/76.42	c GLOBAL bounds 5 >= 3 @ 74.7302
76.16/76.44	c GLOBAL bounds 5 >= 3 @ 74.7482
76.16/76.44	c GLOBAL bounds 5 >= 3 @ 74.7489
76.16/76.46	c GLOBAL bounds 5 >= 3 @ 74.7681
76.16/76.46	c GLOBAL bounds 5 >= 3 @ 74.7687
76.16/76.48	c GLOBAL bounds 5 >= 3 @ 74.7885
76.16/76.48	c GLOBAL bounds 5 >= 3 @ 74.7891
76.16/76.48	c GLOBAL bounds 5 >= 3 @ 74.7891
76.16/76.48	c GLOBAL bounds 5 >= 3 @ 74.7891
76.25/76.50	c GLOBAL bounds 5 >= 3 @ 74.8093
76.25/76.52	c GLOBAL bounds 5 >= 3 @ 74.829
76.25/76.54	c GLOBAL bounds 5 >= 3 @ 74.8493
76.25/76.54	c GLOBAL bounds 5 >= 3 @ 74.8499
76.25/76.56	c GLOBAL bounds 5 >= 3 @ 74.8709
76.25/76.56	c GLOBAL bounds 5 >= 3 @ 74.8715
76.25/76.58	c GLOBAL bounds 5 >= 3 @ 74.8926
76.25/76.58	c GLOBAL bounds 5 >= 3 @ 74.8928
76.36/76.61	c GLOBAL bounds 5 >= 3 @ 74.9124
76.36/76.61	c GLOBAL bounds 5 >= 3 @ 74.9131
76.36/76.63	c GLOBAL bounds 5 >= 3 @ 74.9341
76.36/76.63	c GLOBAL bounds 5 >= 3 @ 74.9347
76.36/76.65	c GLOBAL bounds 5 >= 3 @ 74.9554
76.36/76.65	c GLOBAL bounds 5 >= 3 @ 74.9556
76.36/76.67	c GLOBAL bounds 5 >= 3 @ 74.9765
76.36/76.67	c GLOBAL bounds 5 >= 3 @ 74.9766
76.36/76.69	c GLOBAL bounds 5 >= 3 @ 74.9968
76.36/76.69	c GLOBAL bounds 5 >= 3 @ 74.9974
76.46/76.71	c GLOBAL bounds 5 >= 3 @ 75.0183
76.46/76.71	c GLOBAL bounds 5 >= 3 @ 75.0185
76.46/76.74	c GLOBAL bounds 5 >= 3 @ 75.0371
76.46/76.74	c GLOBAL bounds 5 >= 3 @ 75.0378
76.46/76.74	c GLOBAL bounds 5 >= 3 @ 75.0383
76.46/76.74	c GLOBAL bounds 5 >= 3 @ 75.0384
76.46/76.76	c GLOBAL bounds 5 >= 3 @ 75.0595
76.46/76.78	c GLOBAL bounds 5 >= 3 @ 75.0796
76.55/76.80	c GLOBAL bounds 5 >= 3 @ 75.0998
76.55/76.80	c GLOBAL bounds 5 >= 3 @ 75.1003
76.55/76.82	c GLOBAL bounds 5 >= 3 @ 75.1214
76.55/76.82	c GLOBAL bounds 5 >= 3 @ 75.122
76.55/76.84	c GLOBAL bounds 5 >= 3 @ 75.1432
76.55/76.84	c GLOBAL bounds 5 >= 3 @ 75.1438
76.55/76.87	c GLOBAL bounds 5 >= 3 @ 75.1646
76.55/76.87	c GLOBAL bounds 5 >= 3 @ 75.1651
76.55/76.89	c GLOBAL bounds 5 >= 3 @ 75.1839
76.55/76.89	c GLOBAL bounds 5 >= 3 @ 75.1841
76.66/76.91	c GLOBAL bounds 5 >= 3 @ 75.2043
76.66/76.91	c GLOBAL bounds 5 >= 3 @ 75.205
76.66/76.93	c GLOBAL bounds 5 >= 3 @ 75.2253
76.66/76.93	c GLOBAL bounds 5 >= 3 @ 75.2259
76.66/76.95	c GLOBAL bounds 5 >= 3 @ 75.2433
76.66/76.95	c GLOBAL bounds 5 >= 3 @ 75.2441
76.66/76.97	c GLOBAL bounds 5 >= 3 @ 75.2664
76.66/76.97	c GLOBAL bounds 5 >= 3 @ 75.2669
76.66/77.00	c GLOBAL bounds 5 >= 3 @ 75.287
76.66/77.00	c GLOBAL bounds 5 >= 3 @ 75.2876
76.66/77.00	c GLOBAL bounds 5 >= 3 @ 75.2884
76.66/77.00	c GLOBAL bounds 5 >= 3 @ 75.2884
76.76/77.03	c GLOBAL bounds 5 >= 3 @ 75.3164
76.76/77.03	c GLOBAL bounds 5 >= 3 @ 75.3199
76.76/77.05	c GLOBAL bounds 5 >= 3 @ 75.3387
76.76/77.05	c GLOBAL bounds 5 >= 3 @ 75.3393
76.85/77.12	c GLOBAL bounds 5 >= 3 @ 75.4031
76.85/77.12	c GLOBAL bounds 5 >= 3 @ 75.4037
76.96/77.26	c GLOBAL bounds 5 >= 3 @ 75.544
76.96/77.26	c GLOBAL bounds 5 >= 3 @ 75.5446
77.05/77.39	c GLOBAL bounds 5 >= 3 @ 75.6706
77.05/77.39	c GLOBAL bounds 5 >= 3 @ 75.6712
77.26/77.53	c GLOBAL bounds 5 >= 3 @ 75.8052
77.26/77.53	c GLOBAL bounds 5 >= 3 @ 75.8059
77.26/77.55	c GLOBAL bounds 5 >= 3 @ 75.8256
77.26/77.55	c GLOBAL bounds 5 >= 3 @ 75.8262
77.26/77.57	c GLOBAL bounds 5 >= 3 @ 75.8448
77.26/77.57	c GLOBAL bounds 5 >= 3 @ 75.8455
77.26/77.59	c GLOBAL bounds 5 >= 3 @ 75.8655
77.26/77.59	c GLOBAL bounds 5 >= 3 @ 75.8661
77.35/77.62	c GLOBAL bounds 5 >= 3 @ 75.8863
77.35/77.62	c GLOBAL bounds 5 >= 3 @ 75.8869
77.35/77.64	c GLOBAL bounds 5 >= 3 @ 75.9064
77.35/77.64	c GLOBAL bounds 5 >= 3 @ 75.907
77.35/77.64	c GLOBAL bounds 5 >= 3 @ 75.9076
77.35/77.64	c GLOBAL bounds 5 >= 3 @ 75.9077
77.35/77.66	c GLOBAL bounds 5 >= 3 @ 75.928
77.35/77.66	c GLOBAL bounds 5 >= 3 @ 75.9318
77.35/77.68	c GLOBAL bounds 5 >= 3 @ 75.9519
77.35/77.68	c GLOBAL bounds 5 >= 3 @ 75.9525
77.45/77.70	c GLOBAL bounds 5 >= 3 @ 75.9716
77.45/77.70	c GLOBAL bounds 5 >= 3 @ 75.9719
77.45/77.72	c GLOBAL bounds 5 >= 3 @ 75.9897
77.45/77.72	c GLOBAL bounds 5 >= 3 @ 75.9904
77.45/77.75	c GLOBAL bounds 5 >= 3 @ 76.0093
77.45/77.75	c GLOBAL bounds 5 >= 3 @ 76.0099
77.45/77.77	c GLOBAL bounds 5 >= 3 @ 76.0288
77.45/77.77	c GLOBAL bounds 5 >= 3 @ 76.0294
77.45/77.79	c GLOBAL bounds 5 >= 3 @ 76.0492
77.45/77.79	c GLOBAL bounds 5 >= 3 @ 76.0499
77.56/77.81	c GLOBAL bounds 5 >= 3 @ 76.0697
77.56/77.81	c GLOBAL bounds 5 >= 3 @ 76.0703
77.56/77.83	c GLOBAL bounds 5 >= 3 @ 76.0893
77.56/77.83	c GLOBAL bounds 5 >= 3 @ 76.0896
77.56/77.85	c GLOBAL bounds 5 >= 3 @ 76.11
77.56/77.85	c GLOBAL bounds 5 >= 3 @ 76.1105
77.56/77.87	c GLOBAL bounds 5 >= 3 @ 76.1298
77.56/77.87	c GLOBAL bounds 5 >= 3 @ 76.1305
77.56/77.87	c GLOBAL bounds 5 >= 3 @ 76.1305
77.56/77.87	c GLOBAL bounds 5 >= 3 @ 76.1305
77.56/77.89	c GLOBAL bounds 5 >= 3 @ 76.1514
77.65/77.91	c GLOBAL bounds 5 >= 3 @ 76.1703
77.65/77.93	c GLOBAL bounds 5 >= 3 @ 76.1911
77.65/77.93	c GLOBAL bounds 5 >= 3 @ 76.1918
77.65/77.96	c GLOBAL bounds 5 >= 3 @ 76.2115
77.65/77.96	c GLOBAL bounds 5 >= 3 @ 76.2121
77.65/77.98	c GLOBAL bounds 5 >= 3 @ 76.2323
77.65/77.98	c GLOBAL bounds 5 >= 3 @ 76.233
77.65/78.00	c GLOBAL bounds 5 >= 3 @ 76.2553
77.65/78.00	c GLOBAL bounds 5 >= 3 @ 76.2559
77.75/78.02	c GLOBAL bounds 5 >= 3 @ 76.2763
77.75/78.02	c GLOBAL bounds 5 >= 3 @ 76.277
77.75/78.04	c GLOBAL bounds 5 >= 3 @ 76.2977
77.75/78.04	c GLOBAL bounds 5 >= 3 @ 76.298
77.75/78.06	c GLOBAL bounds 5 >= 3 @ 76.3184
77.75/78.06	c GLOBAL bounds 5 >= 3 @ 76.3192
77.75/78.09	c GLOBAL bounds 5 >= 3 @ 76.3407
77.75/78.09	c GLOBAL bounds 5 >= 3 @ 76.3414
77.85/78.11	c GLOBAL bounds 5 >= 3 @ 76.3605
77.85/78.11	c GLOBAL bounds 5 >= 3 @ 76.3609
77.85/78.13	c GLOBAL bounds 5 >= 3 @ 76.379
77.85/78.13	c GLOBAL bounds 5 >= 3 @ 76.3796
77.85/78.13	c GLOBAL bounds 5 >= 3 @ 76.3799
77.85/78.13	c GLOBAL bounds 5 >= 3 @ 76.3799
77.85/78.15	c GLOBAL bounds 5 >= 3 @ 76.3989
77.85/78.17	c GLOBAL bounds 5 >= 3 @ 76.4184
77.85/78.19	c GLOBAL bounds 5 >= 3 @ 76.4379
77.85/78.19	c GLOBAL bounds 5 >= 3 @ 76.4384
77.95/78.21	c GLOBAL bounds 5 >= 3 @ 76.4575
77.95/78.21	c GLOBAL bounds 5 >= 3 @ 76.458
77.95/78.23	c GLOBAL bounds 5 >= 3 @ 76.4778
77.95/78.23	c GLOBAL bounds 5 >= 3 @ 76.4783
77.95/78.25	c GLOBAL bounds 5 >= 3 @ 76.4976
77.95/78.25	c GLOBAL bounds 5 >= 3 @ 76.4982
77.95/78.27	c GLOBAL bounds 5 >= 3 @ 76.5173
77.95/78.27	c GLOBAL bounds 5 >= 3 @ 76.5175
77.95/78.29	c GLOBAL bounds 5 >= 3 @ 76.5368
77.95/78.29	c GLOBAL bounds 5 >= 3 @ 76.5374
78.05/78.31	c GLOBAL bounds 5 >= 3 @ 76.5567
78.05/78.31	c GLOBAL bounds 5 >= 3 @ 76.5573
78.05/78.33	c GLOBAL bounds 5 >= 3 @ 76.5763
78.05/78.33	c GLOBAL bounds 5 >= 3 @ 76.5764
78.05/78.35	c GLOBAL bounds 5 >= 3 @ 76.5981
78.05/78.35	c GLOBAL bounds 5 >= 3 @ 76.5987
78.05/78.38	c GLOBAL bounds 5 >= 3 @ 76.6195
78.05/78.38	c GLOBAL bounds 5 >= 3 @ 76.6202
78.05/78.38	c GLOBAL bounds 5 >= 3 @ 76.6208
78.05/78.38	c GLOBAL bounds 5 >= 3 @ 76.6209
78.14/78.40	c GLOBAL bounds 5 >= 3 @ 76.6427
78.14/78.42	c GLOBAL bounds 5 >= 3 @ 76.6623
78.14/78.44	c GLOBAL bounds 5 >= 3 @ 76.6813
78.14/78.44	c GLOBAL bounds 5 >= 3 @ 76.6819
78.14/78.46	c GLOBAL bounds 5 >= 3 @ 76.701
78.14/78.46	c GLOBAL bounds 5 >= 3 @ 76.7011
78.14/78.49	c GLOBAL bounds 5 >= 3 @ 76.7262
78.14/78.49	c GLOBAL bounds 5 >= 3 @ 76.7268
78.25/78.51	c GLOBAL bounds 5 >= 3 @ 76.7491
78.25/78.51	c GLOBAL bounds 5 >= 3 @ 76.7498
78.25/78.53	c GLOBAL bounds 5 >= 3 @ 76.7687
78.25/78.53	c GLOBAL bounds 5 >= 3 @ 76.7689
78.25/78.55	c GLOBAL bounds 5 >= 3 @ 76.7872
78.25/78.55	c GLOBAL bounds 5 >= 3 @ 76.7878
78.25/78.57	c GLOBAL bounds 5 >= 3 @ 76.8076
78.25/78.57	c GLOBAL bounds 5 >= 3 @ 76.8079
78.25/78.59	c GLOBAL bounds 5 >= 3 @ 76.8275
78.25/78.59	c GLOBAL bounds 5 >= 3 @ 76.8282
78.35/78.62	c GLOBAL bounds 5 >= 3 @ 76.8478
78.35/78.62	c GLOBAL bounds 5 >= 3 @ 76.8484
78.35/78.64	c GLOBAL bounds 5 >= 3 @ 76.8679
78.35/78.64	c GLOBAL bounds 5 >= 3 @ 76.8685
78.35/78.64	c GLOBAL bounds 5 >= 3 @ 76.8687
78.35/78.64	c GLOBAL bounds 5 >= 3 @ 76.8687
78.35/78.66	c GLOBAL bounds 5 >= 3 @ 76.8882
78.35/78.68	c GLOBAL bounds 5 >= 3 @ 76.9059
78.45/78.70	c GLOBAL bounds 5 >= 3 @ 76.9262
78.45/78.70	c GLOBAL bounds 5 >= 3 @ 76.9266
78.45/78.72	c GLOBAL bounds 5 >= 3 @ 76.9455
78.45/78.72	c GLOBAL bounds 5 >= 3 @ 76.9455
78.45/78.74	c GLOBAL bounds 5 >= 3 @ 76.965
78.45/78.74	c GLOBAL bounds 5 >= 3 @ 76.9655
78.45/78.76	c GLOBAL bounds 5 >= 3 @ 76.9843
78.45/78.76	c GLOBAL bounds 5 >= 3 @ 76.9844
78.45/78.78	c GLOBAL bounds 5 >= 3 @ 77.0029
78.45/78.78	c GLOBAL bounds 5 >= 3 @ 77.0034
78.55/78.80	c GLOBAL bounds 5 >= 3 @ 77.0216
78.55/78.80	c GLOBAL bounds 5 >= 3 @ 77.0221
78.55/78.82	c GLOBAL bounds 5 >= 3 @ 77.0412
78.55/78.82	c GLOBAL bounds 5 >= 3 @ 77.0419
78.55/78.84	c GLOBAL bounds 5 >= 3 @ 77.0626
78.55/78.84	c GLOBAL bounds 5 >= 3 @ 77.0632
78.55/78.87	c GLOBAL bounds 5 >= 3 @ 77.0861
78.55/78.87	c GLOBAL bounds 5 >= 3 @ 77.0868
78.55/78.89	c GLOBAL bounds 5 >= 3 @ 77.1074
78.55/78.89	c GLOBAL bounds 5 >= 3 @ 77.108
78.55/78.89	c GLOBAL bounds 5 >= 3 @ 77.1086
78.55/78.89	c GLOBAL bounds 5 >= 3 @ 77.1087
78.65/78.91	c GLOBAL bounds 5 >= 3 @ 77.1303
78.65/78.93	c GLOBAL bounds 5 >= 3 @ 77.1508
78.65/78.95	c GLOBAL bounds 5 >= 3 @ 77.1708
78.65/78.95	c GLOBAL bounds 5 >= 3 @ 77.1708
78.65/78.98	c GLOBAL bounds 5 >= 3 @ 77.1908
78.65/78.98	c GLOBAL bounds 5 >= 3 @ 77.1909
78.65/79.00	c GLOBAL bounds 5 >= 3 @ 77.2117
78.65/79.00	c GLOBAL bounds 5 >= 3 @ 77.2123
78.75/79.02	c GLOBAL bounds 5 >= 3 @ 77.2313
78.75/79.02	c GLOBAL bounds 5 >= 3 @ 77.2318
78.75/79.04	c GLOBAL bounds 5 >= 3 @ 77.2515
78.75/79.04	c GLOBAL bounds 5 >= 3 @ 77.2517
78.75/79.06	c GLOBAL bounds 5 >= 3 @ 77.2704
78.75/79.06	c GLOBAL bounds 5 >= 3 @ 77.2711
78.75/79.08	c GLOBAL bounds 5 >= 3 @ 77.2913
78.75/79.08	c GLOBAL bounds 5 >= 3 @ 77.2916
78.85/79.10	c GLOBAL bounds 5 >= 3 @ 77.3095
78.85/79.10	c GLOBAL bounds 5 >= 3 @ 77.3103
78.85/79.13	c GLOBAL bounds 5 >= 3 @ 77.3302
78.85/79.13	c GLOBAL bounds 5 >= 3 @ 77.3306
78.85/79.15	c GLOBAL bounds 5 >= 3 @ 77.3507
78.85/79.15	c GLOBAL bounds 5 >= 3 @ 77.3514
78.85/79.15	c GLOBAL bounds 5 >= 3 @ 77.352
78.85/79.15	c GLOBAL bounds 5 >= 3 @ 77.3521
78.85/79.17	c GLOBAL bounds 5 >= 3 @ 77.3723
78.85/79.19	c GLOBAL bounds 5 >= 3 @ 77.3925
78.94/79.21	c GLOBAL bounds 5 >= 3 @ 77.4136
78.94/79.21	c GLOBAL bounds 5 >= 3 @ 77.4143
78.94/79.23	c GLOBAL bounds 5 >= 3 @ 77.4335
78.94/79.24	c GLOBAL bounds 5 >= 3 @ 77.4341
78.94/79.26	c GLOBAL bounds 5 >= 3 @ 77.4543
78.94/79.26	c GLOBAL bounds 5 >= 3 @ 77.4549
78.94/79.28	c GLOBAL bounds 5 >= 3 @ 77.4757
78.94/79.28	c GLOBAL bounds 5 >= 3 @ 77.4762
79.05/79.30	c GLOBAL bounds 5 >= 3 @ 77.4955
79.05/79.30	c GLOBAL bounds 5 >= 3 @ 77.4961
79.05/79.32	c GLOBAL bounds 5 >= 3 @ 77.5159
79.05/79.32	c GLOBAL bounds 5 >= 3 @ 77.5165
79.05/79.34	c GLOBAL bounds 5 >= 3 @ 77.5381
79.05/79.34	c GLOBAL bounds 5 >= 3 @ 77.5387
79.05/79.36	c GLOBAL bounds 5 >= 3 @ 77.5582
79.05/79.36	c GLOBAL bounds 5 >= 3 @ 77.5589
79.05/79.39	c GLOBAL bounds 5 >= 3 @ 77.5787
79.05/79.39	c GLOBAL bounds 5 >= 3 @ 77.5794
79.14/79.41	c GLOBAL bounds 5 >= 3 @ 77.5995
79.14/79.41	c GLOBAL bounds 5 >= 3 @ 77.5999
79.14/79.41	c GLOBAL bounds 5 >= 3 @ 77.5999
79.14/79.41	c GLOBAL bounds 5 >= 3 @ 77.6
79.14/79.43	c GLOBAL bounds 5 >= 3 @ 77.6214
79.14/79.45	c GLOBAL bounds 5 >= 3 @ 77.6403
79.14/79.47	c GLOBAL bounds 5 >= 3 @ 77.6606
79.14/79.47	c GLOBAL bounds 5 >= 3 @ 77.6607
79.14/79.49	c GLOBAL bounds 5 >= 3 @ 77.6809
79.14/79.49	c GLOBAL bounds 5 >= 3 @ 77.6815
79.25/79.52	c GLOBAL bounds 5 >= 3 @ 77.7027
79.25/79.52	c GLOBAL bounds 5 >= 3 @ 77.7033
79.25/79.54	c GLOBAL bounds 5 >= 3 @ 77.7251
79.25/79.54	c GLOBAL bounds 5 >= 3 @ 77.7256
79.25/79.56	c GLOBAL bounds 5 >= 3 @ 77.745
79.25/79.56	c GLOBAL bounds 5 >= 3 @ 77.7455
79.25/79.58	c GLOBAL bounds 5 >= 3 @ 77.7644
79.25/79.58	c GLOBAL bounds 5 >= 3 @ 77.765
79.34/79.60	c GLOBAL bounds 5 >= 3 @ 77.7837
79.34/79.60	c GLOBAL bounds 5 >= 3 @ 77.7844
79.34/79.63	c GLOBAL bounds 5 >= 3 @ 77.8046
79.34/79.63	c GLOBAL bounds 5 >= 3 @ 77.8054
79.34/79.65	c GLOBAL bounds 5 >= 3 @ 77.825
79.34/79.65	c GLOBAL bounds 5 >= 3 @ 77.8256
79.34/79.67	c GLOBAL bounds 5 >= 3 @ 77.8466
79.34/79.67	c GLOBAL bounds 5 >= 3 @ 77.8473
79.34/79.67	c GLOBAL bounds 5 >= 3 @ 77.848
79.34/79.67	c GLOBAL bounds 5 >= 3 @ 77.8481
79.34/79.69	c GLOBAL bounds 5 >= 3 @ 77.8703
79.45/79.71	c GLOBAL bounds 5 >= 3 @ 77.8893
79.45/79.73	c GLOBAL bounds 5 >= 3 @ 77.911
79.45/79.73	c GLOBAL bounds 5 >= 3 @ 77.9116
79.45/79.76	c GLOBAL bounds 5 >= 3 @ 77.9326
79.45/79.76	c GLOBAL bounds 5 >= 3 @ 77.9331
79.45/79.78	c GLOBAL bounds 5 >= 3 @ 77.9529
79.45/79.78	c GLOBAL bounds 5 >= 3 @ 77.9535
79.55/79.80	c GLOBAL bounds 5 >= 3 @ 77.9726
79.55/79.80	c GLOBAL bounds 5 >= 3 @ 77.973
79.55/79.82	c GLOBAL bounds 5 >= 3 @ 77.9921
79.55/79.82	c GLOBAL bounds 5 >= 3 @ 77.9927
79.55/79.84	c GLOBAL bounds 5 >= 3 @ 78.0125
79.55/79.84	c GLOBAL bounds 5 >= 3 @ 78.0129
79.55/79.86	c GLOBAL bounds 5 >= 3 @ 78.0331
79.55/79.86	c GLOBAL bounds 5 >= 3 @ 78.0338
79.55/79.89	c GLOBAL bounds 5 >= 3 @ 78.0541
79.55/79.89	c GLOBAL bounds 5 >= 3 @ 78.0547
79.65/79.91	c GLOBAL bounds 5 >= 3 @ 78.0764
79.65/79.91	c GLOBAL bounds 5 >= 3 @ 78.0767
79.65/79.93	c GLOBAL bounds 5 >= 3 @ 78.0952
79.65/79.93	c GLOBAL bounds 5 >= 3 @ 78.0957
79.65/79.93	c GLOBAL bounds 5 >= 3 @ 78.0957
79.65/79.93	c GLOBAL bounds 5 >= 3 @ 78.0957
79.65/79.95	c GLOBAL bounds 5 >= 3 @ 78.1182
79.65/79.97	c GLOBAL bounds 5 >= 3 @ 78.1379
79.65/79.99	c GLOBAL bounds 5 >= 3 @ 78.1566
79.65/79.99	c GLOBAL bounds 5 >= 3 @ 78.1572
79.75/80.01	c GLOBAL bounds 5 >= 3 @ 78.1764
79.75/80.02	c GLOBAL bounds 5 >= 3 @ 78.177
79.75/80.04	c GLOBAL bounds 5 >= 3 @ 78.1978
79.75/80.04	c GLOBAL bounds 5 >= 3 @ 78.1984
79.75/80.06	c GLOBAL bounds 5 >= 3 @ 78.218
79.75/80.06	c GLOBAL bounds 5 >= 3 @ 78.2183
79.75/80.08	c GLOBAL bounds 5 >= 3 @ 78.239
79.75/80.08	c GLOBAL bounds 5 >= 3 @ 78.2393
79.85/80.10	c GLOBAL bounds 5 >= 3 @ 78.2603
79.85/80.10	c GLOBAL bounds 5 >= 3 @ 78.2609
79.85/80.12	c GLOBAL bounds 5 >= 3 @ 78.2821
79.85/80.12	c GLOBAL bounds 5 >= 3 @ 78.2828
79.85/80.15	c GLOBAL bounds 5 >= 3 @ 78.3057
79.85/80.15	c GLOBAL bounds 5 >= 3 @ 78.3061
79.85/80.17	c GLOBAL bounds 5 >= 3 @ 78.3264
79.85/80.17	c GLOBAL bounds 5 >= 3 @ 78.3271
79.85/80.19	c GLOBAL bounds 5 >= 3 @ 78.3468
79.85/80.19	c GLOBAL bounds 5 >= 3 @ 78.347
79.85/80.19	c GLOBAL bounds 5 >= 3 @ 78.347
79.85/80.19	c GLOBAL bounds 5 >= 3 @ 78.347
79.95/80.21	c GLOBAL bounds 5 >= 3 @ 78.3672
79.95/80.24	c GLOBAL bounds 5 >= 3 @ 78.3885
79.95/80.26	c GLOBAL bounds 5 >= 3 @ 78.4104
79.95/80.26	c GLOBAL bounds 5 >= 3 @ 78.411
79.95/80.28	c GLOBAL bounds 5 >= 3 @ 78.4317
79.95/80.28	c GLOBAL bounds 5 >= 3 @ 78.4323
80.04/80.30	c GLOBAL bounds 5 >= 3 @ 78.4541
80.04/80.30	c GLOBAL bounds 5 >= 3 @ 78.4548
80.04/80.32	c GLOBAL bounds 5 >= 3 @ 78.4765
80.04/80.32	c GLOBAL bounds 5 >= 3 @ 78.4767
80.04/80.35	c GLOBAL bounds 5 >= 3 @ 78.4963
80.04/80.35	c GLOBAL bounds 5 >= 3 @ 78.497
80.04/80.37	c GLOBAL bounds 5 >= 3 @ 78.5176
80.04/80.37	c GLOBAL bounds 5 >= 3 @ 78.5182
80.04/80.39	c GLOBAL bounds 5 >= 3 @ 78.5393
80.04/80.39	c GLOBAL bounds 5 >= 3 @ 78.5396
80.14/80.41	c GLOBAL bounds 5 >= 3 @ 78.5598
80.14/80.41	c GLOBAL bounds 5 >= 3 @ 78.5605
80.14/80.43	c GLOBAL bounds 5 >= 3 @ 78.5805
80.14/80.43	c GLOBAL bounds 5 >= 3 @ 78.5812
80.14/80.46	c GLOBAL bounds 5 >= 3 @ 78.6016
80.14/80.46	c GLOBAL bounds 5 >= 3 @ 78.6022
80.14/80.46	c GLOBAL bounds 5 >= 3 @ 78.6024
80.14/80.46	c GLOBAL bounds 5 >= 3 @ 78.6024
80.14/80.48	c GLOBAL bounds 5 >= 3 @ 78.6239
80.25/80.50	c GLOBAL bounds 5 >= 3 @ 78.645
80.25/80.52	c GLOBAL bounds 5 >= 3 @ 78.6666
80.25/80.52	c GLOBAL bounds 5 >= 3 @ 78.6672
80.25/80.54	c GLOBAL bounds 5 >= 3 @ 78.687
80.25/80.54	c GLOBAL bounds 5 >= 3 @ 78.6876
80.25/80.57	c GLOBAL bounds 5 >= 3 @ 78.7094
80.25/80.57	c GLOBAL bounds 5 >= 3 @ 78.7101
80.25/80.59	c GLOBAL bounds 5 >= 3 @ 78.7318
80.25/80.59	c GLOBAL bounds 5 >= 3 @ 78.7325
80.35/80.61	c GLOBAL bounds 5 >= 3 @ 78.7532
80.35/80.61	c GLOBAL bounds 5 >= 3 @ 78.7538
80.35/80.63	c GLOBAL bounds 5 >= 3 @ 78.7738
80.35/80.63	c GLOBAL bounds 5 >= 3 @ 78.774
80.35/80.65	c GLOBAL bounds 5 >= 3 @ 78.7933
80.35/80.65	c GLOBAL bounds 5 >= 3 @ 78.7939
80.35/80.67	c GLOBAL bounds 5 >= 3 @ 78.8133
80.35/80.67	c GLOBAL bounds 5 >= 3 @ 78.8139
80.44/80.70	c GLOBAL bounds 5 >= 3 @ 78.8354
80.44/80.70	c GLOBAL bounds 5 >= 3 @ 78.8358
80.44/80.72	c GLOBAL bounds 5 >= 3 @ 78.8576
80.44/80.72	c GLOBAL bounds 5 >= 3 @ 78.8584
80.44/80.72	c GLOBAL bounds 5 >= 4 @ 78.8585
80.44/80.74	c GLOBAL bounds 5 >= 4 @ 78.8804
80.44/80.76	c GLOBAL bounds 5 >= 4 @ 78.9003
80.44/80.76	c GLOBAL bounds 5 >= 4 @ 78.9007
80.44/80.79	c GLOBAL bounds 5 >= 4 @ 78.9209
80.44/80.79	c GLOBAL bounds 5 >= 4 @ 78.9215
80.55/80.81	c GLOBAL bounds 5 >= 4 @ 78.944
80.55/80.81	c GLOBAL bounds 5 >= 4 @ 78.9446
80.55/80.83	c GLOBAL bounds 5 >= 4 @ 78.9671
80.55/80.83	c GLOBAL bounds 5 >= 4 @ 78.9675
80.55/80.86	c GLOBAL bounds 5 >= 4 @ 78.9883
80.55/80.86	c GLOBAL bounds 5 >= 4 @ 78.989
80.55/80.88	c GLOBAL bounds 5 >= 4 @ 79.0091
80.55/80.88	c GLOBAL bounds 5 >= 4 @ 79.0099
80.64/80.90	c GLOBAL bounds 5 >= 4 @ 79.03
80.64/80.90	c GLOBAL bounds 5 >= 4 @ 79.0304
80.64/80.92	c GLOBAL bounds 5 >= 4 @ 79.0485
80.64/80.92	c GLOBAL bounds 5 >= 4 @ 79.0493
80.64/80.94	c GLOBAL bounds 5 >= 4 @ 79.0686
80.64/80.94	c GLOBAL bounds 5 >= 4 @ 79.0691
80.64/80.96	c GLOBAL bounds 5 >= 4 @ 79.0898
80.64/80.96	c GLOBAL bounds 5 >= 4 @ 79.0902
80.64/80.96	c GLOBAL bounds 5 >= 4 @ 79.0902
80.64/80.98	c GLOBAL bounds 5 >= 4 @ 79.1091
80.75/81.00	c GLOBAL bounds 5 >= 4 @ 79.1276
80.75/81.00	c GLOBAL bounds 5 >= 4 @ 79.1283
80.75/81.02	c GLOBAL bounds 5 >= 4 @ 79.1475
80.75/81.02	c GLOBAL bounds 5 >= 4 @ 79.1481
80.75/81.04	c GLOBAL bounds 5 >= 4 @ 79.1685
80.75/81.05	c GLOBAL bounds 5 >= 4 @ 79.1691
80.75/81.07	c GLOBAL bounds 5 >= 4 @ 79.1904
80.75/81.07	c GLOBAL bounds 5 >= 4 @ 79.191
80.75/81.09	c GLOBAL bounds 5 >= 4 @ 79.2111
80.75/81.09	c GLOBAL bounds 5 >= 4 @ 79.2117
80.85/81.11	c GLOBAL bounds 5 >= 4 @ 79.2321
80.85/81.11	c GLOBAL bounds 5 >= 4 @ 79.2329
80.85/81.13	c GLOBAL bounds 5 >= 4 @ 79.2538
80.85/81.13	c GLOBAL bounds 5 >= 4 @ 79.2544
80.85/81.15	c GLOBAL bounds 5 >= 4 @ 79.2762
80.85/81.16	c GLOBAL bounds 5 >= 4 @ 79.2768
80.85/81.18	c GLOBAL bounds 5 >= 4 @ 79.2979
80.85/81.18	c GLOBAL bounds 5 >= 4 @ 79.2985
80.94/81.20	c GLOBAL bounds 5 >= 4 @ 79.3211
80.94/81.20	c GLOBAL bounds 5 >= 4 @ 79.3217
80.94/81.20	c GLOBAL bounds 5 >= 4 @ 79.3217
80.94/81.22	c GLOBAL bounds 5 >= 4 @ 79.3411
80.94/81.23	c GLOBAL bounds 5 >= 4 @ 79.3446
80.94/81.23	c GLOBAL bounds 5 >= 4 @ 79.3452
80.94/81.25	c GLOBAL bounds 5 >= 4 @ 79.3646
80.94/81.25	c GLOBAL bounds 5 >= 4 @ 79.3652
80.94/81.27	c GLOBAL bounds 5 >= 4 @ 79.3848
80.94/81.27	c GLOBAL bounds 5 >= 4 @ 79.3854
80.94/81.29	c GLOBAL bounds 5 >= 4 @ 79.4044
80.94/81.29	c GLOBAL bounds 5 >= 4 @ 79.4051
81.04/81.31	c GLOBAL bounds 5 >= 4 @ 79.4256
81.04/81.31	c GLOBAL bounds 5 >= 4 @ 79.4263
81.04/81.33	c GLOBAL bounds 5 >= 4 @ 79.4468
81.04/81.33	c GLOBAL bounds 5 >= 4 @ 79.4473
81.04/81.35	c GLOBAL bounds 5 >= 4 @ 79.4677
81.04/81.35	c GLOBAL bounds 5 >= 4 @ 79.4683
81.04/81.38	c GLOBAL bounds 5 >= 4 @ 79.4888
81.04/81.38	c GLOBAL bounds 5 >= 4 @ 79.4892
81.14/81.40	c GLOBAL bounds 5 >= 4 @ 79.5083
81.14/81.40	c GLOBAL bounds 5 >= 4 @ 79.5089
81.14/81.42	c GLOBAL bounds 5 >= 4 @ 79.5285
81.14/81.42	c GLOBAL bounds 5 >= 4 @ 79.5292
81.14/81.42	c GLOBAL bounds 5 >= 4 @ 79.5293
81.14/81.44	c GLOBAL bounds 5 >= 4 @ 79.5504
81.14/81.46	c GLOBAL bounds 5 >= 4 @ 79.5701
81.14/81.46	c GLOBAL bounds 5 >= 4 @ 79.5708
81.14/81.48	c GLOBAL bounds 5 >= 4 @ 79.5917
81.14/81.48	c GLOBAL bounds 5 >= 4 @ 79.5923
81.24/81.50	c GLOBAL bounds 5 >= 4 @ 79.6135
81.24/81.50	c GLOBAL bounds 5 >= 4 @ 79.614
81.24/81.52	c GLOBAL bounds 5 >= 4 @ 79.6343
81.24/81.53	c GLOBAL bounds 5 >= 4 @ 79.6349
81.24/81.55	c GLOBAL bounds 5 >= 4 @ 79.6549
81.24/81.55	c GLOBAL bounds 5 >= 4 @ 79.6556
81.24/81.55	c Conflict after adding new constraint
81.24/81.55	c cpu time 79.6606 s
81.24/81.55	c deterministic time 1180936422 1.18e+09
81.24/81.55	c optimization time 0.776405 s
81.24/81.55	c total solve time 78.7785 s
81.24/81.55	c core-guided solve time 0 s
81.24/81.55	c propagation time 31.2076 s
81.24/81.55	c conflict analysis time 32.0112 s
81.24/81.55	c propagations 3409275
81.24/81.55	c resolve steps 1101688
81.24/81.55	c decisions 1470391
81.24/81.55	c conflicts 47946
81.24/81.55	c restarts 141
81.24/81.55	c inprocessing phases 14
81.24/81.55	c garbage collections 14 ,( 100.00 )
81.24/81.55	c input clauses 881 ,( 44.23 )
81.24/81.55	c input cardinalities 1 ,( 0.05 )
81.24/81.55	c input general constraints 1110 ,( 55.72 )
81.24/81.55	c input average constraint length 515.09
81.24/81.55	c input average constraint degree 103.11
81.24/81.55	c learned clauses 41520 ,( 78.05 )
81.24/81.55	c learned cardinalities 1 ,( 0.00 )
81.24/81.55	c learned general constraints 11679 ,( 21.95 )
81.24/81.55	c learned average constraint length 369.47
81.24/81.55	c learned average constraint degree 67947383.27
81.24/81.55	c watched  CF 32, 64, 128, Arb: 2540 , 0 , 0 , 0
81.24/81.55	c counting CF 32, 64, 128, Arb: 10250 , 0 , 0 , 0
81.24/81.55	c watched   constraints 2540 ,( 19.86 ) 
81.24/81.55	c counting  constraints 10249 ,( 80.14 ) 
81.24/81.55	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 5701271 , 10386 , 72305457 ,( 3571148 , 68734309 )
81.24/81.55	c gcd simplifications 9093
81.24/81.55	c detected cardinalities 0
81.24/81.55	c weakened non-implied lits 1484674
81.24/81.55	c weakened non-implying lits 277035
81.24/81.55	c original variables 1294
81.24/81.55	c clausal propagations 98558
81.24/81.55	c cardinality propagations 4266
81.24/81.55	c watched propagations 59234
81.24/81.55	c counting propagations 2770589
81.24/81.55	c watch lookups 522195654
81.24/81.55	c watch backjump lookups 0
81.24/81.55	c watch checks 205414760
81.24/81.55	c propagation checks 112440196
81.24/81.55	c constraint additions 331014464
81.24/81.55	c trail pops 4927289
81.24/81.55	c formula constraints 1092
81.24/81.55	c learned constraints 47625
81.24/81.55	c bound constraints 0
81.24/81.55	c core-guided constraints 0
81.24/81.55	c encountered formula constraints 994108
81.24/81.55	c encountered learned constraints 149152
81.24/81.55	c encountered bound constraints 0
81.24/81.55	c encountered core-guided constraints 0
81.24/81.55	c LP total time 37.0805 s
81.24/81.55	c LP solve time 20.8 s
81.24/81.55	c LP constraints added 1217
81.24/81.55	c LP constraints removed 105
81.24/81.55	c LP pivots internal 48371
81.24/81.55	c LP pivots root 16021
81.24/81.55	c LP calls 5582
81.24/81.55	c LP optimalities 335
81.24/81.55	c LP no pivot count 52
81.24/81.55	c LP infeasibilities 5236
81.24/81.55	c LP valid Farkas constraints 5228
81.24/81.55	c LP learned Farkas constraints 321
81.24/81.55	c LP basis resets 16
81.24/81.55	c LP cycling count 8
81.24/81.55	c LP singular count 0
81.24/81.55	c LP no primal count 0
81.24/81.55	c LP no farkas count 8
81.24/81.55	c LP other issue count 0
81.24/81.55	c LP Gomory cuts 26
81.24/81.55	c LP learned cuts 99
81.24/81.55	c LP deleted cuts 105
81.24/81.55	c LP encountered Gomory constraints 0
81.24/81.55	c LP encountered Farkas constraints 3717
81.24/81.55	c LP encountered learned Farkas constraints 2276
81.24/81.55	c CG auxiliary variables introduced 291
81.24/81.55	c CG solutions found 8
81.24/81.55	c CG cores constructed 794
81.24/81.55	c CG core cardinality constraints returned 0
81.24/81.55	c CG unit cores 0
81.24/81.55	c CG single cores 0
81.24/81.55	c CG blocks removed during cardinality reduction 0
81.24/81.55	c CG first core best 0
81.24/81.55	c CG decision core best 0
81.24/81.55	c CG core reduction tie 0
81.24/81.55	c CG core degree average 0.00
81.24/81.55	c CG core slack average 0.00
81.24/81.55	c CG core upper bound improvements 0
81.24/81.55	c STR number of successful calls 0
81.24/81.55	c STR number of unsuccessful calls 0
81.24/81.55	c STR number of inconclusive calls 0
81.24/81.55	c STR number of successful attempts 0
81.24/81.55	c STR number of unsuccessful attempts 0
81.24/81.55	c STR number of inconclusive attempts 0
81.24/81.55	c STR average degree increase per successful call inf
81.24/81.55	c STR average degree increase per successful attempt inf
81.24/81.55	c STR total number of conflicts for successful attempts 0
81.24/81.55	c STR total number of conflicts for unsuccessful attempts 0
81.24/81.55	c STR total number of conflicts for inconclusive attempts 0
81.24/81.55	c STR average number of conflicts per successful attempt inf
81.24/81.55	c STR average number of conflicts per unsuccessful attempt inf
81.24/81.55	c STR average number of conflicts per inconclusive attempt inf
81.24/81.55	c AVG.sumWPerc 56.06 
81.24/81.55	c bigint constraints 0 
81.24/81.55	o 4
81.24/81.55	s OPTIMUM FOUND
81.24/81.55	v -x1 x2 -x3 x4 -x5 x6 -x7 -x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 x34 -x35 x36 x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 x50 x51 x52 x53 -x54 -x55 -x56 x57 -x58 -x59 x60 x61 -x62 -x63 x64 -x65 -x66 x67 x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 x92 x93 x94 -x95 x96 -x97 x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 x109 x110 -x111 -x112 x113 x114 x115 x116 x117 x118 -x119 x120 x121 x122 -x123 x124 x125 x126 x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 x137 x138 x139 -x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 x192 x193 x194 x195 x196 x197 x198 -x199 x200 x201 -x202 -x203 x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 x220 -x221 -x222 x223 x224 x225 x226 x227 -x228 x229 -x230 -x231 x232 x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 x252 -x253 -x254 x255 x256 -x257 -x258 x259 x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 x277 -x278 x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 x297 x298 x299 x300 x301 -x302 -x303 x304 x305 -x306 -x307 x308 x309 -x310 -x311 -x312 -x313 -x314 x315 x316 -x317 -x318 -x319 x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 x332 x333 -x334 -x335 -x336 x337 x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 x348 -x349 x350 x351 x352 x353 x354 -x355 -x356 -x357 x358 -x359 x360 -x361 x362 -x363 x364 -x365 -x366 -x367 x368 -x369 x370 x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 x388 -x389 -x390 x391 x392 x393 -x394 -x395 x396 -x397 x398 x399 -x400 -x401 -x402 -x403 -x404 x405 x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 x415 -x416 x417 -x418 x419 x420 -x421 -x422 x423 -x424 -x425 x426 x427 -x428 -x429 -x430 x431 x432 x433 x434 x435 -x436 -x437 -x438 -x439 -x440 x441 x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 x452 -x453 -x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 -x465 -x466 -x467 x468 x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 x492 -x493 x494 x495 x496 x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 x505 x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x519 x520 x521 x522 x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 x549 x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 x638 x639 -x640 -x641 x642 x643 x644 -x645 -x646 -x647 x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 x668 -x669 x670 -x671 x672 -x673 x674 x675 x676 -x677 x678 x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 x688 -x689 x690 -x691 -x692 -x693 -x694 x695 x696 x697 x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 x707 x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 x726 -x727 x728 -x729 x730 -x731 -x732 x733 x734 -x735 x736 -x737 -x738 -x739 x740 -x741 x742 x743 -x744 -x745 -x746 x747 -x748 x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 x762 x763 x764 -x765 x766 x767 x768 -x769 -x770 x771 -x772 x773 x774 -x775 -x776 -x777 -x778 -x779 x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 x795 -x796 -x797 x798 x799 x800 x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 x822 x823 x824 -x825 -x826 x827 -x828 -x829 x830 -x831 -x832 -x833 x834 x835 x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 x850 x851 x852 -x853 x854 -x855 x856 -x857 x858 -x859 x860 x861 x862 x863 -x864 -x865 x866 x867 x868 x869 x870 x871 -x872 -x873 -x874 x875 -x876 x877 -x878 x879 x880 -x881 x882 x883 -x884 x885 -x886 x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 x898 -x899 x900 x901 x902 x903 x904 -x905 x906 -x907 -x908 x909 -x910 x911 -x912 x913 -x914 x915 x916 -x917 -x918 x919 x920 -x921 x922 x923 -x924 -x925 -x926 x927 -x928 x929 x930 x931 -x932 x933 x934 -x935 -x936 -x937 x938 x939 x940 x941 -x942 -x943 x944 -x945 x946 x947 x948 -x949 x950 x951 -x952 x953 x954 -x955 x956 x957 x958 -x959 x960 x961 x962 x963 -x964 -x965 -x966 x967 x968 x969 x970 -x971 -x972 -x973 x974 x975 -x976 -x977 x978 -x979 -x980 x981 x982 -x983 x984 x985 -x986 -x987 -x988 -x989 x990 x991 x992 -x993 -x994 -x995 x996 -x997 -x998 x999 -x1000 -x1001 -x1002 x1003 x1004 x1005 -x1006 -x1007 -x1008 x1009 x1010 -x1011 x1012 x1013 -x1014 x1015 x1016 -x1017 -x1018 -x1019 x1020 x1021 -x1022 -x1023 -x1024 x1025 x1026 x1027 -x1028 -x1029 -x1030 x1031 x1032 -x1033 -x1034 x1035 x1036 x1037 -x1038 x1039 x1040 -x1041 -x1042 x1043 -x1044 -x1045 x1046 -x1047 x1048 x1049 x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 x1058 -x1059 x1060 -x1061 -x1062 x1063 x1064 x1065 x1066 -x1067 -x1068 x1069 -x1070 x1071 -x1072 -x1073 x1074 x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 x1095 x1096 -x1097 x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 x1113 x1114 -x1115 x1116 x1117 -x1118 -x1119 x1120 -x1121 x1122 -x1123 x1124 x1125 x1126 -x1127 x1128 x1129 -x1130 -x1131 x1132 -x1133 x1134 x1135 x1136 x1137 x1138 x1139 x1140 -x1141 -x1142 -x1143 x1144 x1145 x1146 x1147 x1148 -x1149 x1150 -x1151 x1152 x1153 -x1154 -x1155 x1156 -x1157 x1158 x1159 -x1160 x1161 -x1162 x1163 x1164 x1165 x1166 x1167 x1168 x1169 x1170 -x1171 -x1172 -x1173 x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 x1186 x1187 x1188 -x1189 -x1190 -x1191 x1192 -x1193 x1194 x1195 x1196 x1197 -x1198 -x1199 x1200 x1201 -x1202 -x1203 -x1204 -x1205 x1206 x1207 x1208 -x1209 x1210 x1211 x1212 -x1213 -x1214 x1215 -x1216 -x1217 x1218 x1219 x1220 -x1221 x1222 -x1223 -x1224 x1225 x1226 -x1227 -x1228 x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 x1252 x1253 x1254 -x1255 x1256 -x1257 x1258 -x1259 x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 x1277 x1278 -x1279 x1280 -x1281 x1282 -x1283 -x1284 -x1285 x1286 -x1287 x1288 -x1289 x1290 -x1291 -x1292 x1293 x1294

Verifier Data 

OK	4

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: 63665 MiB (58149 MiB free)
  memory of node 1: 64507 MiB (42565 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523516-1751607220/watcher-4523516-1751607220 -o /tmp/evaluation-result-4523516-1751607220/solver-4523516-1751607220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751603608-84770 --watchdog 3760 run-opt.sh HOME/instance-4523516-1751607220.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=85204, runsolver pid=85201

[startup+0.100057 s]*
/proc/loadavg: 4.12 4.09 4.03 4/261 85206
/proc/meminfo: memFree=103123700/131249988 swapFree=33010160/33010684
[pid=85204] ppid=85201 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85204/stat : 85204 (run-opt.sh) S 85201 85204 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76400823 4292608 736 18446744073709551615 94169854881792 94169855776325 140733183505120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169856015376 94169856063120 94169887043584 140733183506797 140733183506920 140733183506920 140733183512522 0
/proc/85204/statm: 1048 736 672 219 0 110 0
[pid=85206] ppid=85204 vsize=62376 memory=19496 CPUtime=0.07 cores=0,2
/proc/85206/stat : 85206 (roundingsat) R 85204 85204 84760 0 -1 4194304 2146 0 0 0 7 0 0 0 20 0 1 0 76400824 63873024 4874 18446744073709551615 4227072 8923433 140735230656608 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34406400 140735230663074 140735230663208 140735230663208 140735230668778 0
/proc/85206/statm: 15594 4874 1888 1147 0 3021 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 66568 KiB
Current children cumulated memory: 22440 KiB

[startup+0.205606 s]*
/proc/loadavg: 4.12 4.09 4.03 4/261 85206
/proc/meminfo: memFree=103112108/131249988 swapFree=33010160/33010684
[pid=85204] ppid=85201 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85204/stat : 85204 (run-opt.sh) S 85201 85204 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76400823 4292608 736 18446744073709551615 94169854881792 94169855776325 140733183505120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169856015376 94169856063120 94169887043584 140733183506797 140733183506920 140733183506920 140733183512522 0
/proc/85204/statm: 1048 736 672 219 0 110 0
[pid=85206] ppid=85204 vsize=77856 memory=36660 CPUtime=0.18 cores=0,2
/proc/85206/stat : 85206 (roundingsat) R 85204 85204 84760 0 -1 4194304 6144 0 0 0 13 5 0 0 20 0 1 0 76400824 79724544 9165 18446744073709551615 4227072 8923433 140735230656608 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34406400 140735230663074 140735230663208 140735230663208 140735230668778 0
/proc/85206/statm: 19464 9165 2336 1147 0 6891 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 82048 KiB
Current children cumulated memory: 39604 KiB

[startup+0.305535 s]*
/proc/loadavg: 4.12 4.09 4.03 4/261 85206
/proc/meminfo: memFree=103112108/131249988 swapFree=33010160/33010684
[pid=85204] ppid=85201 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85204/stat : 85204 (run-opt.sh) S 85201 85204 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76400823 4292608 736 18446744073709551615 94169854881792 94169855776325 140733183505120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169856015376 94169856063120 94169887043584 140733183506797 140733183506920 140733183506920 140733183512522 0
/proc/85204/statm: 1048 736 672 219 0 110 0
[pid=85206] ppid=85204 vsize=77856 memory=36660 CPUtime=0.28 cores=0,2
/proc/85206/stat : 85206 (roundingsat) R 85204 85204 84760 0 -1 4194304 6144 0 0 0 18 10 0 0 20 0 1 0 76400824 79724544 9165 18446744073709551615 4227072 8923433 140735230656608 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34406400 140735230663074 140735230663208 140735230663208 140735230668778 0
/proc/85206/statm: 19464 9165 2336 1147 0 6891 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 82048 KiB
Current children cumulated memory: 39604 KiB

[startup+0.700203 s]
/proc/loadavg: 4.12 4.09 4.03 4/261 85206
/proc/meminfo: memFree=103111856/131249988 swapFree=33010160/33010684
[pid=85204] ppid=85201 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85204/stat : 85204 (run-opt.sh) S 85201 85204 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76400823 4292608 736 18446744073709551615 94169854881792 94169855776325 140733183505120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169856015376 94169856063120 94169887043584 140733183506797 140733183506920 140733183506920 140733183512522 0
/proc/85204/statm: 1048 736 672 219 0 110 0
[pid=85206] ppid=85204 vsize=100732 memory=59588 CPUtime=0.67 cores=0,2
/proc/85206/stat : 85206 (roundingsat) R 85204 85204 84760 0 -1 4194304 17537 0 0 0 45 22 0 0 20 0 1 0 76400824 103149568 14897 18446744073709551615 4227072 8923433 140735230656608 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34406400 140735230663074 140735230663208 140735230663208 140735230668778 0
/proc/85206/statm: 25183 14897 2400 1147 0 12610 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 104924 KiB
Current children cumulated memory: 62532 KiB

[startup+1.50018 s]
/proc/loadavg: 4.12 4.09 4.03 4/263 85238
/proc/meminfo: memFree=103063992/131249988 swapFree=33010160/33010684
[pid=85204] ppid=85201 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85204/stat : 85204 (run-opt.sh) S 85201 85204 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76400823 4292608 736 18446744073709551615 94169854881792 94169855776325 140733183505120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169856015376 94169856063120 94169887043584 140733183506797 140733183506920 140733183506920 140733183512522 0
/proc/85204/statm: 1048 736 672 219 0 110 0
[pid=85206] ppid=85204 vsize=100732 memory=59588 CPUtime=1.46 cores=0,2
/proc/85206/stat : 85206 (roundingsat) R 85204 85204 84760 0 -1 4194304 17537 0 0 0 124 22 0 0 20 0 1 0 76400824 103149568 14897 18446744073709551615 4227072 8923433 140735230656608 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34406400 140735230663074 140735230663208 140735230663208 140735230668778 0
/proc/85206/statm: 25183 14897 2400 1147 0 12610 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 104924 KiB
Current children cumulated memory: 62532 KiB

[startup+3.10553 s]
/proc/loadavg: 4.12 4.09 4.03 5/266 85244
/proc/meminfo: memFree=103012824/131249988 swapFree=33010160/33010684
[pid=85204] ppid=85201 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85204/stat : 85204 (run-opt.sh) S 85201 85204 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76400823 4292608 736 18446744073709551615 94169854881792 94169855776325 140733183505120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169856015376 94169856063120 94169887043584 140733183506797 140733183506920 140733183506920 140733183512522 0
/proc/85204/statm: 1048 736 672 219 0 110 0
[pid=85206] ppid=85204 vsize=110068 memory=67804 CPUtime=3.06 cores=0,2
/proc/85206/stat : 85206 (roundingsat) R 85204 85204 84760 0 -1 4194304 20062 0 0 0 282 24 0 0 20 0 1 0 76400824 112709632 16951 18446744073709551615 4227072 8923433 140735230656608 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34406400 140735230663074 140735230663208 140735230663208 140735230668778 0
/proc/85206/statm: 27517 16951 2400 1147 0 14944 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 114260 KiB
Current children cumulated memory: 70748 KiB

[startup+6.30021 s]
/proc/loadavg: 4.11 4.09 4.03 5/266 85244
/proc/meminfo: memFree=102987748/131249988 swapFree=33010160/33010684
[pid=85204] ppid=85201 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85204/stat : 85204 (run-opt.sh) S 85201 85204 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76400823 4292608 736 18446744073709551615 94169854881792 94169855776325 140733183505120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169856015376 94169856063120 94169887043584 140733183506797 140733183506920 140733183506920 140733183512522 0
/proc/85204/statm: 1048 736 672 219 0 110 0
[pid=85206] ppid=85204 vsize=131132 memory=87468 CPUtime=6.25 cores=0,2
/proc/85206/stat : 85206 (roundingsat) R 85204 85204 84760 0 -1 4194304 22511 0 0 0 597 28 0 0 20 0 1 0 76400824 134279168 21867 18446744073709551615 4227072 8923433 140735230656608 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34406400 140735230663074 140735230663208 140735230663208 140735230668778 0
/proc/85206/statm: 32783 21867 2400 1147 0 20210 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 135324 KiB
Current children cumulated memory: 90412 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.03 5/266 85244
/proc/meminfo: memFree=102906280/131249988 swapFree=33010160/33010684
[pid=85204] ppid=85201 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85204/stat : 85204 (run-opt.sh) S 85201 85204 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76400823 4292608 736 18446744073709551615 94169854881792 94169855776325 140733183505120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169856015376 94169856063120 94169887043584 140733183506797 140733183506920 140733183506920 140733183512522 0
/proc/85204/statm: 1048 736 672 219 0 110 0
[pid=85206] ppid=85204 vsize=166936 memory=119236 CPUtime=12.63 cores=0,2
/proc/85206/stat : 85206 (roundingsat) R 85204 85204 84760 0 -1 4194304 25336 0 0 0 1231 32 0 0 20 0 1 0 76400824 170942464 29809 18446744073709551615 4227072 8923433 140735230656608 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34406400 140735230663074 140735230663208 140735230663208 140735230668778 0
/proc/85206/statm: 41734 29809 2400 1147 0 29161 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 171128 KiB
Current children cumulated memory: 122180 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 4.03 5/266 85245
/proc/meminfo: memFree=102856004/131249988 swapFree=33010160/33010684
[pid=85204] ppid=85201 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85204/stat : 85204 (run-opt.sh) S 85201 85204 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76400823 4292608 736 18446744073709551615 94169854881792 94169855776325 140733183505120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169856015376 94169856063120 94169887043584 140733183506797 140733183506920 140733183506920 140733183512522 0
/proc/85204/statm: 1048 736 672 219 0 110 0
[pid=85206] ppid=85204 vsize=154516 memory=106796 CPUtime=25.41 cores=0,2
/proc/85206/stat : 85206 (roundingsat) R 85204 85204 84760 0 -1 4194304 26160 0 0 0 2498 43 0 0 20 0 1 0 76400824 158224384 26699 18446744073709551615 4227072 8923433 140735230656608 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34406400 140735230663074 140735230663208 140735230663208 140735230668778 0
/proc/85206/statm: 38629 26699 2400 1147 0 26056 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 158708 KiB
Current children cumulated memory: 109740 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.09 4.03 5/266 85245
/proc/meminfo: memFree=102804000/131249988 swapFree=33010160/33010684
[pid=85204] ppid=85201 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85204/stat : 85204 (run-opt.sh) S 85201 85204 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76400823 4292608 736 18446744073709551615 94169854881792 94169855776325 140733183505120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169856015376 94169856063120 94169887043584 140733183506797 140733183506920 140733183506920 140733183512522 0
/proc/85204/statm: 1048 736 672 219 0 110 0
[pid=85206] ppid=85204 vsize=161852 memory=115192 CPUtime=50.95 cores=0,2
/proc/85206/stat : 85206 (roundingsat) R 85204 85204 84760 0 -1 4194304 33024 0 0 0 5011 84 0 0 20 0 1 0 76400824 165736448 28798 18446744073709551615 4227072 8923433 140735230656608 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34406400 140735230663074 140735230663208 140735230663208 140735230668778 0
/proc/85206/statm: 40463 28798 2400 1147 0 27890 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 166044 KiB
Current children cumulated memory: 118136 KiB

[startup+81.5635 s]
# the end of solver process 85204 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=79.6633 s, system=1.65395 s

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

[startup+51.2002 s]
/proc/loadavg: 4.12 4.09 4.03 5/266 85245
/proc/meminfo: memFree=102804000/131249988 swapFree=33010160/33010684
[pid=85204] ppid=85201 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85204/stat : 85204 (run-opt.sh) S 85201 85204 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76400823 4292608 736 18446744073709551615 94169854881792 94169855776325 140733183505120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169856015376 94169856063120 94169887043584 140733183506797 140733183506920 140733183506920 140733183512522 0
/proc/85204/statm: 1048 736 672 219 0 110 0
[pid=85206] ppid=85204 vsize=161852 memory=115192 CPUtime=51.04 cores=0,2
/proc/85206/stat : 85206 (roundingsat) R 85204 85204 84760 0 -1 4194304 33024 0 0 0 5020 84 0 0 20 0 1 0 76400824 165736448 28798 18446744073709551615 4227072 8923433 140735230656608 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34406400 140735230663074 140735230663208 140735230663208 140735230668778 0
/proc/85206/statm: 40463 28798 2400 1147 0 27890 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 166044 KiB
Current children cumulated memory: 118136 KiB

[startup+64.0002 s]*
/proc/loadavg: 4.10 4.09 4.03 5/266 85291
/proc/meminfo: memFree=104339252/131249988 swapFree=33010160/33010684
[pid=85204] ppid=85201 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85204/stat : 85204 (run-opt.sh) S 85201 85204 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76400823 4292608 736 18446744073709551615 94169854881792 94169855776325 140733183505120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169856015376 94169856063120 94169887043584 140733183506797 140733183506920 140733183506920 140733183512522 0
/proc/85204/statm: 1048 736 672 219 0 110 0
[pid=85206] ppid=85204 vsize=168364 memory=123660 CPUtime=63.81 cores=0,2
/proc/85206/stat : 85206 (roundingsat) R 85204 85204 84760 0 -1 4194304 35146 0 0 0 6262 119 0 0 20 0 1 0 76400824 172404736 30915 18446744073709551615 4227072 8923433 140735230656608 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34406400 140735230663074 140735230663208 140735230663208 140735230668778 0
/proc/85206/statm: 42091 30915 2400 1147 0 29518 0
Current children cumulated CPU time: 63.81 s
Current children cumulated vsize: 172556 KiB
Current children cumulated memory: 126604 KiB

[startup+70.4002 s]
/proc/loadavg: 4.09 4.09 4.03 5/266 85337
/proc/meminfo: memFree=104294948/131249988 swapFree=33010160/33010684
[pid=85204] ppid=85201 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85204/stat : 85204 (run-opt.sh) S 85201 85204 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76400823 4292608 736 18446744073709551615 94169854881792 94169855776325 140733183505120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169856015376 94169856063120 94169887043584 140733183506797 140733183506920 140733183506920 140733183512522 0
/proc/85204/statm: 1048 736 672 219 0 110 0
[pid=85206] ppid=85204 vsize=211624 memory=153396 CPUtime=70.17 cores=0,2
/proc/85206/stat : 85206 (roundingsat) R 85204 85204 84760 0 -1 4194304 44644 0 0 0 6884 133 0 0 20 0 1 0 76400824 216702976 38349 18446744073709551615 4227072 8923433 140735230656608 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34406400 140735230663074 140735230663208 140735230663208 140735230668778 0
/proc/85206/statm: 52906 38349 2400 1147 0 40333 0
Current children cumulated CPU time: 70.17 s
Current children cumulated vsize: 215816 KiB
Current children cumulated memory: 156340 KiB

[startup+76.8002 s]
/proc/loadavg: 4.08 4.08 4.03 5/266 85337
/proc/meminfo: memFree=104263012/131249988 swapFree=33010160/33010684
[pid=85204] ppid=85201 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85204/stat : 85204 (run-opt.sh) S 85201 85204 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76400823 4292608 736 18446744073709551615 94169854881792 94169855776325 140733183505120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169856015376 94169856063120 94169887043584 140733183506797 140733183506920 140733183506920 140733183512522 0
/proc/85204/statm: 1048 736 672 219 0 110 0
[pid=85206] ppid=85204 vsize=233216 memory=174844 CPUtime=76.55 cores=0,2
/proc/85206/stat : 85206 (roundingsat) R 85204 85204 84760 0 -1 4194304 47106 0 0 0 7509 146 0 0 20 0 1 0 76400824 238813184 43711 18446744073709551615 4227072 8923433 140735230656608 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34406400 140735230663074 140735230663208 140735230663208 140735230668778 0
/proc/85206/statm: 58304 43711 2400 1147 0 45731 0
Current children cumulated CPU time: 76.55 s
Current children cumulated vsize: 237408 KiB
Current children cumulated memory: 177788 KiB

[startup+80.0002 s]*
/proc/loadavg: 4.07 4.08 4.03 5/266 85337
/proc/meminfo: memFree=104247296/131249988 swapFree=33010160/33010684
[pid=85204] ppid=85201 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85204/stat : 85204 (run-opt.sh) S 85201 85204 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76400823 4292608 736 18446744073709551615 94169854881792 94169855776325 140733183505120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169856015376 94169856063120 94169887043584 140733183506797 140733183506920 140733183506920 140733183512522 0
/proc/85204/statm: 1048 736 672 219 0 110 0
[pid=85206] ppid=85204 vsize=233216 memory=174844 CPUtime=79.75 cores=0,2
/proc/85206/stat : 85206 (roundingsat) R 85204 85204 84760 0 -1 4194304 47106 0 0 0 7816 159 0 0 20 0 1 0 76400824 238813184 43711 18446744073709551615 4227072 8923433 140735230656608 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34406400 140735230663074 140735230663208 140735230663208 140735230668778 0
/proc/85206/statm: 58304 43711 2400 1147 0 45731 0
Current children cumulated CPU time: 79.75 s
Current children cumulated vsize: 237408 KiB
Current children cumulated memory: 177788 KiB

[startup+80.8002 s]
/proc/loadavg: 4.07 4.08 4.03 5/266 85337
/proc/meminfo: memFree=104247296/131249988 swapFree=33010160/33010684
[pid=85204] ppid=85201 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85204/stat : 85204 (run-opt.sh) S 85201 85204 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76400823 4292608 736 18446744073709551615 94169854881792 94169855776325 140733183505120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169856015376 94169856063120 94169887043584 140733183506797 140733183506920 140733183506920 140733183512522 0
/proc/85204/statm: 1048 736 672 219 0 110 0
[pid=85206] ppid=85204 vsize=233216 memory=174844 CPUtime=80.55 cores=0,2
/proc/85206/stat : 85206 (roundingsat) R 85204 85204 84760 0 -1 4194304 47106 0 0 0 7893 162 0 0 20 0 1 0 76400824 238813184 43711 18446744073709551615 4227072 8923433 140735230656608 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34406400 140735230663074 140735230663208 140735230663208 140735230668778 0
/proc/85206/statm: 58304 43711 2400 1147 0 45731 0
Current children cumulated CPU time: 80.55 s
Current children cumulated vsize: 237408 KiB
Current children cumulated memory: 177788 KiB

[startup+81.2002 s]
/proc/loadavg: 4.07 4.08 4.03 5/266 85337
/proc/meminfo: memFree=104247296/131249988 swapFree=33010160/33010684
[pid=85204] ppid=85201 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85204/stat : 85204 (run-opt.sh) S 85201 85204 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76400823 4292608 736 18446744073709551615 94169854881792 94169855776325 140733183505120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169856015376 94169856063120 94169887043584 140733183506797 140733183506920 140733183506920 140733183512522 0
/proc/85204/statm: 1048 736 672 219 0 110 0
[pid=85206] ppid=85204 vsize=233216 memory=174844 CPUtime=80.94 cores=0,2
/proc/85206/stat : 85206 (roundingsat) R 85204 85204 84760 0 -1 4194304 47106 0 0 0 7931 163 0 0 20 0 1 0 76400824 238813184 43711 18446744073709551615 4227072 8923433 140735230656608 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34406400 140735230663074 140735230663208 140735230663208 140735230668778 0
/proc/85206/statm: 58304 43711 2400 1147 0 45731 0
Current children cumulated CPU time: 80.94 s
Current children cumulated vsize: 237408 KiB
Current children cumulated memory: 177788 KiB

[startup+81.4002 s]
/proc/loadavg: 4.07 4.08 4.03 5/266 85337
/proc/meminfo: memFree=104247296/131249988 swapFree=33010160/33010684
[pid=85204] ppid=85201 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85204/stat : 85204 (run-opt.sh) S 85201 85204 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76400823 4292608 736 18446744073709551615 94169854881792 94169855776325 140733183505120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169856015376 94169856063120 94169887043584 140733183506797 140733183506920 140733183506920 140733183512522 0
/proc/85204/statm: 1048 736 672 219 0 110 0
[pid=85206] ppid=85204 vsize=233216 memory=174844 CPUtime=81.14 cores=0,2
/proc/85206/stat : 85206 (roundingsat) R 85204 85204 84760 0 -1 4194304 47106 0 0 0 7950 164 0 0 20 0 1 0 76400824 238813184 43711 18446744073709551615 4227072 8923433 140735230656608 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34406400 140735230663074 140735230663208 140735230663208 140735230668778 0
/proc/85206/statm: 58304 43711 2400 1147 0 45731 0
Current children cumulated CPU time: 81.14 s
Current children cumulated vsize: 237408 KiB
Current children cumulated memory: 177788 KiB

[startup+81.5002 s]
/proc/loadavg: 4.07 4.08 4.03 5/266 85337
/proc/meminfo: memFree=104247296/131249988 swapFree=33010160/33010684
[pid=85204] ppid=85201 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/85204/stat : 85204 (run-opt.sh) S 85201 85204 84760 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 76400823 4292608 736 18446744073709551615 94169854881792 94169855776325 140733183505120 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94169856015376 94169856063120 94169887043584 140733183506797 140733183506920 140733183506920 140733183512522 0
/proc/85204/statm: 1048 736 672 219 0 110 0
[pid=85206] ppid=85204 vsize=233216 memory=174844 CPUtime=81.24 cores=0,2
/proc/85206/stat : 85206 (roundingsat) R 85204 85204 84760 0 -1 4194304 47106 0 0 0 7960 164 0 0 20 0 1 0 76400824 238813184 43711 18446744073709551615 4227072 8923433 140735230656608 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34406400 140735230663074 140735230663208 140735230663208 140735230668778 0
/proc/85206/statm: 58304 43711 2400 1147 0 45731 0
Current children cumulated CPU time: 81.24 s
Current children cumulated vsize: 237408 KiB
Current children cumulated memory: 177788 KiB

Child status: 0

Real time (s): 81.5635
CPU time (s): 81.3173
CPU user time (s): 79.6633
CPU system time (s): 1.65395
CPU usage (%): 99.6981
Max. virtual memory (cumulated for all children) (KiB): 237408
Max. memory (cumulated for all children) (KiB): 177788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 79.6633
system time used= 1.65395
maximum resident set size= 185444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47336
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147
involuntary context switches= 212


# summary of solver processes directly reported to runsolver:
#   pid: 85204
#   total CPU time (s): 81.3173
#   total CPU user time (s): 79.6633
#   total CPU system time (s): 1.65395

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.196931 second user time and 0.39647 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-04 07:33:40
IDJOB=4523516
IDBENCH=180364
IDSOLVER=3350
FILE ID=nodeC034/4523516-1751607220
RUNJOBID= nodeC034-1751603608-84770
SLURM_JOB_ID= 9598888
Free space on /tmp= 430848 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_back_image_32_label3_adversarial_norm_1.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523516-1751607220/watcher-4523516-1751607220 -o /tmp/evaluation-result-4523516-1751607220/solver-4523516-1751607220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751603608-84770 --watchdog 3760  run-opt.sh HOME/instance-4523516-1751607220.opb

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

MD5SUM BENCH= f833be1967b503cfce1013007946cb2b
RANDOM SEED=2017864737

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        103133640 kB
MemAvailable:   126710948 kB
Buffers:            2128 kB
Cached:         24315136 kB
SwapCached:           36 kB
Active:          3537472 kB
Inactive:       23840516 kB
Active(anon):    3074588 kB
Inactive(anon):     4208 kB
Active(file):     462884 kB
Inactive(file): 23836308 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             10144 kB
Writeback:           268 kB
AnonPages:       3056924 kB
Mapped:           114164 kB
Shmem:             18068 kB
KReclaimable:     234308 kB
Slab:             327436 kB
SReclaimable:     234308 kB
SUnreclaim:        93128 kB
KernelStack:        4240 kB
PageTables:         9724 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    4011144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    663552 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430844 MiB
End job on nodeC034 at 2025-07-04 07:35:01