Trace number 4433148

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-05OPT33456 358.64 359.444

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
MD5SUM80638e9ab302f8cbcb0fef344ba23b43
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 benchmark33456
Best CPU time to get the best result obtained on this benchmark0.261171
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4360
Total number of constraints8610
Number of constraints which are clauses8610
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 constraint163
Number of terms in the objective function 2173
Biggest coefficient in the objective function 2124
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3653850
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2124
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3653850
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.21/0.27	o 341660
0.21/0.27	o 339240
0.21/0.27	o 337517
0.21/0.28	o 335707
0.21/0.28	o 335542
0.21/0.28	o 335510
0.21/0.28	o 333984
0.21/0.29	o 333960
0.21/0.29	o 333904
0.21/0.29	o 333664
0.21/0.30	o 333652
0.21/0.30	o 332454
0.21/0.31	o 332214
0.21/0.31	o 332202
0.21/0.32	o 332046
0.21/0.32	o 332022
0.30/0.32	o 331889
0.30/0.32	o 330531
0.30/0.32	o 330507
0.30/0.33	o 330267
0.30/0.33	o 330255
0.30/0.34	o 330191
0.30/0.34	o 328793
0.30/0.35	o 328771
0.30/0.35	o 327393
0.30/0.35	o 327381
0.30/0.36	o 327369
0.30/0.36	o 327357
0.30/0.37	o 327175
0.30/0.37	o 327106
0.30/0.38	o 326926
0.30/0.39	o 326874
0.30/0.39	o 326862
0.30/0.40	o 326740
0.30/0.41	o 326067
0.30/0.41	o 325855
0.30/0.42	o 325719
0.30/0.42	o 325591
0.30/0.42	o 325435
0.40/0.42	o 325411
0.40/0.43	o 325383
0.40/0.43	o 325331
0.40/0.43	o 325319
0.40/0.44	o 325295
0.40/0.45	o 325113
0.40/0.45	o 325050
0.40/0.46	o 324998
0.40/0.46	o 324986
0.40/0.47	o 324870
0.40/0.48	o 324830
0.40/0.48	o 324806
0.40/0.49	o 324794
0.40/0.49	o 324678
0.40/0.50	o 324648
0.40/0.50	o 324520
0.40/0.52	o 324496
0.50/0.55	o 324484
0.50/0.56	o 324368
0.50/0.57	o 324252
0.50/0.57	o 322938
0.50/0.58	o 322860
0.50/0.58	o 322816
0.50/0.59	o 321476
0.60/0.61	o 321383
0.60/0.61	o 321331
0.60/0.62	o 321319
0.60/0.62	o 319953
0.60/0.63	o 319901
0.60/0.63	o 319773
0.60/0.65	o 318137
0.60/0.66	o 318129
0.60/0.66	o 317883
0.69/0.70	o 317645
0.69/0.71	o 316357
0.69/0.74	o 316334
0.69/0.74	o 316218
0.69/0.75	o 316206
0.69/0.77	o 316183
0.69/0.77	o 316171
0.69/0.78	o 315974
0.88/1.01	o 315870
1.00/1.01	o 315852
1.18/1.21	o 315846
1.18/1.22	o 315844
1.18/1.22	o 315812
1.18/1.22	o 315800
1.18/1.23	o 315794
1.18/1.23	o 315782
1.18/1.26	o 315774
1.28/1.33	o 314474
1.28/1.36	o 314440
1.28/1.36	o 314388
1.28/1.36	o 314376
1.58/1.68	o 314369
1.58/1.69	o 314337
1.68/1.73	o 314311
1.68/1.76	o 314137
1.78/1.88	o 314039
1.99/2.01	o 314003
1.99/2.02	o 312420
2.09/2.17	o 312402
2.09/2.17	o 312390
2.09/2.18	o 312382
2.09/2.19	o 312356
2.17/2.21	o 312182
2.17/2.27	o 312164
2.38/2.40	o 312150
2.38/2.40	o 310708
2.68/2.73	o 310656
2.68/2.74	o 309278
2.99/3.05	o 309249
2.99/3.06	o 309229
2.99/3.07	o 309171
2.99/3.09	o 309162
2.99/3.09	o 309154
3.09/3.15	o 309076
3.09/3.15	o 309056
3.09/3.18	o 309038
3.67/3.73	o 308966
3.67/3.73	o 308928
3.67/3.74	o 308908
3.67/3.74	o 308870
3.67/3.75	o 308868
3.67/3.76	o 308856
3.67/3.76	o 308818
3.67/3.78	o 308728
3.67/3.78	o 308690
3.67/3.79	o 308678
3.78/3.80	o 308658
3.78/3.80	o 308620
3.78/3.81	o 308606
3.78/3.82	o 308598
3.78/3.82	o 308540
3.78/3.83	o 308474
3.78/3.83	o 308424
3.87/3.91	o 308418
3.87/3.92	o 308360
3.87/3.92	o 308316
3.87/3.93	o 308302
3.87/3.95	o 307685
3.87/3.95	o 307563
3.87/3.95	o 307555
3.87/3.96	o 307433
3.87/3.96	o 307383
3.87/3.97	o 307375
3.87/3.97	o 307317
3.87/3.97	o 307267
3.87/3.97	o 306971
3.87/3.98	o 306953
3.87/3.98	o 306768
3.87/3.98	o 306710
3.87/3.99	o 306698
3.87/3.99	o 306640
3.87/3.99	o 306582
3.87/4.00	o 306568
3.99/4.01	o 306538
3.99/4.01	o 306524
3.99/4.02	o 305529
3.99/4.02	o 305262
3.99/4.02	o 305204
3.99/4.03	o 305190
3.99/4.03	o 305140
3.99/4.04	o 305132
3.99/4.04	o 305074
3.99/4.04	o 305024
3.99/4.05	o 304359
3.99/4.05	o 304295
3.99/4.05	o 304092
3.99/4.05	o 304034
3.99/4.06	o 304008
3.99/4.07	o 303970
3.99/4.07	o 303912
3.99/4.07	o 303854
3.99/4.08	o 303852
3.99/4.09	o 303800
3.99/4.09	o 303672
3.99/4.11	o 303666
4.09/4.11	o 303536
4.09/4.11	o 303486
4.09/4.12	o 303440
4.09/4.12	o 303243
4.09/4.14	o 303211
4.09/4.15	o 303199
4.09/4.16	o 303191
4.09/4.19	o 303186
4.17/4.20	o 303148
4.17/4.20	o 302916
4.17/4.22	o 302872
4.17/4.23	o 302816
4.17/4.26	o 302808
4.17/4.26	o 301085
4.27/4.33	o 301053
4.27/4.33	o 301033
4.37/4.41	o 301017
4.37/4.41	o 300999
4.37/4.42	o 300961
4.37/4.42	o 300729
4.37/4.45	o 300532
4.37/4.45	o 300416
4.37/4.47	o 300390
4.37/4.48	o 300372
4.37/4.49	o 300163
4.37/4.49	o 300073
4.37/4.49	o 299911
4.47/4.50	o 299899
4.47/4.57	o 299881
4.68/4.75	o 299873
4.68/4.75	o 299823
4.68/4.76	o 299701
4.77/4.80	o 297960
4.87/4.96	o 297958
4.87/4.98	o 296618
4.87/4.99	o 296600
4.87/5.00	o 294982
4.98/5.01	o 294962
4.98/5.03	o 294944
4.98/5.07	o 294810
5.17/5.28	o 294783
5.27/5.37	o 294480
5.27/5.38	o 294408
5.27/5.38	o 294292
5.27/5.38	o 294240
5.27/5.39	o 294228
5.27/5.39	o 294220
5.37/5.41	o 294212
5.37/5.42	o 294200
5.37/5.43	o 294190
5.37/5.44	o 294182
5.37/5.49	o 294170
5.47/5.50	o 294153
5.47/5.53	o 294095
5.47/5.54	o 294019
5.47/5.54	o 294007
5.57/5.61	o 293999
5.57/5.62	o 293961
5.57/5.65	o 293787
5.66/5.73	o 293653
5.66/5.79	o 293509
5.77/5.80	o 293501
5.77/5.80	o 292161
5.77/5.86	o 292153
5.77/5.87	o 292126
5.77/5.88	o 292114
5.87/5.92	o 292080
5.87/5.93	o 291842
5.98/6.08	o 291803
5.98/6.09	o 291791
6.08/6.13	o 291779
6.08/6.18	o 290703
6.17/6.28	o 290677
6.17/6.28	o 290593
6.17/6.29	o 290573
6.27/6.38	o 290571
6.27/6.39	o 290563
6.36/6.43	o 290305
6.46/6.50	o 290278
6.56/6.60	o 290275
6.56/6.60	o 290267
6.67/6.72	o 290151
6.77/6.87	o 290102
6.77/6.87	o 290084
6.77/6.88	o 290057
6.77/6.89	o 289993
6.77/6.89	o 289761
6.87/6.90	o 289587
6.87/6.91	o 289361
6.87/6.92	o 289341
6.87/6.92	o 289309
6.87/6.93	o 289283
7.17/7.22	o 289253
7.17/7.22	o 288958
7.77/7.80	o 288940
7.77/7.83	o 288862
7.77/7.84	o 288842
7.87/7.99	o 288738
7.87/8.00	o 288720
8.08/8.11	o 287040
8.26/8.38	o 287010
8.26/8.39	o 287002
8.36/8.41	o 286944
8.36/8.49	o 285775
8.46/8.54	o 285760
8.46/8.55	o 285546
8.56/8.60	o 285322
8.56/8.61	o 285206
8.76/8.81	o 285076
8.87/8.96	o 285068
8.87/8.96	o 285050
8.87/8.97	o 285038
8.87/8.98	o 285030
8.98/9.01	o 284848
9.16/9.28	o 284833
9.16/9.28	o 284821
9.36/9.46	o 284656
9.36/9.46	o 284319
9.76/9.83	o 284289
9.76/9.83	o 283994
9.86/9.97	o 283966
9.86/9.98	o 283936
9.86/9.99	o 283928
9.97/10.02	o 283925
9.97/10.02	o 283905
9.97/10.04	o 283888
9.97/10.05	o 283876
9.97/10.06	o 283870
9.97/10.07	o 283850
9.97/10.10	o 283827
10.07/10.11	o 283817
10.07/10.13	o 283809
10.07/10.14	o 283782
10.07/10.16	o 283776
10.07/10.17	o 283756
10.16/10.29	o 283667
10.25/10.31	o 283563
10.25/10.31	o 283545
10.25/10.34	o 283518
10.86/10.92	o 283470
10.86/10.93	o 283380
10.86/10.93	o 283218
10.86/10.93	o 283206
10.86/10.95	o 283198
10.86/10.97	o 283100
10.97/11.05	o 282891
10.97/11.06	o 282717
11.07/11.12	o 282502
11.07/11.12	o 282386
11.16/11.20	o 282282
11.16/11.20	o 282264
11.16/11.29	o 282238
11.26/11.38	o 282160
11.26/11.38	o 282000
11.56/11.61	o 281992
11.66/11.75	o 280687
11.86/11.91	o 280675
11.86/11.93	o 280667
11.86/11.94	o 280609
12.07/12.19	o 280531
12.07/12.19	o 280371
12.25/12.30	o 280303
12.25/12.34	o 280297
12.25/12.35	o 280277
12.25/12.37	o 280161
12.35/12.43	o 280039
12.35/12.46	o 280031
12.45/12.58	o 280027
12.45/12.59	o 279812
12.55/12.62	o 279696
12.55/12.63	o 279458
12.55/12.65	o 279428
12.55/12.65	o 279133
12.76/12.89	o 278973
12.96/13.05	o 278879
13.15/13.22	o 278871
13.85/13.95	o 278757
13.96/14.05	o 278749
14.15/14.23	o 278633
14.35/14.48	o 278509
14.45/14.50	o 278125
14.45/14.50	o 276759
17.15/17.20	o 276752
17.15/17.21	o 276720
17.15/17.21	o 276694
17.15/17.23	o 276668
17.15/17.23	o 276642
17.15/17.26	o 276552
17.15/17.29	o 276540
17.25/17.30	o 276532
17.25/17.32	o 276506
17.25/17.33	o 276468
17.25/17.33	o 276236
17.25/17.38	o 276219
17.25/17.38	o 276207
17.25/17.39	o 276202
17.25/17.39	o 276198
17.34/17.40	o 276190
17.34/17.42	o 276070
17.34/17.42	o 276062
17.34/17.44	o 276042
17.34/17.47	o 276036
17.34/17.48	o 275920
17.44/17.56	o 275912
17.44/17.57	o 275866
17.54/17.60	o 275854
17.54/17.63	o 275688
17.54/17.65	o 275680
17.54/17.68	o 275662
17.64/17.72	o 275590
17.64/17.73	o 275581
17.64/17.73	o 275573
17.64/17.76	o 275572
17.64/17.77	o 275546
17.85/17.95	o 274213
17.85/17.95	o 274091
17.85/17.96	o 274083
17.85/17.98	o 274082
17.85/17.98	o 274074
17.85/17.99	o 274057
17.96/18.02	o 273862
17.96/18.03	o 273842
17.96/18.04	o 273810
17.96/18.04	o 273784
17.96/18.05	o 273774
17.96/18.05	o 273766
18.15/18.27	o 273758
18.15/18.28	o 272496
18.25/18.38	o 272470
18.25/18.39	o 272452
18.25/18.39	o 272420
18.25/18.40	o 272394
18.34/18.42	o 272382
18.34/18.42	o 272374
18.64/18.72	o 272366
18.84/18.98	o 272280
18.84/18.98	o 272270
18.84/18.99	o 272262
18.84/19.01	o 272180
18.95/19.01	o 272172
18.95/19.03	o 272140
18.95/19.04	o 272128
18.95/19.06	o 272123
18.95/19.07	o 272111
19.05/19.11	o 272103
19.05/19.12	o 272095
19.05/19.13	o 272087
19.05/19.14	o 272055
19.05/19.15	o 272029
19.05/19.17	o 272025
19.05/19.17	o 272017
19.14/19.22	o 271968
19.14/19.22	o 271960
19.14/19.24	o 271852
19.14/19.24	o 271840
19.14/19.25	o 271832
19.14/19.26	o 271824
19.14/19.26	o 271812
19.24/19.30	o 271804
19.24/19.30	o 271786
19.24/19.33	o 271768
19.24/19.34	o 271751
19.24/19.34	o 271739
19.24/19.35	o 271719
19.24/19.38	o 271710
19.24/19.39	o 271692
19.44/19.50	o 271684
19.44/19.51	o 271432
19.44/19.52	o 271420
19.54/19.66	o 271387
19.54/19.67	o 271369
19.54/19.68	o 271362
19.54/19.69	o 271342
19.64/19.71	o 271304
19.64/19.71	o 271200
19.64/19.72	o 271182
19.64/19.78	o 271152
19.64/19.79	o 271036
19.74/19.81	o 271004
19.74/19.81	o 270978
19.74/19.85	o 270970
19.83/19.92	o 270958
19.83/19.94	o 270842
19.94/20.07	o 270712
20.24/20.30	o 270569
20.24/20.35	o 270475
20.34/20.46	o 270470
20.34/20.47	o 270444
20.54/20.63	o 270426
20.64/20.73	o 270425
20.64/20.75	o 270399
20.73/20.88	o 270391
20.95/21.06	o 270384
20.95/21.06	o 270376
20.95/21.07	o 270364
20.95/21.08	o 270248
20.95/21.10	o 270126
20.95/21.11	o 270118
21.05/21.16	o 269944
21.05/21.19	o 269932
21.05/21.19	o 269924
21.23/21.33	o 269920
21.23/21.34	o 269868
21.23/21.36	o 269790
21.23/21.37	o 269778
21.33/21.41	o 269761
21.33/21.44	o 269587
21.43/21.57	o 269471
21.63/21.78	o 269470
21.63/21.78	o 269452
21.63/21.79	o 269444
21.73/21.89	o 269206
21.94/22.06	o 269192
21.94/22.06	o 269184
21.94/22.07	o 269158
21.94/22.07	o 269150
21.94/22.09	o 269123
22.04/22.13	o 269045
22.04/22.13	o 268885
22.63/22.73	o 268844
22.63/22.75	o 268817
23.13/23.28	o 268375
23.13/23.28	o 268163
23.13/23.29	o 267899
23.23/23.35	o 267872
23.63/23.78	o 267657
23.63/23.79	o 267541
23.94/24.07	o 267540
23.94/24.08	o 267508
23.94/24.09	o 267500
23.94/24.10	o 267490
23.94/24.10	o 267482
24.04/24.12	o 267474
24.12/24.20	o 267462
24.12/24.21	o 267410
24.12/24.22	o 267282
24.53/24.61	o 267276
24.53/24.61	o 267268
24.53/24.62	o 267152
24.63/24.75	o 267125
24.63/24.79	o 267020
24.73/24.81	o 266890
24.73/24.82	o 266774
24.94/25.07	o 266770
25.04/25.18	o 266764
25.13/25.21	o 266737
25.13/25.27	o 266730
25.13/25.27	o 266722
25.13/25.27	o 266710
25.33/25.47	o 266646
25.33/25.48	o 266298
25.52/25.67	o 266260
25.52/25.68	o 266240
25.62/25.70	o 266213
25.62/25.72	o 266097
25.62/25.78	o 266089
25.72/25.89	o 266082
25.82/25.90	o 266062
26.03/26.19	o 266002
26.62/26.79	o 265994
26.72/26.81	o 265990
26.72/26.87	o 265982
26.83/26.99	o 265764
27.04/27.18	o 265758
27.04/27.19	o 265456
27.22/27.38	o 265451
27.22/27.39	o 265433
27.32/27.41	o 265429
27.32/27.48	o 264141
27.42/27.58	o 264114
27.72/27.84	o 264094
27.72/27.85	o 264082
27.82/27.90	o 264068
27.82/27.91	o 264064
27.82/27.98	o 263788
29.32/29.45	o 263782
29.32/29.46	o 263750
29.32/29.46	o 263724
29.42/29.54	o 262462
29.71/29.83	o 260579
30.12/30.22	o 258667
30.41/30.57	o 256941
30.61/30.78	o 255447
30.82/30.97	o 253869
31.31/31.40	o 253867
31.31/31.41	o 253863
31.31/31.42	o 253855
31.31/31.43	o 253817
31.31/31.44	o 253765
31.31/31.44	o 253753
31.41/31.51	o 252439
31.71/31.87	o 250687
32.11/32.21	o 250681
32.11/32.22	o 250677
32.11/32.24	o 249396
32.11/32.25	o 249123
32.11/32.25	o 249097
32.11/32.29	o 247783
32.51/32.65	o 246443
32.92/33.06	o 246420
32.92/33.07	o 246411
32.92/33.08	o 246403
32.92/33.08	o 246383
33.02/33.12	o 246267
33.10/33.24	o 246240
33.20/33.36	o 246226
33.20/33.39	o 246110
33.50/33.67	o 245994
33.60/33.78	o 245990
33.81/33.90	o 245934
33.81/34.00	o 245930
33.92/34.04	o 245756
33.92/34.06	o 245746
33.92/34.07	o 245738
33.92/34.08	o 245439
33.92/34.10	o 245431
34.02/34.12	o 245427
34.11/34.21	o 245424
34.11/34.22	o 245420
34.11/34.25	o 245400
34.11/34.28	o 245373
34.21/34.33	o 245155
34.41/34.53	o 245113
34.41/34.54	o 245105
34.41/34.56	o 245036
34.41/34.57	o 245016
34.51/34.65	o 244989
34.51/34.67	o 244981
34.61/34.72	o 244865
34.80/34.90	o 244859
34.80/34.91	o 244839
34.80/34.94	o 244812
34.92/35.04	o 244638
35.02/35.18	o 244629
35.10/35.20	o 244569
35.20/35.34	o 244567
35.20/35.36	o 244563
35.30/35.40	o 244551
35.30/35.45	o 244530
35.30/35.47	o 244526
35.30/35.49	o 244521
35.40/35.51	o 244517
35.40/35.52	o 244508
35.40/35.53	o 244500
35.40/35.55	o 244473
35.40/35.58	o 244465
35.50/35.60	o 244461
35.50/35.63	o 244453
35.50/35.67	o 244253
35.50/35.69	o 244201
35.50/35.69	o 244015
38.19/38.38	o 244004
38.19/38.39	o 244000
38.29/38.40	o 242730
38.29/38.40	o 242712
38.29/38.41	o 242706
38.29/38.42	o 242679
38.29/38.44	o 242661
38.29/38.44	o 242652
38.29/38.44	o 242644
38.29/38.48	o 242544
38.29/38.48	o 242536
38.29/38.49	o 242532
38.39/38.50	o 242499
38.39/38.50	o 242472
38.39/38.53	o 242464
38.39/38.55	o 242446
38.39/38.55	o 242442
38.39/38.56	o 242419
38.39/38.57	o 242415
38.39/38.58	o 242398
38.49/38.61	o 241156
38.49/38.61	o 241142
38.49/38.62	o 241138
38.49/38.63	o 241109
38.49/38.64	o 241082
38.49/38.64	o 241078
38.49/38.66	o 241070
38.49/38.66	o 240916
38.59/38.71	o 240911
38.59/38.71	o 240902
38.59/38.71	o 240894
38.59/38.72	o 240893
38.59/38.73	o 240888
38.59/38.73	o 240880
38.59/38.74	o 240876
38.59/38.76	o 240864
38.59/38.77	o 240753
38.59/38.77	o 240744
38.59/38.77	o 240736
38.80/38.91	o 240735
38.80/38.92	o 240721
38.80/38.92	o 240717
38.80/38.93	o 240702
38.80/38.94	o 240698
38.80/38.95	o 240694
38.80/38.95	o 240690
38.80/38.96	o 240682
38.80/38.97	o 240678
38.80/38.98	o 240579
38.80/38.98	o 240562
38.91/39.04	o 240468
38.91/39.05	o 240464
38.91/39.06	o 240452
38.91/39.09	o 240450
38.91/39.10	o 240444
38.91/39.10	o 240440
39.00/39.11	o 240436
39.00/39.11	o 240432
39.09/39.23	o 240425
39.09/39.23	o 240421
39.09/39.23	o 240409
39.19/39.32	o 240407
39.19/39.32	o 240399
39.19/39.33	o 240358
39.19/39.33	o 240331
39.39/39.55	o 240330
39.39/39.56	o 240304
39.50/39.63	o 240301
39.50/39.63	o 240288
39.50/39.64	o 240284
39.70/39.84	o 240278
39.70/39.85	o 240274
39.70/39.85	o 240266
39.70/39.89	o 240252
39.80/39.94	o 240240
39.80/39.96	o 240224
39.80/39.97	o 240220
39.91/40.06	o 240214
39.91/40.06	o 240206
39.91/40.07	o 240188
39.91/40.10	o 239967
39.91/40.10	o 239958
39.91/40.11	o 239950
40.01/40.15	o 239934
40.01/40.16	o 239930
40.09/40.29	o 239917
40.09/40.29	o 239909
40.29/40.42	o 239883
40.29/40.45	o 239875
40.29/40.46	o 239867
40.29/40.46	o 239863
40.39/40.53	o 239848
40.39/40.54	o 239844
40.39/40.54	o 239836
40.49/40.61	o 239717
40.49/40.61	o 239665
40.49/40.62	o 239639
40.49/40.64	o 239630
40.49/40.64	o 239622
40.59/40.78	o 239588
40.59/40.79	o 239570
40.69/40.81	o 239566
40.69/40.82	o 239558
40.69/40.85	o 239538
40.90/41.06	o 239217
41.09/41.25	o 239216
41.09/41.26	o 239198
41.19/41.32	o 239190
41.39/41.53	o 239176
41.39/41.55	o 239098
41.39/41.56	o 239078
41.39/41.60	o 239052
41.58/41.75	o 239044
41.68/41.88	o 239038
41.68/41.89	o 239030
41.68/41.89	o 238952
41.78/41.98	o 238836
41.90/42.10	o 238835
42.00/42.11	o 238809
42.18/42.34	o 238693
42.28/42.46	o 238685
42.28/42.46	o 238677
42.28/42.47	o 238667
42.28/42.48	o 238659
42.39/42.51	o 238649
42.39/42.52	o 238637
42.39/42.53	o 238633
42.49/42.65	o 238484
42.59/42.72	o 238415
42.69/42.84	o 238357
42.79/42.90	o 238241
42.90/43.05	o 238113
43.09/43.22	o 237029
43.09/43.23	o 236962
43.09/43.23	o 236935
43.09/43.29	o 236915
44.00/44.18	o 236793
44.00/44.19	o 236785
44.09/44.29	o 236747
44.19/44.31	o 236740
44.19/44.31	o 236736
44.19/44.32	o 236728
44.19/44.33	o 236726
44.19/44.34	o 236722
44.19/44.34	o 236718
44.19/44.36	o 236714
44.19/44.36	o 236710
44.29/44.45	o 236703
44.29/44.46	o 236683
44.48/44.62	o 236669
44.48/44.62	o 236661
44.48/44.67	o 236641
44.58/44.72	o 236634
44.58/44.74	o 236614
44.68/44.82	o 236610
44.68/44.88	o 236597
44.78/44.90	o 236593
44.78/44.90	o 236581
44.78/44.94	o 236577
44.99/45.11	o 236557
44.99/45.13	o 236493
45.08/45.22	o 236363
45.28/45.44	o 236362
45.28/45.44	o 236354
45.28/45.47	o 236336
45.48/45.62	o 235988
46.38/46.59	o 235982
46.58/46.71	o 235968
46.58/46.72	o 235960
46.58/46.73	o 235954
46.58/46.74	o 235942
46.58/46.74	o 235934
46.68/46.82	o 235909
46.68/46.83	o 235897
46.68/46.85	o 235893
46.68/46.89	o 235892
46.78/46.91	o 235890
46.78/46.92	o 235886
46.78/46.93	o 235866
46.89/47.07	o 235858
46.89/47.08	o 235836
46.99/47.12	o 235832
46.99/47.16	o 235720
47.07/47.27	o 235712
47.17/47.30	o 235708
47.17/47.32	o 235648
47.27/47.45	o 235645
47.27/47.46	o 235641
47.27/47.48	o 235581
47.37/47.57	o 235547
47.37/47.59	o 235496
47.47/47.65	o 235469
47.47/47.68	o 235465
47.57/47.76	o 235247
48.07/48.21	o 235239
48.07/48.22	o 235235
48.07/48.26	o 235175
48.27/48.42	o 235097
48.27/48.47	o 234995
48.48/48.66	o 234867
48.68/48.81	o 234859
48.68/48.81	o 234851
48.78/48.94	o 234791
48.89/49.03	o 234641
48.89/49.04	o 234633
48.89/49.04	o 234517
48.89/49.06	o 234512
48.89/49.06	o 232849
48.89/49.07	o 232797
48.89/49.07	o 232785
48.89/49.11	o 232729
48.99/49.11	o 232721
48.99/49.11	o 232713
48.99/49.12	o 232701
48.99/49.12	o 232681
48.99/49.17	o 232655
49.47/49.64	o 232650
49.47/49.65	o 232642
49.47/49.66	o 232622
49.47/49.69	o 232544
49.57/49.75	o 232477
49.57/49.76	o 232450
49.77/50.00	o 232334
50.67/50.81	o 232256
50.67/50.82	o 232038
50.88/51.10	o 232036
50.98/51.11	o 232022
50.98/51.12	o 232018
50.98/51.19	o 231972
51.07/51.20	o 231968
51.07/51.21	o 231960
51.07/51.22	o 231896
51.17/51.37	o 231612
51.67/51.85	o 231604
51.77/51.98	o 231600
52.07/52.22	o 230074
52.27/52.44	o 230057
52.27/52.45	o 230045
52.27/52.46	o 230037
52.47/52.60	o 229219
52.47/52.61	o 229007
52.47/52.61	o 228917
52.47/52.62	o 228807
52.47/52.62	o 228755
52.67/52.80	o 228537
52.87/53.04	o 228500
52.87/53.05	o 228492
52.87/53.05	o 228484
53.46/53.66	o 228136
54.27/54.41	o 228116
54.27/54.43	o 228107
54.27/54.44	o 228047
54.27/54.45	o 226384
54.56/54.72	o 226132
54.56/54.73	o 226004
55.06/55.28	o 224316
55.56/55.71	o 224302
55.56/55.72	o 224294
55.56/55.78	o 222641
55.97/56.12	o 222625
55.97/56.13	o 222617
55.97/56.14	o 222487
55.97/56.19	o 221109
56.06/56.22	o 221031
56.16/56.33	o 221005
56.36/56.50	o 220781
56.36/56.50	o 220665
56.66/56.89	o 220651
56.76/56.92	o 220647
56.87/57.10	o 220351
57.75/57.97	o 219971
57.97/58.14	o 219372
57.97/58.19	o 219368
57.97/58.19	o 219194
58.06/58.22	o 219185
58.06/58.23	o 219176
58.06/58.23	o 219168
60.86/61.04	o 218924
60.86/61.04	o 218666
60.86/61.10	o 218658
60.96/61.16	o 218640
60.96/61.19	o 218422
61.04/61.24	o 218248
61.15/61.32	o 218085
61.15/61.33	o 216481
61.25/61.47	o 216045
61.25/61.48	o 214731
62.34/62.55	o 213417
62.64/62.83	o 211955
62.86/63.06	o 211938
62.86/63.06	o 211921
62.86/63.06	o 211799
62.86/63.06	o 211791
62.86/63.08	o 211787
62.96/63.11	o 210448
62.96/63.13	o 210273
62.96/63.15	o 208799
62.96/63.16	o 207485
63.34/63.52	o 207323
63.44/63.66	o 207235
63.44/63.66	o 207227
63.54/63.70	o 206703
63.54/63.70	o 206695
63.54/63.72	o 206537
63.54/63.72	o 206520
63.64/63.80	o 206456
63.74/63.97	o 206296
63.85/64.01	o 206166
63.85/64.09	o 206050
63.95/64.11	o 205949
63.95/64.12	o 205885
63.95/64.12	o 205838
63.95/64.13	o 205806
63.95/64.13	o 205548
64.04/64.26	o 205521
64.34/64.52	o 205490
64.34/64.52	o 205482
64.34/64.56	o 205308
64.34/64.57	o 203994
64.54/64.70	o 203968
65.24/65.42	o 203962
65.24/65.43	o 203800
65.95/66.14	o 203740
65.95/66.14	o 203662
66.04/66.20	o 203488
66.23/66.42	o 203438
66.23/66.43	o 203430
66.34/66.56	o 201840
67.63/67.83	o 201582
67.63/67.84	o 201414
67.73/67.97	o 200758
67.84/68.08	o 200678
67.84/68.08	o 200670
67.94/68.16	o 200628
67.94/68.16	o 200620
67.94/68.17	o 200603
68.12/68.30	o 200584
68.12/68.30	o 200576
68.22/68.45	o 200366
68.22/68.46	o 200358
68.22/68.46	o 200306
68.22/68.47	o 200280
69.02/69.20	o 200268
69.02/69.21	o 200152
69.12/69.32	o 198812
69.22/69.49	o 198654
69.32/69.51	o 198642
69.32/69.52	o 198550
69.32/69.52	o 197024
69.62/69.85	o 196973
69.62/69.86	o 196946
69.62/69.86	o 195328
69.72/69.98	o 195250
69.72/69.98	o 195032
70.32/70.52	o 194093
70.42/70.69	o 194048
70.52/70.70	o 194040
70.52/70.70	o 194004
70.52/70.71	o 193996
70.52/70.71	o 193988
70.52/70.71	o 193970
70.52/70.72	o 193962
70.72/70.90	o 193866
70.72/70.91	o 193822
70.72/70.91	o 193814
70.72/70.91	o 193788
71.62/71.89	o 193736
71.72/71.90	o 193704
71.72/71.91	o 193544
71.72/71.92	o 193298
71.72/71.93	o 193153
71.72/71.94	o 193127
71.72/71.94	o 193089
71.72/71.95	o 192741
71.72/71.98	o 191479
71.83/72.09	o 191252
71.83/72.09	o 191078
72.12/72.30	o 191014
72.12/72.31	o 190896
72.52/72.77	o 189240
72.84/73.09	o 189147
72.84/73.09	o 189139
72.93/73.16	o 189104
72.93/73.17	o 188748
73.02/73.27	o 187654
73.12/73.38	o 187486
73.42/73.68	o 187477
73.42/73.68	o 187460
73.42/73.68	o 187332
73.42/73.69	o 186000
73.61/73.85	o 185930
73.71/73.93	o 185922
74.11/74.39	o 184408
74.51/74.77	o 184317
74.51/74.77	o 182977
74.62/74.86	o 182762
74.72/74.90	o 182692
74.72/74.93	o 182684
75.83/76.01	o 182646
75.83/76.02	o 182611
75.83/76.03	o 180982
75.83/76.04	o 180930
75.83/76.04	o 180904
75.83/76.06	o 180896
76.11/76.37	o 180876
76.11/76.39	o 180806
76.11/76.40	o 180798
76.21/76.41	o 180680
76.31/76.51	o 180564
76.31/76.55	o 180474
76.31/76.56	o 180422
76.31/76.56	o 180396
76.61/76.80	o 180357
76.61/76.80	o 180305
76.61/76.80	o 180279
76.61/76.82	o 180238
76.61/76.83	o 180133
76.61/76.83	o 180017
76.61/76.84	o 179965
76.61/76.85	o 179939
76.83/77.03	o 179933
76.83/77.06	o 179815
76.93/77.11	o 179803
76.93/77.11	o 179687
76.93/77.12	o 179569
77.01/77.29	o 179354
77.11/77.32	o 179284
77.11/77.35	o 179276
77.71/77.97	o 179235
77.71/77.97	o 179209
77.71/77.99	o 179116
77.71/78.01	o 179108
79.11/79.35	o 178761
79.81/80.10	o 178756
79.91/80.11	o 178454
80.00/80.26	o 178402
80.20/80.48	o 178398
80.20/80.48	o 178390
80.20/80.49	o 178274
80.30/80.55	o 177038
84.59/84.83	o 177032
84.59/84.83	o 177015
84.59/84.84	o 176989
84.59/84.89	o 176952
84.59/84.89	o 176926
84.81/85.06	o 176764
84.91/85.11	o 176714
84.91/85.12	o 176662
84.91/85.12	o 176636
84.99/85.21	o 176635
84.99/85.25	o 176517
85.29/85.56	o 176427
85.29/85.56	o 176401
85.80/86.01	o 175803
85.80/86.04	o 175795
85.99/86.22	o 175722
85.99/86.22	o 175713
85.99/86.22	o 175705
85.99/86.24	o 175653
85.99/86.24	o 175627
86.19/86.41	o 175602
86.19/86.42	o 175593
86.19/86.42	o 175585
86.29/86.52	o 175467
86.29/86.57	o 175465
86.29/86.57	o 175457
86.29/86.58	o 175269
86.29/86.59	o 175205
86.29/86.59	o 175087
86.38/86.63	o 174132
86.38/86.65	o 173917
86.38/86.69	o 173847
87.90/88.19	o 173845
87.90/88.19	o 173842
87.99/88.20	o 173825
87.99/88.20	o 173628
87.99/88.21	o 173602
88.09/88.31	o 173434
88.29/88.58	o 173392
88.29/88.58	o 173384
88.29/88.59	o 173306
88.39/88.66	o 172479
88.39/88.68	o 172264
88.59/88.81	o 172194
88.80/89.03	o 172100
88.80/89.04	o 172048
88.80/89.04	o 172022
88.80/89.05	o 172014
88.80/89.10	o 172011
88.80/89.10	o 171645
88.90/89.11	o 171477
88.98/89.23	o 171097
89.28/89.50	o 171030
89.28/89.50	o 171021
89.28/89.50	o 171013
89.28/89.51	o 170961
89.28/89.52	o 170935
89.48/89.72	o 170807
89.48/89.72	o 170784
89.58/89.86	o 170714
91.18/91.48	o 170709
91.38/91.60	o 170541
91.48/91.78	o 170505
91.58/91.89	o 170139
91.97/92.20	o 168517
92.67/92.99	o 167153
93.07/93.31	o 167137
93.07/93.35	o 167129
93.28/93.56	o 166954
93.48/93.75	o 166950
93.58/93.82	o 165714
94.27/94.58	o 165522
94.37/94.63	o 165500
94.37/94.67	o 165454
94.47/94.77	o 165372
94.47/94.77	o 165294
94.47/94.79	o 165286
94.78/95.05	o 165259
94.78/95.05	o 165233
94.78/95.06	o 165216
94.78/95.09	o 165206
94.78/95.10	o 165180
95.27/95.52	o 165165
95.57/95.86	o 164886
96.78/97.07	o 164769
96.78/97.08	o 164766
96.78/97.08	o 164400
96.78/97.09	o 164232
96.88/97.14	o 164154
96.97/97.25	o 163992
97.07/97.33	o 163980
97.07/97.34	o 163765
97.07/97.34	o 163695
97.47/97.79	o 163625
97.57/97.81	o 163589
97.67/97.98	o 163479
98.16/98.40	o 163380
98.16/98.41	o 162826
98.16/98.43	o 161564
98.66/98.97	o 161554
98.66/98.97	o 161546
98.66/99.00	o 161524
98.78/99.05	o 159852
99.66/99.95	o 159704
99.66/99.97	o 159544
99.66/99.97	o 158050
100.15/100.46	o 158030
100.15/100.48	o 157862
100.36/100.63	o 157848
100.36/100.65	o 157826
100.36/100.67	o 157536
100.56/100.84	o 157344
100.77/101.01	o 156871
100.77/101.01	o 156863
100.77/101.01	o 156590
100.77/101.02	o 156564
100.77/101.05	o 156546
100.77/101.06	o 156524
100.87/101.13	o 156381
100.87/101.15	o 156297
100.87/101.15	o 156245
100.87/101.15	o 156219
105.05/105.37	o 156210
105.05/105.37	o 156202
105.15/105.45	o 156184
105.25/105.50	o 154531
105.25/105.56	o 154461
106.25/106.58	o 154165
106.75/107.05	o 154057
107.75/108.08	o 153999
107.85/108.12	o 153889
107.85/108.15	o 153869
107.85/108.16	o 152363
111.85/112.11	o 152339
111.85/112.12	o 152331
111.85/112.16	o 152277
111.85/112.17	o 152247
111.85/112.17	o 152239
111.93/112.21	o 152188
111.93/112.22	o 152158
111.93/112.29	o 152080
111.93/112.29	o 150974
112.04/112.30	o 150944
112.04/112.30	o 150936
112.14/112.42	o 150908
112.14/112.42	o 150878
112.24/112.55	o 150792
112.24/112.56	o 150762
112.24/112.56	o 150467
112.24/112.57	o 150338
112.24/112.58	o 150163
112.24/112.59	o 150146
112.34/112.61	o 150100
112.34/112.62	o 149972
112.34/112.69	o 149946
112.44/112.71	o 148849
112.44/112.72	o 148840
112.44/112.72	o 148832
112.44/112.76	o 148820
112.44/112.77	o 148812
112.44/112.78	o 148658
112.64/112.91	o 148564
112.64/112.92	o 148556
112.64/112.93	o 148405
112.64/112.93	o 148396
112.64/112.94	o 148318
112.64/112.94	o 148310
112.64/113.01	o 148199
112.75/113.01	o 148190
112.75/113.01	o 148182
112.84/113.16	o 148175
112.84/113.16	o 148166
112.84/113.16	o 148158
112.84/113.18	o 148152
112.84/113.19	o 147990
112.93/113.27	o 147892
113.03/113.36	o 147839
113.03/113.37	o 147822
113.13/113.46	o 147414
113.13/113.46	o 147397
113.13/113.47	o 147239
113.13/113.47	o 147222
113.33/113.66	o 147195
113.33/113.66	o 147187
113.43/113.74	o 147123
113.43/113.80	o 147085
113.53/113.81	o 147007
113.53/113.84	o 146994
113.53/113.84	o 146699
113.63/113.90	o 146690
113.63/113.90	o 146682
114.23/114.54	o 146629
114.23/114.55	o 146612
114.73/115.03	o 144958
115.13/115.41	o 144839
115.33/115.62	o 144690
115.33/115.63	o 144537
115.33/115.64	o 142807
115.33/115.66	o 142790
115.33/115.68	o 141658
115.33/115.69	o 141476
115.53/115.87	o 141437
115.53/115.87	o 141429
115.53/115.88	o 141359
115.63/115.91	o 141191
115.93/116.27	o 141061
116.02/116.30	o 140953
116.22/116.55	o 140949
116.22/116.55	o 140941
116.22/116.56	o 140905
116.32/116.65	o 140797
116.42/116.73	o 140781
116.42/116.73	o 140773
116.62/116.97	o 140683
116.62/116.99	o 140681
116.62/117.00	o 140645
116.73/117.01	o 140575
117.42/117.71	o 140550
117.42/117.71	o 140542
117.62/117.92	o 140386
117.62/117.98	o 140362
117.91/118.27	o 138616
118.61/118.90	o 138538
118.61/118.99	o 137302
119.42/119.70	o 137242
119.42/119.71	o 137224
119.42/119.74	o 136291
119.42/119.74	o 136283
119.42/119.75	o 136255
119.42/119.75	o 136247
119.42/119.76	o 136040
119.52/119.81	o 135970
119.52/119.85	o 135962
120.31/120.60	o 135960
120.31/120.61	o 135936
120.31/120.67	o 134494
122.51/122.84	o 132806
123.21/123.58	o 132317
123.31/123.61	o 132289
123.31/123.61	o 132272
123.31/123.62	o 131691
123.31/123.63	o 131509
123.31/123.63	o 131312
123.31/123.64	o 131138
123.31/123.65	o 131086
123.31/123.65	o 130958
123.31/123.69	o 130897
123.31/123.69	o 130880
123.41/123.70	o 130602
123.41/123.71	o 130585
123.51/123.88	o 130576
123.51/123.89	o 130456
123.51/123.89	o 130448
123.61/123.92	o 130396
123.72/124.09	o 130280
123.90/124.20	o 130240
123.90/124.22	o 130178
123.90/124.22	o 130170
123.90/124.29	o 130165
124.00/124.30	o 130157
124.00/124.34	o 130151
124.00/124.34	o 130143
124.00/124.34	o 130065
124.00/124.36	o 129995
124.81/125.13	o 129988
124.81/125.13	o 129971
125.41/125.74	o 129758
127.30/127.66	o 129669
127.30/127.66	o 129661
127.40/127.74	o 129637
127.71/128.05	o 129493
129.29/129.60	o 129455
129.29/129.61	o 129099
129.39/129.70	o 128324
129.39/129.71	o 128271
129.39/129.72	o 128235
129.39/129.74	o 128226
129.39/129.75	o 128218
129.39/129.77	o 128005
129.59/129.93	o 128001
129.59/129.94	o 127965
129.59/129.97	o 127837
130.39/130.77	o 126279
131.19/131.55	o 126266
131.19/131.56	o 126242
131.39/131.75	o 126152
131.59/131.96	o 126122
131.59/131.96	o 126114
131.59/131.98	o 126044
132.49/132.83	o 125976
132.49/132.87	o 125969
132.49/132.87	o 125961
132.49/132.89	o 125933
132.59/132.90	o 125925
132.59/132.94	o 125863
132.59/132.94	o 125855
132.80/133.11	o 125825
132.80/133.11	o 125817
132.80/133.18	o 125764
132.80/133.18	o 125747
132.89/133.20	o 125639
133.08/133.49	o 125567
133.58/133.94	o 125483
133.79/134.13	o 125459
133.88/134.26	o 125359
133.88/134.29	o 125251
134.28/134.63	o 124029
134.79/135.15	o 123994
134.79/135.17	o 123970
134.79/135.19	o 123849
139.17/139.54	o 123844
139.17/139.55	o 123804
139.17/139.56	o 123629
139.17/139.57	o 123559
139.47/139.85	o 123550
139.47/139.85	o 123358
139.47/139.88	o 123247
139.47/139.89	o 123215
139.47/139.89	o 123026
139.57/139.90	o 122956
139.68/140.08	o 122947
139.68/140.08	o 122939
139.78/140.19	o 122915
139.87/140.24	o 122862
139.87/140.24	o 122854
139.87/140.25	o 122818
139.97/140.33	o 122811
139.97/140.33	o 122794
140.27/140.67	o 122687
140.47/140.83	o 122671
140.78/141.19	o 122663
140.87/141.28	o 122643
141.07/141.42	o 122573
141.27/141.63	o 122495
142.16/142.59	o 122257
142.56/142.92	o 122242
142.56/142.93	o 122134
143.96/144.36	o 122030
144.36/144.79	o 121914
144.77/145.18	o 121768
145.36/145.79	o 121756
145.46/145.80	o 121732
145.56/146.00	o 120418
147.66/148.02	o 120297
148.05/148.47	o 120264
148.05/148.47	o 120256
148.25/148.63	o 120250
148.25/148.64	o 120061
148.76/149.19	o 119749
148.85/149.23	o 119711
148.85/149.28	o 119643
148.85/149.29	o 119537
148.95/149.40	o 119519
149.05/149.40	o 119511
149.35/149.78	o 119419
149.45/149.80	o 119412
149.45/149.81	o 119395
149.66/150.04	o 119338
149.66/150.04	o 119321
149.66/150.06	o 119251
149.66/150.06	o 119215
149.85/150.25	o 119099
151.34/151.74	o 119086
151.34/151.74	o 119078
151.44/151.88	o 118962
151.85/152.20	o 118942
152.05/152.42	o 118854
152.34/152.78	o 118708
154.65/155.08	o 117394
155.54/155.98	o 117383
155.54/156.00	o 117313
155.94/156.35	o 117265
155.94/156.37	o 117246
155.94/156.38	o 117229
156.04/156.43	o 117205
156.24/156.64	o 117194
156.24/156.68	o 117147
156.24/156.69	o 117129
156.24/156.69	o 116886
156.34/156.77	o 116877
156.65/157.08	o 116869
156.75/157.17	o 115910
156.75/157.18	o 115695
158.33/158.77	o 115625
158.74/159.15	o 114337
159.52/159.92	o 114229
160.33/160.79	o 114191
160.43/160.82	o 114177
160.43/160.84	o 114130
160.43/160.85	o 114037
160.93/161.39	o 114036
160.93/161.39	o 114019
161.02/161.41	o 114009
161.02/161.47	o 112405
161.02/161.48	o 111091
161.52/161.92	o 111067
162.32/162.75	o 110862
162.32/162.75	o 110798
162.32/162.76	o 110734
162.32/162.78	o 110647
162.32/162.79	o 110542
162.42/162.86	o 110472
163.02/163.48	o 110394
163.12/163.55	o 110387
163.12/163.57	o 110377
165.22/165.60	o 110317
165.22/165.61	o 110307
165.22/165.62	o 110293
169.01/169.48	o 110229
169.01/169.50	o 110211
169.11/169.50	o 110175
169.11/169.56	o 109369
169.11/169.56	o 109299
169.11/169.57	o 109263
169.11/169.58	o 109156
169.20/169.64	o 109086
169.20/169.68	o 109050
169.31/169.70	o 108345
169.31/169.71	o 108307
169.31/169.71	o 108133
169.31/169.73	o 108108
169.31/169.73	o 108072
169.31/169.74	o 107996
169.31/169.75	o 107926
169.31/169.76	o 107890
169.31/169.78	o 107762
169.91/170.39	o 107728
170.01/170.40	o 107692
170.41/170.88	o 107668
171.40/171.81	o 107543
171.40/171.83	o 107460
171.40/171.84	o 107450
171.80/172.21	o 107376
171.80/172.22	o 107255
173.00/173.41	o 107015
173.40/173.89	o 105955
173.50/173.90	o 105921
173.50/173.93	o 105885
173.61/174.02	o 105861
173.80/174.28	o 105745
174.80/175.24	o 105706
174.80/175.25	o 105637
178.28/178.74	o 105611
178.89/179.36	o 105570
178.89/179.37	o 105508
178.89/179.37	o 105438
178.89/179.38	o 105402
180.08/180.59	o 105378
180.28/180.76	o 105370
180.28/180.78	o 105364
180.28/180.79	o 105202
180.48/180.98	o 105140
180.48/180.98	o 105088
180.48/181.00	o 105076
180.98/181.40	o 105064
181.38/181.83	o 104943
181.70/182.17	o 104912
181.70/182.19	o 104822
181.78/182.20	o 104714
181.88/182.37	o 104650
181.88/182.39	o 104416
181.98/182.40	o 104404
181.98/182.44	o 104394
182.18/182.60	o 104316
182.18/182.61	o 104304
182.18/182.63	o 104234
182.38/182.81	o 104036
182.38/182.83	o 103943
182.88/183.33	o 103940
182.88/183.34	o 103748
182.88/183.35	o 103665
182.88/183.37	o 103655
184.27/184.74	o 103586
185.58/186.04	o 103550
187.07/187.52	o 103446
187.07/187.55	o 103344
187.07/187.58	o 103318
187.07/187.59	o 103266
187.17/187.63	o 103254
187.37/187.82	o 102622
187.37/187.84	o 102494
187.37/187.89	o 102366
187.58/188.01	o 102312
187.58/188.03	o 102184
188.47/188.91	o 102104
188.47/188.92	o 102034
188.47/188.93	o 101998
188.47/188.97	o 101957
188.47/188.98	o 101888
188.58/189.10	o 101798
188.68/189.14	o 101690
189.17/189.62	o 101434
189.17/189.68	o 101428
189.36/189.84	o 101425
189.36/189.85	o 101355
189.36/189.86	o 101239
192.26/192.72	o 99621
193.85/194.31	o 99608
193.85/194.32	o 99539
193.95/194.48	o 99529
194.15/194.64	o 98519
194.15/194.64	o 98293
194.35/194.80	o 98284
195.15/195.65	o 98215
195.25/195.78	o 98125
195.35/195.80	o 98017
195.85/196.31	o 98015
195.85/196.31	o 97946
195.85/196.34	o 97936
200.43/200.94	o 97899
200.43/200.96	o 97877
200.43/200.97	o 97876
200.55/201.08	o 97816
200.55/201.08	o 97780
200.55/201.09	o 97770
200.73/201.20	o 97557
201.04/201.50	o 97548
201.04/201.50	o 97432
201.04/201.50	o 95999
201.55/202.08	o 95950
202.33/202.88	o 95013
202.33/202.89	o 94977
202.33/202.89	o 94800
202.43/202.90	o 94764
202.43/202.94	o 94730
202.43/202.95	o 94694
202.64/203.14	o 94672
202.64/203.14	o 94636
202.84/203.36	o 94590
202.84/203.37	o 94556
202.94/203.44	o 94520
203.24/203.72	o 93520
203.24/203.72	o 93486
203.24/203.73	o 93450
203.44/203.96	o 93392
203.55/204.07	o 93346
203.65/204.14	o 93312
203.65/204.15	o 93276
203.94/204.45	o 93225
203.94/204.46	o 93141
203.94/204.47	o 93071
204.03/204.57	o 93025
204.03/204.58	o 92955
204.23/204.78	o 92827
204.83/205.38	o 92032
205.13/205.61	o 91904
205.33/205.85	o 91583
206.73/207.25	o 89965
207.92/208.42	o 89906
208.13/208.65	o 89664
208.13/208.69	o 89628
208.33/208.80	o 88652
208.33/208.81	o 88616
208.33/208.82	o 88488
209.02/209.56	o 88454
209.02/209.57	o 88418
210.12/210.60	o 88122
210.53/211.03	o 88107
210.53/211.03	o 88037
210.53/211.07	o 88027
211.11/211.67	o 87731
212.02/212.59	o 87649
212.12/212.61	o 87541
212.12/212.63	o 87531
213.31/213.80	o 87339
213.41/213.93	o 87293
213.41/213.94	o 87155
213.52/214.06	o 87133
213.71/214.21	o 87075
213.71/214.24	o 87012
213.80/214.33	o 86954
214.20/214.73	o 86938
214.20/214.74	o 86902
214.52/215.09	o 86571
215.21/215.72	o 86296
215.21/215.73	o 86260
215.31/215.89	o 86182
215.70/216.29	o 85886
216.00/216.56	o 85830
216.20/216.75	o 85778
216.90/217.40	o 85685
216.90/217.41	o 85649
216.90/217.42	o 85571
217.30/217.81	o 84245
217.80/218.38	o 84089
217.90/218.46	o 83403
217.90/218.47	o 83361
217.90/218.47	o 83325
218.00/218.50	o 83282
218.00/218.51	o 83061
218.00/218.51	o 82983
218.20/218.78	o 82967
218.20/218.79	o 82931
218.61/219.11	o 82815
218.70/219.28	o 81631
219.80/220.36	o 80957
220.09/220.67	o 80890
220.29/220.80	o 80855
220.29/220.81	o 80819
220.50/221.03	o 80711
220.50/221.11	o 80701
221.19/221.78	o 80665
221.19/221.79	o 80655
221.60/222.15	o 80557
221.60/222.16	o 80406
222.19/222.73	o 79156
222.79/223.39	o 79141
222.89/223.40	o 79048
223.89/224.47	o 77325
228.37/229.00	o 75871
228.97/229.56	o 75619
228.97/229.57	o 74113
230.28/230.89	o 74001
230.28/230.89	o 72320
230.67/231.23	o 70939
231.17/231.76	o 70871
231.37/232.00	o 69295
232.58/233.12	o 69082
232.58/233.13	o 69050
232.58/233.13	o 68982
232.67/233.29	o 68758
232.67/233.29	o 68642
232.97/233.59	o 68574
233.07/233.60	o 68253
233.36/234.00	o 67957
234.07/234.61	o 67857
234.07/234.62	o 67789
234.07/234.63	o 67711
235.86/236.44	o 67701
236.86/237.42	o 67653
236.86/237.46	o 67643
237.06/237.64	o 66103
237.16/237.71	o 66067
238.25/238.89	o 66034
238.35/238.90	o 65897
238.46/239.01	o 65555
238.65/239.24	o 65280
238.75/239.37	o 65270
240.74/241.32	o 65218
240.94/241.55	o 65207
241.04/241.60	o 65195
241.25/241.81	o 65183
241.46/242.09	o 65162
241.56/242.14	o 65058
241.56/242.16	o 65046
241.65/242.20	o 65020
241.85/242.40	o 64986
241.85/242.41	o 64922
241.85/242.41	o 64908
241.85/242.44	o 64830
242.15/242.70	o 63904
242.46/243.10	o 63796
243.34/243.92	o 63788
243.34/243.93	o 63680
244.34/244.93	o 62444
245.55/246.12	o 62442
245.55/246.13	o 62410
245.55/246.14	o 62342
245.64/246.24	o 61138
246.04/246.66	o 59876
246.93/247.54	o 59772
246.93/247.55	o 59522
247.64/248.22	o 59448
247.64/248.22	o 59384
247.64/248.24	o 59370
248.13/248.79	o 58328
249.44/250.01	o 58260
250.63/251.25	o 56702
251.32/251.90	o 56555
251.32/251.91	o 56477
253.53/254.12	o 56471
253.53/254.14	o 56403
259.52/260.16	o 55271
261.21/261.88	o 55167
261.21/261.89	o 54917
262.00/262.62	o 54743
262.30/262.92	o 54703
262.51/263.12	o 54519
264.00/264.65	o 54483
264.20/264.80	o 54399
264.30/264.99	o 54381
264.51/265.17	o 54347
265.60/266.25	o 53791
265.60/266.29	o 53516
265.70/266.32	o 53438
267.19/267.86	o 53211
267.51/268.13	o 53179
267.59/268.22	o 53111
270.28/270.91	o 53085
271.78/272.43	o 51849
272.67/273.32	o 51745
273.07/273.77	o 51707
273.07/273.78	o 51533
273.49/274.16	o 51382
273.88/274.50	o 50112
275.17/275.85	o 50026
275.27/275.95	o 48605
276.38/277.07	o 48497
277.38/278.08	o 48469
277.48/278.12	o 47155
278.16/278.83	o 45919
279.66/280.37	o 44303
280.37/281.05	o 44218
280.37/281.05	o 44096
280.37/281.05	o 43968
280.37/281.07	o 43930
281.16/281.83	o 43629
281.16/281.84	o 43334
281.16/281.88	o 43136
281.56/282.21	o 43078
281.85/282.53	o 43068
281.95/282.61	o 43010
284.36/285.05	o 42385
288.64/289.36	o 40836
292.53/293.22	o 39537
296.12/296.80	o 39375
296.52/297.21	o 39247
298.52/299.22	o 38363
302.51/303.26	o 38327
310.49/311.22	o 36868
313.88/314.66	o 36710
313.88/314.66	o 36330
313.98/314.78	o 36126
313.98/314.79	o 36053
313.98/314.79	o 36039
313.98/314.80	o 35856
314.08/314.80	o 35842
322.67/323.43	o 35720
328.95/329.74	o 34562
333.25/334.06	o 34513
333.25/334.08	o 34473
333.25/334.08	o 34461
333.25/334.10	o 34397
333.25/334.10	o 34333
334.14/334.97	o 34313
337.73/338.51	o 34242
338.03/338.86	o 34191
339.13/339.94	o 34120
340.83/341.69	o 34035
340.93/341.71	o 33902
340.93/341.72	o 33882
341.53/342.34	o 33726
343.12/343.93	o 33584
351.32/352.17	o 33456
358.59/359.42	s OPTIMUM FOUND
358.59/359.42	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 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 x4356 x4357 -x4358 x4359 -x4360

Verifier Data 

OK	33456

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=832850, runsolver pid=832847

[startup+0.100227 s]*
/proc/loadavg: 4.13 3.88 3.83 5/245 832851
/proc/meminfo: memFree=127037820/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=34840 memory=12332 CPUtime=0.09 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 2463 0 0 0 9 0 0 0 20 0 1 0 162771982 35676160 3083 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 8710 3083 884 1005 0 7473 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34840 KiB
Current children cumulated memory: 12332 KiB

[startup+0.212837 s]*
/proc/loadavg: 4.13 3.88 3.83 5/245 832851
/proc/meminfo: memFree=127029148/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=43608 memory=21300 CPUtime=0.21 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 5157 0 0 0 20 1 0 0 20 0 1 0 162771982 44654592 5325 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 10902 5325 1044 1005 0 9665 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43608 KiB
Current children cumulated memory: 21300 KiB

[startup+0.312099 s]*
/proc/loadavg: 4.13 3.88 3.83 5/245 832851
/proc/meminfo: memFree=127025756/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=44388 memory=24844 CPUtime=0.3 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 5536 0 0 0 29 1 0 0 20 0 1 0 162771982 45453312 6211 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 11097 6211 1092 1005 0 9860 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44388 KiB
Current children cumulated memory: 24844 KiB

[startup+0.700284 s]
/proc/loadavg: 4.13 3.88 3.83 5/245 832851
/proc/meminfo: memFree=127020236/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=51120 memory=35796 CPUtime=0.69 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 7198 0 0 0 67 2 0 0 20 0 1 0 162771982 52346880 8949 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 12780 8949 1092 1005 0 11543 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51120 KiB
Current children cumulated memory: 35796 KiB

[startup+1.50029 s]
/proc/loadavg: 4.12 3.88 3.84 5/245 832851
/proc/meminfo: memFree=127009872/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=58324 memory=49116 CPUtime=1.48 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 9020 0 0 0 146 2 0 0 20 0 1 0 162771982 59723776 12279 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 14581 12279 1108 1005 0 13344 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58324 KiB
Current children cumulated memory: 49116 KiB

[startup+3.1127 s]
/proc/loadavg: 4.12 3.88 3.84 5/245 832851
/proc/meminfo: memFree=126965628/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=87340 memory=78856 CPUtime=3.09 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 13608 0 0 0 305 4 0 0 20 0 1 0 162771982 89436160 19714 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 21835 19714 1140 1005 0 20598 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 87340 KiB
Current children cumulated memory: 78856 KiB

[startup+6.3003 s]
/proc/loadavg: 4.11 3.89 3.84 5/245 832851
/proc/meminfo: memFree=126896928/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=141480 memory=131000 CPUtime=6.27 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 20926 0 0 0 620 7 0 0 20 0 1 0 162771982 144875520 32750 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 35370 32750 1140 1005 0 34133 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 141480 KiB
Current children cumulated memory: 131000 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 3.89 3.84 5/245 832853
/proc/meminfo: memFree=126776360/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=239000 memory=213480 CPUtime=12.65 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 32855 0 0 0 1252 13 0 0 20 0 1 0 162771982 244736000 53370 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 59750 53370 1140 1005 0 58513 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 239000 KiB
Current children cumulated memory: 213480 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 3.89 3.84 5/245 832854
/proc/meminfo: memFree=126361404/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=314996 memory=246548 CPUtime=25.42 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 37273 0 0 0 2521 21 0 0 20 0 1 0 162771982 322555904 61637 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 78749 61637 1140 1005 0 77512 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 314996 KiB
Current children cumulated memory: 246548 KiB

[startup+51.1126 s]
/proc/loadavg: 4.10 3.92 3.85 5/243 832859
/proc/meminfo: memFree=126011204/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=427696 memory=379960 CPUtime=50.98 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 57446 0 0 0 5066 32 0 0 20 0 1 0 162771982 437960704 94990 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 106924 94990 1140 1005 0 105687 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 427696 KiB
Current children cumulated memory: 379960 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 3.95 3.87 5/243 832867
/proc/meminfo: memFree=125710532/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=428968 memory=381476 CPUtime=102.05 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 57998 0 0 0 10154 51 0 0 20 0 1 0 162771982 439263232 95369 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 107242 95369 1140 1005 0 106005 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 428968 KiB
Current children cumulated memory: 381476 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.00 3.89 5/243 832878
/proc/meminfo: memFree=125691280/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=431036 memory=383316 CPUtime=161.92 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 58599 0 0 0 16120 72 0 0 20 0 1 0 162771982 441380864 95829 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 107759 95829 1140 1005 0 106522 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 431036 KiB
Current children cumulated memory: 383316 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.00 3.91 5/242 832889
/proc/meminfo: memFree=125658844/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=432064 memory=384468 CPUtime=221.79 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 58997 0 0 0 22086 93 0 0 20 0 1 0 162771982 442433536 96117 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 108016 96117 1140 1005 0 106779 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 432064 KiB
Current children cumulated memory: 384468 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.03 3.92 5/242 832899
/proc/meminfo: memFree=125299808/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=434760 memory=387664 CPUtime=281.66 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 59878 0 0 0 28048 118 0 0 20 0 1 0 162771982 445194240 96916 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 108690 96916 1140 1005 0 107453 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 434760 KiB
Current children cumulated memory: 387664 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.05 3.94 5/241 832909
/proc/meminfo: memFree=125098220/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=436076 memory=388704 CPUtime=341.53 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 60235 0 0 0 34015 138 0 0 20 0 1 0 162771982 446541824 97176 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 109019 97176 1140 1005 0 107782 0
Current children cumulated CPU time: 341.53 s
Current children cumulated vsize: 436076 KiB
Current children cumulated memory: 388704 KiB

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

# cumulated CPU time of all completed processes:  user=357.173 s, system=1.46661 s

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

[startup+345.6 s]
/proc/loadavg: 4.14 4.05 3.94 5/241 832909
/proc/meminfo: memFree=125098116/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=436076 memory=388704 CPUtime=344.81 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 60250 0 0 0 34342 139 0 0 20 0 1 0 162771982 446541824 97176 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 109019 97176 1140 1005 0 107782 0
Current children cumulated CPU time: 344.81 s
Current children cumulated vsize: 436076 KiB
Current children cumulated memory: 388704 KiB

[startup+352 s]*
/proc/loadavg: 4.12 4.05 3.94 5/241 832911
/proc/meminfo: memFree=125097492/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=436212 memory=388740 CPUtime=351.22 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 60283 0 0 0 34981 141 0 0 20 0 1 0 162771982 446681088 97185 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 109053 97185 1140 1005 0 107816 0
Current children cumulated CPU time: 351.22 s
Current children cumulated vsize: 436212 KiB
Current children cumulated memory: 388740 KiB

[startup+355.2 s]
/proc/loadavg: 4.12 4.05 3.94 5/241 832911
/proc/meminfo: memFree=125096604/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=436212 memory=388740 CPUtime=354.4 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 60283 0 0 0 35297 143 0 0 20 0 1 0 162771982 446681088 97185 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 109053 97185 1140 1005 0 107816 0
Current children cumulated CPU time: 354.4 s
Current children cumulated vsize: 436212 KiB
Current children cumulated memory: 388740 KiB

[startup+356.8 s]
/proc/loadavg: 4.11 4.05 3.94 5/242 832912
/proc/meminfo: memFree=125096580/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=436212 memory=388740 CPUtime=355.99 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 60304 0 0 0 35454 145 0 0 20 0 1 0 162771982 446681088 97185 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 109053 97185 1140 1005 0 107816 0
Current children cumulated CPU time: 355.99 s
Current children cumulated vsize: 436212 KiB
Current children cumulated memory: 388740 KiB

[startup+358.4 s]
/proc/loadavg: 4.11 4.05 3.94 5/242 832913
/proc/meminfo: memFree=125096464/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=436212 memory=388740 CPUtime=357.59 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 60305 0 0 0 35614 145 0 0 20 0 1 0 162771982 446681088 97185 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 109053 97185 1140 1005 0 107816 0
Current children cumulated CPU time: 357.59 s
Current children cumulated vsize: 436212 KiB
Current children cumulated memory: 388740 KiB

[startup+359.2 s]
/proc/loadavg: 4.11 4.05 3.94 5/242 832913
/proc/meminfo: memFree=125096428/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=436212 memory=388740 CPUtime=358.39 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 60306 0 0 0 35694 145 0 0 20 0 1 0 162771982 446681088 97185 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 109053 97185 1140 1005 0 107816 0
Current children cumulated CPU time: 358.39 s
Current children cumulated vsize: 436212 KiB
Current children cumulated memory: 388740 KiB

[startup+359.4 s]
/proc/loadavg: 4.11 4.05 3.94 5/242 832913
/proc/meminfo: memFree=125096428/131655788 swapFree=131071996/131071996
[pid=832850] ppid=832847 vsize=436212 memory=388740 CPUtime=358.59 cores=4,6
/proc/832850/stat : 832850 (Exact) R 832847 832850 831979 0 -1 4194304 60306 0 0 0 35714 145 0 0 20 0 1 0 162771982 446681088 97185 134679101440 4194304 8309489 140726084204720 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 31801344 140726084207550 140726084207720 140726084207720 140726084214735 0
/proc/832850/statm: 109053 97185 1140 1005 0 107816 0
Current children cumulated CPU time: 358.59 s
Current children cumulated vsize: 436212 KiB
Current children cumulated memory: 388740 KiB

Child status: 30

Real time (s): 359.444
CPU time (s): 358.64
CPU user time (s): 357.173
CPU system time (s): 1.46661
CPU usage (%): 99.7762
Max. virtual memory (cumulated for all children) (KiB): 436212
Max. memory (cumulated for all children) (KiB): 388740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 357.173
system time used= 1.46661
maximum resident set size= 388740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60307
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= 431


# summary of solver processes directly reported to runsolver:
#   pid: 832850
#   total CPU time (s): 358.64
#   total CPU user time (s): 357.173
#   total CPU system time (s): 1.46661

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.75318 second user time and 3.60097 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-16 07:02:54
IDJOB=4433148
IDBENCH=148147
IDSOLVER=3060
FILE ID=nodeC004/4433148-1721106161
RUNJOBID= nodeC004-1721105828-831990
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-fir06_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-4433148-1721106161/watcher-4433148-1721106161 -o /tmp/evaluation-result-4433148-1721106161/solver-4433148-1721106161 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721105828-831990 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1847868635 HOME/instance-4433148-1721106161.opb

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

MD5SUM BENCH= 80638e9ab302f8cbcb0fef344ba23b43
RANDOM SEED=1847868635

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		: 3662.850
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		: 3662.122
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.493
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.374
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		: 3492.161
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		: 3653.026
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.313
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.455
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:        127047708 kB
MemAvailable:   127780252 kB
Buffers:          404444 kB
Cached:          1166132 kB
SwapCached:            0 kB
Active:           733852 kB
Inactive:        3335784 kB
Active(anon):       3344 kB
Inactive(anon):  2533460 kB
Active(file):     730508 kB
Inactive(file):   802324 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6096 kB
Writeback:             0 kB
AnonPages:       2498992 kB
Mapped:           117684 kB
Shmem:             37700 kB
KReclaimable:      79824 kB
Slab:             175052 kB
SReclaimable:      79824 kB
SUnreclaim:        95228 kB
KernelStack:        3952 kB
PageTables:        14444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    3103388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52128 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1093632 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:08:53