Trace number 4308686

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)1955977 2520.18 2448.17

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay300_c18.xml
MD5SUM125d0999a88baf20181d93552da446ae
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1955977
Best CPU time to get the best result obtained on this benchmark2520.18
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints300
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree32
Distribution of variable degrees[{"degree":2,"count":246},{"degree":3,"count":424},{"degree":4,"count":324},{"degree":5,"count":234},{"degree":6,"count":177},{"degree":7,"count":133},{"degree":8,"count":113},{"degree":9,"count":81},{"degree":10,"count":53},{"degree":11,"count":33},{"degree":12,"count":38},{"degree":13,"count":40},{"degree":14,"count":26},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":11},{"degree":18,"count":9},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":4},{"degree":25,"count":2},{"degree":26,"count":3},{"degree":27,"count":2},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":32,"count":1}]
Minimum constraint arity17
Maximum constraint arity46
Distribution of constraint arities[{"arity":17,"count":1},{"arity":19,"count":3},{"arity":20,"count":2},{"arity":21,"count":2},{"arity":22,"count":4},{"arity":23,"count":5},{"arity":24,"count":9},{"arity":25,"count":14},{"arity":26,"count":7},{"arity":27,"count":15},{"arity":28,"count":18},{"arity":29,"count":21},{"arity":30,"count":20},{"arity":31,"count":26},{"arity":32,"count":22},{"arity":33,"count":26},{"arity":34,"count":14},{"arity":35,"count":17},{"arity":36,"count":11},{"arity":37,"count":14},{"arity":38,"count":15},{"arity":39,"count":10},{"arity":40,"count":5},{"arity":41,"count":6},{"arity":42,"count":4},{"arity":43,"count":5},{"arity":45,"count":2},{"arity":46,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":300}]
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.68/0.55	c version: 2018-08-14
0.68/0.55	c seed: 1555199063
0.68/0.55	c timeout: 2520
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.57	c Parsing instance...
3.71/1.92	c Parsing done, starting first complete search...
4.17/2.17	o 0
4.17/2.17	o 4434
4.17/2.17	o 8147
4.17/2.17	o 12581
4.17/2.17	o 40805
4.17/2.18	o 45239
4.17/2.18	o 49375
4.17/2.18	o 59543
4.17/2.18	o 63977
4.17/2.19	o 68113
4.17/2.19	o 68427
4.17/2.19	o 68725
4.17/2.19	o 72861
4.17/2.20	o 100098
4.17/2.20	o 104234
4.39/2.20	o 127375
4.39/2.20	o 131511
4.39/2.20	o 133036
4.39/2.20	o 137684
4.39/2.20	o 139209
4.39/2.20	o 141820
4.39/2.21	o 143345
4.39/2.21	o 144272
4.39/2.21	o 148210
4.39/2.21	o 149137
4.39/2.21	o 149735
4.39/2.21	o 150662
4.39/2.21	o 150926
4.39/2.22	o 168613
4.39/2.22	o 175077
4.39/2.22	o 177001
4.39/2.22	o 201114
4.39/2.22	o 205548
4.39/2.22	o 211737
4.39/2.23	o 212655
4.39/2.23	o 223463
4.39/2.23	o 224988
4.39/2.23	o 227449
4.39/2.23	o 228974
4.39/2.23	o 230388
4.39/2.24	o 231251
4.39/2.24	o 232776
4.39/2.24	o 233087
4.39/2.24	o 233649
4.39/2.24	o 242672
4.39/2.24	o 244197
4.39/2.24	o 248333
4.39/2.25	o 249774
4.39/2.25	o 251698
4.39/2.25	o 252260
4.39/2.25	o 253255
4.39/2.25	o 253817
4.39/2.25	o 259645
4.39/2.25	o 260207
4.39/2.26	o 265094
4.39/2.26	o 266619
4.39/2.26	o 269230
4.39/2.26	o 270755
4.39/2.26	o 272815
4.39/2.26	o 274340
4.39/2.26	o 278476
4.39/2.27	o 278702
4.39/2.27	o 279697
4.39/2.27	o 280259
4.39/2.27	o 287414
4.39/2.27	o 287976
4.39/2.28	o 290131
4.39/2.28	o 294117
4.39/2.28	o 295044
4.39/2.28	o 295531
4.39/2.28	o 296458
4.39/2.28	o 297919
4.39/2.28	o 298846
4.39/2.28	o 299140
4.39/2.28	o 300067
4.39/2.29	o 300629
4.39/2.29	o 303276
4.39/2.29	o 303838
4.39/2.29	o 304203
4.39/2.29	o 304765
4.39/2.30	o 309488
4.39/2.30	o 311045
4.71/2.30	o 323376
4.71/2.30	o 323938
4.71/2.31	o 332595
4.71/2.31	o 334519
4.71/2.31	o 335446
4.71/2.31	o 338985
4.71/2.31	o 339912
4.71/2.31	o 340909
4.71/2.31	o 341836
4.71/2.32	o 342107
4.71/2.32	o 342669
4.71/2.32	o 343664
4.71/2.33	o 344226
4.71/2.33	o 345588
4.71/2.33	o 346150
4.71/2.33	o 347002
4.71/2.33	o 347564
4.71/2.33	o 348339
4.71/2.33	o 348901
4.71/2.34	o 354541
4.71/2.34	o 355103
4.71/2.34	o 361567
4.71/2.35	o 361637
4.71/2.35	o 362292
4.71/2.35	o 362628
4.71/2.35	o 363849
4.71/2.35	o 364552
4.71/2.35	o 365773
4.71/2.37	o 367322
4.71/2.37	o 368249
4.71/2.37	o 369246
4.71/2.37	o 370173
4.71/2.37	o 370803
4.71/2.37	o 371730
4.71/2.38	o 375119
4.71/2.38	o 376046
4.71/2.38	o 376201
4.71/2.38	o 376531
4.71/2.38	o 377458
4.71/2.38	o 379255
4.71/2.38	o 380182
5.02/2.40	o 380216
5.02/2.40	o 381143
5.02/2.40	o 381773
5.02/2.40	o 382700
5.02/2.40	o 389920
5.02/2.40	o 390847
5.02/2.40	o 392799
5.02/2.42	o 393726
5.02/2.43	o 394056
5.02/2.43	o 394983
5.02/2.44	o 395063
5.02/2.44	o 395393
5.02/2.45	o 396320
5.02/2.45	o 398117
5.02/2.45	o 399044
5.02/2.47	o 400036
5.02/2.47	o 400963
5.02/2.48	o 402377
5.02/2.48	o 403934
5.02/2.48	o 404444
5.02/2.48	o 405296
5.02/2.48	o 405858
5.29/2.78	o 406106
5.29/2.78	o 406299
5.29/2.78	o 406534
5.29/2.78	o 407096
5.29/2.78	o 408458
5.29/2.78	o 409020
5.29/2.78	o 410015
5.29/2.78	o 410577
5.29/2.78	o 410770
5.29/2.78	o 411465
5.29/2.79	o 412027
5.29/2.79	o 412136
5.29/2.79	o 412609
5.29/2.79	o 413171
5.29/2.79	o 413364
5.39/2.80	o 414112
5.39/2.80	o 414674
5.39/2.80	o 415333
5.39/2.80	o 415895
5.39/2.80	o 416088
5.39/2.82	o 416753
5.39/2.82	o 417315
5.39/2.82	o 417974
5.39/2.82	o 418536
5.39/2.82	o 418729
5.39/2.82	o 420698
5.39/2.82	o 421260
5.39/2.82	o 421453
5.39/2.85	o 421544
5.39/2.85	o 421911
5.39/2.85	o 422906
5.39/2.85	o 423468
5.39/2.85	o 424127
5.39/2.85	o 424689
5.39/2.85	o 424882
5.39/2.88	o 425815
5.39/2.88	o 427372
5.39/2.88	o 428559
5.39/2.88	o 430801
5.39/2.88	o 436860
5.39/2.88	o 437422
5.39/2.89	o 437615
5.39/2.89	o 437802
5.66/2.91	o 438122
5.66/2.91	o 438315
5.66/2.91	o 439438
5.66/2.91	o 440659
5.66/2.91	o 440852
5.66/2.92	o 441924
5.66/2.92	o 443145
5.66/2.92	o 443338
5.66/2.92	o 444332
5.66/2.92	o 446574
5.66/2.92	o 446767
5.66/2.94	o 447433
5.66/2.94	o 448654
5.66/2.94	o 448847
5.66/2.98	o 449034
5.66/3.01	o 449046
5.66/3.01	o 449973
5.85/3.01	o 451160
5.85/3.01	o 453402
5.85/3.05	o 453576
5.85/3.05	o 453943
5.85/3.05	o 455500
5.85/3.05	o 456013
5.85/3.05	o 457570
5.85/3.05	o 459095
5.85/3.05	o 459367
5.85/3.05	o 460294
5.85/3.05	o 460892
5.85/3.05	o 461819
5.85/3.06	o 462047
5.85/3.06	o 463189
5.85/3.06	o 467063
5.85/3.06	o 472791
6.04/3.21	o 473103
6.04/3.21	o 473178
6.04/3.22	o 473496
6.04/3.22	o 475420
6.04/3.22	o 476977
6.04/3.22	o 478234
6.04/3.24	o 479731
6.04/3.24	o 480988
6.34/3.52	o 481108
6.34/3.52	o 481475
6.34/3.52	o 483032
6.34/3.52	o 483828
6.34/3.52	o 486030
6.34/3.52	o 487587
6.34/3.53	o 488844
6.87/4.03	o 490231
6.87/4.03	o 490549
6.87/4.03	o 492473
7.41/4.57	o 493894
7.41/4.57	o 494237
7.41/4.57	o 496161
7.71/4.80	o 497666
7.71/4.80	o 499590
9.61/6.70	o 500433
10.14/7.27	o 500924
10.14/7.27	o 500949
10.14/7.27	o 502348
10.14/7.27	o 503191
10.14/7.27	o 503605
10.14/7.27	o 504448
10.14/7.28	o 504904
10.14/7.28	o 505747
10.25/7.30	o 505875
10.25/7.30	o 508791
10.25/7.30	o 509634
11.85/9.00	o 510506
11.85/9.00	o 510849
11.85/9.00	o 512773
11.85/9.01	o 512995
11.96/9.01	o 514830
11.96/9.01	o 516754
11.96/9.03	o 517397
11.96/9.03	o 519321
14.00/11.10	o 520153
24.67/21.66	c First complete search done, starting ALNS search...
24.98/21.85	o 521812
24.98/21.85	o 522926
24.98/21.85	o 523820
24.98/21.85	o 524934
24.98/21.86	o 525065
24.98/21.86	o 525380
24.98/21.86	o 525511
24.98/21.86	o 526262
24.98/21.86	o 526800
24.98/21.86	o 526950
24.98/21.86	o 527694
24.98/21.86	o 528808
24.98/21.86	o 529254
24.98/21.86	o 529385
24.98/21.86	o 529820
24.98/21.86	o 529951
24.98/21.86	o 530266
24.98/21.86	o 530397
24.98/21.87	o 530934
24.98/21.87	o 531380
24.98/21.87	o 531511
24.98/21.87	o 531753
24.98/21.87	o 531884
24.98/21.87	o 532297
24.98/21.87	o 533411
24.98/21.87	o 534155
24.98/21.87	o 535269
25.26/22.07	o 535845
25.26/22.07	o 537504
25.26/22.07	o 538102
25.26/22.08	o 538233
25.26/22.08	o 538304
25.26/22.08	o 539727
25.26/22.08	o 540325
25.26/22.08	o 540456
25.26/22.08	o 541731
25.26/22.08	o 543589
25.26/22.08	o 543720
25.26/22.08	o 544187
25.26/22.08	o 544318
25.26/22.08	o 545248
25.26/22.08	o 545846
25.26/22.08	o 545977
25.26/22.08	o 547422
25.26/22.08	o 547553
25.26/22.09	o 549152
25.26/22.09	o 549645
25.26/22.09	o 551304
25.26/22.09	o 551649
25.26/22.09	o 553507
25.26/22.09	o 555166
25.26/22.09	o 555297
25.57/22.30	o 555533
25.57/22.30	o 555664
25.57/22.30	o 556036
25.57/22.30	o 559898
25.57/22.30	o 560029
25.57/22.30	o 560496
25.57/22.30	o 560627
25.57/22.31	o 561047
25.57/22.31	o 561289
25.57/22.31	o 562601
25.57/22.31	o 566463
25.57/22.31	o 567061
25.57/22.31	o 567192
25.57/22.31	o 568154
25.57/22.31	o 572519
25.57/22.31	o 573117
25.57/22.31	o 573248
25.57/22.31	o 576381
25.57/22.31	o 576979
25.57/22.31	o 577110
25.57/22.31	o 579546
25.57/22.31	o 579677
25.57/22.31	o 583408
25.57/22.32	o 583539
25.57/22.32	o 584006
25.57/22.32	o 584137
25.57/22.32	o 586685
25.57/22.32	o 587283
25.57/22.32	o 587698
26.23/22.71	o 587714
26.23/22.71	o 591072
26.23/22.71	o 591576
26.23/22.71	o 591670
26.23/22.71	o 592174
26.23/22.71	o 593424
26.23/22.71	o 594022
26.23/22.71	o 596231
26.23/22.72	o 598310
26.23/22.72	o 600225
26.23/22.72	o 604087
26.23/22.72	o 604234
26.23/22.72	o 610011
26.23/22.72	o 613873
26.23/22.72	o 615232
26.23/22.72	o 619094
26.23/22.72	o 619692
26.23/22.72	o 620004
26.23/22.72	o 623268
26.23/22.72	o 623866
26.23/22.72	o 624370
26.23/22.72	o 624501
26.23/22.72	o 624898
26.23/22.73	o 625029
26.23/22.73	o 630119
26.23/22.73	o 630250
26.23/22.73	o 630623
26.23/22.73	o 630754
26.23/22.73	o 631221
26.23/22.73	o 631352
26.23/22.73	o 633981
26.23/22.73	o 634485
26.23/22.73	o 634579
26.23/22.73	o 635083
26.23/22.73	o 635214
26.23/22.73	o 635360
26.23/22.73	o 635491
26.23/22.74	o 638217
26.23/22.74	o 639508
26.23/22.74	o 640053
26.23/22.74	o 640852
26.23/22.74	o 642211
26.23/22.74	o 646073
26.23/22.74	o 646204
26.23/22.74	o 646577
26.23/22.74	o 646708
26.23/22.74	o 647473
26.23/22.74	o 647977
26.23/22.74	o 648108
26.23/22.75	o 648587
26.23/22.75	o 648718
26.23/22.75	o 649091
26.23/22.75	o 649222
26.23/22.75	o 649574
26.23/22.75	o 650078
26.23/22.75	o 650209
26.23/22.75	o 650724
26.23/22.75	o 650855
26.23/22.75	o 651228
26.23/22.75	o 651359
26.23/22.75	o 651838
26.23/22.75	o 652342
26.23/22.76	o 652473
26.23/22.76	o 653238
26.23/22.76	o 653369
26.23/22.76	o 654225
26.23/22.76	o 654356
26.23/22.76	o 654729
26.23/22.76	o 654860
26.23/22.76	o 655315
26.23/22.76	o 655819
26.23/22.76	o 657076
26.23/22.76	o 658190
26.23/22.76	o 659177
26.23/22.76	o 659681
26.23/22.76	o 659812
26.23/22.76	o 660138
26.23/22.77	o 660269
26.23/22.77	o 660642
26.23/22.77	o 660773
26.23/22.77	o 661252
26.23/22.77	o 661756
26.23/22.77	o 661887
26.23/22.77	o 662392
26.23/22.77	o 662523
26.23/22.77	o 662896
26.23/22.77	o 663027
26.63/23.02	o 663190
26.63/23.02	o 663194
26.63/23.02	o 663724
26.63/23.02	o 663728
26.63/23.02	o 663992
26.63/23.02	o 665106
26.63/23.02	o 665110
26.63/23.02	o 665513
26.63/23.02	o 665517
26.63/23.02	o 666111
26.63/23.03	o 666115
26.63/23.03	o 666353
26.63/23.03	o 666379
26.63/23.03	o 666506
26.63/23.03	o 667493
26.63/23.03	o 667497
26.63/23.03	o 667606
26.63/23.03	o 668123
26.63/23.03	o 668408
26.63/23.03	o 669395
26.63/23.04	o 669993
26.63/23.04	o 670954
26.63/23.04	o 670958
26.63/23.04	o 671552
26.63/23.04	o 671556
26.63/23.04	o 671951
26.63/23.04	o 673065
26.63/23.04	o 673069
26.63/23.04	o 673663
26.63/23.04	o 673667
26.63/23.04	o 673841
26.63/23.04	o 673867
26.63/23.04	o 674981
26.63/23.05	o 674985
26.63/23.05	o 675579
26.63/23.05	o 675583
26.63/23.05	o 676050
26.63/23.05	o 676054
26.63/23.05	o 676381
26.63/23.05	o 677368
26.63/23.05	o 677372
26.63/23.05	o 677966
26.63/23.05	o 677970
26.63/23.06	o 678361
26.63/23.06	o 679348
26.63/23.06	o 679352
28.35/24.23	o 680472
28.35/24.23	o 682480
28.35/24.23	o 683492
28.35/24.23	o 685500
28.35/24.23	o 685903
28.35/24.23	o 687911
28.35/24.24	o 688378
28.35/24.24	o 689356
28.35/24.24	o 692376
28.35/24.24	o 694787
28.35/24.24	o 696795
28.35/24.24	o 697345
28.35/24.24	o 697394
28.35/24.24	o 699555
28.35/24.24	o 701966
28.35/24.24	o 702269
28.35/24.24	o 703159
28.35/24.24	o 705343
28.35/24.24	o 709341
28.35/24.24	o 711752
28.35/24.24	o 713760
28.35/24.25	o 714227
28.35/24.25	o 716638
28.35/24.25	o 718646
28.35/24.25	o 720233
28.35/24.25	o 720636
28.35/24.25	o 722644
28.35/24.25	o 723194
28.35/24.25	o 723656
28.35/24.25	o 724206
28.35/24.25	o 725664
28.35/24.25	o 726214
28.35/24.25	o 726263
28.35/24.25	o 728466
28.35/24.25	o 730474
28.35/24.25	o 732464
28.35/24.26	o 734472
28.35/24.26	o 735484
28.35/24.26	o 737492
28.35/24.26	o 737541
28.35/24.26	o 738042
28.35/24.26	o 738091
28.35/24.26	o 738278
28.35/24.26	o 738327
28.35/24.26	o 739554
28.35/24.26	o 740104
28.35/24.26	o 740483
28.35/24.26	o 740532
28.35/24.26	o 741849
28.35/24.26	o 742228
28.35/24.26	o 742861
28.35/24.26	o 744869
28.35/24.27	o 745248
28.35/24.27	o 745297
28.35/24.27	o 745419
28.35/24.27	o 745798
28.35/24.27	o 745847
28.35/24.27	o 746785
28.35/24.27	o 746834
28.35/24.27	o 747164
28.35/24.27	o 747213
28.35/24.27	o 747335
28.35/24.27	o 747714
28.35/24.27	o 747763
28.35/24.27	o 748001
28.35/24.27	o 748050
28.35/24.27	o 748380
28.35/24.27	o 748429
28.35/24.28	o 749441
28.35/24.28	o 749820
28.35/24.28	o 749991
28.35/24.28	o 750370
28.35/24.28	o 751449
28.35/24.28	o 751999
28.35/24.28	o 752378
28.35/24.28	o 752427
28.35/24.28	o 753581
28.35/24.28	o 753960
28.35/24.28	o 754009
28.35/24.28	o 755497
28.35/24.28	o 755546
28.35/24.28	o 755876
28.35/24.28	o 755925
28.35/24.28	o 756047
28.35/24.29	o 756426
28.35/24.29	o 756475
28.35/24.29	o 756552
28.35/24.29	o 756601
28.35/24.29	o 756931
28.35/24.29	o 756980
28.35/24.29	o 757071
28.35/24.29	o 757242
28.35/24.29	o 757621
28.35/24.29	o 757670
28.35/24.29	o 757831
28.35/24.29	o 758102
28.35/24.29	o 758381
28.35/24.29	o 758430
28.35/24.29	o 758564
28.35/24.29	o 758935
28.35/24.30	o 760572
28.51/24.30	o 761122
28.51/24.30	o 761171
28.51/24.30	o 761401
28.51/24.30	o 761450
28.51/24.30	o 761501
28.51/24.30	o 761780
28.51/24.30	o 761829
28.51/24.30	o 762107
28.51/24.30	o 762278
28.51/24.30	o 762657
28.51/24.30	o 762706
28.51/24.30	o 762936
28.51/24.30	o 762985
28.51/24.30	o 763097
28.51/24.30	o 763146
28.51/24.31	o 763525
28.51/24.31	o 763696
28.51/24.31	o 764075
28.51/24.31	o 764429
28.51/24.31	o 764708
28.51/24.31	o 764800
28.51/24.31	o 765887
28.51/24.31	o 766437
28.51/24.31	o 766716
28.51/24.31	o 766816
28.51/24.31	o 767095
28.51/24.31	o 767144
28.51/24.31	o 767946
28.51/24.31	o 768496
28.51/24.31	o 768545
28.51/24.31	o 769001
28.51/24.32	o 769050
28.51/24.32	o 770008
28.51/24.32	o 770558
28.51/24.32	o 770937
28.51/24.32	o 770986
28.51/24.32	o 771164
28.51/24.32	o 771543
28.51/24.32	o 771592
28.51/24.32	o 771714
28.51/24.32	o 771763
28.51/24.32	o 772093
28.51/24.32	o 772142
28.51/24.32	o 772328
28.51/24.32	o 773315
28.51/24.32	o 773694
28.51/24.32	o 773865
28.51/24.33	o 774244
28.51/24.33	o 775323
28.51/24.33	o 775873
28.51/24.33	o 776252
28.51/24.33	o 776301
28.51/24.33	o 776378
28.51/24.33	o 776757
28.51/24.33	o 776806
28.51/24.33	o 777001
28.51/24.33	o 777050
28.51/24.33	o 777551
28.51/24.33	o 777600
28.51/24.33	o 777930
28.51/24.33	o 777979
28.51/24.33	o 778056
28.51/24.33	o 778435
28.51/24.34	o 778484
28.51/24.34	o 778556
28.51/24.34	o 778605
28.51/24.34	o 779106
28.51/24.34	o 779155
28.51/24.34	o 779485
28.51/24.34	o 779534
28.51/24.34	o 779611
28.51/24.34	o 779990
28.51/24.34	o 780039
28.51/24.34	o 780076
28.51/24.34	o 781014
28.51/24.34	o 781063
28.51/24.35	o 781564
28.51/24.35	o 781613
28.51/24.35	o 781943
28.51/24.35	o 781992
28.51/24.35	o 782069
28.51/24.35	o 782448
28.51/24.35	o 782497
28.51/24.35	o 782717
28.51/24.35	o 782766
28.51/24.35	o 783179
28.51/24.35	o 783729
28.51/24.35	o 785187
28.51/24.35	o 785737
28.51/24.35	o 785786
28.51/24.35	o 786116
28.51/24.35	o 786165
28.51/24.36	o 787103
28.51/24.36	o 787653
28.51/24.36	o 788032
28.51/24.36	o 788081
28.51/24.36	o 788158
28.51/24.36	o 788537
28.51/24.36	o 788586
28.51/24.36	o 788633
28.51/24.36	o 788682
28.51/24.36	o 789183
28.51/24.36	o 789232
28.51/24.36	o 789645
28.51/24.36	o 790195
28.51/24.36	o 791653
28.51/24.36	o 792203
28.51/24.37	o 792252
28.51/24.37	o 792582
28.51/24.37	o 792631
28.51/24.37	o 793069
28.51/24.37	o 794074
28.51/24.37	o 794624
28.51/24.37	o 795003
28.51/24.37	o 795052
28.51/24.37	o 795234
28.51/24.37	o 795605
28.51/24.37	o 795687
28.51/24.37	o 797242
28.51/24.37	o 797291
28.51/24.37	o 797621
28.51/24.37	o 797670
28.51/24.38	o 797792
28.51/24.38	o 798171
28.51/24.38	o 798220
28.51/24.38	o 798595
28.51/24.38	o 798644
28.51/24.38	o 799048
28.51/24.38	o 800603
28.51/24.38	o 800652
28.51/24.38	o 801153
28.51/24.38	o 801202
28.51/24.38	o 801532
28.51/24.38	o 801581
28.51/24.38	o 801742
28.51/24.38	o 802292
28.51/24.38	o 802671
28.51/24.38	o 802754
28.51/24.39	o 803133
28.51/24.39	o 803207
28.51/24.39	o 804762
28.51/24.39	o 805141
28.51/24.39	o 805312
28.51/24.39	o 805691
28.51/24.39	o 805740
28.51/24.39	o 807183
28.51/24.39	o 807232
28.51/24.39	o 807733
28.51/24.39	o 807782
28.51/24.39	o 808112
28.51/24.39	o 808161
29.06/24.74	o 809179
29.06/24.75	o 809868
29.06/24.75	o 810570
29.06/24.75	o 811259
29.06/24.75	o 811890
29.06/24.75	o 812215
29.06/24.76	o 812369
29.06/24.76	o 813760
29.06/24.76	o 814391
29.06/24.76	o 814716
29.06/24.76	o 815080
29.06/24.76	o 815405
29.06/24.76	o 817295
29.06/24.76	o 817926
29.06/24.76	o 818686
29.06/24.76	o 819317
29.06/24.76	o 819375
29.06/24.76	o 820006
29.06/24.77	o 820331
29.06/24.78	o 820425
29.06/24.78	o 821816
29.06/24.78	o 822505
29.06/24.78	o 822830
29.06/24.78	o 823136
29.06/24.78	o 823461
29.06/24.79	o 823523
29.06/24.79	o 824154
29.06/24.79	o 824479
29.06/24.79	o 824573
29.06/24.79	o 825262
29.06/24.79	o 825587
29.06/24.79	o 825964
29.06/24.79	o 826289
29.06/24.80	o 826653
29.06/24.80	o 826978
29.29/24.80	o 827284
29.29/24.80	o 827609
29.29/24.80	o 827853
29.29/24.80	o 828542
29.29/24.80	o 829244
29.29/24.80	o 829933
29.29/24.80	o 830564
29.29/24.81	o 830889
29.29/24.81	o 830983
29.29/24.81	o 832374
29.29/24.81	o 833005
29.29/24.81	o 833330
29.29/24.81	o 833694
29.29/24.81	o 834019
29.29/24.81	o 834023
29.29/24.81	o 834081
29.29/24.81	o 834712
29.29/24.81	o 835037
29.29/24.82	o 835131
29.29/24.82	o 835820
29.29/24.82	o 836145
29.29/24.82	o 836522
29.29/24.82	o 836847
29.29/24.82	o 837211
29.29/24.82	o 837536
29.29/24.82	o 837842
29.29/24.82	o 838167
29.29/24.83	o 838421
29.29/24.83	o 839052
29.29/24.83	o 839233
29.29/24.83	o 839864
29.29/24.83	o 840189
29.29/24.83	o 840251
29.29/24.83	o 840576
29.29/24.84	o 840882
29.29/24.84	o 841207
29.29/24.84	o 841284
29.29/24.84	o 841407
29.29/24.84	o 841465
29.29/24.84	o 842096
29.29/24.84	o 842569
29.29/24.84	o 842692
29.29/24.84	o 843381
29.29/24.84	o 844012
29.29/24.84	o 844337
29.29/24.86	o 844368
29.29/24.86	o 844693
29.29/24.86	o 844933
29.29/24.86	o 845258
29.29/24.86	o 845622
29.29/24.86	o 845947
29.29/24.86	o 846147
29.29/24.86	o 846620
29.29/24.86	o 847251
29.29/24.87	o 847432
29.29/24.87	o 847498
29.29/24.87	o 848063
29.29/24.87	o 848121
29.29/24.87	o 848752
29.29/24.87	o 849077
29.29/24.88	o 849139
29.29/24.88	o 849464
29.29/24.89	o 849770
29.29/24.89	o 850095
29.29/24.89	o 850203
29.29/24.89	o 850768
29.29/24.89	o 851457
29.29/24.89	o 851580
29.29/24.89	o 852269
29.29/24.89	o 852900
29.29/24.89	o 853225
29.93/25.35	o 853272
30.16/25.51	o 853302
30.16/25.51	o 853933
30.16/25.51	o 854095
30.16/25.51	o 854641
30.16/25.51	o 855375
30.16/25.51	o 855808
30.16/25.51	o 856442
30.16/25.51	o 857176
30.16/25.51	o 857807
30.16/25.56	o 857970
30.16/25.58	o 858138
30.16/25.58	o 858161
30.16/25.58	o 859529
30.16/25.58	o 860160
30.16/25.58	o 860323
30.36/25.74	o 860900
30.36/25.74	o 860903
30.36/25.74	o 861534
30.36/25.74	o 861637
30.36/25.74	o 862268
30.36/25.74	o 862431
30.46/25.82	o 862852
30.46/25.82	o 863483
30.46/25.82	o 863646
30.46/25.87	o 863792
30.46/25.87	o 863814
30.46/25.87	o 863837
30.46/25.87	o 864471
30.46/25.87	o 865205
30.46/25.88	o 865836
30.46/25.88	o 865999
30.90/26.26	o 866193
30.90/26.26	o 866296
30.90/26.26	o 866927
30.90/26.26	o 868097
30.90/26.26	o 868728
30.90/26.26	o 869280
30.90/26.26	o 870450
30.90/26.26	o 871081
31.00/26.30	o 871244
31.17/26.40	o 871339
31.17/26.40	o 871361
31.17/26.40	o 871384
31.17/26.40	o 872752
31.17/26.40	o 873383
31.17/26.41	o 874433
31.17/26.41	o 875067
31.17/26.41	o 875698
31.17/26.41	o 875801
31.17/26.41	o 876432
31.17/26.42	o 876595
31.17/26.44	o 876786
31.17/26.44	o 877420
31.17/26.44	o 878154
31.17/26.44	o 878785
31.17/26.44	o 878948
31.29/26.51	o 878955
31.29/26.51	o 879737
31.29/26.51	o 880368
31.29/26.51	o 881538
31.29/26.51	o 882169
31.29/26.52	o 882332
31.29/26.53	o 882478
31.29/26.53	o 882500
31.29/26.53	o 882523
31.29/26.53	o 883891
31.29/26.53	o 884522
31.29/26.54	o 884685
31.70/26.94	o 884863
31.70/26.94	o 884966
31.70/26.94	o 885597
31.91/27.13	o 886005
31.91/27.13	o 886314
31.91/27.14	o 886336
31.91/27.14	o 886359
31.91/27.14	o 887727
31.91/27.14	o 888358
31.91/27.14	o 888576
31.91/27.14	o 889743
31.91/27.14	o 890377
31.91/27.14	o 891008
31.91/27.15	o 891111
31.91/27.15	o 891742
31.91/27.15	o 892096
31.91/27.15	o 892730
31.91/27.15	o 893464
31.91/27.15	o 894095
31.91/27.18	o 894258
32.11/27.32	o 894465
32.11/27.32	o 894952
32.11/27.32	o 895544
32.11/27.32	o 896175
32.11/27.32	o 897402
32.11/27.32	o 898033
32.11/27.32	o 898815
32.11/27.32	o 899446
32.11/27.38	o 899916
32.11/27.38	o 900737
32.11/27.39	o 901472
32.11/27.39	o 906757
32.11/27.39	o 908394
32.11/27.39	o 909083
32.11/27.39	o 910468
32.11/27.39	o 911157
32.11/27.39	o 912105
32.11/27.39	o 912794
32.11/27.39	o 915753
32.11/27.39	o 917390
32.11/27.39	o 918079
32.11/27.39	o 918229
32.11/27.39	o 918275
32.11/27.39	o 918964
32.11/27.39	o 923560
32.11/27.39	o 924249
32.11/27.39	o 925197
32.11/27.40	o 925886
32.11/27.40	o 926130
32.25/27.40	o 927319
32.25/27.40	o 927469
32.25/27.40	o 928204
32.25/27.40	o 933489
32.25/27.40	o 935126
32.25/27.40	o 935815
32.25/27.40	o 936726
32.25/27.40	o 937415
32.25/27.40	o 942548
32.25/27.40	o 944185
32.25/27.40	o 945785
32.25/27.40	o 946474
32.25/27.40	o 951147
32.25/27.40	o 952747
32.25/27.41	o 953436
32.25/27.41	o 953473
32.25/27.41	o 954384
32.25/27.41	o 955073
32.25/27.41	o 955651
32.25/27.41	o 955688
32.25/27.41	o 957288
32.25/27.41	o 957977
32.25/27.41	o 958701
32.25/27.41	o 959390
32.25/27.41	o 960443
32.25/27.41	o 961934
32.25/27.41	o 963347
32.25/27.41	o 964036
38.48/33.33	o 964519
38.48/33.33	o 964933
38.48/33.33	o 966324
38.48/33.35	o 966421
38.48/33.35	o 966598
38.48/33.35	o 966937
38.48/33.35	o 966957
38.48/33.35	o 967697
38.48/33.35	o 967989
38.48/33.35	o 969502
38.48/33.35	o 969945
38.48/33.35	o 970122
38.48/33.35	o 970461
38.48/33.35	o 970481
38.48/33.35	o 971221
38.48/33.35	o 973026
38.48/33.36	o 974539
38.48/33.36	o 974846
38.48/33.36	o 975138
38.48/33.36	o 976651
38.48/33.37	o 978042
38.48/33.39	o 978321
38.48/33.39	o 979712
38.48/33.39	o 979834
38.58/33.40	o 981225
38.58/33.41	o 981870
38.58/33.41	o 983261
38.58/33.41	o 983265
38.58/33.42	o 983419
38.58/33.42	o 984620
38.58/33.42	o 985010
38.58/33.42	o 985338
38.58/33.42	o 986851
38.58/33.42	o 987440
38.58/33.42	o 989245
38.58/33.42	o 990758
38.58/33.42	o 992149
38.58/33.43	o 992616
38.58/33.43	o 993332
38.58/33.43	o 993746
38.58/33.43	o 995137
38.58/33.43	o 995604
38.58/33.44	o 995795
38.58/33.44	o 996262
38.58/33.44	o 996978
38.58/33.45	o 997270
38.58/33.45	o 998783
38.58/33.45	o 999250
38.58/33.46	o 1000174
38.58/33.46	o 1000641
38.58/33.46	o 1000895
38.58/33.47	o 1002286
38.58/33.47	o 1002753
38.58/33.47	o 1002909
38.58/33.47	o 1003201
38.58/33.47	o 1003323
38.58/33.47	o 1004714
38.58/33.48	o 1004993
38.58/33.48	o 1006506
38.58/33.49	o 1007897
38.68/33.51	o 1009026
38.68/33.51	o 1010539
38.68/33.51	o 1011930
38.68/33.53	o 1012209
38.68/33.53	o 1013722
38.68/33.54	o 1015113
38.68/33.55	o 1015230
38.68/33.56	o 1015386
38.68/33.56	o 1015800
38.68/33.56	o 1017191
38.68/33.57	o 1017470
38.68/33.57	o 1018983
38.68/33.58	o 1020374
38.68/33.59	o 1021158
38.68/33.59	o 1021625
38.68/33.59	o 1022032
38.68/33.59	o 1022477
38.68/33.59	o 1022944
38.68/33.59	o 1023753
38.68/33.59	o 1024167
38.68/33.59	o 1025558
38.68/33.59	o 1026025
38.68/33.59	o 1026147
38.68/33.60	o 1027071
38.68/33.60	o 1027538
38.79/33.60	o 1028741
38.79/33.60	o 1028863
38.79/33.60	o 1030254
38.79/33.61	o 1030721
38.79/33.62	o 1031291
38.79/33.62	o 1032682
38.79/33.63	o 1032961
38.79/33.63	o 1034474
38.79/33.63	o 1035865
38.79/33.64	o 1037054
38.79/33.65	o 1037333
38.79/33.65	o 1038724
38.79/33.65	o 1038846
38.79/33.65	o 1040237
38.79/33.66	o 1040802
38.79/33.66	o 1040924
38.79/33.66	o 1042315
38.79/33.67	o 1042594
38.79/33.67	o 1044107
38.79/33.68	o 1045498
38.89/33.79	o 1045570
38.89/33.79	o 1046961
38.99/33.80	o 1048108
38.99/33.81	o 1048631
38.99/33.81	o 1048753
38.99/33.81	o 1050144
39.09/33.94	o 1051185
39.09/33.94	o 1052576
39.30/34.19	o 1052666
39.39/34.20	o 1053236
39.39/34.20	o 1054627
39.39/34.21	o 1054887
39.39/34.21	o 1054906
39.39/34.21	o 1056419
39.39/34.21	o 1057810
39.69/34.52	o 1057904
39.69/34.53	o 1059295
39.69/34.54	o 1059574
39.69/34.54	o 1061087
39.69/34.54	o 1062478
39.69/34.55	o 1063043
39.69/34.55	o 1063165
39.69/34.56	o 1064556
39.69/34.57	o 1064816
39.69/34.57	o 1064835
39.69/34.57	o 1066348
39.69/34.58	o 1067739
39.79/34.68	o 1068707
39.79/34.68	o 1069174
39.79/34.68	o 1070098
39.79/34.68	o 1070565
39.89/34.71	o 1071476
39.89/34.71	o 1071890
39.89/34.71	o 1073281
39.89/34.71	o 1073748
39.89/34.73	o 1074318
39.89/34.73	o 1075709
39.89/34.75	o 1075969
39.89/34.75	o 1077501
39.89/34.75	o 1078892
40.10/34.93	o 1079009
40.10/34.93	o 1079438
40.10/34.93	o 1079579
40.10/34.93	o 1080970
40.10/34.95	o 1082762
40.10/34.95	o 1084153
40.30/35.17	o 1085302
41.31/36.12	o 1085571
41.71/36.58	o 1086563
41.71/36.58	o 1086792
41.71/36.58	o 1087206
41.71/36.58	o 1088597
41.71/36.58	o 1089746
41.92/36.80	o 1090015
42.12/36.92	o 1090391
42.12/36.92	o 1090633
42.12/36.92	o 1091782
42.12/36.93	o 1092051
64.07/58.62	o 1096004
64.07/58.62	o 1096750
64.07/58.62	o 1099127
64.07/58.62	o 1103728
64.07/58.62	o 1104474
64.07/58.63	o 1106831
64.07/58.63	o 1107577
64.07/58.63	o 1111432
64.07/58.63	o 1112178
64.07/58.64	o 1116353
64.07/58.64	o 1117099
64.07/58.65	o 1117438
64.07/58.65	o 1122039
64.07/58.65	o 1122785
64.07/58.65	o 1123105
64.07/58.65	o 1126960
64.07/58.65	o 1127706
64.07/58.65	o 1127711
64.07/58.66	o 1128457
64.07/58.66	o 1130063
64.07/58.67	o 1130383
64.07/58.67	o 1134984
64.07/58.67	o 1135730
64.20/58.71	o 1137127
64.20/58.71	o 1137258
64.20/58.71	o 1138480
64.20/58.72	o 1138611
64.20/58.72	o 1140663
64.20/58.73	o 1140794
64.20/58.73	o 1141187
64.20/58.73	o 1142540
64.20/58.74	o 1142671
64.20/58.74	o 1143524
64.20/58.74	o 1145401
64.20/58.74	o 1145532
64.20/58.74	o 1146754
64.20/58.74	o 1146885
64.20/58.74	o 1146974
64.20/58.75	o 1147052
64.20/58.75	o 1149311
64.20/58.75	o 1151188
64.30/58.84	o 1156217
64.30/58.85	o 1160031
64.30/58.85	o 1160431
64.30/58.86	o 1164245
64.30/58.87	o 1164754
64.30/58.87	o 1168568
64.30/58.88	o 1169255
64.41/58.91	o 1169934
64.41/58.91	o 1170748
64.41/58.91	o 1172008
64.41/58.91	o 1173108
64.41/58.91	o 1175182
64.41/58.92	o 1176442
64.41/58.92	o 1177384
64.41/58.92	o 1178644
64.41/58.92	o 1181818
64.41/58.92	o 1183078
64.41/58.92	o 1183892
64.41/58.92	o 1185152
64.41/58.92	o 1185888
64.41/58.92	o 1186272
64.41/58.92	o 1190179
64.41/58.92	o 1192253
64.41/58.92	o 1192989
64.41/58.92	o 1193513
64.41/58.92	o 1194249
64.41/58.92	o 1194537
64.41/58.92	o 1195351
64.41/58.92	o 1196611
64.41/58.93	o 1197347
64.41/58.93	o 1197553
64.41/58.93	o 1198650
64.41/58.93	o 1200724
64.41/58.93	o 1201460
64.41/58.93	o 1201748
64.41/58.93	o 1202484
64.41/58.93	o 1203822
64.41/58.93	o 1204558
64.41/58.93	o 1205082
64.41/58.93	o 1205818
64.41/58.96	o 1209104
64.41/58.96	o 1213538
64.41/58.96	o 1217700
64.41/58.96	o 1222134
64.41/58.97	o 1225039
64.41/58.97	o 1229473
64.41/58.97	o 1231442
64.41/58.97	o 1233292
64.41/58.98	o 1235757
64.41/58.98	o 1237726
64.41/58.98	o 1241352
64.41/58.98	o 1245786
64.41/58.98	o 1247755
64.62/59.01	o 1251840
64.62/59.01	o 1252576
64.62/59.01	o 1256274
64.62/59.01	o 1257010
64.62/59.03	o 1258837
64.62/59.03	o 1263271
64.62/59.03	o 1264662
64.62/59.04	o 1266566
64.62/59.04	o 1267957
64.62/59.04	o 1271000
64.62/59.04	o 1272391
75.78/70.15	o 1272855
75.78/70.15	o 1273158
75.78/70.15	o 1273194
75.78/70.15	o 1274477
75.78/70.15	o 1275166
75.78/70.15	o 1275340
75.78/70.15	o 1275376
75.78/70.16	o 1275543
75.78/70.16	o 1277348
75.78/70.16	o 1278484
75.78/70.16	o 1279352
75.78/70.16	o 1281039
75.78/70.16	o 1281342
75.78/70.16	o 1281378
75.78/70.16	o 1283350
75.78/70.16	o 1285155
75.78/70.16	o 1285844
75.78/70.18	o 1286099
75.78/70.18	o 1286788
75.78/70.19	o 1287129
75.78/70.19	o 1287523
75.78/70.19	o 1287889
75.78/70.19	o 1288970
75.78/70.19	o 1289416
75.78/70.19	o 1290690
75.78/70.19	o 1291543
75.78/70.19	o 1291911
75.78/70.19	o 1292343
75.78/70.19	o 1292779
75.78/70.19	o 1294466
75.78/70.20	o 1294769
75.78/70.20	o 1294972
75.78/70.20	o 1296777
75.87/70.21	o 1297466
75.87/70.22	o 1297633
75.87/70.22	o 1298749
75.87/70.22	o 1299438
75.87/70.25	o 1299568
75.87/70.25	o 1300851
75.87/70.25	o 1301540
75.87/70.25	o 1302656
75.87/70.25	o 1303345
75.87/70.28	o 1304032
75.97/70.37	o 1304205
75.97/70.37	o 1306010
75.97/70.37	o 1306104
75.97/70.37	o 1306140
75.97/70.37	o 1308112
75.97/70.37	o 1309917
75.97/70.37	o 1310604
75.97/70.38	o 1310606
75.97/70.38	o 1311293
76.07/70.44	o 1311977
76.07/70.49	o 1312040
76.07/70.49	o 1312727
76.07/70.49	o 1313323
76.07/70.49	o 1314012
76.07/70.49	o 1314699
76.18/70.50	o 1314922
76.18/70.50	o 1315609
76.18/70.50	o 1316518
76.18/70.50	o 1316857
76.18/70.50	o 1317024
76.18/70.51	o 1318829
76.18/70.51	o 1319516
76.18/70.52	o 1319518
76.18/70.52	o 1320205
76.18/70.55	o 1320249
76.18/70.56	o 1322054
76.18/70.56	o 1322743
76.18/70.56	o 1323430
76.28/70.62	o 1323697
76.28/70.64	o 1323711
76.28/70.64	o 1324400
76.28/70.65	o 1326022
76.28/70.65	o 1326711
76.28/70.65	o 1327827
76.28/70.65	o 1328516
76.28/70.65	o 1329203
76.28/70.69	o 1330495
76.28/70.69	o 1332300
76.28/70.69	o 1332987
76.38/70.70	o 1332989
76.38/70.70	o 1333676
76.58/70.95	o 1334394
76.58/70.95	o 1335081
76.58/70.95	o 1336199
76.58/70.95	o 1336886
76.58/70.95	o 1336888
76.58/70.95	o 1337575
76.69/71.07	o 1337798
76.69/71.07	o 1338485
76.69/71.07	o 1338487
76.69/71.07	o 1339174
76.69/71.08	o 1339394
76.69/71.08	o 1340083
76.69/71.08	o 1341705
76.69/71.08	o 1342394
76.69/71.08	o 1343081
101.33/95.58	o 1347022
101.33/95.58	o 1349040
101.43/95.60	o 1349356
101.43/95.61	o 1349875
101.43/95.61	o 1350472
101.43/95.61	o 1350489
101.43/95.61	o 1352179
101.43/95.61	o 1353570
101.43/95.61	o 1354089
101.43/95.61	o 1354714
101.43/95.61	o 1355233
101.43/95.61	o 1356105
101.43/95.61	o 1356624
112.38/106.45	o 1356768
112.38/106.45	o 1357882
112.38/106.45	o 1358013
112.38/106.46	o 1358339
112.38/106.46	o 1358470
112.38/106.46	o 1359342
112.38/106.46	o 1360456
112.38/106.46	o 1360587
112.38/106.46	o 1361414
112.38/106.46	o 1361545
112.38/106.47	o 1361871
112.38/106.48	o 1363988
112.38/106.48	o 1364119
112.38/106.48	o 1365102
112.38/106.48	o 1365233
112.48/106.50	o 1365364
112.48/106.50	o 1365821
112.48/106.50	o 1367938
112.48/106.52	o 1369052
112.48/106.54	o 1370467
112.48/106.55	o 1371581
112.48/106.55	o 1372584
112.48/106.55	o 1373698
112.48/106.55	o 1373829
112.48/106.58	o 1375712
112.48/106.58	o 1375896
112.48/106.58	o 1375924
112.48/106.59	o 1376417
112.48/106.59	o 1378241
112.48/106.59	o 1380358
112.48/106.59	o 1381472
112.48/106.59	o 1381603
112.58/106.60	o 1382208
112.58/106.60	o 1382339
112.71/106.79	o 1382427
112.71/106.79	o 1383687
112.71/106.79	o 1383818
112.71/106.79	o 1385078
112.71/106.79	o 1385824
112.71/106.79	o 1386513
114.23/108.21	o 1387775
114.23/108.21	o 1388780
114.23/108.21	o 1391768
114.23/108.22	o 1392338
114.23/108.22	o 1395326
114.23/108.22	o 1396269
114.23/108.22	o 1399257
114.23/108.22	o 1400145
114.23/108.22	o 1400518
114.23/108.22	o 1404076
114.23/108.22	o 1407064
114.23/108.22	o 1407447
114.23/108.22	o 1408017
114.23/108.22	o 1411005
114.23/108.22	o 1411063
114.23/108.22	o 1414621
114.23/108.22	o 1417609
114.23/108.25	o 1421838
114.23/108.25	o 1426272
114.23/108.25	o 1428666
114.23/108.27	o 1433116
114.23/108.28	o 1437550
117.62/111.58	o 1438450
117.62/111.58	o 1439139
117.62/111.59	o 1439307
117.62/111.59	o 1440567
117.62/111.60	o 1440771
117.74/111.60	o 1441572
117.74/111.60	o 1443698
117.74/111.61	o 1446006
117.74/111.61	o 1448132
117.74/111.62	o 1448616
117.74/111.62	o 1450927
117.74/111.62	o 1453053
117.74/111.63	o 1453565
117.74/111.64	o 1454323
117.74/111.64	o 1454613
117.74/111.64	o 1455466
117.74/111.64	o 1456360
117.74/111.64	o 1458486
117.74/111.65	o 1458671
117.74/111.66	o 1460797
117.74/111.67	o 1462057
117.74/111.69	o 1462746
117.85/111.72	o 1464604
132.36/125.97	o 1465559
132.36/125.97	o 1466650
132.36/125.97	o 1467339
132.36/125.97	o 1467634
132.36/125.97	o 1468323
132.36/125.97	o 1468621
132.36/125.97	o 1469310
132.36/125.98	o 1469606
132.36/125.98	o 1469754
132.36/125.98	o 1470593
132.36/125.98	o 1471282
132.36/125.98	o 1471749
132.36/125.98	o 1471837
132.36/125.98	o 1471840
132.36/125.98	o 1472357
132.36/125.98	o 1472824
132.36/125.98	o 1473034
132.36/125.99	o 1473501
132.36/125.99	o 1473821
132.36/125.99	o 1474498
132.36/125.99	o 1474965
132.36/125.99	o 1475337
132.36/125.99	o 1475804
132.47/126.01	o 1476319
132.47/126.01	o 1476322
132.47/126.01	o 1476617
132.47/126.01	o 1477306
132.47/126.01	o 1477498
132.47/126.01	o 1477602
132.47/126.01	o 1477605
132.47/126.02	o 1478589
132.47/126.02	o 1479278
132.47/126.09	o 1481672
132.47/126.09	o 1483477
132.61/126.15	o 1485237
132.61/126.15	o 1485704
132.61/126.15	o 1487095
132.61/126.16	o 1487562
132.61/126.16	o 1487831
132.61/126.16	o 1488298
133.87/127.36	o 1488342
133.87/127.36	o 1488510
133.87/127.36	o 1489029
134.07/127.53	o 1489402
134.07/127.54	o 1489921
134.07/127.56	o 1490084
134.07/127.56	o 1490341
134.07/127.56	o 1490958
134.07/127.56	o 1491213
134.07/127.56	o 1491531
134.07/127.56	o 1492218
134.07/127.56	o 1492622
134.07/127.56	o 1493309
134.07/127.56	o 1493828
135.40/128.84	o 1494739
135.40/128.84	o 1495258
135.40/128.84	o 1495426
135.40/128.84	o 1495945
136.11/129.51	o 1496012
136.74/130.14	o 1496330
136.74/130.14	o 1496849
136.74/130.15	o 1497017
136.74/130.15	o 1497536
136.83/130.27	o 1498005
136.83/130.28	o 1498692
136.83/130.29	o 1499211
136.93/130.30	o 1499287
136.93/130.30	o 1499605
136.93/130.30	o 1500292
136.93/130.30	o 1500811
137.44/130.83	o 1500923
137.44/130.83	o 1501442
137.85/131.25	o 1501449
137.85/131.26	o 1501968
137.95/131.33	o 1502362
137.95/131.33	o 1502418
137.95/131.35	o 1503049
137.95/131.36	o 1503568
138.97/132.34	o 1506417
138.97/132.34	o 1508991
140.95/134.25	o 1513864
140.95/134.25	o 1518298
141.16/134.30	o 1519447
141.16/134.30	o 1522791
141.16/134.31	o 1523940
141.58/134.74	o 1524496
141.58/134.74	o 1525067
141.58/134.74	o 1525756
141.58/134.74	o 1526303
141.58/134.74	o 1526992
141.58/134.74	o 1528408
141.58/134.74	o 1529668
141.58/134.74	o 1530904
141.58/134.75	o 1531593
141.58/134.75	o 1531662
141.58/134.75	o 1532351
141.58/134.75	o 1532922
141.58/134.75	o 1533611
141.58/134.78	o 1538462
141.58/134.78	o 1540508
141.58/134.78	o 1547769
142.01/135.16	o 1547909
163.49/156.14	o 1548436
167.32/159.72	o 1551056
177.52/169.82	o 1551723
177.52/169.82	o 1551892
177.52/169.82	o 1552237
177.52/169.82	o 1552983
177.52/169.87	o 1553817
177.52/169.87	o 1553928
177.52/169.87	o 1554526
177.52/169.87	o 1554695
177.52/169.87	o 1555786
177.62/169.92	o 1556345
177.62/169.92	o 1556452
177.62/169.92	o 1557712
177.62/169.93	o 1559519
177.62/169.93	o 1560779
177.62/169.93	o 1561870
177.62/169.93	o 1562616
179.46/171.72	o 1562636
179.46/171.72	o 1562642
179.46/171.72	o 1563169
179.46/171.72	o 1563258
179.46/171.72	o 1563785
179.46/171.75	o 1564226
179.46/171.75	o 1564759
179.46/171.75	o 1565375
179.46/171.75	o 1565902
179.46/171.78	o 1566270
179.46/171.78	o 1566359
179.46/171.78	o 1566886
179.56/171.83	o 1567050
179.56/171.83	o 1567666
179.56/171.87	o 1568055
179.56/171.87	o 1568599
179.56/171.87	o 1569185
179.56/171.88	o 1569894
179.56/171.88	o 1571043
179.56/171.89	o 1571659
179.56/171.89	o 1572027
179.56/171.89	o 1572643
179.56/171.89	o 1573170
180.90/173.18	o 1573591
180.90/173.18	o 1573664
180.90/173.18	o 1574280
181.22/173.47	o 1574438
181.22/173.47	o 1575552
181.22/173.47	o 1575587
181.22/173.47	o 1576701
182.63/174.87	o 1577302
229.62/220.79	o 1577852
229.62/220.79	o 1577984
229.62/220.79	o 1578730
229.62/220.79	o 1579075
229.62/220.79	o 1579821
229.62/220.79	o 1580508
229.62/220.79	o 1581047
229.62/220.79	o 1581734
229.62/220.79	o 1581793
229.62/220.79	o 1582480
229.74/220.81	o 1582902
229.74/220.81	o 1582905
229.74/220.81	o 1583037
229.74/220.81	o 1584128
229.74/220.81	o 1584874
229.74/220.83	o 1585561
231.31/222.31	o 1586051
231.31/222.31	o 1587287
296.91/286.36	o 1587291
340.33/328.72	o 1587925
340.33/328.72	o 1590087
340.33/328.72	o 1592398
374.97/362.54	o 1592536
374.97/362.54	o 1592907
374.97/362.54	o 1593523
374.97/362.54	o 1593538
374.97/362.54	o 1594154
377.95/365.47	o 1594652
377.95/365.47	o 1595268
379.99/367.49	o 1595600
379.99/367.49	o 1596098
379.99/367.49	o 1596714
379.99/367.49	o 1597068
379.99/367.49	o 1597228
379.99/367.49	o 1597826
379.99/367.49	o 1597972
379.99/367.49	o 1598455
379.99/367.49	o 1599086
380.09/367.52	o 1599702
380.98/368.28	o 1600007
380.98/368.28	o 1600573
380.98/368.28	o 1601722
381.08/368.31	o 1602994
381.08/368.33	o 1604143
405.95/392.56	o 1604202
405.95/392.56	o 1604532
405.95/392.56	o 1605792
405.95/392.56	o 1606319
406.36/392.95	o 1606508
406.36/392.95	o 1607035
406.48/393.07	o 1608966
406.48/393.10	o 1609493
406.58/393.15	o 1610226
406.58/393.16	o 1610753
407.39/393.93	o 1611540
407.39/393.99	o 1612800
407.60/394.12	o 1613327
410.15/396.62	o 1617271
410.15/396.65	o 1618997
410.15/396.65	o 1619001
410.37/396.83	o 1619684
410.37/396.83	o 1619688
412.21/398.63	o 1620976
412.21/398.63	o 1624974
412.21/398.63	o 1624978
412.42/398.88	o 1626065
412.42/398.88	o 1626069
413.45/399.82	o 1626075
413.45/399.82	o 1626764
413.45/399.82	o 1626821
413.45/399.82	o 1627510
413.66/400.09	o 1627514
448.46/433.98	o 1627882
448.46/433.98	o 1627970
448.46/433.98	o 1628497
448.46/433.98	o 1628847
448.46/433.98	o 1629478
448.46/433.98	o 1631158
448.46/433.98	o 1631789
448.46/433.98	o 1632316
448.77/434.25	o 1632881
448.77/434.25	o 1634030
448.98/434.43	o 1635216
448.98/434.43	o 1635743
449.61/435.08	o 1636359
449.61/435.08	o 1637095
449.61/435.08	o 1637450
449.61/435.08	o 1638186
451.98/437.37	o 1638781
451.98/437.37	o 1639468
457.83/443.03	o 1639552
457.83/443.03	o 1639919
457.83/443.03	o 1640298
458.14/443.39	o 1641010
458.14/443.39	o 1641389
461.52/446.68	o 1642000
461.52/446.68	o 1642736
461.62/446.78	o 1643130
461.62/446.78	o 1644117
461.62/446.78	o 1644853
461.73/446.83	o 1645424
461.73/446.83	o 1646408
461.73/446.83	o 1646777
461.73/446.83	o 1647437
461.73/446.83	o 1648767
461.73/446.83	o 1649858
461.73/446.83	o 1650842
470.12/455.10	o 1651043
470.12/455.10	o 1651125
470.12/455.10	o 1651172
470.12/455.10	o 1651245
470.12/455.10	o 1651861
470.12/455.10	o 1652359
470.12/455.11	o 1652975
470.23/455.11	o 1653354
471.55/456.43	o 1653601
471.55/456.43	o 1654278
471.55/456.43	o 1654913
471.55/456.43	o 1655602
471.55/456.43	o 1655900
471.55/456.43	o 1656589
471.55/456.44	o 1657276
495.90/480.11	o 1657424
499.79/483.93	o 1662019
499.79/483.93	o 1662755
499.79/483.93	o 1665270
499.79/483.93	o 1670903
499.79/483.93	o 1671639
501.43/485.55	o 1671923
502.06/486.11	o 1672317
502.06/486.12	o 1672753
502.06/486.12	o 1673442
505.19/489.05	o 1673888
505.19/489.05	o 1676099
505.19/489.05	o 1677359
505.19/489.05	o 1680652
505.19/489.05	o 1681912
505.38/489.21	o 1683003
516.34/499.96	o 1684826
516.34/499.97	o 1685513
516.55/500.12	o 1689180
516.55/500.12	o 1689867
525.17/508.51	o 1690165
525.17/508.51	o 1690770
525.17/508.51	o 1691149
525.27/508.66	o 1691261
525.27/508.67	o 1691640
525.47/508.87	o 1691895
525.57/508.95	o 1692274
525.68/509.03	o 1692386
525.68/509.03	o 1692765
525.68/509.07	o 1693552
525.68/509.07	o 1694234
525.68/509.07	o 1694510
525.68/509.07	o 1695494
525.68/509.07	o 1695635
525.68/509.07	o 1696619
525.68/509.07	o 1696998
525.68/509.08	o 1697110
525.68/509.08	o 1697489
526.08/509.49	o 1697495
526.08/509.49	o 1697986
526.08/509.49	o 1698668
526.08/509.49	o 1698944
526.08/509.49	o 1699928
526.08/509.49	o 1700069
526.08/509.49	o 1701053
527.20/510.56	o 1701432
527.40/510.77	o 1701544
527.40/510.77	o 1701923
527.50/510.87	o 1701982
527.50/510.87	o 1702509
527.50/510.87	o 1702719
527.50/510.87	o 1702969
527.50/510.87	o 1704205
527.50/510.87	o 1706036
527.50/510.87	o 1707272
527.50/510.87	o 1707961
527.50/510.87	o 1708488
531.69/514.90	o 1709421
531.69/514.90	o 1711279
531.69/514.94	o 1713775
531.69/514.98	o 1715633
531.90/515.14	o 1716196
531.90/515.14	o 1718054
552.71/535.45	o 1718488
552.71/535.45	o 1718684
552.71/535.45	o 1720284
552.71/535.45	o 1720810
552.71/535.45	o 1722410
552.71/535.46	o 1722789
552.71/535.46	o 1724033
552.71/535.46	o 1724247
552.71/535.46	o 1726043
552.71/535.46	o 1728169
552.71/535.46	o 1728548
597.40/579.07	o 1728555
597.40/579.07	o 1729105
597.59/579.23	o 1729244
597.59/579.23	o 1729794
600.88/582.46	o 1730375
600.88/582.46	o 1730800
600.88/582.46	o 1731489
601.61/583.12	o 1732315
602.12/583.64	o 1734759
602.12/583.64	o 1735873
602.12/583.64	o 1737180
602.12/583.64	o 1738294
602.74/584.20	o 1738983
612.59/593.20	o 1739370
612.59/593.20	o 1739707
612.59/593.20	o 1743097
612.59/593.21	o 1743843
612.59/593.21	o 1744333
612.59/593.21	o 1745079
612.59/593.21	o 1745766
655.24/634.92	o 1745856
655.24/634.92	o 1746406
657.49/637.17	o 1750159
657.49/637.18	o 1752285
657.49/637.18	o 1755998
657.49/637.18	o 1757523
657.49/637.18	o 1761877
657.70/637.39	o 1763236
657.70/637.39	o 1767590
658.72/638.35	o 1767660
658.72/638.35	o 1768210
659.02/638.60	o 1768754
659.32/638.98	o 1773521
659.32/638.98	o 1777955
660.86/640.45	o 1778135
660.86/640.45	o 1780709
661.16/640.73	o 1784114
661.36/640.96	o 1786688
661.79/641.35	o 1786910
661.79/641.35	o 1788247
661.79/641.35	o 1792681
661.79/641.35	o 1795748
661.79/641.36	o 1798169
661.89/641.45	o 1799252
661.89/641.45	o 1799802
661.89/641.45	o 1799939
661.89/641.45	o 1800489
661.89/641.49	o 1802114
661.89/641.49	o 1803228
661.99/641.52	o 1804449
663.97/643.45	o 1804652
663.97/643.45	o 1805341
663.97/643.45	o 1806019
663.97/643.45	o 1806098
663.97/643.45	o 1807068
663.97/643.45	o 1809086
663.97/643.45	o 1809775
664.97/644.41	o 1810218
664.97/644.41	o 1810250
664.97/644.41	o 1810838
664.97/644.41	o 1810870
665.61/645.01	o 1814702
665.61/645.07	o 1816783
665.61/645.07	o 1817908
665.61/645.07	o 1819900
665.61/645.07	o 1822017
665.61/645.07	o 1823142
665.71/645.20	o 1823310
665.71/645.20	o 1823997
669.60/648.94	o 1824167
669.60/648.94	o 1824856
670.23/649.58	o 1826731
670.23/649.58	o 1827952
670.23/649.58	o 1828589
670.23/649.58	o 1829810
670.23/649.58	o 1830935
670.45/649.72	o 1831624
671.25/650.58	o 1832492
671.25/650.58	o 1833181
671.25/650.58	o 1835329
671.25/650.58	o 1836969
671.25/650.58	o 1839543
671.25/650.59	o 1840232
671.79/651.10	o 1840244
676.59/655.77	o 1840713
711.63/689.84	o 1840958
711.63/689.84	o 1841502
711.63/689.84	o 1841945
711.63/689.84	o 1842489
758.49/735.26	o 1843261
758.49/735.26	o 1844499
758.49/735.26	o 1846819
761.38/738.07	o 1847969
761.57/738.27	o 1849827
762.81/739.47	o 1850215
762.81/739.47	o 1851668
762.81/739.47	o 1852187
762.81/739.47	o 1852782
762.81/739.47	o 1853301
762.81/739.47	o 1853528
762.81/739.47	o 1854047
773.15/749.57	o 1855104
773.15/749.57	o 1856289
773.15/749.57	o 1857525
777.17/753.44	o 1858007
777.57/753.89	o 1860255
777.57/753.89	o 1864689
808.87/784.20	o 1865201
809.46/784.77	o 1865261
809.46/784.77	o 1865877
809.46/784.77	o 1866390
809.46/784.77	o 1867006
809.96/785.24	o 1868227
885.62/858.61	o 1870655
885.62/858.61	o 1871344
1039.24/1007.93	o 1871827
1039.54/1008.21	o 1871914
1039.54/1008.21	o 1872517
1039.54/1008.21	o 1874489
1039.54/1008.21	o 1875749
1039.54/1008.21	o 1876268
1113.01/1079.92	o 1877256
1113.01/1079.92	o 1877365
1113.01/1079.92	o 1877401
1113.01/1079.93	o 1879373
1113.01/1079.93	o 1880357
1135.91/1101.96	o 1881806
1135.91/1101.96	o 1882790
1136.12/1102.11	o 1883169
1684.13/1635.28	o 1883268
1684.13/1635.28	o 1883834
1684.13/1635.28	o 1884963
1684.13/1635.29	o 1885579
1707.19/1657.74	o 1886071
1707.19/1657.74	o 1886305
1707.19/1657.74	o 1887292
1707.69/1658.29	o 1888281
1707.69/1658.29	o 1890601
1707.69/1658.29	o 1891585
1709.84/1660.39	o 1892912
1709.84/1660.39	o 1893896
1717.29/1667.23	o 1894236
1717.29/1667.23	o 1895887
1717.29/1667.23	o 1897108
1757.46/1706.43	o 1897822
1757.46/1706.43	o 1899136
1757.46/1706.43	o 1900396
1759.33/1708.21	o 1901632
1759.63/1708.56	o 1902151
1912.55/1857.42	o 1903062
1913.32/1858.15	o 1903069
1913.32/1858.16	o 1903947
1913.32/1858.16	o 1904295
1913.32/1858.16	o 1906267
1913.32/1858.16	o 1907503
1929.64/1873.61	o 1908053
1944.11/1887.84	o 1908352
1944.11/1887.85	o 1908902
1970.68/1913.70	o 1908950
1971.78/1914.86	o 1908961
1971.78/1914.86	o 1909340
1971.78/1914.86	o 1909511
1971.78/1914.86	o 1909890
1974.54/1917.52	o 1910209
1998.82/1941.29	o 1910907
1998.82/1941.29	o 1911426
2002.04/1944.35	o 1911861
2002.04/1944.35	o 1913771
2002.24/1944.52	o 1914900
2002.34/1944.69	o 1915419
2032.80/1974.39	o 1916044
2033.80/1975.32	o 1916593
2035.38/1976.83	o 1916796
2035.38/1976.83	o 1917929
2035.38/1976.83	o 1918913
2037.38/1978.82	o 1922084
2037.38/1978.82	o 1922634
2037.38/1978.82	o 1923344
2037.38/1978.82	o 1923894
2038.75/1979.70	o 1926015
2038.75/1979.70	o 1927275
2038.75/1979.70	o 1927825
2044.77/1985.60	o 1928492
2044.77/1985.60	o 1929617
2046.07/1986.93	o 1930136
2113.66/2052.94	o 1930361
2113.66/2052.95	o 1930680
2149.50/2087.56	o 1931361
2149.50/2087.56	o 1932486
2152.97/2090.94	o 1933473
2213.91/2150.35	o 1935083
2214.32/2150.76	o 1935859
2214.32/2150.76	o 1938275
2214.32/2150.76	o 1940293
2222.90/2159.11	o 1940493
2222.90/2159.11	o 1940812
2223.49/2159.72	o 1940857
2223.49/2159.72	o 1941376
2223.49/2159.72	o 1941986
2223.49/2159.72	o 1942505
2223.49/2159.72	o 1943470
2223.69/2159.92	o 1944186
2223.69/2159.93	o 1944915
2223.69/2159.93	o 1946044
2223.90/2160.11	o 1946563
2223.90/2160.11	o 1947226
2223.90/2160.12	o 1947745
2223.90/2160.12	o 1948355
2223.90/2160.12	o 1948874
2232.67/2168.77	o 1950095
2232.67/2168.77	o 1951331
2234.08/2170.13	o 1951881
2456.08/2385.68	o 1951987
2456.08/2385.68	o 1953486
2456.08/2385.68	o 1954005
2456.08/2385.68	o 1955458
2456.08/2385.68	o 1955977
2520.02/2448.14	s SATISFIABLE
2520.02/2448.14	v <instantiation>
2520.02/2448.14	v 	<list>
2520.02/2448.14	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]
2520.02/2448.14	v 	</list>
2520.02/2448.14	v 	<values>
2520.02/2448.14	v 		0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
2520.02/2448.14	v 	</values>
2520.02/2448.14	v </instantiation>

Verifier Data 

OK	1955977

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308686-1534282959/watcher-4308686-1534282959 -o /tmp/evaluation-result-4308686-1534282959/solver-4308686-1534282959 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534270607-2649 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1555199063 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308686-1534282959.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
solver pid=4234, runsolver pid=4231
Current StackSize limit: 8192 KiB


[startup+0.100821 s]*
/proc/loadavg: 1.58 1.73 1.81 4/216 4249
/proc/meminfo: memFree=14750332/32770624 swapFree=67108504/67108860
[pid=4234] ppid=4231 vsize=14082736 memory=32872 CPUtime=0.11 cores=0,2,4,6
/proc/4234/stat : 4234 (java) S 4231 4234 875 0 -1 1077944320 7145 0 0 0 10 1 0 0 20 0 15 0 245859055 14420721664 8218 33554432000 4194304 4196468 140735375329504 140735375312048 140680769343223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
/proc/4234/statm: 3520684 8218 3138 1 0 3482761 0
[pid=4234/tid=4236] ppid=4231 vsize=14082736 memory=8389772277269004345 CPUtime=0.09 cores=0,2,4,6
/proc/4234/task/4236/stat : 4236 (java) R 4231 4234 875 0 -1 4202560 5356 0 0 0 8 1 0 0 20 0 15 0 245859055 14420721664 8350 33554432000 4194304 4196468 140735375329504 140680773542344 140680769365149 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4237] ppid=4231 vsize=14082736 memory=288293255295270935 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4237/stat : 4237 (java) S 4231 4234 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245859056 14420721664 8350 33554432000 4194304 4196468 140735375329504 140680721963920 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4238] ppid=4231 vsize=14082736 memory=4122678025192081056 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4238/stat : 4238 (java) S 4231 4234 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245859056 14420721664 8350 33554432000 4194304 4196468 140735375329504 140680720911120 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4239] ppid=4231 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4239/stat : 4239 (java) S 4231 4234 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245859056 14420721664 8350 33554432000 4194304 4196468 140735375329504 140680719858832 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4240] ppid=4231 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4240/stat : 4240 (java) S 4231 4234 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245859056 14420721664 8350 33554432000 4194304 4196468 140735375329504 140680718806032 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4241] ppid=4231 vsize=14082736 memory=140312234034816 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4241/stat : 4241 (java) S 4231 4234 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245859057 14420721664 8350 33554432000 4194304 4196468 140735375329504 140680243435632 140680769354370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4242] ppid=4231 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4242/stat : 4242 (java) S 4231 4234 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245859058 14420721664 8350 33554432000 4194304 4196468 140735375329504 140680242381600 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4243] ppid=4231 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4243/stat : 4243 (java) S 4231 4234 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245859058 14420721664 8350 33554432000 4194304 4196468 140735375329504 140680241329264 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4244] ppid=4231 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4244/stat : 4244 (java) S 4231 4234 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245859060 14420721664 8350 33554432000 4194304 4196468 140735375329504 140680240277584 140680769361819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4245] ppid=4231 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4245/stat : 4245 (java) S 4231 4234 875 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 245859060 14420721664 8350 33554432000 4194304 4196468 140735375329504 140680239225456 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4246] ppid=4231 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4246/stat : 4246 (java) S 4231 4234 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245859060 14420721664 8350 33554432000 4194304 4196468 140735375329504 140680238172656 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4247] ppid=4231 vsize=14082736 memory=140312234034816 CPUtime=0.01 cores=0,2,4,6
/proc/4234/task/4247/stat : 4247 (java) R 4231 4234 875 0 -1 4202560 241 0 0 0 1 0 0 0 20 0 15 0 245859060 14420721664 8350 33554432000 4194304 4196468 140735375329504 140680237120368 140680769355158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4248] ppid=4231 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4248/stat : 4248 (java) S 4231 4234 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245859061 14420721664 8350 33554432000 4194304 4196468 140735375329504 140680236067808 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4249] ppid=4231 vsize=14082736 memory=140312234034816 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4249/stat : 4249 (java) S 4231 4234 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245859061 14420721664 8350 33554432000 4194304 4196468 140735375329504 140680235014576 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32872 KiB

[startup+0.216855 s]*
/proc/loadavg: 1.58 1.73 1.81 5/216 4249
/proc/meminfo: memFree=14736288/32770624 swapFree=67108504/67108860
[pid=4234] ppid=4231 vsize=14082736 memory=47064 CPUtime=0.32 cores=0,2,4,6
/proc/4234/stat : 4234 (java) S 4231 4234 875 0 -1 1077944320 10358 0 0 0 30 2 0 0 20 0 15 0 245859055 14420721664 11766 33554432000 4194304 4196468 140735375329504 140735375312048 140680769343223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
/proc/4234/statm: 3520684 11766 3370 1 0 3482761 0
[pid=4234/tid=4236] ppid=4231 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4234/task/4236/stat : 4236 (java) R 4231 4234 875 0 -1 4202560 8110 0 0 0 19 1 0 0 20 0 15 0 245859055 14420721664 11799 33554432000 4194304 4196468 140735375329504 140680773568128 140680753423710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4237] ppid=4231 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4237/stat : 4237 (java) S 4231 4234 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245859056 14420721664 11799 33554432000 4194304 4196468 140735375329504 140680721963920 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4238] ppid=4231 vsize=14082736 memory=3905944483558196896 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4238/stat : 4238 (java) S 4231 4234 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245859056 14420721664 11799 33554432000 4194304 4196468 140735375329504 140680720911120 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4239] ppid=4231 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4239/stat : 4239 (java) S 4231 4234 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245859056 14420721664 11799 33554432000 4194304 4196468 140735375329504 140680719858832 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4240] ppid=4231 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4240/stat : 4240 (java) S 4231 4234 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245859056 14420721664 11799 33554432000 4194304 4196468 140735375329504 140680718806032 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4241] ppid=4231 vsize=14082736 memory=140312234034816 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4241/stat : 4241 (java) S 4231 4234 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245859057 14420721664 11799 33554432000 4194304 4196468 140735375329504 140680243435632 140680769354370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4242] ppid=4231 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4242/stat : 4242 (java) S 4231 4234 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245859058 14420721664 11799 33554432000 4194304 4196468 140735375329504 140680242381600 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4243] ppid=4231 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4243/stat : 4243 (java) S 4231 4234 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245859058 14420721664 11799 33554432000 4194304 4196468 140735375329504 140680241329264 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4244] ppid=4231 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4244/stat : 4244 (java) S 4231 4234 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245859060 14420721664 11799 33554432000 4194304 4196468 140735375329504 140680240277584 140680769361819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4245] ppid=4231 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4234/task/4245/stat : 4245 (java) S 4231 4234 875 0 -1 1077944384 370 0 0 0 1 0 0 0 20 0 15 0 245859060 14420721664 11799 33554432000 4194304 4196468 140735375329504 140680239225456 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4246] ppid=4231 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4234/task/4246/stat : 4246 (java) S 4231 4234 875 0 -1 1077944384 237 0 0 0 2 0 0 0 20 0 15 0 245859060 14420721664 11799 33554432000 4194304 4196468 140735375329504 140680238172656 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4247] ppid=4231 vsize=14082736 memory=140312234034816 CPUtime=0.06 cores=0,2,4,6
/proc/4234/task/4247/stat : 4247 (java) R 4231 4234 875 0 -1 4202560 277 0 0 0 6 0 0 0 20 0 15 0 245859060 14420721664 11799 33554432000 4194304 4196468 140735375329504 140680237120368 140680753423710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4248] ppid=4231 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4248/stat : 4248 (java) S 4231 4234 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245859061 14420721664 11799 33554432000 4194304 4196468 140735375329504 140680236067808 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4249] ppid=4231 vsize=14082736 memory=140312234034816 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4249/stat : 4249 (java) S 4231 4234 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245859061 14420721664 11799 33554432000 4194304 4196468 140735375329504 140680235014576 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47064 KiB

[startup+0.310593 s]*
/proc/loadavg: 1.58 1.73 1.81 3/216 4249
/proc/meminfo: memFree=14733000/32770624 swapFree=67108504/67108860
[pid=4234] ppid=4231 vsize=14082736 memory=50380 CPUtime=0.43 cores=0,2,4,6
/proc/4234/stat : 4234 (java) S 4231 4234 875 0 -1 1077944320 10710 0 0 0 41 2 0 0 20 0 15 0 245859055 14420721664 12595 33554432000 4194304 4196468 140735375329504 140735375312048 140680769343223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
/proc/4234/statm: 3520684 12595 3372 1 0 3482761 0
[pid=4234/tid=4236] ppid=4231 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/4234/task/4236/stat : 4236 (java) R 4231 4234 875 0 -1 4202560 8432 0 0 0 28 1 0 0 20 0 15 0 245859055 14420721664 12595 33554432000 4194304 4196468 140735375329504 140680773564320 140680750896528 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4237] ppid=4231 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4237/stat : 4237 (java) S 4231 4234 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245859056 14420721664 12595 33554432000 4194304 4196468 140735375329504 140680721963920 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4238] ppid=4231 vsize=14082736 memory=3546778019507078816 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4238/stat : 4238 (java) S 4231 4234 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245859056 14420721664 12595 33554432000 4194304 4196468 140735375329504 140680720911120 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4239] ppid=4231 vsize=14082736 memory=9796 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4239/stat : 4239 (java) S 4231 4234 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245859056 14420721664 12595 33554432000 4194304 4196468 140735375329504 140680719858832 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4240] ppid=4231 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4240/stat : 4240 (java) S 4231 4234 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245859056 14420721664 12595 33554432000 4194304 4196468 140735375329504 140680718806032 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4241] ppid=4231 vsize=14082736 memory=140312234049152 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4241/stat : 4241 (java) S 4231 4234 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245859057 14420721664 12595 33554432000 4194304 4196468 140735375329504 140680243435632 140680769354370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4242] ppid=4231 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4242/stat : 4242 (java) S 4231 4234 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245859058 14420721664 12595 33554432000 4194304 4196468 140735375329504 140680242381600 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4243] ppid=4231 vsize=14082736 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4243/stat : 4243 (java) S 4231 4234 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245859058 14420721664 12595 33554432000 4194304 4196468 140735375329504 140680241329264 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4244] ppid=4231 vsize=14082736 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4244/stat : 4244 (java) S 4231 4234 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245859060 14420721664 12595 33554432000 4194304 4196468 140735375329504 140680240277584 140680769361819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4245] ppid=4231 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4234/task/4245/stat : 4245 (java) S 4231 4234 875 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 15 0 245859060 14420721664 12595 33554432000 4194304 4196468 140735375329504 140680239225456 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4246] ppid=4231 vsize=14082736 memory=35 CPUtime=0.02 cores=0,2,4,6
/proc/4234/task/4246/stat : 4246 (java) S 4231 4234 875 0 -1 1077944384 237 0 0 0 2 0 0 0 20 0 15 0 245859060 14420721664 12595 33554432000 4194304 4196468 140735375329504 140680238172656 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4247] ppid=4231 vsize=14082736 memory=140312234041632 CPUtime=0.07 cores=0,2,4,6
/proc/4234/task/4247/stat : 4247 (java) S 4231 4234 875 0 -1 1077944384 289 0 0 0 7 0 0 0 20 0 15 0 245859060 14420721664 12595 33554432000 4194304 4196468 140735375329504 140680237120368 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4248] ppid=4231 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4248/stat : 4248 (java) S 4231 4234 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245859061 14420721664 12595 33554432000 4194304 4196468 140735375329504 140680236067808 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4249] ppid=4231 vsize=14082736 memory=140312234034816 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4249/stat : 4249 (java) S 4231 4234 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245859061 14420721664 12595 33554432000 4194304 4196468 140735375329504 140680235014576 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50380 KiB

[startup+0.700801 s]
/proc/loadavg: 1.58 1.73 1.81 4/216 4249
/proc/meminfo: memFree=14708828/32770624 swapFree=67108504/67108860
[pid=4234] ppid=4231 vsize=14084804 memory=89196 CPUtime=0.99 cores=0,2,4,6
/proc/4234/stat : 4234 (java) S 4231 4234 875 0 -1 1077944320 17591 0 0 0 95 4 0 0 20 0 15 0 245859055 14422839296 22299 33554432000 4194304 4196468 140735375329504 140735375312048 140680769343223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
/proc/4234/statm: 3521201 22299 3504 1 0 3483273 0
[pid=4234/tid=4236] ppid=4231 vsize=14084804 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/4234/task/4236/stat : 4236 (java) R 4231 4234 875 0 -1 4202560 14869 0 0 0 64 3 0 0 20 0 15 0 245859055 14422839296 22299 33554432000 4194304 4196468 140735375329504 140680773541136 140680753423710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4237] ppid=4231 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4237/stat : 4237 (java) S 4231 4234 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245859056 14422839296 22299 33554432000 4194304 4196468 140735375329504 140680721963920 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4238] ppid=4231 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4238/stat : 4238 (java) S 4231 4234 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245859056 14422839296 22299 33554432000 4194304 4196468 140735375329504 140680720911120 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4239] ppid=4231 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4239/stat : 4239 (java) S 4231 4234 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245859056 14422839296 22299 33554432000 4194304 4196468 140735375329504 140680719858832 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4240] ppid=4231 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4240/stat : 4240 (java) S 4231 4234 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245859056 14422839296 22299 33554432000 4194304 4196468 140735375329504 140680718806032 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4241] ppid=4231 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4241/stat : 4241 (java) S 4231 4234 875 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245859057 14422839296 22299 33554432000 4194304 4196468 140735375329504 140680243435632 140680769354370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4242] ppid=4231 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4242/stat : 4242 (java) S 4231 4234 875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245859058 14422839296 22299 33554432000 4194304 4196468 140735375329504 140680242381600 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4243] ppid=4231 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4243/stat : 4243 (java) S 4231 4234 875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245859058 14422839296 22299 33554432000 4194304 4196468 140735375329504 140680241329264 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4244] ppid=4231 vsize=14084804 memory=280624171410032 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4244/stat : 4244 (java) S 4231 4234 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245859060 14422839296 22299 33554432000 4194304 4196468 140735375329504 140680240277584 140680769361819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4245] ppid=4231 vsize=14084804 memory=280624171410096 CPUtime=0.07 cores=0,2,4,6
/proc/4234/task/4245/stat : 4245 (java) S 4231 4234 875 0 -1 1077944384 539 0 0 0 7 0 0 0 20 0 15 0 245859060 14422839296 22299 33554432000 4194304 4196468 140735375329504 140680239225456 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4246] ppid=4231 vsize=14084804 memory=280624171410148 CPUtime=0.07 cores=0,2,4,6
/proc/4234/task/4246/stat : 4246 (java) S 4231 4234 875 0 -1 1077944384 398 0 0 0 7 0 0 0 20 0 15 0 245859060 14422839296 22299 33554432000 4194304 4196468 140735375329504 140680238172656 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4247] ppid=4231 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/4234/task/4247/stat : 4247 (java) S 4231 4234 875 0 -1 1077944384 404 0 0 0 15 0 0 0 20 0 15 0 245859060 14422839296 22299 33554432000 4194304 4196468 140735375329504 140680237120368 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4248] ppid=4231 vsize=14084804 memory=158527041712304 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4248/stat : 4248 (java) S 4231 4234 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245859061 14422839296 22299 33554432000 4194304 4196468 140735375329504 140680236067808 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4249] ppid=4231 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4249/stat : 4249 (java) S 4231 4234 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245859061 14422839296 22299 33554432000 4194304 4196468 140735375329504 140680235014576 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89196 KiB

[startup+1.50081 s]
/proc/loadavg: 1.58 1.73 1.81 5/216 4249
/proc/meminfo: memFree=14666280/32770624 swapFree=67108504/67108860
[pid=4234] ppid=4231 vsize=14086852 memory=184696 CPUtime=2.88 cores=0,2,4,6
/proc/4234/stat : 4234 (java) S 4231 4234 875 0 -1 1077944320 24143 0 0 0 282 6 0 0 20 0 15 0 245859055 14424936448 46174 33554432000 4194304 4196468 140735375329504 140735375312048 140680769343223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
/proc/4234/statm: 3521713 46174 3555 1 0 3483785 0
[pid=4234/tid=4236] ppid=4231 vsize=14086852 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/4234/task/4236/stat : 4236 (java) R 4231 4234 875 0 -1 4202560 17060 0 0 0 141 5 0 0 20 0 15 0 245859055 14424936448 46174 33554432000 4194304 4196468 140735375329504 140680773580016 140680400462085 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4237] ppid=4231 vsize=14086852 memory=170926128 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4237/stat : 4237 (java) S 4231 4234 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245859056 14424936448 46174 33554432000 4194304 4196468 140735375329504 140680721963920 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4238] ppid=4231 vsize=14086852 memory=6011581402601046114 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4238/stat : 4238 (java) S 4231 4234 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245859056 14424936448 46174 33554432000 4194304 4196468 140735375329504 140680720911120 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4239] ppid=4231 vsize=14086852 memory=7014751519734585681 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4239/stat : 4239 (java) S 4231 4234 875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245859056 14424936448 46174 33554432000 4194304 4196468 140735375329504 140680719858832 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4240] ppid=4231 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4240/stat : 4240 (java) S 4231 4234 875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245859056 14424936448 46174 33554432000 4194304 4196468 140735375329504 140680718806032 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4241] ppid=4231 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4241/stat : 4241 (java) S 4231 4234 875 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 15 0 245859057 14424936448 46174 33554432000 4194304 4196468 140735375329504 140680243435632 140680769354370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0

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

/proc/4234/task/4236/stat : 4236 (java) R 4231 4234 875 0 -1 4202560 134996 0 0 0 235815 60 0 0 20 0 15 0 245859055 14431227904 323709 33554432000 4194304 4196468 140735375329504 140680773580288 140680399656299 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4237] ppid=4231 vsize=14092996 memory=1329712 CPUtime=20.93 cores=0,2,4,6
/proc/4234/task/4237/stat : 4237 (java) S 4231 4234 875 0 -1 1077944384 22231 0 0 0 2015 78 0 0 20 0 15 0 245859056 14431227904 323709 33554432000 4194304 4196468 140735375329504 140680721963920 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4238] ppid=4231 vsize=14092996 memory=1307652 CPUtime=20.93 cores=0,2,4,6
/proc/4234/task/4238/stat : 4238 (java) S 4231 4234 875 0 -1 1077944384 24448 0 0 0 2014 79 0 0 20 0 15 0 245859056 14431227904 323709 33554432000 4194304 4196468 140735375329504 140680720911120 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4239] ppid=4231 vsize=14092996 memory=1294836 CPUtime=20.92 cores=0,2,4,6
/proc/4234/task/4239/stat : 4239 (java) S 4231 4234 875 0 -1 1077944384 21444 0 0 0 2015 77 0 0 20 0 15 0 245859056 14431227904 323709 33554432000 4194304 4196468 140735375329504 140680719858832 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4240] ppid=4231 vsize=14092996 memory=1295348 CPUtime=20.97 cores=0,2,4,6
/proc/4234/task/4240/stat : 4240 (java) S 4231 4234 875 0 -1 1077944384 20778 0 0 0 2021 76 0 0 20 0 15 0 245859056 14431227904 323709 33554432000 4194304 4196468 140735375329504 140680718806032 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4241] ppid=4231 vsize=14092996 memory=3537 CPUtime=1.64 cores=0,2,4,6
/proc/4234/task/4241/stat : 4241 (java) S 4231 4234 875 0 -1 1077944384 80425 0 0 0 138 26 0 0 20 0 15 0 245859057 14431227904 323709 33554432000 4194304 4196468 140735375329504 140680243435632 140680769354370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4242] ppid=4231 vsize=14092996 memory=66844 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4242/stat : 4242 (java) S 4231 4234 875 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 245859058 14431227904 323709 33554432000 4194304 4196468 140735375329504 140680242381664 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4243] ppid=4231 vsize=14092996 memory=1116 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4243/stat : 4243 (java) S 4231 4234 875 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245859058 14431227904 323709 33554432000 4194304 4196468 140735375329504 140680241329280 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4244] ppid=4231 vsize=14092996 memory=3472328296227679313 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4244/stat : 4244 (java) S 4231 4234 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245859060 14431227904 323709 33554432000 4194304 4196468 140735375329504 140680240277584 140680769361819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4245] ppid=4231 vsize=14092996 memory=7374481006653040228 CPUtime=2.83 cores=0,2,4,6
/proc/4234/task/4245/stat : 4245 (java) S 4231 4234 875 0 -1 1077944384 23151 0 0 0 280 3 0 0 20 0 15 0 245859060 14431227904 323709 33554432000 4194304 4196468 140735375329504 140680239225456 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4246] ppid=4231 vsize=14092996 memory=1294836 CPUtime=3.01 cores=0,2,4,6
/proc/4234/task/4246/stat : 4246 (java) S 4231 4234 875 0 -1 1077944384 23702 0 0 0 299 2 0 0 20 0 15 0 245859060 14431227904 323709 33554432000 4194304 4196468 140735375329504 140680238172656 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4247] ppid=4231 vsize=14092996 memory=876 CPUtime=1.26 cores=0,2,4,6
/proc/4234/task/4247/stat : 4247 (java) S 4231 4234 875 0 -1 1077944384 37020 0 0 0 123 3 0 0 20 0 15 0 245859060 14431227904 323709 33554432000 4194304 4196468 140735375329504 140680237120368 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4248] ppid=4231 vsize=14092996 memory=1351772 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4248/stat : 4248 (java) S 4231 4234 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245859061 14431227904 323709 33554432000 4194304 4196468 140735375329504 140680236067808 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4249] ppid=4231 vsize=14092996 memory=1294836 CPUtime=1.34 cores=0,2,4,6
/proc/4234/task/4249/stat : 4249 (java) S 4231 4234 875 0 -1 1077944384 2128 0 0 0 68 66 0 0 20 0 15 0 245859061 14431227904 323709 33554432000 4194304 4196468 140735375329504 140680235014576 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
Current children cumulated CPU time: 2452.69 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1294836 KiB

[startup+2442.3 s]
/proc/loadavg: 1.71 1.60 1.60 3/215 4438
/proc/meminfo: memFree=13907576/32770624 swapFree=67108504/67108860
[pid=4234] ppid=4231 vsize=14092996 memory=1469296 CPUtime=2514.15 cores=0,2,4,6
/proc/4234/stat : 4234 (java) S 4231 4234 875 0 -1 1077944320 395524 0 0 0 250943 472 0 0 20 0 15 0 245859055 14431227904 367324 33554432000 4194304 4196468 140735375329504 140735375312048 140680769343223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
/proc/4234/statm: 3523249 367324 3619 1 0 3485321 0
[pid=4234/tid=4236] ppid=4231 vsize=14092996 memory=1820 CPUtime=2418.25 cores=0,2,4,6
/proc/4234/task/4236/stat : 4236 (java) R 4231 4234 875 0 -1 4202560 136171 0 0 0 241764 61 0 0 20 0 15 0 245859055 14431227904 367324 33554432000 4194304 4196468 140735375329504 140680773580288 140680405711990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4237] ppid=4231 vsize=14092996 memory=1421884 CPUtime=21.4 cores=0,2,4,6
/proc/4234/task/4237/stat : 4237 (java) S 4231 4234 875 0 -1 1077944384 22667 0 0 0 2058 82 0 0 20 0 15 0 245859056 14431227904 367324 33554432000 4194304 4196468 140735375329504 140680721963920 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4238] ppid=4231 vsize=14092996 memory=1396428 CPUtime=21.41 cores=0,2,4,6
/proc/4234/task/4238/stat : 4238 (java) S 4231 4234 875 0 -1 1077944384 24886 0 0 0 2058 83 0 0 20 0 15 0 245859056 14431227904 367324 33554432000 4194304 4196468 140735375329504 140680720911120 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4239] ppid=4231 vsize=14092996 memory=1285748 CPUtime=21.38 cores=0,2,4,6
/proc/4234/task/4239/stat : 4239 (java) S 4231 4234 875 0 -1 1077944384 21951 0 0 0 2058 80 0 0 20 0 15 0 245859056 14431227904 367324 33554432000 4194304 4196468 140735375329504 140680719858832 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4240] ppid=4231 vsize=14092996 memory=1421884 CPUtime=21.45 cores=0,2,4,6
/proc/4234/task/4240/stat : 4240 (java) S 4231 4234 875 0 -1 1077944384 21385 0 0 0 2065 80 0 0 20 0 15 0 245859056 14431227904 367324 33554432000 4194304 4196468 140735375329504 140680718806032 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4241] ppid=4231 vsize=14092996 memory=1469296 CPUtime=1.66 cores=0,2,4,6
/proc/4234/task/4241/stat : 4241 (java) S 4231 4234 875 0 -1 1077944384 80792 0 0 0 139 27 0 0 20 0 15 0 245859057 14431227904 367324 33554432000 4194304 4196468 140735375329504 140680243435632 140680769354370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4242] ppid=4231 vsize=14092996 memory=1469296 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4242/stat : 4242 (java) S 4231 4234 875 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 245859058 14431227904 367324 33554432000 4194304 4196468 140735375329504 140680242381664 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4243] ppid=4231 vsize=14092996 memory=1469296 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4243/stat : 4243 (java) S 4231 4234 875 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245859058 14431227904 367324 33554432000 4194304 4196468 140735375329504 140680241329280 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4244] ppid=4231 vsize=14092996 memory=1469296 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4244/stat : 4244 (java) S 4231 4234 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245859060 14431227904 367324 33554432000 4194304 4196468 140735375329504 140680240277584 140680769361819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4245] ppid=4231 vsize=14092996 memory=126 CPUtime=2.84 cores=0,2,4,6
/proc/4234/task/4245/stat : 4245 (java) S 4231 4234 875 0 -1 1077944384 23172 0 0 0 281 3 0 0 20 0 15 0 245859060 14431227904 367324 33554432000 4194304 4196468 140735375329504 140680239225456 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4246] ppid=4231 vsize=14092996 memory=1469296 CPUtime=3.01 cores=0,2,4,6
/proc/4234/task/4246/stat : 4246 (java) S 4231 4234 875 0 -1 1077944384 23775 0 0 0 299 2 0 0 20 0 15 0 245859060 14431227904 367324 33554432000 4194304 4196468 140735375329504 140680238172656 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4247] ppid=4231 vsize=14092996 memory=1469296 CPUtime=1.26 cores=0,2,4,6
/proc/4234/task/4247/stat : 4247 (java) S 4231 4234 875 0 -1 1077944384 37131 0 0 0 123 3 0 0 20 0 15 0 245859060 14431227904 367324 33554432000 4194304 4196468 140735375329504 140680237120368 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4248] ppid=4231 vsize=14092996 memory=1469296 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4248/stat : 4248 (java) S 4231 4234 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245859061 14431227904 367324 33554432000 4194304 4196468 140735375329504 140680236067808 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4249] ppid=4231 vsize=14092996 memory=1469296 CPUtime=1.37 cores=0,2,4,6
/proc/4234/task/4249/stat : 4249 (java) S 4231 4234 875 0 -1 1077944384 2159 0 0 0 69 68 0 0 20 0 15 0 245859061 14431227904 367324 33554432000 4194304 4196468 140735375329504 140680235014576 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
Current children cumulated CPU time: 2514.15 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1469296 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2448.11 s]
/proc/loadavg: 1.74 1.61 1.60 3/215 4438
/proc/meminfo: memFree=13875800/32770624 swapFree=67108504/67108860
[pid=4234] ppid=4231 vsize=14092996 memory=1501036 CPUtime=2520.02 cores=0,2,4,6
/proc/4234/stat : 4234 (java) S 4231 4234 875 0 -1 1077944320 395710 0 0 0 251529 473 0 0 20 0 15 0 245859055 14431227904 375259 33554432000 4194304 4196468 140735375329504 140735375312048 140680769343223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
/proc/4234/statm: 3523249 375259 3619 1 0 3485321 0
[pid=4234/tid=4236] ppid=4231 vsize=14092996 memory=1501036 CPUtime=2424.03 cores=0,2,4,6
/proc/4234/task/4236/stat : 4236 (java) R 4231 4234 875 0 -1 4202560 136343 0 0 0 242341 62 0 0 20 0 15 0 245859055 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680773580288 140680398661997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4237] ppid=4231 vsize=14092996 memory=1285748 CPUtime=21.42 cores=0,2,4,6
/proc/4234/task/4237/stat : 4237 (java) S 4231 4234 875 0 -1 1077944384 22670 0 0 0 2060 82 0 0 20 0 15 0 245859056 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680721963920 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4238] ppid=4231 vsize=14092996 memory=1396428 CPUtime=21.43 cores=0,2,4,6
/proc/4234/task/4238/stat : 4238 (java) S 4231 4234 875 0 -1 1077944384 24896 0 0 0 2060 83 0 0 20 0 15 0 245859056 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680720911120 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4239] ppid=4231 vsize=14092996 memory=1501036 CPUtime=21.4 cores=0,2,4,6
/proc/4234/task/4239/stat : 4239 (java) S 4231 4234 875 0 -1 1077944384 21951 0 0 0 2060 80 0 0 20 0 15 0 245859056 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680719858832 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4240] ppid=4231 vsize=14092996 memory=932 CPUtime=21.47 cores=0,2,4,6
/proc/4234/task/4240/stat : 4240 (java) S 4231 4234 875 0 -1 1077944384 21386 0 0 0 2067 80 0 0 20 0 15 0 245859056 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680718806032 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4241] ppid=4231 vsize=14092996 memory=126 CPUtime=1.66 cores=0,2,4,6
/proc/4234/task/4241/stat : 4241 (java) S 4231 4234 875 0 -1 1077944384 80792 0 0 0 139 27 0 0 20 0 15 0 245859057 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680243435632 140680769354370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4242] ppid=4231 vsize=14092996 memory=1483632 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4242/stat : 4242 (java) S 4231 4234 875 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 245859058 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680242381664 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4243] ppid=4231 vsize=14092996 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4243/stat : 4243 (java) S 4231 4234 875 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245859058 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680241329280 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4244] ppid=4231 vsize=14092996 memory=1501036 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4244/stat : 4244 (java) S 4231 4234 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245859060 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680240277584 140680769361819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4245] ppid=4231 vsize=14092996 memory=1501036 CPUtime=2.84 cores=0,2,4,6
/proc/4234/task/4245/stat : 4245 (java) S 4231 4234 875 0 -1 1077944384 23172 0 0 0 281 3 0 0 20 0 15 0 245859060 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680239225456 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4246] ppid=4231 vsize=14092996 memory=3816 CPUtime=3.01 cores=0,2,4,6
/proc/4234/task/4246/stat : 4246 (java) S 4231 4234 875 0 -1 1077944384 23775 0 0 0 299 2 0 0 20 0 15 0 245859060 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680238172656 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4247] ppid=4231 vsize=14092996 memory=1469296 CPUtime=1.26 cores=0,2,4,6
/proc/4234/task/4247/stat : 4247 (java) S 4231 4234 875 0 -1 1077944384 37131 0 0 0 123 3 0 0 20 0 15 0 245859060 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680237120368 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4248] ppid=4231 vsize=14092996 memory=3816 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4248/stat : 4248 (java) S 4231 4234 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245859061 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680236067808 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4249] ppid=4231 vsize=14092996 memory=1501036 CPUtime=1.38 cores=0,2,4,6
/proc/4234/task/4249/stat : 4249 (java) S 4231 4234 875 0 -1 1077944384 2159 0 0 0 70 68 0 0 20 0 15 0 245859061 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680235014576 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1501036 KiB

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

[startup+2448.17 s]
# the end of solver process 4234 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.43 s, system=4.74584 s

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

[startup+2448.11 s]
/proc/loadavg: 1.74 1.61 1.60 3/215 4438
/proc/meminfo: memFree=13875800/32770624 swapFree=67108504/67108860
[pid=4234] ppid=4231 vsize=14092996 memory=1501036 CPUtime=2520.02 cores=0,2,4,6
/proc/4234/stat : 4234 (java) S 4231 4234 875 0 -1 1077944320 395710 0 0 0 251529 473 0 0 20 0 15 0 245859055 14431227904 375259 33554432000 4194304 4196468 140735375329504 140735375312048 140680769343223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
/proc/4234/statm: 3523249 375259 3619 1 0 3485321 0
[pid=4234/tid=4236] ppid=4231 vsize=14092996 memory=1501036 CPUtime=2424.03 cores=0,2,4,6
/proc/4234/task/4236/stat : 4236 (java) R 4231 4234 875 0 -1 4202560 136343 0 0 0 242341 62 0 0 20 0 15 0 245859055 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680773580288 140680398661997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4237] ppid=4231 vsize=14092996 memory=1285748 CPUtime=21.42 cores=0,2,4,6
/proc/4234/task/4237/stat : 4237 (java) S 4231 4234 875 0 -1 1077944384 22670 0 0 0 2060 82 0 0 20 0 15 0 245859056 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680721963920 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4238] ppid=4231 vsize=14092996 memory=1396428 CPUtime=21.43 cores=0,2,4,6
/proc/4234/task/4238/stat : 4238 (java) S 4231 4234 875 0 -1 1077944384 24896 0 0 0 2060 83 0 0 20 0 15 0 245859056 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680720911120 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4239] ppid=4231 vsize=14092996 memory=1501036 CPUtime=21.4 cores=0,2,4,6
/proc/4234/task/4239/stat : 4239 (java) S 4231 4234 875 0 -1 1077944384 21951 0 0 0 2060 80 0 0 20 0 15 0 245859056 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680719858832 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4240] ppid=4231 vsize=14092996 memory=932 CPUtime=21.47 cores=0,2,4,6
/proc/4234/task/4240/stat : 4240 (java) S 4231 4234 875 0 -1 1077944384 21386 0 0 0 2067 80 0 0 20 0 15 0 245859056 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680718806032 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4241] ppid=4231 vsize=14092996 memory=126 CPUtime=1.66 cores=0,2,4,6
/proc/4234/task/4241/stat : 4241 (java) S 4231 4234 875 0 -1 1077944384 80792 0 0 0 139 27 0 0 20 0 15 0 245859057 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680243435632 140680769354370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4242] ppid=4231 vsize=14092996 memory=1483632 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4242/stat : 4242 (java) S 4231 4234 875 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 245859058 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680242381664 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4243] ppid=4231 vsize=14092996 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4243/stat : 4243 (java) S 4231 4234 875 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245859058 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680241329280 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4244] ppid=4231 vsize=14092996 memory=1501036 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4244/stat : 4244 (java) S 4231 4234 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245859060 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680240277584 140680769361819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4245] ppid=4231 vsize=14092996 memory=1501036 CPUtime=2.84 cores=0,2,4,6
/proc/4234/task/4245/stat : 4245 (java) S 4231 4234 875 0 -1 1077944384 23172 0 0 0 281 3 0 0 20 0 15 0 245859060 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680239225456 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4246] ppid=4231 vsize=14092996 memory=3816 CPUtime=3.01 cores=0,2,4,6
/proc/4234/task/4246/stat : 4246 (java) S 4231 4234 875 0 -1 1077944384 23775 0 0 0 299 2 0 0 20 0 15 0 245859060 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680238172656 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4247] ppid=4231 vsize=14092996 memory=1469296 CPUtime=1.26 cores=0,2,4,6
/proc/4234/task/4247/stat : 4247 (java) S 4231 4234 875 0 -1 1077944384 37131 0 0 0 123 3 0 0 20 0 15 0 245859060 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680237120368 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4248] ppid=4231 vsize=14092996 memory=3816 CPUtime=0 cores=0,2,4,6
/proc/4234/task/4248/stat : 4248 (java) S 4231 4234 875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245859061 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680236067808 140680769353429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
[pid=4234/tid=4249] ppid=4231 vsize=14092996 memory=1501036 CPUtime=1.38 cores=0,2,4,6
/proc/4234/task/4249/stat : 4249 (java) S 4231 4234 875 0 -1 1077944384 2159 0 0 0 70 68 0 0 20 0 15 0 245859061 14431227904 375259 33554432000 4194304 4196468 140735375329504 140680235014576 140680769354370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38064128 140735375336532 140735375336713 140735375336713 140735375339471 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1501036 KiB

Child status: 143
Real time (s): 2448.17
CPU time (s): 2520.18
CPU user time (s): 2515.43
CPU system time (s): 4.74584
CPU usage (%): 102.941
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 1930980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.43
system time used= 4.74584
maximum resident set size= 1949412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 396153
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87157
involuntary context switches= 5351


# summary of solver processes directly reported to runsolver:
#   pid: 4234
#   total CPU time (s): 2520.18
#   total CPU user time (s): 2515.43
#   total CPU system time (s): 4.74584

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3533 second user time and 24.6246 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-14 23:42:39
IDJOB=4308686
IDBENCH=141154
IDSOLVER=2792
FILE ID=node104/4308686-1534282959
RUNJOBID= node104-1534270607-2649
PBS_JOBID= 21038129
Free space on /tmp= 40048 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308686-1534282959/watcher-4308686-1534282959 -o /tmp/evaluation-result-4308686-1534282959/solver-4308686-1534282959 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534270607-2649 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1555199063 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308686-1534282959.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=1555199063

node104.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.11
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.11
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.11
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.11
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:        14769684 kB
MemAvailable:   30993588 kB
Buffers:          239556 kB
Cached:         16031104 kB
SwapCached:            8 kB
Active:          8691112 kB
Inactive:        8544864 kB
Active(anon):     915196 kB
Inactive(anon):   102520 kB
Active(file):    7775916 kB
Inactive(file):  8442344 kB
Unevictable:        7304 kB
Mlocked:            7304 kB
SwapTotal:      67108860 kB
SwapFree:       67108504 kB
Dirty:             35972 kB
Writeback:             0 kB
AnonPages:        978992 kB
Mapped:            68248 kB
Shmem:             49636 kB
Slab:             462860 kB
SReclaimable:     434104 kB
SUnreclaim:        28756 kB
KernelStack:        3824 kB
PageTables:         7900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1733756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    827392 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= 40016 MiB
End job on node104 at 2018-08-15 00:23:27