Trace number 4433151

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
Exact 2024-07-05OPT50769 607.464 609.016

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
MD5SUMec773b047bf21dab87650e27deaa6768
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 benchmark50769
Best CPU time to get the best result obtained on this benchmark12.3979
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3945
Total number of constraints8604
Number of constraints which are clauses8604
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint59
Number of terms in the objective function 1872
Biggest coefficient in the objective function 2110
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3036193
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2110
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3036193
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.11/0.20	o 352754
0.11/0.21	o 339633
0.11/0.21	o 337816
0.22/0.22	o 336110
0.22/0.22	o 336052
0.22/0.22	o 335948
0.22/0.22	o 334434
0.22/0.22	o 334414
0.22/0.22	o 334312
0.22/0.23	o 334191
0.22/0.23	o 334189
0.22/0.23	o 332851
0.22/0.23	o 332831
0.22/0.24	o 332729
0.22/0.24	o 331389
0.22/0.24	o 331344
0.22/0.25	o 330056
0.22/0.25	o 328665
0.22/0.26	o 328645
0.22/0.26	o 328601
0.22/0.26	o 328543
0.22/0.26	o 328498
0.22/0.27	o 328460
0.22/0.27	o 328402
0.22/0.29	o 328396
0.22/0.30	o 328344
0.22/0.30	o 328332
0.22/0.31	o 328150
0.32/0.33	o 327534
0.32/0.34	o 327461
0.32/0.34	o 327416
0.32/0.34	o 327279
0.32/0.34	o 327242
0.32/0.35	o 327094
0.32/0.35	o 327036
0.32/0.35	o 326868
0.32/0.36	o 326816
0.32/0.36	o 326804
0.32/0.36	o 326740
0.32/0.37	o 326682
0.32/0.38	o 326157
0.32/0.38	o 325963
0.32/0.39	o 325905
0.32/0.39	o 325868
0.32/0.39	o 325720
0.32/0.39	o 325662
0.32/0.40	o 325494
0.32/0.40	o 325442
0.32/0.40	o 325430
0.32/0.41	o 325385
0.41/0.42	o 325383
0.41/0.42	o 325331
0.41/0.42	o 325319
0.41/0.42	o 325261
0.41/0.43	o 325203
0.41/0.44	o 325195
0.41/0.44	o 325093
0.41/0.44	o 325081
0.41/0.45	o 325067
0.41/0.46	o 325058
0.41/0.47	o 324861
0.41/0.48	o 323399
0.41/0.49	o 323393
0.41/0.49	o 323367
0.41/0.50	o 323329
0.41/0.50	o 323271
0.51/0.53	o 321887
0.51/0.59	o 321016
0.51/0.59	o 320958
0.51/0.60	o 320921
0.51/0.60	o 320773
0.51/0.60	o 320715
0.51/0.60	o 320703
0.60/0.62	o 320521
0.60/0.62	o 320399
0.60/0.64	o 320283
0.60/0.65	o 320277
0.60/0.65	o 320129
0.60/0.65	o 320071
0.60/0.65	o 319842
0.60/0.65	o 319784
0.60/0.66	o 319602
0.60/0.66	o 319480
0.60/0.66	o 319468
0.60/0.67	o 319198
0.60/0.68	o 319184
0.60/0.68	o 319175
0.60/0.69	o 319166
0.60/0.69	o 319001
0.60/0.69	o 318987
0.69/0.70	o 318935
0.69/0.70	o 318923
0.69/0.75	o 318871
0.69/0.75	o 318743
0.69/0.78	o 318142
0.69/0.78	o 318128
0.69/0.79	o 318013
0.69/0.79	o 317963
0.69/0.79	o 317899
0.69/0.80	o 317885
0.78/0.80	o 317873
0.78/0.81	o 317840
0.78/0.81	o 317782
0.78/0.81	o 317768
0.78/0.82	o 317766
0.78/0.82	o 317714
0.78/0.83	o 317586
0.78/0.84	o 317577
0.78/0.85	o 317539
0.78/0.86	o 317525
0.78/0.86	o 317473
0.78/0.86	o 317461
0.78/0.87	o 316135
0.88/0.97	o 315542
0.88/0.98	o 315377
0.88/0.98	o 315351
0.88/0.98	o 315313
0.88/0.98	o 315255
0.88/0.99	o 315209
0.88/0.99	o 315012
0.88/0.99	o 314772
0.88/0.99	o 314760
0.99/1.02	o 314746
0.99/1.09	o 314540
0.99/1.09	o 314424
1.10/1.11	o 313580
1.10/1.12	o 313499
1.10/1.13	o 313383
1.10/1.13	o 313319
1.10/1.13	o 313139
1.10/1.13	o 313081
1.10/1.15	o 312592
1.10/1.15	o 312349
1.10/1.15	o 312233
1.10/1.15	o 311981
1.10/1.16	o 311923
1.10/1.16	o 311741
1.10/1.17	o 311727
1.10/1.18	o 311718
1.10/1.18	o 311449
1.19/1.26	o 311440
1.19/1.26	o 311432
1.19/1.29	o 311323
1.29/1.30	o 311314
1.29/1.36	o 311308
1.29/1.37	o 311299
1.29/1.37	o 311290
1.29/1.37	o 311282
1.29/1.38	o 311204
1.39/1.44	o 311186
1.49/1.53	o 311162
1.49/1.53	o 311154
1.49/1.56	o 311136
1.49/1.57	o 310954
1.59/1.62	o 310768
1.59/1.67	o 310762
1.69/1.70	o 310609
1.69/1.72	o 310597
1.69/1.73	o 310596
1.69/1.74	o 310588
1.69/1.77	o 310492
1.69/1.77	o 310376
1.69/1.77	o 309062
1.79/1.81	o 309050
1.79/1.81	o 309042
1.79/1.82	o 308984
1.79/1.85	o 308966
1.79/1.85	o 308962
1.79/1.86	o 308954
1.79/1.87	o 308940
1.88/1.93	o 308922
1.88/1.93	o 308905
1.88/1.96	o 308725
1.88/2.00	o 308629
1.99/2.01	o 308513
1.99/2.01	o 307199
1.99/2.04	o 307188
1.99/2.04	o 307176
1.99/2.06	o 307138
1.99/2.07	o 307080
1.99/2.09	o 306999
1.99/2.10	o 306981
2.09/2.12	o 306964
2.09/2.18	o 306946
2.18/2.20	o 306938
2.18/2.20	o 306677
2.18/2.24	o 306503
2.18/2.29	o 306483
2.18/2.29	o 306471
2.18/2.29	o 306462
2.18/2.30	o 306454
2.29/2.30	o 306445
2.29/2.31	o 306271
2.39/2.42	o 306085
2.39/2.46	o 306062
2.39/2.47	o 306061
2.39/2.47	o 306053
2.39/2.48	o 306041
2.39/2.48	o 305992
2.39/2.49	o 305991
2.39/2.49	o 305983
2.49/2.50	o 305969
2.49/2.50	o 305935
2.49/2.51	o 305926
2.49/2.52	o 305917
2.49/2.53	o 305905
2.49/2.55	o 305783
2.49/2.57	o 305725
2.58/2.61	o 305724
2.58/2.66	o 305678
2.58/2.67	o 305602
2.68/2.72	o 305568
2.68/2.72	o 305554
2.68/2.72	o 305516
2.68/2.72	o 305458
2.68/2.73	o 305446
2.68/2.76	o 305437
2.78/2.84	o 305391
2.78/2.84	o 305194
2.78/2.86	o 305174
2.78/2.86	o 305160
2.78/2.87	o 305148
2.78/2.87	o 305139
2.78/2.88	o 305130
2.78/2.89	o 305072
3.28/3.33	o 305014
3.28/3.35	o 304753
3.28/3.37	o 304736
3.28/3.39	o 304664
3.28/3.39	o 304490
3.38/3.47	o 304325
3.38/3.48	o 304287
3.38/3.48	o 304055
3.48/3.54	o 304037
3.58/3.61	o 303794
3.67/3.70	o 303728
3.67/3.70	o 302428
3.77/3.80	o 302242
3.77/3.80	o 302068
3.88/3.93	o 302057
3.88/3.94	o 301875
3.88/3.97	o 301857
3.88/4.00	o 300752
3.88/4.01	o 300700
3.99/4.02	o 300691
3.99/4.08	o 300648
3.99/4.10	o 300639
4.09/4.15	o 300564
4.09/4.16	o 300421
4.09/4.16	o 300415
4.09/4.17	o 300369
4.09/4.17	o 300337
4.09/4.18	o 300291
4.09/4.18	o 300273
4.09/4.18	o 300215
4.09/4.18	o 300163
4.28/4.33	o 300134
4.28/4.33	o 300116
4.28/4.34	o 300058
4.28/4.37	o 300006
4.38/4.41	o 299884
4.38/4.49	o 299710
4.48/4.59	o 299706
4.58/4.60	o 299692
4.58/4.60	o 299683
4.58/4.62	o 299653
4.58/4.63	o 299358
4.78/4.80	o 297705
4.88/4.95	o 297693
4.88/4.95	o 297684
4.88/4.96	o 297652
4.88/4.97	o 297588
4.88/4.97	o 297530
4.99/5.01	o 296152
5.09/5.16	o 296118
5.09/5.16	o 296109
5.09/5.16	o 296100
5.17/5.21	o 295920
5.17/5.26	o 295798
5.27/5.31	o 295613
5.27/5.31	o 295555
5.37/5.43	o 295547
5.37/5.43	o 295515
5.37/5.44	o 295469
5.37/5.44	o 295451
5.37/5.44	o 295393
5.37/5.48	o 295285
5.37/5.49	o 295111
5.37/5.49	o 295033
5.68/5.76	o 294966
5.68/5.76	o 294939
5.77/5.88	o 294914
5.77/5.89	o 294908
5.77/5.89	o 294676
5.77/5.90	o 294662
5.87/5.90	o 294653
5.87/5.91	o 294644
5.99/6.07	o 294641
5.99/6.08	o 294502
5.99/6.09	o 294476
5.99/6.09	o 294438
5.99/6.09	o 294206
6.08/6.16	o 294026
6.17/6.27	o 294010
6.17/6.27	o 294001
6.17/6.28	o 293983
6.17/6.29	o 293931
6.27/6.33	o 293904
6.27/6.39	o 293881
6.37/6.40	o 293867
6.37/6.40	o 293858
6.37/6.41	o 293782
6.47/6.52	o 293683
6.47/6.52	o 293611
6.47/6.53	o 293515
6.47/6.53	o 293437
7.17/7.27	o 293409
7.17/7.27	o 293400
7.17/7.28	o 293391
7.27/7.32	o 293364
7.27/7.39	o 293112
7.47/7.58	o 292941
7.47/7.59	o 291415
8.27/8.32	o 291247
8.27/8.32	o 290919
8.27/8.32	o 289683
8.37/8.47	o 289676
8.37/8.48	o 289667
8.37/8.49	o 289568
8.37/8.49	o 289554
8.47/8.50	o 288498
8.47/8.51	o 288452
8.47/8.51	o 288356
8.47/8.51	o 288298
8.47/8.52	o 288284
8.47/8.55	o 288214
8.47/8.55	o 288200
8.47/8.57	o 288162
8.47/8.58	o 288158
8.47/8.58	o 288144
8.47/8.59	o 288135
8.66/8.77	o 288129
8.66/8.79	o 288120
8.77/8.81	o 288091
8.77/8.82	o 288082
8.77/8.83	o 288077
8.77/8.84	o 288068
8.77/8.89	o 288041
8.87/8.93	o 287983
8.87/8.94	o 286483
9.08/9.14	o 286475
9.08/9.15	o 286457
9.08/9.15	o 286448
9.08/9.19	o 286013
9.17/9.28	o 285955
9.47/9.50	o 285952
9.47/9.54	o 285946
9.47/9.55	o 285900
9.56/9.60	o 285822
9.56/9.61	o 285804
9.56/9.61	o 285746
9.56/9.67	o 285688
9.76/9.89	o 285610
9.86/10.00	o 285590
9.97/10.01	o 285581
9.97/10.01	o 285572
9.97/10.02	o 285539
9.97/10.03	o 285530
9.97/10.04	o 285516
9.97/10.09	o 285496
9.97/10.09	o 285487
9.97/10.10	o 285478
10.07/10.11	o 285473
10.07/10.11	o 285464
10.07/10.13	o 285279
10.07/10.16	o 285277
10.07/10.17	o 285221
10.16/10.28	o 285099
10.16/10.28	o 283657
10.36/10.46	o 282498
10.36/10.47	o 282442
10.36/10.48	o 282384
10.46/10.50	o 282370
10.46/10.55	o 282352
10.46/10.56	o 282294
10.56/10.69	o 282248
10.66/10.72	o 282242
10.66/10.73	o 281996
10.76/10.80	o 281969
10.76/10.82	o 280629
10.98/11.04	o 280621
10.98/11.04	o 280603
10.98/11.07	o 280576
10.98/11.09	o 280504
10.98/11.09	o 280330
11.08/11.13	o 280150
11.08/11.17	o 280028
11.16/11.22	o 279944
11.16/11.23	o 279866
11.16/11.23	o 279770
11.16/11.23	o 279692
11.26/11.33	o 279662
11.26/11.34	o 279367
11.36/11.44	o 279248
11.36/11.44	o 279239
11.36/11.46	o 279187
11.46/11.53	o 278793
11.46/11.54	o 278784
11.46/11.54	o 278766
11.46/11.56	o 278757
11.46/11.58	o 278635
11.56/11.65	o 278434
11.56/11.66	o 278388
11.56/11.66	o 278310
11.56/11.66	o 278292
11.76/11.84	o 278234
11.86/11.92	o 277891
11.86/11.93	o 277833
11.97/12.05	o 277757
12.07/12.13	o 277747
12.07/12.14	o 277738
12.07/12.14	o 277729
12.07/12.16	o 277694
12.07/12.17	o 277680
12.07/12.18	o 277671
12.07/12.19	o 277188
12.07/12.19	o 276982
12.15/12.20	o 276918
12.15/12.20	o 276904
12.15/12.21	o 276722
12.15/12.22	o 276571
12.15/12.22	o 276513
12.15/12.22	o 276449
12.15/12.23	o 276435
12.15/12.27	o 276249
12.26/12.35	o 276233
12.26/12.35	o 276155
12.26/12.36	o 276146
12.26/12.37	o 276094
12.36/12.41	o 275825
12.36/12.46	o 275665
12.36/12.48	o 275651
12.46/12.53	o 275419
12.46/12.57	o 275416
12.46/12.58	o 275364
12.46/12.58	o 275248
12.56/12.60	o 275239
12.56/12.68	o 275212
12.66/12.71	o 275207
12.66/12.71	o 275193
12.66/12.72	o 275184
12.66/12.72	o 275175
12.66/12.74	o 275106
12.66/12.74	o 275097
12.66/12.75	o 274917
12.85/12.95	o 274878
12.85/12.96	o 274820
12.97/13.05	o 273410
14.75/14.86	o 273370
14.75/14.87	o 273361
14.85/14.91	o 273343
14.85/14.92	o 273334
14.96/15.06	o 273220
14.96/15.06	o 273211
14.96/15.06	o 273206
14.96/15.07	o 273197
14.96/15.07	o 273188
15.06/15.15	o 273165
15.06/15.15	o 273151
15.06/15.16	o 273142
15.06/15.16	o 273133
15.06/15.17	o 273124
15.15/15.20	o 273118
15.15/15.21	o 273100
15.15/15.22	o 273080
15.15/15.22	o 273066
15.15/15.22	o 273057
15.15/15.23	o 273048
15.25/15.30	o 272990
15.25/15.33	o 272598
15.25/15.33	o 272520
15.25/15.35	o 272495
15.25/15.36	o 272486
15.25/15.37	o 272468
15.35/15.44	o 272450
15.35/15.45	o 272441
15.45/15.55	o 272318
15.45/15.55	o 272254
15.45/15.55	o 272240
15.45/15.56	o 272086
15.45/15.56	o 272072
15.45/15.57	o 272063
15.45/15.57	o 272054
16.06/16.12	o 272045
16.06/16.13	o 272037
16.06/16.18	o 271921
16.06/16.19	o 271912
16.06/16.19	o 271834
16.14/16.27	o 271776
16.24/16.33	o 271768
16.34/16.42	o 271767
16.34/16.43	o 271758
16.34/16.43	o 271750
16.34/16.45	o 270758
16.44/16.57	o 270578
16.55/16.69	o 270554
16.65/16.71	o 270546
16.65/16.72	o 270522
16.65/16.73	o 270424
17.15/17.21	o 270181
17.45/17.57	o 270153
17.45/17.58	o 268953
17.45/17.58	o 268944
17.84/17.90	o 268942
17.84/17.91	o 268890
17.95/18.01	o 268687
17.95/18.02	o 268591
17.95/18.10	o 268493
18.44/18.58	o 268409
18.44/18.59	o 268145
18.44/18.59	o 266805
18.74/18.82	o 266791
18.74/18.82	o 266777
18.74/18.83	o 266750
18.74/18.87	o 266741
18.84/18.93	o 265801
18.95/19.04	o 265795
18.95/19.05	o 265743
19.05/19.11	o 265639
19.05/19.12	o 265563
19.05/19.19	o 265550
19.05/19.19	o 265541
19.14/19.21	o 265465
19.34/19.43	o 265084
19.34/19.44	o 263686
19.54/19.60	o 263680
19.54/19.60	o 263622
19.54/19.67	o 262444
19.54/19.69	o 262412
19.63/19.72	o 262314
19.63/19.74	o 262256
20.05/20.12	o 262249
20.05/20.13	o 262235
20.05/20.13	o 262217
20.05/20.17	o 262208
20.44/20.52	o 262040
20.44/20.56	o 261938
20.64/20.70	o 261344
20.64/20.71	o 261286
20.64/20.71	o 261272
20.64/20.73	o 261254
20.64/20.79	o 261219
20.74/20.81	o 261059
20.74/20.82	o 260929
20.74/20.82	o 260911
20.74/20.83	o 260853
20.84/20.96	o 260844
20.95/21.08	o 260838
20.95/21.09	o 260766
20.95/21.10	o 260720
21.05/21.11	o 260598
21.13/21.25	o 259516
21.33/21.41	o 259513
21.33/21.41	o 259504
21.33/21.42	o 259452
21.33/21.46	o 259420
21.33/21.48	o 259403
21.43/21.50	o 259394
21.43/21.50	o 259336
21.43/21.52	o 259322
21.94/22.07	o 259320
21.94/22.07	o 259311
21.94/22.08	o 259302
22.04/22.12	o 258066
22.33/22.47	o 257944
22.73/22.85	o 257862
22.95/23.03	o 257831
22.95/23.04	o 257822
22.95/23.05	o 257814
22.95/23.06	o 257768
22.95/23.07	o 257754
23.05/23.11	o 257753
23.05/23.12	o 257745
23.05/23.13	o 257617
23.13/23.21	o 256466
23.13/23.22	o 256457
23.13/23.23	o 256439
23.23/23.30	o 256421
24.04/24.19	o 256418
24.22/24.36	o 256342
24.52/24.60	o 256174
24.94/25.07	o 256042
24.94/25.08	o 255872
25.23/25.32	o 254140
25.62/25.75	o 254104
25.72/25.85	o 252772
26.22/26.38	o 252745
26.22/26.39	o 252276
26.22/26.39	o 251092
26.82/26.92	o 251085
26.82/26.92	o 251076
27.93/28.10	o 251040
28.11/28.24	o 250925
28.11/28.25	o 250898
28.31/28.49	o 250896
28.42/28.52	o 250859
28.42/28.53	o 250850
28.42/28.54	o 250742
28.42/28.55	o 250728
29.22/29.33	o 250250
29.22/29.34	o 250198
29.22/29.37	o 250180
29.32/29.46	o 250122
29.62/29.70	o 249861
30.11/30.21	o 249852
30.21/30.34	o 249834
30.31/30.40	o 249718
30.51/30.64	o 249646
30.51/30.68	o 249472
30.81/30.92	o 249463
30.81/30.92	o 249454
30.81/30.93	o 249396
31.31/31.45	o 249360
31.41/31.58	o 249343
31.51/31.60	o 249334
31.51/31.60	o 249325
31.51/31.61	o 249316
31.51/31.62	o 249307
31.51/31.63	o 249298
31.61/31.74	o 249059
31.81/31.94	o 249041
31.81/31.95	o 249032
31.92/32.03	o 249005
32.31/32.45	o 248909
32.31/32.47	o 248873
32.61/32.74	o 248018
32.61/32.74	o 248009
32.61/32.75	o 248005
32.61/32.76	o 247941
32.61/32.77	o 247923
32.71/32.81	o 247909
35.20/35.35	o 247860
35.20/35.38	o 247851
35.30/35.40	o 247825
35.30/35.40	o 247735
35.30/35.41	o 247637
35.40/35.55	o 247628
35.69/35.81	o 247603
35.69/35.82	o 247594
35.69/35.88	o 247576
35.79/35.90	o 247558
36.00/36.16	o 245951
36.00/36.17	o 245942
36.50/36.63	o 245933
36.50/36.64	o 245924
36.50/36.67	o 245915
37.01/37.19	o 245879
37.29/37.44	o 245870
37.90/38.05	o 245854
37.90/38.09	o 245796
38.09/38.27	o 245750
38.09/38.28	o 245628
39.39/39.56	o 245592
39.49/39.63	o 245363
39.49/39.64	o 245262
39.49/39.65	o 245253
39.49/39.66	o 245210
39.49/39.67	o 245134
39.49/39.67	o 245125
39.49/39.68	o 244832
39.49/39.69	o 244814
39.49/39.69	o 244800
39.59/39.72	o 244791
39.59/39.79	o 244785
39.59/39.79	o 244669
39.79/39.95	o 244660
40.09/40.20	o 244644
40.09/40.21	o 244540
40.09/40.29	o 244531
40.09/40.29	o 244522
40.38/40.54	o 244335
40.38/40.55	o 244317
40.38/40.56	o 244308
40.38/40.59	o 244277
40.48/40.62	o 244250
40.58/40.75	o 244207
40.58/40.75	o 244198
40.78/40.91	o 244018
40.99/41.15	o 244005
40.99/41.16	o 243996
40.99/41.17	o 243987
41.08/41.25	o 243960
41.48/41.62	o 243829
41.48/41.69	o 243801
41.58/41.71	o 243784
41.58/41.71	o 243770
41.58/41.71	o 243766
41.58/41.72	o 243752
41.58/41.77	o 243739
41.58/41.77	o 243725
41.68/41.81	o 243716
41.79/41.90	o 243707
41.79/41.95	o 243699
41.79/41.98	o 243519
42.00/42.13	o 243461
42.28/42.44	o 243443
42.58/42.77	o 243407
42.78/42.94	o 243398
42.99/43.14	o 243241
42.99/43.15	o 242815
42.99/43.15	o 241631
43.68/43.82	o 241625
43.68/43.82	o 241616
43.68/43.83	o 241558
43.78/43.91	o 240296
44.58/44.70	o 240232
44.58/44.72	o 240224
44.58/44.73	o 240111
44.58/44.73	o 240102
44.78/44.98	o 240095
44.99/45.16	o 240078
44.99/45.17	o 240069
44.99/45.17	o 240055
44.99/45.18	o 240037
45.07/45.28	o 240010
45.27/45.44	o 239934
45.67/45.87	o 239925
45.67/45.88	o 239916
45.89/46.10	o 239678
46.37/46.55	o 238088
46.67/46.86	o 238086
46.67/46.87	o 238068
46.77/47.00	o 238028
46.88/47.01	o 238019
46.88/47.02	o 238010
47.77/47.91	o 236748
48.37/48.50	o 236746
48.37/48.50	o 236732
48.37/48.51	o 236723
48.37/48.52	o 236720
48.37/48.52	o 236706
48.37/48.56	o 236561
48.37/48.57	o 236560
48.47/48.62	o 236551
48.47/48.62	o 236542
48.47/48.63	o 236534
48.47/48.66	o 236520
48.57/48.70	o 236519
48.57/48.71	o 236511
48.57/48.72	o 236441
48.57/48.73	o 236433
48.57/48.74	o 236424
48.57/48.75	o 236418
48.57/48.76	o 236410
48.57/48.77	o 236400
48.57/48.78	o 236392
48.77/48.97	o 236389
48.77/48.97	o 236371
48.88/49.09	o 236344
48.98/49.11	o 235967
48.98/49.12	o 235793
49.36/49.52	o 235628
49.36/49.53	o 235582
49.36/49.54	o 235460
49.66/49.89	o 235432
49.66/49.89	o 235418
49.76/49.90	o 235400
49.76/49.99	o 235391
50.06/50.24	o 235364
50.55/50.75	o 235286
50.55/50.77	o 235268
50.98/51.17	o 235140
51.26/51.41	o 235116
51.26/51.42	o 235098
51.26/51.42	o 235040
51.26/51.43	o 235026
51.26/51.49	o 235018
52.26/52.42	o 234951
52.26/52.43	o 234924
52.56/52.74	o 234914
52.56/52.74	o 234896
52.56/52.75	o 234882
52.56/52.77	o 234873
52.65/52.82	o 234865
52.65/52.86	o 234855
52.65/52.87	o 234838
53.25/53.41	o 234832
53.35/53.59	o 234756
56.05/56.20	o 234384
56.05/56.21	o 234379
56.05/56.22	o 234370
56.05/56.24	o 234350
56.05/56.24	o 234341
56.05/56.24	o 234332
56.05/56.25	o 234327
56.05/56.26	o 234318
56.05/56.29	o 234299
56.15/56.30	o 234290
56.15/56.30	o 234281
56.15/56.31	o 234268
56.15/56.32	o 234263
56.15/56.33	o 234254
56.15/56.36	o 234250
56.15/56.37	o 234236
56.24/56.49	o 234211
56.24/56.49	o 234202
56.24/56.49	o 233909
56.44/56.60	o 233901
56.44/56.61	o 233892
56.44/56.61	o 233887
56.44/56.62	o 233878
56.44/56.62	o 233869
56.44/56.63	o 233860
56.44/56.65	o 233833
56.95/57.17	o 233831
57.04/57.22	o 233825
57.04/57.22	o 233807
57.04/57.23	o 233778
57.04/57.24	o 233764
57.04/57.24	o 233755
57.34/57.56	o 233661
57.34/57.56	o 233652
57.34/57.57	o 233648
57.34/57.57	o 233634
57.54/57.72	o 233616
57.54/57.72	o 233607
57.54/57.74	o 233582
57.54/57.75	o 233578
57.54/57.76	o 233569
57.54/57.76	o 233564
57.54/57.76	o 233555
57.54/57.79	o 233530
57.54/57.79	o 233521
57.64/57.80	o 233503
57.64/57.83	o 232789
57.64/57.83	o 232780
57.64/57.84	o 232762
57.64/57.84	o 232496
57.74/58.00	o 232483
57.86/58.01	o 232478
57.86/58.01	o 232469
57.86/58.02	o 232435
57.86/58.02	o 232426
57.86/58.02	o 232417
57.86/58.05	o 232401
57.86/58.06	o 232392
57.96/58.19	o 232383
57.96/58.19	o 232374
58.04/58.20	o 232365
58.04/58.25	o 232354
58.04/58.26	o 232345
58.04/58.28	o 232302
58.04/58.29	o 232293
58.14/58.31	o 232279
58.14/58.31	o 232261
58.14/58.31	o 232215
58.14/58.32	o 232201
58.14/58.32	o 232197
58.14/58.32	o 232183
58.14/58.33	o 232174
58.14/58.33	o 232165
58.14/58.36	o 232136
58.14/58.36	o 232127
58.14/58.36	o 232113
59.04/59.21	o 232049
59.04/59.22	o 232031
59.54/59.70	o 232009
59.54/59.71	o 231995
59.54/59.71	o 231986
59.54/59.72	o 231933
59.54/59.73	o 231906
59.54/59.74	o 231892
59.54/59.79	o 231846
59.64/59.80	o 231838
59.64/59.83	o 231836
59.64/59.84	o 231822
59.64/59.84	o 231813
59.64/59.86	o 231795
59.64/59.86	o 231786
59.64/59.88	o 231782
59.64/59.89	o 231777
59.64/59.89	o 231768
59.73/59.91	o 231716
59.73/59.94	o 231604
59.73/59.95	o 231595
59.73/59.95	o 231590
59.73/59.96	o 231581
59.73/59.97	o 231572
59.73/59.97	o 231563
59.85/60.04	o 231554
59.85/60.05	o 231536
59.95/60.17	o 231527
59.95/60.17	o 231518
60.13/60.33	o 231388
60.33/60.53	o 231371
60.33/60.53	o 231362
60.33/60.54	o 231344
60.33/60.56	o 231272
60.33/60.57	o 231150
60.95/61.12	o 231068
60.95/61.18	o 231055
60.95/61.19	o 231046
61.03/61.20	o 230933
61.03/61.20	o 230924
61.23/61.45	o 230923
61.33/61.56	o 230890
61.33/61.56	o 230881
61.33/61.57	o 230872
61.33/61.58	o 230863
61.33/61.59	o 230854
61.43/61.60	o 230845
61.53/61.70	o 230151
61.53/61.72	o 230099
61.63/61.86	o 230049
61.63/61.86	o 230035
61.63/61.87	o 229977
61.73/62.00	o 229913
61.84/62.05	o 229895
62.03/62.26	o 229817
62.03/62.29	o 229811
62.13/62.31	o 229794
62.13/62.31	o 229785
62.13/62.32	o 229727
62.13/62.32	o 229713
62.13/62.34	o 229704
62.13/62.37	o 229695
62.33/62.52	o 229670
62.33/62.54	o 229643
62.53/62.72	o 229579
62.53/62.76	o 229507
62.73/62.95	o 229490
62.73/62.98	o 229476
62.84/63.07	o 229449
63.22/63.45	o 229442
63.22/63.47	o 229415
63.22/63.48	o 229397
63.52/63.73	o 229319
64.13/64.33	o 229197
64.43/64.69	o 227871
65.12/65.36	o 227793
65.52/65.76	o 227234
65.52/65.79	o 227225
65.52/65.79	o 227216
65.62/65.81	o 227207
65.72/65.91	o 227201
65.72/65.97	o 226908
66.12/66.37	o 226857
66.12/66.38	o 226830
66.72/66.91	o 226429
68.61/68.81	o 226410
68.61/68.82	o 226392
68.71/68.90	o 226365
69.21/69.47	o 225077
69.93/70.12	o 225031
70.01/70.21	o 224993
70.41/70.68	o 224703
71.21/71.47	o 224685
71.21/71.48	o 224627
71.82/72.06	o 224375
72.30/72.58	o 224302
72.30/72.58	o 223792
72.30/72.59	o 222678
72.30/72.60	o 222664
72.40/72.60	o 222640
72.40/72.60	o 222622
72.40/72.61	o 222608
72.91/73.13	o 222585
72.91/73.14	o 222558
72.91/73.15	o 222540
72.91/73.17	o 222482
73.10/73.37	o 222255
73.20/73.44	o 222253
73.20/73.45	o 222195
73.20/73.48	o 222177
73.40/73.64	o 221776
73.59/73.88	o 221765
73.59/73.89	o 221738
73.69/73.93	o 221660
74.10/74.34	o 221622
76.99/77.23	o 220128
77.09/77.32	o 218814
77.19/77.50	o 217416
77.39/77.60	o 215728
78.29/78.54	o 215665
78.29/78.55	o 215659
78.58/78.89	o 215474
78.68/78.91	o 215416
78.68/78.91	o 214076
79.28/79.54	o 212634
80.19/80.44	o 212624
80.19/80.44	o 212615
80.19/80.45	o 212606
80.19/80.46	o 212598
80.28/80.56	o 211736
80.28/80.57	o 211684
80.28/80.57	o 211675
80.38/80.63	o 211617
80.38/80.63	o 211609
80.38/80.64	o 211487
80.68/80.97	o 211243
80.68/81.00	o 211217
80.79/81.06	o 211179
81.48/81.70	o 211057
82.18/82.44	o 211051
82.89/83.17	o 209468
83.68/83.90	o 209432
83.68/83.90	o 209423
83.68/83.92	o 209405
83.68/83.93	o 209359
83.68/83.93	o 209237
83.97/84.29	o 209217
84.07/84.30	o 209179
84.57/84.88	o 209174
84.57/84.89	o 209116
84.67/84.95	o 209110
85.37/85.68	o 208928
87.17/87.43	o 208667
87.87/88.18	o 208647
87.87/88.19	o 208557
88.16/88.42	o 208472
88.16/88.43	o 208403
89.06/89.35	o 208163
89.06/89.36	o 207969
89.26/89.52	o 207782
89.36/89.60	o 207713
89.46/89.78	o 207689
89.46/89.79	o 207675
89.56/89.80	o 207603
89.56/89.86	o 207443
89.56/89.88	o 207321
89.56/89.89	o 207312
89.66/89.91	o 207303
89.66/89.92	o 207289
89.66/90.00	o 207264
89.77/90.01	o 207246
89.77/90.02	o 207237
89.77/90.04	o 207063
89.96/90.20	o 206953
89.96/90.21	o 206907
89.96/90.22	o 206785
90.06/90.35	o 206776
90.06/90.35	o 206767
90.06/90.37	o 206759
90.06/90.39	o 206705
90.06/90.39	o 206649
90.16/90.40	o 206631
90.16/90.47	o 205700
90.26/90.50	o 205691
90.26/90.59	o 205680
90.26/90.59	o 205666
90.26/90.59	o 205648
90.36/90.60	o 205639
90.36/90.64	o 205593
90.46/90.76	o 205570
90.46/90.76	o 205556
90.46/90.76	o 205498
90.56/90.80	o 205471
91.45/91.77	o 204093
92.55/92.89	o 204068
92.65/92.90	o 203827
92.65/92.91	o 203789
93.45/93.71	o 202475
96.64/97.00	o 200822
97.04/97.39	o 200734
97.04/97.39	o 199081
98.03/98.39	o 197322
99.24/99.56	o 195564
100.53/100.84	o 195561
100.53/100.85	o 195523
100.63/100.97	o 195433
100.93/101.20	o 194093
101.62/101.95	o 193911
102.13/102.48	o 193903
102.23/102.54	o 193483
102.23/102.54	o 193445
102.33/102.64	o 193047
102.33/102.65	o 192917
103.12/103.48	o 192547
103.52/103.87	o 192530
103.62/103.91	o 192524
103.62/103.99	o 192515
103.62/104.00	o 192506
104.13/104.48	o 192495
104.13/104.48	o 192486
104.22/104.54	o 192480
104.32/104.67	o 192390
104.62/104.91	o 190859
105.32/105.64	o 190836
105.32/105.65	o 190816
105.32/105.66	o 190778
106.01/106.34	o 190772
106.01/106.35	o 190604
106.11/106.44	o 190598
106.42/106.75	o 189136
107.31/107.62	o 189094
107.31/107.64	o 189088
107.31/107.68	o 188966
108.21/108.56	o 187858
109.11/109.41	o 187792
109.11/109.43	o 187754
109.51/109.89	o 187748
110.01/110.33	o 187670
110.10/110.44	o 187650
110.50/110.88	o 187560
111.00/111.35	o 187558
111.10/111.40	o 187384
111.20/111.57	o 187378
111.61/111.90	o 187030
112.40/112.70	o 186780
112.50/112.83	o 186774
115.19/115.54	o 186670
115.19/115.54	o 186656
115.59/115.92	o 186427
115.59/115.92	o 186418
115.59/115.93	o 186409
115.59/115.94	o 186400
115.80/116.16	o 186394
116.80/117.14	o 186390
116.89/117.21	o 186382
117.49/117.85	o 186304
117.70/118.02	o 186291
117.70/118.02	o 186283
117.70/118.03	o 186155
117.70/118.07	o 186136
117.70/118.08	o 186128
117.80/118.20	o 186124
117.89/118.20	o 186115
117.89/118.21	o 186097
117.89/118.22	o 186073
117.99/118.31	o 186068
117.99/118.35	o 186059
118.29/118.68	o 186001
118.29/118.69	o 185937
118.70/119.08	o 185903
119.49/119.82	o 185609
119.49/119.83	o 185563
119.49/119.84	o 185441
119.49/119.85	o 185389
119.99/120.38	o 185266
120.19/120.53	o 185157
120.58/120.97	o 185119
120.98/121.30	o 185115
120.98/121.30	o 185101
120.98/121.32	o 185092
121.97/122.39	o 185088
122.07/122.40	o 185050
122.07/122.46	o 184670
122.37/122.75	o 184552
122.57/122.93	o 183368
123.37/123.74	o 181972
124.17/124.51	o 181918
124.17/124.51	o 181909
124.17/124.52	o 181900
124.17/124.52	o 181892
124.17/124.53	o 181706
124.17/124.53	o 180418
124.17/124.54	o 179112
124.17/124.57	o 179098
125.96/126.39	o 179092
126.16/126.52	o 179006
126.16/126.57	o 179000
126.16/126.58	o 178995
126.16/126.58	o 178986
126.26/126.66	o 178923
126.26/126.66	o 178914
126.26/126.66	o 178905
126.26/126.67	o 178896
126.47/126.81	o 178888
126.47/126.82	o 178850
126.47/126.89	o 178844
126.97/127.31	o 178722
127.26/127.65	o 178625
127.26/127.67	o 178598
127.56/127.97	o 178592
127.67/128.09	o 178296
128.77/129.12	o 178293
128.77/129.12	o 178284
128.77/129.15	o 178270
128.77/129.18	o 178148
128.96/129.36	o 178046
130.45/130.84	o 177872
132.15/132.58	o 177867
132.25/132.60	o 177809
132.45/132.81	o 177519
132.45/132.84	o 177307
132.45/132.84	o 177223
132.45/132.85	o 177177
132.76/133.11	o 177055
132.85/133.23	o 177046
133.25/133.67	o 176944
135.84/136.25	o 176726
135.84/136.26	o 176378
136.04/136.41	o 176300
136.04/136.41	o 174884
136.93/137.37	o 173358
138.24/138.62	o 171670
139.04/139.40	o 171595
139.04/139.41	o 171586
139.04/139.41	o 171568
139.33/139.76	o 171548
139.33/139.78	o 171536
139.33/139.78	o 171499
139.33/139.79	o 171481
139.33/139.79	o 171467
139.43/139.80	o 171458
139.53/139.95	o 171457
139.53/139.95	o 171439
139.53/139.97	o 171433
140.33/140.78	o 171406
140.64/141.10	o 171398
140.64/141.10	o 171380
140.64/141.10	o 171366
140.74/141.11	o 171357
140.74/141.12	o 171348
140.74/141.13	o 171308
140.74/141.14	o 171290
140.92/141.36	o 171273
140.92/141.37	o 171271
140.92/141.37	o 171233
140.92/141.37	o 171215
140.92/141.38	o 171201
141.02/141.41	o 171192
141.02/141.42	o 171186
141.42/141.84	o 171134
141.42/141.88	o 171012
141.82/142.28	o 170832
142.64/143.10	o 170812
142.64/143.11	o 170803
142.74/143.11	o 170789
142.74/143.19	o 170780
143.52/143.97	o 170612
143.92/144.35	o 170606
144.32/144.74	o 170298
145.12/145.54	o 170005
145.12/145.55	o 169996
145.32/145.73	o 169924
145.42/145.81	o 169802
146.32/146.79	o 169628
146.52/146.94	o 169619
146.52/146.94	o 169601
146.52/146.95	o 169592
146.52/146.99	o 169577
146.52/146.99	o 169563
146.63/147.02	o 169554
146.63/147.10	o 169552
146.63/147.10	o 169543
146.73/147.16	o 169453
146.73/147.16	o 169444
146.81/147.25	o 169401
146.81/147.26	o 169392
146.91/147.35	o 169386
147.01/147.45	o 169375
147.01/147.45	o 169366
147.01/147.46	o 169276
147.21/147.67	o 169270
147.31/147.71	o 169088
147.62/148.03	o 168708
147.81/148.21	o 168697
147.81/148.22	o 168688
147.81/148.24	o 168682
148.01/148.43	o 168592
148.11/148.56	o 168566
148.11/148.56	o 168552
148.11/148.57	o 168543
148.11/148.57	o 168534
148.21/148.68	o 168530
148.31/148.72	o 168160
149.21/149.68	o 168044
150.11/150.51	o 168037
150.21/150.62	o 168009
150.21/150.63	o 168003
150.21/150.64	o 167925
150.80/151.23	o 167921
150.80/151.24	o 167887
151.61/152.04	o 167797
152.40/152.81	o 167783
152.40/152.81	o 167769
152.40/152.82	o 167583
152.40/152.83	o 167545
152.50/152.90	o 167423
153.30/153.70	o 167417
154.09/154.50	o 167389
154.09/154.52	o 167381
154.09/154.55	o 167347
154.19/154.62	o 165963
154.60/155.05	o 165010
155.61/156.03	o 165005
155.61/156.04	o 164978
156.29/156.75	o 164888
156.60/157.06	o 164882
156.89/157.32	o 164248
156.99/157.46	o 164202
159.78/160.28	o 164080
160.08/160.56	o 163958
160.29/160.71	o 163868
160.29/160.77	o 163862
160.38/160.88	o 163626
161.18/161.67	o 163452
161.48/161.99	o 163437
161.88/162.39	o 161975
162.58/163.05	o 161640
162.58/163.08	o 161525
163.17/163.68	o 161269
163.17/163.69	o 160999
163.17/163.69	o 160985
163.27/163.72	o 160977
163.27/163.72	o 160855
163.69/164.15	o 160437
163.77/164.29	o 160433
163.77/164.29	o 160415
163.77/164.29	o 160406
163.87/164.39	o 160379
164.17/164.60	o 160368
164.17/164.61	o 160341
164.97/165.43	o 159001
167.58/168.05	o 158974
167.58/168.05	o 158956
167.76/168.26	o 158918
167.86/168.39	o 158912
168.06/168.53	o 158780
169.36/169.86	o 157060
170.05/170.51	o 155772
170.86/171.37	o 155766
170.86/171.37	o 155757
170.86/171.38	o 155748
170.96/171.42	o 155690
171.35/171.80	o 155670
171.35/171.81	o 155632
171.45/171.96	o 155321
171.45/171.97	o 155294
172.35/172.81	o 155047
172.35/172.82	o 154969
172.35/172.82	o 154951
173.14/173.60	o 154949
173.14/173.61	o 154931
173.14/173.64	o 154893
174.14/174.62	o 154887
174.74/175.24	o 154866
174.74/175.25	o 154828
174.84/175.35	o 154826
174.84/175.37	o 154736
175.04/175.58	o 154718
176.24/176.77	o 154647
176.43/176.90	o 154586
177.14/177.60	o 154164
177.14/177.60	o 154155
177.14/177.61	o 154147
177.14/177.70	o 154131
177.24/177.70	o 154113
177.24/177.72	o 154100
177.24/177.72	o 154082
177.24/177.73	o 154055
177.24/177.76	o 154037
177.34/177.82	o 154028
177.34/177.83	o 154019
177.65/178.15	o 154014
177.65/178.16	o 153968
177.65/178.17	o 153950
177.74/178.29	o 153642
179.33/179.81	o 153223
179.43/179.90	o 153134
179.43/179.91	o 153125
179.43/179.91	o 153076
179.43/179.92	o 153067
179.43/179.92	o 153049
180.13/180.69	o 153007
180.13/180.69	o 152998
180.23/180.74	o 152993
180.23/180.75	o 152975
180.23/180.78	o 152966
180.33/180.85	o 152960
180.43/180.93	o 152889
181.64/182.11	o 152837
181.64/182.13	o 152831
182.13/182.69	o 152701
182.54/183.05	o 151491
186.01/186.57	o 149873
186.71/187.24	o 149482
186.71/187.25	o 149438
187.52/188.02	o 149391
187.52/188.02	o 149364
187.52/188.03	o 149294
188.31/188.85	o 149249
188.31/188.85	o 147596
190.31/190.84	o 147166
190.31/190.85	o 147012
190.80/191.35	o 146980
191.00/191.55	o 145855
191.80/192.34	o 145834
191.80/192.36	o 145828
192.89/193.50	o 145785
193.00/193.50	o 145776
193.00/193.55	o 145749
193.51/194.03	o 145691
194.19/194.74	o 144545
194.39/194.94	o 144543
194.39/194.98	o 144529
194.50/195.05	o 144523
194.89/195.46	o 144496
195.50/196.05	o 144406
196.08/196.68	o 144353
196.08/196.69	o 144347
196.79/197.33	o 144237
197.88/198.44	o 144211
197.98/198.50	o 144140
198.59/199.12	o 144017
198.59/199.12	o 142329
199.59/200.19	o 141986
200.58/201.14	o 141970
200.78/201.36	o 141906
200.78/201.36	o 141900
200.88/201.41	o 141891
201.18/201.77	o 141697
201.49/202.01	o 141620
201.49/202.02	o 141611
201.58/202.12	o 141553
201.67/202.21	o 141548
201.67/202.21	o 141539
201.67/202.22	o 141423
201.97/202.59	o 141405
202.17/202.70	o 141385
202.17/202.75	o 141379
202.17/202.77	o 141327
202.17/202.78	o 141289
202.37/202.96	o 141251
202.37/203.00	o 141233
202.48/203.09	o 141230
202.48/203.10	o 141224
202.76/203.36	o 141197
202.86/203.46	o 141183
202.86/203.50	o 141174
202.96/203.51	o 141165
203.07/203.61	o 141131
203.07/203.61	o 141122
203.07/203.62	o 141104
203.37/203.93	o 141098
203.48/204.02	o 141080
203.48/204.04	o 141071
203.77/204.33	o 141041
203.77/204.34	o 141003
203.77/204.34	o 140985
203.77/204.36	o 140967
204.06/204.66	o 140961
204.66/205.27	o 140930
204.66/205.27	o 140921
205.06/205.66	o 140915
205.66/206.28	o 140844
206.16/206.75	o 140823
206.26/206.80	o 140817
209.46/210.10	o 140801
209.56/210.13	o 140474
209.95/210.59	o 140458
210.15/210.77	o 139274
211.46/212.11	o 138926
211.56/212.11	o 137716
214.94/215.53	o 136480
215.45/216.08	o 136388
215.55/216.11	o 136382
215.64/216.23	o 135475
215.64/216.23	o 135466
215.64/216.28	o 135292
215.74/216.37	o 135234
215.74/216.37	o 135225
215.83/216.40	o 135216
215.83/216.41	o 135207
215.83/216.41	o 135198
215.93/216.50	o 135196
215.93/216.51	o 135187
215.93/216.51	o 135178
215.93/216.52	o 135169
215.93/216.53	o 135160
216.33/216.96	o 135158
216.44/217.02	o 135093
216.44/217.04	o 135084
216.44/217.09	o 135076
216.44/217.10	o 135067
216.44/217.10	o 135058
216.54/217.13	o 135047
216.54/217.13	o 135038
216.54/217.16	o 135029
216.54/217.17	o 135020
216.73/217.34	o 135014
216.83/217.45	o 134970
217.23/217.84	o 134954
217.33/217.90	o 134896
217.33/217.92	o 134737
217.33/217.92	o 134731
217.33/217.93	o 134728
217.33/217.94	o 134722
218.54/219.19	o 134683
218.63/219.20	o 134674
218.63/219.26	o 133386
218.73/219.33	o 133348
218.83/219.43	o 133342
218.83/219.45	o 133296
218.83/219.46	o 133249
219.33/219.93	o 132922
220.32/220.96	o 132811
220.53/221.14	o 132643
220.63/221.26	o 132300
220.93/221.51	o 132256
221.23/221.86	o 132024
221.62/222.24	o 131978
221.92/222.55	o 131931
222.43/223.04	o 131924
222.92/223.56	o 131880
223.32/223.92	o 131878
223.32/223.93	o 131840
223.32/223.96	o 131834
223.32/223.99	o 131787
223.81/224.42	o 131460
225.02/225.69	o 131416
225.12/225.70	o 131398
225.81/226.47	o 131327
226.61/227.21	o 131280
227.20/227.89	o 130469
227.30/228.01	o 130431
228.70/229.33	o 130424
228.70/229.33	o 130415
228.70/229.34	o 130407
228.70/229.36	o 129093
232.10/232.70	o 129084
232.10/232.72	o 128918
232.10/232.77	o 128910
232.19/232.85	o 127908
232.19/232.87	o 127900
233.29/234.00	o 127895
233.29/234.00	o 127839
233.40/234.01	o 127788
233.59/234.20	o 127770
233.79/234.47	o 127596
234.50/235.15	o 127563
234.50/235.17	o 127555
234.89/235.54	o 127193
235.50/236.19	o 127018
235.99/236.62	o 126977
236.19/236.82	o 126966
236.40/237.05	o 126908
238.28/238.93	o 126890
238.28/238.94	o 126881
238.49/239.13	o 126765
239.49/240.15	o 126566
239.49/240.16	o 126522
240.07/240.78	o 125832
240.38/241.08	o 125814
240.38/241.09	o 125787
240.38/241.09	o 125778
240.49/241.12	o 125720
240.49/241.13	o 125694
240.49/241.14	o 125636
240.49/241.14	o 125506
241.27/241.93	o 124270
241.97/242.67	o 124130
241.97/242.67	o 123962
241.97/242.68	o 123956
242.27/242.93	o 123898
242.57/243.23	o 123885
242.57/243.24	o 123827
242.87/243.52	o 123659
243.27/244.00	o 123650
243.27/244.01	o 123468
243.67/244.38	o 123390
243.77/244.41	o 123372
245.47/246.13	o 123345
245.47/246.15	o 123287
245.56/246.27	o 123197
247.16/247.80	o 122958
248.55/249.22	o 122803
248.55/249.25	o 122797
248.85/249.52	o 122726
249.05/249.75	o 121438
251.46/252.17	o 121090
252.54/253.26	o 121084
252.54/253.28	o 120954
252.54/253.28	o 120772
252.64/253.30	o 120714
252.84/253.58	o 120632
252.84/253.59	o 120612
252.84/253.59	o 120554
252.94/253.60	o 120536
252.94/253.62	o 120518
252.94/253.64	o 120509
255.73/256.41	o 120387
255.93/256.68	o 120381
256.23/256.90	o 120310
256.34/257.10	o 119946
256.34/257.10	o 118504
258.53/259.27	o 118460
258.83/259.58	o 118317
258.83/259.59	o 118299
258.93/259.69	o 118297
259.03/259.71	o 118239
259.92/260.62	o 118161
259.92/260.63	o 118155
260.72/261.43	o 118097
261.43/262.11	o 118085
261.43/262.11	o 118076
261.43/262.16	o 117922
261.92/262.65	o 117832
262.52/263.23	o 117798
262.52/263.23	o 117780
263.33/264.08	o 116794
263.91/264.69	o 116790
264.01/264.71	o 116712
264.01/264.72	o 116558
264.72/265.49	o 116514
266.21/266.92	o 116494
266.21/266.99	o 116488
268.20/268.99	o 115226
269.10/269.87	o 115168
269.10/269.89	o 115156
269.10/269.90	o 115150
269.20/269.91	o 115141
269.60/270.38	o 115088
269.70/270.40	o 115070
270.20/270.96	o 115026
270.70/271.40	o 115020
272.70/273.49	o 115012
272.80/273.50	o 115006
273.49/274.28	o 113994
273.59/274.36	o 113829
273.59/274.38	o 113758
273.79/274.55	o 113662
273.79/274.55	o 112000
275.99/276.73	o 110570
279.97/280.76	o 110424
279.97/280.76	o 110418
279.97/280.78	o 110288
279.97/280.79	o 110244
280.07/280.81	o 110148
280.28/281.04	o 110122
280.78/281.52	o 110114
280.78/281.52	o 110082
281.57/282.33	o 110079
281.67/282.45	o 109871
282.38/283.17	o 108765
283.67/284.49	o 108762
283.77/284.50	o 108744
283.77/284.53	o 108726
284.28/285.02	o 108657
284.66/285.43	o 107933
284.66/285.45	o 107862
285.56/286.36	o 107752
287.45/288.21	o 107542
287.45/288.23	o 107536
287.85/288.61	o 107504
288.45/289.21	o 107472
288.55/289.39	o 107455
288.55/289.39	o 107449
288.65/289.40	o 107440
288.65/289.43	o 107434
288.75/289.56	o 107414
289.75/290.50	o 107412
289.75/290.51	o 107406
292.14/292.90	o 107374
293.93/294.79	o 107264
295.43/296.21	o 107236
296.63/297.41	o 107233
296.83/297.64	o 105985
302.92/303.71	o 105976
302.92/303.72	o 105907
302.92/303.79	o 105899
303.82/304.60	o 104587
307.80/308.64	o 104424
308.00/308.82	o 104235
308.00/308.82	o 102652
310.40/311.26	o 101256
313.49/314.34	o 101210
313.49/314.35	o 101192
313.58/314.45	o 101174
314.79/315.69	o 101130
314.99/315.84	o 101122
315.20/316.01	o 101104
315.20/316.06	o 101103
315.20/316.06	o 101086
315.59/316.41	o 100232
315.59/316.47	o 99953
317.19/318.05	o 99907
318.58/319.49	o 99889
318.68/319.51	o 99795
318.68/319.52	o 99787
318.68/319.52	o 99786
318.68/319.53	o 99778
318.68/319.56	o 99729
318.68/319.58	o 99720
321.18/322.07	o 99716
321.18/322.09	o 99647
322.86/323.70	o 98451
324.46/325.30	o 98416
325.27/326.18	o 98379
325.27/326.19	o 98361
325.36/326.24	o 98303
325.66/326.57	o 98234
326.05/326.95	o 98166
326.05/326.95	o 98157
326.05/326.96	o 98148
326.16/327.09	o 96494
328.17/329.10	o 96484
328.17/329.10	o 96475
328.27/329.17	o 96323
328.27/329.18	o 96071
332.54/333.44	o 96027
332.54/333.47	o 96010
332.54/333.48	o 96001
332.54/333.49	o 95992
332.64/333.50	o 95983
332.64/333.55	o 95970
332.64/333.55	o 95961
332.64/333.56	o 95952
332.64/333.56	o 95943
332.64/333.57	o 95934
332.64/333.58	o 95925
332.74/333.60	o 95902
332.74/333.61	o 95893
332.74/333.62	o 95844
332.74/333.63	o 95835
332.94/333.84	o 95830
332.94/333.84	o 95824
333.54/334.49	o 95819
333.64/334.50	o 95651
333.64/334.50	o 95645
333.64/334.51	o 95567
333.94/334.83	o 95563
333.94/334.83	o 95545
333.94/334.85	o 95527
333.94/334.88	o 95466
334.04/334.90	o 95458
334.15/335.02	o 95450
334.15/335.03	o 95430
334.15/335.05	o 95421
334.15/335.06	o 95412
334.15/335.06	o 95378
334.15/335.08	o 95340
334.25/335.11	o 95331
334.25/335.12	o 95322
334.25/335.18	o 95312
334.25/335.19	o 95304
335.33/336.27	o 95296
335.33/336.29	o 95218
336.83/337.73	o 93964
337.63/338.51	o 93962
337.63/338.52	o 93954
337.83/338.70	o 93936
339.23/340.14	o 93644
339.92/340.88	o 93604
339.92/340.89	o 93595
340.02/340.90	o 93561
340.02/340.91	o 93543
340.02/340.94	o 93537
340.23/341.12	o 93506
340.23/341.12	o 93488
340.23/341.13	o 93479
341.02/341.91	o 93413
341.02/341.92	o 93395
342.23/343.16	o 93351
343.62/344.50	o 93343
343.92/344.80	o 93311
345.71/346.67	o 93203
347.50/348.44	o 93197
347.50/348.45	o 93191
347.50/348.46	o 93159
350.99/351.93	o 93105
351.40/352.35	o 93079
351.40/352.37	o 93073
351.60/352.53	o 92951
351.60/352.55	o 92827
351.60/352.55	o 92749
351.60/352.55	o 92740
351.70/352.62	o 92731
353.39/354.34	o 92723
353.39/354.35	o 92715
353.69/354.63	o 92658
353.69/354.64	o 92649
353.89/354.80	o 92647
353.99/354.90	o 92646
353.99/354.90	o 92629
354.10/355.06	o 92579
354.10/355.07	o 92571
354.28/355.27	o 92563
354.28/355.29	o 92545
354.49/355.46	o 92487
356.88/357.89	o 92477
356.88/357.89	o 92459
361.08/362.02	o 92355
361.08/362.02	o 92337
361.08/362.04	o 92336
361.08/362.04	o 92328
361.08/362.05	o 90996
361.08/362.05	o 90988
361.08/362.05	o 90979
361.08/362.06	o 90814
361.08/362.06	o 90797
361.08/362.07	o 90763
361.08/362.07	o 90755
361.08/362.08	o 90725
361.08/362.08	o 90707
361.08/362.08	o 90699
361.08/362.09	o 90698
361.08/362.09	o 90681
361.08/362.10	o 90496
361.08/362.10	o 90479
361.08/362.10	o 90470
361.08/362.11	o 90412
361.27/362.26	o 89182
361.27/362.27	o 89180
361.27/362.27	o 89122
361.27/362.27	o 89121
361.27/362.28	o 89104
361.27/362.28	o 89103
361.27/362.28	o 89094
361.27/362.28	o 89086
361.27/362.29	o 89083
361.27/362.29	o 89075
361.37/362.30	o 89074
361.37/362.30	o 89066
361.37/362.31	o 89054
361.37/362.31	o 88996
361.37/362.31	o 88988
361.37/362.31	o 88987
361.37/362.32	o 88978
361.37/362.32	o 88970
361.37/362.37	o 88966
361.37/362.37	o 88918
361.37/362.37	o 88910
361.37/362.38	o 88909
361.37/362.39	o 88900
361.37/362.39	o 88892
361.47/362.47	o 88891
361.47/362.47	o 88882
361.47/362.47	o 88874
361.57/362.57	o 88850
361.57/362.57	o 88836
361.57/362.58	o 88818
361.57/362.58	o 88549
361.57/362.59	o 88548
361.57/362.59	o 88531
361.67/362.62	o 88438
361.67/362.62	o 88400
361.67/362.62	o 88342
361.67/362.63	o 88333
361.67/362.63	o 88325
361.67/362.65	o 88267
361.67/362.65	o 88209
361.67/362.66	o 88084
361.67/362.67	o 87988
361.67/362.67	o 87979
361.77/362.71	o 87971
361.77/362.73	o 87966
361.77/362.73	o 87920
361.77/362.73	o 87804
361.77/362.76	o 87795
361.77/362.76	o 87794
361.77/362.77	o 87786
361.77/362.79	o 87758
361.77/362.79	o 87749
361.77/362.79	o 87740
361.77/362.80	o 87732
361.87/362.80	o 87714
361.87/362.83	o 87592
361.87/362.88	o 87570
361.87/362.88	o 87552
361.87/362.89	o 87534
361.97/362.96	o 86098
362.08/363.10	o 86096
362.08/363.11	o 85992
362.18/363.11	o 85974
362.18/363.15	o 85965
362.18/363.15	o 85956
362.26/363.20	o 85718
362.36/363.36	o 85704
362.36/363.37	o 85695
362.36/363.37	o 85649
362.36/363.38	o 85631
362.47/363.42	o 84883
362.57/363.51	o 84845
362.57/363.52	o 84485
362.57/363.53	o 84355
362.97/364.00	o 84245
363.08/364.01	o 84199
363.08/364.01	o 84181
363.08/364.03	o 84173
363.08/364.03	o 84115
363.08/364.08	o 83816
363.08/364.08	o 83564
363.18/364.16	o 83326
363.26/364.20	o 83204
363.26/364.26	o 83186
363.26/364.29	o 82893
363.56/364.58	o 82809
363.66/364.61	o 82807
363.77/364.78	o 82748
363.77/364.79	o 82730
364.18/365.18	o 82672
364.76/365.79	o 82660
364.76/365.79	o 82651
364.86/365.81	o 82643
364.86/365.85	o 82585
365.56/366.53	o 81201
366.25/367.26	o 81187
366.36/367.30	o 79861
366.66/367.64	o 78173
367.25/368.24	o 78141
367.25/368.24	o 78123
367.25/368.25	o 78115
367.35/368.31	o 76485
368.25/369.22	o 74867
369.75/370.70	o 74862
369.75/370.70	o 74804
370.24/371.22	o 74740
370.24/371.23	o 72999
371.45/372.44	o 71661
371.94/372.96	o 71583
371.94/372.96	o 71574
371.94/372.96	o 70234
371.94/372.97	o 70226
371.94/372.97	o 70225
371.94/372.98	o 70217
373.54/374.51	o 70215
373.54/374.51	o 70206
373.54/374.51	o 70198
373.73/374.74	o 68535
376.15/377.11	o 68438
376.43/377.44	o 68394
379.03/380.10	o 68376
379.22/380.20	o 68370
379.22/380.21	o 68298
380.22/381.21	o 68208
380.32/381.39	o 66792
381.32/382.30	o 66786
381.32/382.32	o 66728
385.21/386.29	o 66500
385.21/386.29	o 66456
386.61/387.61	o 65246
388.20/389.24	o 63984
391.00/392.07	o 63928
391.10/392.17	o 63650
393.69/394.76	o 63400
393.79/394.84	o 63397
393.79/394.85	o 63388
393.79/394.86	o 63359
393.79/394.87	o 63350
393.89/394.90	o 63332
393.89/394.97	o 61867
393.89/394.97	o 61858
394.10/395.14	o 61849
394.10/395.15	o 61840
396.88/397.94	o 61612
396.99/398.07	o 61577
396.99/398.07	o 61568
400.86/401.97	o 61564
402.98/404.03	o 61484
403.16/404.21	o 61330
403.16/404.26	o 61301
403.16/404.27	o 61292
403.36/404.40	o 61248
407.85/409.00	o 61237
407.96/409.02	o 61159
407.96/409.03	o 61101
407.96/409.04	o 61093
408.96/410.08	o 60928
409.06/410.17	o 60857
412.44/413.52	o 60735
414.95/416.10	o 60722
415.05/416.13	o 60702
415.83/416.98	o 59539
415.83/416.98	o 59370
416.83/417.93	o 59352
421.81/422.94	o 59330
425.10/426.20	o 59313
425.10/426.21	o 59305
425.20/426.34	o 59299
425.20/426.34	o 59291
425.20/426.35	o 59255
425.20/426.36	o 59247
425.70/426.85	o 59217
425.70/426.85	o 59209
432.79/433.94	o 59195
432.79/433.95	o 59151
433.19/434.35	o 59021
433.68/434.82	o 58801
439.57/440.78	o 58721
443.97/445.16	o 58719
443.97/445.17	o 58690
443.97/445.18	o 58501
444.06/445.25	o 58492
446.25/447.48	o 58422
462.93/464.14	o 58411
463.61/464.84	o 58391
465.70/466.96	o 58369
465.70/466.96	o 58361
465.70/466.97	o 58265
465.81/467.04	o 58221
466.60/467.89	o 57916
466.70/467.90	o 57876
466.70/467.90	o 57858
471.59/472.82	o 57857
476.67/477.97	o 57761
480.57/481.81	o 57717
480.77/482.11	o 57357
487.25/488.59	o 57326
487.45/488.73	o 57308
487.76/489.07	o 57168
487.76/489.08	o 57160
490.44/491.71	o 56280
490.44/491.73	o 56092
502.91/504.30	o 56073
503.10/504.44	o 56064
503.60/504.90	o 56049
503.60/504.90	o 56032
503.72/505.04	o 56023
503.82/505.16	o 56015
503.82/505.17	o 55957
503.82/505.18	o 55953
503.91/505.20	o 55936
503.91/505.22	o 55918
503.91/505.25	o 55703
503.91/505.26	o 55702
503.91/505.27	o 55685
504.40/505.75	o 55681
504.40/505.75	o 55663
504.40/505.76	o 55646
504.81/506.16	o 55622
505.20/506.57	o 55602
506.50/507.84	o 55523
506.50/507.84	o 55514
506.50/507.85	o 55497
507.30/508.68	o 54209
508.50/509.80	o 54202
508.50/509.81	o 54085
508.50/509.88	o 54073
510.89/512.26	o 53873
520.27/521.69	o 53857
520.37/521.76	o 53769
526.95/528.34	o 53558
527.66/529.05	o 53512
527.66/529.05	o 53485
527.66/529.06	o 53468
527.94/529.32	o 53419
527.94/529.36	o 53416
527.94/529.36	o 53407
528.04/529.40	o 53242
528.04/529.41	o 53233
528.54/529.98	o 53230
528.54/529.99	o 53222
528.54/529.99	o 53213
528.54/530.00	o 53201
536.43/537.89	o 53169
536.52/537.90	o 53131
537.02/538.40	o 53118
537.02/538.41	o 53109
537.02/538.41	o 53089
541.51/542.95	o 52520
541.51/542.96	o 52511
541.51/543.01	o 52394
548.39/549.83	o 52391
548.49/549.99	o 52342
548.49/550.00	o 52298
548.60/550.01	o 52278
548.60/550.02	o 52273
548.60/550.02	o 52261
548.88/550.39	o 52252
554.69/556.17	o 52014
559.76/561.26	o 51886
560.58/562.01	o 51866
560.58/562.02	o 51858
560.58/562.02	o 51849
580.10/581.67	o 50769
607.34/609.00	s OPTIMUM FOUND
607.34/609.00	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 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 x3015 x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 x3635 x3636 x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 x3832 x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 x3872 x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 x3902 x3903 x3904 x3905 x3906 x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 x3932 x3933 -x3934 -x3935 -x3936 -x3937 x3938 x3939 x3940 x3941 -x3942 -x3943 -x3944 -x3945

Verifier Data 

OK	50769

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: 64096 MiB (62010 MiB free)
  memory of node 1: 64473 MiB (60490 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433151-1721106555/watcher-4433151-1721106555 -o /tmp/evaluation-result-4433151-1721106555/solver-4433151-1721106555 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721105828-831991 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1849353847 HOME/instance-4433151-1721106555.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100113 s]*
/proc/loadavg: 4.12 4.06 3.95 5/242 833287
/proc/meminfo: memFree=125428508/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=39224 memory=17540 CPUtime=0.11 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 3868 0 0 0 10 1 0 0 20 0 1 0 162811360 40165376 4385 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 9806 4385 1044 1005 0 8569 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 39224 KiB
Current children cumulated memory: 17540 KiB

[startup+0.212896 s]*
/proc/loadavg: 4.12 4.06 3.95 5/242 833287
/proc/meminfo: memFree=125420392/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=40688 memory=21068 CPUtime=0.22 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 4232 0 0 0 20 2 0 0 20 0 1 0 162811360 41664512 5267 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 10172 5267 1092 1005 0 8935 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 40688 KiB
Current children cumulated memory: 21068 KiB

[startup+0.312685 s]*
/proc/loadavg: 4.12 4.06 3.95 5/242 833287
/proc/meminfo: memFree=125417908/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=42140 memory=22388 CPUtime=0.32 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 4572 0 0 0 30 2 0 0 20 0 1 0 162811360 43151360 5597 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 10535 5597 1092 1005 0 9298 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 42140 KiB
Current children cumulated memory: 22388 KiB

[startup+0.700318 s]
/proc/loadavg: 4.12 4.06 3.95 5/242 833287
/proc/meminfo: memFree=125407400/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=47024 memory=33540 CPUtime=0.69 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 5817 0 0 0 67 2 0 0 20 0 1 0 162811360 48152576 8385 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 11756 8385 1092 1005 0 10519 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 47024 KiB
Current children cumulated memory: 33540 KiB

[startup+1.50031 s]
/proc/loadavg: 4.12 4.06 3.95 5/242 833287
/proc/meminfo: memFree=125388676/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=61480 memory=55072 CPUtime=1.49 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 9123 0 0 0 146 3 0 0 20 0 1 0 162811360 62955520 13768 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 15370 13768 1140 1005 0 14133 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 61480 KiB
Current children cumulated memory: 55072 KiB

[startup+3.11268 s]
/proc/loadavg: 4.11 4.06 3.95 5/242 833287
/proc/meminfo: memFree=125317692/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=121632 memory=94508 CPUtime=3.09 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 15034 0 0 0 303 6 0 0 20 0 1 0 162811360 124551168 23627 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 30408 23627 1140 1005 0 29171 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 121632 KiB
Current children cumulated memory: 94508 KiB

[startup+6.30031 s]
/proc/loadavg: 4.11 4.06 3.95 5/242 833288
/proc/meminfo: memFree=125274472/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=126572 memory=107080 CPUtime=6.27 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 16678 0 0 0 619 8 0 0 20 0 1 0 162811360 129609728 26770 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 31643 26770 1140 1005 0 30406 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 126572 KiB
Current children cumulated memory: 107080 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.05 3.95 5/242 833288
/proc/meminfo: memFree=125148732/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=213808 memory=180660 CPUtime=12.66 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 27362 0 0 0 1252 14 0 0 20 0 1 0 162811360 218939392 45165 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 53452 45165 1140 1005 0 52215 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 213808 KiB
Current children cumulated memory: 180660 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.05 3.95 5/242 833291
/proc/meminfo: memFree=124834184/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=296024 memory=220008 CPUtime=25.42 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 32303 0 0 0 2520 22 0 0 20 0 1 0 162811360 303128576 55002 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 74006 55002 1140 1005 0 72769 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 296024 KiB
Current children cumulated memory: 220008 KiB

[startup+51.1131 s]
/proc/loadavg: 4.05 4.05 3.96 5/244 833298
/proc/meminfo: memFree=124430060/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=361096 memory=293128 CPUtime=50.98 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 43557 0 0 0 5065 33 0 0 20 0 1 0 162811360 369762304 73282 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 90274 73282 1140 1005 0 89037 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 361096 KiB
Current children cumulated memory: 293128 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.05 3.97 5/244 833307
/proc/meminfo: memFree=124260500/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=361968 memory=293944 CPUtime=102.03 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 43870 0 0 0 10152 51 0 0 20 0 1 0 162811360 370655232 73486 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 90492 73486 1140 1005 0 89255 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 361968 KiB
Current children cumulated memory: 293944 KiB

[startup+162.3 s]
/proc/loadavg: 4.52 4.17 4.01 5/244 833317
/proc/meminfo: memFree=123549200/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=363128 memory=295276 CPUtime=161.88 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 44305 0 0 0 16116 72 0 0 20 0 1 0 162811360 371843072 73819 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 90782 73819 1140 1005 0 89545 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 363128 KiB
Current children cumulated memory: 295276 KiB

[startup+222.3 s]
/proc/loadavg: 4.72 4.29 4.07 5/244 833328
/proc/meminfo: memFree=123408216/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=364024 memory=296188 CPUtime=221.72 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 44687 0 0 0 22078 94 0 0 20 0 1 0 162811360 372760576 74047 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 91006 74047 1140 1005 0 89769 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 364024 KiB
Current children cumulated memory: 296188 KiB

[startup+282.3 s]
/proc/loadavg: 4.95 4.43 4.13 5/243 833338
/proc/meminfo: memFree=123401844/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=366172 memory=299436 CPUtime=281.57 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 45603 0 0 0 28043 114 0 0 20 0 1 0 162811360 374960128 74859 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 91543 74859 1140 1005 0 90306 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 366172 KiB
Current children cumulated memory: 299436 KiB

[startup+342.3 s]
/proc/loadavg: 4.44 4.38 4.13 5/243 833349
/proc/meminfo: memFree=123137980/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=366792 memory=300100 CPUtime=341.41 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 45875 0 0 0 34009 132 0 0 20 0 1 0 162811360 375595008 75025 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 91698 75025 1140 1005 0 90461 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 366792 KiB
Current children cumulated memory: 300100 KiB

[startup+402.3 s]
/proc/loadavg: 4.49 4.39 4.14 5/241 833360
/proc/meminfo: memFree=122882576/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=378164 memory=315912 CPUtime=401.26 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 48366 0 0 0 39970 156 0 0 20 0 1 0 162811360 387239936 78978 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 94541 78978 1140 1005 0 93304 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 378164 KiB
Current children cumulated memory: 315912 KiB

[startup+462.3 s]
/proc/loadavg: 4.73 4.50 4.20 5/241 833370
/proc/meminfo: memFree=122863968/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=381388 memory=318624 CPUtime=461.12 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 49132 0 0 0 45934 178 0 0 20 0 1 0 162811360 390541312 79656 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 95347 79656 1140 1005 0 94110 0
Current children cumulated CPU time: 461.12 s
Current children cumulated vsize: 381388 KiB
Current children cumulated memory: 318624 KiB

[startup+522.3 s]
/proc/loadavg: 4.38 4.43 4.19 5/241 833380
/proc/meminfo: memFree=122780676/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=402360 memory=337580 CPUtime=520.96 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 53954 0 0 0 51896 200 0 0 20 0 1 0 162811360 412016640 84395 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 100590 84395 1140 1005 0 99353 0
Current children cumulated CPU time: 520.96 s
Current children cumulated vsize: 402360 KiB
Current children cumulated memory: 337580 KiB

[startup+582.3 s]
/proc/loadavg: 4.18 4.37 4.18 5/244 833396
/proc/meminfo: memFree=122747856/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=416308 memory=349212 CPUtime=580.81 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 56934 0 0 0 57858 223 0 0 20 0 1 0 162811360 426299392 87303 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 104077 87303 1140 1005 0 102840 0
Current children cumulated CPU time: 580.81 s
Current children cumulated vsize: 416308 KiB
Current children cumulated memory: 349212 KiB

[startup+609.016 s]
# the end of solver process 833286 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=605.124 s, system=2.34061 s

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

[startup+588.8 s]
/proc/loadavg: 4.22 4.37 4.18 5/244 833397
/proc/meminfo: memFree=122747196/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=416940 memory=349740 CPUtime=587.29 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 57095 0 0 0 58505 224 0 0 20 0 1 0 162811360 426946560 87435 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 104235 87435 1140 1005 0 102998 0
Current children cumulated CPU time: 587.29 s
Current children cumulated vsize: 416940 KiB
Current children cumulated memory: 349740 KiB

[startup+601.6 s]
/proc/loadavg: 4.19 4.36 4.18 5/244 833400
/proc/meminfo: memFree=122736988/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=417952 memory=350724 CPUtime=600.06 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 57367 0 0 0 59777 229 0 0 20 0 1 0 162811360 427982848 87681 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 104488 87681 1140 1005 0 103251 0
Current children cumulated CPU time: 600.06 s
Current children cumulated vsize: 417952 KiB
Current children cumulated memory: 350724 KiB

[startup+604.8 s]
/proc/loadavg: 4.17 4.35 4.18 5/244 833401
/proc/meminfo: memFree=122734820/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=420896 memory=353060 CPUtime=603.25 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 57935 0 0 0 60095 230 0 0 20 0 1 0 162811360 430997504 88265 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 105224 88265 1140 1005 0 103987 0
Current children cumulated CPU time: 603.25 s
Current children cumulated vsize: 420896 KiB
Current children cumulated memory: 353060 KiB

[startup+606.4 s]
/proc/loadavg: 4.17 4.35 4.18 5/244 833401
/proc/meminfo: memFree=122734456/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=421876 memory=353588 CPUtime=604.85 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 58031 0 0 0 60253 232 0 0 20 0 1 0 162811360 432001024 88397 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 105469 88397 1140 1005 0 104232 0
Current children cumulated CPU time: 604.85 s
Current children cumulated vsize: 421876 KiB
Current children cumulated memory: 353588 KiB

[startup+608 s]*
/proc/loadavg: 4.16 4.35 4.18 5/244 833401
/proc/meminfo: memFree=122733644/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=421876 memory=353852 CPUtime=606.45 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 58107 0 0 0 60413 232 0 0 20 0 1 0 162811360 432001024 88463 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 105469 88463 1140 1005 0 104232 0
Current children cumulated CPU time: 606.45 s
Current children cumulated vsize: 421876 KiB
Current children cumulated memory: 353852 KiB

[startup+608.8 s]
/proc/loadavg: 4.16 4.35 4.18 5/244 833401
/proc/meminfo: memFree=122733644/131655788 swapFree=131071996/131071996
[pid=833286] ppid=833283 vsize=421876 memory=353852 CPUtime=607.24 cores=1,3
/proc/833286/stat : 833286 (Exact) R 833283 833286 831979 0 -1 4194304 58117 0 0 0 60491 233 0 0 20 0 1 0 162811360 432001024 88463 134679101440 4194304 8309489 140732059023696 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 21999616 140732059030462 140732059030632 140732059030632 140732059037647 0
/proc/833286/statm: 105469 88463 1140 1005 0 104232 0
Current children cumulated CPU time: 607.24 s
Current children cumulated vsize: 421876 KiB
Current children cumulated memory: 353852 KiB

[startup+609 s]*
/proc/loadavg: 4.16 4.35 4.18 5/244 833401
/proc/meminfo: memFree=122733140/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 30

Real time (s): 609.016
CPU time (s): 607.464
CPU user time (s): 605.124
CPU system time (s): 2.34061
CPU usage (%): 99.7453
Max. virtual memory (cumulated for all children) (KiB): 421876
Max. memory (cumulated for all children) (KiB): 353852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 605.124
system time used= 2.34061
maximum resident set size= 353852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58118
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= 2
involuntary context switches= 666


# summary of solver processes directly reported to runsolver:
#   pid: 833286
#   total CPU time (s): 607.464
#   total CPU user time (s): 605.124
#   total CPU system time (s): 2.34061

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.01855 second user time and 5.96576 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-16 07:09:28
IDJOB=4433151
IDBENCH=148155
IDSOLVER=3060
FILE ID=nodeC004/4433151-1721106555
RUNJOBID= nodeC004-1721105828-831991
SLURM_JOB_ID= 7505633
Free space on /tmp= 723760 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433151-1721106555/watcher-4433151-1721106555 -o /tmp/evaluation-result-4433151-1721106555/solver-4433151-1721106555 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721105828-831991 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1849353847 HOME/instance-4433151-1721106555.opb

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

MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768
RANDOM SEED=1849353847

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        125441476 kB
MemAvailable:   126177972 kB
Buffers:          405020 kB
Cached:          1169112 kB
SwapCached:            0 kB
Active:           735252 kB
Inactive:        4937372 kB
Active(anon):       3360 kB
Inactive(anon):  4132504 kB
Active(file):     731892 kB
Inactive(file):   804868 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6192 kB
Writeback:             0 kB
AnonPages:       4097932 kB
Mapped:           117712 kB
Shmem:             37700 kB
KReclaimable:      79872 kB
Slab:             175132 kB
SReclaimable:      79872 kB
SUnreclaim:        95260 kB
KernelStack:        3936 kB
PageTables:        18004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    5277372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52128 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1634304 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189256 kB
DirectMap2M:    14395392 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC004 at 2024-07-16 07:19:37