Trace number 4298530

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
SuperSolver_Macq_Stevenart 2018-04-27SAT1191978 303.117 300.975

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay400_c18.xml
MD5SUMb20be86eed1a54c36d145f853cc0c945
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2415777
Best CPU time to get the best result obtained on this benchmark2520.15
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":"sum","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.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: -1
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
2.58/1.52	o 0
2.58/1.53	o 8430
2.58/1.53	o 14542
2.58/1.53	o 15112
2.58/1.54	o 23542
2.58/1.54	o 29654
2.58/1.54	o 30243
2.58/1.54	o 38673
2.58/1.55	o 44785
2.58/1.55	o 45355
2.58/1.55	o 53785
2.58/1.55	o 59897
2.58/1.55	o 60792
2.58/1.55	o 61362
2.58/1.56	o 69792
2.58/1.56	o 75904
2.58/1.56	o 77262
2.58/1.57	o 83374
2.58/1.57	o 84269
2.58/1.57	o 84839
2.58/1.57	o 93269
2.58/1.57	o 99381
2.58/1.57	o 101622
2.58/1.57	o 107734
2.58/1.57	o 109092
2.58/1.57	o 115204
2.58/1.57	o 116099
2.58/1.57	o 116669
2.58/1.57	o 125099
2.58/1.57	o 131211
2.58/1.58	o 136198
2.58/1.58	o 142310
2.58/1.58	o 148700
2.58/1.58	o 154812
2.58/1.58	o 159799
2.58/1.59	o 165911
2.58/1.59	o 167167
2.58/1.59	o 173279
2.58/1.59	o 173361
2.58/1.59	o 174617
2.58/1.59	o 180729
2.82/1.60	o 185661
2.82/1.60	o 191773
2.82/1.60	o 193029
2.82/1.60	o 199141
2.82/1.60	o 199223
2.82/1.60	o 200479
2.82/1.60	o 206591
2.82/1.62	o 209584
2.82/1.62	o 210840
2.82/1.62	o 216952
2.82/1.62	o 217034
2.82/1.62	o 218290
2.82/1.62	o 224402
2.82/1.67	o 227423
2.82/1.68	o 227889
2.82/1.68	o 234001
2.82/1.69	o 237022
3.10/1.72	o 241857
3.10/1.74	o 244878
3.10/1.75	o 245344
3.10/1.75	o 251456
3.10/1.76	o 254477
3.31/1.82	o 260364
3.31/1.84	o 263385
3.83/2.36	o 265033
3.83/2.36	o 267574
3.83/2.36	o 268596
3.83/2.37	o 271617
3.83/2.37	o 274158
3.83/2.37	o 275238
3.83/2.37	o 278259
3.83/2.37	o 280800
3.83/2.37	o 281822
3.83/2.37	o 284843
3.83/2.37	o 287384
3.83/2.37	o 288119
3.83/2.38	o 294697
3.83/2.38	o 297718
3.83/2.38	o 300259
3.83/2.38	o 301281
3.83/2.38	o 304302
3.83/2.38	o 306843
3.83/2.38	o 308820
3.83/2.39	o 311361
3.83/2.39	o 312383
3.83/2.39	o 315404
3.83/2.39	o 317945
3.83/2.39	o 318874
3.83/2.39	o 320851
3.83/2.39	o 323392
3.83/2.40	o 324414
3.83/2.40	o 327435
3.94/2.40	o 329976
3.94/2.41	o 331858
3.94/2.41	o 334399
3.94/2.41	o 335421
3.94/2.41	o 338442
3.94/2.41	o 340983
3.94/2.42	o 343156
3.94/2.46	o 343486
3.94/2.46	o 344508
3.94/2.46	o 347529
3.94/2.46	o 350070
3.94/2.47	o 352243
4.05/2.52	o 353154
4.45/2.98	o 353586
4.45/2.98	o 356148
4.45/2.98	o 360170
4.45/2.99	o 362945
4.45/2.99	o 365507
4.45/2.99	o 369529
4.45/2.99	o 369922
4.45/2.99	o 372484
4.45/2.99	o 376506
4.45/2.99	o 376672
4.45/2.99	o 377841
4.45/2.99	o 386271
4.45/2.99	o 388833
4.45/2.99	o 392855
4.45/3.00	o 397373
4.45/3.00	o 399935
4.45/3.00	o 403957
4.62/3.02	o 404109
4.62/3.04	o 404135
4.62/3.05	o 406663
4.62/3.05	o 409225
4.62/3.05	o 413247
4.62/3.06	o 413399
4.62/3.08	o 413425
4.72/3.11	o 414508
4.72/3.12	o 414660
4.72/3.15	o 414686
4.72/3.16	o 416048
4.72/3.16	o 420070
4.72/3.16	o 423014
4.72/3.17	o 423166
5.22/3.67	o 424350
5.22/3.67	o 424371
5.22/3.67	o 426912
5.22/3.69	o 428393
5.22/3.69	o 430934
5.74/4.12	o 431508
5.74/4.12	o 432687
5.74/4.12	o 435228
5.74/4.13	o 435380
5.74/4.13	o 438228
5.74/4.13	o 438927
5.74/4.13	o 441948
5.74/4.13	o 442100
5.74/4.13	o 444207
5.74/4.14	o 444359
5.74/4.14	o 447207
5.74/4.14	o 447906
5.74/4.14	o 450927
5.74/4.14	o 451079
5.74/4.15	o 451243
5.74/4.15	o 451942
5.74/4.15	o 454963
5.74/4.15	o 455115
5.74/4.15	o 456820
5.74/4.15	o 457519
5.74/4.15	o 460540
5.74/4.16	o 460692
5.74/4.16	o 460856
5.74/4.16	o 461555
5.74/4.16	o 464576
5.74/4.16	o 464728
5.74/4.17	o 466268
5.74/4.18	o 466967
5.74/4.18	o 469988
5.74/4.18	o 470140
5.74/4.18	o 470304
5.74/4.18	o 471003
5.74/4.18	o 474024
5.74/4.18	o 474176
5.74/4.19	o 474524
5.74/4.19	o 474676
5.84/4.22	o 475191
5.84/4.22	o 475890
5.84/4.22	o 478911
5.84/4.22	o 479227
5.84/4.23	o 479926
5.84/4.23	o 482947
6.24/4.69	o 483373
6.24/4.69	o 483716
6.24/4.69	o 487093
6.24/4.69	o 487436
6.34/4.70	o 488481
6.34/4.70	o 488824
6.75/5.16	o 490802
6.75/5.17	o 492190
6.75/5.18	o 493101
6.75/5.19	o 493560
6.84/5.21	o 494383
6.84/5.23	o 495294
6.84/5.24	o 495753
6.84/5.25	o 496837
6.84/5.26	o 499781
6.84/5.26	o 501169
6.84/5.26	o 501628
6.84/5.26	o 501974
6.84/5.26	o 503362
6.84/5.26	o 503821
7.34/5.71	o 508841
7.34/5.72	o 509752
7.34/5.74	o 509904
7.34/5.75	o 513888
7.34/5.75	o 514798
7.34/5.75	o 514880
7.34/5.75	o 522248
7.34/5.76	o 522975
7.34/5.76	o 523885
7.34/5.76	o 523967
7.34/5.76	o 531335
7.34/5.78	o 532246
8.35/6.70	o 532607
8.35/6.70	o 532759
8.35/6.71	o 534341
8.35/6.71	o 534800
8.35/6.71	o 534952
8.35/6.71	o 536184
8.35/6.71	o 536643
8.35/6.71	o 536795
8.35/6.71	o 538377
8.35/6.71	o 538836
8.35/6.71	o 538988
8.35/6.71	o 539336
8.35/6.71	o 539488
8.35/6.72	o 539720
8.35/6.72	o 540179
8.35/6.72	o 540331
8.35/6.72	o 541563
8.35/6.72	o 542022
8.35/6.72	o 542174
8.35/6.72	o 543756
8.35/6.72	o 544215
8.35/6.72	o 544367
8.35/6.72	o 544715
8.35/6.72	o 544867
8.35/6.73	o 546395
8.35/6.73	o 546854
8.35/6.73	o 547006
8.35/6.73	o 547354
8.35/6.73	o 547506
8.35/6.74	o 547738
8.35/6.74	o 548197
8.35/6.74	o 548349
8.35/6.74	o 549581
8.35/6.74	o 550040
8.35/6.74	o 550192
8.35/6.74	o 551774
8.35/6.74	o 552233
8.35/6.74	o 552385
8.35/6.74	o 552733
8.35/6.74	o 552885
8.35/6.75	o 554077
8.35/6.75	o 554536
8.35/6.75	o 554688
8.35/6.75	o 556270
8.35/6.75	o 556729
8.35/6.75	o 556881
8.35/6.75	o 557229
8.35/6.75	o 557381
8.35/6.76	o 557613
8.35/6.76	o 558072
8.35/6.76	o 558224
8.35/6.76	o 559456
8.35/6.76	o 559915
8.35/6.76	o 560067
8.35/6.76	o 561649
8.35/6.76	o 562108
8.35/6.76	o 562260
8.35/6.76	o 562608
8.35/6.76	o 562760
8.35/6.77	o 564288
8.35/6.77	o 564747
8.35/6.77	o 564899
8.35/6.77	o 565247
8.35/6.77	o 565399
8.35/6.78	o 565631
8.35/6.78	o 566090
8.35/6.78	o 566242
8.35/6.78	o 567474
8.35/6.78	o 567933
8.35/6.78	o 568085
8.35/6.78	o 569667
8.35/6.78	o 570126
8.35/6.78	o 570278
8.35/6.78	o 570626
8.35/6.78	o 570778
8.35/6.79	o 572232
8.35/6.79	o 572691
8.35/6.79	o 572843
8.46/6.80	o 573191
8.46/6.80	o 573343
8.46/6.81	o 574284
8.46/6.81	o 574743
8.46/6.81	o 574895
8.46/6.81	o 575627
8.46/6.81	o 576086
8.46/6.81	o 576238
8.46/6.81	o 577470
8.46/6.81	o 577929
8.46/6.82	o 578081
8.46/6.82	o 579663
8.46/6.82	o 580122
8.46/6.82	o 580274
8.46/6.82	o 580568
8.46/6.82	o 580720
8.46/6.82	o 582302
8.46/6.82	o 582761
8.46/6.82	o 582913
8.46/6.83	o 583645
8.46/6.83	o 584104
8.46/6.83	o 584256
8.46/6.83	o 585488
8.46/6.83	o 585947
8.46/6.83	o 586099
8.46/6.83	o 587681
8.46/6.83	o 588140
8.46/6.83	o 588292
8.46/6.84	o 588640
8.46/6.84	o 588792
8.46/6.85	o 590246
8.46/6.85	o 590705
8.46/6.85	o 590857
8.46/6.85	o 591205
8.46/6.85	o 591357
8.96/7.35	o 591531
8.96/7.35	o 591894
8.96/7.35	o 592641
8.96/7.35	o 593857
8.96/7.35	o 594604
8.96/7.35	o 596398
8.96/7.35	o 597145
8.96/7.37	o 597786
8.96/7.37	o 598533
8.96/7.39	o 598614
8.96/7.39	o 599361
8.96/7.39	o 600097
8.96/7.40	o 600844
8.96/7.40	o 603118
8.96/7.40	o 603865
9.06/7.42	o 604506
9.06/7.42	o 605253
9.96/8.34	o 607088
9.96/8.34	o 607547
9.96/8.34	o 607660
9.96/8.34	o 608780
9.96/8.34	o 609479
9.96/8.34	o 612500
9.96/8.34	o 612959
9.96/8.34	o 613072
9.96/8.35	o 613515
9.96/8.35	o 616536
9.96/8.35	o 616995
9.96/8.35	o 617108
9.96/8.35	o 617495
9.96/8.35	o 617608
9.96/8.36	o 619542
9.96/8.36	o 620001
9.96/8.36	o 620114
9.96/8.36	o 620159
9.96/8.36	o 620272
9.96/8.36	o 621539
9.96/8.36	o 621998
9.96/8.36	o 622111
9.96/8.36	o 622249
9.96/8.36	o 625270
9.96/8.36	o 625969
9.96/8.36	o 628990
9.96/8.36	o 629449
9.96/8.36	o 629562
9.96/8.37	o 629949
9.96/8.37	o 630062
9.96/8.38	o 633026
9.96/8.38	o 633485
9.96/8.38	o 633598
9.96/8.38	o 633985
9.96/8.38	o 634098
9.96/8.39	o 634549
9.96/8.39	o 634662
9.96/8.39	o 635049
9.96/8.39	o 635162
10.06/8.41	o 637556
10.06/8.41	o 638015
10.06/8.41	o 638128
10.06/8.41	o 638173
10.06/8.41	o 638286
10.06/8.41	o 639553
10.06/8.41	o 640012
10.06/8.41	o 640125
10.06/8.41	o 640263
10.06/8.41	o 643284
10.06/8.41	o 643983
10.06/8.41	o 647004
10.06/8.41	o 647463
10.06/8.41	o 647576
10.06/8.42	o 647963
10.06/8.42	o 648076
10.06/8.42	o 648527
10.06/8.42	o 648640
10.06/8.43	o 649027
10.06/8.43	o 649140
10.06/8.43	o 651040
10.06/8.43	o 651499
10.06/8.43	o 651612
10.06/8.44	o 652104
10.06/8.44	o 652563
10.06/8.44	o 652676
10.06/8.45	o 653063
10.06/8.45	o 653176
11.06/9.41	o 653240
11.06/9.41	o 653699
11.06/9.41	o 654045
11.06/9.41	o 654686
11.06/9.41	o 655433
11.06/9.41	o 655892
11.06/9.42	o 655947
11.06/9.42	o 656694
11.06/9.42	o 657153
11.06/9.44	o 657537
11.06/9.45	o 657592
11.06/9.45	o 658339
11.06/9.45	o 658798
11.06/9.45	o 659366
11.06/9.45	o 659825
11.06/9.45	o 659880
11.06/9.45	o 660627
11.06/9.45	o 661086
11.06/9.46	o 661710
11.06/9.46	o 662457
11.06/9.46	o 662916
11.06/9.46	o 662971
11.06/9.46	o 663718
11.06/9.46	o 664177
11.56/9.97	o 665103
11.56/9.97	o 666295
11.56/9.97	o 667296
11.56/9.99	o 667409
11.67/10.03	o 668717
11.67/10.03	o 673221
11.67/10.03	o 674222
11.67/10.04	o 674335
12.19/10.55	o 674753
12.19/10.55	o 675500
12.19/10.55	o 676141
12.19/10.55	o 676888
12.19/10.55	o 677052
12.19/10.55	o 677799
12.19/10.55	o 678258
12.19/10.56	o 678819
12.19/10.56	o 678983
12.19/10.56	o 679730
12.19/10.56	o 680189
12.74/11.01	o 680398
12.74/11.01	o 680562
12.74/11.01	o 681309
12.74/11.01	o 681768
12.74/11.05	o 682298
12.74/11.05	o 682757
12.74/11.05	o 683386
12.74/11.05	o 683550
12.74/11.05	o 684297
12.74/11.05	o 684756
12.74/11.05	o 686675
12.74/11.05	o 687422
12.74/11.05	o 687586
12.74/11.05	o 688333
12.74/11.05	o 688792
12.84/11.12	o 689174
12.84/11.12	o 689633
13.23/11.57	o 690326
13.23/11.57	o 690439
13.23/11.58	o 691250
13.23/11.58	o 692251
13.23/11.58	o 693443
13.23/11.58	o 694444
13.23/11.58	o 694557
13.23/11.58	o 694704
13.23/11.58	o 695705
13.23/11.58	o 695818
13.23/11.59	o 696082
13.23/11.59	o 697083
13.23/11.59	o 697196
13.23/11.59	o 697343
13.23/11.59	o 698344
13.23/11.59	o 698457
13.33/11.60	o 699268
13.33/11.60	o 700269
13.33/11.60	o 701461
13.33/11.60	o 702462
13.33/11.60	o 702575
13.33/11.60	o 702722
13.33/11.60	o 703723
13.33/11.60	o 703836
13.33/11.61	o 704026
13.33/11.61	o 705027
13.33/11.61	o 705140
13.33/11.61	o 705287
13.33/11.61	o 706288
13.33/11.61	o 706401
13.33/11.63	o 707352
13.33/11.63	o 707465
13.33/11.63	o 708340
13.33/11.63	o 708453
13.33/11.64	o 709264
13.33/11.64	o 710265
13.33/11.64	o 711457
13.33/11.64	o 712458
13.33/11.64	o 712571
13.33/11.64	o 712718
13.33/11.64	o 713719
13.33/11.64	o 713832
13.33/11.65	o 714096
13.33/11.65	o 715097
13.33/11.65	o 715210
13.33/11.65	o 715357
13.33/11.65	o 716358
13.33/11.65	o 716471
13.33/11.66	o 717282
13.33/11.66	o 718283
13.33/11.66	o 719475
13.33/11.66	o 720476
13.33/11.66	o 720589
13.33/11.66	o 720736
13.33/11.66	o 721737
13.33/11.66	o 721850
13.74/12.07	o 721891
13.74/12.07	o 722350
13.74/12.07	o 722373
13.74/12.07	o 723014
13.74/12.07	o 723761
13.74/12.07	o 723925
13.74/12.07	o 724672
13.74/12.07	o 725131
13.74/12.08	o 725207
13.74/12.08	o 725954
13.74/12.08	o 726118
13.74/12.08	o 726865
13.74/12.08	o 727324
13.74/12.08	o 727379
13.74/12.08	o 728126
13.74/12.08	o 728585
13.74/12.08	o 728626
13.74/12.08	o 729085
13.74/12.08	o 729430
13.74/12.08	o 729889
13.74/12.08	o 729944
13.74/12.08	o 730691
13.74/12.08	o 731150
13.74/12.09	o 731191
13.74/12.09	o 731650
13.74/12.09	o 731755
13.74/12.09	o 732214
13.74/12.09	o 732255
13.74/12.09	o 732714
13.74/12.09	o 733143
13.74/12.10	o 733184
13.74/12.10	o 733643
13.74/12.10	o 733988
13.74/12.10	o 734447
13.74/12.10	o 734502
13.74/12.10	o 735249
13.74/12.10	o 735708
13.74/12.10	o 735749
13.74/12.10	o 736208
13.84/12.11	o 736313
13.84/12.11	o 736772
13.84/12.11	o 736813
13.84/12.11	o 737272
13.84/12.11	o 737714
13.84/12.12	o 737755
13.84/12.12	o 738214
13.84/12.12	o 738444
13.84/12.12	o 738873
13.84/12.13	o 738914
13.84/12.13	o 739373
13.84/12.13	o 739718
13.84/12.13	o 740177
13.84/12.13	o 740232
13.84/12.13	o 740979
13.84/12.13	o 741438
13.84/12.13	o 741479
13.84/12.13	o 741938
13.84/12.13	o 742043
13.84/12.13	o 742502
13.84/12.13	o 742543
13.84/12.13	o 743002
13.84/12.14	o 743444
13.84/12.14	o 743485
13.84/12.14	o 743944
13.84/12.14	o 744244
13.84/12.14	o 744703
13.84/12.14	o 744758
13.84/12.15	o 745505
13.84/12.15	o 745964
13.84/12.15	o 746005
13.84/12.15	o 746464
13.84/12.15	o 746569
13.84/12.15	o 747028
13.84/12.15	o 747069
13.84/12.15	o 747528
13.84/12.15	o 747970
13.84/12.15	o 748011
13.84/12.15	o 748470
13.84/12.16	o 748491
13.84/12.16	o 748532
13.84/12.16	o 748991
13.84/12.16	o 749096
13.84/12.16	o 749555
13.84/12.16	o 749596
13.84/12.16	o 750055
13.84/12.16	o 750497
13.84/12.16	o 750538
13.84/12.16	o 750997
13.84/12.17	o 751285
13.84/12.17	o 751326
13.84/12.17	o 751785
13.84/12.17	o 751890
13.84/12.17	o 752349
13.84/12.17	o 752390
13.84/12.17	o 752849
13.84/12.18	o 753291
16.33/14.63	o 755489
16.33/14.63	o 755989
16.33/14.63	o 756553
16.33/14.63	o 757053
16.33/14.63	o 757495
16.33/14.63	o 757995
16.33/14.63	o 761219
16.33/14.63	o 761719
16.33/14.63	o 762283
16.33/14.63	o 762783
16.33/14.63	o 763225
16.33/14.63	o 763725
16.33/14.64	o 763908
16.33/14.64	o 764408
16.33/14.66	o 767202
16.33/14.66	o 767702
16.33/14.66	o 768266
16.33/14.66	o 768766
16.33/14.66	o 769208
16.33/14.66	o 769708
16.33/14.67	o 769891
16.33/14.67	o 770391
16.33/14.68	o 770793
16.33/14.68	o 771293
16.33/14.68	o 771735
16.33/14.68	o 772235
16.33/14.70	o 772418
16.33/14.70	o 772918
16.43/14.71	o 773072
16.43/14.71	o 773572
16.43/14.72	o 773755
16.43/14.72	o 774255
16.43/14.73	o 774657
16.43/14.73	o 775157
16.43/14.73	o 775599
16.43/14.73	o 776099
16.43/14.74	o 776282
16.43/14.74	o 776782
16.43/14.75	o 777049
16.43/14.75	o 777549
16.43/14.75	o 778113
16.43/14.75	o 778613
16.43/14.75	o 779055
16.43/14.75	o 779555
16.43/14.76	o 779738
16.43/14.76	o 780238
17.44/15.70	o 780651
17.44/15.70	o 780764
17.44/15.70	o 781001
17.44/15.70	o 781165
17.44/15.70	o 781912
17.44/15.70	o 782025
17.44/15.70	o 782158
17.44/15.70	o 782905
17.44/15.70	o 783069
17.44/15.71	o 783816
17.44/15.71	o 783929
17.44/15.71	o 784166
17.44/15.71	o 784330
17.44/15.71	o 785077
17.44/15.71	o 785190
17.44/15.71	o 785470
17.44/15.71	o 785634
17.44/15.71	o 786381
17.44/15.71	o 786494
17.44/15.71	o 786731
17.44/15.71	o 786895
17.44/15.71	o 787642
17.44/15.71	o 787755
17.44/15.72	o 787895
17.44/15.72	o 788008
17.44/15.72	o 788141
17.44/15.72	o 788888
17.44/15.72	o 789052
17.44/15.72	o 789799
17.44/15.72	o 789912
17.44/15.72	o 790149
17.44/15.72	o 790313
17.44/15.72	o 791060
17.44/15.72	o 791173
17.44/15.72	o 791453
17.44/15.72	o 791617
17.44/15.72	o 792364
17.44/15.72	o 792477
17.44/15.72	o 792714
17.44/15.72	o 792878
17.44/15.72	o 793625
17.44/15.72	o 793738
17.44/15.73	o 793776
17.44/15.73	o 794013
17.44/15.73	o 794177
17.44/15.73	o 794924
17.44/15.73	o 795037
17.44/15.73	o 795317
17.44/15.73	o 795481
17.44/15.73	o 796228
17.44/15.73	o 796341
17.44/15.73	o 796578
17.44/15.73	o 796742
17.44/15.73	o 797489
17.44/15.73	o 797602
17.44/15.74	o 797742
17.44/15.74	o 797855
17.44/15.74	o 797988
17.44/15.74	o 798735
17.44/15.74	o 798899
17.44/15.74	o 799646
17.44/15.74	o 799759
17.44/15.74	o 799996
17.44/15.74	o 800160
17.44/15.74	o 800907
17.44/15.74	o 801020
17.44/15.75	o 801300
17.44/15.75	o 801464
17.44/15.75	o 802211
17.44/15.75	o 802324
17.44/15.75	o 802561
17.44/15.75	o 802725
17.44/15.75	o 803472
17.44/15.75	o 803585
17.44/15.76	o 803862
17.44/15.76	o 803975
17.44/15.76	o 804212
17.44/15.76	o 804376
17.44/15.76	o 805123
17.44/15.76	o 805236
17.44/15.76	o 805376
17.44/15.77	o 805489
17.44/15.77	o 805622
17.44/15.77	o 806369
17.44/15.77	o 806533
17.44/15.77	o 807280
17.44/15.77	o 807393
17.44/15.77	o 807630
17.44/15.77	o 807794
17.44/15.77	o 808541
17.44/15.77	o 808654
17.44/15.77	o 808934
17.44/15.77	o 809098
17.44/15.77	o 809845
17.44/15.77	o 809958
17.44/15.77	o 810195
17.44/15.77	o 810359
17.44/15.77	o 811106
17.44/15.77	o 811219
17.44/15.78	o 811936
17.44/15.78	o 812049
17.44/15.78	o 812286
17.44/15.78	o 812450
17.44/15.78	o 813197
17.44/15.78	o 813310
17.54/15.81	o 813411
17.54/15.81	o 813648
17.54/15.81	o 813812
17.54/15.81	o 814559
17.54/15.81	o 814672
17.54/15.82	o 814805
17.54/15.82	o 815552
17.54/15.82	o 815716
17.54/15.82	o 816463
17.54/15.82	o 816576
17.54/15.82	o 816813
17.54/15.82	o 816977
17.54/15.82	o 817724
17.54/15.82	o 817837
17.54/15.82	o 818117
17.54/15.82	o 818281
17.54/15.82	o 819028
17.54/15.82	o 819141
17.54/15.82	o 819378
17.54/15.82	o 819542
17.54/15.82	o 820289
17.54/15.82	o 820402
17.54/15.83	o 821119
17.54/15.83	o 821232
17.54/15.83	o 821469
17.54/15.83	o 821633
17.54/15.83	o 822380
17.54/15.83	o 822493
19.54/17.83	o 822849
19.54/17.83	o 824110
19.54/17.83	o 824610
19.54/17.83	o 824951
19.54/17.83	o 825451
20.45/18.75	o 825490
20.45/18.76	o 825977
20.45/18.76	o 827365
20.45/18.76	o 827517
20.45/18.76	o 827865
20.45/18.76	o 828017
20.45/18.76	o 828068
20.45/18.76	o 829456
20.45/18.76	o 829608
20.45/18.76	o 829956
20.45/18.76	o 830108
20.45/18.77	o 830203
20.45/18.77	o 831591
20.45/18.77	o 831743
20.45/18.77	o 832091
20.45/18.77	o 832243
20.45/18.77	o 832294
20.45/18.77	o 833682
20.45/18.77	o 833834
20.45/18.77	o 834182
20.45/18.77	o 834334
20.45/18.77	o 834341
20.45/18.78	o 834363
20.45/18.78	o 834666
20.45/18.78	o 836054
20.45/18.78	o 836206
20.45/18.78	o 836859
20.45/18.78	o 838247
20.45/18.78	o 838399
20.45/18.78	o 838747
20.45/18.78	o 838899
20.45/18.78	o 839386
20.45/18.78	o 840774
20.45/18.78	o 840926
20.45/18.78	o 841274
20.45/18.78	o 841426
20.45/18.79	o 841477
20.45/18.79	o 842865
20.45/18.79	o 843017
20.45/18.79	o 843365
20.45/18.79	o 843517
20.45/18.79	o 844369
20.45/18.79	o 844521
20.45/18.79	o 844869
20.45/18.79	o 845021
20.45/18.79	o 845157
20.55/18.80	o 846460
20.55/18.80	o 846612
20.55/18.80	o 846960
20.55/18.80	o 847112
20.55/18.80	o 847248
20.55/18.81	o 848156
20.55/18.81	o 848308
20.55/18.81	o 848656
20.55/18.81	o 848808
20.55/18.81	o 848944
20.55/18.82	o 849217
20.55/18.82	o 849369
20.55/18.82	o 849420
20.55/18.82	o 850808
20.55/18.82	o 850960
20.55/18.82	o 851308
20.55/18.82	o 851460
20.55/18.83	o 851555
20.55/18.83	o 852943
20.55/18.83	o 853095
20.55/18.83	o 853443
20.55/18.83	o 853595
20.55/18.83	o 853646
20.55/18.83	o 855034
20.55/18.83	o 855186
20.55/18.83	o 855534
20.55/18.83	o 855686
20.55/18.84	o 855693
20.55/18.84	o 855715
20.55/18.84	o 856018
20.55/18.84	o 857406
20.55/18.84	o 857558
20.55/18.84	o 858211
20.55/18.84	o 859599
20.55/18.84	o 859751
20.55/18.84	o 860099
20.55/18.84	o 860251
20.55/18.84	o 860738
20.55/18.84	o 862126
20.55/18.85	o 862278
20.55/18.85	o 862626
20.55/18.85	o 862778
20.55/18.85	o 862829
20.55/18.85	o 864217
20.55/18.85	o 864369
20.55/18.85	o 864717
20.55/18.85	o 864869
20.55/18.86	o 865721
20.55/18.86	o 865873
20.55/18.86	o 866221
20.55/18.86	o 866373
20.55/18.86	o 866509
20.55/18.86	o 867812
20.55/18.86	o 867964
20.55/18.86	o 868312
20.55/18.86	o 868464
20.55/18.86	o 868600
23.45/21.78	o 868863
23.45/21.78	o 869610
23.45/21.78	o 869774
23.45/21.78	o 870521
23.45/21.78	o 870673
23.45/21.78	o 871428
23.45/21.78	o 872175
23.45/21.79	o 872339
23.45/21.79	o 873086
23.45/21.79	o 873238
23.45/21.79	o 873339
23.45/21.79	o 873491
23.55/21.80	o 874846
23.55/21.80	o 875593
23.55/21.80	o 875757
23.55/21.80	o 876504
23.55/21.80	o 876656
23.55/21.80	o 877411
23.55/21.80	o 878158
23.55/21.80	o 878322
23.55/21.80	o 879069
23.55/21.80	o 879221
23.55/21.82	o 879226
23.55/21.82	o 879973
23.55/21.82	o 880125
23.55/21.84	o 880765
23.55/21.84	o 880917
24.05/22.32	o 881029
24.05/22.32	o 881870
24.05/22.32	o 882006
24.05/22.32	o 882812
24.05/22.32	o 882948
24.05/22.32	o 883283
24.05/22.32	o 884194
24.05/22.32	o 884587
24.05/22.32	o 885498
24.05/22.32	o 885848
24.05/22.32	o 886759
24.05/22.32	o 887600
24.05/22.32	o 887736
24.05/22.32	o 888542
24.05/22.32	o 888678
24.05/22.34	o 888850
24.05/22.34	o 889691
24.05/22.35	o 889827
24.05/22.35	o 890633
24.05/22.35	o 890769
24.05/22.36	o 891374
24.05/22.36	o 891510
24.05/22.37	o 891845
24.05/22.37	o 892756
24.05/22.37	o 893149
24.05/22.37	o 894060
24.05/22.37	o 894410
24.05/22.37	o 895321
24.05/22.37	o 896162
24.05/22.37	o 896298
24.05/22.37	o 897104
24.05/22.37	o 897240
29.27/27.54	o 897720
29.27/27.54	o 897739
29.27/27.54	o 898486
29.27/27.54	o 898836
29.27/27.54	o 899000
29.27/27.54	o 899747
29.27/27.54	o 900247
29.27/27.55	o 900689
29.27/27.55	o 901189
29.27/27.57	o 901296
29.27/27.57	o 901796
29.27/27.57	o 902238
29.27/27.57	o 902738
29.27/27.59	o 903296
29.27/27.59	o 903796
29.27/27.59	o 904238
29.27/27.59	o 904738
29.27/27.59	o 905142
29.27/27.60	o 905492
29.27/27.60	o 905656
29.27/27.60	o 906403
29.27/27.60	o 906903
29.37/27.60	o 907345
29.37/27.60	o 907845
29.37/27.60	o 908019
29.37/27.60	o 908183
29.37/27.60	o 908930
29.37/27.60	o 909430
29.37/27.60	o 909872
29.37/27.60	o 910372
35.60/33.85	o 910743
35.60/33.86	o 910879
36.60/34.84	o 910885
36.60/34.84	o 911129
36.60/34.84	o 911629
36.60/34.84	o 911970
36.60/34.85	o 912470
36.60/34.85	o 912571
36.60/34.85	o 912912
36.60/34.85	o 913412
39.10/37.38	o 913895
39.10/37.38	o 914047
39.10/37.38	o 914395
39.10/37.38	o 914547
39.10/37.38	o 915199
39.10/37.38	o 915351
39.10/37.38	o 915713
39.10/37.38	o 916460
39.10/37.38	o 916612
39.10/37.38	o 916960
39.10/37.38	o 917112
39.10/37.38	o 917301
39.10/37.38	o 917453
39.10/37.39	o 917801
39.10/37.39	o 917953
39.10/37.39	o 918240
39.10/37.39	o 918987
39.10/37.39	o 919139
39.10/37.39	o 919487
39.10/37.39	o 919639
39.10/37.39	o 919828
39.10/37.39	o 919980
39.10/37.39	o 920328
39.10/37.39	o 920480
39.10/37.39	o 920575
39.10/37.39	o 920923
39.10/37.39	o 921075
39.10/37.39	o 921264
39.10/37.39	o 921416
39.10/37.39	o 921764
39.10/37.39	o 921916
39.10/37.39	o 922052
39.10/37.39	o 922400
39.10/37.39	o 922552
39.10/37.39	o 922741
39.10/37.39	o 922893
39.10/37.39	o 923241
39.10/37.39	o 923393
39.10/37.39	o 923893
39.10/37.39	o 924045
39.10/37.39	o 924393
39.10/37.39	o 924545
39.10/37.40	o 925197
39.10/37.40	o 925349
39.10/37.40	o 925711
39.10/37.40	o 926458
39.20/37.40	o 926610
39.20/37.40	o 926958
39.20/37.40	o 927110
39.20/37.40	o 927299
39.20/37.40	o 927451
39.20/37.40	o 927799
39.20/37.40	o 927951
39.20/37.40	o 928238
39.20/37.40	o 928985
39.20/37.40	o 929137
39.20/37.40	o 929485
39.20/37.40	o 929637
39.20/37.40	o 929826
39.20/37.40	o 929978
39.20/37.40	o 930326
39.20/37.40	o 930478
39.20/37.40	o 930996
39.20/37.40	o 931148
39.20/37.40	o 931510
39.20/37.40	o 932257
39.20/37.40	o 932409
39.20/37.40	o 932757
39.20/37.40	o 932909
39.20/37.41	o 933098
39.20/37.41	o 933250
39.20/37.41	o 933598
39.20/37.41	o 933750
39.20/37.41	o 934037
39.20/37.41	o 934784
39.20/37.41	o 934936
39.20/37.41	o 935284
39.20/37.41	o 935436
39.20/37.41	o 935625
39.20/37.41	o 935777
39.20/37.41	o 936125
39.20/37.41	o 936277
39.20/37.41	o 936340
39.20/37.41	o 936529
39.20/37.41	o 936681
39.20/37.41	o 937029
39.20/37.41	o 937181
39.20/37.41	o 937839
39.20/37.41	o 937991
39.20/37.41	o 938339
39.20/37.42	o 938491
39.20/37.42	o 938680
39.20/37.42	o 938832
39.20/37.42	o 939180
39.20/37.42	o 939332
39.20/37.42	o 939395
39.20/37.42	o 939584
39.20/37.42	o 939736
39.20/37.42	o 940084
39.20/37.42	o 940236
39.20/37.42	o 940339
39.20/37.42	o 940491
39.20/37.42	o 940839
39.20/37.42	o 940991
39.20/37.42	o 941180
39.20/37.42	o 941332
39.20/37.42	o 941680
39.20/37.42	o 941832
39.20/37.42	o 941927
39.20/37.42	o 942275
39.20/37.42	o 942427
39.20/37.42	o 942616
39.20/37.42	o 942768
39.20/37.42	o 943116
39.20/37.42	o 943268
39.20/37.43	o 943404
39.20/37.43	o 943752
39.20/37.43	o 943904
39.20/37.43	o 944093
39.20/37.43	o 944245
39.20/37.43	o 944593
39.20/37.43	o 944745
39.20/37.43	o 945245
39.20/37.43	o 945397
39.20/37.43	o 945745
39.20/37.43	o 945897
39.20/37.43	o 946549
39.20/37.43	o 946701
39.20/37.43	o 947063
39.20/37.43	o 947810
39.20/37.43	o 947962
39.20/37.43	o 948310
39.20/37.43	o 948462
39.20/37.43	o 948651
39.20/37.43	o 948803
39.20/37.43	o 949151
39.20/37.43	o 949303
39.20/37.43	o 949590
39.20/37.43	o 950337
39.20/37.43	o 950489
39.20/37.43	o 950837
39.20/37.43	o 950989
39.20/37.43	o 951178
39.20/37.43	o 951330
39.20/37.43	o 951678
39.20/37.43	o 951830
39.20/37.44	o 952348
39.20/37.44	o 952500
39.20/37.44	o 952862
39.20/37.44	o 953609
39.20/37.44	o 953761
39.20/37.44	o 954109
39.20/37.44	o 954261
39.20/37.44	o 954450
39.20/37.44	o 954602
39.20/37.44	o 954950
39.20/37.44	o 955102
39.20/37.44	o 955389
39.20/37.44	o 956136
39.20/37.44	o 956288
39.20/37.44	o 956636
39.20/37.44	o 956788
39.20/37.44	o 956977
39.20/37.44	o 957129
39.20/37.44	o 957477
39.20/37.44	o 957629
39.20/37.44	o 957692
39.20/37.44	o 957881
39.20/37.44	o 958033
39.20/37.44	o 958381
39.20/37.45	o 958533
39.20/37.45	o 959191
39.20/37.45	o 959343
39.20/37.45	o 959691
39.20/37.45	o 959843
39.20/37.45	o 960032
39.20/37.45	o 960184
39.20/37.45	o 960532
39.20/37.45	o 960684
39.20/37.45	o 960747
39.20/37.45	o 960936
39.20/37.45	o 961088
39.20/37.45	o 961436
39.20/37.45	o 961588
39.20/37.45	o 961886
39.20/37.45	o 962038
39.20/37.46	o 962386
39.20/37.46	o 962538
39.20/37.46	o 962727
39.20/37.46	o 962879
39.20/37.46	o 963227
39.20/37.46	o 963379
39.20/37.46	o 963442
39.20/37.46	o 963631
39.20/37.46	o 963783
39.20/37.46	o 964131
39.20/37.46	o 964283
39.20/37.46	o 964941
39.20/37.46	o 965093
39.20/37.46	o 965441
39.20/37.46	o 965593
39.20/37.46	o 965782
39.20/37.46	o 965934
39.20/37.46	o 966282
39.20/37.46	o 966434
39.20/37.46	o 966497
39.20/37.46	o 966686
39.20/37.46	o 966838
39.20/37.46	o 967186
39.20/37.46	o 967338
39.20/37.47	o 967379
39.20/37.47	o 967531
39.20/37.47	o 967667
39.20/37.47	o 968015
39.20/37.47	o 968167
39.20/37.47	o 968356
39.20/37.47	o 968508
39.20/37.47	o 968856
39.20/37.47	o 969008
39.20/37.48	o 969508
39.20/37.48	o 969660
39.20/37.48	o 970008
39.20/37.48	o 970160
39.20/37.48	o 970812
39.20/37.48	o 970964
39.20/37.48	o 971326
39.20/37.48	o 972073
39.20/37.48	o 972225
39.20/37.48	o 972573
39.20/37.48	o 972725
39.20/37.48	o 972914
39.20/37.48	o 973066
39.20/37.48	o 973414
39.20/37.48	o 973566
39.20/37.48	o 973853
39.20/37.48	o 974600
39.20/37.48	o 974752
39.20/37.48	o 975100
39.20/37.48	o 975252
39.20/37.48	o 975441
39.20/37.48	o 975593
39.20/37.48	o 975941
39.20/37.48	o 976093
39.20/37.48	o 976611
39.20/37.48	o 976763
39.20/37.48	o 977125
39.20/37.48	o 977872
39.20/37.49	o 978024
39.20/37.49	o 978372
39.20/37.49	o 978524
39.20/37.49	o 978713
39.20/37.49	o 978865
39.20/37.49	o 979213
39.20/37.49	o 979365
39.20/37.49	o 979652
39.20/37.49	o 980399
39.20/37.49	o 980551
39.20/37.49	o 980899
39.20/37.49	o 981051
39.20/37.49	o 981240
39.20/37.49	o 981392
39.20/37.49	o 981740
39.20/37.49	o 981892
39.20/37.49	o 981955
39.20/37.49	o 982144
39.20/37.49	o 982296
39.20/37.49	o 982644
39.20/37.49	o 982796
39.20/37.49	o 983454
39.20/37.50	o 983606
39.20/37.50	o 983954
39.20/37.50	o 984106
39.20/37.50	o 984295
39.20/37.50	o 984447
39.30/37.50	o 984795
39.30/37.50	o 984947
39.30/37.50	o 985010
39.30/37.50	o 985199
39.30/37.50	o 985351
39.30/37.50	o 985699
39.30/37.50	o 985851
39.30/37.50	o 986149
39.30/37.50	o 986301
39.30/37.50	o 986649
39.30/37.50	o 986801
39.30/37.50	o 986990
39.30/37.50	o 987142
39.30/37.50	o 987490
39.30/37.50	o 987642
39.30/37.51	o 987705
39.30/37.51	o 987894
39.30/37.51	o 988046
39.30/37.51	o 988394
39.30/37.51	o 988546
39.30/37.51	o 989204
39.30/37.51	o 989356
39.30/37.51	o 989704
39.30/37.51	o 989856
39.30/37.51	o 990045
39.30/37.51	o 990197
39.30/37.51	o 990545
39.30/37.51	o 990697
39.30/37.51	o 990760
39.30/37.51	o 990949
39.30/37.51	o 991101
39.30/37.51	o 991449
39.30/37.51	o 991601
39.30/37.52	o 991798
39.30/37.52	o 991950
39.30/37.52	o 992139
39.30/37.52	o 992291
39.30/37.52	o 992639
39.30/37.52	o 992791
39.30/37.52	o 992854
39.30/37.52	o 993043
39.30/37.52	o 993195
39.30/37.52	o 993543
39.30/37.52	o 993695
39.30/37.53	o 993993
39.30/37.53	o 994145
39.30/37.53	o 994493
39.30/37.53	o 994645
39.30/37.53	o 994834
39.30/37.53	o 994986
39.30/37.53	o 995334
39.30/37.53	o 995486
39.30/37.53	o 995549
39.30/37.53	o 995738
39.30/37.53	o 995890
39.30/37.53	o 996238
39.30/37.53	o 996390
39.30/37.53	o 997048
39.30/37.53	o 997200
39.30/37.53	o 997548
39.30/37.53	o 997700
39.30/37.53	o 997889
39.30/37.53	o 998041
39.30/37.53	o 998389
39.30/37.53	o 998541
39.30/37.53	o 998604
39.30/37.53	o 998793
39.30/37.54	o 998945
39.30/37.54	o 999293
39.30/37.54	o 999445
39.30/37.57	o 999762
39.30/37.57	o 999914
39.30/37.58	o 1000111
39.30/37.58	o 1000263
39.30/37.58	o 1000452
39.30/37.58	o 1000604
39.30/37.58	o 1000952
39.30/37.58	o 1001104
39.30/37.58	o 1001167
39.30/37.58	o 1001356
39.30/37.58	o 1001508
39.30/37.58	o 1001856
39.30/37.58	o 1002008
39.30/37.58	o 1002306
39.30/37.58	o 1002458
39.30/37.58	o 1002806
39.30/37.58	o 1002958
39.30/37.58	o 1003147
39.30/37.58	o 1003299
39.30/37.58	o 1003647
39.30/37.58	o 1003799
39.30/37.58	o 1003862
39.30/37.58	o 1004051
39.30/37.58	o 1004203
39.30/37.59	o 1004551
39.30/37.59	o 1004703
39.30/37.59	o 1005361
39.30/37.59	o 1005513
39.30/37.59	o 1005861
39.30/37.59	o 1006013
39.30/37.59	o 1006202
39.30/37.59	o 1006354
39.30/37.59	o 1006702
39.30/37.59	o 1006854
39.30/37.59	o 1006917
39.30/37.59	o 1007106
39.30/37.59	o 1007258
39.30/37.59	o 1007606
39.30/37.59	o 1007758
39.40/37.64	o 1008053
39.40/37.64	o 1008205
41.44/39.63	o 1008647
41.44/39.63	o 1009394
41.44/39.63	o 1009488
41.44/39.63	o 1010235
41.44/39.66	o 1010371
43.36/41.60	o 1010506
43.46/41.60	o 1010854
43.46/41.60	o 1010967
43.46/41.60	o 1011006
48.47/46.67	o 1011062
48.47/46.67	o 1011809
48.47/46.67	o 1011961
48.47/46.67	o 1012309
48.47/46.67	o 1012461
48.47/46.67	o 1012597
48.47/46.68	o 1012713
48.47/46.68	o 1012865
48.47/46.68	o 1013213
48.47/46.68	o 1013365
48.47/46.68	o 1013501
51.47/49.63	o 1013960
52.88/51.06	o 1014550
52.88/51.06	o 1014686
52.88/51.06	o 1017642
52.88/51.06	o 1018903
52.88/51.06	o 1019039
52.88/51.06	o 1020169
52.88/51.06	o 1021430
52.88/51.06	o 1021566
52.88/51.06	o 1022334
52.88/51.06	o 1022470
52.88/51.06	o 1023596
52.88/51.06	o 1023732
52.88/51.06	o 1024500
52.88/51.06	o 1024636
52.88/51.06	o 1024946
52.88/51.06	o 1025082
52.88/51.06	o 1025850
52.88/51.06	o 1025986
52.88/51.06	o 1027112
52.88/51.06	o 1027248
52.88/51.06	o 1028016
52.88/51.07	o 1028152
52.88/51.07	o 1028463
52.88/51.07	o 1028599
52.88/51.07	o 1029272
52.88/51.07	o 1030533
52.88/51.07	o 1030669
52.88/51.07	o 1031437
52.88/51.07	o 1031573
52.88/51.07	o 1032699
52.88/51.07	o 1032835
52.88/51.07	o 1033603
52.88/51.07	o 1033739
52.88/51.07	o 1034049
52.88/51.07	o 1034185
52.88/51.07	o 1034953
52.88/51.07	o 1035089
52.88/51.07	o 1036215
52.88/51.07	o 1036351
52.88/51.07	o 1037119
52.88/51.07	o 1037255
52.88/51.07	o 1037566
52.88/51.07	o 1037702
52.88/51.08	o 1037887
52.88/51.08	o 1038023
52.88/51.08	o 1039149
52.88/51.08	o 1039285
52.88/51.08	o 1040053
52.88/51.08	o 1040189
52.88/51.08	o 1040499
52.88/51.08	o 1040635
52.88/51.08	o 1041403
52.88/51.08	o 1041539
52.88/51.08	o 1042665
52.88/51.08	o 1042801
52.88/51.08	o 1043569
52.88/51.08	o 1043705
52.88/51.08	o 1044016
52.88/51.08	o 1044152
52.88/51.08	o 1044956
52.88/51.09	o 1045092
52.88/51.09	o 1045860
52.88/51.09	o 1045996
52.88/51.09	o 1046306
52.88/51.09	o 1046442
52.88/51.09	o 1047210
52.88/51.09	o 1047346
52.88/51.09	o 1048472
52.88/51.09	o 1048608
52.88/51.09	o 1049376
52.88/51.09	o 1049512
52.88/51.09	o 1049823
52.88/51.09	o 1049959
52.88/51.09	o 1050291
52.88/51.09	o 1050427
52.88/51.09	o 1050737
52.88/51.09	o 1050873
52.88/51.09	o 1051641
52.88/51.09	o 1051777
52.88/51.09	o 1052903
52.88/51.09	o 1053039
52.88/51.09	o 1053807
52.88/51.09	o 1053943
52.88/51.09	o 1054254
52.88/51.09	o 1054390
52.88/51.10	o 1055194
52.88/51.10	o 1055330
52.88/51.10	o 1056098
52.88/51.10	o 1056234
52.88/51.10	o 1056544
52.88/51.10	o 1056680
52.88/51.10	o 1057448
52.88/51.10	o 1057584
52.88/51.10	o 1058710
52.88/51.10	o 1058846
52.88/51.10	o 1059614
52.88/51.10	o 1059750
52.88/51.10	o 1060061
52.88/51.10	o 1060197
52.88/51.10	o 1060294
52.88/51.10	o 1060430
52.88/51.10	o 1060741
52.88/51.10	o 1060877
52.98/51.11	o 1061000
52.98/51.11	o 1061136
52.98/51.11	o 1062262
52.98/51.11	o 1062398
52.98/51.11	o 1063166
52.98/51.11	o 1063302
52.98/51.11	o 1063613
52.98/51.11	o 1063749
52.98/51.11	o 1063846
52.98/51.11	o 1063982
52.98/51.11	o 1064293
52.98/51.11	o 1064429
52.98/51.11	o 1065117
52.98/51.11	o 1065253
52.98/51.12	o 1065564
52.98/51.12	o 1065700
52.98/51.12	o 1065797
52.98/51.12	o 1065933
52.98/51.12	o 1066244
52.98/51.12	o 1066380
52.98/51.12	o 1067118
52.98/51.12	o 1067254
52.98/51.12	o 1068022
52.98/51.12	o 1068158
52.98/51.12	o 1068469
52.98/51.12	o 1068605
52.98/51.13	o 1068702
52.98/51.13	o 1068838
52.98/51.13	o 1069149
52.98/51.13	o 1069285
52.98/51.13	o 1069973
52.98/51.13	o 1070109
52.98/51.13	o 1070420
52.98/51.13	o 1070556
52.98/51.13	o 1070653
52.98/51.13	o 1070789
52.98/51.13	o 1071100
52.98/51.13	o 1071236
52.98/51.13	o 1072081
52.98/51.13	o 1072217
52.98/51.13	o 1072985
52.98/51.14	o 1073121
52.98/51.14	o 1073432
52.98/51.14	o 1073568
52.98/51.14	o 1074372
52.98/51.14	o 1074508
52.98/51.14	o 1075276
52.98/51.14	o 1075412
52.98/51.14	o 1075722
52.98/51.14	o 1075858
52.98/51.14	o 1076626
52.98/51.14	o 1076762
52.98/51.14	o 1077888
52.98/51.14	o 1078024
52.98/51.14	o 1078792
52.98/51.14	o 1078928
52.98/51.14	o 1079239
52.98/51.14	o 1079375
52.98/51.14	o 1079472
52.98/51.14	o 1079608
52.98/51.14	o 1079919
52.98/51.14	o 1080055
52.98/51.15	o 1080178
52.98/51.15	o 1080314
52.98/51.15	o 1081440
52.98/51.15	o 1081576
52.98/51.15	o 1082344
52.98/51.15	o 1082480
52.98/51.15	o 1082791
52.98/51.15	o 1082927
52.98/51.15	o 1083024
52.98/51.15	o 1083160
52.98/51.15	o 1083471
52.98/51.15	o 1083607
52.98/51.15	o 1084295
52.98/51.15	o 1084431
52.98/51.15	o 1084742
52.98/51.15	o 1084878
52.98/51.16	o 1084975
52.98/51.16	o 1085111
52.98/51.16	o 1085422
52.98/51.16	o 1085558
52.98/51.16	o 1086296
52.98/51.16	o 1086432
52.98/51.16	o 1087200
52.98/51.16	o 1087336
52.98/51.16	o 1087647
52.98/51.16	o 1087783
52.98/51.16	o 1087880
52.98/51.16	o 1088016
52.98/51.16	o 1088327
52.98/51.16	o 1088463
52.98/51.17	o 1089151
52.98/51.17	o 1089287
52.98/51.17	o 1089598
52.98/51.17	o 1089734
52.98/51.17	o 1089831
52.98/51.17	o 1089967
52.98/51.17	o 1090278
52.98/51.17	o 1090414
52.98/51.18	o 1090513
52.98/51.19	o 1091251
52.98/51.19	o 1091387
52.98/51.19	o 1092155
52.98/51.19	o 1092291
52.98/51.19	o 1092602
52.98/51.19	o 1092738
52.98/51.19	o 1093202
52.98/51.19	o 1093338
52.98/51.19	o 1094106
52.98/51.19	o 1094242
52.98/51.19	o 1094553
52.98/51.19	o 1094689
52.98/51.19	o 1094786
52.98/51.20	o 1094922
52.98/51.20	o 1095233
52.98/51.20	o 1095369
53.07/51.21	o 1095860
53.07/51.21	o 1095996
53.07/51.21	o 1096307
53.07/51.21	o 1096443
53.07/51.21	o 1096540
53.07/51.21	o 1096676
53.07/51.21	o 1096987
53.07/51.21	o 1097123
53.07/51.22	o 1097222
53.07/51.23	o 1097960
53.07/51.23	o 1098096
53.07/51.23	o 1098864
53.07/51.23	o 1099000
53.07/51.23	o 1099311
53.07/51.23	o 1099447
53.07/51.23	o 1099911
53.07/51.23	o 1100047
53.07/51.23	o 1100815
53.07/51.23	o 1100951
53.07/51.23	o 1101262
53.07/51.23	o 1101398
53.07/51.23	o 1101495
53.07/51.23	o 1101631
53.07/51.23	o 1101942
53.07/51.23	o 1102078
53.07/51.27	o 1102129
53.07/51.27	o 1102265
61.80/59.92	o 1102374
61.80/59.92	o 1102510
63.80/61.93	o 1102764
63.80/61.93	o 1102877
63.80/61.93	o 1103018
63.80/61.93	o 1103131
63.80/61.93	o 1103518
63.80/61.93	o 1103631
63.80/61.93	o 1103960
63.80/61.93	o 1104073
63.80/61.93	o 1104460
63.80/61.93	o 1104573
63.80/61.95	o 1104868
63.80/61.95	o 1104981
63.80/61.95	o 1105310
63.80/61.95	o 1105423
63.80/61.95	o 1105810
63.80/61.95	o 1105923
63.80/61.96	o 1106280
63.80/61.96	o 1106393
63.80/61.96	o 1106534
63.80/61.96	o 1106647
63.80/61.96	o 1107034
63.80/61.96	o 1107147
63.80/61.96	o 1107476
63.80/61.96	o 1107589
63.80/61.96	o 1107976
63.80/61.96	o 1108089
70.50/68.64	o 1108674
70.50/68.64	o 1108787
70.50/68.64	o 1108810
70.50/68.64	o 1108923
70.50/68.64	o 1109578
70.50/68.64	o 1109691
70.50/68.64	o 1109714
70.50/68.64	o 1109827
89.93/88.06	o 1109903
89.93/88.06	o 1110039
89.93/88.06	o 1110586
89.93/88.06	o 1110722
89.93/88.07	o 1110829
89.93/88.07	o 1111376
89.93/88.07	o 1111512
89.93/88.08	o 1112021
89.93/88.08	o 1113325
89.93/88.08	o 1114586
89.93/88.08	o 1114722
89.93/88.08	o 1115269
89.93/88.08	o 1115405
89.93/88.08	o 1115490
89.93/88.08	o 1115626
89.93/88.08	o 1116173
89.93/88.08	o 1116309
89.93/88.09	o 1116841
89.93/88.09	o 1118102
89.93/88.09	o 1118238
89.93/88.09	o 1118785
89.93/88.09	o 1118921
89.93/88.09	o 1119006
89.93/88.09	o 1119142
89.93/88.09	o 1119689
89.93/88.09	o 1119825
89.93/88.10	o 1119919
89.93/88.10	o 1120055
90.03/88.11	o 1120162
90.03/88.11	o 1120709
90.03/88.11	o 1120845
90.03/88.12	o 1121354
90.03/88.12	o 1122658
90.03/88.12	o 1123919
90.03/88.12	o 1124055
90.03/88.12	o 1124602
90.03/88.12	o 1124738
90.03/88.12	o 1124823
90.03/88.12	o 1124959
90.03/88.12	o 1125506
90.03/88.12	o 1125642
90.03/88.13	o 1126174
90.03/88.13	o 1127435
90.03/88.13	o 1127571
90.03/88.13	o 1128118
90.03/88.13	o 1128254
90.03/88.13	o 1128339
90.03/88.13	o 1128475
90.03/88.13	o 1129022
90.03/88.13	o 1129158
90.03/88.14	o 1129226
90.03/88.14	o 1129311
90.03/88.14	o 1129447
90.03/88.14	o 1129994
90.03/88.14	o 1130130
122.47/120.58	o 1130376
122.47/120.58	o 1130512
126.87/124.94	o 1130557
126.87/124.94	o 1130944
126.87/124.94	o 1131057
126.87/124.94	o 1131080
126.87/124.94	o 1131193
126.87/124.94	o 1131348
126.87/124.94	o 1131461
126.87/124.94	o 1131848
126.87/124.94	o 1131961
126.87/124.94	o 1131984
126.87/124.94	o 1132097
126.87/124.95	o 1132295
126.87/124.95	o 1132408
126.87/124.95	o 1132431
126.87/124.95	o 1132544
126.87/124.98	o 1132680
126.87/124.98	o 1132793
126.87/124.98	o 1133180
126.87/124.98	o 1133293
126.87/124.98	o 1133316
126.87/124.98	o 1133429
126.87/124.98	o 1133749
126.87/124.98	o 1134496
126.87/124.98	o 1134609
126.87/124.98	o 1134996
126.87/124.98	o 1135109
126.87/124.98	o 1135337
126.87/124.98	o 1135450
126.87/124.98	o 1135837
126.87/124.98	o 1135950
126.87/124.98	o 1135973
126.87/124.98	o 1136086
126.87/124.99	o 1136276
126.87/124.99	o 1137023
126.87/124.99	o 1137136
126.87/124.99	o 1137523
126.87/124.99	o 1137636
126.87/124.99	o 1137864
126.87/124.99	o 1137977
126.87/124.99	o 1138364
126.87/124.99	o 1138477
126.87/124.99	o 1138500
126.87/124.99	o 1138613
126.87/124.99	o 1138768
126.87/124.99	o 1138881
126.87/124.99	o 1139268
126.87/124.99	o 1139381
126.87/124.99	o 1139404
126.87/124.99	o 1139517
126.87/124.99	o 1139560
126.87/124.99	o 1139673
126.87/124.99	o 1140060
126.87/124.99	o 1140173
126.87/124.99	o 1140196
126.87/124.99	o 1140309
126.87/124.99	o 1140464
126.87/124.99	o 1140577
126.87/124.99	o 1140964
126.87/124.99	o 1141077
126.87/124.99	o 1141100
126.87/124.99	o 1141213
126.98/125.01	o 1141411
126.98/125.01	o 1141524
126.98/125.01	o 1141547
126.98/125.01	o 1141660
126.98/125.06	o 1141703
126.98/125.06	o 1141816
126.98/125.06	o 1142203
126.98/125.06	o 1142316
126.98/125.06	o 1142339
126.98/125.06	o 1142452
126.98/125.06	o 1142607
126.98/125.06	o 1142720
126.98/125.06	o 1143107
126.98/125.06	o 1143220
126.98/125.06	o 1143243
126.98/125.06	o 1143356
126.98/125.06	o 1143399
126.98/125.06	o 1143512
126.98/125.06	o 1143899
126.98/125.06	o 1144012
126.98/125.06	o 1144035
126.98/125.06	o 1144148
126.98/125.06	o 1144303
126.98/125.06	o 1144416
126.98/125.06	o 1144803
126.98/125.06	o 1144916
126.98/125.06	o 1144939
126.98/125.06	o 1145052
126.98/125.07	o 1145250
126.98/125.07	o 1145363
126.98/125.07	o 1145386
126.98/125.07	o 1145499
205.16/203.14	o 1145732
205.16/203.14	o 1146179
205.16/203.14	o 1146863
205.16/203.14	o 1146926
205.16/203.14	o 1147767
205.16/203.14	o 1148188
205.16/203.14	o 1149029
205.16/203.14	o 1149092
205.16/203.14	o 1149933
205.16/203.14	o 1150379
205.16/203.14	o 1150442
205.16/203.14	o 1151283
205.16/203.14	o 1151704
205.16/203.15	o 1152545
205.16/203.15	o 1152608
205.16/203.15	o 1153449
205.16/203.15	o 1153896
205.16/203.15	o 1154218
205.16/203.15	o 1154281
205.16/203.15	o 1155122
205.16/203.15	o 1155543
205.16/203.15	o 1156384
205.16/203.15	o 1156447
205.16/203.15	o 1157288
205.16/203.15	o 1157735
205.16/203.16	o 1157968
205.16/203.16	o 1158415
205.16/203.16	o 1158424
205.16/203.16	o 1159265
205.16/203.16	o 1159712
205.16/203.16	o 1159945
205.16/203.16	o 1160392
205.16/203.17	o 1160938
205.16/203.17	o 1161359
205.16/203.17	o 1162200
205.16/203.17	o 1162263
205.16/203.17	o 1163104
205.16/203.17	o 1163551
205.16/203.17	o 1163784
205.16/203.17	o 1164231
205.16/203.18	o 1164568
205.16/203.18	o 1164801
205.16/203.18	o 1165248
205.16/203.19	o 1165794
205.16/203.19	o 1166215
205.16/203.19	o 1167056
205.16/203.19	o 1167119
205.16/203.19	o 1167960
205.16/203.19	o 1168407
205.16/203.19	o 1168640
205.16/203.19	o 1169087
205.25/203.20	o 1169111
205.25/203.20	o 1169557
205.25/203.20	o 1169620
205.25/203.20	o 1170461
205.25/203.20	o 1170882
205.25/203.20	o 1171723
205.25/203.20	o 1171786
205.25/203.20	o 1172627
205.25/203.21	o 1173074
205.25/203.21	o 1173307
205.25/203.21	o 1173754
205.25/203.21	o 1174300
205.25/203.21	o 1174721
205.25/203.21	o 1175562
205.25/203.21	o 1175625
205.25/203.21	o 1176466
205.25/203.21	o 1176913
205.25/203.21	o 1177146
205.25/203.21	o 1177593
205.25/203.22	o 1177602
205.25/203.22	o 1178443
205.25/203.22	o 1178890
205.25/203.22	o 1179123
205.25/203.22	o 1179570
205.25/203.23	o 1180116
205.25/203.23	o 1180537
205.25/203.23	o 1181378
205.25/203.23	o 1181441
205.25/203.23	o 1182282
205.25/203.23	o 1182729
205.25/203.23	o 1182962
205.25/203.23	o 1183409
205.25/203.24	o 1183746
205.25/203.24	o 1183979
205.25/203.24	o 1184426
205.25/203.25	o 1184972
205.25/203.25	o 1185393
205.25/203.25	o 1186234
205.25/203.25	o 1186297
205.25/203.25	o 1187138
205.25/203.25	o 1187585
205.25/203.25	o 1187818
205.25/203.25	o 1188265
205.25/203.28	o 1188643
205.25/203.28	o 1188706
205.25/203.28	o 1189547
205.25/203.28	o 1189994
205.25/203.28	o 1190227
205.25/203.28	o 1190674
252.30/250.20	o 1191137
252.30/250.20	o 1191478
252.30/250.20	o 1191978
303.03/300.95	s SATISFIABLE
303.03/300.95	v <instantiation>
303.03/300.95	v 	<list>
303.03/300.95	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] 
303.03/300.95	v 	</list>
303.03/300.95	v 	<values>
303.03/300.95	v 		0 0 0 0 0 0 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 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
303.03/300.95	v 	</values>
303.03/300.95	v </instantiation>

Verifier Data 

OK	1191978

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 (13159 MiB free)
  memory of node 1: 16384 MiB (13598 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298530-1532811315/watcher-4298530-1532811315 -o /tmp/evaluation-result-4298530-1532811315/solver-4298530-1532811315 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532808819-31438 --watchdog 2580 java -jar HOME/bestMinicp.jar HOME/instance-4298530-1532811315.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=32022, runsolver pid=32019

[startup+0.100124 s]*
/proc/loadavg: 1.58 1.56 1.69 4/219 32037
/proc/meminfo: memFree=26907184/32770624 swapFree=67108856/67108860
[pid=32022] ppid=32019 vsize=10661052 memory=27448 CPUtime=0.13 cores=0,2,4,6
/proc/32022/stat : 32022 (java) S 32019 32022 31407 0 -1 1077944320 5273 0 0 0 12 1 0 0 20 0 15 0 98694658 10916917248 6862 33554432000 4194304 4196468 140737117665824 140737117648368 140093027978999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
/proc/32022/statm: 2665263 6862 2860 1 0 2627263 0
[pid=32022/tid=32024] ppid=32019 vsize=10661052 memory=-8269626465541067135 CPUtime=0.09 cores=0,2,4,6
/proc/32022/task/32024/stat : 32024 (java) R 32019 32022 31407 0 -1 4202560 3142 0 0 0 9 0 0 0 20 0 15 0 98694659 10916917248 6862 33554432000 4194304 4196468 140737117665824 140093032211136 140092656209200 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32025] ppid=32019 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32025/stat : 32025 (java) S 32019 32022 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694660 10916917248 6862 33554432000 4194304 4196468 140737117665824 140092980599184 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32026] ppid=32019 vsize=10661052 memory=139680725153408 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32026/stat : 32026 (java) S 32019 32022 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694660 10916917248 6862 33554432000 4194304 4196468 140737117665824 140092979546384 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32027] ppid=32019 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32027/stat : 32027 (java) S 32019 32022 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694660 10916917248 6862 33554432000 4194304 4196468 140737117665824 140092978494096 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32028] ppid=32019 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32028/stat : 32028 (java) S 32019 32022 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694660 10916917248 6862 33554432000 4194304 4196468 140737117665824 140092977441296 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32029] ppid=32019 vsize=10661052 memory=139680725153408 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32029/stat : 32029 (java) S 32019 32022 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694661 10916917248 6862 33554432000 4194304 4196468 140737117665824 140092587465328 140093027990146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32030] ppid=32019 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32030/stat : 32030 (java) S 32019 32022 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98694661 10916917248 6862 33554432000 4194304 4196468 140737117665824 140092586411296 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32031] ppid=32019 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32031/stat : 32031 (java) S 32019 32022 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98694662 10916917248 6862 33554432000 4194304 4196468 140737117665824 140092585358960 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32032] ppid=32019 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32032/stat : 32032 (java) S 32019 32022 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694664 10916917248 6862 33554432000 4194304 4196468 140737117665824 140092584307280 140093027997595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32033] ppid=32019 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32033/stat : 32033 (java) S 32019 32022 31407 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 98694664 10916917248 6862 33554432000 4194304 4196468 140737117665824 140092583254128 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32034] ppid=32019 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32034/stat : 32034 (java) S 32019 32022 31407 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 98694664 10916917248 6862 33554432000 4194304 4196468 140737117665824 140092582201328 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32035] ppid=32019 vsize=10661052 memory=139680725153408 CPUtime=0.01 cores=0,2,4,6
/proc/32022/task/32035/stat : 32035 (java) R 32019 32022 31407 0 -1 4202560 325 0 0 0 1 0 0 0 20 0 15 0 98694664 10916917248 6862 33554432000 4194304 4196468 140737117665824 140092581149040 140093006499137 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32036] ppid=32019 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32036/stat : 32036 (java) S 32019 32022 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694664 10916917248 6862 33554432000 4194304 4196468 140737117665824 140092580096480 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32037] ppid=32019 vsize=10661052 memory=139680725153408 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32037/stat : 32037 (java) S 32019 32022 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694664 10916917248 6862 33554432000 4194304 4196468 140737117665824 140092579044272 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 27448 KiB

[startup+0.21076 s]*
/proc/loadavg: 1.58 1.56 1.69 5/219 32037
/proc/meminfo: memFree=26365580/32770624 swapFree=67108856/67108860
[pid=32022] ppid=32019 vsize=10661052 memory=41012 CPUtime=0.35 cores=0,2,4,6
/proc/32022/stat : 32022 (java) S 32019 32022 31407 0 -1 1077944320 8325 0 0 0 33 2 0 0 20 0 15 0 98694658 10916917248 10253 33554432000 4194304 4196468 140737117665824 140737117648368 140093027978999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
/proc/32022/statm: 2665263 10253 2989 1 0 2627263 0
[pid=32022/tid=32024] ppid=32019 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/32022/task/32024/stat : 32024 (java) S 32019 32022 31407 0 -1 1077944384 5109 0 0 0 19 1 0 0 20 0 15 0 98694659 10916917248 10253 33554432000 4194304 4196468 140737117665824 140093032216912 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32025] ppid=32019 vsize=10661052 memory=343 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32025/stat : 32025 (java) S 32019 32022 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694660 10916917248 10253 33554432000 4194304 4196468 140737117665824 140092980599184 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32026] ppid=32019 vsize=10661052 memory=139680725182930 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32026/stat : 32026 (java) S 32019 32022 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694660 10916917248 10253 33554432000 4194304 4196468 140737117665824 140092979546384 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32027] ppid=32019 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32027/stat : 32027 (java) S 32019 32022 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694660 10916917248 10253 33554432000 4194304 4196468 140737117665824 140092978494096 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32028] ppid=32019 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32028/stat : 32028 (java) S 32019 32022 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694660 10916917248 10253 33554432000 4194304 4196468 140737117665824 140092977441296 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32029] ppid=32019 vsize=10661052 memory=139680725153408 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32029/stat : 32029 (java) S 32019 32022 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694661 10916917248 10253 33554432000 4194304 4196468 140737117665824 140092587465328 140093027990146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32030] ppid=32019 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32030/stat : 32030 (java) S 32019 32022 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98694661 10916917248 10253 33554432000 4194304 4196468 140737117665824 140092586411296 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32031] ppid=32019 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32031/stat : 32031 (java) S 32019 32022 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98694662 10916917248 10253 33554432000 4194304 4196468 140737117665824 140092585358960 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32032] ppid=32019 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32032/stat : 32032 (java) S 32019 32022 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694664 10916917248 10253 33554432000 4194304 4196468 140737117665824 140092584307280 140093027997595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32033] ppid=32019 vsize=10661052 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32022/task/32033/stat : 32033 (java) R 32019 32022 31407 0 -1 4202560 553 0 0 0 2 0 0 0 20 0 15 0 98694664 10916917248 10253 33554432000 4194304 4196468 140737117665824 140092583254128 140093028000346 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32034] ppid=32019 vsize=10661052 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32022/task/32034/stat : 32034 (java) R 32019 32022 31407 0 -1 1077944384 424 0 0 0 2 0 0 0 20 0 15 0 98694664 10916917248 10253 33554432000 4194304 4196468 140737117665824 140092582201328 140093027990146 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32035] ppid=32019 vsize=10661052 memory=139680725153408 CPUtime=0.08 cores=0,2,4,6
/proc/32022/task/32035/stat : 32035 (java) R 32019 32022 31407 0 -1 4202560 876 0 0 0 8 0 0 0 20 0 15 0 98694664 10916917248 10253 33554432000 4194304 4196468 140737117665824 140092581145976 140093006641557 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32036] ppid=32019 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32036/stat : 32036 (java) S 32019 32022 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694664 10916917248 10253 33554432000 4194304 4196468 140737117665824 140092580096480 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32037] ppid=32019 vsize=10661052 memory=139680725153408 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32037/stat : 32037 (java) R 32019 32022 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694664 10916917248 10253 33554432000 4194304 4196468 140737117665824 140092579044272 140093027990146 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 41012 KiB

[startup+0.311143 s]*
/proc/loadavg: 1.58 1.56 1.69 5/219 32037
/proc/meminfo: memFree=25894416/32770624 swapFree=67108856/67108860
[pid=32022] ppid=32019 vsize=10661128 memory=46692 CPUtime=0.6 cores=0,2,4,6
/proc/32022/stat : 32022 (java) S 32019 32022 31407 0 -1 1077944320 8853 0 0 0 57 3 0 0 20 0 15 0 98694658 10916995072 11673 33554432000 4194304 4196468 140737117665824 140737117648368 140093027978999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
/proc/32022/statm: 2665282 11673 3023 1 0 2627263 0
[pid=32022/tid=32024] ppid=32019 vsize=10661128 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/32022/task/32024/stat : 32024 (java) R 32019 32022 31407 0 -1 4202560 5433 0 0 0 28 2 0 0 20 0 15 0 98694659 10916995072 11673 33554432000 4194304 4196468 140737117665824 140093032215456 140093005973109 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32025] ppid=32019 vsize=10661128 memory=288230604707987479 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32025/stat : 32025 (java) S 32019 32022 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694660 10916995072 11673 33554432000 4194304 4196468 140737117665824 140092980599184 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32026] ppid=32019 vsize=10661128 memory=139680725182489 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32026/stat : 32026 (java) S 32019 32022 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694660 10916995072 11673 33554432000 4194304 4196468 140737117665824 140092979546384 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32027] ppid=32019 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32027/stat : 32027 (java) S 32019 32022 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694660 10916995072 11673 33554432000 4194304 4196468 140737117665824 140092978494096 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32028] ppid=32019 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32028/stat : 32028 (java) S 32019 32022 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694660 10916995072 11673 33554432000 4194304 4196468 140737117665824 140092977441296 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32029] ppid=32019 vsize=10661128 memory=139680725153408 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32029/stat : 32029 (java) S 32019 32022 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694661 10916995072 11673 33554432000 4194304 4196468 140737117665824 140092587465328 140093027990146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32030] ppid=32019 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32030/stat : 32030 (java) S 32019 32022 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98694661 10916995072 11673 33554432000 4194304 4196468 140737117665824 140092586411296 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32031] ppid=32019 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32031/stat : 32031 (java) S 32019 32022 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98694662 10916995072 11673 33554432000 4194304 4196468 140737117665824 140092585358960 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32032] ppid=32019 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32032/stat : 32032 (java) S 32019 32022 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694664 10916995072 11673 33554432000 4194304 4196468 140737117665824 140092584307280 140093027997595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32033] ppid=32019 vsize=10661128 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32022/task/32033/stat : 32033 (java) R 32019 32022 31407 0 -1 4202560 591 0 0 0 7 0 0 0 20 0 15 0 98694664 10916995072 11673 33554432000 4194304 4196468 140737117665824 140092583254128 140093011192555 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32034] ppid=32019 vsize=10661128 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/32022/task/32034/stat : 32034 (java) R 32019 32022 31407 0 -1 1077944384 450 0 0 0 4 0 0 0 20 0 15 0 98694664 10916995072 11673 33554432000 4194304 4196468 140737117665824 140092582201328 140093027990146 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32035] ppid=32019 vsize=10661128 memory=139680725153408 CPUtime=0.16 cores=0,2,4,6
/proc/32022/task/32035/stat : 32035 (java) R 32019 32022 31407 0 -1 4202560 1012 0 0 0 16 0 0 0 20 0 15 0 98694664 10916995072 11673 33554432000 4194304 4196468 140737117665824 140092581147000 140093006958096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32036] ppid=32019 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32036/stat : 32036 (java) S 32019 32022 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694664 10916995072 11673 33554432000 4194304 4196468 140737117665824 140092580096480 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32037] ppid=32019 vsize=10661128 memory=139680725153408 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32037/stat : 32037 (java) S 32019 32022 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694664 10916995072 11673 33554432000 4194304 4196468 140737117665824 140092579044272 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 46692 KiB

[startup+0.700791 s]
/proc/loadavg: 1.58 1.56 1.69 5/219 32037
/proc/meminfo: memFree=24825124/32770624 swapFree=67108856/67108860
[pid=32022] ppid=32019 vsize=10661128 memory=280104 CPUtime=1.7 cores=0,2,4,6
/proc/32022/stat : 32022 (java) S 32019 32022 31407 0 -1 1077944320 11885 0 0 0 163 7 0 0 20 0 15 0 98694658 10916995072 70026 33554432000 4194304 4196468 140737117665824 140737117648368 140093027978999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
/proc/32022/statm: 2665282 70026 3102 1 0 2627263 0
[pid=32022/tid=32024] ppid=32019 vsize=10661128 memory=1804 CPUtime=0.65 cores=0,2,4,6
/proc/32022/task/32024/stat : 32024 (java) R 32019 32022 31407 0 -1 4202560 5697 0 0 0 60 5 0 0 20 0 15 0 98694659 10916995072 70026 33554432000 4194304 4196468 140737117665824 140093032215568 140092659698411 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32025] ppid=32019 vsize=10661128 memory=796 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32025/stat : 32025 (java) S 32019 32022 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694660 10916995072 70026 33554432000 4194304 4196468 140737117665824 140092980599184 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32026] ppid=32019 vsize=10661128 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32026/stat : 32026 (java) S 32019 32022 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694660 10916995072 70026 33554432000 4194304 4196468 140737117665824 140092979546384 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32027] ppid=32019 vsize=10661128 memory=11860 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32027/stat : 32027 (java) S 32019 32022 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694660 10916995072 70026 33554432000 4194304 4196468 140737117665824 140092978494096 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32028] ppid=32019 vsize=10661128 memory=5772 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32028/stat : 32028 (java) S 32019 32022 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694660 10916995072 70026 33554432000 4194304 4196468 140737117665824 140092977441296 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32029] ppid=32019 vsize=10661128 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32029/stat : 32029 (java) S 32019 32022 31407 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98694661 10916995072 70026 33554432000 4194304 4196468 140737117665824 140092587465328 140093027990146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32030] ppid=32019 vsize=10661128 memory=1388 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32030/stat : 32030 (java) S 32019 32022 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98694661 10916995072 70026 33554432000 4194304 4196468 140737117665824 140092586411296 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32031] ppid=32019 vsize=10661128 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32031/stat : 32031 (java) S 32019 32022 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98694662 10916995072 70026 33554432000 4194304 4196468 140737117665824 140092585358960 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32032] ppid=32019 vsize=10661128 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32032/stat : 32032 (java) S 32019 32022 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694664 10916995072 70026 33554432000 4194304 4196468 140737117665824 140092584307280 140093027997595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32033] ppid=32019 vsize=10661128 memory=6296683612537770333 CPUtime=0.36 cores=0,2,4,6
/proc/32022/task/32033/stat : 32033 (java) S 32019 32022 31407 0 -1 1077944384 1547 0 0 0 36 0 0 0 20 0 15 0 98694664 10916995072 70026 33554432000 4194304 4196468 140737117665824 140092583254128 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32034] ppid=32019 vsize=10661128 memory=7595725831727968097 CPUtime=0.34 cores=0,2,4,6
/proc/32022/task/32034/stat : 32034 (java) S 32019 32022 31407 0 -1 1077944384 1493 0 0 0 34 0 0 0 20 0 15 0 98694664 10916995072 70026 33554432000 4194304 4196468 140737117665824 140092582201328 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32035] ppid=32019 vsize=10661128 memory=7236547281622689387 CPUtime=0.3 cores=0,2,4,6
/proc/32022/task/32035/stat : 32035 (java) S 32019 32022 31407 0 -1 1077944384 1778 0 0 0 30 0 0 0 20 0 15 0 98694664 10916995072 70026 33554432000 4194304 4196468 140737117665824 140092581149040 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32036] ppid=32019 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32036/stat : 32036 (java) S 32019 32022 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694664 10916995072 70026 33554432000 4194304 4196468 140737117665824 140092580096480 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32037] ppid=32019 vsize=10661128 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32037/stat : 32037 (java) S 32019 32022 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694664 10916995072 70026 33554432000 4194304 4196468 140737117665824 140092579044272 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 280104 KiB

[startup+1.50084 s]
/proc/loadavg: 1.61 1.57 1.69 6/219 32037
/proc/meminfo: memFree=22899004/32770624 swapFree=67108856/67108860
[pid=32022] ppid=32019 vsize=10661128 memory=282560 CPUtime=2.58 cores=0,2,4,6
/proc/32022/stat : 32022 (java) S 32019 32022 31407 0 -1 1077944320 12015 0 0 0 251 7 0 0 20 0 15 0 98694658 10916995072 70640 33554432000 4194304 4196468 140737117665824 140737117648368 140093027978999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
/proc/32022/statm: 2665282 70640 3121 1 0 2627263 0
[pid=32022/tid=32024] ppid=32019 vsize=10661128 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/32022/task/32024/stat : 32024 (java) R 32019 32022 31407 0 -1 4202560 5764 0 0 0 140 5 0 0 20 0 15 0 98694659 10916995072 70640 33554432000 4194304 4196468 140737117665824 140093032215832 140092659771523 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32025] ppid=32019 vsize=10661128 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32025/stat : 32025 (java) S 32019 32022 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694660 10916995072 70640 33554432000 4194304 4196468 140737117665824 140092980599184 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32026] ppid=32019 vsize=10661128 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32026/stat : 32026 (java) S 32019 32022 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694660 10916995072 70640 33554432000 4194304 4196468 140737117665824 140092979546384 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32027] ppid=32019 vsize=10661128 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32027/stat : 32027 (java) S 32019 32022 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694660 10916995072 70640 33554432000 4194304 4196468 140737117665824 140092978494096 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32028] ppid=32019 vsize=10661128 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32028/stat : 32028 (java) S 32019 32022 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694660 10916995072 70640 33554432000 4194304 4196468 140737117665824 140092977441296 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32029] ppid=32019 vsize=10661128 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32029/stat : 32029 (java) S 32019 32022 31407 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98694661 10916995072 70640 33554432000 4194304 4196468 140737117665824 140092587465328 140093027990146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0

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

[pid=32022/tid=32036] ppid=32019 vsize=10661128 memory=2268 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32036/stat : 32036 (java) S 32019 32022 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092580096480 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32037] ppid=32019 vsize=10661128 memory=1804 CPUtime=0.16 cores=0,2,4,6
/proc/32022/task/32037/stat : 32037 (java) S 32019 32022 31407 0 -1 1077944384 876 0 0 0 8 8 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092579044272 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
Current children cumulated CPU time: 301.33 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 385500 KiB

[startup+300.001 s]*
/proc/loadavg: 1.98 1.80 1.75 3/220 32126
/proc/meminfo: memFree=26701528/32770624 swapFree=67108856/67108860
[pid=32022] ppid=32019 vsize=10661128 memory=385500 CPUtime=302.14 cores=0,2,4,6
/proc/32022/stat : 32022 (java) S 32019 32022 31407 0 -1 1077944320 37473 0 0 0 30194 20 0 0 20 0 15 0 98694658 10916995072 96375 33554432000 4194304 4196468 140737117665824 140737117648368 140093027978999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
/proc/32022/statm: 2665282 96375 3152 1 0 2627263 0
[pid=32022/tid=32024] ppid=32019 vsize=10661128 memory=6791534058613427641 CPUtime=299.9 cores=0,2,4,6
/proc/32022/task/32024/stat : 32024 (java) R 32019 32022 31407 0 -1 4202560 11430 0 0 0 29983 7 0 0 20 0 15 0 98694659 10916995072 96375 33554432000 4194304 4196468 140737117665824 140093032218288 140092660260711 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32025] ppid=32019 vsize=10661128 memory=4126316290023845779 CPUtime=0.03 cores=0,2,4,6
/proc/32022/task/32025/stat : 32025 (java) S 32019 32022 31407 0 -1 1077944384 1746 0 0 0 3 0 0 0 20 0 15 0 98694660 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092980599184 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32026] ppid=32019 vsize=10661128 memory=7020379897997060715 CPUtime=0.03 cores=0,2,4,6
/proc/32022/task/32026/stat : 32026 (java) S 32019 32022 31407 0 -1 1077944384 2050 0 0 0 3 0 0 0 20 0 15 0 98694660 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092979546384 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32027] ppid=32019 vsize=10661128 memory=7020379897997060715 CPUtime=0.03 cores=0,2,4,6
/proc/32022/task/32027/stat : 32027 (java) S 32019 32022 31407 0 -1 1077944384 1068 0 0 0 3 0 0 0 20 0 15 0 98694660 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092978494096 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32028] ppid=32019 vsize=10661128 memory=7020379897997060715 CPUtime=0.03 cores=0,2,4,6
/proc/32022/task/32028/stat : 32028 (java) S 32019 32022 31407 0 -1 1077944384 2001 0 0 0 3 0 0 0 20 0 15 0 98694660 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092977441296 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32029] ppid=32019 vsize=10661128 memory=7020379897997060715 CPUtime=0.01 cores=0,2,4,6
/proc/32022/task/32029/stat : 32029 (java) S 32019 32022 31407 0 -1 1077944384 1958 0 0 0 1 0 0 0 20 0 15 0 98694661 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092587465328 140093027990146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32030] ppid=32019 vsize=10661128 memory=7453564505794173032 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32030/stat : 32030 (java) S 32019 32022 31407 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 98694661 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092586411296 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32031] ppid=32019 vsize=10661128 memory=7453564505794173032 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32031/stat : 32031 (java) S 32019 32022 31407 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 98694662 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092585358960 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32032] ppid=32019 vsize=10661128 memory=8027508424560759384 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32032/stat : 32032 (java) S 32019 32022 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092584307280 140093027997595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32033] ppid=32019 vsize=10661128 memory=7883078737421036389 CPUtime=0.76 cores=0,2,4,6
/proc/32022/task/32033/stat : 32033 (java) S 32019 32022 31407 0 -1 1077944384 5066 0 0 0 76 0 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092583254128 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32034] ppid=32019 vsize=10661128 memory=7883078737421036389 CPUtime=0.66 cores=0,2,4,6
/proc/32022/task/32034/stat : 32034 (java) S 32019 32022 31407 0 -1 1077944384 5232 0 0 0 66 0 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092582201328 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32035] ppid=32019 vsize=10661128 memory=7883078737421036389 CPUtime=0.41 cores=0,2,4,6
/proc/32022/task/32035/stat : 32035 (java) S 32019 32022 31407 0 -1 1077944384 4633 0 0 0 40 1 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092581149040 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32036] ppid=32019 vsize=10661128 memory=8027508424560759384 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32036/stat : 32036 (java) S 32019 32022 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092580096480 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32037] ppid=32019 vsize=10661128 memory=4036 CPUtime=0.16 cores=0,2,4,6
/proc/32022/task/32037/stat : 32037 (java) S 32019 32022 31407 0 -1 1077944384 876 0 0 0 8 8 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092579044272 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
Current children cumulated CPU time: 302.14 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 385500 KiB

[startup+300.401 s]
/proc/loadavg: 1.98 1.80 1.75 3/220 32126
/proc/meminfo: memFree=26701528/32770624 swapFree=67108856/67108860
[pid=32022] ppid=32019 vsize=10661128 memory=385500 CPUtime=302.53 cores=0,2,4,6
/proc/32022/stat : 32022 (java) S 32019 32022 31407 0 -1 1077944320 37474 0 0 0 30233 20 0 0 20 0 15 0 98694658 10916995072 96375 33554432000 4194304 4196468 140737117665824 140737117648368 140093027978999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
/proc/32022/statm: 2665282 96375 3152 1 0 2627263 0
[pid=32022/tid=32024] ppid=32019 vsize=10661128 memory=16244 CPUtime=300.29 cores=0,2,4,6
/proc/32022/task/32024/stat : 32024 (java) R 32019 32022 31407 0 -1 4202560 11431 0 0 0 30022 7 0 0 20 0 15 0 98694659 10916995072 96375 33554432000 4194304 4196468 140737117665824 140093032218288 140092660260641 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32025] ppid=32019 vsize=10661128 memory=4048 CPUtime=0.03 cores=0,2,4,6
/proc/32022/task/32025/stat : 32025 (java) S 32019 32022 31407 0 -1 1077944384 1746 0 0 0 3 0 0 0 20 0 15 0 98694660 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092980599184 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32026] ppid=32019 vsize=10661128 memory=1236 CPUtime=0.03 cores=0,2,4,6
/proc/32022/task/32026/stat : 32026 (java) S 32019 32022 31407 0 -1 1077944384 2050 0 0 0 3 0 0 0 20 0 15 0 98694660 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092979546384 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32027] ppid=32019 vsize=10661128 memory=16504 CPUtime=0.03 cores=0,2,4,6
/proc/32022/task/32027/stat : 32027 (java) S 32019 32022 31407 0 -1 1077944384 1068 0 0 0 3 0 0 0 20 0 15 0 98694660 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092978494096 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32028] ppid=32019 vsize=10661128 memory=1780 CPUtime=0.03 cores=0,2,4,6
/proc/32022/task/32028/stat : 32028 (java) S 32019 32022 31407 0 -1 1077944384 2001 0 0 0 3 0 0 0 20 0 15 0 98694660 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092977441296 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32029] ppid=32019 vsize=10661128 memory=644 CPUtime=0.01 cores=0,2,4,6
/proc/32022/task/32029/stat : 32029 (java) S 32019 32022 31407 0 -1 1077944384 1958 0 0 0 1 0 0 0 20 0 15 0 98694661 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092587465328 140093027990146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32030] ppid=32019 vsize=10661128 memory=956 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32030/stat : 32030 (java) S 32019 32022 31407 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 98694661 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092586411296 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32031] ppid=32019 vsize=10661128 memory=2404 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32031/stat : 32031 (java) S 32019 32022 31407 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 98694662 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092585358960 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32032] ppid=32019 vsize=10661128 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32032/stat : 32032 (java) S 32019 32022 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092584307280 140093027997595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32033] ppid=32019 vsize=10661128 memory=928 CPUtime=0.76 cores=0,2,4,6
/proc/32022/task/32033/stat : 32033 (java) S 32019 32022 31407 0 -1 1077944384 5066 0 0 0 76 0 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092583254128 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32034] ppid=32019 vsize=10661128 memory=2244 CPUtime=0.66 cores=0,2,4,6
/proc/32022/task/32034/stat : 32034 (java) S 32019 32022 31407 0 -1 1077944384 5232 0 0 0 66 0 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092582201328 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32035] ppid=32019 vsize=10661128 memory=4312 CPUtime=0.41 cores=0,2,4,6
/proc/32022/task/32035/stat : 32035 (java) S 32019 32022 31407 0 -1 1077944384 4633 0 0 0 40 1 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092581149040 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32036] ppid=32019 vsize=10661128 memory=2092 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32036/stat : 32036 (java) S 32019 32022 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092580096480 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32037] ppid=32019 vsize=10661128 memory=7380 CPUtime=0.16 cores=0,2,4,6
/proc/32022/task/32037/stat : 32037 (java) S 32019 32022 31407 0 -1 1077944384 876 0 0 0 8 8 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092579044272 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
Current children cumulated CPU time: 302.53 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 385500 KiB

[startup+300.801 s]
/proc/loadavg: 1.98 1.80 1.75 3/220 32126
/proc/meminfo: memFree=26701528/32770624 swapFree=67108856/67108860
[pid=32022] ppid=32019 vsize=10661128 memory=385500 CPUtime=302.93 cores=0,2,4,6
/proc/32022/stat : 32022 (java) S 32019 32022 31407 0 -1 1077944320 37474 0 0 0 30273 20 0 0 20 0 15 0 98694658 10916995072 96375 33554432000 4194304 4196468 140737117665824 140737117648368 140093027978999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
/proc/32022/statm: 2665282 96375 3152 1 0 2627263 0
[pid=32022/tid=32024] ppid=32019 vsize=10661128 memory=1712 CPUtime=300.69 cores=0,2,4,6
/proc/32022/task/32024/stat : 32024 (java) R 32019 32022 31407 0 -1 4202560 11431 0 0 0 30062 7 0 0 20 0 15 0 98694659 10916995072 96375 33554432000 4194304 4196468 140737117665824 140093032218288 140092660355702 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32025] ppid=32019 vsize=10661128 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/32022/task/32025/stat : 32025 (java) S 32019 32022 31407 0 -1 1077944384 1746 0 0 0 3 0 0 0 20 0 15 0 98694660 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092980599184 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32026] ppid=32019 vsize=10661128 memory=28744 CPUtime=0.03 cores=0,2,4,6
/proc/32022/task/32026/stat : 32026 (java) S 32019 32022 31407 0 -1 1077944384 2050 0 0 0 3 0 0 0 20 0 15 0 98694660 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092979546384 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32027] ppid=32019 vsize=10661128 memory=377648 CPUtime=0.03 cores=0,2,4,6
/proc/32022/task/32027/stat : 32027 (java) S 32019 32022 31407 0 -1 1077944384 1068 0 0 0 3 0 0 0 20 0 15 0 98694660 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092978494096 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32028] ppid=32019 vsize=10661128 memory=2268 CPUtime=0.03 cores=0,2,4,6
/proc/32022/task/32028/stat : 32028 (java) S 32019 32022 31407 0 -1 1077944384 2001 0 0 0 3 0 0 0 20 0 15 0 98694660 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092977441296 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32029] ppid=32019 vsize=10661128 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/32022/task/32029/stat : 32029 (java) S 32019 32022 31407 0 -1 1077944384 1958 0 0 0 1 0 0 0 20 0 15 0 98694661 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092587465328 140093027990146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32030] ppid=32019 vsize=10661128 memory=5772 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32030/stat : 32030 (java) S 32019 32022 31407 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 98694661 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092586411296 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32031] ppid=32019 vsize=10661128 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32031/stat : 32031 (java) S 32019 32022 31407 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 98694662 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092585358960 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32032] ppid=32019 vsize=10661128 memory=1388 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32032/stat : 32032 (java) S 32019 32022 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092584307280 140093027997595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32033] ppid=32019 vsize=10661128 memory=385500 CPUtime=0.76 cores=0,2,4,6
/proc/32022/task/32033/stat : 32033 (java) S 32019 32022 31407 0 -1 1077944384 5066 0 0 0 76 0 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092583254128 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32034] ppid=32019 vsize=10661128 memory=4036 CPUtime=0.66 cores=0,2,4,6
/proc/32022/task/32034/stat : 32034 (java) S 32019 32022 31407 0 -1 1077944384 5232 0 0 0 66 0 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092582201328 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32035] ppid=32019 vsize=10661128 memory=383220 CPUtime=0.41 cores=0,2,4,6
/proc/32022/task/32035/stat : 32035 (java) S 32019 32022 31407 0 -1 1077944384 4633 0 0 0 40 1 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092581149040 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32036] ppid=32019 vsize=10661128 memory=377648 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32036/stat : 32036 (java) S 32019 32022 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092580096480 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32037] ppid=32019 vsize=10661128 memory=6791534058613427641 CPUtime=0.16 cores=0,2,4,6
/proc/32022/task/32037/stat : 32037 (java) S 32019 32022 31407 0 -1 1077944384 876 0 0 0 8 8 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092579044272 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
Current children cumulated CPU time: 302.93 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 385500 KiB

[startup+300.901 s]
/proc/loadavg: 1.98 1.80 1.75 3/220 32126
/proc/meminfo: memFree=26701528/32770624 swapFree=67108856/67108860
[pid=32022] ppid=32019 vsize=10661128 memory=385500 CPUtime=303.03 cores=0,2,4,6
/proc/32022/stat : 32022 (java) S 32019 32022 31407 0 -1 1077944320 37475 0 0 0 30283 20 0 0 20 0 15 0 98694658 10916995072 96375 33554432000 4194304 4196468 140737117665824 140737117648368 140093027978999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
/proc/32022/statm: 2665282 96375 3152 1 0 2627263 0
[pid=32022/tid=32024] ppid=32019 vsize=10661128 memory=385500 CPUtime=300.79 cores=0,2,4,6
/proc/32022/task/32024/stat : 32024 (java) R 32019 32022 31407 0 -1 4202560 11432 0 0 0 30072 7 0 0 20 0 15 0 98694659 10916995072 96375 33554432000 4194304 4196468 140737117665824 140093032218288 140092657442416 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32025] ppid=32019 vsize=10661128 memory=385500 CPUtime=0.03 cores=0,2,4,6
/proc/32022/task/32025/stat : 32025 (java) S 32019 32022 31407 0 -1 1077944384 1746 0 0 0 3 0 0 0 20 0 15 0 98694660 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092980599184 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32026] ppid=32019 vsize=10661128 memory=383220 CPUtime=0.03 cores=0,2,4,6
/proc/32022/task/32026/stat : 32026 (java) S 32019 32022 31407 0 -1 1077944384 2050 0 0 0 3 0 0 0 20 0 15 0 98694660 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092979546384 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32027] ppid=32019 vsize=10661128 memory=383080 CPUtime=0.03 cores=0,2,4,6
/proc/32022/task/32027/stat : 32027 (java) S 32019 32022 31407 0 -1 1077944384 1068 0 0 0 3 0 0 0 20 0 15 0 98694660 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092978494096 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32028] ppid=32019 vsize=10661128 memory=383080 CPUtime=0.03 cores=0,2,4,6
/proc/32022/task/32028/stat : 32028 (java) S 32019 32022 31407 0 -1 1077944384 2001 0 0 0 3 0 0 0 20 0 15 0 98694660 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092977441296 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32029] ppid=32019 vsize=10661128 memory=383080 CPUtime=0.01 cores=0,2,4,6
/proc/32022/task/32029/stat : 32029 (java) S 32019 32022 31407 0 -1 1077944384 1958 0 0 0 1 0 0 0 20 0 15 0 98694661 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092587465328 140093027990146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32030] ppid=32019 vsize=10661128 memory=385500 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32030/stat : 32030 (java) S 32019 32022 31407 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 98694661 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092586411296 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32031] ppid=32019 vsize=10661128 memory=385500 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32031/stat : 32031 (java) S 32019 32022 31407 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 98694662 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092585358960 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32032] ppid=32019 vsize=10661128 memory=4036 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32032/stat : 32032 (java) S 32019 32022 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092584307280 140093027997595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32033] ppid=32019 vsize=10661128 memory=385500 CPUtime=0.76 cores=0,2,4,6
/proc/32022/task/32033/stat : 32033 (java) S 32019 32022 31407 0 -1 1077944384 5066 0 0 0 76 0 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092583254128 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32034] ppid=32019 vsize=10661128 memory=383080 CPUtime=0.66 cores=0,2,4,6
/proc/32022/task/32034/stat : 32034 (java) S 32019 32022 31407 0 -1 1077944384 5232 0 0 0 66 0 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092582201328 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32035] ppid=32019 vsize=10661128 memory=383080 CPUtime=0.41 cores=0,2,4,6
/proc/32022/task/32035/stat : 32035 (java) S 32019 32022 31407 0 -1 1077944384 4633 0 0 0 40 1 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092581149040 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32036] ppid=32019 vsize=10661128 memory=385500 CPUtime=0 cores=0,2,4,6
/proc/32022/task/32036/stat : 32036 (java) S 32019 32022 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092580096480 140093027989205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
[pid=32022/tid=32037] ppid=32019 vsize=10661128 memory=385500 CPUtime=0.16 cores=0,2,4,6
/proc/32022/task/32037/stat : 32037 (java) S 32019 32022 31407 0 -1 1077944384 876 0 0 0 8 8 0 0 20 0 15 0 98694664 10916995072 96375 33554432000 4194304 4196468 140737117665824 140092579044272 140093027990146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25919488 140737117672586 140737117672713 140737117672713 140737117675471 0
Current children cumulated CPU time: 303.03 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 385500 KiB

Child status: 0
Real time (s): 300.975
CPU time (s): 303.117
CPU user time (s): 302.907
CPU system time (s): 0.210079
CPU usage (%): 100.712
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 391244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 302.907
system time used= 0.210079
maximum resident set size= 394828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38082
page faults= 0
swaps= 0
block input operations= 0
block output operations= 440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8417
involuntary context switches= 204


# summary of solver processes directly reported to runsolver:
#   pid: 32022
#   total CPU time (s): 303.117
#   total CPU user time (s): 302.907
#   total CPU system time (s): 0.210079

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.82816 second user time and 2.9419 second system time

The end

Launcher Data 

Begin job on node133 at 2018-07-28 22:55:15
IDJOB=4298530
IDBENCH=141152
IDSOLVER=2767
FILE ID=node133/4298530-1532811315
RUNJOBID= node133-1532808819-31438
PBS_JOBID= 21022475
Free space on /tmp= 48248 MiB

SOLVER NAME= SuperSolver_Macq_Stevenart 2018-04-27
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay400_c18.xml
COMMAND LINE= java -jar DIR/bestMinicp.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298530-1532811315/watcher-4298530-1532811315 -o /tmp/evaluation-result-4298530-1532811315/solver-4298530-1532811315 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532808819-31438 --watchdog 2580  java -jar HOME/bestMinicp.jar HOME/instance-4298530-1532811315.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= b20be86eed1a54c36d145f853cc0c945
RANDOM SEED=2092162011

node133.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.24
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.24
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.24
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.24
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:        27404400 kB
MemAvailable:   31902920 kB
Buffers:          183848 kB
Cached:          4562164 kB
SwapCached:            0 kB
Active:          2189552 kB
Inactive:        2655504 kB
Active(anon):      49988 kB
Inactive(anon):    76688 kB
Active(file):    2139564 kB
Inactive(file):  2578816 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:              2432 kB
Writeback:             0 kB
AnonPages:         95568 kB
Mapped:            51784 kB
Shmem:             25244 kB
Slab:             219840 kB
SReclaimable:     191952 kB
SUnreclaim:        27888 kB
KernelStack:        3728 kB
PageTables:         5604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1177076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 48248 MiB
End job on node133 at 2018-07-28 23:00:16