Trace number 4308679

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)1958918 2520.08 2449.05

General information on the benchmark

NameAuction/Auction-cnt/
Auction-cnt-decay300_c18.xml
MD5SUM39aa8271d93aad234a0495f796e0a456
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1958918
Best CPU time to get the best result obtained on this benchmark2520.08
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":"count","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: 107484310
0.68/0.55	c timeout: 2520
0.68/0.55	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
3.37/1.67	c Parsing done, starting first complete search...
4.05/1.91	o 0
4.05/1.92	o 4434
4.05/1.92	o 8147
4.05/1.92	o 12581
4.05/1.92	o 40805
4.05/1.93	o 45239
4.05/1.93	o 49375
4.05/1.93	o 59543
4.05/1.93	o 63977
4.05/1.94	o 68113
4.05/1.94	o 68427
4.05/1.94	o 68725
4.05/1.94	o 72861
4.05/1.94	o 100098
4.05/1.94	o 104234
4.05/1.95	o 127375
4.05/1.95	o 131511
4.05/1.95	o 133036
4.05/1.95	o 137684
4.05/1.95	o 139209
4.05/1.95	o 141820
4.05/1.95	o 143345
4.05/1.96	o 144272
4.05/1.96	o 148210
4.05/1.96	o 149137
4.05/1.96	o 149735
4.05/1.96	o 150662
4.05/1.97	o 150926
4.05/1.97	o 168613
4.05/1.97	o 175077
4.05/1.97	o 177001
4.05/1.97	o 201114
4.05/1.98	o 205548
4.05/1.98	o 211737
4.05/1.98	o 212655
4.05/1.98	o 223463
4.05/1.98	o 224988
4.05/1.98	o 227449
4.05/1.98	o 228974
4.05/1.99	o 230388
4.05/1.99	o 231251
4.05/1.99	o 232776
4.05/1.99	o 233087
4.05/1.99	o 233649
4.05/2.00	o 242672
4.38/2.01	o 244197
4.38/2.01	o 248333
4.38/2.01	o 249774
4.38/2.01	o 251698
4.38/2.01	o 252260
4.38/2.01	o 253255
4.38/2.01	o 253817
4.38/2.01	o 259645
4.38/2.01	o 260207
4.38/2.01	o 265094
4.38/2.02	o 266619
4.38/2.02	o 269230
4.38/2.02	o 270755
4.38/2.02	o 272815
4.38/2.02	o 274340
4.38/2.02	o 278476
4.38/2.03	o 278702
4.38/2.03	o 279697
4.38/2.03	o 280259
4.38/2.03	o 287414
4.38/2.04	o 287976
4.38/2.04	o 290131
4.38/2.04	o 294117
4.38/2.04	o 295044
4.38/2.04	o 295531
4.38/2.04	o 296458
4.38/2.04	o 297919
4.38/2.04	o 298846
4.38/2.05	o 299140
4.38/2.05	o 300067
4.38/2.05	o 300629
4.38/2.05	o 303276
4.38/2.05	o 303838
4.38/2.05	o 304203
4.38/2.05	o 304765
4.38/2.06	o 309488
4.38/2.06	o 311045
4.38/2.06	o 323376
4.38/2.06	o 323938
4.38/2.07	o 332595
4.38/2.07	o 334519
4.38/2.07	o 335446
4.38/2.07	o 338985
4.38/2.07	o 339912
4.38/2.07	o 340909
4.38/2.07	o 341836
4.38/2.08	o 342107
4.38/2.09	o 342669
4.38/2.09	o 343664
4.38/2.09	o 344226
4.38/2.09	o 345588
4.38/2.09	o 346150
4.71/2.11	o 347002
4.71/2.12	o 347564
4.71/2.12	o 348339
4.71/2.12	o 348901
4.71/2.12	o 354541
4.71/2.12	o 355103
4.71/2.12	o 361567
4.71/2.13	o 361637
4.71/2.13	o 362292
4.71/2.13	o 362628
4.71/2.13	o 363849
4.71/2.13	o 364552
4.71/2.13	o 365773
4.71/2.16	o 367322
4.71/2.16	o 368249
4.71/2.16	o 369246
4.71/2.16	o 370173
4.71/2.16	o 370803
4.71/2.16	o 371730
4.71/2.16	o 375119
4.71/2.16	o 376046
4.71/2.17	o 376201
4.71/2.17	o 376531
4.71/2.17	o 377458
4.71/2.17	o 379255
4.71/2.17	o 380182
4.71/2.19	o 380216
4.71/2.19	o 381143
4.71/2.19	o 381773
4.71/2.19	o 382700
4.71/2.19	o 389920
4.71/2.19	o 390847
4.71/2.20	o 392799
4.71/2.20	o 393726
4.71/2.20	o 394056
4.97/2.20	o 394983
4.97/2.21	o 395063
4.97/2.21	o 395393
4.97/2.21	o 396320
4.97/2.21	o 398117
4.97/2.21	o 399044
4.97/2.25	o 400036
4.97/2.25	o 400963
4.97/2.25	o 402377
4.97/2.25	o 403934
4.97/2.25	o 404444
4.97/2.25	o 405296
4.97/2.25	o 405858
4.97/2.28	o 406106
4.97/2.28	o 406299
4.97/2.28	o 406534
4.97/2.28	o 407096
4.97/2.28	o 408458
4.97/2.28	o 409020
4.97/2.28	o 410015
4.97/2.28	o 410577
4.97/2.28	o 410770
4.97/2.28	o 411465
4.97/2.28	o 412027
4.97/2.29	o 412136
4.97/2.29	o 412609
4.97/2.29	o 413171
4.97/2.29	o 413364
5.27/2.30	o 414112
5.27/2.30	o 414674
5.27/2.30	o 415333
5.27/2.30	o 415895
5.27/2.30	o 416088
5.27/2.33	o 416753
5.27/2.33	o 417315
5.27/2.33	o 417974
5.27/2.33	o 418536
5.27/2.33	o 418729
5.27/2.33	o 420698
5.27/2.33	o 421260
5.27/2.33	o 421453
5.27/2.38	o 421544
5.27/2.38	o 421911
5.27/2.38	o 422906
5.27/2.38	o 423468
5.27/2.38	o 424127
5.27/2.38	o 424689
5.27/2.38	o 424882
5.57/2.43	o 425815
5.57/2.43	o 427372
5.57/2.43	o 428559
5.57/2.43	o 430801
5.57/2.43	o 436860
5.57/2.43	o 437422
5.57/2.43	o 437615
5.57/2.44	o 437802
5.57/2.47	o 438122
5.57/2.47	o 438315
5.57/2.49	o 439438
5.57/2.49	o 440659
5.57/2.49	o 440852
5.57/2.49	o 441924
5.57/2.49	o 443145
5.57/2.49	o 443338
5.57/2.50	o 444332
5.57/2.50	o 446574
5.87/2.50	o 446767
5.87/2.53	o 447433
5.87/2.53	o 448654
5.87/2.53	o 448847
5.87/2.58	o 449034
6.05/2.61	o 449046
6.05/2.62	o 449973
6.05/2.62	o 451160
6.05/2.62	o 453402
6.05/2.67	o 453576
6.05/2.67	o 453943
6.05/2.67	o 455500
6.05/2.67	o 456013
6.05/2.67	o 457570
6.05/2.67	o 459095
6.05/2.68	o 459367
6.05/2.68	o 460294
6.05/2.68	o 460892
6.05/2.68	o 461819
6.05/2.68	o 462047
6.05/2.68	o 463189
6.05/2.68	o 467063
6.05/2.68	o 472791
6.30/2.89	o 473103
6.30/2.89	o 473178
6.30/2.89	o 473496
6.30/2.89	o 475420
6.30/2.89	o 476977
6.30/2.89	o 478234
6.40/2.92	o 479731
6.40/2.92	o 480988
6.70/3.28	o 481108
6.70/3.28	o 481475
6.70/3.28	o 483032
6.70/3.28	o 483828
6.70/3.28	o 486030
6.70/3.28	o 487587
6.70/3.29	o 488844
7.46/3.97	o 490231
7.46/3.97	o 490549
7.46/3.97	o 492473
8.21/4.66	o 493894
8.21/4.66	o 494237
8.21/4.66	o 496161
8.51/4.97	o 497666
8.51/4.97	o 499590
11.16/7.54	o 500433
11.86/8.27	o 500924
11.86/8.27	o 500949
11.86/8.27	o 502348
11.86/8.27	o 503191
11.86/8.27	o 503605
11.86/8.28	o 504448
11.86/8.29	o 504904
11.86/8.29	o 505747
11.97/8.32	o 505875
11.97/8.32	o 508791
11.97/8.32	o 509634
14.17/10.59	o 510506
14.17/10.59	o 510849
14.17/10.60	o 512773
14.27/10.60	o 512995
14.27/10.60	o 514830
14.27/10.60	o 516754
14.27/10.63	o 517397
14.27/10.63	o 519321
17.08/13.40	o 520153
29.99/26.26	c First complete search done, starting ALNS search...
30.13/26.38	o 522695
30.13/26.38	o 527540
30.13/26.38	o 530082
30.13/26.39	o 534033
30.13/26.39	o 536575
30.13/26.39	o 538954
30.13/26.39	o 541496
30.13/26.39	o 544180
30.13/26.39	o 546722
30.13/26.39	o 549124
30.13/26.39	o 551666
30.13/26.39	o 553990
30.13/26.39	o 556532
30.13/26.39	o 559224
30.13/26.39	o 561766
30.13/26.39	o 562430
30.13/26.40	o 562798
30.13/26.40	o 564602
30.37/26.40	o 567664
30.37/26.40	o 570206
30.37/26.40	o 570607
30.37/26.40	o 570878
30.37/26.40	o 572760
30.37/26.40	o 576112
30.37/26.40	o 577994
30.37/26.40	o 581056
30.37/26.40	o 582110
30.37/26.40	o 585606
30.37/26.40	o 585629
30.37/26.41	o 585684
30.37/26.41	o 590550
30.37/26.41	o 594950
30.37/26.41	o 599816
30.37/26.41	o 600516
30.37/26.41	o 605382
30.37/26.41	o 609191
30.37/26.41	o 609231
30.37/26.41	o 613040
32.92/28.11	o 613526
32.92/28.12	o 614186
32.92/28.12	o 616068
33.07/28.23	o 619407
33.07/28.23	o 648213
33.07/28.23	o 651552
33.07/28.23	o 652964
33.07/28.23	o 656303
33.07/28.24	o 659433
33.07/28.24	o 659980
33.07/28.24	o 663110
33.07/28.24	o 663319
33.07/28.24	o 666449
33.07/28.24	o 669490
33.07/28.24	o 672190
33.07/28.24	o 676941
33.07/28.24	o 680071
33.07/28.24	o 681249
33.07/28.24	o 684379
33.07/28.24	o 686000
33.07/28.25	o 689130
33.07/28.25	o 690548
33.07/28.25	o 695299
33.07/28.25	o 699607
33.07/28.25	o 704358
33.07/28.25	o 707488
33.07/28.25	o 709496
33.07/28.25	o 710347
33.07/28.25	o 712355
33.07/28.25	o 713477
33.07/28.26	o 715485
33.07/28.26	o 716505
33.07/28.26	o 718548
33.07/28.26	o 720813
33.07/28.26	o 722434
33.07/28.26	o 725564
33.07/28.26	o 728423
33.07/28.27	o 731553
33.07/28.27	o 733561
33.07/28.27	o 733586
33.07/28.27	o 736716
33.07/28.27	o 738724
33.07/28.28	o 740263
33.07/28.28	o 742271
33.07/28.28	o 742296
33.07/28.28	o 745426
33.07/28.28	o 747434
33.07/28.28	o 747500
33.07/28.29	o 749508
33.07/28.29	o 749530
33.07/28.29	o 749932
33.07/28.30	o 753062
33.18/28.30	o 755136
33.18/28.30	o 755158
33.18/28.30	o 757144
33.18/28.30	o 757166
33.18/28.31	o 757999
33.18/28.31	o 760007
33.18/28.31	o 760884
33.18/28.31	o 762892
33.18/28.31	o 764513
33.18/28.32	o 765635
33.18/28.32	o 767643
33.18/28.32	o 767665
33.18/28.32	o 768056
33.18/28.32	o 770064
33.18/28.32	o 770086
33.18/28.33	o 771321
33.18/28.33	o 771343
33.18/28.33	o 771733
33.18/28.33	o 774410
33.18/28.33	o 776484
33.18/28.33	o 776506
33.18/28.34	o 776831
33.18/28.34	o 776853
33.18/28.34	o 778905
33.18/28.34	o 778927
33.18/28.35	o 780913
33.18/28.35	o 780935
33.18/28.35	o 782222
33.18/28.35	o 783344
33.18/28.35	o 785352
33.18/28.35	o 785765
33.18/28.36	o 787773
33.18/28.36	o 787795
33.18/28.36	o 788887
33.18/28.36	o 792017
33.18/28.36	o 794438
33.18/28.37	o 794460
33.18/28.37	o 796446
33.18/28.37	o 796468
33.18/28.38	o 799333
33.18/28.38	o 801754
33.18/28.38	o 801776
33.18/28.38	o 802463
33.18/28.39	o 804884
33.18/28.39	o 804906
33.18/28.39	o 806892
33.18/28.39	o 806914
33.30/28.41	o 809357
33.30/28.41	o 812487
33.30/28.41	o 814908
33.30/28.41	o 816916
33.30/28.41	o 816938
33.30/28.42	o 817675
33.30/28.42	o 817697
33.30/28.42	o 817997
33.30/28.42	o 820005
33.30/28.42	o 820418
33.30/28.42	o 822426
33.30/28.42	o 822448
33.30/28.44	o 823616
33.30/28.44	o 823638
33.30/28.44	o 825649
33.30/28.44	o 826358
33.30/28.44	o 828779
33.30/28.44	o 828801
33.30/28.45	o 830787
33.30/28.45	o 830809
33.30/28.46	o 831011
33.30/28.46	o 831033
33.30/28.46	o 831424
33.30/28.46	o 833432
33.30/28.46	o 833454
33.30/28.47	o 833791
33.30/28.47	o 833813
33.30/28.47	o 834462
33.30/28.47	o 834732
33.30/28.48	o 835145
33.30/28.48	o 837153
33.30/28.48	o 837178
33.30/28.48	o 837887
33.30/28.48	o 840308
33.30/28.48	o 842316
33.30/28.48	o 842540
33.30/28.48	o 842953
33.30/28.48	o 844961
33.30/28.49	o 844983
33.30/28.49	o 845581
33.30/28.49	o 845603
33.30/28.50	o 847589
33.40/28.50	o 847611
33.40/28.50	o 848735
33.40/28.50	o 848757
33.40/28.50	o 849891
33.40/28.50	o 851588
33.40/28.50	o 853621
33.40/28.50	o 854330
33.40/28.50	o 856751
33.40/28.50	o 858759
33.40/28.50	o 858781
33.40/28.52	o 858944
33.40/28.52	o 859429
33.40/28.52	o 862074
33.40/28.52	o 864082
33.40/28.52	o 864104
33.40/28.52	o 864495
33.40/28.52	o 864517
33.40/28.52	o 866503
33.40/28.52	o 866525
34.06/28.99	o 867368
34.06/28.99	o 867898
34.06/28.99	o 869466
34.06/29.00	o 869996
34.06/29.00	o 870066
34.06/29.00	o 870102
34.06/29.00	o 872074
34.06/29.00	o 872604
34.17/29.01	o 873124
34.17/29.02	o 873213
34.17/29.02	o 873741
34.17/29.02	o 875328
34.17/29.02	o 875858
34.17/29.02	o 877300
34.17/29.02	o 877830
34.17/29.03	o 877999
34.17/29.03	o 879087
34.17/29.03	o 881059
34.17/29.03	o 881589
34.17/29.04	o 881949
34.17/29.04	o 882479
34.17/29.04	o 882806
34.17/29.04	o 883595
34.17/29.04	o 884010
34.17/29.04	o 884538
34.17/29.04	o 884647
34.17/29.04	o 884683
34.17/29.04	o 886655
34.17/29.04	o 887185
34.17/29.05	o 887322
34.17/29.05	o 887409
34.17/29.05	o 887518
34.17/29.05	o 889526
34.17/29.05	o 890056
34.17/29.05	o 891498
34.17/29.05	o 892028
34.17/29.05	o 892388
34.17/29.05	o 892918
34.17/29.05	o 893245
34.17/29.05	o 894034
34.17/29.06	o 895122
34.17/29.06	o 897094
34.17/29.06	o 897624
34.27/29.13	o 897656
34.27/29.13	o 899664
34.27/29.13	o 900194
34.27/29.13	o 901636
34.27/29.13	o 902166
34.27/29.15	o 902493
34.27/29.15	o 903282
34.27/29.15	o 903697
34.27/29.15	o 904370
34.27/29.15	o 906342
34.27/29.15	o 906872
34.36/29.21	o 908693
34.36/29.21	o 909223
34.36/29.21	o 910665
34.36/29.21	o 911195
34.36/29.28	o 911707
34.36/29.29	o 912237
34.47/29.33	o 912388
34.47/29.34	o 912816
34.47/29.34	o 912922
34.47/29.34	o 914364
34.47/29.34	o 914894
34.47/29.34	o 914935
34.47/29.34	o 915044
34.47/29.34	o 915080
34.47/29.34	o 917052
34.47/29.34	o 917582
34.47/29.35	o 918094
34.47/29.35	o 918624
34.47/29.35	o 919520
34.47/29.35	o 919629
34.47/29.35	o 919665
34.47/29.35	o 921637
34.47/29.36	o 922167
34.47/29.36	o 922360
34.47/29.37	o 922890
34.47/29.37	o 924084
34.47/29.37	o 925781
34.47/29.37	o 925884
34.47/29.37	o 926255
34.47/29.37	o 927044
34.47/29.37	o 928096
34.47/29.37	o 930104
34.47/29.37	o 930634
34.47/29.37	o 932076
34.47/29.37	o 932606
34.47/29.38	o 933118
34.47/29.38	o 933648
34.64/29.44	o 933722
34.64/29.44	o 934810
34.64/29.44	o 936782
34.64/29.44	o 937312
34.64/29.45	o 937824
34.64/29.45	o 938354
34.74/29.58	o 938593
34.74/29.59	o 939123
34.74/29.59	o 939635
34.74/29.59	o 940165
34.84/29.60	o 940379
34.84/29.61	o 940463
34.84/29.61	o 940790
34.84/29.61	o 940820
34.84/29.61	o 940856
34.84/29.61	o 942828
34.84/29.61	o 944639
34.84/29.61	o 945169
34.84/29.61	o 945712
34.84/29.61	o 946242
34.84/29.61	o 946589
34.84/29.61	o 948400
34.84/29.62	o 948930
34.84/29.62	o 949091
34.84/29.62	o 950372
34.84/29.62	o 950902
34.84/29.62	o 951229
34.84/29.62	o 952018
34.84/29.62	o 952433
34.84/29.62	o 953106
34.84/29.62	o 953267
34.84/29.62	o 955078
34.84/29.62	o 955608
34.84/29.63	o 956120
34.84/29.63	o 956650
34.84/29.68	o 957565
34.84/29.68	o 958095
34.84/29.68	o 958607
34.84/29.69	o 959137
34.94/29.75	o 959931
34.94/29.75	o 960461
34.94/29.75	o 962150
34.94/29.75	o 962629
34.94/29.75	o 962665
34.94/29.75	o 962826
34.94/29.75	o 964637
34.94/29.75	o 965167
34.94/29.75	o 965679
34.94/29.75	o 966209
34.94/29.77	o 966360
34.94/29.78	o 966775
34.94/29.78	o 966933
34.94/29.78	o 967303
34.94/29.78	o 967412
34.94/29.78	o 967448
34.94/29.78	o 967609
34.94/29.78	o 969420
34.94/29.78	o 969950
35.05/29.80	o 970462
35.05/29.80	o 970992
35.05/29.81	o 972465
35.05/29.82	o 972995
35.05/29.82	o 972999
35.05/29.82	o 973523
35.05/29.82	o 974727
35.05/29.82	o 975255
35.05/29.82	o 975364
35.05/29.82	o 975400
35.05/29.82	o 975561
35.05/29.82	o 977372
35.05/29.82	o 978048
35.05/29.82	o 979859
35.05/29.82	o 980389
35.05/29.83	o 980901
35.05/29.83	o 981431
35.05/29.85	o 981554
35.05/29.85	o 982066
35.05/29.85	o 982596
35.05/29.89	o 982901
35.05/29.89	o 983271
35.05/29.90	o 983380
35.05/29.90	o 983416
35.14/29.90	o 983577
35.14/29.90	o 985388
35.14/29.90	o 986430
35.14/29.91	o 986553
35.14/29.91	o 987595
35.30/30.03	o 989435
35.30/30.03	o 991246
35.30/30.03	o 992288
35.30/30.04	o 992411
35.30/30.04	o 993453
35.30/30.09	o 993584
35.59/30.37	o 993970
35.59/30.37	o 994101
36.33/31.01	o 994162
36.33/31.01	o 994325
36.33/31.01	o 994556
36.33/31.01	o 995073
36.33/31.01	o 995204
36.33/31.02	o 995901
36.33/31.02	o 996032
36.33/31.02	o 997633
36.33/31.02	o 997778
36.33/31.02	o 997939
36.33/31.02	o 999750
36.33/31.02	o 999881
36.33/31.02	o 1000267
36.33/31.02	o 1000398
36.33/31.02	o 1000792
36.33/31.02	o 1001309
36.33/31.02	o 1001440
37.93/32.64	o 1001521
37.93/32.64	o 1001652
37.93/32.64	o 1002049
37.93/32.64	o 1002194
37.93/32.64	o 1002355
37.93/32.64	o 1004166
37.93/32.65	o 1004297
37.93/32.65	o 1004683
37.93/32.65	o 1004814
38.27/32.92	o 1006518
38.27/32.92	o 1006897
38.27/32.92	o 1009060
38.27/32.92	o 1009439
38.27/32.92	o 1009878
38.27/32.92	o 1010257
38.27/32.92	o 1011811
38.27/32.92	o 1012629
38.27/32.92	o 1013008
38.27/32.93	o 1013080
38.27/32.93	o 1013519
38.27/32.93	o 1013898
38.27/32.93	o 1014108
38.27/32.93	o 1015557
38.27/32.93	o 1016375
38.27/32.93	o 1018308
38.27/32.93	o 1019126
38.27/32.93	o 1019198
38.27/32.93	o 1020016
38.27/32.93	o 1021093
38.27/32.93	o 1021983
38.27/32.93	o 1022240
38.27/32.93	o 1024507
38.27/32.93	o 1024991
38.27/32.94	o 1027258
38.27/32.94	o 1027533
38.27/32.94	o 1029800
38.27/32.94	o 1030690
38.27/32.94	o 1031508
38.27/32.94	o 1033216
38.27/32.94	o 1033636
38.27/32.94	o 1036387
38.27/32.94	o 1038929
38.27/32.94	o 1039819
38.27/32.94	o 1040637
38.27/32.94	o 1041196
38.27/32.94	o 1042086
38.27/32.94	o 1042904
38.27/32.94	o 1043283
38.27/32.95	o 1043459
38.27/32.95	o 1044277
38.27/32.95	o 1046001
38.27/32.95	o 1046819
38.27/32.95	o 1048268
38.27/32.95	o 1049086
38.27/32.95	o 1049465
38.27/32.95	o 1049949
38.27/32.95	o 1052216
38.27/32.95	o 1053106
38.27/32.95	o 1053485
38.27/32.95	o 1054270
38.27/32.95	o 1054649
38.27/32.95	o 1057021
38.27/32.95	o 1057400
38.27/32.96	o 1059288
38.27/32.96	o 1059667
38.27/32.96	o 1060106
38.27/32.96	o 1060485
38.27/32.96	o 1061214
38.27/32.96	o 1063481
38.27/32.96	o 1064299
38.27/32.96	o 1064678
38.27/32.96	o 1065051
38.27/32.96	o 1065260
38.27/32.96	o 1067802
38.27/32.96	o 1068620
38.27/32.96	o 1068999
38.27/32.96	o 1069453
38.27/32.97	o 1069832
38.27/32.97	o 1070271
38.27/32.97	o 1070650
38.27/32.97	o 1071995
38.27/32.97	o 1072813
38.27/32.97	o 1073192
38.27/32.97	o 1074262
38.27/32.97	o 1074641
38.27/32.97	o 1075080
38.27/32.97	o 1075459
38.27/32.97	o 1075813
38.27/32.97	o 1076515
38.27/32.97	o 1077333
38.27/32.97	o 1078166
38.27/32.98	o 1080708
38.27/32.98	o 1081526
38.27/32.98	o 1082975
38.27/32.98	o 1083793
38.27/32.98	o 1085049
38.27/32.98	o 1085107
38.27/32.98	o 1086684
38.27/32.98	o 1087574
38.27/32.98	o 1089563
38.27/32.98	o 1091214
38.27/32.98	o 1091489
38.27/32.98	o 1093756
38.27/32.99	o 1094574
38.27/32.99	o 1094953
38.27/32.99	o 1095634
38.27/32.99	o 1096013
38.27/32.99	o 1096452
38.27/32.99	o 1096831
38.27/32.99	o 1097901
38.27/32.99	o 1098719
38.27/32.99	o 1099098
38.27/32.99	o 1099113
38.27/32.99	o 1099322
38.27/32.99	o 1099597
38.27/32.99	o 1101485
38.27/32.99	o 1101864
38.27/32.99	o 1102879
38.27/33.00	o 1103088
38.27/33.00	o 1103363
38.27/33.00	o 1105630
38.27/33.00	o 1106009
38.27/33.00	o 1106448
38.27/33.00	o 1106827
38.27/33.00	o 1106861
38.27/33.00	o 1107070
38.27/33.00	o 1107345
38.27/33.00	o 1109612
38.27/33.01	o 1110430
38.39/33.01	o 1110809
38.39/33.01	o 1111964
38.39/33.01	o 1112782
38.39/33.01	o 1113161
38.39/33.01	o 1114231
38.39/33.01	o 1114610
38.39/33.01	o 1115049
38.39/33.01	o 1115428
38.39/33.01	o 1115634
38.39/33.02	o 1116357
38.39/33.02	o 1117175
38.39/33.02	o 1117554
38.39/33.02	o 1117742
38.39/33.02	o 1119182
38.39/33.03	o 1121724
38.39/33.03	o 1123991
38.39/33.03	o 1124809
38.39/33.03	o 1125188
38.39/33.04	o 1126117
38.39/33.04	o 1126496
38.39/33.04	o 1126935
38.39/33.04	o 1127314
38.39/33.04	o 1127339
38.39/33.05	o 1129063
38.39/33.05	o 1129881
38.39/33.05	o 1131330
38.39/33.05	o 1132148
38.39/33.05	o 1133456
38.39/33.05	o 1134274
38.39/33.05	o 1134653
38.39/33.06	o 1134870
38.39/33.06	o 1135688
38.39/33.06	o 1136067
38.39/33.06	o 1137363
38.39/33.06	o 1137742
38.39/33.07	o 1139489
38.39/33.07	o 1139868
38.39/33.08	o 1140307
38.39/33.08	o 1140686
38.39/33.08	o 1142209
38.39/33.08	o 1143027
38.39/33.09	o 1144702
38.39/33.09	o 1146828
38.39/33.09	o 1147646
38.39/33.09	o 1148025
38.39/33.09	o 1148364
38.39/33.10	o 1150111
38.39/33.10	o 1150490
38.39/33.10	o 1150929
38.39/33.10	o 1151308
38.39/33.10	o 1152087
38.49/33.12	o 1152619
38.49/33.12	o 1154552
38.49/33.12	o 1155370
38.49/33.12	o 1155749
38.49/33.13	o 1156174
38.49/33.14	o 1156553
38.49/33.15	o 1157708
38.49/33.15	o 1157849
38.49/33.15	o 1159975
38.49/33.15	o 1160793
38.49/33.16	o 1161172
38.49/33.17	o 1162279
38.49/33.17	o 1162658
38.49/33.17	o 1163097
38.49/33.17	o 1163476
38.49/33.18	o 1163746
38.49/33.18	o 1164230
38.49/33.18	o 1165679
38.49/33.18	o 1166497
38.49/33.18	o 1167805
38.49/33.18	o 1168623
38.49/33.19	o 1169002
38.49/33.19	o 1170764
38.58/33.20	o 1170990
38.58/33.20	o 1173257
38.58/33.20	o 1175383
38.58/33.20	o 1175762
38.58/33.21	o 1176201
38.58/33.21	o 1176580
38.58/33.21	o 1177863
38.58/33.21	o 1179989
38.58/33.22	o 1182482
38.58/33.22	o 1184608
38.58/33.22	o 1184749
38.58/33.22	o 1186875
38.58/33.23	o 1187693
38.58/33.23	o 1188072
38.58/33.24	o 1190077
38.58/33.24	o 1190895
38.58/33.24	o 1191274
38.58/33.24	o 1191604
38.58/33.25	o 1192557
38.58/33.25	o 1193194
38.58/33.26	o 1194425
38.58/33.26	o 1197176
38.58/33.26	o 1199443
38.58/33.26	o 1201569
38.58/33.26	o 1201948
38.58/33.27	o 1202387
38.58/33.27	o 1202766
38.58/33.28	o 1203448
38.58/33.28	o 1204266
38.58/33.28	o 1205941
38.58/33.28	o 1208067
38.58/33.28	o 1208885
38.58/33.28	o 1209264
38.58/33.29	o 1209430
38.58/33.29	o 1209869
38.58/33.29	o 1210248
38.69/33.30	o 1210316
38.69/33.30	o 1211134
38.69/33.30	o 1212668
38.69/33.30	o 1212809
38.69/33.30	o 1214935
38.69/33.31	o 1215753
38.69/33.31	o 1215919
38.69/33.31	o 1216737
38.69/33.31	o 1217116
38.69/33.36	o 1217430
38.69/33.36	o 1217478
38.69/33.36	o 1217509
38.69/33.36	o 1217888
38.69/33.37	o 1218134
38.69/33.37	o 1220260
38.69/33.37	o 1220639
38.69/33.37	o 1221244
38.69/33.37	o 1221623
38.69/33.37	o 1222062
38.69/33.37	o 1222441
38.69/33.40	o 1222955
38.79/33.40	o 1223773
38.79/33.40	o 1223939
38.79/33.40	o 1224757
38.79/33.40	o 1225136
38.79/33.41	o 1225896
38.79/33.41	o 1226880
38.79/33.41	o 1227259
38.79/33.41	o 1227698
38.79/33.41	o 1228077
38.79/33.41	o 1228086
38.79/33.41	o 1228465
38.79/33.42	o 1229218
38.79/33.42	o 1229429
38.79/33.43	o 1229842
38.79/33.43	o 1230660
38.79/33.43	o 1231609
38.79/33.43	o 1232593
38.79/33.43	o 1233411
38.79/33.43	o 1233790
38.79/33.45	o 1233957
38.79/33.45	o 1234518
38.79/33.45	o 1235336
38.79/33.45	o 1235715
38.79/33.46	o 1235881
38.79/33.46	o 1236320
38.79/33.46	o 1236699
38.79/33.49	o 1237133
38.79/33.49	o 1237951
38.79/33.49	o 1238117
38.79/33.49	o 1238935
38.79/33.49	o 1239314
38.89/33.52	o 1239875
38.89/33.52	o 1240859
38.89/33.52	o 1241238
38.89/33.52	o 1241677
38.89/33.52	o 1242056
38.89/33.58	o 1242604
38.89/33.58	o 1243422
38.89/33.59	o 1243887
38.89/33.59	o 1244871
38.89/33.59	o 1245689
38.89/33.59	o 1246068
38.98/33.60	o 1246945
38.98/33.61	o 1247763
38.98/33.61	o 1249212
38.98/33.61	o 1250030
38.98/33.61	o 1250409
38.98/33.61	o 1250575
38.98/33.61	o 1251014
38.98/33.61	o 1251393
38.98/33.64	o 1251954
38.98/33.64	o 1252772
38.98/33.64	o 1252938
38.98/33.64	o 1253756
38.98/33.65	o 1254135
39.23/33.89	o 1254796
39.23/33.89	o 1255175
39.23/33.89	o 1255614
39.23/33.89	o 1255993
39.32/33.99	o 1256589
39.32/33.99	o 1256968
39.32/34.01	o 1257227
39.43/34.01	o 1257732
39.43/34.01	o 1257788
39.43/34.01	o 1258606
39.43/34.01	o 1258772
39.43/34.01	o 1259590
39.43/34.02	o 1259969
39.43/34.05	o 1260112
39.43/34.05	o 1261096
39.43/34.05	o 1261475
39.43/34.06	o 1261914
39.43/34.06	o 1262293
40.02/34.69	o 1262308
40.02/34.69	o 1262687
40.02/34.69	o 1263126
40.02/34.69	o 1263505
40.22/34.80	o 1263648
40.22/34.80	o 1264632
40.22/34.82	o 1265450
40.22/34.83	o 1265829
40.22/34.85	o 1265868
40.22/34.85	o 1266247
40.22/34.85	o 1266390
40.22/34.86	o 1267374
40.22/34.87	o 1268192
40.22/34.87	o 1268571
40.63/35.26	o 1268830
40.76/35.38	o 1269028
40.76/35.38	o 1269352
40.76/35.38	o 1269791
40.76/35.38	o 1270170
40.76/35.38	o 1270775
40.76/35.38	o 1271154
40.96/35.52	o 1271193
40.96/35.52	o 1271572
40.96/35.56	o 1271659
40.96/35.56	o 1271715
40.96/35.56	o 1272533
40.96/35.56	o 1272699
40.96/35.56	o 1273517
40.96/35.56	o 1273896
41.16/35.80	o 1273949
41.26/35.81	o 1274092
41.26/35.82	o 1275076
41.26/35.82	o 1275455
41.26/35.82	o 1275894
41.26/35.82	o 1276273
41.36/35.99	o 1276301
41.47/36.05	o 1276340
41.47/36.05	o 1276719
41.47/36.06	o 1276862
41.47/36.06	o 1277680
41.47/36.06	o 1277846
41.47/36.07	o 1278664
41.47/36.07	o 1279043
42.16/36.77	o 1279508
42.16/36.77	o 1279887
42.26/36.82	o 1280030
42.26/36.82	o 1280848
42.26/36.82	o 1281014
42.26/36.83	o 1281832
42.26/36.83	o 1282211
50.89/44.93	o 1282323
50.89/44.93	o 1282702
50.89/44.93	o 1283338
50.89/44.93	o 1283857
50.89/44.93	o 1284125
50.89/44.93	o 1285983
50.89/44.93	o 1286502
50.89/44.93	o 1286967
50.89/44.93	o 1287486
50.89/44.93	o 1287865
50.89/44.97	o 1287954
50.89/44.97	o 1288104
50.89/44.97	o 1289962
50.89/44.97	o 1290946
50.89/44.97	o 1291325
50.89/44.97	o 1291465
50.89/44.97	o 1291844
51.01/45.04	o 1291913
51.01/45.04	o 1292206
51.01/45.04	o 1293190
51.01/45.04	o 1294851
51.01/45.04	o 1295835
51.01/45.04	o 1296354
51.01/45.04	o 1296871
51.01/45.04	o 1296893
51.01/45.04	o 1297250
51.01/45.04	o 1297272
51.01/45.08	o 1297792
51.01/45.08	o 1298666
51.01/45.08	o 1299650
51.01/45.08	o 1300169
51.01/45.08	o 1300548
51.01/45.08	o 1300686
51.01/45.08	o 1301065
51.01/45.08	o 1301087
51.11/45.11	o 1301473
51.11/45.12	o 1301676
51.11/45.12	o 1302195
51.11/45.12	o 1302646
51.11/45.12	o 1303630
51.11/45.12	o 1305133
51.11/45.13	o 1306117
51.11/45.13	o 1306636
51.11/45.13	o 1307015
51.11/45.14	o 1307377
51.11/45.14	o 1307535
51.11/45.14	o 1308014
51.11/45.14	o 1308164
51.11/45.14	o 1310022
51.11/45.14	o 1310541
51.11/45.14	o 1310563
51.11/45.14	o 1311058
51.11/45.14	o 1311080
51.11/45.14	o 1311437
51.11/45.15	o 1311459
51.11/45.15	o 1311525
51.11/45.15	o 1311904
51.11/45.15	o 1312042
51.11/45.15	o 1312421
51.11/45.15	o 1312443
51.30/45.31	o 1312722
51.30/45.31	o 1313101
51.30/45.35	o 1313207
51.30/45.35	o 1313229
51.30/45.35	o 1313687
51.30/45.35	o 1314447
51.30/45.35	o 1314966
51.30/45.35	o 1315483
51.30/45.36	o 1315751
51.30/45.36	o 1316108
51.30/45.36	o 1317092
51.30/45.36	o 1317609
51.30/45.36	o 1317611
51.30/45.36	o 1318128
51.30/45.36	o 1318150
51.30/45.36	o 1318507
51.30/45.36	o 1318529
55.63/49.34	o 1318546
55.63/49.34	o 1320335
55.63/49.34	o 1320357
55.63/49.34	o 1320773
55.63/49.34	o 1320844
55.63/49.34	o 1322655
55.63/49.34	o 1322677
55.63/49.34	o 1323437
55.63/49.34	o 1323459
55.63/49.37	o 1323925
55.63/49.37	o 1324273
55.63/49.37	o 1324363
55.63/49.37	o 1324434
55.63/49.38	o 1326245
55.63/49.38	o 1326548
55.63/49.38	o 1326896
55.63/49.38	o 1326986
60.06/53.52	o 1328041
60.06/53.52	o 1329236
60.06/53.52	o 1329852
60.06/53.52	o 1331047
60.06/53.52	o 1331564
60.06/53.53	o 1333226
60.06/53.53	o 1335037
60.06/53.53	o 1335554
60.06/53.54	o 1336232
60.06/53.54	o 1336749
60.06/53.55	o 1337058
60.06/53.57	o 1337711
60.06/53.57	o 1338020
60.06/53.57	o 1338906
60.06/53.57	o 1339215
60.06/53.57	o 1339423
60.06/53.57	o 1339732
60.16/53.60	o 1339934
60.16/53.60	o 1341745
60.16/53.61	o 1342262
60.16/53.62	o 1342571
60.16/53.65	o 1343924
60.16/53.65	o 1345119
60.16/53.65	o 1345636
60.16/53.65	o 1345735
60.16/53.65	o 1346252
60.16/53.65	o 1346930
60.16/53.65	o 1347447
60.16/53.65	o 1347756
60.26/53.70	o 1350380
60.26/53.71	o 1352191
60.26/53.71	o 1352500
60.26/53.71	o 1352708
60.26/53.71	o 1353017
60.26/53.74	o 1354370
60.26/53.74	o 1355565
60.26/53.75	o 1356181
60.26/53.75	o 1357376
60.26/53.75	o 1357893
60.26/53.75	o 1358202
60.26/53.78	o 1358839
60.26/53.78	o 1359356
60.26/53.78	o 1359665
60.26/53.78	o 1360034
60.26/53.78	o 1360343
60.26/53.78	o 1360551
60.26/53.78	o 1360860
60.36/53.81	o 1361244
60.36/53.82	o 1363408
60.36/53.82	o 1363925
60.36/53.82	o 1364024
60.36/53.82	o 1365219
60.36/53.82	o 1365736
60.36/53.82	o 1366045
60.36/53.88	o 1367376
60.36/53.88	o 1367893
60.36/53.88	o 1369187
60.36/53.88	o 1369704
60.36/53.88	o 1370013
60.36/53.88	o 1370382
60.36/53.88	o 1370691
60.36/53.88	o 1370899
60.36/53.88	o 1371208
60.47/53.95	o 1371479
60.47/53.95	o 1372770
60.47/53.96	o 1377389
60.47/53.97	o 1381862
60.47/53.98	o 1385095
60.47/53.98	o 1385241
60.47/53.98	o 1389714
60.47/53.99	o 1390023
63.48/56.83	o 1390142
63.48/56.83	o 1394445
63.48/56.83	o 1394576
80.40/73.64	o 1401428
80.40/73.64	o 1405862
80.40/73.64	o 1409711
80.40/73.67	o 1410456
80.40/73.67	o 1415690
80.40/73.67	o 1418744
80.40/73.67	o 1420124
80.40/73.67	o 1423178
80.62/73.87	o 1424383
80.62/73.87	o 1425010
80.62/73.88	o 1426401
80.62/73.88	o 1426920
80.62/73.89	o 1427763
80.62/73.89	o 1428282
80.72/73.94	o 1428782
80.72/73.94	o 1430195
80.72/73.96	o 1431586
80.72/73.97	o 1432105
80.72/74.00	o 1432142
80.72/74.01	o 1432661
80.83/74.01	o 1433555
80.83/74.01	o 1434074
80.93/74.16	o 1434129
81.02/74.23	o 1435355
81.02/74.23	o 1435874
81.02/74.29	o 1437152
81.02/74.29	o 1437708
81.02/74.30	o 1437730
81.02/74.30	o 1439121
81.12/74.30	o 1439640
81.12/74.37	o 1439642
81.12/74.38	o 1441004
81.12/74.38	o 1441523
81.22/74.43	o 1441580
81.22/74.43	o 1442858
81.22/74.43	o 1443414
81.22/74.43	o 1444827
81.22/74.43	o 1445346
81.32/74.55	o 1445682
81.32/74.55	o 1446201
81.32/74.59	o 1446673
81.42/74.64	o 1448035
81.42/74.65	o 1448086
81.42/74.65	o 1449448
81.42/74.67	o 1449967
81.42/74.68	o 1450024
81.52/74.73	o 1451858
81.52/74.74	o 1452377
95.59/88.70	o 1452712
95.59/88.71	o 1455323
95.59/88.71	o 1457295
95.59/88.71	o 1457778
95.59/88.71	o 1458113
95.59/88.71	o 1458818
95.59/88.71	o 1459636
95.59/88.72	o 1459971
108.84/101.94	o 1461665
108.84/101.94	o 1462925
108.84/101.94	o 1463637
108.84/101.94	o 1464897
108.84/101.95	o 1465040
108.84/101.96	o 1465364
108.84/101.96	o 1466076
108.84/101.96	o 1467336
108.84/101.96	o 1467479
108.84/101.97	o 1468497
108.84/101.97	o 1468640
108.84/101.97	o 1469757
108.84/101.98	o 1469900
108.95/102.03	o 1472823
108.95/102.04	o 1473202
108.95/102.07	o 1475780
108.95/102.08	o 1477940
108.95/102.08	o 1478975
108.95/102.08	o 1483174
110.37/103.45	o 1486602
110.37/103.45	o 1487121
110.37/103.45	o 1489176
110.37/103.45	o 1489695
110.37/103.45	o 1490589
110.37/103.45	o 1491108
110.37/103.45	o 1492243
110.37/103.45	o 1493656
110.37/103.45	o 1494175
110.37/103.45	o 1494563
110.37/103.46	o 1495082
110.37/103.46	o 1495976
110.37/103.46	o 1496495
110.37/103.46	o 1497208
110.37/103.46	o 1498621
110.37/103.46	o 1499140
110.37/103.49	o 1501271
110.37/103.49	o 1505705
110.48/103.53	o 1505815
110.48/103.53	o 1506227
110.48/103.53	o 1510978
110.48/103.53	o 1515412
110.58/103.63	o 1516099
110.58/103.67	o 1516501
110.58/103.67	o 1517914
110.58/103.67	o 1518731
110.58/103.67	o 1520700
110.58/103.67	o 1522113
129.49/122.46	o 1522244
129.49/122.47	o 1523897
129.49/122.47	o 1525755
129.49/122.47	o 1527027
129.49/122.47	o 1528885
129.49/122.47	o 1529035
129.49/122.47	o 1530893
129.49/122.49	o 1531004
129.49/122.49	o 1532862
129.59/122.54	o 1534326
129.59/122.54	o 1535590
129.59/122.54	o 1537054
150.24/142.90	o 1537057
150.24/142.90	o 1537190
150.24/142.90	o 1537979
150.24/142.90	o 1538801
150.24/142.90	o 1541039
150.24/142.94	o 1542825
169.85/162.16	o 1543292
169.85/162.20	o 1544079
169.85/162.20	o 1544190
169.96/162.20	o 1548513
169.96/162.23	o 1549871
169.96/162.23	o 1550180
169.96/162.23	o 1551682
169.96/162.23	o 1551991
169.96/162.26	o 1555209
169.96/162.26	o 1555475
169.96/162.26	o 1559643
170.09/162.36	o 1560587
170.09/162.37	o 1561437
170.09/162.37	o 1563406
170.09/162.37	o 1564011
170.09/162.37	o 1565980
170.09/162.38	o 1566607
170.09/162.40	o 1567457
170.09/162.40	o 1570031
170.19/162.40	o 1572000
170.19/162.44	o 1572496
170.19/162.44	o 1575289
170.19/162.44	o 1577075
170.19/162.44	o 1578755
170.19/162.44	o 1579762
170.19/162.44	o 1581548
170.19/162.47	o 1583677
170.64/162.83	o 1585355
171.49/163.66	o 1585460
171.49/163.66	o 1586147
171.49/163.68	o 1587428
171.49/163.68	o 1588496
171.49/163.68	o 1588630
171.49/163.68	o 1588677
171.49/163.68	o 1590488
171.49/163.69	o 1591556
171.59/163.73	o 1591736
171.59/163.73	o 1593594
171.70/163.80	o 1594337
171.70/163.80	o 1595405
171.70/163.80	o 1596092
171.80/163.96	o 1597457
171.80/163.96	o 1597836
171.80/163.96	o 1597976
171.80/163.96	o 1598355
171.80/163.99	o 1598486
172.41/164.56	o 1598537
172.41/164.59	o 1600618
172.41/164.59	o 1602744
172.96/165.09	o 1604608
172.96/165.10	o 1604751
172.96/165.10	o 1605127
172.96/165.10	o 1605270
173.07/165.16	o 1605932
173.07/165.16	o 1606311
173.07/165.16	o 1606750
173.07/165.16	o 1607129
173.27/165.31	o 1607299
173.27/165.31	o 1608117
173.27/165.31	o 1608283
173.27/165.31	o 1609101
173.27/165.31	o 1609788
173.27/165.31	o 1610255
173.27/165.31	o 1610928
173.27/165.31	o 1611615
173.27/165.31	o 1612082
173.27/165.31	o 1612213
173.27/165.31	o 1612433
173.27/165.31	o 1612900
175.34/167.33	o 1613082
219.09/210.20	o 1613213
219.18/210.20	o 1613763
219.18/210.20	o 1614190
219.18/210.20	o 1614740
219.18/210.25	o 1615043
219.18/210.25	o 1616456
219.18/210.25	o 1618103
219.18/210.26	o 1619516
219.18/210.26	o 1620066
224.43/215.35	o 1620480
224.43/215.35	o 1621893
224.43/215.35	o 1622443
224.43/215.38	o 1622888
224.43/215.38	o 1623751
224.43/215.38	o 1624301
224.73/215.68	o 1624452
224.73/215.68	o 1624971
224.73/215.68	o 1625436
224.73/215.68	o 1625955
224.73/215.68	o 1626311
224.73/215.68	o 1627295
224.73/215.68	o 1627814
248.56/238.90	o 1628130
248.56/238.90	o 1628817
248.78/239.13	o 1629721
248.78/239.13	o 1630705
248.78/239.14	o 1631580
248.78/239.14	o 1632564
248.78/239.16	o 1633251
249.07/239.44	o 1633557
249.07/239.44	o 1633730
249.07/239.44	o 1633880
249.07/239.44	o 1638203
249.07/239.44	o 1638582
249.07/239.45	o 1641263
249.07/239.45	o 1641642
249.07/239.47	o 1644948
249.07/239.48	o 1645635
249.41/239.74	o 1645840
249.41/239.74	o 1648412
249.41/239.74	o 1650486
249.41/239.75	o 1651988
249.41/239.75	o 1655016
249.41/239.75	o 1656187
249.41/239.75	o 1659215
249.41/239.75	o 1661009
249.41/239.75	o 1663448
249.41/239.75	o 1666476
249.95/240.16	o 1668350
249.95/240.16	o 1670028
252.82/242.94	o 1670347
252.82/242.94	o 1670656
276.54/266.12	o 1671191
276.54/266.12	o 1671643
276.54/266.12	o 1671670
276.54/266.12	o 1672930
276.54/266.12	o 1673617
276.54/266.12	o 1673678
276.54/266.13	o 1674365
276.54/266.13	o 1674938
276.54/266.13	o 1675625
276.63/266.22	o 1675795
276.63/266.22	o 1677055
276.63/266.28	o 1677742
276.73/266.30	o 1677877
276.73/266.32	o 1679137
276.73/266.33	o 1679824
276.73/266.33	o 1679994
276.73/266.34	o 1681254
276.73/266.34	o 1681941
277.26/266.80	o 1682204
277.26/266.80	o 1683617
277.26/266.80	o 1684930
277.26/266.80	o 1686205
277.26/266.80	o 1688779
277.26/266.80	o 1690565
277.26/266.80	o 1691978
277.77/267.30	o 1694445
277.77/267.30	o 1695909
277.77/267.34	o 1696722
277.77/267.34	o 1698581
277.77/267.34	o 1702547
277.77/267.34	o 1704406
277.77/267.34	o 1704549
281.42/270.84	o 1706033
281.42/270.84	o 1706335
281.42/270.84	o 1708353
281.42/270.84	o 1710128
281.63/271.01	o 1711275
281.63/271.02	o 1712739
281.63/271.02	o 1713283
281.63/271.02	o 1714747
281.94/271.39	o 1714799
282.34/271.76	o 1715407
282.34/271.77	o 1715924
282.45/271.82	o 1716113
282.45/271.82	o 1716149
282.45/271.82	o 1717409
282.45/271.83	o 1718534
282.45/271.83	o 1718726
282.45/271.83	o 1719279
282.45/271.83	o 1720404
282.45/271.83	o 1720539
282.45/271.83	o 1721664
282.45/271.83	o 1722181
283.16/272.52	o 1724207
283.36/272.77	o 1726309
283.36/272.77	o 1726641
283.36/272.77	o 1731075
286.13/275.47	o 1731101
286.13/275.47	o 1731296
286.23/275.53	o 1731482
286.23/275.55	o 1731791
286.23/275.58	o 1731941
286.23/275.58	o 1733937
286.23/275.58	o 1735955
286.23/275.58	o 1736264
286.34/275.66	o 1736505
286.34/275.66	o 1736814
286.44/275.77	o 1737009
289.72/278.91	o 1737661
289.83/279.02	o 1737899
289.83/279.02	o 1738551
289.83/279.05	o 1739741
289.83/279.05	o 1742871
289.83/279.05	o 1743761
289.93/279.14	o 1744255
289.93/279.14	o 1744450
290.44/279.61	o 1745828
290.44/279.61	o 1747368
290.44/279.61	o 1747582
290.44/279.61	o 1751802
290.74/279.96	o 1753811
291.06/280.22	o 1754823
291.06/280.22	o 1755373
291.16/280.33	o 1755516
291.16/280.36	o 1756634
291.16/280.36	o 1757184
291.16/280.36	o 1757327
294.57/283.68	o 1757573
294.57/283.68	o 1758040
294.57/283.68	o 1758092
294.57/283.68	o 1758559
294.57/283.68	o 1758597
294.57/283.68	o 1759246
294.57/283.68	o 1759765
294.57/283.68	o 1762724
294.57/283.68	o 1763243
294.57/283.68	o 1763466
294.57/283.68	o 1763884
294.57/283.68	o 1766944
294.57/283.68	o 1767463
294.57/283.68	o 1768962
294.57/283.69	o 1769481
294.57/283.69	o 1771810
294.57/283.69	o 1773828
294.57/283.69	o 1774347
294.57/283.69	o 1774814
295.48/284.52	o 1775051
295.48/284.52	o 1777513
295.48/284.52	o 1779485
295.58/284.62	o 1779642
295.58/284.62	o 1781611
295.68/284.75	o 1781766
295.68/284.75	o 1782128
295.68/284.75	o 1783166
295.68/284.75	o 1785789
295.68/284.75	o 1787600
295.68/284.76	o 1788117
296.01/285.03	o 1791230
296.01/285.03	o 1791586
296.01/285.03	o 1796796
296.51/285.50	o 1799107
297.03/286.10	o 1799659
297.03/286.10	o 1800178
297.13/286.11	o 1801805
297.13/286.11	o 1802789
297.13/286.11	o 1803308
310.24/298.84	o 1803592
311.85/300.40	o 1803599
311.85/300.40	o 1804149
311.85/300.40	o 1804344
311.85/300.42	o 1805458
311.85/300.42	o 1805653
311.85/300.49	o 1806008
311.95/300.52	o 1806203
311.95/300.57	o 1806527
311.95/300.57	o 1806722
314.59/303.05	o 1806732
314.59/303.05	o 1807208
314.59/303.05	o 1807517
314.59/303.06	o 1807752
314.59/303.06	o 1809216
314.59/303.06	o 1809525
314.59/303.06	o 1810285
314.59/303.06	o 1810594
314.59/303.06	o 1811070
314.59/303.06	o 1813078
314.59/303.06	o 1813387
314.59/303.06	o 1814542
314.59/303.06	o 1814851
327.08/315.28	o 1815619
327.08/315.28	o 1816306
327.50/315.67	o 1816955
327.50/315.68	o 1818589
327.50/315.68	o 1820513
327.50/315.68	o 1821063
327.50/315.68	o 1821497
327.50/315.68	o 1822047
333.06/321.07	o 1822470
333.06/321.08	o 1822987
336.71/324.61	o 1823444
336.71/324.61	o 1823911
336.71/324.65	o 1824243
336.71/324.65	o 1824681
336.71/324.65	o 1825368
336.71/324.66	o 1825835
337.53/325.49	o 1826157
337.64/325.52	o 1826266
337.64/325.54	o 1826302
337.74/325.60	o 1826810
337.74/325.64	o 1827014
337.74/325.64	o 1827755
337.74/325.64	o 1828274
339.28/327.17	o 1828792
339.28/327.18	o 1829311
374.07/360.82	o 1829443
374.07/360.82	o 1829993
381.33/367.98	o 1830478
382.49/369.10	o 1830945
383.38/369.98	o 1831075
383.38/369.98	o 1832988
383.38/369.98	o 1833386
383.38/369.98	o 1835299
384.30/370.86	o 1836461
384.30/370.88	o 1838374
389.62/376.09	o 1839115
412.32/397.96	o 1839337
412.32/397.96	o 1840597
412.32/397.96	o 1841116
415.28/400.83	o 1841425
442.26/426.75	o 1841597
442.26/426.75	o 1841801
442.26/426.75	o 1843061
442.26/426.75	o 1843467
442.26/426.75	o 1844931
442.26/426.75	o 1846191
477.66/461.25	o 1846745
477.76/461.34	o 1846921
477.87/461.49	o 1847833
477.87/461.49	o 1848520
478.39/461.93	o 1848736
478.39/461.93	o 1850853
478.49/462.08	o 1851540
478.59/462.11	o 1851794
478.59/462.11	o 1852481
478.59/462.11	o 1854111
478.59/462.11	o 1856228
478.59/462.11	o 1856915
478.59/462.11	o 1857131
478.59/462.11	o 1857818
478.59/462.11	o 1859248
478.59/462.11	o 1859935
478.59/462.11	o 1860979
478.59/462.11	o 1861578
478.59/462.11	o 1861882
478.59/462.11	o 1863999
478.59/462.12	o 1864686
484.75/468.16	o 1866104
484.75/468.16	o 1868073
484.75/468.16	o 1868592
514.59/497.27	o 1871549
514.59/497.28	o 1873407
514.70/497.30	o 1874936
514.70/497.30	o 1876794
514.70/497.30	o 1880157
514.70/497.30	o 1882015
516.46/499.08	o 1883208
554.69/536.38	o 1883565
554.69/536.38	o 1884690
569.12/550.18	o 1885227
569.12/550.18	o 1885536
569.12/550.18	o 1885777
569.12/550.18	o 1886086
569.32/550.34	o 1886156
569.32/550.34	o 1886172
569.32/550.34	o 1886183
569.32/550.35	o 1886747
569.32/550.35	o 1887297
569.32/550.37	o 1888033
569.32/550.37	o 1888044
569.32/550.37	o 1889158
569.32/550.39	o 1889708
569.32/550.39	o 1890017
645.21/624.36	o 1891816
645.21/624.36	o 1892366
658.62/637.46	o 1892615
658.62/637.46	o 1892618
658.62/637.47	o 1894587
658.94/637.78	o 1898749
658.94/637.78	o 1903183
659.04/637.81	o 1903242
659.04/637.81	o 1903620
659.04/637.81	o 1903929
659.15/637.91	o 1907013
659.15/637.91	o 1908138
659.15/637.91	o 1908871
659.15/637.91	o 1909996
659.15/637.93	o 1910131
659.15/637.93	o 1911256
659.15/637.95	o 1911565
1162.41/1127.50	o 1912140
1162.41/1127.50	o 1913369
1162.41/1127.54	o 1914494
1162.41/1127.58	o 1915338
1162.41/1127.58	o 1916463
1163.21/1128.32	o 1916642
1163.21/1128.32	o 1917803
1163.21/1128.37	o 1919772
1163.31/1128.41	o 1920897
1163.61/1128.74	o 1924391
1163.61/1128.74	o 1925516
1227.00/1190.63	o 1926718
1232.04/1195.53	o 1926793
1232.44/1196.00	o 1927906
1232.44/1196.00	o 1928652
1233.44/1196.92	o 1931284
1233.44/1196.92	o 1935718
1233.44/1196.92	o 1937687
1233.44/1196.92	o 1938511
1233.44/1196.92	o 1940480
1234.34/1197.81	o 1941935
1234.34/1197.81	o 1942244
1235.30/1198.76	o 1943907
1235.71/1199.17	o 1944216
1729.11/1679.20	o 1944790
1729.11/1679.20	o 1945340
1729.11/1679.20	o 1945807
1729.21/1679.31	o 1946081
1729.21/1679.31	o 1946837
1729.21/1679.31	o 1947583
1729.21/1679.31	o 1948050
1729.21/1679.36	o 1948133
1729.21/1679.36	o 1948600
1729.31/1679.41	o 1948818
1729.31/1679.47	o 1949092
1729.31/1679.47	o 1950315
1729.31/1679.47	o 1951061
1729.61/1679.77	o 1951611
1729.61/1679.77	o 1952078
2136.17/2075.62	o 1952370
2136.17/2075.62	o 1952426
2136.17/2075.62	o 1954339
2137.77/2077.20	o 1955266
2147.91/2087.14	o 1955333
2147.91/2087.14	o 1955800
2147.91/2087.14	o 1957191
2147.91/2087.20	o 1957658
2147.91/2087.20	o 1958451
2147.91/2087.20	o 1958918
2520.03/2449.01	s SATISFIABLE
2520.03/2449.01	v <instantiation>
2520.03/2449.01	v 	<list>
2520.03/2449.01	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.03/2449.01	v 	</list>
2520.03/2449.01	v 	<values>
2520.03/2449.01	v 		0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 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 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 1 0 1 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 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 1 0 0 0 0 1 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 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 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 1 0 0 1 0 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 1 0 0 1 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 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 1 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 1 1 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 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 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 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 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 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 1 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 0 0 0 0 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 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 1 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 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 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 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 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 1 0 0 0 0 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 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 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 1 0 0 1 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 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 1 1 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 1 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 1 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 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 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 
2520.03/2449.01	v 	</values>
2520.03/2449.01	v </instantiation>

Verifier Data 

OK	1958918

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308679-1534282997/watcher-4308679-1534282997 -o /tmp/evaluation-result-4308679-1534282997/solver-4308679-1534282997 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534270673-20078 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 107484310 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308679-1534282997.xml 

running on 4 cores: 1,3,5,7

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=21508, runsolver pid=21505
Current StackSize limit: 8192 KiB


[startup+0.101114 s]*
/proc/loadavg: 1.49 1.42 1.67 3/216 21523
/proc/meminfo: memFree=22453428/32770624 swapFree=67108796/67108860
[pid=21508] ppid=21505 vsize=14082736 memory=32388 CPUtime=0.12 cores=1,3,5,7
/proc/21508/stat : 21508 (java) S 21505 21508 18471 0 -1 1077944320 7511 0 0 0 11 1 0 0 20 0 15 0 245862917 14420721664 8097 33554432000 4194304 4196468 140736544977488 140736544960032 140566931250935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
/proc/21508/statm: 3520684 8097 3156 1 0 3482761 0
[pid=21508/tid=21510] ppid=21505 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/21508/task/21510/stat : 21510 (java) R 21505 21508 18471 0 -1 4202560 5557 0 0 0 9 0 0 0 20 0 15 0 245862917 14420721664 8097 33554432000 4194304 4196468 140736544977488 140566935484608 140566931272861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21511] ppid=21505 vsize=14082736 memory=5793855195608426937 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21511/stat : 21511 (java) S 21505 21508 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245862918 14420721664 8097 33554432000 4194304 4196468 140736544977488 140566898809488 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21512] ppid=21505 vsize=14082736 memory=139944598533760 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21512/stat : 21512 (java) S 21505 21508 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245862918 14420721664 8097 33554432000 4194304 4196468 140736544977488 140566526360080 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21513] ppid=21505 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21513/stat : 21513 (java) S 21505 21508 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245862918 14420721664 8097 33554432000 4194304 4196468 140736544977488 140566525307280 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21514] ppid=21505 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21514/stat : 21514 (java) S 21505 21508 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245862918 14420721664 8097 33554432000 4194304 4196468 140736544977488 140566524254480 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21515] ppid=21505 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21515/stat : 21515 (java) S 21505 21508 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245862919 14420721664 8097 33554432000 4194304 4196468 140736544977488 140565844007792 140566931262082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21516] ppid=21505 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21516/stat : 21516 (java) S 21505 21508 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245862919 14420721664 8097 33554432000 4194304 4196468 140736544977488 140565842953760 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21517] ppid=21505 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21517/stat : 21517 (java) S 21505 21508 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245862920 14420721664 8097 33554432000 4194304 4196468 140736544977488 140565841900912 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21518] ppid=21505 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21518/stat : 21518 (java) S 21505 21508 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245862922 14420721664 8097 33554432000 4194304 4196468 140736544977488 140565840849232 140566931269531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21519] ppid=21505 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21519/stat : 21519 (java) S 21505 21508 18471 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 245862922 14420721664 8097 33554432000 4194304 4196468 140736544977488 140565839796592 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21520] ppid=21505 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21520/stat : 21520 (java) S 21505 21508 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245862922 14420721664 8097 33554432000 4194304 4196468 140736544977488 140565838743792 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21521] ppid=21505 vsize=14082736 memory=139944598533760 CPUtime=0.01 cores=1,3,5,7
/proc/21508/task/21521/stat : 21521 (java) R 21505 21508 18471 0 -1 4202560 285 0 0 0 1 0 0 0 20 0 15 0 245862922 14420721664 8097 33554432000 4194304 4196468 140736544977488 140565837690992 140566924350635 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21522] ppid=21505 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21522/stat : 21522 (java) S 21505 21508 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245862922 14420721664 8097 33554432000 4194304 4196468 140736544977488 140565836638432 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21523] ppid=21505 vsize=14082736 memory=139944598533760 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21523/stat : 21523 (java) S 21505 21508 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245862922 14420721664 8097 33554432000 4194304 4196468 140736544977488 140565835586736 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32388 KiB

[startup+0.210506 s]*
/proc/loadavg: 1.49 1.42 1.67 4/216 21523
/proc/meminfo: memFree=22438548/32770624 swapFree=67108796/67108860
[pid=21508] ppid=21505 vsize=14082736 memory=45796 CPUtime=0.31 cores=1,3,5,7
/proc/21508/stat : 21508 (java) S 21505 21508 18471 0 -1 1077944320 10660 0 0 0 29 2 0 0 20 0 15 0 245862917 14420721664 11449 33554432000 4194304 4196468 140736544977488 140736544960032 140566931250935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
/proc/21508/statm: 3520684 11449 3366 1 0 3482761 0
[pid=21508/tid=21510] ppid=21505 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/21508/task/21510/stat : 21510 (java) R 21505 21508 18471 0 -1 4202560 8262 0 0 0 19 1 0 0 20 0 15 0 245862917 14420721664 11449 33554432000 4194304 4196468 140736544977488 140566935480848 140566931272861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21511] ppid=21505 vsize=14082736 memory=4211973670803324298 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21511/stat : 21511 (java) S 21505 21508 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245862918 14420721664 11449 33554432000 4194304 4196468 140736544977488 140566898809488 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21512] ppid=21505 vsize=14082736 memory=139944598533760 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21512/stat : 21512 (java) S 21505 21508 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245862918 14420721664 11449 33554432000 4194304 4196468 140736544977488 140566526360080 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21513] ppid=21505 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21513/stat : 21513 (java) S 21505 21508 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245862918 14420721664 11449 33554432000 4194304 4196468 140736544977488 140566525307280 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21514] ppid=21505 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21514/stat : 21514 (java) S 21505 21508 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245862918 14420721664 11449 33554432000 4194304 4196468 140736544977488 140566524254480 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21515] ppid=21505 vsize=14082736 memory=139944598533760 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21515/stat : 21515 (java) S 21505 21508 18471 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245862919 14420721664 11449 33554432000 4194304 4196468 140736544977488 140565844007792 140566931262082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21516] ppid=21505 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21516/stat : 21516 (java) S 21505 21508 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245862919 14420721664 11449 33554432000 4194304 4196468 140736544977488 140565842953760 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21517] ppid=21505 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21517/stat : 21517 (java) S 21505 21508 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245862920 14420721664 11449 33554432000 4194304 4196468 140736544977488 140565841900912 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21518] ppid=21505 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21518/stat : 21518 (java) S 21505 21508 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245862922 14420721664 11449 33554432000 4194304 4196468 140736544977488 140565840849232 140566931269531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21519] ppid=21505 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21508/task/21519/stat : 21519 (java) S 21505 21508 18471 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 15 0 245862922 14420721664 11449 33554432000 4194304 4196468 140736544977488 140565839796592 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21520] ppid=21505 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/21508/task/21520/stat : 21520 (java) R 21505 21508 18471 0 -1 4202560 165 0 0 0 1 0 0 0 20 0 15 0 245862922 14420721664 11449 33554432000 4194304 4196468 140736544977488 140565838735296 140566915647752 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21521] ppid=21505 vsize=14082736 memory=139944598533760 CPUtime=0.06 cores=1,3,5,7
/proc/21508/task/21521/stat : 21521 (java) R 21505 21508 18471 0 -1 4202560 392 0 0 0 6 0 0 0 20 0 15 0 245862922 14420721664 11449 33554432000 4194304 4196468 140736544977488 140565837686720 140566931272282 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21522] ppid=21505 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21522/stat : 21522 (java) S 21505 21508 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245862922 14420721664 11449 33554432000 4194304 4196468 140736544977488 140565836638432 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21523] ppid=21505 vsize=14082736 memory=139944598533760 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21523/stat : 21523 (java) S 21505 21508 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245862922 14420721664 11449 33554432000 4194304 4196468 140736544977488 140565835586736 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 45796 KiB

[startup+0.310626 s]*
/proc/loadavg: 1.49 1.42 1.67 3/216 21523
/proc/meminfo: memFree=22434516/32770624 swapFree=67108796/67108860
[pid=21508] ppid=21505 vsize=14082736 memory=49604 CPUtime=0.43 cores=1,3,5,7
/proc/21508/stat : 21508 (java) S 21505 21508 18471 0 -1 1077944320 11025 0 0 0 41 2 0 0 20 0 15 0 245862917 14420721664 12401 33554432000 4194304 4196468 140736544977488 140736544960032 140566931250935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
/proc/21508/statm: 3520684 12401 3406 1 0 3482761 0
[pid=21508/tid=21510] ppid=21505 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/21508/task/21510/stat : 21510 (java) R 21505 21508 18471 0 -1 4202560 8585 0 0 0 29 1 0 0 20 0 15 0 245862917 14420721664 12401 33554432000 4194304 4196468 140736544977488 140566935431984 140566912814510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21511] ppid=21505 vsize=14082736 memory=4211973670803324298 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21511/stat : 21511 (java) S 21505 21508 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245862918 14420721664 12401 33554432000 4194304 4196468 140736544977488 140566898809488 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21512] ppid=21505 vsize=14082736 memory=139944598536124 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21512/stat : 21512 (java) S 21505 21508 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245862918 14420721664 12401 33554432000 4194304 4196468 140736544977488 140566526360080 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21513] ppid=21505 vsize=14082736 memory=139944463036983 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21513/stat : 21513 (java) S 21505 21508 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245862918 14420721664 12401 33554432000 4194304 4196468 140736544977488 140566525307280 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21514] ppid=21505 vsize=14082736 memory=139944463027663 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21514/stat : 21514 (java) S 21505 21508 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245862918 14420721664 12401 33554432000 4194304 4196468 140736544977488 140566524254480 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21515] ppid=21505 vsize=14082736 memory=139944598552258 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21515/stat : 21515 (java) S 21505 21508 18471 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245862919 14420721664 12401 33554432000 4194304 4196468 140736544977488 140565844007792 140566931262082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21516] ppid=21505 vsize=14082736 memory=139944463036847 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21516/stat : 21516 (java) S 21505 21508 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245862919 14420721664 12401 33554432000 4194304 4196468 140736544977488 140565842953760 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21517] ppid=21505 vsize=14082736 memory=279888926064528 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21517/stat : 21517 (java) S 21505 21508 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245862920 14420721664 12401 33554432000 4194304 4196468 140736544977488 140565841900912 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21518] ppid=21505 vsize=14082736 memory=279888926062224 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21518/stat : 21518 (java) S 21505 21508 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245862922 14420721664 12401 33554432000 4194304 4196468 140736544977488 140565840849232 140566931269531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21519] ppid=21505 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21508/task/21519/stat : 21519 (java) S 21505 21508 18471 0 -1 1077944384 468 0 0 0 1 0 0 0 20 0 15 0 245862922 14420721664 12401 33554432000 4194304 4196468 140736544977488 140565839796592 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21520] ppid=21505 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/21508/task/21520/stat : 21520 (java) S 21505 21508 18471 0 -1 1077944384 169 0 0 0 2 0 0 0 20 0 15 0 245862922 14420721664 12401 33554432000 4194304 4196468 140736544977488 140565838743792 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21521] ppid=21505 vsize=14082736 memory=139944598533760 CPUtime=0.08 cores=1,3,5,7
/proc/21508/task/21521/stat : 21521 (java) S 21505 21508 18471 0 -1 1077944384 421 0 0 0 8 0 0 0 20 0 15 0 245862922 14420721664 12401 33554432000 4194304 4196468 140736544977488 140565837690992 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21522] ppid=21505 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21522/stat : 21522 (java) S 21505 21508 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245862922 14420721664 12401 33554432000 4194304 4196468 140736544977488 140565836638432 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21523] ppid=21505 vsize=14082736 memory=139944598533760 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21523/stat : 21523 (java) S 21505 21508 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245862922 14420721664 12401 33554432000 4194304 4196468 140736544977488 140565835586736 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 49604 KiB

[startup+0.700684 s]
/proc/loadavg: 1.49 1.42 1.67 4/216 21523
/proc/meminfo: memFree=22412380/32770624 swapFree=67108796/67108860
[pid=21508] ppid=21505 vsize=14084804 memory=89824 CPUtime=0.99 cores=1,3,5,7
/proc/21508/stat : 21508 (java) S 21505 21508 18471 0 -1 1077944320 17833 0 0 0 95 4 0 0 20 0 15 0 245862917 14422839296 22456 33554432000 4194304 4196468 140736544977488 140736544960032 140566931250935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
/proc/21508/statm: 3521201 22456 3499 1 0 3483273 0
[pid=21508/tid=21510] ppid=21505 vsize=14084804 memory=796 CPUtime=0.67 cores=1,3,5,7
/proc/21508/task/21510/stat : 21510 (java) R 21505 21508 18471 0 -1 4202560 14910 0 0 0 64 3 0 0 20 0 15 0 245862917 14422839296 22456 33554432000 4194304 4196468 140736544977488 140566935486416 140566931272861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21511] ppid=21505 vsize=14084804 memory=1592 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21511/stat : 21511 (java) S 21505 21508 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245862918 14422839296 22456 33554432000 4194304 4196468 140736544977488 140566898809488 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21512] ppid=21505 vsize=14084804 memory=3780 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21512/stat : 21512 (java) S 21505 21508 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245862918 14422839296 22456 33554432000 4194304 4196468 140736544977488 140566526360080 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21513] ppid=21505 vsize=14084804 memory=7236533984234661184 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21513/stat : 21513 (java) S 21505 21508 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245862918 14422839296 22456 33554432000 4194304 4196468 140736544977488 140566525307280 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21514] ppid=21505 vsize=14084804 memory=8099279071866868837 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21514/stat : 21514 (java) S 21505 21508 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245862918 14422839296 22456 33554432000 4194304 4196468 140736544977488 140566524254480 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21515] ppid=21505 vsize=14084804 memory=4641330296368681047 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21515/stat : 21515 (java) S 21505 21508 18471 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245862919 14422839296 22456 33554432000 4194304 4196468 140736544977488 140565844007792 140566931262082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21516] ppid=21505 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21516/stat : 21516 (java) S 21505 21508 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245862919 14422839296 22456 33554432000 4194304 4196468 140736544977488 140565842953760 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21517] ppid=21505 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21517/stat : 21517 (java) S 21505 21508 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245862920 14422839296 22456 33554432000 4194304 4196468 140736544977488 140565841900912 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21518] ppid=21505 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21518/stat : 21518 (java) S 21505 21508 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245862922 14422839296 22456 33554432000 4194304 4196468 140736544977488 140565840849232 140566931269531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21519] ppid=21505 vsize=14084804 memory=572 CPUtime=0.08 cores=1,3,5,7
/proc/21508/task/21519/stat : 21519 (java) S 21505 21508 18471 0 -1 1077944384 661 0 0 0 8 0 0 0 20 0 15 0 245862922 14422839296 22456 33554432000 4194304 4196468 140736544977488 140565839796592 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21520] ppid=21505 vsize=14084804 memory=7 CPUtime=0.06 cores=1,3,5,7
/proc/21508/task/21520/stat : 21520 (java) S 21505 21508 18471 0 -1 1077944384 313 0 0 0 6 0 0 0 20 0 15 0 245862922 14422839296 22456 33554432000 4194304 4196468 140736544977488 140565838743792 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21521] ppid=21505 vsize=14084804 memory=703 CPUtime=0.15 cores=1,3,5,7
/proc/21508/task/21521/stat : 21521 (java) R 21505 21508 18471 0 -1 4202560 567 0 0 0 15 0 0 0 20 0 15 0 245862922 14422839296 22456 33554432000 4194304 4196468 140736544977488 140565837690992 140566931272282 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21522] ppid=21505 vsize=14084804 memory=279888926248432 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21522/stat : 21522 (java) S 21505 21508 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245862922 14422839296 22456 33554432000 4194304 4196468 140736544977488 140565836638432 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21523] ppid=21505 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21523/stat : 21523 (java) S 21505 21508 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245862922 14422839296 22456 33554432000 4194304 4196468 140736544977488 140565835586736 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89824 KiB

[startup+1.50151 s]
/proc/loadavg: 1.49 1.42 1.67 6/216 21523
/proc/meminfo: memFree=22368688/32770624 swapFree=67108796/67108860
[pid=21508] ppid=21505 vsize=14088900 memory=216156 CPUtime=3.11 cores=1,3,5,7
/proc/21508/stat : 21508 (java) S 21505 21508 18471 0 -1 1077944320 25366 0 0 0 303 8 0 0 20 0 15 0 245862917 14427033600 54039 33554432000 4194304 4196468 140736544977488 140736544960032 140566931250935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
/proc/21508/statm: 3522225 54039 3553 1 0 3484297 0
[pid=21508/tid=21510] ppid=21505 vsize=14088900 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/21508/task/21510/stat : 21510 (java) R 21505 21508 18471 0 -1 4202560 17552 0 0 0 141 5 0 0 20 0 15 0 245862917 14427033600 54039 33554432000 4194304 4196468 140736544977488 140566935487024 140566931262870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21511] ppid=21505 vsize=14088900 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21511/stat : 21511 (java) S 21505 21508 18471 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 245862918 14427033600 54039 33554432000 4194304 4196468 140736544977488 140566898809488 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21512] ppid=21505 vsize=14088900 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21512/stat : 21512 (java) S 21505 21508 18471 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 15 0 245862918 14427033600 54039 33554432000 4194304 4196468 140736544977488 140566526360080 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21513] ppid=21505 vsize=14088900 memory=4947368681952549760 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21513/stat : 21513 (java) S 21505 21508 18471 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245862918 14427033600 54039 33554432000 4194304 4196468 140736544977488 140566525307280 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21514] ppid=21505 vsize=14088900 memory=-3472574513799858003 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21514/stat : 21514 (java) S 21505 21508 18471 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 245862918 14427033600 54039 33554432000 4194304 4196468 140736544977488 140566524254480 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21515] ppid=21505 vsize=14088900 memory=-6305716087675118720 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21515/stat : 21515 (java) S 21505 21508 18471 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 245862919 14427033600 54039 33554432000 4194304 4196468 140736544977488 140565844007792 140566931262082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0

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

/proc/21508/task/21510/stat : 21510 (java) R 21505 21508 18471 0 -1 4202560 181756 0 0 0 229960 78 0 0 20 0 15 0 245862917 14431227904 672274 33554432000 4194304 4196468 140736544977488 140566935487936 140566568983171 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21511] ppid=21505 vsize=14092996 memory=2689096 CPUtime=19.55 cores=1,3,5,7
/proc/21508/task/21511/stat : 21511 (java) S 21505 21508 18471 0 -1 1077944384 21955 0 0 0 1876 79 0 0 20 0 15 0 245862918 14431227904 672274 33554432000 4194304 4196468 140736544977488 140566898809488 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21512] ppid=21505 vsize=14092996 memory=2692688 CPUtime=19.55 cores=1,3,5,7
/proc/21508/task/21512/stat : 21512 (java) S 21505 21508 18471 0 -1 1077944384 25179 0 0 0 1876 79 0 0 20 0 15 0 245862918 14431227904 672274 33554432000 4194304 4196468 140736544977488 140566526360080 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21513] ppid=21505 vsize=14092996 memory=2689096 CPUtime=19.55 cores=1,3,5,7
/proc/21508/task/21513/stat : 21513 (java) S 21505 21508 18471 0 -1 1077944384 22487 0 0 0 1878 77 0 0 20 0 15 0 245862918 14431227904 672274 33554432000 4194304 4196468 140736544977488 140566525307280 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21514] ppid=21505 vsize=14092996 memory=2689096 CPUtime=19.54 cores=1,3,5,7
/proc/21508/task/21514/stat : 21514 (java) S 21505 21508 18471 0 -1 1077944384 27685 0 0 0 1875 79 0 0 20 0 15 0 245862918 14431227904 672274 33554432000 4194304 4196468 140736544977488 140566524254480 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21515] ppid=21505 vsize=14092996 memory=2056 CPUtime=1.43 cores=1,3,5,7
/proc/21508/task/21515/stat : 21515 (java) S 21505 21508 18471 0 -1 1077944384 98519 0 0 0 118 25 0 0 20 0 15 0 245862919 14431227904 672274 33554432000 4194304 4196468 140736544977488 140565844007792 140566931262082 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21516] ppid=21505 vsize=14092996 memory=932 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21516/stat : 21516 (java) S 21505 21508 18471 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 245862919 14431227904 672274 33554432000 4194304 4196468 140736544977488 140565842953824 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21517] ppid=21505 vsize=14092996 memory=2689096 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21517/stat : 21517 (java) S 21505 21508 18471 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 245862920 14431227904 672274 33554432000 4194304 4196468 140736544977488 140565841900928 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21518] ppid=21505 vsize=14092996 memory=2689096 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21518/stat : 21518 (java) S 21505 21508 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245862922 14431227904 672274 33554432000 4194304 4196468 140736544977488 140565840849232 140566931269531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21519] ppid=21505 vsize=14092996 memory=1776 CPUtime=3.64 cores=1,3,5,7
/proc/21508/task/21519/stat : 21519 (java) S 21505 21508 18471 0 -1 1077944384 44682 0 0 0 358 6 0 0 20 0 15 0 245862922 14431227904 672274 33554432000 4194304 4196468 140736544977488 140565839796592 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21520] ppid=21505 vsize=14092996 memory=5712 CPUtime=3.29 cores=1,3,5,7
/proc/21508/task/21520/stat : 21520 (java) S 21505 21508 18471 0 -1 1077944384 41670 0 0 0 324 5 0 0 20 0 15 0 245862922 14431227904 672274 33554432000 4194304 4196468 140736544977488 140565838743792 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21521] ppid=21505 vsize=14092996 memory=2712696 CPUtime=1.27 cores=1,3,5,7
/proc/21508/task/21521/stat : 21521 (java) S 21505 21508 18471 0 -1 1077944384 33936 0 0 0 123 4 0 0 20 0 15 0 245862922 14431227904 672274 33554432000 4194304 4196468 140736544977488 140565837690992 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21522] ppid=21505 vsize=14092996 memory=2712696 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21522/stat : 21522 (java) S 21505 21508 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245862922 14431227904 672274 33554432000 4194304 4196468 140736544977488 140565836638432 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21523] ppid=21505 vsize=14092996 memory=6791534058613427641 CPUtime=1.32 cores=1,3,5,7
/proc/21508/task/21523/stat : 21523 (java) S 21505 21508 18471 0 -1 1077944384 2156 0 0 0 57 75 0 0 20 0 15 0 245862922 14431227904 672274 33554432000 4194304 4196468 140736544977488 140565835586736 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
Current children cumulated CPU time: 2389.63 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2689096 KiB

[startup+2382.3 s]
/proc/loadavg: 1.40 1.49 1.51 3/216 21713
/proc/meminfo: memFree=20865200/32770624 swapFree=67108796/67108860
[pid=21508] ppid=21505 vsize=14092996 memory=2965148 CPUtime=2451 cores=1,3,5,7
/proc/21508/stat : 21508 (java) S 21505 21508 18471 0 -1 1077944320 507427 0 0 0 244601 499 0 0 20 0 15 0 245862917 14431227904 741287 33554432000 4194304 4196468 140736544977488 140736544960032 140566931250935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
/proc/21508/statm: 3523249 741287 3626 1 0 3485321 0
[pid=21508/tid=21510] ppid=21505 vsize=14092996 memory=7524 CPUtime=2359.9 cores=1,3,5,7
/proc/21508/task/21510/stat : 21510 (java) R 21505 21508 18471 0 -1 4202560 185486 0 0 0 235908 82 0 0 20 0 15 0 245862917 14431227904 741287 33554432000 4194304 4196468 140736544977488 140566935488080 140566577137024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21511] ppid=21505 vsize=14092996 memory=2965148 CPUtime=20 cores=1,3,5,7
/proc/21508/task/21511/stat : 21511 (java) S 21505 21508 18471 0 -1 1077944384 22320 0 0 0 1919 81 0 0 20 0 15 0 245862918 14431227904 741287 33554432000 4194304 4196468 140736544977488 140566898809488 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21512] ppid=21505 vsize=14092996 memory=2967200 CPUtime=20 cores=1,3,5,7
/proc/21508/task/21512/stat : 21512 (java) S 21505 21508 18471 0 -1 1077944384 25949 0 0 0 1919 81 0 0 20 0 15 0 245862918 14431227904 741287 33554432000 4194304 4196468 140736544977488 140566526360080 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21513] ppid=21505 vsize=14092996 memory=2991824 CPUtime=20 cores=1,3,5,7
/proc/21508/task/21513/stat : 21513 (java) S 21505 21508 18471 0 -1 1077944384 22884 0 0 0 1922 78 0 0 20 0 15 0 245862918 14431227904 741287 33554432000 4194304 4196468 140736544977488 140566525307280 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21514] ppid=21505 vsize=14092996 memory=2989772 CPUtime=20 cores=1,3,5,7
/proc/21508/task/21514/stat : 21514 (java) S 21505 21508 18471 0 -1 1077944384 27904 0 0 0 1919 81 0 0 20 0 15 0 245862918 14431227904 741287 33554432000 4194304 4196468 140736544977488 140566524254480 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21515] ppid=21505 vsize=14092996 memory=2967200 CPUtime=1.45 cores=1,3,5,7
/proc/21508/task/21515/stat : 21515 (java) S 21505 21508 18471 0 -1 1077944384 98956 0 0 0 119 26 0 0 20 0 15 0 245862919 14431227904 741287 33554432000 4194304 4196468 140736544977488 140565844007792 140566931262082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21516] ppid=21505 vsize=14092996 memory=2965148 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21516/stat : 21516 (java) S 21505 21508 18471 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 245862919 14431227904 741287 33554432000 4194304 4196468 140736544977488 140565842953824 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21517] ppid=21505 vsize=14092996 memory=2643036 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21517/stat : 21517 (java) S 21505 21508 18471 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 245862920 14431227904 741287 33554432000 4194304 4196468 140736544977488 140565841900928 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21518] ppid=21505 vsize=14092996 memory=2965148 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21518/stat : 21518 (java) S 21505 21508 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245862922 14431227904 741287 33554432000 4194304 4196468 140736544977488 140565840849232 140566931269531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21519] ppid=21505 vsize=14092996 memory=2965148 CPUtime=3.64 cores=1,3,5,7
/proc/21508/task/21519/stat : 21519 (java) S 21505 21508 18471 0 -1 1077944384 44684 0 0 0 358 6 0 0 20 0 15 0 245862922 14431227904 741287 33554432000 4194304 4196468 140736544977488 140565839796592 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21520] ppid=21505 vsize=14092996 memory=2965148 CPUtime=3.3 cores=1,3,5,7
/proc/21508/task/21520/stat : 21520 (java) S 21505 21508 18471 0 -1 1077944384 41673 0 0 0 325 5 0 0 20 0 15 0 245862922 14431227904 741287 33554432000 4194304 4196468 140736544977488 140565838743792 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21521] ppid=21505 vsize=14092996 memory=2965148 CPUtime=1.27 cores=1,3,5,7
/proc/21508/task/21521/stat : 21521 (java) S 21505 21508 18471 0 -1 1077944384 33939 0 0 0 123 4 0 0 20 0 15 0 245862922 14431227904 741287 33554432000 4194304 4196468 140736544977488 140565837690992 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21522] ppid=21505 vsize=14092996 memory=3160 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21522/stat : 21522 (java) S 21505 21508 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245862922 14431227904 741287 33554432000 4194304 4196468 140736544977488 140565836638432 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21523] ppid=21505 vsize=14092996 memory=2180 CPUtime=1.35 cores=1,3,5,7
/proc/21508/task/21523/stat : 21523 (java) S 21505 21508 18471 0 -1 1077944384 2181 0 0 0 59 76 0 0 20 0 15 0 245862922 14431227904 741287 33554432000 4194304 4196468 140736544977488 140565835586736 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
Current children cumulated CPU time: 2451 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2965148 KiB

[startup+2442.3 s]
/proc/loadavg: 1.41 1.48 1.51 3/216 21714
/proc/meminfo: memFree=20928036/32770624 swapFree=67108796/67108860
[pid=21508] ppid=21505 vsize=14092996 memory=2868756 CPUtime=2513.07 cores=1,3,5,7
/proc/21508/stat : 21508 (java) S 21505 21508 18471 0 -1 1077944320 517279 0 0 0 250806 501 0 0 20 0 15 0 245862917 14431227904 717189 33554432000 4194304 4196468 140736544977488 140736544960032 140566931250935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
/proc/21508/statm: 3523249 717189 3626 1 0 3485321 0
[pid=21508/tid=21510] ppid=21505 vsize=14092996 memory=2870808 CPUtime=2419.18 cores=1,3,5,7
/proc/21508/task/21510/stat : 21510 (java) R 21505 21508 18471 0 -1 4202560 188610 0 0 0 241835 83 0 0 20 0 15 0 245862917 14431227904 717189 33554432000 4194304 4196468 140736544977488 140566935488112 140566577136917 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21511] ppid=21505 vsize=14092996 memory=2870808 CPUtime=20.69 cores=1,3,5,7
/proc/21508/task/21511/stat : 21511 (java) S 21505 21508 18471 0 -1 1077944384 22806 0 0 0 1988 81 0 0 20 0 15 0 245862918 14431227904 717189 33554432000 4194304 4196468 140736544977488 140566898809488 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21512] ppid=21505 vsize=14092996 memory=2893892 CPUtime=20.68 cores=1,3,5,7
/proc/21508/task/21512/stat : 21512 (java) S 21505 21508 18471 0 -1 1077944384 26249 0 0 0 1987 81 0 0 20 0 15 0 245862918 14431227904 717189 33554432000 4194304 4196468 140736544977488 140566526360080 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21513] ppid=21505 vsize=14092996 memory=2896968 CPUtime=20.69 cores=1,3,5,7
/proc/21508/task/21513/stat : 21513 (java) S 21505 21508 18471 0 -1 1077944384 23307 0 0 0 1990 79 0 0 20 0 15 0 245862918 14431227904 717189 33554432000 4194304 4196468 140736544977488 140566525307280 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21514] ppid=21505 vsize=14092996 memory=2870808 CPUtime=20.68 cores=1,3,5,7
/proc/21508/task/21514/stat : 21514 (java) S 21505 21508 18471 0 -1 1077944384 28218 0 0 0 1987 81 0 0 20 0 15 0 245862918 14431227904 717189 33554432000 4194304 4196468 140736544977488 140566524254480 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21515] ppid=21505 vsize=14092996 memory=2870808 CPUtime=1.47 cores=1,3,5,7
/proc/21508/task/21515/stat : 21515 (java) S 21505 21508 18471 0 -1 1077944384 104009 0 0 0 121 26 0 0 20 0 15 0 245862919 14431227904 717189 33554432000 4194304 4196468 140736544977488 140565844007792 140566931262082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21516] ppid=21505 vsize=14092996 memory=2869268 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21516/stat : 21516 (java) S 21505 21508 18471 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 245862919 14431227904 717189 33554432000 4194304 4196468 140736544977488 140565842953824 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21517] ppid=21505 vsize=14092996 memory=2870808 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21517/stat : 21517 (java) S 21505 21508 18471 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 245862920 14431227904 717189 33554432000 4194304 4196468 140736544977488 140565841900928 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21518] ppid=21505 vsize=14092996 memory=2868756 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21518/stat : 21518 (java) S 21505 21508 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245862922 14431227904 717189 33554432000 4194304 4196468 140736544977488 140565840849232 140566931269531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21519] ppid=21505 vsize=14092996 memory=2870808 CPUtime=3.64 cores=1,3,5,7
/proc/21508/task/21519/stat : 21519 (java) S 21505 21508 18471 0 -1 1077944384 44687 0 0 0 358 6 0 0 20 0 15 0 245862922 14431227904 717189 33554432000 4194304 4196468 140736544977488 140565839796592 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21520] ppid=21505 vsize=14092996 memory=2868756 CPUtime=3.3 cores=1,3,5,7
/proc/21508/task/21520/stat : 21520 (java) S 21505 21508 18471 0 -1 1077944384 41681 0 0 0 325 5 0 0 20 0 15 0 245862922 14431227904 717189 33554432000 4194304 4196468 140736544977488 140565838743792 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21521] ppid=21505 vsize=14092996 memory=2869268 CPUtime=1.27 cores=1,3,5,7
/proc/21508/task/21521/stat : 21521 (java) S 21505 21508 18471 0 -1 1077944384 34051 0 0 0 123 4 0 0 20 0 15 0 245862922 14431227904 717189 33554432000 4194304 4196468 140736544977488 140565837690992 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21522] ppid=21505 vsize=14092996 memory=2868756 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21522/stat : 21522 (java) S 21505 21508 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245862922 14431227904 717189 33554432000 4194304 4196468 140736544977488 140565836638432 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21523] ppid=21505 vsize=14092996 memory=752 CPUtime=1.39 cores=1,3,5,7
/proc/21508/task/21523/stat : 21523 (java) S 21505 21508 18471 0 -1 1077944384 2210 0 0 0 61 78 0 0 20 0 15 0 245862922 14431227904 717189 33554432000 4194304 4196468 140736544977488 140565835586736 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
Current children cumulated CPU time: 2513.07 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2868756 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2449 s]*
/proc/loadavg: 1.50 1.49 1.51 3/216 21714
/proc/meminfo: memFree=20965600/32770624 swapFree=67108796/67108860
[pid=21508] ppid=21505 vsize=14092996 memory=2843616 CPUtime=2520.03 cores=1,3,5,7
/proc/21508/stat : 21508 (java) S 21505 21508 18471 0 -1 1077944320 517570 0 0 0 251501 502 0 0 20 0 15 0 245862917 14431227904 710904 33554432000 4194304 4196468 140736544977488 140736544960032 140566931250935 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
/proc/21508/statm: 3523249 710904 3626 1 0 3485321 0
[pid=21508/tid=21510] ppid=21505 vsize=14092996 memory=6791534058613427641 CPUtime=2425.81 cores=1,3,5,7
/proc/21508/task/21510/stat : 21510 (java) R 21505 21508 18471 0 -1 4202560 188853 0 0 0 242498 83 0 0 20 0 15 0 245862917 14431227904 710904 33554432000 4194304 4196468 140736544977488 140566935487936 140566577716240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21511] ppid=21505 vsize=14092996 memory=-7003737579269690708 CPUtime=20.77 cores=1,3,5,7
/proc/21508/task/21511/stat : 21511 (java) S 21505 21508 18471 0 -1 1077944384 22818 0 0 0 1996 81 0 0 20 0 15 0 245862918 14431227904 710904 33554432000 4194304 4196468 140736544977488 140566898809488 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21512] ppid=21505 vsize=14092996 memory=6791534058613427641 CPUtime=20.76 cores=1,3,5,7
/proc/21508/task/21512/stat : 21512 (java) S 21505 21508 18471 0 -1 1077944384 26257 0 0 0 1995 81 0 0 20 0 15 0 245862918 14431227904 710904 33554432000 4194304 4196468 140736544977488 140566526360080 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21513] ppid=21505 vsize=14092996 memory=-7003737579269690708 CPUtime=20.77 cores=1,3,5,7
/proc/21508/task/21513/stat : 21513 (java) S 21505 21508 18471 0 -1 1077944384 23315 0 0 0 1998 79 0 0 20 0 15 0 245862918 14431227904 710904 33554432000 4194304 4196468 140736544977488 140566525307280 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21514] ppid=21505 vsize=14092996 memory=-7003737579269690708 CPUtime=20.76 cores=1,3,5,7
/proc/21508/task/21514/stat : 21514 (java) S 21505 21508 18471 0 -1 1077944384 28238 0 0 0 1995 81 0 0 20 0 15 0 245862918 14431227904 710904 33554432000 4194304 4196468 140736544977488 140566524254480 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21515] ppid=21505 vsize=14092996 memory=13569284274128280 CPUtime=1.47 cores=1,3,5,7
/proc/21508/task/21515/stat : 21515 (java) S 21505 21508 18471 0 -1 1077944384 104009 0 0 0 121 26 0 0 20 0 15 0 245862919 14431227904 710904 33554432000 4194304 4196468 140736544977488 140565844007792 140566931262082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21516] ppid=21505 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21516/stat : 21516 (java) S 21505 21508 18471 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 245862919 14431227904 710904 33554432000 4194304 4196468 140736544977488 140565842953824 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21517] ppid=21505 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21517/stat : 21517 (java) S 21505 21508 18471 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 245862920 14431227904 710904 33554432000 4194304 4196468 140736544977488 140565841900928 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21518] ppid=21505 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21518/stat : 21518 (java) S 21505 21508 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245862922 14431227904 710904 33554432000 4194304 4196468 140736544977488 140565840849232 140566931269531 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21519] ppid=21505 vsize=14092996 memory=0 CPUtime=3.64 cores=1,3,5,7
/proc/21508/task/21519/stat : 21519 (java) S 21505 21508 18471 0 -1 1077944384 44687 0 0 0 358 6 0 0 20 0 15 0 245862922 14431227904 710904 33554432000 4194304 4196468 140736544977488 140565839796592 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21520] ppid=21505 vsize=14092996 memory=94550953560810 CPUtime=3.3 cores=1,3,5,7
/proc/21508/task/21520/stat : 21520 (java) S 21505 21508 18471 0 -1 1077944384 41681 0 0 0 325 5 0 0 20 0 15 0 245862922 14431227904 710904 33554432000 4194304 4196468 140736544977488 140565838743792 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21521] ppid=21505 vsize=14092996 memory=279888926541616 CPUtime=1.27 cores=1,3,5,7
/proc/21508/task/21521/stat : 21521 (java) S 21505 21508 18471 0 -1 1077944384 34051 0 0 0 123 4 0 0 20 0 15 0 245862922 14431227904 710904 33554432000 4194304 4196468 140736544977488 140565837690992 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21522] ppid=21505 vsize=14092996 memory=2276 CPUtime=0 cores=1,3,5,7
/proc/21508/task/21522/stat : 21522 (java) S 21505 21508 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245862922 14431227904 710904 33554432000 4194304 4196468 140736544977488 140565836638432 140566931261141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
[pid=21508/tid=21523] ppid=21505 vsize=14092996 memory=2180 CPUtime=1.39 cores=1,3,5,7
/proc/21508/task/21523/stat : 21523 (java) S 21505 21508 18471 0 -1 1077944384 2210 0 0 0 61 78 0 0 20 0 15 0 245862922 14431227904 710904 33554432000 4194304 4196468 140736544977488 140565835586736 140566931262082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37273600 140736544986197 140736544986377 140736544986377 140736544989135 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2843616 KiB

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

[startup+2449.05 s]
# the end of solver process 21508 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.04 s, system=5.04027 s

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

Child status: 143
Real time (s): 2449.05
CPU time (s): 2520.08
CPU user time (s): 2515.04
CPU system time (s): 5.04027
CPU usage (%): 102.9
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 2991824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.04
system time used= 5.04026
maximum resident set size= 3013484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518742
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82335
involuntary context switches= 3213


# summary of solver processes directly reported to runsolver:
#   pid: 21508
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2515.04
#   total CPU system time (s): 5.04027

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.517 second user time and 23.3814 second system time

The end

Launcher Data 

Begin job on node138 at 2018-08-14 23:43:17
IDJOB=4308679
IDBENCH=141155
IDSOLVER=2792
FILE ID=node138/4308679-1534282997
RUNJOBID= node138-1534270673-20078
PBS_JOBID= 21038119
Free space on /tmp= 27360 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-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-4308679-1534282997/watcher-4308679-1534282997 -o /tmp/evaluation-result-4308679-1534282997/solver-4308679-1534282997 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534270673-20078 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 107484310 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308679-1534282997.xml

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

MD5SUM BENCH= 39aa8271d93aad234a0495f796e0a456
RANDOM SEED=107484310

node138.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.71
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.71
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.71
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.71
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:        22470736 kB
MemAvailable:   29852304 kB
Buffers:          132876 kB
Cached:          7425936 kB
SwapCached:           12 kB
Active:          5993912 kB
Inactive:        3667332 kB
Active(anon):    2046348 kB
Inactive(anon):   108392 kB
Active(file):    3947564 kB
Inactive(file):  3558940 kB
Unevictable:        7276 kB
Mlocked:            7276 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             35824 kB
Writeback:             0 kB
AnonPages:       2146240 kB
Mapped:            67064 kB
Shmem:             49740 kB
Slab:             331652 kB
SReclaimable:     303524 kB
SUnreclaim:        28128 kB
KernelStack:        3808 kB
PageTables:        10152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2739712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2052096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 27324 MiB
End job on node138 at 2018-08-15 00:24:07