Trace number 4291770

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
OscaR - Parallel with EPS 2018-07-02SAT (TO)929708 19943.5 2520.32

General information on the benchmark

NameAuction/Auction-cnt/
Auction-cnt-decay400_c18.xml
MD5SUMef5bf96e0ba9cc2c7a758eef92479658
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2173086
Best CPU time to get the best result obtained on this benchmark19976.7
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints400
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree40
Distribution of variable degrees[{"degree":2,"count":289},{"degree":3,"count":388},{"degree":4,"count":306},{"degree":5,"count":228},{"degree":6,"count":177},{"degree":7,"count":144},{"degree":8,"count":94},{"degree":9,"count":75},{"degree":10,"count":72},{"degree":11,"count":50},{"degree":12,"count":41},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":25},{"degree":16,"count":8},{"degree":17,"count":7},{"degree":18,"count":9},{"degree":19,"count":3},{"degree":20,"count":7},{"degree":21,"count":5},{"degree":22,"count":3},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":29,"count":1},{"degree":32,"count":1},{"degree":40,"count":1}]
Minimum constraint arity12
Maximum constraint arity37
Distribution of constraint arities[{"arity":12,"count":1},{"arity":13,"count":2},{"arity":14,"count":5},{"arity":15,"count":4},{"arity":16,"count":5},{"arity":17,"count":17},{"arity":18,"count":18},{"arity":19,"count":18},{"arity":20,"count":18},{"arity":21,"count":33},{"arity":22,"count":38},{"arity":23,"count":36},{"arity":24,"count":35},{"arity":25,"count":32},{"arity":26,"count":31},{"arity":27,"count":21},{"arity":28,"count":23},{"arity":29,"count":10},{"arity":30,"count":16},{"arity":31,"count":8},{"arity":32,"count":12},{"arity":33,"count":4},{"arity":34,"count":4},{"arity":35,"count":5},{"arity":36,"count":3},{"arity":37,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":400}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.55	c version: 2018-07-02
0.67/0.55	c seed: 855436698
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
2.41/1.12	c Parsing done, starting search...
15.03/6.76	o 7362
15.03/6.77	o 14120
15.86/6.84	o 19173
15.86/6.88	o 25931
15.86/6.88	o 33324
15.86/6.88	o 45135
15.86/6.88	o 51893
15.86/6.89	o 57642
15.86/6.89	o 64400
15.86/6.89	o 69453
15.86/6.90	o 76211
15.86/6.90	o 79219
16.64/6.91	o 82985
16.64/6.91	o 94796
16.64/6.91	o 97804
16.64/6.92	o 100595
16.64/6.92	o 101554
16.64/6.92	o 104562
16.64/6.92	o 111002
16.64/6.92	o 114010
16.64/6.92	o 115682
16.64/6.92	o 119432
16.64/6.92	o 122440
16.64/6.94	o 127152
16.64/6.94	o 130160
16.64/6.94	o 132840
16.64/6.94	o 134398
16.64/6.94	o 135468
16.64/6.94	o 138476
16.64/6.94	o 141156
16.64/6.94	o 142109
16.64/6.94	o 143667
16.64/6.94	o 147745
16.64/6.94	o 150425
16.64/6.94	o 150753
16.64/6.95	o 153433
16.64/6.95	o 156929
16.64/6.95	o 159937
16.64/6.95	o 162617
16.64/6.96	o 163615
16.64/6.96	o 165645
16.64/6.96	o 168325
16.64/6.96	o 174829
16.64/6.96	o 177509
16.64/6.96	o 178507
16.64/6.96	o 180517
16.64/6.97	o 181515
16.64/6.97	o 183624
16.64/6.97	o 186251
16.64/6.97	o 189747
16.64/6.97	o 192427
16.64/6.97	o 192755
16.64/6.97	o 195435
16.64/6.97	o 196433
16.64/6.98	o 197205
16.64/6.98	o 199885
16.64/6.98	o 202343
16.64/6.99	o 205181
16.64/6.99	o 207861
17.36/7.02	o 210319
17.36/7.02	o 211176
17.36/7.02	o 212688
17.36/7.02	o 213016
17.36/7.03	o 215696
17.36/7.03	o 218154
17.36/7.03	o 219152
17.36/7.03	o 219924
17.36/7.03	o 220146
17.36/7.03	o 222604
17.36/7.05	o 224909
17.36/7.05	o 225907
17.36/7.05	o 227589
17.36/7.05	o 228587
17.36/7.05	o 231041
17.36/7.05	o 232039
17.36/7.06	o 234186
17.36/7.06	o 237194
17.36/7.06	o 239874
17.36/7.06	o 240318
17.36/7.06	o 240646
17.36/7.06	o 243326
17.36/7.06	o 244324
17.36/7.06	o 245784
17.36/7.06	o 246782
17.36/7.07	o 248283
17.36/7.07	o 249281
17.36/7.07	o 249569
17.36/7.07	o 249610
17.36/7.07	o 252068
17.36/7.07	o 252290
17.36/7.07	o 254748
17.36/7.07	o 255746
17.36/7.07	o 256306
17.36/7.08	o 257264
17.36/7.08	o 260272
17.36/7.08	o 262771
17.36/7.09	o 262952
17.36/7.09	o 265451
17.36/7.09	o 266449
17.36/7.09	o 267556
17.36/7.09	o 268432
17.36/7.09	o 268440
17.36/7.10	o 268564
17.36/7.10	o 271572
17.36/7.10	o 271577
17.36/7.10	o 275029
17.36/7.10	o 278037
17.36/7.10	o 280717
17.36/7.10	o 283216
17.36/7.10	o 284214
18.16/7.11	o 287040
18.16/7.11	o 290048
18.16/7.11	o 292728
18.16/7.11	o 293172
18.16/7.11	o 293500
18.16/7.11	o 296180
18.16/7.11	o 298679
18.16/7.12	o 299677
18.16/7.12	o 301028
18.16/7.12	o 302026
18.16/7.12	o 303677
18.16/7.12	o 304008
18.16/7.12	o 306357
18.16/7.13	o 306546
18.16/7.13	o 307832
18.16/7.13	o 310331
18.16/7.13	o 310512
18.16/7.13	o 313011
18.16/7.13	o 313520
18.16/7.13	o 316019
18.16/7.13	o 316972
18.16/7.13	o 319471
18.16/7.13	o 321820
18.16/7.14	o 322818
18.16/7.14	o 323523
18.16/7.14	o 326203
18.16/7.14	o 326531
18.16/7.14	o 329211
18.16/7.14	o 329983
18.16/7.14	o 332663
18.16/7.14	o 335012
18.16/7.14	o 338986
18.16/7.14	o 341994
18.16/7.14	o 342438
18.16/7.16	o 345446
18.16/7.16	o 347795
18.16/7.16	o 348126
18.16/7.16	o 350475
18.16/7.16	o 350625
18.16/7.16	o 352974
18.16/7.16	o 353972
18.16/7.16	o 354082
18.16/7.17	o 356581
18.16/7.17	o 358930
18.16/7.17	o 359928
18.16/7.18	o 361935
18.16/7.19	o 362933
18.16/7.19	o 363161
18.16/7.21	o 363492
18.16/7.21	o 365841
18.16/7.21	o 366497
18.16/7.21	o 368846
18.16/7.21	o 369844
19.08/7.22	o 370381
19.08/7.22	o 370890
19.08/7.24	o 370895
19.08/7.24	o 373394
19.08/7.24	o 374347
19.08/7.24	o 376846
19.08/7.24	o 379195
19.08/7.24	o 379701
19.08/7.24	o 379851
19.08/7.24	o 382200
19.08/7.24	o 382403
19.08/7.24	o 384902
19.08/7.24	o 385408
19.08/7.24	o 387907
19.08/7.26	o 390256
19.08/7.27	o 391254
19.08/7.27	o 391349
19.08/7.27	o 392146
19.08/7.27	o 392241
19.08/7.27	o 392708
19.08/7.27	o 392803
19.08/7.28	o 393474
19.08/7.28	o 393569
19.08/7.28	o 393597
19.08/7.28	o 396602
19.08/7.28	o 398951
19.08/7.28	o 399101
19.08/7.28	o 401450
19.08/7.28	o 401545
19.08/7.29	o 402448
19.08/7.29	o 402543
19.08/7.29	o 403484
19.08/7.29	o 404046
19.08/7.30	o 404812
19.08/7.30	o 404907
19.08/7.30	o 405810
19.08/7.30	o 405905
19.08/7.30	o 405957
19.08/7.30	o 406110
19.08/7.30	o 406912
19.08/7.30	o 407364
19.08/7.30	o 407514
19.08/7.30	o 409863
19.08/7.31	o 410519
19.08/7.31	o 412868
19.08/7.31	o 412963
19.08/7.31	o 413866
19.08/7.31	o 413961
19.08/7.31	o 414090
19.08/7.31	o 414185
19.08/7.31	o 414243
19.08/7.31	o 415045
19.08/7.31	o 415098
19.08/7.31	o 415200
19.08/7.31	o 417549
19.08/7.31	o 418652
19.08/7.31	o 421001
19.08/7.31	o 421096
19.08/7.31	o 421233
19.08/7.31	o 421999
19.08/7.31	o 422094
19.88/7.33	o 422626
19.88/7.33	o 422721
19.88/7.33	o 423624
19.88/7.33	o 423719
19.88/7.33	o 423771
19.88/7.33	o 423866
19.88/7.33	o 425834
19.88/7.33	o 428183
19.88/7.34	o 428333
19.88/7.34	o 430682
19.88/7.34	o 430777
19.88/7.34	o 431680
19.88/7.34	o 431775
19.88/7.34	o 432085
19.88/7.34	o 432647
19.88/7.34	o 433413
19.88/7.34	o 433669
19.88/7.34	o 434478
19.88/7.34	o 436541
19.88/7.35	o 439040
19.88/7.35	o 441389
19.88/7.35	o 441484
19.88/7.35	o 442402
19.88/7.35	o 442497
19.88/7.35	o 444751
19.88/7.35	o 444846
19.88/7.35	o 445087
19.88/7.35	o 445896
19.88/7.35	o 446851
19.88/7.35	o 448027
19.88/7.35	o 449355
19.88/7.35	o 451479
19.88/7.35	o 452807
19.88/7.35	o 452902
19.88/7.35	o 453805
19.88/7.36	o 453900
19.88/7.36	o 454277
19.88/7.36	o 454372
19.88/7.36	o 455473
19.88/7.36	o 457822
19.88/7.36	o 458294
19.88/7.36	o 458389
19.88/7.38	o 458820
19.88/7.38	o 458915
19.88/7.38	o 459292
19.88/7.38	o 459387
19.88/7.38	o 459437
19.88/7.38	o 459532
19.88/7.38	o 459669
19.88/7.38	o 459963
19.88/7.38	o 460435
19.88/7.39	o 460530
19.88/7.39	o 461237
19.88/7.39	o 461332
19.88/7.39	o 461709
19.88/7.39	o 461804
19.88/7.39	o 462235
19.88/7.39	o 462707
19.88/7.39	o 462802
19.88/7.39	o 463603
19.88/7.39	o 463698
19.88/7.39	o 464075
19.88/7.39	o 464170
19.88/7.39	o 464601
19.88/7.39	o 465073
19.88/7.39	o 465168
19.88/7.40	o 465727
19.88/7.40	o 465822
19.88/7.40	o 466199
19.88/7.40	o 466294
19.88/7.40	o 466431
20.58/7.41	o 466725
20.58/7.41	o 467197
20.58/7.41	o 467292
20.58/7.41	o 467404
20.58/7.41	o 467499
20.58/7.41	o 468610
20.58/7.41	o 469753
20.58/7.42	o 469848
20.58/7.42	o 470734
20.58/7.42	o 471877
20.58/7.42	o 471972
20.58/7.42	o 472349
20.58/7.42	o 472444
20.58/7.42	o 472777
20.58/7.42	o 473249
20.58/7.42	o 473983
20.58/7.44	o 475126
20.58/7.44	o 475598
20.58/7.44	o 476107
20.58/7.44	o 476579
20.58/7.44	o 477250
20.58/7.44	o 477722
20.58/7.44	o 477817
20.58/7.44	o 478248
20.58/7.44	o 478343
20.58/7.44	o 478720
20.58/7.44	o 478815
20.58/7.45	o 478983
20.58/7.45	o 479078
20.58/7.45	o 479281
20.58/7.45	o 479952
20.58/7.45	o 480424
20.58/7.46	o 481158
20.58/7.46	o 481535
20.58/7.46	o 482301
20.58/7.46	o 482773
20.58/7.46	o 482868
20.58/7.47	o 483079
20.58/7.47	o 483641
20.58/7.47	o 484113
20.58/7.47	o 484208
20.58/7.47	o 485203
20.58/7.47	o 485675
20.58/7.47	o 485770
20.58/7.47	o 485860
20.58/7.47	o 486237
20.58/7.47	o 486332
20.58/7.47	o 486346
20.58/7.47	o 486818
20.58/7.47	o 486908
20.58/7.47	o 487380
20.58/7.47	o 487475
20.58/7.47	o 487674
20.58/7.47	o 487769
20.58/7.47	o 488146
20.58/7.47	o 488241
20.58/7.47	o 488672
20.58/7.47	o 489144
20.58/7.47	o 489239
20.58/7.48	o 489407
20.58/7.48	o 489502
20.58/7.48	o 489896
20.58/7.48	o 490567
20.58/7.48	o 491039
21.33/7.52	o 491129
21.33/7.53	o 491601
21.33/7.53	o 491895
21.33/7.53	o 492367
21.33/7.53	o 493101
21.33/7.53	o 494244
21.33/7.53	o 494716
21.33/7.53	o 494811
21.33/7.53	o 494948
21.33/7.53	o 495043
21.33/7.53	o 495242
21.33/7.53	o 495714
21.33/7.53	o 495809
21.33/7.53	o 495977
21.33/7.54	o 496072
21.33/7.54	o 497121
21.33/7.54	o 497593
21.33/7.54	o 498264
21.33/7.54	o 498736
21.33/7.54	o 499470
21.33/7.54	o 500613
21.33/7.54	o 501085
21.33/7.54	o 501180
21.33/7.55	o 501216
21.33/7.56	o 501688
21.33/7.56	o 502250
21.33/7.56	o 502812
21.33/7.56	o 503293
21.33/7.56	o 503928
21.33/7.56	o 504157
21.33/7.56	o 504559
21.33/7.56	o 505702
21.33/7.56	o 506264
21.33/7.56	o 506736
21.33/7.57	o 506804
21.33/7.58	o 506987
21.33/7.58	o 507364
21.33/7.58	o 508130
21.33/7.58	o 508602
21.33/7.58	o 509042
21.33/7.58	o 509151
21.33/7.58	o 509713
21.33/7.58	o 510185
21.33/7.58	o 510479
21.33/7.58	o 510951
21.33/7.58	o 511046
21.33/7.58	o 511477
21.33/7.58	o 511572
21.33/7.59	o 511949
21.33/7.59	o 512044
21.33/7.59	o 512212
21.33/7.59	o 512307
21.33/7.59	o 513270
21.33/7.59	o 513832
21.33/7.59	o 514304
21.33/7.59	o 514403
21.33/7.60	o 514453
21.33/7.60	o 514875
21.33/7.60	o 515356
22.11/7.60	o 515506
22.11/7.60	o 516310
22.11/7.60	o 516712
22.11/7.60	o 517855
22.11/7.60	o 518327
22.11/7.60	o 518836
22.11/7.61	o 519308
22.11/7.61	o 519979
22.11/7.61	o 520451
22.11/7.61	o 520541
22.11/7.61	o 521013
22.11/7.61	o 521246
22.11/7.61	o 521808
22.11/7.61	o 522280
22.11/7.61	o 522866
22.11/7.61	o 523268
22.11/7.61	o 524411
22.11/7.62	o 525392
22.11/7.62	o 526535
22.11/7.62	o 526855
22.11/7.62	o 526915
22.11/7.62	o 526992
22.11/7.62	o 527140
22.11/7.62	o 527464
22.11/7.62	o 527936
22.11/7.62	o 528026
22.11/7.63	o 528498
22.11/7.63	o 528792
22.11/7.63	o 529264
22.11/7.63	o 529540
22.11/7.63	o 529600
22.11/7.63	o 529677
22.11/7.63	o 529825
22.11/7.63	o 530806
22.11/7.63	o 531949
22.11/7.63	o 532421
22.11/7.63	o 532516
22.11/7.64	o 533216
22.11/7.64	o 533311
22.11/7.64	o 533688
22.11/7.64	o 533783
22.11/7.64	o 534214
22.11/7.64	o 534686
22.11/7.64	o 534781
22.11/7.65	o 534916
22.11/7.65	o 535011
22.11/7.65	o 535141
22.11/7.65	o 535937
22.11/7.65	o 536499
22.11/7.65	o 536860
22.11/7.65	o 537332
22.11/7.66	o 537565
22.11/7.66	o 538127
22.11/7.66	o 538599
22.11/7.66	o 538762
22.11/7.66	o 539234
22.11/7.66	o 539324
22.11/7.66	o 539796
22.11/7.66	o 539926
22.11/7.66	o 540459
22.11/7.67	o 541021
22.11/7.67	o 541493
22.11/7.67	o 541773
22.11/7.67	o 542868
22.11/7.67	o 543340
22.11/7.67	o 543430
22.11/7.67	o 543902
22.11/7.67	o 544135
22.11/7.67	o 544697
22.11/7.67	o 545169
22.11/7.68	o 545574
22.11/7.68	o 545669
22.11/7.68	o 546075
22.11/7.68	o 546100
22.11/7.69	o 546572
22.11/7.69	o 546667
22.11/7.69	o 547302
22.11/7.69	o 547397
22.11/7.69	o 547774
22.11/7.70	o 547869
22.11/7.70	o 548214
22.11/7.70	o 548508
22.11/7.70	o 548980
22.11/7.70	o 549651
22.11/7.70	o 550123
22.87/7.70	o 550405
22.87/7.70	o 550495
22.87/7.70	o 550967
22.87/7.70	o 551013
22.87/7.70	o 551390
22.87/7.70	o 551485
22.87/7.70	o 551916
22.87/7.71	o 552388
22.87/7.71	o 552483
22.87/7.71	o 552934
22.87/7.71	o 553369
22.87/7.72	o 553603
22.87/7.72	o 554369
22.87/7.72	o 554746
22.87/7.72	o 555512
22.87/7.72	o 555640
22.87/7.72	o 555749
22.87/7.72	o 556311
22.87/7.72	o 556783
22.87/7.72	o 557099
22.87/7.72	o 557189
22.87/7.72	o 557661
22.87/7.73	o 557861
22.87/7.73	o 558333
22.87/7.73	o 558456
22.87/7.73	o 558928
22.87/7.73	o 559129
22.87/7.73	o 559601
22.87/7.73	o 559691
22.87/7.73	o 560163
22.87/7.74	o 560224
22.87/7.74	o 560786
22.87/7.74	o 561258
22.87/7.74	o 561306
22.87/7.74	o 561396
22.87/7.74	o 561868
22.87/7.74	o 561891
22.87/7.74	o 562363
22.87/7.74	o 562525
22.87/7.75	o 563103
22.87/7.75	o 563665
22.87/7.75	o 564137
22.87/7.75	o 564495
22.87/7.75	o 564967
22.87/7.75	o 565069
22.87/7.75	o 565638
22.87/7.75	o 565740
22.87/7.75	o 566110
22.87/7.76	o 566212
22.87/7.76	o 566672
22.87/7.76	o 566774
22.87/7.76	o 566964
22.87/7.76	o 567059
22.87/7.76	o 567066
22.87/7.76	o 567467
22.87/7.76	o 567569
22.87/7.76	o 567939
22.87/7.77	o 568041
22.87/7.77	o 568245
22.87/7.77	o 568513
22.87/7.77	o 568890
22.87/7.77	o 569452
22.87/7.77	o 569924
22.87/7.77	o 570033
22.87/7.77	o 570505
22.87/7.77	o 570595
22.87/7.77	o 571067
22.87/7.78	o 571513
22.87/7.78	o 571637
22.87/7.78	o 572218
22.87/7.78	o 572780
22.87/7.78	o 573252
22.87/7.78	o 573803
22.87/7.78	o 574892
22.87/7.78	o 575605
22.87/7.78	o 575873
22.87/7.79	o 577016
22.87/7.79	o 577578
22.87/7.79	o 578050
22.87/7.79	o 578857
22.87/7.79	o 579419
22.87/7.79	o 579891
22.87/7.79	o 580124
22.87/7.79	o 580596
22.87/7.80	o 580686
22.87/7.80	o 581158
23.54/7.80	o 581195
23.54/7.80	o 581290
23.54/7.80	o 581464
23.54/7.80	o 581566
23.54/7.80	o 581661
23.54/7.80	o 582221
23.54/7.81	o 582462
23.54/7.81	o 582557
23.54/7.81	o 582693
23.54/7.81	o 582783
23.54/7.81	o 583255
23.54/7.81	o 583488
23.54/7.81	o 584050
23.54/7.81	o 584522
23.54/7.82	o 584608
23.54/7.82	o 585279
23.54/7.82	o 585751
23.54/7.82	o 585853
23.54/7.82	o 586485
23.54/7.82	o 587628
23.54/7.82	o 587730
23.54/7.82	o 588100
23.54/7.82	o 588202
23.54/7.82	o 588297
23.54/7.82	o 588626
23.54/7.82	o 588721
23.54/7.82	o 589098
23.54/7.83	o 589193
23.54/7.83	o 589356
23.54/7.83	o 589828
23.54/7.83	o 590499
23.54/7.83	o 590971
23.54/7.83	o 591061
23.54/7.83	o 591533
23.54/7.83	o 591856
23.54/7.83	o 592527
23.54/7.84	o 592999
23.54/7.84	o 593101
23.54/7.84	o 593196
23.54/7.84	o 593525
23.54/7.84	o 593620
23.54/7.84	o 593997
23.54/7.84	o 594092
23.54/7.85	o 594277
23.54/7.85	o 594839
23.54/7.85	o 595311
23.54/7.85	o 595697
23.54/7.85	o 596169
23.54/7.85	o 596271
23.54/7.85	o 596903
23.54/7.85	o 598046
23.54/7.85	o 598148
23.54/7.85	o 598518
23.54/7.85	o 598620
23.54/7.86	o 598715
23.54/7.86	o 599110
23.54/7.86	o 599262
23.54/7.86	o 599768
23.54/7.86	o 599901
23.54/7.86	o 599995
23.54/7.87	o 600143
23.54/7.87	o 600939
23.54/7.87	o 601124
23.54/7.87	o 602267
23.54/7.87	o 602739
23.54/7.87	o 603473
23.54/7.87	o 603945
23.54/7.87	o 604616
23.54/7.87	o 605088
23.54/7.87	o 605183
23.54/7.87	o 605190
23.54/7.87	o 605285
23.54/7.87	o 605314
23.54/7.88	o 605883
23.54/7.88	o 606355
23.54/7.88	o 606457
23.54/7.88	o 606552
23.54/7.88	o 606852
23.54/7.88	o 606942
23.54/7.88	o 606976
23.54/7.88	o 607353
23.54/7.89	o 607448
23.54/7.89	o 607551
23.54/7.89	o 607590
23.54/7.89	o 608096
23.54/7.89	o 608186
23.54/7.89	o 608444
23.54/7.89	o 609006
23.54/7.89	o 610033
23.54/7.89	o 610595
23.54/7.90	o 611067
23.54/7.90	o 611239
23.54/7.90	o 612382
23.54/7.90	o 612854
24.29/7.90	o 612944
24.29/7.90	o 613416
24.29/7.91	o 614045
24.29/7.91	o 615188
24.29/7.91	o 615660
24.29/7.91	o 615750
24.29/7.91	o 616222
24.29/7.91	o 616455
24.29/7.92	o 617017
24.29/7.92	o 617489
24.29/7.93	o 617815
24.29/7.94	o 618287
24.29/7.94	o 618382
24.29/7.94	o 618389
24.29/7.94	o 618484
24.29/7.94	o 618577
24.29/7.96	o 618787
24.29/7.97	o 619194
24.29/7.97	o 619571
24.29/7.97	o 619865
24.29/7.97	o 620337
24.29/7.97	o 620681
24.29/7.97	o 621153
24.29/7.97	o 621255
24.29/7.97	o 621350
24.29/7.97	o 621948
24.29/7.97	o 622050
24.29/7.97	o 622145
24.29/7.97	o 622420
24.29/7.97	o 622515
24.29/7.97	o 622522
24.29/7.98	o 622617
24.29/7.98	o 622710
24.29/7.98	o 623278
24.29/7.98	o 624094
24.29/7.98	o 624196
24.29/7.98	o 624566
24.29/7.98	o 624668
24.29/7.98	o 624902
24.29/7.98	o 625292
24.29/7.98	o 626435
25.08/8.00	o 626485
25.08/8.00	o 627251
25.08/8.00	o 627723
25.08/8.00	o 627825
25.08/8.00	o 627920
25.08/8.00	o 628013
25.08/8.00	o 628224
25.08/8.00	o 628326
25.08/8.00	o 628421
25.08/8.00	o 628518
25.08/8.00	o 628613
25.08/8.00	o 628990
25.08/8.00	o 629085
25.08/8.00	o 629092
25.08/8.00	o 629187
25.08/8.00	o 629280
25.08/8.04	o 629457
25.08/8.04	o 629559
25.08/8.05	o 629654
25.08/8.05	o 629747
25.08/8.05	o 629792
25.08/8.05	o 630361
25.08/8.05	o 630463
25.08/8.05	o 630833
25.08/8.05	o 630935
25.08/8.05	o 631177
25.08/8.05	o 631649
25.08/8.05	o 631751
25.08/8.05	o 632329
25.08/8.06	o 632431
25.08/8.06	o 633472
25.08/8.06	o 633574
25.08/8.06	o 634288
25.08/8.06	o 634390
25.08/8.06	o 634760
25.08/8.06	o 634862
25.08/8.06	o 634957
25.08/8.06	o 635555
25.08/8.06	o 635650
25.08/8.06	o 636027
25.08/8.06	o 636122
25.08/8.06	o 636129
25.08/8.06	o 636224
25.08/8.07	o 636317
25.88/8.11	o 636403
25.88/8.12	o 636498
25.88/8.12	o 636591
25.88/8.12	o 636752
25.88/8.12	o 636802
25.88/8.12	o 637096
25.88/8.12	o 637568
25.88/8.12	o 637670
25.88/8.12	o 637765
25.88/8.12	o 637858
25.88/8.14	o 637908
25.88/8.15	o 638278
25.88/8.15	o 638380
25.88/8.15	o 638622
25.88/8.15	o 639094
25.88/8.15	o 639196
25.88/8.15	o 639291
25.88/8.15	o 639678
25.88/8.15	o 639780
25.88/8.15	o 640494
25.88/8.15	o 640596
25.88/8.15	o 640691
25.88/8.15	o 641219
25.88/8.15	o 642035
25.88/8.16	o 642130
25.88/8.16	o 642137
25.88/8.16	o 642232
25.88/8.16	o 642835
25.88/8.16	o 642885
25.88/8.16	o 643651
25.88/8.16	o 643753
25.88/8.16	o 643864
25.88/8.16	o 644426
25.88/8.16	o 644528
25.88/8.16	o 645192
25.88/8.16	o 645294
25.88/8.16	o 645389
25.88/8.16	o 645664
25.88/8.16	o 645759
25.88/8.16	o 645766
25.88/8.17	o 645861
25.88/8.17	o 645954
25.88/8.17	o 646459
25.88/8.17	o 646561
25.88/8.17	o 646931
25.88/8.17	o 647033
25.88/8.17	o 647128
25.88/8.17	o 647221
25.88/8.18	o 647241
25.88/8.18	o 647336
25.88/8.18	o 647492
25.88/8.18	o 647594
25.88/8.18	o 647964
25.88/8.18	o 648066
25.88/8.18	o 648217
25.88/8.18	o 648689
25.88/8.18	o 649033
25.88/8.18	o 649505
25.88/8.18	o 649607
25.88/8.19	o 649702
25.88/8.19	o 650300
25.88/8.19	o 650402
25.88/8.19	o 650497
25.88/8.19	o 650772
25.88/8.19	o 650867
25.88/8.19	o 650874
25.88/8.19	o 650969
25.88/8.19	o 651062
25.88/8.21	o 651413
26.81/8.22	o 651515
26.81/8.22	o 651610
26.81/8.22	o 651885
26.81/8.22	o 651980
26.81/8.22	o 651987
26.81/8.22	o 652082
26.81/8.22	o 652167
26.81/8.22	o 652269
26.81/8.22	o 652639
26.81/8.22	o 652741
26.81/8.22	o 652983
26.81/8.23	o 653455
26.81/8.23	o 653557
26.81/8.23	o 653708
26.81/8.23	o 653810
26.81/8.23	o 654524
26.81/8.23	o 654626
26.81/8.23	o 654996
26.81/8.23	o 655098
26.81/8.23	o 655193
26.81/8.23	o 655791
26.81/8.23	o 656263
26.81/8.24	o 656358
26.81/8.24	o 656365
26.81/8.24	o 656460
26.81/8.24	o 656553
26.81/8.25	o 656780
26.81/8.25	o 656882
26.81/8.25	o 657116
26.81/8.25	o 657588
26.81/8.25	o 657841
26.81/8.26	o 658657
26.81/8.26	o 659129
26.81/8.26	o 659231
26.81/8.26	o 659326
26.81/8.26	o 659419
26.81/8.26	o 659630
26.81/8.26	o 659732
26.81/8.26	o 659827
26.81/8.26	o 659924
26.81/8.26	o 660019
26.81/8.27	o 660396
26.81/8.27	o 660491
26.81/8.27	o 660498
26.81/8.27	o 660593
26.81/8.27	o 660686
26.81/8.27	o 660984
26.81/8.27	o 661086
26.81/8.27	o 661320
26.81/8.28	o 661792
26.81/8.28	o 662045
26.81/8.28	o 662861
26.81/8.28	o 663333
26.81/8.28	o 663435
26.81/8.28	o 663452
26.81/8.28	o 663686
26.81/8.28	o 664158
26.81/8.28	o 664411
26.81/8.28	o 665227
26.81/8.28	o 665699
26.81/8.28	o 665801
26.81/8.28	o 665896
26.81/8.28	o 666150
26.81/8.28	o 666252
26.81/8.29	o 666347
26.81/8.29	o 666494
26.81/8.29	o 666589
26.81/8.29	o 666966
26.81/8.29	o 667061
26.81/8.29	o 667068
26.81/8.29	o 667163
26.81/8.29	o 667256
27.59/8.37	o 667441
27.59/8.37	o 667913
27.59/8.38	o 668015
27.59/8.38	o 668257
27.59/8.38	o 668359
27.59/8.38	o 668729
27.59/8.38	o 668831
27.59/8.38	o 669119
27.59/8.38	o 669790
27.59/8.38	o 670262
27.59/8.38	o 670606
27.59/8.38	o 671078
27.59/8.38	o 671180
27.59/8.38	o 671275
27.59/8.38	o 671368
27.59/8.38	o 671873
27.59/8.38	o 671975
27.59/8.39	o 672070
27.59/8.39	o 672345
27.59/8.39	o 672440
27.59/8.39	o 672447
27.59/8.39	o 672542
27.59/8.39	o 672635
28.33/8.43	o 672820
28.33/8.43	o 672922
28.33/8.44	o 673210
28.33/8.44	o 673587
28.33/8.44	o 673881
28.33/8.44	o 674353
28.33/8.44	o 674697
28.33/8.44	o 675169
28.33/8.44	o 675271
28.33/8.44	o 675366
28.33/8.44	o 675459
28.33/8.46	o 675704
28.33/8.46	o 676375
28.33/8.46	o 676847
28.33/8.46	o 677191
28.33/8.46	o 677663
28.33/8.46	o 677765
28.33/8.46	o 677860
28.33/8.46	o 677953
28.33/8.46	o 678165
28.33/8.46	o 678637
28.33/8.46	o 678727
28.33/8.46	o 679199
28.33/8.46	o 679493
28.33/8.47	o 680055
28.33/8.47	o 680474
28.33/8.47	o 681617
28.33/8.47	o 682179
28.33/8.47	o 682651
28.33/8.47	o 682746
28.33/8.47	o 682995
28.33/8.47	o 683090
28.33/8.47	o 683467
28.33/8.47	o 683562
28.33/8.47	o 683569
28.33/8.47	o 683664
28.33/8.48	o 683761
28.33/8.48	o 683863
28.33/8.48	o 684233
28.33/8.48	o 684335
28.33/8.48	o 684430
28.33/8.48	o 684523
28.33/8.49	o 684734
29.06/8.50	o 684836
29.06/8.50	o 684931
29.06/8.50	o 685028
29.06/8.50	o 685123
29.06/8.50	o 685500
29.06/8.50	o 685595
29.06/8.50	o 685602
29.06/8.51	o 685697
29.06/8.51	o 685790
29.06/8.52	o 685918
29.06/8.52	o 686020
29.06/8.52	o 686115
29.06/8.52	o 686208
29.06/8.52	o 686776
29.06/8.52	o 686871
29.06/8.52	o 687248
29.06/8.52	o 687343
29.06/8.52	o 687592
29.06/8.52	o 688064
29.06/8.52	o 688159
29.06/8.53	o 688383
29.06/8.53	o 688478
29.06/8.53	o 688625
29.06/8.53	o 689421
29.06/8.53	o 689933
29.06/8.53	o 690749
29.06/8.53	o 690844
29.06/8.53	o 691221
29.06/8.53	o 691316
29.06/8.53	o 691323
29.06/8.54	o 691418
29.06/8.54	o 692016
29.06/8.54	o 692488
29.06/8.54	o 692590
29.06/8.54	o 692685
29.06/8.54	o 692778
29.85/8.61	o 693197
29.85/8.62	o 693299
29.85/8.62	o 693439
29.85/8.62	o 694022
29.85/8.62	o 694747
29.85/8.62	o 695563
29.85/8.62	o 695665
29.85/8.62	o 695760
29.85/8.62	o 695768
29.85/8.62	o 696330
29.85/8.62	o 697096
29.85/8.62	o 697198
29.85/8.62	o 697293
29.85/8.62	o 697912
29.85/8.62	o 698007
29.85/8.62	o 698014
29.85/8.63	o 698109
29.85/8.63	o 698384
29.85/8.63	o 698486
29.85/8.63	o 698581
29.85/8.63	o 698674
29.85/8.64	o 698835
29.85/8.64	o 698930
29.85/8.64	o 699179
29.85/8.64	o 699651
29.85/8.64	o 699746
29.85/8.64	o 699753
29.85/8.64	o 699848
29.85/8.64	o 699941
32.23/8.94	o 699943
32.23/8.94	o 699950
32.23/8.94	o 700045
32.23/8.94	o 700138
32.23/8.94	o 700311
32.23/8.94	o 700413
32.23/8.94	o 700528
32.23/8.94	o 701037
32.23/8.94	o 702180
32.23/8.94	o 702652
32.23/8.96	o 702702
32.23/8.96	o 702996
32.23/8.96	o 703468
32.23/8.96	o 703570
32.23/8.96	o 704546
32.23/8.96	o 705362
32.23/8.96	o 705464
32.23/8.96	o 705834
32.23/8.96	o 705936
32.23/8.96	o 706031
32.23/8.96	o 706124
32.23/8.96	o 706629
32.23/8.96	o 707101
32.23/8.96	o 707196
32.23/8.96	o 707203
32.23/8.96	o 707298
32.23/8.96	o 707391
34.68/9.23	o 707557
34.68/9.24	o 708029
34.68/9.24	o 708373
34.68/9.24	o 708845
34.68/9.24	o 708947
34.68/9.24	o 709042
34.68/9.24	o 709135
34.68/9.25	o 709640
34.68/9.25	o 709735
34.68/9.26	o 709742
34.68/9.26	o 709837
34.68/9.26	o 710112
34.68/9.26	o 710214
34.68/9.26	o 710309
34.68/9.26	o 710402
38.60/9.75	o 710484
38.60/9.75	o 710534
38.60/9.76	o 710733
38.60/9.76	o 710828
38.60/9.76	o 711205
38.60/9.76	o 711300
38.60/9.76	o 711307
38.60/9.76	o 711402
38.60/9.76	o 711495
38.60/9.76	o 711656
38.60/9.76	o 712000
38.60/9.76	o 712472
38.60/9.76	o 712574
38.60/9.76	o 712669
38.60/9.76	o 712762
44.17/10.45	o 712884
44.17/10.46	o 712979
44.17/10.46	o 712986
44.17/10.46	o 713081
44.17/10.46	o 713356
44.17/10.46	o 713458
44.17/10.46	o 713553
44.17/10.46	o 713646
44.17/10.46	o 713658
44.17/10.46	o 713753
44.17/10.46	o 713931
44.17/10.46	o 714403
44.17/10.46	o 714756
44.17/10.46	o 715154
44.17/10.46	o 715481
44.17/10.46	o 716297
44.17/10.47	o 716769
44.17/10.47	o 716864
44.17/10.47	o 716871
44.17/10.47	o 716966
44.17/10.47	o 717088
44.17/10.47	o 717560
44.17/10.47	o 717913
44.17/10.47	o 718311
44.17/10.47	o 718688
44.17/10.47	o 719454
44.17/10.47	o 719926
44.17/10.47	o 720028
44.17/10.47	o 720123
44.17/10.47	o 720216
44.17/10.48	o 720556
44.17/10.48	o 720651
44.17/10.48	o 721028
44.17/10.48	o 721123
44.17/10.48	o 721137
44.17/10.48	o 721609
44.17/10.48	o 721699
44.17/10.48	o 722171
44.17/10.49	o 722266
44.17/10.49	o 722273
44.17/10.49	o 722368
44.17/10.49	o 722465
44.17/10.49	o 722937
44.17/10.49	o 723039
44.17/10.49	o 723134
44.17/10.49	o 723227
45.00/10.58	o 723732
45.00/10.58	o 723834
45.00/10.59	o 723929
45.00/10.59	o 724204
45.00/10.59	o 724299
45.00/10.59	o 724306
45.00/10.59	o 724401
45.00/10.59	o 724494
54.52/11.72	o 725028
54.52/11.73	o 725500
54.52/11.73	o 725602
54.52/11.73	o 725697
54.52/11.73	o 725790
54.52/11.73	o 726295
54.52/11.73	o 726397
54.52/11.73	o 726492
54.52/11.73	o 726767
54.52/11.73	o 726862
54.52/11.73	o 726869
54.52/11.73	o 726964
54.52/11.73	o 727057
54.52/11.75	o 727183
54.52/11.75	o 727285
54.52/11.75	o 727745
54.52/11.75	o 727847
54.52/11.76	o 728039
54.52/11.76	o 728511
54.52/11.76	o 728613
54.52/11.76	o 728708
54.52/11.76	o 728962
54.52/11.76	o 729306
54.52/11.76	o 729778
54.52/11.76	o 729873
54.52/11.76	o 729880
54.52/11.76	o 729975
54.52/11.76	o 730068
62.46/12.76	o 730111
62.46/12.77	o 730157
62.46/12.77	o 730233
62.46/12.77	o 730705
62.46/12.77	o 730807
62.46/12.77	o 730902
62.46/12.77	o 731058
62.46/12.77	o 731160
62.46/12.77	o 731255
62.46/12.77	o 731271
62.46/12.77	o 731366
62.46/12.77	o 731833
62.46/12.77	o 731928
62.46/12.77	o 732599
62.46/12.77	o 732694
62.46/12.77	o 732701
62.46/12.77	o 732796
62.46/12.78	o 733071
62.46/12.78	o 733173
62.46/12.78	o 733268
62.46/12.78	o 733361
62.46/12.78	o 733866
62.46/12.78	o 733961
62.46/12.78	o 734338
62.46/12.78	o 734433
62.46/12.78	o 734440
62.46/12.78	o 734535
62.46/12.78	o 734628
62.46/12.79	o 734794
62.46/12.79	o 735266
62.46/12.79	o 735610
62.46/12.79	o 736082
62.46/12.79	o 736184
62.46/12.79	o 736279
62.46/12.79	o 736372
62.46/12.79	o 736877
62.46/12.79	o 736979
62.46/12.79	o 737074
63.27/12.80	o 737349
63.27/12.80	o 737444
63.27/12.80	o 737451
63.27/12.80	o 737546
63.27/12.80	o 737639
68.04/13.44	o 737910
68.04/13.44	o 738382
68.04/13.45	o 738676
68.04/13.45	o 739148
68.04/13.45	o 739250
68.04/13.45	o 739345
68.04/13.45	o 739550
68.04/13.45	o 739652
68.04/13.45	o 739747
68.04/13.45	o 739869
68.04/13.45	o 739964
68.04/13.45	o 740341
68.04/13.45	o 740436
68.04/13.45	o 740583
68.04/13.45	o 740694
68.04/13.45	o 741166
68.04/13.45	o 741419
68.04/13.46	o 741469
68.04/13.46	o 742235
68.04/13.46	o 742707
68.04/13.46	o 742802
68.04/13.46	o 742809
68.04/13.46	o 742904
68.04/13.46	o 743352
68.04/13.46	o 743446
68.04/13.46	o 743594
68.04/13.46	o 743705
68.04/13.46	o 744177
68.04/13.46	o 744430
68.04/13.46	o 745246
68.04/13.46	o 745718
68.04/13.46	o 745820
68.04/13.47	o 745915
68.04/13.48	o 746008
69.63/13.68	o 746169
69.63/13.68	o 746264
69.63/13.69	o 746271
69.63/13.69	o 746366
69.63/13.69	o 746513
69.63/13.69	o 746615
69.63/13.69	o 746985
69.63/13.69	o 747087
69.63/13.69	o 747182
69.63/13.69	o 747275
77.65/14.61	o 747320
77.65/14.61	o 747415
77.65/14.61	o 747571
77.65/14.61	o 747673
77.65/14.61	o 748013
77.65/14.61	o 748485
77.65/14.61	o 748587
77.65/14.61	o 748682
77.65/14.62	o 748775
83.27/15.39	o 749532
83.99/15.40	o 749634
83.99/15.40	o 749729
83.99/15.40	o 750004
83.99/15.40	o 750099
83.99/15.40	o 750106
83.99/15.40	o 750201
83.99/15.40	o 750294
83.99/15.42	o 750296
83.99/15.42	o 750373
83.99/15.42	o 750419
83.99/15.42	o 750521
83.99/15.42	o 750634
83.99/15.42	o 750961
83.99/15.42	o 751215
83.99/15.42	o 751777
83.99/15.42	o 752543
83.99/15.42	o 752645
83.99/15.42	o 753015
83.99/15.42	o 753117
83.99/15.42	o 753212
83.99/15.42	o 753305
83.99/15.43	o 753810
83.99/15.43	o 754282
83.99/15.44	o 754377
83.99/15.44	o 754384
83.99/15.44	o 754479
83.99/15.44	o 754572
83.99/15.45	o 754762
83.99/15.46	o 755106
83.99/15.46	o 755578
83.99/15.46	o 755680
83.99/15.46	o 755775
83.99/15.46	o 755868
83.99/15.46	o 755993
83.99/15.46	o 756576
83.99/15.46	o 756789
83.99/15.46	o 757351
83.99/15.46	o 758117
83.99/15.46	o 758219
83.99/15.46	o 758314
83.99/15.46	o 758589
83.99/15.46	o 758691
83.99/15.46	o 758786
83.99/15.47	o 758879
83.99/15.47	o 759384
83.99/15.47	o 759479
83.99/15.47	o 759856
83.99/15.47	o 759951
83.99/15.47	o 759958
83.99/15.47	o 760053
83.99/15.47	o 760146
120.62/20.15	o 760225
120.62/20.15	o 760697
120.62/20.15	o 760799
120.62/20.15	o 760894
120.62/20.15	o 760916
120.62/20.15	o 761148
120.62/20.15	o 761243
120.62/20.15	o 761492
120.62/20.15	o 761964
120.62/20.15	o 762059
120.62/20.15	o 762066
120.62/20.16	o 762161
185.23/28.30	o 762187
185.23/28.30	o 762280
185.23/28.30	o 762591
185.23/28.30	o 762968
185.23/28.30	o 763262
185.23/28.30	o 763734
185.23/28.30	o 763836
185.23/28.30	o 763931
185.23/28.30	o 764024
185.23/28.30	o 764529
185.23/28.30	o 764624
185.23/28.30	o 764631
185.23/28.31	o 764726
185.23/28.31	o 765001
185.23/28.31	o 765103
185.23/28.31	o 765198
185.23/28.31	o 765291
213.07/31.73	o 765303
213.07/31.73	o 765310
213.07/31.74	o 765405
213.07/31.74	o 765498
235.39/34.59	o 765853
235.39/34.60	o 765955
235.39/34.60	o 766050
235.39/34.60	o 766143
243.32/35.54	o 766328
243.32/35.54	o 766418
243.32/35.54	o 766890
243.32/35.54	o 766967
243.32/35.54	o 767439
243.32/35.55	o 767549
243.32/35.55	o 767837
243.32/35.55	o 768283
243.32/35.55	o 768864
243.32/35.55	o 769426
243.32/35.55	o 769898
246.52/35.92	o 771025
246.52/35.92	o 771497
246.52/35.92	o 771587
246.52/35.92	o 772059
249.78/36.37	o 772121
249.78/36.38	o 772128
249.78/36.38	o 772223
249.78/36.38	o 772316
250.50/36.41	o 772821
250.50/36.42	o 772923
250.50/36.42	o 773293
250.50/36.42	o 773395
250.50/36.42	o 773490
250.50/36.42	o 773583
250.50/36.50	o 773894
250.50/36.51	o 774221
250.50/36.51	o 774565
250.50/36.51	o 775037
250.50/36.51	o 775132
250.50/36.51	o 775139
250.50/36.51	o 775234
250.50/36.51	o 775327
250.50/36.51	o 775538
250.50/36.51	o 775832
250.50/36.51	o 776304
250.50/36.51	o 776406
250.50/36.51	o 776501
250.50/36.51	o 776594
297.62/42.31	o 776642
297.62/42.31	o 776737
297.62/42.32	o 776744
297.62/42.32	o 776839
297.62/42.32	o 777114
297.62/42.32	o 777216
297.62/42.32	o 777311
297.62/42.32	o 777317
297.62/42.32	o 777412
297.62/42.32	o 777715
297.62/42.32	o 778386
297.62/42.32	o 778858
297.62/42.33	o 778953
297.62/42.33	o 778960
297.62/42.33	o 779055
297.62/42.33	o 779653
297.62/42.33	o 780125
297.62/42.33	o 780227
297.62/42.33	o 780322
332.61/46.78	o 780370
332.61/46.79	o 780842
340.58/47.70	o 780994
340.58/47.71	o 781084
340.58/47.71	o 781556
340.58/47.71	o 781633
340.58/47.71	o 782105
340.58/47.71	o 782215
340.58/47.71	o 782551
340.58/47.71	o 782949
340.58/47.71	o 783530
340.58/47.71	o 784092
340.58/47.71	o 784564
415.50/57.14	o 784618
415.50/57.15	o 785090
415.50/57.15	o 785200
415.50/57.15	o 785488
415.50/57.15	o 785536
415.50/57.15	o 785934
415.50/57.15	o 786515
415.50/57.15	o 787077
415.50/57.15	o 787549
472.20/64.25	o 788146
472.20/64.25	o 788618
472.20/64.25	o 788713
472.20/64.25	o 788720
472.20/64.25	o 788815
472.20/64.25	o 789119
472.20/64.25	o 789413
472.20/64.25	o 789885
472.20/64.25	o 789987
472.20/64.25	o 790082
500.01/67.71	o 790289
500.01/67.72	o 790761
500.01/67.72	o 790851
500.01/67.72	o 791323
507.99/68.79	o 791370
507.99/68.79	o 791842
507.99/68.80	o 791952
507.99/68.80	o 792240
507.99/68.80	o 792288
507.99/68.80	o 792686
507.99/68.80	o 793267
507.99/68.80	o 793829
507.99/68.80	o 794301
507.99/68.80	o 794378
507.99/68.80	o 794850
507.99/68.80	o 794960
507.99/68.80	o 795248
507.99/68.80	o 795296
507.99/68.80	o 795694
508.78/68.81	o 796275
508.78/68.81	o 796837
508.78/68.81	o 797309
779.85/102.86	o 797458
779.85/102.86	o 797930
779.85/102.86	o 798485
779.85/102.86	o 799047
779.85/102.86	o 799519
779.85/102.86	o 799655
779.85/102.86	o 799745
779.85/102.86	o 800217
779.85/102.86	o 800327
779.85/102.86	o 800615
779.85/102.87	o 800663
779.85/102.87	o 801061
779.85/102.87	o 801642
779.85/102.87	o 802204
779.85/102.87	o 802676
780.64/102.90	o 802993
780.64/102.90	o 803083
780.64/102.90	o 803555
1318.72/170.48	o 803596
1318.72/170.48	o 803706
1318.72/170.49	o 803994
1318.72/170.49	o 804042
1318.72/170.49	o 804440
1318.72/170.49	o 805021
1318.72/170.49	o 805583
1318.72/170.49	o 806055
1348.24/174.19	o 806309
1348.24/174.19	o 806530
1348.24/174.19	o 807002
1348.24/174.19	o 807092
1348.24/174.19	o 807564
1348.24/174.19	o 808050
1348.24/174.19	o 808522
1348.24/174.19	o 808612
1348.24/174.20	o 809084
1348.24/174.20	o 809570
1348.24/174.20	o 810549
1348.24/174.20	o 811111
1348.24/174.20	o 811583
1348.24/174.20	o 812016
1348.24/174.20	o 812414
1348.24/174.20	o 813557
1348.24/174.20	o 814029
1348.24/174.20	o 814119
1348.24/174.20	o 814591
1429.64/184.32	o 814753
1429.64/184.32	o 815315
1429.64/184.32	o 815787
1429.64/184.32	o 816321
1429.64/184.32	o 816883
1429.64/184.32	o 817179
1429.64/184.32	o 817741
1429.64/184.33	o 817910
1429.64/184.33	o 818472
1429.64/184.33	o 818944
1429.64/184.38	o 819002
1429.64/184.38	o 819151
1429.64/184.38	o 819473
1429.64/184.38	o 819536
1429.64/184.38	o 820008
1429.64/184.38	o 821125
1429.64/184.38	o 821597
1429.64/184.38	o 821687
1429.64/184.38	o 822159
2173.24/277.62	o 822475
2173.24/277.62	o 822947
2177.24/278.17	o 823354
2177.24/278.17	o 823826
2429.95/309.82	o 824187
2429.95/309.82	o 824659
2505.02/319.24	o 824963
2505.02/319.24	o 825435
2505.02/319.25	o 826160
2505.02/319.25	o 826632
2505.02/319.25	o 826727
2505.02/319.25	o 826734
2505.02/319.25	o 826829
2716.99/345.85	o 826889
2716.99/345.86	o 827301
2716.99/345.86	o 827470
2716.99/345.86	o 828032
2716.99/345.86	o 828504
2917.80/371.07	o 828554
2917.80/371.08	o 829026
2917.80/371.08	o 829128
2917.80/371.08	o 829223
2917.80/371.08	o 829345
2917.80/371.08	o 829817
2917.80/371.08	o 829912
2917.80/371.08	o 829919
2917.80/371.08	o 830014
2917.80/371.08	o 830170
2917.80/371.08	o 830514
2917.80/371.08	o 830986
2917.80/371.08	o 831711
2917.80/371.08	o 832183
2917.80/371.09	o 832285
2917.80/371.09	o 832380
2919.47/371.27	o 832438
2919.47/371.29	o 832445
2919.47/371.29	o 832540
2919.47/371.29	o 832774
2919.47/371.29	o 832876
2919.47/371.29	o 833068
2919.47/371.29	o 833540
2919.47/371.29	o 833642
2919.47/371.29	o 833737
2919.47/371.29	o 833859
2919.47/371.29	o 833961
2919.47/371.29	o 834056
2919.47/371.29	o 834331
2919.47/371.29	o 834426
2919.47/371.29	o 834433
2919.47/371.29	o 834528
2919.47/371.29	o 835028
2919.47/371.30	o 835082
2919.47/371.30	o 835409
2919.47/371.30	o 836225
2919.47/371.30	o 836327
2919.47/371.30	o 836697
2919.47/371.30	o 836799
2919.47/371.30	o 836894
2972.81/377.98	o 836958
2972.81/377.98	o 836975
2972.81/377.98	o 837114
2972.81/377.98	o 837216
2972.81/377.98	o 837311
2972.81/377.98	o 837315
2972.81/377.98	o 837839
2972.81/377.98	o 837934
2972.81/377.98	o 838311
2972.81/377.98	o 838406
2972.81/377.99	o 838413
2972.81/377.99	o 838508
2972.81/377.99	o 838655
2972.81/377.99	o 839127
2972.81/377.99	o 839229
2972.81/377.99	o 839324
4285.22/543.15	o 839343
4285.22/543.16	o 839368
4285.22/543.16	o 839458
4285.22/543.16	o 839930
4285.22/543.16	o 840253
4285.22/543.16	o 840815
4285.22/543.16	o 841396
4285.22/543.16	o 841958
4285.22/543.16	o 842430
6260.97/792.36	o 842695
6260.97/792.37	o 843257
6260.97/792.37	o 843729
6260.97/792.39	o 844046
6260.97/792.39	o 844136
6260.97/792.39	o 844608
6464.77/818.18	o 845067
6464.77/818.18	o 845162
6464.77/818.19	o 845169
6464.77/818.19	o 845264
6673.29/844.50	o 845279
6674.09/844.51	o 845374
6692.27/846.84	o 845453
6692.27/846.85	o 845925
6692.27/846.85	o 846027
6692.27/846.85	o 846122
7167.16/906.74	o 846204
7167.16/906.74	o 846306
7167.16/906.75	o 846583
7167.16/906.75	o 847055
7167.16/906.75	o 847112
7167.16/906.75	o 847674
7167.16/906.75	o 848146
7167.16/906.75	o 848248
7390.65/934.92	o 848355
7390.65/934.92	o 848450
7390.65/934.92	o 848457
7390.65/934.92	o 848552
7527.78/952.25	o 848566
7528.60/952.37	o 848950
7528.60/952.38	o 849052
7528.60/952.38	o 849422
7528.60/952.38	o 849524
7528.60/952.38	o 849619
7528.60/952.38	o 849690
7528.60/952.38	o 850067
7528.60/952.38	o 850162
7528.60/952.39	o 850169
7528.60/952.39	o 850264
7528.60/952.39	o 850420
7528.60/952.39	o 850633
7528.60/952.39	o 851195
7528.60/952.39	o 851961
7528.60/952.39	o 852433
7528.60/952.39	o 852535
7528.60/952.39	o 852630
7529.30/952.44	o 853464
7529.30/952.45	o 853559
7529.30/952.45	o 853936
7529.30/952.45	o 854031
7529.30/952.45	o 854038
7529.30/952.45	o 854133
7762.89/981.94	o 854197
7762.89/981.95	o 854262
7762.89/981.95	o 854353
7762.89/981.95	o 854455
7762.89/981.95	o 854751
7762.89/981.95	o 854803
7762.89/981.95	o 855894
7762.89/981.95	o 855996
7762.89/981.95	o 856366
7762.89/981.95	o 856468
7762.89/981.95	o 856563
7820.79/989.25	o 856642
7820.79/989.26	o 856744
7820.79/989.26	o 856839
7820.79/989.26	o 857114
7820.79/989.26	o 857209
7820.79/989.26	o 857216
7820.79/989.26	o 857311
7983.89/1009.80	o 857614
8016.37/1013.93	o 857833
8016.37/1013.93	o 857890
8016.37/1013.93	o 858362
8016.37/1013.93	o 858452
8016.37/1013.93	o 858924
8016.37/1013.96	o 859084
8016.37/1013.96	o 859556
8213.52/1038.81	o 859721
8213.52/1038.82	o 859827
8213.52/1038.82	o 860446
8213.52/1038.82	o 860918
8213.52/1038.82	o 861008
8213.52/1038.82	o 861480
8213.52/1038.82	o 861775
8213.52/1038.82	o 862247
8213.52/1038.82	o 862388
8213.52/1038.82	o 862950
8213.52/1038.82	o 863422
8745.98/1106.09	o 863702
8745.98/1106.09	o 863797
8747.63/1106.25	o 863978
8747.63/1106.26	o 864073
8747.63/1106.26	o 864450
8747.63/1106.26	o 864545
9079.08/1148.18	o 864623
9079.08/1148.18	o 865095
9079.08/1148.19	o 865190
9334.03/1180.39	o 865364
9334.74/1180.40	o 865836
9340.30/1181.14	o 866096
9340.30/1181.15	o 866107
9340.30/1181.15	o 866579
9340.30/1181.15	o 866615
9340.30/1181.15	o 866802
9340.30/1181.15	o 867274
9340.30/1181.15	o 867562
9340.30/1181.15	o 867858
9340.30/1181.15	o 868420
9340.30/1181.16	o 868589
9340.30/1181.16	o 869151
9340.30/1181.16	o 869623
9340.30/1181.16	o 869733
9340.30/1181.16	o 869851
9340.30/1181.16	o 869905
9340.30/1181.16	o 870317
9340.30/1181.16	o 871048
9340.30/1181.16	o 871520
9340.30/1181.16	o 871610
9340.30/1181.16	o 872082
9360.11/1183.66	o 872358
9360.11/1183.66	o 872406
9360.11/1183.66	o 872750
9360.11/1183.66	o 872804
9360.11/1183.66	o 873385
9360.11/1183.66	o 873947
9360.11/1183.67	o 874419
9364.93/1184.22	o 874736
9364.93/1184.22	o 874826
9364.93/1184.22	o 875298
9499.25/1201.27	o 875324
9499.25/1201.28	o 875668
9499.25/1201.28	o 875722
9499.25/1201.28	o 876303
9499.25/1201.28	o 876865
9499.25/1201.28	o 877337
9499.25/1201.28	o 877447
9499.25/1201.28	o 877645
9499.25/1201.28	o 878762
9499.25/1201.28	o 879234
9499.25/1201.28	o 879324
9499.25/1201.28	o 879796
10314.15/1304.14	o 879898
10314.15/1304.14	o 879993
10314.15/1304.14	o 880174
10314.15/1304.14	o 880646
10314.15/1304.15	o 880741
10323.71/1305.39	o 880757
10323.71/1305.40	o 880774
10323.71/1305.40	o 881013
10323.71/1305.40	o 881108
10323.71/1305.40	o 881487
10323.71/1305.40	o 881700
10323.71/1305.40	o 881790
10323.71/1305.40	o 882262
10323.71/1305.40	o 882556
10323.71/1305.40	o 883028
10323.71/1305.40	o 883123
10323.71/1305.40	o 883304
10323.71/1305.40	o 883399
10323.71/1305.40	o 883776
10324.50/1305.42	o 883871
10351.44/1308.90	o 884307
10351.44/1308.90	o 884409
10352.24/1308.91	o 884504
10364.09/1310.45	o 884805
10364.09/1310.46	o 884900
10385.47/1313.19	o 885517
10385.47/1313.19	o 885989
10385.47/1313.20	o 886091
10385.47/1313.20	o 886186
10385.47/1313.21	o 886265
10385.47/1313.21	o 886737
10385.47/1313.21	o 886832
10385.47/1313.21	o 886839
10385.47/1313.21	o 886934
10386.33/1313.22	o 887232
10386.33/1313.23	o 887327
10386.33/1313.23	o 887474
10386.33/1313.23	o 887585
10386.33/1313.23	o 888057
10386.33/1313.23	o 888360
10386.33/1313.23	o 889126
10386.33/1313.23	o 889598
10386.33/1313.23	o 889693
10386.33/1313.24	o 889874
10386.33/1313.24	o 890346
10386.33/1313.24	o 890441
10512.04/1329.13	o 890719
10512.04/1329.13	o 891281
10512.04/1329.13	o 891753
11160.58/1411.00	o 891873
11160.58/1411.01	o 892132
11160.58/1411.01	o 892604
11160.58/1411.01	o 892694
11160.58/1411.01	o 893166
11165.26/1411.67	o 893170
11169.23/1412.14	o 893451
11169.23/1412.15	o 893923
11169.23/1412.15	o 894033
11169.23/1412.15	o 894369
11169.23/1412.15	o 894713
11169.23/1412.15	o 895348
11169.23/1412.15	o 895910
11169.23/1412.15	o 896382
11170.95/1412.38	o 897387
11170.95/1412.39	o 897859
11170.95/1412.39	o 897949
11170.95/1412.39	o 898421
11170.95/1412.39	o 898531
11170.95/1412.39	o 898867
11170.95/1412.39	o 899846
11170.95/1412.39	o 900408
11170.95/1412.39	o 900880
12606.57/1593.50	o 901071
14053.39/1776.36	o 901441
14053.39/1776.36	o 901913
14053.39/1776.37	o 902104
14053.39/1776.37	o 902194
14053.39/1776.37	o 902475
14053.39/1776.37	o 902666
14075.53/1779.20	o 902766
14075.53/1779.21	o 902820
14075.53/1779.21	o 902929
14075.53/1779.21	o 903401
14075.53/1779.21	o 903491
14075.53/1779.21	o 903963
14075.53/1779.21	o 904154
14075.53/1779.21	o 904180
14075.53/1779.21	o 904333
14075.53/1779.21	o 904387
14075.53/1779.21	o 904968
14075.53/1779.21	o 905530
14075.53/1779.21	o 905721
14076.36/1779.22	o 906002
14076.36/1779.22	o 906193
14076.36/1779.22	o 906303
14076.36/1779.22	o 906400
14076.36/1779.22	o 906872
14076.36/1779.22	o 907427
14076.36/1779.22	o 907899
14076.36/1779.22	o 907989
14076.36/1779.22	o 908461
14076.36/1779.22	o 908652
17399.34/2198.94	o 908780
17399.34/2198.94	o 908971
17399.34/2198.96	o 909415
17399.34/2198.96	o 909977
17399.34/2198.96	o 910168
17399.34/2198.96	o 910449
17399.34/2198.96	o 910640
18407.39/2326.24	o 910687
18407.39/2326.24	o 910697
18407.39/2326.25	o 910783
18407.39/2326.25	o 910878
18407.39/2326.25	o 910916
18407.39/2326.25	o 911097
18407.39/2326.25	o 911107
18407.39/2326.25	o 911288
18407.39/2326.25	o 911388
18407.39/2326.25	o 911579
18407.39/2326.25	o 911760
18407.39/2326.25	o 911855
18407.39/2326.25	o 911883
18407.39/2326.25	o 911978
18407.39/2326.25	o 912074
18407.39/2326.25	o 912169
18407.39/2326.25	o 912234
18407.39/2326.26	o 912316
18407.39/2326.26	o 912427
18407.39/2326.26	o 912527
18407.39/2326.26	o 912718
18407.39/2326.26	o 912899
18407.39/2326.26	o 913052
18407.39/2326.26	o 913158
18407.39/2326.26	o 913596
18407.39/2326.26	o 913777
18407.39/2326.26	o 914068
18407.39/2326.26	o 914249
18407.39/2326.27	o 914259
18407.39/2326.27	o 914440
18407.39/2326.27	o 914535
18446.91/2331.28	o 914539
18446.91/2331.29	o 915513
18446.91/2331.29	o 915608
18446.91/2331.29	o 915985
18446.91/2331.29	o 916080
18446.91/2331.29	o 916176
18446.91/2331.29	o 916271
18446.91/2331.29	o 916357
18446.91/2331.29	o 916452
18446.91/2331.30	o 916490
18446.91/2331.30	o 916962
18446.91/2331.30	o 917143
18446.91/2331.30	o 917153
18446.91/2331.30	o 917334
18446.91/2331.30	o 917429
18446.91/2331.30	o 917467
18446.91/2331.30	o 917562
18446.91/2331.30	o 917648
18446.91/2331.30	o 917743
18446.91/2331.31	o 917808
18446.91/2331.31	o 917890
18446.91/2331.31	o 918001
18446.91/2331.31	o 918101
18446.91/2331.31	o 918282
18446.91/2331.31	o 918292
18446.91/2331.31	o 918473
18446.91/2331.31	o 918636
18446.91/2331.31	o 918876
18446.91/2331.31	o 919170
18446.91/2331.31	o 919642
18446.91/2331.31	o 919833
18446.91/2331.31	o 920014
18446.91/2331.31	o 920109
18482.56/2335.74	o 920246
18482.56/2335.74	o 920537
18482.56/2335.74	o 920718
18482.56/2335.74	o 920813
18482.56/2335.74	o 920823
18482.56/2335.74	o 920909
18482.56/2335.74	o 921004
18482.56/2335.75	o 921094
18482.56/2335.75	o 921104
18482.56/2335.75	o 921285
18482.56/2335.75	o 921363
18482.56/2335.75	o 921554
18482.56/2335.75	o 921982
18482.56/2335.75	o 922454
18482.56/2335.75	o 922645
18482.56/2335.75	o 922826
18482.56/2335.75	o 922921
18482.56/2335.75	o 922959
18482.56/2335.75	o 923150
18482.56/2335.75	o 923245
18482.56/2335.75	o 923331
18482.56/2335.75	o 923426
18482.56/2335.75	o 923431
18482.56/2335.76	o 923622
18482.56/2335.76	o 923803
18482.56/2335.76	o 923898
18482.56/2335.76	o 923936
18482.56/2335.76	o 924031
18482.56/2335.76	o 924117
18482.56/2335.76	o 924212
18482.56/2335.76	o 924277
18482.56/2335.76	o 924359
18482.56/2335.76	o 924470
18482.56/2335.76	o 924570
18482.56/2335.76	o 924751
18482.56/2335.76	o 924761
18482.56/2335.76	o 924942
18482.56/2335.77	o 925020
18482.56/2335.77	o 925211
18482.56/2335.77	o 925639
18482.56/2335.77	o 926111
18482.56/2335.77	o 926302
18482.56/2335.77	o 926483
18482.56/2335.77	o 926578
18485.81/2336.19	o 926742
18485.81/2336.20	o 926752
18485.81/2336.20	o 926933
18485.81/2336.20	o 927028
18485.81/2336.20	o 927066
18485.81/2336.20	o 927161
18485.81/2336.20	o 927247
18485.81/2336.20	o 927342
18485.81/2336.20	o 927407
18485.81/2336.20	o 927419
18485.81/2336.20	o 927600
18485.81/2336.20	o 927632
18485.81/2336.20	o 928003
18485.81/2336.21	o 928194
18485.81/2336.21	o 928769
18485.81/2336.21	o 928960
18485.81/2336.21	o 929141
18485.81/2336.21	o 929241
18485.81/2336.21	o 929422
18485.81/2336.21	o 929432
18485.81/2336.21	o 929613
18485.81/2336.21	o 929708
19941.25/2520.07	s SATISFIABLE
19941.25/2520.09	v <instantiation>
19941.25/2520.09	v 	<list>
19941.25/2520.09	v 		b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999]
19941.25/2520.10	v 	</list>
19941.25/2520.10	v 	<values>
19941.25/2520.10	v 		0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 1 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
19941.25/2520.10	v 	</values>
19941.25/2520.10	v </instantiation>

Verifier Data 

OK	929708

Watcher Data 

runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (4825 MiB free)
  memory of node 1: 16384 MiB (7739 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291770-1532636407/watcher-4291770-1532636407 -o /tmp/evaluation-result-4291770-1532636407/solver-4291770-1532636407 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1532633881-14214 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 855436698 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291770-1532636407.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=14590, runsolver pid=14587

[startup+0.100155 s]*
/proc/loadavg: 8.57 8.71 8.70 2/199 14610
/proc/meminfo: memFree=12849820/32770624 swapFree=67108860/67108860
[pid=14590] ppid=14587 vsize=26103424 memory=30960 CPUtime=0.11 cores=0-7
/proc/14590/stat : 14590 (java) S 14587 14590 14187 0 -1 1077944320 7217 0 0 0 10 1 0 0 20 0 20 0 81203938 26729906176 7740 33554432000 4194304 4196468 140727344775152 140727344757696 140144723832567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
/proc/14590/statm: 6525856 7740 3141 1 0 6487932 0
[pid=14590/tid=14592] ppid=14587 vsize=26103424 memory=8041346942785984928 CPUtime=0.09 cores=0-7
/proc/14590/task/14592/stat : 14592 (java) R 14587 14590 14187 0 -1 4202560 5452 0 0 0 8 1 0 0 20 0 20 0 81203938 26729906176 7938 33554432000 4194304 4196468 140727344775152 140144728027376 140144704108274 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14593] ppid=14587 vsize=26103424 memory=732370683566939109 CPUtime=0 cores=0-7
/proc/14590/task/14593/stat : 14593 (java) S 14587 14590 14187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 7938 33554432000 4194304 4196468 140727344775152 140144676452752 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14594] ppid=14587 vsize=26103424 memory=140545229485696 CPUtime=0 cores=0-7
/proc/14590/task/14594/stat : 14594 (java) S 14587 14590 14187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 7938 33554432000 4194304 4196468 140727344775152 140144675399952 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14595] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14595/stat : 14595 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 7938 33554432000 4194304 4196468 140727344775152 140144674347664 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14596] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14596/stat : 14596 (java) S 14587 14590 14187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 7938 33554432000 4194304 4196468 140727344775152 140144673294864 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14597] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14597/stat : 14597 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 7938 33554432000 4194304 4196468 140727344775152 140144672242576 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14598] ppid=14587 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/14590/task/14598/stat : 14598 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 7938 33554432000 4194304 4196468 140727344775152 140144671189776 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14599] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14599/stat : 14599 (java) S 14587 14590 14187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 7938 33554432000 4194304 4196468 140727344775152 140144670137488 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14600] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14600/stat : 14600 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 7938 33554432000 4194304 4196468 140727344775152 140144669084688 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14601] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14601/stat : 14601 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203941 26729906176 7938 33554432000 4194304 4196468 140727344775152 140143851706480 140144723843714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14602] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14602/stat : 14602 (java) S 14587 14590 14187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81203941 26729906176 7938 33554432000 4194304 4196468 140727344775152 140143850652448 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14603] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14603/stat : 14603 (java) S 14587 14590 14187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81203941 26729906176 7938 33554432000 4194304 4196468 140727344775152 140143849600112 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14604] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14604/stat : 14604 (java) S 14587 14590 14187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203944 26729906176 7938 33554432000 4194304 4196468 140727344775152 140143848548432 140144723851163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14605] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14605/stat : 14605 (java) S 14587 14590 14187 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 20 0 81203944 26729906176 7938 33554432000 4194304 4196468 140727344775152 140143847496304 140144723843714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14606] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14606/stat : 14606 (java) S 14587 14590 14187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203944 26729906176 7938 33554432000 4194304 4196468 140727344775152 140143846443504 140144723843714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14607] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14607/stat : 14607 (java) S 14587 14590 14187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203944 26729906176 7938 33554432000 4194304 4196468 140727344775152 140143845391216 140144723843714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14608] ppid=14587 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/14590/task/14608/stat : 14608 (java) S 14587 14590 14187 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 20 0 81203944 26729906176 7998 33554432000 4194304 4196468 140727344775152 140143776230128 140144723843714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14609] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14609/stat : 14609 (java) S 14587 14590 14187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203944 26729906176 7998 33554432000 4194304 4196468 140727344775152 140143775177056 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14610] ppid=14587 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/14590/task/14610/stat : 14610 (java) S 14587 14590 14187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203944 26729906176 7998 33554432000 4194304 4196468 140727344775152 140143774124336 140144723843714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 30960 KiB

[startup+0.210172 s]*
/proc/loadavg: 8.57 8.71 8.70 4/199 14610
/proc/meminfo: memFree=12836364/32770624 swapFree=67108860/67108860
[pid=14590] ppid=14587 vsize=26103424 memory=42896 CPUtime=0.3 cores=0-7
/proc/14590/stat : 14590 (java) S 14587 14590 14187 0 -1 1077944320 10432 0 0 0 28 2 0 0 20 0 20 0 81203938 26729906176 10724 33554432000 4194304 4196468 140727344775152 140727344757696 140144723832567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
/proc/14590/statm: 6525856 10724 3307 1 0 6487932 0
[pid=14590/tid=14592] ppid=14587 vsize=26103424 memory=32758254098972862 CPUtime=0.2 cores=0-7
/proc/14590/task/14592/stat : 14592 (java) R 14587 14590 14187 0 -1 4202560 8214 0 0 0 18 2 0 0 20 0 20 0 81203938 26729906176 10724 33554432000 4194304 4196468 140727344775152 140144728052416 140144707913054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14593] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14593/stat : 14593 (java) S 14587 14590 14187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 10724 33554432000 4194304 4196468 140727344775152 140144676452752 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14594] ppid=14587 vsize=26103424 memory=4120988304503895712 CPUtime=0 cores=0-7
/proc/14590/task/14594/stat : 14594 (java) S 14587 14590 14187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 10724 33554432000 4194304 4196468 140727344775152 140144675399952 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14595] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14595/stat : 14595 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 10724 33554432000 4194304 4196468 140727344775152 140144674347664 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14596] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14596/stat : 14596 (java) S 14587 14590 14187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 10724 33554432000 4194304 4196468 140727344775152 140144673294864 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14597] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14597/stat : 14597 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 10724 33554432000 4194304 4196468 140727344775152 140144672242576 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14598] ppid=14587 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/14590/task/14598/stat : 14598 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 10724 33554432000 4194304 4196468 140727344775152 140144671189776 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14599] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14599/stat : 14599 (java) S 14587 14590 14187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 10724 33554432000 4194304 4196468 140727344775152 140144670137488 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14600] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14600/stat : 14600 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 10724 33554432000 4194304 4196468 140727344775152 140144669084688 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14601] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14601/stat : 14601 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203941 26729906176 10724 33554432000 4194304 4196468 140727344775152 140143851706480 140144723843714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14602] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14602/stat : 14602 (java) S 14587 14590 14187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81203941 26729906176 10724 33554432000 4194304 4196468 140727344775152 140143850652448 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14603] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14603/stat : 14603 (java) S 14587 14590 14187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81203941 26729906176 10724 33554432000 4194304 4196468 140727344775152 140143849600112 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14604] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14604/stat : 14604 (java) S 14587 14590 14187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203944 26729906176 10724 33554432000 4194304 4196468 140727344775152 140143848548432 140144723851163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14605] ppid=14587 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/14590/task/14605/stat : 14605 (java) S 14587 14590 14187 0 -1 1077944384 327 0 0 0 1 0 0 0 20 0 20 0 81203944 26729906176 10724 33554432000 4194304 4196468 140727344775152 140143847496304 140144723843714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14606] ppid=14587 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/14590/task/14606/stat : 14606 (java) S 14587 14590 14187 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 20 0 81203944 26729906176 10724 33554432000 4194304 4196468 140727344775152 140143846443504 140144723843714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14607] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14607/stat : 14607 (java) S 14587 14590 14187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81203944 26729906176 10724 33554432000 4194304 4196468 140727344775152 140143845391216 140144723843714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14608] ppid=14587 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/14590/task/14608/stat : 14608 (java) S 14587 14590 14187 0 -1 1077944384 309 0 0 0 6 0 0 0 20 0 20 0 81203944 26729906176 10724 33554432000 4194304 4196468 140727344775152 140143776230128 140144723843714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14609] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14609/stat : 14609 (java) S 14587 14590 14187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203944 26729906176 10724 33554432000 4194304 4196468 140727344775152 140143775177056 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14610] ppid=14587 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/14590/task/14610/stat : 14610 (java) S 14587 14590 14187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203944 26729906176 10724 33554432000 4194304 4196468 140727344775152 140143774124336 140144723843714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 42896 KiB

[startup+0.310254 s]*
/proc/loadavg: 8.57 8.71 8.70 2/199 14610
/proc/meminfo: memFree=12832976/32770624 swapFree=67108860/67108860
[pid=14590] ppid=14587 vsize=26103424 memory=46616 CPUtime=0.43 cores=0-7
/proc/14590/stat : 14590 (java) S 14587 14590 14187 0 -1 1077944320 10869 0 0 0 40 3 0 0 20 0 20 0 81203938 26729906176 11654 33554432000 4194304 4196468 140727344775152 140727344757696 140144723832567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
/proc/14590/statm: 6525856 11654 3382 1 0 6487932 0
[pid=14590/tid=14592] ppid=14587 vsize=26103424 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/14590/task/14592/stat : 14592 (java) R 14587 14590 14187 0 -1 4202560 8560 0 0 0 28 2 0 0 20 0 20 0 81203938 26729906176 11654 33554432000 4194304 4196468 140727344775152 140144728021512 140144707913054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14593] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14593/stat : 14593 (java) S 14587 14590 14187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 11654 33554432000 4194304 4196468 140727344775152 140144676452752 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14594] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14594/stat : 14594 (java) S 14587 14590 14187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 11654 33554432000 4194304 4196468 140727344775152 140144675399952 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14595] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14595/stat : 14595 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 11654 33554432000 4194304 4196468 140727344775152 140144674347664 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14596] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14596/stat : 14596 (java) S 14587 14590 14187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 11654 33554432000 4194304 4196468 140727344775152 140144673294864 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14597] ppid=14587 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/14590/task/14597/stat : 14597 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 11654 33554432000 4194304 4196468 140727344775152 140144672242576 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14598] ppid=14587 vsize=26103424 memory=140545087337391 CPUtime=0 cores=0-7
/proc/14590/task/14598/stat : 14598 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 11654 33554432000 4194304 4196468 140727344775152 140144671189776 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14599] ppid=14587 vsize=26103424 memory=140545087339696 CPUtime=0 cores=0-7
/proc/14590/task/14599/stat : 14599 (java) S 14587 14590 14187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 11654 33554432000 4194304 4196468 140727344775152 140144670137488 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14600] ppid=14587 vsize=26103424 memory=140545087342000 CPUtime=0 cores=0-7
/proc/14590/task/14600/stat : 14600 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203939 26729906176 11654 33554432000 4194304 4196468 140727344775152 140144669084688 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14601] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14601/stat : 14601 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203941 26729906176 11654 33554432000 4194304 4196468 140727344775152 140143851706480 140144723843714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14602] ppid=14587 vsize=26103424 memory=281090174690960 CPUtime=0 cores=0-7
/proc/14590/task/14602/stat : 14602 (java) S 14587 14590 14187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81203941 26729906176 11654 33554432000 4194304 4196468 140727344775152 140143850652448 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14603] ppid=14587 vsize=26103424 memory=281090174697872 CPUtime=0 cores=0-7
/proc/14590/task/14603/stat : 14603 (java) S 14587 14590 14187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81203941 26729906176 11654 33554432000 4194304 4196468 140727344775152 140143849600112 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14604] ppid=14587 vsize=26103424 memory=281090174639152 CPUtime=0 cores=0-7
/proc/14590/task/14604/stat : 14604 (java) S 14587 14590 14187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203944 26729906176 11654 33554432000 4194304 4196468 140727344775152 140143848548432 140144723851163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14605] ppid=14587 vsize=26103424 memory=281090174711696 CPUtime=0.01 cores=0-7
/proc/14590/task/14605/stat : 14605 (java) S 14587 14590 14187 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 20 0 81203944 26729906176 11654 33554432000 4194304 4196468 140727344775152 140143847496304 140144723843714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14606] ppid=14587 vsize=26103424 memory=281090174718608 CPUtime=0.01 cores=0-7
/proc/14590/task/14606/stat : 14606 (java) S 14587 14590 14187 0 -1 1077944384 204 0 0 0 1 0 0 0 20 0 20 0 81203944 26729906176 11654 33554432000 4194304 4196468 140727344775152 140143846443504 140144723843714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14607] ppid=14587 vsize=26103424 memory=281090174716304 CPUtime=0 cores=0-7
/proc/14590/task/14607/stat : 14607 (java) S 14587 14590 14187 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81203944 26729906176 11654 33554432000 4194304 4196468 140727344775152 140143845391216 140144723843714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14608] ppid=14587 vsize=26103424 memory=281090174732864 CPUtime=0.07 cores=0-7
/proc/14590/task/14608/stat : 14608 (java) S 14587 14590 14187 0 -1 1077944384 325 0 0 0 7 0 0 0 20 0 20 0 81203944 26729906176 11654 33554432000 4194304 4196468 140727344775152 140143776230128 140144723843714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14609] ppid=14587 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14609/stat : 14609 (java) S 14587 14590 14187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203944 26729906176 11654 33554432000 4194304 4196468 140727344775152 140143775177056 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14610] ppid=14587 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/14590/task/14610/stat : 14610 (java) S 14587 14590 14187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203944 26729906176 11654 33554432000 4194304 4196468 140727344775152 140143774124336 140144723843714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46616 KiB

[startup+0.700901 s]
/proc/loadavg: 8.57 8.71 8.70 2/199 14610
/proc/meminfo: memFree=12809368/32770624 swapFree=67108860/67108860
[pid=14590] ppid=14587 vsize=26105492 memory=87524 CPUtime=0.98 cores=0-7
/proc/14590/stat : 14590 (java) S 14587 14590 14187 0 -1 1077944320 17827 0 0 0 93 5 0 0 20 0 20 0 81203938 26732023808 21881 33554432000 4194304 4196468 140727344775152 140727344757696 140144723832567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
/proc/14590/statm: 6526373 21881 3494 1 0 6488444 0
[pid=14590/tid=14592] ppid=14587 vsize=26105492 memory=7230638415957355095 CPUtime=0.67 cores=0-7
/proc/14590/task/14592/stat : 14592 (java) R 14587 14590 14187 0 -1 4202560 15045 0 0 0 63 4 0 0 20 0 20 0 81203938 26732023808 21881 33554432000 4194304 4196468 140727344775152 140144728055872 140144723854493 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14593] ppid=14587 vsize=26105492 memory=62745177256482 CPUtime=0 cores=0-7
/proc/14590/task/14593/stat : 14593 (java) S 14587 14590 14187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203939 26732023808 21881 33554432000 4194304 4196468 140727344775152 140144676452752 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14594] ppid=14587 vsize=26105492 memory=140545087354167 CPUtime=0 cores=0-7
/proc/14590/task/14594/stat : 14594 (java) S 14587 14590 14187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203939 26732023808 21881 33554432000 4194304 4196468 140727344775152 140144675399952 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14595] ppid=14587 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14595/stat : 14595 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203939 26732023808 21881 33554432000 4194304 4196468 140727344775152 140144674347664 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14596] ppid=14587 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14596/stat : 14596 (java) S 14587 14590 14187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81203939 26732023808 21881 33554432000 4194304 4196468 140727344775152 140144673294864 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14597] ppid=14587 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14597/stat : 14597 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203939 26732023808 21881 33554432000 4194304 4196468 140727344775152 140144672242576 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14598] ppid=14587 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14598/stat : 14598 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203939 26732023808 21881 33554432000 4194304 4196468 140727344775152 140144671189776 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14599] ppid=14587 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14599/stat : 14599 (java) S 14587 14590 14187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81203939 26732023808 21881 33554432000 4194304 4196468 140727344775152 140144670137488 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14600] ppid=14587 vsize=26105492 memory=1836 CPUtime=0 cores=0-7
/proc/14590/task/14600/stat : 14600 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203939 26732023808 21881 33554432000 4194304 4196468 140727344775152 140144669084688 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14601] ppid=14587 vsize=26105492 memory=13044 CPUtime=0 cores=0-7
/proc/14590/task/14601/stat : 14601 (java) S 14587 14590 14187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81203941 26732023808 21881 33554432000 4194304 4196468 140727344775152 140143851706480 140144723843714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0

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

[pid=14590/tid=14620] ppid=14587 vsize=27850528 memory=-8412652152092201843 CPUtime=2478.69 cores=0-7
/proc/14590/task/14620/stat : 14620 (java) R 14587 14590 14187 0 -1 4202560 71233 0 0 0 247802 67 0 0 20 0 46 0 81204543 28518940672 1385027 33554432000 4194304 4196468 140727344775152 140143747006496 140144338170439 0 4 0 16800975 0 0 0 -1 4 0 0 34 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14621] ppid=14587 vsize=27850528 memory=-7023579799431922829 CPUtime=2474.74 cores=0-7
/proc/14590/task/14621/stat : 14621 (java) R 14587 14590 14187 0 -1 4202560 65269 0 0 0 247410 64 0 0 20 0 46 0 81204544 28518940672 1385027 33554432000 4194304 4196468 140727344775152 140143745953552 140144333026780 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14622] ppid=14587 vsize=27850528 memory=8449 CPUtime=2478.24 cores=0-7
/proc/14590/task/14622/stat : 14622 (java) R 14587 14590 14187 0 -1 4202560 70796 0 0 0 247759 65 0 0 20 0 46 0 81204545 28518940672 1385027 33554432000 4194304 4196468 140727344775152 140143744900888 140144339225184 0 4 0 16800975 0 0 0 -1 2 0 0 30 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14623] ppid=14587 vsize=27850528 memory=7378675544661845101 CPUtime=0.02 cores=0-7
/proc/14590/task/14623/stat : 14623 (java) S 14587 14590 14187 0 -1 1077944384 584 0 0 0 2 0 0 0 20 0 46 0 81204556 28518940672 1385027 33554432000 4194304 4196468 140727344775152 140143743854352 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14624] ppid=14587 vsize=27850528 memory=7378675544661845101 CPUtime=0.01 cores=0-7
/proc/14590/task/14624/stat : 14624 (java) S 14587 14590 14187 0 -1 1077944384 455 0 0 0 1 0 0 0 20 0 46 0 81204615 28518940672 1385027 33554432000 4194304 4196468 140727344775152 140143740667536 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14625] ppid=14587 vsize=27850528 memory=7378675544661845101 CPUtime=0.01 cores=0-7
/proc/14590/task/14625/stat : 14625 (java) S 14587 14590 14187 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 46 0 81204617 28518940672 1385027 33554432000 4194304 4196468 140727344775152 140143739614224 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14626] ppid=14587 vsize=27850528 memory=1232 CPUtime=0.01 cores=0-7
/proc/14590/task/14626/stat : 14626 (java) S 14587 14590 14187 0 -1 1077944384 564 0 0 0 1 0 0 0 20 0 46 0 81204619 28518940672 1385027 33554432000 4194304 4196468 140727344775152 140143738561424 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14627] ppid=14587 vsize=27850528 memory=8544 CPUtime=0.01 cores=0-7
/proc/14590/task/14627/stat : 14627 (java) S 14587 14590 14187 0 -1 1077944384 486 0 0 0 1 0 0 0 20 0 46 0 81204620 28518940672 1385027 33554432000 4194304 4196468 140727344775152 140143737509136 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14628] ppid=14587 vsize=27850528 memory=1712 CPUtime=0.01 cores=0-7
/proc/14590/task/14628/stat : 14628 (java) S 14587 14590 14187 0 -1 1077944384 478 0 0 0 1 0 0 0 20 0 46 0 81204622 28518940672 1385027 33554432000 4194304 4196468 140727344775152 140143736456336 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14629] ppid=14587 vsize=27850528 memory=5412 CPUtime=0.01 cores=0-7
/proc/14590/task/14629/stat : 14629 (java) S 14587 14590 14187 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 46 0 81204624 28518940672 1385027 33554432000 4194304 4196468 140727344775152 140143735404048 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14630] ppid=14587 vsize=27850528 memory=4612 CPUtime=0.01 cores=0-7
/proc/14590/task/14630/stat : 14630 (java) S 14587 14590 14187 0 -1 1077944384 480 0 0 0 1 0 0 0 20 0 46 0 81204624 28518940672 1385027 33554432000 4194304 4196468 140727344775152 140143734351248 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14631] ppid=14587 vsize=27850528 memory=1012 CPUtime=0.01 cores=0-7
/proc/14590/task/14631/stat : 14631 (java) S 14587 14590 14187 0 -1 1077944384 444 0 0 0 1 0 0 0 20 0 46 0 81204624 28518940672 1385027 33554432000 4194304 4196468 140727344775152 140143733298960 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14632] ppid=14587 vsize=27850528 memory=1436 CPUtime=0.01 cores=0-7
/proc/14590/task/14632/stat : 14632 (java) S 14587 14590 14187 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 46 0 81204626 28518940672 1385027 33554432000 4194304 4196468 140727344775152 140143732246160 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14633] ppid=14587 vsize=27850528 memory=1200 CPUtime=0.01 cores=0-7
/proc/14590/task/14633/stat : 14633 (java) S 14587 14590 14187 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 46 0 81204628 28518940672 1385027 33554432000 4194304 4196468 140727344775152 140143731192848 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14634] ppid=14587 vsize=27850528 memory=15876 CPUtime=0.01 cores=0-7
/proc/14590/task/14634/stat : 14634 (java) S 14587 14590 14187 0 -1 1077944384 434 0 0 0 1 0 0 0 20 0 46 0 81204629 28518940672 1385027 33554432000 4194304 4196468 140727344775152 140143730140048 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14635] ppid=14587 vsize=27850528 memory=14092 CPUtime=0.01 cores=0-7
/proc/14590/task/14635/stat : 14635 (java) S 14587 14590 14187 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 46 0 81204631 28518940672 1385027 33554432000 4194304 4196468 140727344775152 140143729087760 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14636] ppid=14587 vsize=27850528 memory=4004 CPUtime=0.01 cores=0-7
/proc/14590/task/14636/stat : 14636 (java) S 14587 14590 14187 0 -1 1077944384 397 0 0 0 1 0 0 0 20 0 46 0 81204633 28518940672 1385027 33554432000 4194304 4196468 140727344775152 140143728034960 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
Current children cumulated CPU time: 19941.2 s
Current children cumulated vsize: 27850528 KiB
Current children cumulated memory: 5540108 KiB

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

[startup+2520.32 s]
# the end of solver process 14590 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19933 s, system=10.5603 s

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

[startup+2520.21 s]*
/proc/loadavg: 8.62 8.68 8.76 15/228 14719
/proc/meminfo: memFree=7325180/32770624 swapFree=67108860/67108860
[pid=14590] ppid=14587 vsize=28050220 memory=5541200 CPUtime=19942.9 cores=0-7
/proc/14590/stat : 14590 (java) S 14587 14590 14187 0 -1 1077944320 1666278 0 0 0 1993241 1052 0 0 20 0 48 0 81203938 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140727344757696 140144723832567 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
/proc/14590/statm: 7012555 1385300 3626 1 0 6974105 0
[pid=14590/tid=14592] ppid=14587 vsize=28050220 memory=1408 CPUtime=5.88 cores=0-7
/proc/14590/task/14592/stat : 14592 (java) S 14587 14590 14187 0 -1 1077944384 22014 0 0 0 578 10 0 0 20 0 48 0 81203938 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140144728070032 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14593] ppid=14587 vsize=28050220 memory=4572 CPUtime=12.55 cores=0-7
/proc/14590/task/14593/stat : 14593 (java) S 14587 14590 14187 0 -1 1077944384 107940 0 0 0 1197 58 0 0 20 0 48 0 81203939 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140144676452752 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14594] ppid=14587 vsize=28050220 memory=-7003737579269690708 CPUtime=12.56 cores=0-7
/proc/14590/task/14594/stat : 14594 (java) S 14587 14590 14187 0 -1 1077944384 108701 0 0 0 1197 59 0 0 20 0 48 0 81203939 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140144675399952 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14595] ppid=14587 vsize=28050220 memory=0 CPUtime=12.54 cores=0-7
/proc/14590/task/14595/stat : 14595 (java) S 14587 14590 14187 0 -1 1077944384 116961 0 0 0 1195 59 0 0 20 0 48 0 81203939 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140144674347664 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14596] ppid=14587 vsize=28050220 memory=0 CPUtime=12.52 cores=0-7
/proc/14590/task/14596/stat : 14596 (java) S 14587 14590 14187 0 -1 1077944384 100990 0 0 0 1197 55 0 0 20 0 48 0 81203939 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140144673294864 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14597] ppid=14587 vsize=28050220 memory=0 CPUtime=12.52 cores=0-7
/proc/14590/task/14597/stat : 14597 (java) S 14587 14590 14187 0 -1 1077944384 102278 0 0 0 1194 58 0 0 20 0 48 0 81203939 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140144672242576 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14598] ppid=14587 vsize=28050220 memory=0 CPUtime=12.6 cores=0-7
/proc/14590/task/14598/stat : 14598 (java) S 14587 14590 14187 0 -1 1077944384 111579 0 0 0 1202 58 0 0 20 0 48 0 81203939 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140144671189776 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14599] ppid=14587 vsize=28050220 memory=0 CPUtime=12.49 cores=0-7
/proc/14590/task/14599/stat : 14599 (java) S 14587 14590 14187 0 -1 1077944384 94493 0 0 0 1195 54 0 0 20 0 48 0 81203939 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140144670137488 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14600] ppid=14587 vsize=28050220 memory=0 CPUtime=12.52 cores=0-7
/proc/14590/task/14600/stat : 14600 (java) S 14587 14590 14187 0 -1 1077944384 107923 0 0 0 1194 58 0 0 20 0 48 0 81203939 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140144669084688 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14601] ppid=14587 vsize=28050220 memory=0 CPUtime=6.39 cores=0-7
/proc/14590/task/14601/stat : 14601 (java) S 14587 14590 14187 0 -1 1077944384 166390 0 0 0 572 67 0 0 20 0 48 0 81203941 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143851706480 140144723843714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14602] ppid=14587 vsize=28050220 memory=5540108 CPUtime=0 cores=0-7
/proc/14590/task/14602/stat : 14602 (java) S 14587 14590 14187 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 48 0 81203941 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143850652512 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14603] ppid=14587 vsize=28050220 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/14590/task/14603/stat : 14603 (java) S 14587 14590 14187 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 48 0 81203941 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143849600128 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14604] ppid=14587 vsize=28050220 memory=932 CPUtime=0 cores=0-7
/proc/14590/task/14604/stat : 14604 (java) S 14587 14590 14187 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 48 0 81203944 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143848548432 140144723851163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14605] ppid=14587 vsize=28050220 memory=1584 CPUtime=1.92 cores=0-7
/proc/14590/task/14605/stat : 14605 (java) D 14587 14590 14187 0 -1 4202560 13362 0 0 0 189 3 0 0 20 0 48 0 81203944 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143847482768 140144716073548 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14606] ppid=14587 vsize=28050220 memory=4124 CPUtime=1.78 cores=0-7
/proc/14590/task/14606/stat : 14606 (java) D 14587 14590 14187 0 -1 4202560 7443 0 0 0 176 2 0 0 20 0 48 0 81203944 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143846443800 140144716073637 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14607] ppid=14587 vsize=28050220 memory=2200 CPUtime=1.56 cores=0-7
/proc/14590/task/14607/stat : 14607 (java) S 14587 14590 14187 0 -1 1077944384 5509 0 0 0 155 1 0 0 20 0 48 0 81203944 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143845391216 140144723843714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14608] ppid=14587 vsize=28050220 memory=7288 CPUtime=1.26 cores=0-7
/proc/14590/task/14608/stat : 14608 (java) D 14587 14590 14187 0 -1 4202560 16697 0 0 0 123 3 0 0 20 0 48 0 81203944 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143776230424 140144702425141 0 4 0 16800975 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14609] ppid=14587 vsize=28050220 memory=0 CPUtime=0 cores=0-7
/proc/14590/task/14609/stat : 14609 (java) S 14587 14590 14187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 81203944 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143775177056 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14610] ppid=14587 vsize=28050220 memory=1800 CPUtime=0.73 cores=0-7
/proc/14590/task/14610/stat : 14610 (java) S 14587 14590 14187 0 -1 1077944384 9475 0 0 0 21 52 0 0 20 0 48 0 81203944 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143774124336 140144723843714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14611] ppid=14587 vsize=28050220 memory=920 CPUtime=0.03 cores=0-7
/proc/14590/task/14611/stat : 14611 (java) S 14587 14590 14187 0 -1 1077944384 2299 0 0 0 3 0 0 0 20 0 48 0 81204496 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143762776912 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14612] ppid=14587 vsize=28050220 memory=4200 CPUtime=2.07 cores=0-7
/proc/14590/task/14612/stat : 14612 (java) S 14587 14590 14187 0 -1 1077944384 16788 0 0 0 90 117 0 0 20 0 48 0 81204518 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143759627184 140144723843714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14613] ppid=14587 vsize=28050220 memory=4104 CPUtime=0.1 cores=0-7
/proc/14590/task/14613/stat : 14613 (java) S 14587 14590 14187 0 -1 1077944384 524 0 0 0 10 0 0 0 20 0 48 0 81204534 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143756477968 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14614] ppid=14587 vsize=28050220 memory=1408 CPUtime=2474.51 cores=0-7
/proc/14590/task/14614/stat : 14614 (java) R 14587 14590 14187 0 -1 4202560 71169 0 0 0 247378 73 0 0 20 0 48 0 81204535 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143755417912 140144337532018 0 4 0 16800975 0 0 0 -1 7 0 0 37 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14615] ppid=14587 vsize=28050220 memory=4572 CPUtime=0.09 cores=0-7
/proc/14590/task/14615/stat : 14615 (java) S 14587 14590 14187 0 -1 1077944384 598 0 0 0 9 0 0 0 20 0 48 0 81204535 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143754372880 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14616] ppid=14587 vsize=28050220 memory=5540108 CPUtime=2475.47 cores=0-7
/proc/14590/task/14616/stat : 14616 (java) R 14587 14590 14187 0 -1 4202560 66855 0 0 0 247478 69 0 0 20 0 48 0 81204543 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143751216984 140144337664888 0 4 0 16800975 0 0 0 -1 6 0 0 25 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14617] ppid=14587 vsize=28050220 memory=6791534058613427641 CPUtime=2478.11 cores=0-7
/proc/14590/task/14617/stat : 14617 (java) R 14587 14590 14187 0 -1 4202560 65665 0 0 0 247744 67 0 0 20 0 48 0 81204543 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143750162360 140144333026686 0 4 0 16800975 0 0 0 -1 1 0 0 41 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14618] ppid=14587 vsize=28050220 memory=-7003737579269690708 CPUtime=2481.69 cores=0-7
/proc/14590/task/14618/stat : 14618 (java) R 14587 14590 14187 0 -1 4202560 65513 0 0 0 248102 67 0 0 20 0 48 0 81204543 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143749109560 140144337968282 0 4 0 16800975 0 0 0 -1 0 0 0 31 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14619] ppid=14587 vsize=28050220 memory=1232 CPUtime=2478.23 cores=0-7
/proc/14590/task/14619/stat : 14619 (java) R 14587 14590 14187 0 -1 4202560 67127 0 0 0 247767 56 0 0 20 0 48 0 81204543 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143748058528 140144333026633 0 4 0 16800975 0 0 0 -1 3 0 0 42 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14620] ppid=14587 vsize=28050220 memory=8544 CPUtime=2478.89 cores=0-7
/proc/14590/task/14620/stat : 14620 (java) R 14587 14590 14187 0 -1 4202560 71233 0 0 0 247822 67 0 0 20 0 48 0 81204543 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143747006496 140144337840190 0 4 0 16800975 0 0 0 -1 4 0 0 34 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14621] ppid=14587 vsize=28050220 memory=5540108 CPUtime=2474.92 cores=0-7
/proc/14590/task/14621/stat : 14621 (java) R 14587 14590 14187 0 -1 4202560 65269 0 0 0 247428 64 0 0 20 0 48 0 81204544 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143745953688 140144337532166 0 4 0 16800975 0 0 0 -1 5 0 0 35 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14622] ppid=14587 vsize=28050220 memory=6791534058613427641 CPUtime=2478.46 cores=0-7
/proc/14590/task/14622/stat : 14622 (java) R 14587 14590 14187 0 -1 4202560 70796 0 0 0 247781 65 0 0 20 0 48 0 81204545 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143744900888 140144331012919 0 4 0 16800975 0 0 0 -1 2 0 0 30 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14623] ppid=14587 vsize=28050220 memory=4140 CPUtime=0.02 cores=0-7
/proc/14590/task/14623/stat : 14623 (java) S 14587 14590 14187 0 -1 1077944384 584 0 0 0 2 0 0 0 20 0 48 0 81204556 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143743854352 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14624] ppid=14587 vsize=28050220 memory=24128 CPUtime=0.01 cores=0-7
/proc/14590/task/14624/stat : 14624 (java) S 14587 14590 14187 0 -1 1077944384 476 0 0 0 1 0 0 0 20 0 48 0 81204615 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143740667536 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14625] ppid=14587 vsize=28050220 memory=1296 CPUtime=0.01 cores=0-7
/proc/14590/task/14625/stat : 14625 (java) S 14587 14590 14187 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 48 0 81204617 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143739614224 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14626] ppid=14587 vsize=28050220 memory=6791534058613427641 CPUtime=0.02 cores=0-7
/proc/14590/task/14626/stat : 14626 (java) D 14587 14590 14187 0 -1 4202560 955 0 0 0 2 0 0 0 20 0 48 0 81204619 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143738561312 140144716073957 0 4 0 16800975 18446744071582151416 0 0 -1 7 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14627] ppid=14587 vsize=28050220 memory=2400 CPUtime=0.01 cores=0-7
/proc/14590/task/14627/stat : 14627 (java) S 14587 14590 14187 0 -1 1077944384 507 0 0 0 1 0 0 0 20 0 48 0 81204620 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143737509136 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14628] ppid=14587 vsize=28050220 memory=1836 CPUtime=0.02 cores=0-7
/proc/14590/task/14628/stat : 14628 (java) S 14587 14590 14187 0 -1 1077944384 1044 0 0 0 2 0 0 0 20 0 48 0 81204622 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143736456336 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14629] ppid=14587 vsize=28050220 memory=13044 CPUtime=0.01 cores=0-7
/proc/14590/task/14629/stat : 14629 (java) S 14587 14590 14187 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 48 0 81204624 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143735404048 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14630] ppid=14587 vsize=28050220 memory=792 CPUtime=0.01 cores=0-7
/proc/14590/task/14630/stat : 14630 (java) S 14587 14590 14187 0 -1 1077944384 501 0 0 0 1 0 0 0 20 0 48 0 81204624 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143734351248 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14631] ppid=14587 vsize=28050220 memory=1952 CPUtime=0.02 cores=0-7
/proc/14590/task/14631/stat : 14631 (java) R 14587 14590 14187 0 -1 4202560 583 0 0 0 2 0 0 0 20 0 48 0 81204624 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143733285128 140144716549719 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14632] ppid=14587 vsize=28050220 memory=1232 CPUtime=0.01 cores=0-7
/proc/14590/task/14632/stat : 14632 (java) S 14587 14590 14187 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 48 0 81204626 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143732246160 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14633] ppid=14587 vsize=28050220 memory=8544 CPUtime=0.01 cores=0-7
/proc/14590/task/14633/stat : 14633 (java) S 14587 14590 14187 0 -1 1077944384 508 0 0 0 1 0 0 0 20 0 48 0 81204628 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143731192848 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14634] ppid=14587 vsize=28050220 memory=0 CPUtime=0.01 cores=0-7
/proc/14590/task/14634/stat : 14634 (java) D 14587 14590 14187 0 -1 4202560 442 0 0 0 1 0 0 0 20 0 48 0 81204629 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143730139936 140144329961176 0 4 0 16800975 18446744071582151416 0 0 -1 4 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14635] ppid=14587 vsize=28050220 memory=-8707038579349950309 CPUtime=0.01 cores=0-7
/proc/14590/task/14635/stat : 14635 (java) S 14587 14590 14187 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 48 0 81204631 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143729087760 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14636] ppid=14587 vsize=28050220 memory=-8253362762722141311 CPUtime=0.01 cores=0-7
/proc/14590/task/14636/stat : 14636 (java) S 14587 14590 14187 0 -1 1077944384 417 0 0 0 1 0 0 0 20 0 48 0 81204633 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143728034960 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14717] ppid=14587 vsize=28050220 memory=-8412656567318647667 CPUtime=0 cores=0-7
/proc/14590/task/14717/stat : 14717 (java) S 14587 14590 14187 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 48 0 81455941 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143726981744 140144723842773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
[pid=14590/tid=14719] ppid=14587 vsize=28050220 memory=4427205132082312746 CPUtime=0 cores=0-7
/proc/14590/task/14719/stat : 14719 (java) S 14587 14590 14187 0 -1 1077944384 1383 0 0 0 0 0 0 0 20 0 48 0 81455945 28723425280 1385300 33554432000 4194304 4196468 140727344775152 140143724876416 140144723843714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25292800 140727344776270 140727344776453 140727344776453 140727344779215 0
Current children cumulated CPU time: 19942.9 s
Current children cumulated vsize: 28050220 KiB
Current children cumulated memory: 5541200 KiB

[startup+2520.31 s]*
/proc/loadavg: 8.62 8.68 8.76 2/182 14719
/proc/meminfo: memFree=12706424/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.32
CPU time (s): 19943.5
CPU user time (s): 19933
CPU system time (s): 10.5603
CPU usage (%): 791.309
Max. virtual memory (cumulated for all children) (KiB): 28050220
Max. memory (cumulated for all children) (KiB): 5860168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19933
system time used= 10.5603
maximum resident set size= 5863248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1667414
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 668073
involuntary context switches= 422941


# summary of solver processes directly reported to runsolver:
#   pid: 14590
#   total CPU time (s): 19943.5
#   total CPU user time (s): 19933
#   total CPU system time (s): 10.5603

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.6213 second user time and 36.1132 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-26 22:20:07
IDJOB=4291770
IDBENCH=141160
IDSOLVER=2745
FILE ID=node107/4291770-1532636407
RUNJOBID= node107-1532633881-14214
PBS_JOBID= 21022177
Free space on /tmp= 54472 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay400_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291770-1532636407/watcher-4291770-1532636407 -o /tmp/evaluation-result-4291770-1532636407/solver-4291770-1532636407 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1532633881-14214 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 855436698 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291770-1532636407.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= ef5bf96e0ba9cc2c7a758eef92479658
RANDOM SEED=855436698

node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        12867624 kB
MemAvailable:   31928044 kB
Buffers:          301392 kB
Cached:         18875520 kB
SwapCached:            0 kB
Active:          4390492 kB
Inactive:       14841628 kB
Active(anon):      58084 kB
Inactive(anon):    25040 kB
Active(file):    4332408 kB
Inactive(file): 14816588 kB
Unevictable:        7164 kB
Mlocked:            7164 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             36112 kB
Writeback:             0 kB
AnonPages:        140288 kB
Mapped:            41068 kB
Shmem:             25228 kB
Slab:             367228 kB
SReclaimable:     339884 kB
SUnreclaim:        27344 kB
KernelStack:        3552 kB
PageTables:         4940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     86016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 54436 MiB
End job on node107 at 2018-07-26 23:02:08