Trace number 4291741

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-07-02SAT (TO)2005187 2400.11 2334.42

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay300_c18.xml
MD5SUM125d0999a88baf20181d93552da446ae
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1955977
Best CPU time to get the best result obtained on this benchmark2520.18
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints300
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree32
Distribution of variable degrees[{"degree":2,"count":246},{"degree":3,"count":424},{"degree":4,"count":324},{"degree":5,"count":234},{"degree":6,"count":177},{"degree":7,"count":133},{"degree":8,"count":113},{"degree":9,"count":81},{"degree":10,"count":53},{"degree":11,"count":33},{"degree":12,"count":38},{"degree":13,"count":40},{"degree":14,"count":26},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":11},{"degree":18,"count":9},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":4},{"degree":25,"count":2},{"degree":26,"count":3},{"degree":27,"count":2},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":32,"count":1}]
Minimum constraint arity17
Maximum constraint arity46
Distribution of constraint arities[{"arity":17,"count":1},{"arity":19,"count":3},{"arity":20,"count":2},{"arity":21,"count":2},{"arity":22,"count":4},{"arity":23,"count":5},{"arity":24,"count":9},{"arity":25,"count":14},{"arity":26,"count":7},{"arity":27,"count":15},{"arity":28,"count":18},{"arity":29,"count":21},{"arity":30,"count":20},{"arity":31,"count":26},{"arity":32,"count":22},{"arity":33,"count":26},{"arity":34,"count":14},{"arity":35,"count":17},{"arity":36,"count":11},{"arity":37,"count":14},{"arity":38,"count":15},{"arity":39,"count":10},{"arity":40,"count":5},{"arity":41,"count":6},{"arity":42,"count":4},{"arity":43,"count":5},{"arity":45,"count":2},{"arity":46,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":300}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.55	c version: 2018-07-02
0.67/0.55	c seed: 1763490294
0.67/0.55	c timeout: 2400
0.67/0.55	c memlimit: 11000
0.67/0.55	c nbcore: 4
0.67/0.58	c Parsing instance...
3.54/1.92	c Parsing done, starting first complete search...
3.98/2.15	o 0
3.98/2.15	o 4434
3.98/2.16	o 8147
3.98/2.16	o 12581
3.98/2.16	o 40805
3.98/2.16	o 45239
3.98/2.17	o 49375
3.98/2.17	o 59543
3.98/2.17	o 63977
3.98/2.17	o 68113
3.98/2.17	o 68427
3.98/2.18	o 68725
3.98/2.18	o 72861
3.98/2.18	o 100098
3.98/2.18	o 104234
3.98/2.18	o 127375
3.98/2.19	o 131511
3.98/2.19	o 133036
3.98/2.19	o 137684
3.98/2.19	o 139209
3.98/2.19	o 141820
3.98/2.19	o 143345
3.98/2.19	o 144272
4.22/2.20	o 148210
4.22/2.20	o 149137
4.22/2.20	o 149735
4.22/2.20	o 150662
4.22/2.20	o 150926
4.22/2.20	o 168613
4.22/2.20	o 175077
4.22/2.21	o 177001
4.22/2.21	o 201114
4.22/2.21	o 205548
4.22/2.21	o 211737
4.22/2.21	o 212655
4.22/2.21	o 223463
4.22/2.21	o 224988
4.22/2.22	o 227449
4.22/2.22	o 228974
4.22/2.22	o 230388
4.22/2.22	o 231251
4.22/2.22	o 232776
4.22/2.22	o 233087
4.22/2.23	o 233649
4.22/2.23	o 242672
4.22/2.23	o 244197
4.22/2.23	o 248333
4.22/2.23	o 249774
4.22/2.23	o 251698
4.22/2.23	o 252260
4.22/2.24	o 253255
4.22/2.24	o 253817
4.22/2.24	o 259645
4.22/2.24	o 260207
4.22/2.24	o 265094
4.22/2.24	o 266619
4.22/2.24	o 269230
4.22/2.24	o 270755
4.22/2.25	o 272815
4.22/2.25	o 274340
4.22/2.25	o 278476
4.22/2.25	o 278702
4.22/2.25	o 279697
4.22/2.25	o 280259
4.22/2.26	o 287414
4.22/2.26	o 287976
4.22/2.26	o 290131
4.22/2.26	o 294117
4.22/2.26	o 295044
4.22/2.26	o 295531
4.22/2.26	o 296458
4.22/2.27	o 297919
4.22/2.27	o 298846
4.22/2.27	o 299140
4.22/2.27	o 300067
4.22/2.27	o 300629
4.22/2.27	o 303276
4.22/2.27	o 303838
4.22/2.27	o 304203
4.22/2.27	o 304765
4.22/2.28	o 309488
4.22/2.28	o 311045
4.22/2.28	o 323376
4.22/2.28	o 323938
4.22/2.29	o 332595
4.22/2.29	o 334519
4.22/2.29	o 335446
4.22/2.29	o 338985
4.22/2.29	o 339912
4.22/2.29	o 340909
4.22/2.29	o 341836
4.52/2.30	o 342107
4.52/2.30	o 342669
4.52/2.30	o 343664
4.52/2.30	o 344226
4.52/2.30	o 345588
4.52/2.30	o 346150
4.52/2.31	o 347002
4.52/2.31	o 347564
4.52/2.31	o 348339
4.52/2.31	o 348901
4.52/2.31	o 354541
4.52/2.31	o 355103
4.52/2.32	o 361567
4.52/2.32	o 361637
4.52/2.32	o 362292
4.52/2.32	o 362628
4.52/2.32	o 363849
4.52/2.32	o 364552
4.52/2.32	o 365773
4.52/2.34	o 367322
4.52/2.35	o 368249
4.52/2.35	o 369246
4.52/2.35	o 370173
4.52/2.35	o 370803
4.52/2.35	o 371730
4.52/2.35	o 375119
4.52/2.35	o 376046
4.52/2.36	o 376201
4.52/2.36	o 376531
4.52/2.36	o 377458
4.52/2.36	o 379255
4.52/2.36	o 380182
4.52/2.37	o 380216
4.52/2.37	o 381143
4.52/2.37	o 381773
4.52/2.37	o 382700
4.52/2.38	o 389920
4.52/2.38	o 390847
4.52/2.38	o 392799
4.52/2.38	o 393726
4.52/2.38	o 394056
4.52/2.38	o 394983
4.85/2.40	o 395063
4.85/2.40	o 395393
4.85/2.40	o 396320
4.85/2.41	o 398117
4.85/2.41	o 399044
4.85/2.43	o 400036
4.85/2.43	o 400963
4.85/2.43	o 402377
4.85/2.43	o 403934
4.85/2.43	o 404444
4.85/2.43	o 405296
4.85/2.44	o 405858
4.85/2.46	o 406106
4.85/2.46	o 406299
4.85/2.46	o 406534
4.85/2.46	o 407096
4.85/2.46	o 408458
4.85/2.46	o 409020
4.85/2.46	o 410015
4.85/2.46	o 410577
4.85/2.46	o 410770
4.85/2.46	o 411465
4.85/2.46	o 412027
4.85/2.47	o 412136
4.85/2.47	o 412609
4.85/2.47	o 413171
4.85/2.47	o 413364
4.85/2.48	o 414112
4.85/2.48	o 414674
4.85/2.48	o 415333
4.85/2.48	o 415895
4.85/2.48	o 416088
5.04/2.50	o 416753
5.04/2.50	o 417315
5.04/2.50	o 417974
5.04/2.50	o 418536
5.04/2.50	o 418729
5.04/2.51	o 420698
5.04/2.51	o 421260
5.04/2.51	o 421453
5.04/2.55	o 421544
5.04/2.55	o 421911
5.04/2.55	o 422906
5.04/2.55	o 423468
5.04/2.55	o 424127
5.04/2.55	o 424689
5.04/2.55	o 424882
5.04/2.60	o 425815
5.04/2.60	o 427372
5.14/2.60	o 428559
5.14/2.60	o 430801
5.14/2.60	o 436860
5.14/2.60	o 437422
5.14/2.60	o 437615
5.14/2.61	o 437802
5.14/2.64	o 438122
5.14/2.64	o 438315
5.14/2.65	o 439438
5.14/2.65	o 440659
5.14/2.65	o 440852
5.14/2.66	o 441924
5.14/2.66	o 443145
5.14/2.66	o 443338
5.14/2.66	o 444332
5.14/2.66	o 446574
5.14/2.66	o 446767
5.24/2.70	o 447433
5.24/2.70	o 448654
5.24/2.70	o 448847
5.24/2.78	o 449034
5.36/2.83	o 449046
5.36/2.84	o 449973
5.36/2.84	o 451160
5.36/2.84	o 453402
5.67/2.92	o 453576
5.67/2.92	o 453943
5.67/2.92	o 455500
5.67/2.92	o 456013
5.67/2.92	o 457570
5.67/2.92	o 459095
5.67/2.93	o 459367
5.67/2.93	o 460294
5.67/2.93	o 460892
5.67/2.93	o 461819
5.67/2.94	o 462047
5.67/2.94	o 463189
5.67/2.94	o 467063
5.67/2.94	o 472791
6.23/3.15	o 473103
6.23/3.15	o 473178
6.23/3.15	o 473496
6.23/3.15	o 475420
6.23/3.15	o 476977
6.23/3.16	o 478234
6.23/3.18	o 479731
6.23/3.18	o 480988
6.53/3.44	o 481108
6.53/3.44	o 481475
6.53/3.44	o 483032
6.53/3.44	o 483828
6.53/3.44	o 486030
6.53/3.45	o 487587
6.53/3.45	o 488844
7.09/3.94	o 490231
7.09/3.94	o 490549
7.09/3.94	o 492473
7.63/4.44	o 493894
7.63/4.44	o 494237
7.63/4.44	o 496161
7.83/4.66	o 497666
7.83/4.66	o 499590
9.75/6.50	o 500433
10.25/7.03	o 500924
10.25/7.03	o 500949
10.25/7.03	o 502348
10.25/7.03	o 503191
10.25/7.03	o 503605
10.25/7.03	o 504448
10.25/7.04	o 504904
10.25/7.04	o 505747
10.25/7.06	o 505875
10.25/7.06	o 508791
10.25/7.06	o 509634
11.99/8.71	o 510506
11.99/8.71	o 510849
11.99/8.71	o 512773
11.99/8.71	o 512995
11.99/8.71	o 514830
11.99/8.71	o 516754
11.99/8.73	o 517397
11.99/8.73	o 519321
13.99/10.72	o 520153
24.15/20.89	c First complete search done, starting ALNS search...
24.44/21.08	o 522382
24.44/21.08	o 522391
24.44/21.08	o 523110
24.44/21.09	o 528676
24.44/21.09	o 528685
24.44/21.09	o 533415
24.44/21.09	o 538981
24.44/21.09	o 540896
24.44/21.09	o 540905
24.44/21.09	o 540941
24.44/21.09	o 542865
24.44/21.09	o 542874
24.44/21.09	o 545933
24.44/21.09	o 547902
24.44/21.10	o 549826
24.44/21.10	o 550944
24.44/21.10	o 552868
24.44/21.10	o 554541
24.44/21.10	o 556510
24.44/21.10	o 558434
24.44/21.10	o 559416
24.44/21.10	o 559425
24.44/21.10	o 559806
24.44/21.10	o 561730
24.44/21.10	o 566100
24.44/21.10	o 568024
24.44/21.10	o 568033
24.44/21.10	o 568078
24.44/21.10	o 570002
24.44/21.11	o 571818
24.58/21.11	o 573787
24.58/21.11	o 575162
24.58/21.11	o 575820
24.58/21.11	o 576548
24.58/21.11	o 582114
24.58/21.11	o 584083
24.58/21.11	o 586007
24.58/21.11	o 587043
24.58/21.11	o 587388
24.58/21.11	o 588116
24.58/21.11	o 593682
24.58/21.11	o 595651
24.58/21.11	o 597575
24.58/21.12	o 599754
24.58/21.12	o 601723
24.58/21.12	o 603647
24.58/21.12	o 605311
24.58/21.12	o 607235
24.58/21.12	o 607244
24.58/21.12	o 607289
24.58/21.12	o 609213
24.58/21.12	o 609353
24.58/21.12	o 611322
24.58/21.12	o 613246
24.58/21.12	o 614919
24.58/21.12	o 616843
24.58/21.12	o 616888
24.58/21.13	o 618812
24.58/21.13	o 620075
24.58/21.13	o 620084
24.58/21.13	o 621999
24.58/21.13	o 622008
24.58/21.13	o 624855
24.58/21.13	o 626824
24.58/21.13	o 628748
24.58/21.13	o 629975
24.58/21.13	o 630020
24.58/21.13	o 631944
24.58/21.13	o 631953
24.58/21.13	o 632813
24.58/21.13	o 634040
24.58/21.13	o 636009
24.58/21.14	o 637933
24.58/21.14	o 638887
24.58/21.14	o 638896
24.58/21.14	o 638959
24.58/21.14	o 639310
24.58/21.14	o 639756
24.58/21.14	o 642952
24.58/21.14	o 644876
24.58/21.14	o 644921
24.58/21.14	o 646845
24.58/21.14	o 647519
24.58/21.14	o 650715
24.58/21.14	o 652684
24.58/21.14	o 654608
24.58/21.15	o 654779
24.58/21.15	o 655648
24.58/21.15	o 656875
24.58/21.15	o 658844
24.58/21.15	o 660768
24.58/21.15	o 660996
24.58/21.15	o 661442
24.58/21.15	o 664638
24.58/21.15	o 666562
24.58/21.15	o 666607
24.58/21.15	o 668531
24.58/21.15	o 669504
24.58/21.15	o 671473
24.58/21.15	o 673397
24.58/21.15	o 674293
24.58/21.16	o 676217
24.58/21.16	o 676262
24.58/21.16	o 678186
24.58/21.16	o 679055
24.58/21.16	o 680282
24.58/21.16	o 682251
24.58/21.16	o 684175
24.58/21.16	o 685103
24.58/21.16	o 685148
24.58/21.16	o 687072
24.58/21.16	o 687325
24.58/21.16	o 688995
24.58/21.16	o 689294
24.58/21.16	o 690222
24.58/21.16	o 692191
24.58/21.17	o 694115
24.58/21.17	o 694589
24.58/21.17	o 694979
24.58/21.17	o 696903
24.58/21.17	o 698077
24.58/21.17	o 698376
24.58/21.17	o 701273
24.58/21.17	o 703197
24.58/21.17	o 703242
24.58/21.17	o 705166
24.58/21.17	o 705707
24.58/21.17	o 707676
24.58/21.17	o 709600
24.58/21.17	o 709897
24.58/21.17	o 710870
24.58/21.18	o 712794
24.58/21.18	o 712839
24.58/21.18	o 714763
24.58/21.18	o 715337
24.58/21.18	o 715382
24.58/21.18	o 717306
24.58/21.18	o 717579
24.58/21.18	o 717951
24.58/21.18	o 719740
24.58/21.18	o 720037
24.58/21.18	o 720469
24.58/21.18	o 721707
24.58/21.18	o 722006
24.58/21.18	o 722934
24.58/21.19	o 724903
24.58/21.19	o 726308
24.58/21.19	o 728277
24.58/21.19	o 729602
24.58/21.19	o 730820
24.58/21.19	o 731093
24.58/21.19	o 732020
24.58/21.19	o 733425
24.58/21.19	o 735394
24.58/21.19	o 736719
24.58/21.19	o 737937
24.58/21.20	o 738210
25.66/21.85	o 738403
25.66/21.86	o 738712
25.66/21.86	o 739393
25.66/21.86	o 740681
25.66/21.86	o 740997
25.66/21.86	o 742224
25.66/21.86	o 744193
25.66/21.86	o 745481
25.66/21.86	o 745664
25.66/21.86	o 746345
25.66/21.86	o 747633
25.66/21.86	o 748332
25.66/21.86	o 748398
25.66/21.86	o 748764
25.66/21.86	o 749267
25.66/21.87	o 750002
25.66/21.87	o 751229
25.66/21.87	o 753198
25.66/21.87	o 754486
25.66/21.87	o 754669
25.66/21.87	o 755350
25.66/21.87	o 756638
25.66/21.87	o 756703
25.66/21.87	o 757206
25.66/21.87	o 757263
25.66/21.87	o 757941
25.66/21.87	o 758240
25.66/21.87	o 759168
25.66/21.87	o 759849
25.66/21.88	o 761137
25.66/21.88	o 762001
25.66/21.88	o 763289
25.66/21.88	o 763653
25.66/21.88	o 763836
25.66/21.88	o 764517
25.66/21.88	o 765805
25.66/21.88	o 767010
25.66/21.88	o 767024
25.66/21.88	o 767705
25.66/21.88	o 768993
25.66/21.89	o 769857
25.66/21.89	o 771145
25.66/21.89	o 771509
25.66/21.89	o 772373
25.66/21.89	o 773661
25.66/21.89	o 773903
25.66/21.89	o 775191
25.66/21.89	o 775806
25.66/21.89	o 776734
25.66/21.89	o 778703
25.66/21.89	o 779991
25.66/21.89	o 780418
25.66/21.89	o 780981
25.66/21.89	o 782269
25.66/21.90	o 782585
25.66/21.90	o 782884
25.78/21.90	o 783812
25.78/21.90	o 785781
25.78/21.90	o 787069
25.78/21.90	o 787616
25.78/21.90	o 788297
25.78/21.90	o 789585
25.78/21.90	o 790449
25.78/21.90	o 791737
25.78/21.90	o 791935
25.78/21.91	o 792249
25.78/21.91	o 793177
25.78/21.91	o 795146
25.78/21.91	o 796434
25.78/21.91	o 796617
25.78/21.91	o 797298
25.78/21.91	o 798586
25.78/21.91	o 798950
25.78/21.91	o 799814
25.78/21.91	o 801102
25.78/21.91	o 801660
25.78/21.91	o 802524
25.78/21.92	o 803812
25.78/21.92	o 804176
25.78/21.92	o 805040
25.78/21.92	o 806328
25.78/21.92	o 806783
25.78/21.92	o 808071
25.78/21.92	o 808428
25.78/21.92	o 809666
25.78/21.92	o 810893
25.78/21.92	o 812862
25.78/21.92	o 814150
25.78/21.92	o 814697
25.78/21.92	o 815378
25.78/21.93	o 816666
25.78/21.93	o 817845
25.78/21.93	o 818071
25.78/21.93	o 819814
25.78/21.93	o 821102
25.78/21.93	o 821875
25.78/21.93	o 822330
25.78/21.93	o 823618
25.78/21.93	o 823953
25.78/21.93	o 826850
25.78/21.93	o 827076
25.78/21.93	o 828819
25.78/21.93	o 830107
25.78/21.94	o 830880
25.78/21.94	o 831335
25.78/21.94	o 832623
25.78/21.94	o 833501
25.78/21.94	o 835470
25.78/21.94	o 836758
25.78/21.94	o 837305
25.78/21.94	o 837986
25.78/21.94	o 839274
25.78/21.94	o 840914
25.78/21.94	o 842202
25.78/21.95	o 842853
25.78/21.95	o 843957
25.78/21.95	o 845700
25.78/21.95	o 846988
25.78/21.95	o 847761
25.78/21.95	o 848216
25.78/21.95	o 849504
25.78/21.96	o 849832
25.78/21.96	o 851060
25.78/21.96	o 852348
25.78/21.96	o 854101
25.78/21.97	o 855389
25.78/21.99	o 855756
25.78/21.99	o 857044
25.90/22.02	o 858108
25.90/22.02	o 858799
25.90/22.02	o 859480
25.90/22.02	o 860768
25.90/22.02	o 862377
25.90/22.02	o 863665
26.21/22.34	o 864712
26.21/22.34	o 866000
26.21/22.34	o 866910
26.21/22.34	o 867131
26.21/22.34	o 869100
26.21/22.35	o 870388
26.21/22.35	o 870714
26.21/22.35	o 872002
26.21/22.35	o 872683
26.21/22.35	o 873971
26.21/22.35	o 875492
26.21/22.35	o 876780
26.53/22.55	o 876862
26.53/22.57	o 877657
26.53/22.57	o 877673
26.53/22.57	o 878551
26.53/22.57	o 879839
26.53/22.57	o 880414
26.53/22.57	o 882383
26.53/22.57	o 884345
26.53/22.57	o 886314
26.53/22.57	o 887602
26.53/22.58	o 888574
26.53/22.58	o 889158
26.53/22.58	o 889251
26.53/22.58	o 890410
26.53/22.58	o 891533
26.53/22.58	o 893757
26.53/22.58	o 895726
26.53/22.59	o 897014
26.53/22.59	o 897957
26.53/22.59	o 898638
26.53/22.59	o 899926
26.67/22.64	o 901535
26.67/22.64	o 902823
26.67/22.65	o 904767
26.67/22.65	o 906055
26.67/22.65	o 907679
26.67/22.65	o 908967
26.77/22.76	o 909894
26.77/22.76	o 910098
26.77/22.76	o 911386
26.77/22.76	o 911518
26.77/22.76	o 912806
26.77/22.76	o 913318
26.77/22.76	o 914606
26.87/22.83	o 915984
26.87/22.84	o 917272
26.87/22.84	o 917792
26.87/22.84	o 919761
26.87/22.84	o 921049
26.87/22.84	o 921064
26.87/22.84	o 922673
26.87/22.84	o 923961
26.87/22.85	o 924473
26.87/22.85	o 925761
26.97/22.95	o 925820
26.97/22.96	o 926200
26.97/22.96	o 926332
26.97/22.96	o 927620
27.91/23.53	o 928195
27.91/23.53	o 929192
27.91/23.53	o 929309
27.91/23.53	o 930727
27.91/23.53	o 930782
27.91/23.53	o 930899
27.91/23.54	o 931082
27.91/23.54	o 932887
27.91/23.54	o 934565
27.91/23.54	o 935334
27.91/23.54	o 935461
27.91/23.54	o 937139
27.91/23.54	o 938557
28.29/23.75	o 939216
28.29/23.75	o 940553
28.29/23.75	o 941322
28.29/23.75	o 943127
28.29/23.76	o 943873
28.29/23.76	o 944306
28.29/23.76	o 944581
28.29/23.76	o 946412
28.29/23.76	o 947158
28.29/23.77	o 948217
28.29/23.77	o 948963
28.29/23.79	o 950874
28.29/23.79	o 952679
28.29/23.79	o 953425
28.48/23.81	o 953933
28.48/23.81	o 954507
28.48/23.81	o 955253
28.48/23.81	o 955686
28.48/23.82	o 957792
28.48/23.82	o 959597
28.48/23.82	o 960343
28.48/23.82	o 961935
28.48/23.82	o 962681
28.48/23.82	o 963114
28.48/23.83	o 964128
28.48/23.83	o 964451
28.48/23.83	o 965705
28.48/23.83	o 967025
28.48/23.83	o 967771
28.48/23.85	o 968790
28.48/23.85	o 969536
28.48/23.85	o 969559
28.48/23.85	o 971364
28.48/23.86	o 972110
28.48/23.86	o 972330
28.48/23.86	o 973076
28.48/23.86	o 974135
28.48/23.86	o 974881
28.48/23.86	o 975895
28.48/23.86	o 976218
28.48/23.86	o 976987
28.48/23.86	o 978792
28.48/23.86	o 979538
28.48/23.86	o 979971
28.48/23.86	o 982077
28.48/23.87	o 982823
28.48/23.87	o 983882
28.48/23.87	o 984628
28.64/23.95	o 986174
28.64/23.95	o 986645
28.64/23.95	o 986802
28.64/23.95	o 988367
28.64/23.95	o 989459
28.64/23.95	o 991264
28.64/23.98	o 992396
28.64/23.99	o 994201
28.64/23.99	o 994947
28.64/23.99	o 997019
28.64/23.99	o 997765
28.64/24.00	o 998824
28.64/24.00	o 999570
28.64/24.00	o 1001162
28.64/24.00	o 1001908
28.64/24.00	o 1002341
28.64/24.00	o 1003355
28.64/24.00	o 1003678
28.64/24.00	o 1004447
28.64/24.00	o 1006252
28.64/24.00	o 1006998
28.88/24.17	o 1008106
28.88/24.17	o 1008852
28.88/24.17	o 1009911
28.88/24.18	o 1010657
28.88/24.18	o 1011575
28.88/24.18	o 1012321
28.88/24.18	o 1012682
28.88/24.18	o 1013428
28.88/24.19	o 1014442
28.88/24.19	o 1014765
28.88/24.19	o 1015534
28.88/24.19	o 1017339
28.88/24.19	o 1018085
28.97/24.25	o 1019112
28.97/24.25	o 1019858
28.97/24.25	o 1020078
28.97/24.25	o 1021883
28.97/24.25	o 1022629
28.97/24.26	o 1022907
28.97/24.26	o 1024735
28.97/24.26	o 1025481
28.97/24.26	o 1026540
28.97/24.26	o 1027286
28.97/24.29	o 1027364
29.08/24.31	o 1027584
29.08/24.31	o 1028330
29.08/24.31	o 1029389
29.08/24.31	o 1030135
29.08/24.31	o 1031149
29.08/24.31	o 1031472
29.08/24.31	o 1032241
29.08/24.31	o 1034046
29.08/24.31	o 1034792
29.44/24.63	o 1035301
29.44/24.63	o 1036047
29.44/24.63	o 1037106
29.44/24.63	o 1037852
29.44/24.63	o 1038838
29.44/24.63	o 1039584
29.44/24.65	o 1040662
29.44/24.65	o 1041408
29.44/24.65	o 1042422
29.44/24.65	o 1042745
29.44/24.65	o 1043514
29.44/24.65	o 1045319
29.44/24.65	o 1046065
29.44/24.66	o 1046173
29.44/24.66	o 1048279
29.44/24.66	o 1049025
29.44/24.66	o 1050084
29.44/24.66	o 1050830
29.54/24.79	o 1050912
29.54/24.79	o 1051658
29.74/24.94	o 1051770
29.74/24.94	o 1053575
29.74/24.94	o 1054321
29.74/24.96	o 1054429
29.74/24.96	o 1054707
29.74/24.96	o 1056535
29.74/24.96	o 1057281
29.74/24.96	o 1058340
29.74/24.96	o 1059086
32.39/27.02	o 1059717
32.39/27.02	o 1059865
32.39/27.02	o 1061834
32.39/27.02	o 1062974
32.39/27.02	o 1063073
32.39/27.02	o 1065091
32.39/27.02	o 1067060
32.39/27.02	o 1067405
32.39/27.02	o 1067505
32.39/27.03	o 1068297
32.39/27.03	o 1069205
32.39/27.03	o 1070762
32.39/27.03	o 1072731
32.39/27.03	o 1072780
32.39/27.03	o 1074749
32.39/27.03	o 1076554
32.39/27.03	o 1077119
32.39/27.03	o 1079137
32.39/27.03	o 1080942
32.39/27.03	o 1081106
32.39/27.03	o 1082911
32.39/27.04	o 1083065
32.39/27.04	o 1083174
32.39/27.04	o 1083274
32.39/27.04	o 1084066
32.39/27.04	o 1084414
32.39/27.04	o 1084513
32.39/27.04	o 1086531
32.39/27.04	o 1088500
32.39/27.04	o 1090305
33.32/27.82	o 1097800
33.32/27.82	o 1104555
33.32/27.82	o 1113044
33.32/27.82	o 1119799
33.32/27.83	o 1124233
33.32/27.83	o 1125217
33.32/27.83	o 1126591
33.32/27.83	o 1141835
33.32/27.83	o 1146269
33.32/27.83	o 1147253
33.32/27.83	o 1148590
33.32/27.83	o 1153024
33.32/27.83	o 1154008
33.32/27.83	o 1155287
33.32/27.83	o 1156271
33.32/27.83	o 1159721
33.32/27.83	o 1160705
33.32/27.83	o 1161854
33.32/27.83	o 1161912
33.32/27.83	o 1164175
33.32/27.84	o 1168609
33.32/27.84	o 1169593
33.32/27.84	o 1171527
33.32/27.84	o 1172511
33.32/27.84	o 1175961
33.32/27.84	o 1176945
33.32/27.84	o 1179215
33.32/27.84	o 1181348
33.32/27.84	o 1181406
33.32/27.84	o 1183669
33.32/27.84	o 1188103
33.32/27.84	o 1191021
33.32/27.84	o 1195455
33.32/27.85	o 1196439
33.43/28.00	o 1197080
33.43/28.00	o 1197692
33.43/28.00	o 1198397
33.43/28.00	o 1199143
33.43/28.00	o 1199286
33.43/28.00	o 1199482
33.43/28.00	o 1201082
33.43/28.01	o 1201828
33.54/28.01	o 1202146
33.54/28.01	o 1203000
33.54/28.01	o 1203746
33.54/28.02	o 1204092
33.54/28.02	o 1204838
33.54/28.03	o 1205318
33.54/28.03	o 1206172
33.54/28.03	o 1206918
33.54/28.04	o 1207159
33.54/28.04	o 1207191
33.54/28.04	o 1207405
33.54/28.04	o 1207801
33.54/28.05	o 1209210
33.54/28.05	o 1209531
33.54/28.05	o 1211327
33.54/28.05	o 1212927
33.54/28.05	o 1213673
33.54/28.06	o 1215754
33.54/28.07	o 1215786
33.54/28.07	o 1216000
33.54/28.07	o 1217237
33.54/28.07	o 1217773
33.54/28.07	o 1217805
33.54/28.07	o 1219922
33.54/28.08	o 1221718
33.54/28.08	o 1223318
33.54/28.08	o 1224064
33.54/28.08	o 1224186
33.54/28.08	o 1225236
33.54/28.08	o 1225982
33.54/28.09	o 1226929
33.54/28.09	o 1227250
33.54/28.09	o 1227446
33.54/28.09	o 1229046
33.54/28.10	o 1229792
33.54/28.10	o 1230110
33.54/28.10	o 1230964
33.54/28.10	o 1231710
33.68/28.11	o 1231840
33.68/28.12	o 1233440
33.68/28.13	o 1233891
33.68/28.13	o 1235491
33.68/28.13	o 1236008
33.68/28.13	o 1237608
33.68/28.13	o 1238354
33.68/28.14	o 1238560
33.68/28.14	o 1238633
33.68/28.14	o 1239587
33.68/28.14	o 1240333
33.68/28.14	o 1241736
33.68/28.14	o 1242482
33.68/28.15	o 1243336
33.68/28.15	o 1244082
33.68/28.16	o 1245122
33.68/28.16	o 1245868
33.68/28.18	o 1247318
33.68/28.18	o 1247504
33.68/28.18	o 1249104
33.68/28.18	o 1249850
33.77/28.21	o 1249925
33.77/28.21	o 1250671
33.77/28.21	o 1251525
33.77/28.21	o 1252271
33.77/28.27	o 1253449
33.77/28.27	o 1254195
33.87/28.32	o 1254264
33.87/28.32	o 1254588
33.87/28.32	o 1255442
33.87/28.32	o 1256188
33.87/28.34	o 1256825
33.87/28.34	o 1257646
33.87/28.34	o 1259246
33.87/28.34	o 1259570
33.87/28.34	o 1261170
33.99/28.49	o 1261664
33.99/28.49	o 1261713
34.09/28.51	o 1262386
34.09/28.51	o 1263391
34.09/28.51	o 1264535
34.09/28.51	o 1264584
34.09/28.51	o 1265281
34.09/28.51	o 1265330
34.09/28.52	o 1265467
34.09/28.52	o 1265642
34.09/28.52	o 1265778
34.09/28.52	o 1265854
34.09/28.52	o 1265943
34.09/28.52	o 1266296
34.09/28.52	o 1266414
34.09/28.52	o 1266948
34.09/28.52	o 1268092
34.09/28.52	o 1268838
34.09/28.53	o 1268887
34.09/28.53	o 1269417
34.09/28.53	o 1269466
34.09/28.53	o 1269815
34.09/28.53	o 1270561
34.09/28.53	o 1270610
34.09/28.54	o 1271214
34.09/28.54	o 1271263
34.09/28.54	o 1271960
34.09/28.54	o 1272009
34.09/28.56	o 1272156
34.09/28.57	o 1272554
34.09/28.57	o 1273300
34.09/28.57	o 1273349
34.09/28.58	o 1273953
34.09/28.58	o 1274002
34.09/28.58	o 1274699
34.09/28.58	o 1274748
34.19/28.61	o 1275332
34.19/28.61	o 1275381
34.19/28.61	o 1276011
34.19/28.61	o 1276060
34.19/28.61	o 1276988
34.19/28.62	o 1277734
34.19/28.62	o 1277783
34.19/28.62	o 1278387
34.19/28.62	o 1278436
34.19/28.63	o 1279133
34.19/28.63	o 1279182
34.19/28.65	o 1279200
34.19/28.65	o 1279730
34.19/28.65	o 1280128
34.19/28.65	o 1280874
34.19/28.65	o 1280923
34.19/28.65	o 1281283
34.19/28.65	o 1281332
34.19/28.66	o 1282029
34.19/28.66	o 1282078
34.19/28.67	o 1282708
34.19/28.67	o 1282757
34.19/28.67	o 1283361
34.19/28.67	o 1284107
34.19/28.67	o 1284156
34.19/28.67	o 1284431
34.19/28.67	o 1284480
34.19/28.68	o 1284686
34.19/28.68	o 1285084
34.19/28.68	o 1285830
34.19/28.68	o 1285879
34.19/28.69	o 1286224
34.19/28.69	o 1286970
34.29/28.71	o 1287293
34.29/28.71	o 1288039
34.29/28.71	o 1288088
34.29/28.71	o 1288612
34.29/28.72	o 1288661
34.29/28.72	o 1289054
34.29/28.72	o 1289172
34.29/28.72	o 1289706
34.29/28.72	o 1290850
34.29/28.72	o 1290899
34.29/28.72	o 1291596
34.29/28.72	o 1291645
34.29/28.72	o 1292249
34.29/28.72	o 1292995
34.29/28.72	o 1293044
34.29/28.74	o 1293319
34.29/28.74	o 1293368
34.29/28.74	o 1293574
34.29/28.74	o 1293972
34.29/28.74	o 1294718
34.29/28.74	o 1294767
34.39/28.85	o 1294905
34.39/28.85	o 1294954
34.70/29.16	o 1294995
34.70/29.19	o 1295515
34.70/29.19	o 1295564
34.79/29.20	o 1295924
34.79/29.20	o 1296670
34.79/29.20	o 1296719
34.79/29.27	o 1296871
34.79/29.27	o 1297848
34.79/29.27	o 1298748
34.79/29.27	o 1299725
34.79/29.27	o 1299774
34.79/29.27	o 1300471
34.79/29.27	o 1300520
35.42/29.84	o 1300892
35.42/29.84	o 1300941
35.42/29.84	o 1301545
35.42/29.84	o 1302291
35.42/29.84	o 1302340
35.42/29.89	o 1302620
35.42/29.89	o 1302669
35.53/29.90	o 1302973
35.53/29.90	o 1303091
35.53/29.90	o 1303625
35.53/29.90	o 1304769
35.53/29.90	o 1304818
35.53/29.91	o 1305515
35.53/29.91	o 1305564
35.53/29.92	o 1306177
35.53/29.92	o 1306562
35.53/29.92	o 1306648
35.53/29.92	o 1307182
35.53/29.92	o 1307349
35.53/29.93	o 1308326
35.53/29.93	o 1309072
35.53/29.93	o 1309121
35.53/29.93	o 1309317
35.53/29.93	o 1309366
35.53/29.93	o 1310063
35.53/29.93	o 1310112
35.53/29.93	o 1310294
35.53/29.93	o 1311040
35.53/29.93	o 1311089
35.53/29.94	o 1311974
35.53/29.94	o 1312023
35.53/29.94	o 1312055
35.53/29.94	o 1312173
35.53/29.94	o 1312707
35.53/29.94	o 1313851
35.53/29.94	o 1313900
35.53/29.94	o 1314597
35.53/29.94	o 1314646
35.53/29.96	o 1314739
35.53/29.96	o 1315273
35.53/29.96	o 1315440
35.53/29.97	o 1315671
35.53/29.97	o 1316417
35.53/29.97	o 1316466
35.53/29.97	o 1316582
35.53/29.97	o 1316631
35.53/29.97	o 1317328
35.53/29.97	o 1317377
35.53/29.98	o 1317470
35.53/29.98	o 1318004
35.53/29.98	o 1318402
35.53/29.98	o 1319148
35.53/29.99	o 1319197
35.53/29.99	o 1319296
35.53/29.99	o 1319345
35.53/30.00	o 1319438
35.53/30.00	o 1320139
35.53/30.00	o 1320370
35.53/30.00	o 1321116
35.53/30.00	o 1321165
35.53/30.00	o 1322107
35.53/30.01	o 1322156
35.64/30.01	o 1322853
35.64/30.01	o 1322902
35.64/30.01	o 1323927
35.64/30.01	o 1324673
35.64/30.01	o 1324722
35.83/30.24	o 1324770
36.03/30.45	o 1324821
36.03/30.45	o 1324870
36.03/30.45	o 1324918
36.23/30.69	o 1324944
36.23/30.69	o 1324992
36.23/30.69	o 1325493
36.23/30.69	o 1325542
36.23/30.69	o 1325590
36.23/30.69	o 1325641
36.23/30.70	o 1325689
36.23/30.70	o 1325690
36.33/30.70	o 1325738
36.33/30.74	o 1326223
36.33/30.74	o 1326272
36.33/30.76	o 1326918
36.33/30.76	o 1326966
36.33/30.77	o 1327297
36.33/30.77	o 1328043
36.33/30.77	o 1328091
36.33/30.77	o 1328092
36.33/30.77	o 1328140
37.56/31.90	o 1328266
37.56/31.90	o 1328314
37.56/31.90	o 1328315
37.56/31.90	o 1328363
37.67/32.05	o 1328414
37.67/32.06	o 1328463
37.67/32.08	o 1329090
37.67/32.08	o 1329138
37.67/32.08	o 1329488
37.67/32.08	o 1330234
37.67/32.08	o 1330282
37.67/32.08	o 1330283
37.67/32.08	o 1330331
37.77/32.13	o 1330846
37.77/32.13	o 1330895
37.77/32.14	o 1331225
37.77/32.14	o 1331971
37.77/32.15	o 1332020
37.77/32.15	o 1332666
37.77/32.15	o 1332714
37.77/32.15	o 1332715
37.77/32.15	o 1332763
37.77/32.15	o 1333045
37.77/32.15	o 1333094
37.77/32.16	o 1333791
37.77/32.16	o 1333840
37.77/32.16	o 1333888
42.32/36.68	o 1337329
42.32/36.68	o 1341763
42.32/36.68	o 1343416
42.32/36.68	o 1347850
42.32/36.68	o 1348435
42.32/36.68	o 1349312
42.32/36.68	o 1354522
42.32/36.68	o 1357911
42.32/36.68	o 1363121
42.32/36.68	o 1367555
42.45/36.71	o 1369897
42.45/36.71	o 1370416
42.45/36.71	o 1370465
42.45/36.71	o 1372318
42.45/36.71	o 1372367
42.45/36.71	o 1372837
42.45/36.71	o 1372886
42.45/36.71	o 1373313
42.45/36.71	o 1374168
42.45/36.71	o 1374687
42.45/36.71	o 1374807
42.45/36.71	o 1377228
42.45/36.71	o 1377747
42.45/36.71	o 1377796
42.45/36.71	o 1379345
42.45/36.71	o 1379864
42.45/36.72	o 1379913
42.45/36.72	o 1382068
42.45/36.72	o 1382117
42.45/36.72	o 1383010
42.45/36.72	o 1383400
42.45/36.72	o 1385821
42.45/36.72	o 1388310
42.45/36.72	o 1390731
42.45/36.72	o 1390780
42.45/36.72	o 1392848
42.45/36.72	o 1392897
42.45/36.72	o 1393367
42.45/36.72	o 1393416
42.83/37.07	o 1393423
42.83/37.07	o 1396611
42.83/37.07	o 1398289
42.83/37.07	o 1401045
42.83/37.07	o 1402723
44.14/38.37	o 1404064
44.14/38.37	o 1404100
44.14/38.37	o 1407626
44.14/38.37	o 1409146
44.14/38.37	o 1412672
44.14/38.38	o 1414156
44.14/38.38	o 1414458
44.90/39.05	o 1414529
44.90/39.05	o 1414578
44.90/39.09	o 1414747
44.90/39.09	o 1415872
44.90/39.09	o 1417514
44.90/39.09	o 1419300
44.90/39.10	o 1420425
44.90/39.10	o 1420474
45.01/39.17	o 1421076
45.01/39.17	o 1422201
45.01/39.17	o 1422250
45.73/39.86	o 1422280
45.73/39.86	o 1422329
45.73/39.86	o 1424066
45.73/39.86	o 1424115
45.73/39.86	o 1425191
45.73/39.86	o 1425240
45.73/39.90	o 1425842
45.73/39.90	o 1426967
45.83/39.90	o 1427016
46.73/40.86	o 1427519
46.73/40.86	o 1427568
47.96/42.02	o 1427571
47.96/42.02	o 1427785
47.96/42.02	o 1427834
47.96/42.03	o 1428337
47.96/42.03	o 1428386
50.36/44.43	o 1428492
50.36/44.43	o 1428603
50.36/44.43	o 1429728
50.36/44.45	o 1430479
50.36/44.45	o 1430864
50.36/44.45	o 1432115
50.36/44.45	o 1433351
50.36/44.46	o 1434476
50.46/44.53	o 1435571
50.46/44.54	o 1436407
50.46/44.54	o 1437532
50.46/44.54	o 1437643
50.46/44.54	o 1438768
50.46/44.57	o 1439925
50.46/44.57	o 1441161
50.46/44.57	o 1442286
50.46/44.58	o 1443122
50.46/44.58	o 1444247
50.46/44.58	o 1444358
50.46/44.58	o 1445483
50.56/44.64	o 1445660
50.56/44.64	o 1446896
50.56/44.64	o 1447531
50.56/44.64	o 1447607
50.56/44.64	o 1450094
50.56/44.65	o 1451330
50.56/44.65	o 1452455
50.56/44.65	o 1453528
50.56/44.65	o 1453639
50.56/44.65	o 1454764
50.56/44.65	o 1454890
50.56/44.65	o 1456126
50.56/44.66	o 1457251
50.56/44.68	o 1458463
50.56/44.68	o 1459588
50.56/44.69	o 1461026
50.56/44.69	o 1462151
50.56/44.69	o 1462262
50.56/44.69	o 1463387
50.66/44.72	o 1465822
50.66/44.73	o 1467058
50.66/44.73	o 1468183
50.66/44.74	o 1469570
50.66/44.74	o 1470695
50.66/44.74	o 1470806
50.66/44.74	o 1471931
50.66/44.76	o 1472767
50.66/44.76	o 1474003
50.66/44.76	o 1475128
50.76/44.85	o 1477080
50.76/44.86	o 1478205
50.76/44.86	o 1478316
50.76/44.86	o 1479441
50.76/44.87	o 1480160
50.76/44.87	o 1481285
50.86/44.90	o 1483720
50.86/44.90	o 1484956
50.86/44.90	o 1486081
50.86/44.91	o 1486500
50.86/44.91	o 1487625
50.86/44.93	o 1488012
50.86/44.93	o 1489248
50.86/44.93	o 1490373
50.86/44.97	o 1490851
50.86/44.97	o 1491976
50.86/44.98	o 1492087
50.86/44.98	o 1493212
50.97/45.01	o 1495647
50.97/45.01	o 1496883
50.97/45.02	o 1498008
51.07/45.19	o 1498395
51.07/45.19	o 1499566
51.07/45.20	o 1499594
51.07/45.20	o 1504028
67.85/61.70	o 1504619
67.85/61.70	o 1504709
67.85/61.70	o 1505071
67.85/61.70	o 1507040
67.85/61.70	o 1507130
67.85/61.71	o 1509305
67.85/61.71	o 1511726
67.85/61.71	o 1513695
69.77/63.64	o 1514427
69.77/63.64	o 1514476
69.77/63.65	o 1515069
69.77/63.65	o 1515409
69.77/63.65	o 1516396
69.77/63.65	o 1516445
69.77/63.66	o 1516631
69.77/63.67	o 1518757
69.77/63.67	o 1520024
69.77/63.67	o 1521840
69.77/63.67	o 1522034
69.77/63.67	o 1524160
69.77/63.67	o 1525230
69.77/63.67	o 1527356
69.77/63.68	o 1527899
69.77/63.68	o 1528775
69.77/63.68	o 1531095
69.77/63.69	o 1531894
69.77/63.69	o 1533221
69.77/63.69	o 1533270
69.77/63.69	o 1533863
69.77/63.69	o 1533912
69.77/63.69	o 1535190
69.77/63.69	o 1535239
69.77/63.70	o 1536177
69.87/63.70	o 1536226
70.48/64.36	o 1536741
70.48/64.36	o 1537361
70.48/64.38	o 1538507
70.48/64.38	o 1539011
70.48/64.38	o 1539267
70.48/64.38	o 1542489
70.48/64.38	o 1543109
70.68/64.54	o 1545503
70.68/64.56	o 1549093
70.68/64.56	o 1553527
71.61/65.41	o 1554583
71.61/65.41	o 1556047
71.61/65.42	o 1556552
71.61/65.42	o 1558016
71.61/65.45	o 1560690
71.61/65.45	o 1562271
71.61/65.45	o 1562757
71.61/65.45	o 1566679
71.61/65.49	o 1567939
71.74/65.53	o 1568044
71.74/65.53	o 1569943
91.16/84.74	o 1571913
91.16/84.74	o 1571961
91.27/84.85	o 1572478
91.27/84.85	o 1573098
91.27/84.85	o 1573426
91.27/84.85	o 1575350
91.27/84.86	o 1575970
91.37/84.98	o 1576176
91.37/84.98	o 1577160
91.37/84.98	o 1577679
91.37/84.98	o 1578915
91.37/84.98	o 1579899
91.37/84.98	o 1580040
91.37/84.98	o 1581024
91.37/84.99	o 1581747
91.37/84.99	o 1581809
91.37/84.99	o 1582540
91.37/84.99	o 1583312
91.37/84.99	o 1584548
91.37/84.99	o 1585673
91.37/84.99	o 1586657
91.48/85.03	o 1588083
91.48/85.03	o 1588385
91.48/85.03	o 1590403
91.48/85.03	o 1591867
92.23/85.74	o 1592042
92.23/85.74	o 1592338
92.23/85.74	o 1593027
92.23/85.74	o 1593322
92.23/85.74	o 1594011
92.23/85.74	o 1594143
92.23/85.74	o 1595127
92.23/85.74	o 1595816
92.23/85.74	o 1595865
92.44/85.90	o 1596417
92.44/85.90	o 1596466
92.65/86.14	o 1596728
92.65/86.14	o 1596777
92.65/86.15	o 1597226
92.65/86.15	o 1597275
92.65/86.15	o 1597521
92.65/86.15	o 1598210
92.65/86.15	o 1598259
92.65/86.17	o 1598811
92.65/86.17	o 1598860
92.84/86.33	o 1599130
92.84/86.33	o 1599179
92.84/86.34	o 1599628
92.84/86.35	o 1599923
92.84/86.35	o 1600612
92.84/86.35	o 1600661
92.84/86.37	o 1601213
92.84/86.37	o 1601262
92.94/86.44	o 1601307
92.94/86.44	o 1603118
92.94/86.44	o 1604995
92.94/86.44	o 1605741
92.94/86.44	o 1606644
92.94/86.44	o 1607390
92.94/86.44	o 1608521
92.94/86.44	o 1609267
92.94/86.48	o 1611147
92.94/86.48	o 1613124
92.94/86.48	o 1615132
92.94/86.48	o 1615241
92.94/86.48	o 1617249
92.94/86.48	o 1619130
92.94/86.48	o 1619239
92.94/86.48	o 1621247
92.94/86.49	o 1624338
92.94/86.49	o 1626346
93.09/86.55	o 1628725
93.09/86.56	o 1634605
93.09/86.56	o 1639809
108.74/101.92	o 1641060
108.74/101.92	o 1643183
108.74/101.92	o 1645042
108.74/101.92	o 1645788
108.74/101.93	o 1646191
108.74/101.93	o 1646937
108.74/101.93	o 1648034
108.74/101.93	o 1649776
108.74/101.93	o 1652170
108.74/101.93	o 1652916
108.74/101.93	o 1654029
108.74/101.93	o 1654775
108.74/101.96	o 1655462
108.86/102.06	o 1655829
108.86/102.07	o 1658064
108.86/102.07	o 1659051
108.86/102.09	o 1660440
108.86/102.09	o 1660790
108.86/102.09	o 1663662
108.96/102.11	o 1664649
108.96/102.12	o 1664868
108.96/102.12	o 1665863
109.79/102.92	o 1665962
109.79/102.92	o 1666203
109.79/102.92	o 1666398
109.79/102.92	o 1666441
109.79/102.92	o 1667187
109.79/102.92	o 1667382
109.79/102.93	o 1667558
109.79/102.93	o 1667753
109.79/102.93	o 1668542
109.79/102.93	o 1668737
109.79/102.93	o 1668818
109.79/102.93	o 1669802
109.79/102.93	o 1669997
109.79/102.93	o 1670328
109.79/102.93	o 1670523
109.79/102.93	o 1670604
109.79/102.94	o 1671588
109.79/102.94	o 1671783
109.79/102.94	o 1672334
109.79/102.94	o 1672529
110.00/103.16	o 1672922
110.00/103.16	o 1673082
110.00/103.17	o 1673358
110.00/103.17	o 1674342
110.00/103.17	o 1675088
110.00/103.17	o 1675283
110.09/103.20	o 1675703
110.09/103.20	o 1675898
110.09/103.21	o 1675941
110.09/103.21	o 1676136
110.09/103.21	o 1676687
110.09/103.21	o 1676882
110.09/103.25	o 1676919
110.09/103.25	o 1677058
110.09/103.25	o 1677804
110.09/103.25	o 1678844
110.09/103.26	o 1679590
110.09/103.26	o 1680104
110.09/103.26	o 1680850
110.09/103.28	o 1681088
110.09/103.28	o 1681834
110.09/103.29	o 1682029
110.50/103.66	o 1683577
110.50/103.66	o 1684850
110.50/103.66	o 1686542
110.50/103.67	o 1688328
110.50/103.67	o 1690473
110.50/103.67	o 1692259
110.83/103.99	o 1692311
110.83/103.99	o 1692830
110.83/104.00	o 1693059
110.83/104.00	o 1694319
110.83/104.00	o 1694838
110.95/104.08	o 1695150
110.95/104.08	o 1695669
110.95/104.08	o 1696410
110.95/104.08	o 1696929
110.95/104.08	o 1697928
110.95/104.08	o 1698676
110.95/104.08	o 1699936
110.95/104.08	o 1700455
111.16/104.22	o 1701872
111.16/104.22	o 1703677
128.06/120.89	o 1704682
128.30/121.08	o 1705518
128.30/121.08	o 1705567
128.30/121.09	o 1706502
128.30/121.09	o 1706551
128.50/121.11	o 1706921
128.50/121.11	o 1707606
128.50/121.11	o 1709848
128.50/121.11	o 1711084
128.50/121.11	o 1712068
128.50/121.11	o 1712117
128.50/121.18	o 1713183
128.50/121.18	o 1713870
128.50/121.19	o 1714988
128.50/121.19	o 1715675
128.66/121.21	o 1715678
128.66/121.21	o 1715916
128.66/121.21	o 1716662
137.30/129.65	o 1716668
137.30/129.65	o 1717173
137.30/129.65	o 1717793
138.32/130.61	o 1719982
138.32/130.62	o 1720149
138.32/130.69	o 1720458
139.76/131.97	o 1720518
139.76/132.00	o 1720626
139.87/132.05	o 1722360
139.87/132.05	o 1722644
139.87/132.07	o 1723117
139.87/132.08	o 1724122
139.87/132.10	o 1724406
140.08/132.23	o 1725376
140.08/132.24	o 1725856
140.08/132.24	o 1726840
140.08/132.25	o 1727661
140.08/132.25	o 1728645
140.08/132.26	o 1729057
140.08/132.26	o 1730521
140.08/132.26	o 1730634
140.08/132.26	o 1733055
140.08/132.26	o 1734519
140.08/132.26	o 1734860
140.08/132.26	o 1736324
140.08/132.26	o 1737308
140.08/132.28	o 1737961
140.08/132.28	o 1738782
140.08/132.28	o 1739766
140.08/132.28	o 1740246
140.08/132.28	o 1741230
140.18/132.30	o 1742122
140.18/132.30	o 1743530
140.18/132.30	o 1744994
140.18/132.30	o 1745978
140.18/132.37	o 1747932
140.18/132.37	o 1750419
140.18/132.39	o 1750696
140.18/132.39	o 1754618
140.49/132.61	o 1754660
140.49/132.61	o 1758859
140.49/132.61	o 1759168
140.49/132.61	o 1760323
140.49/132.61	o 1760632
169.43/161.23	o 1760664
169.43/161.23	o 1761361
169.43/161.23	o 1761410
169.43/161.23	o 1762048
169.43/161.23	o 1762097
169.43/161.23	o 1762582
169.43/161.23	o 1763269
169.43/161.23	o 1763318
169.53/161.34	o 1763566
169.53/161.34	o 1763615
169.53/161.35	o 1764253
169.53/161.35	o 1764302
169.64/161.46	o 1764600
169.64/161.46	o 1765287
169.64/161.46	o 1765346
169.64/161.46	o 1766033
169.64/161.48	o 1766330
169.64/161.48	o 1767017
169.64/161.48	o 1767066
169.64/161.49	o 1767551
169.64/161.49	o 1767600
169.64/161.49	o 1768238
169.64/161.49	o 1768287
170.04/161.84	o 1768745
170.04/161.84	o 1770669
170.04/161.84	o 1772465
170.39/162.13	o 1775038
170.39/162.15	o 1776274
193.86/185.12	o 1776649
193.86/185.12	o 1778330
193.86/185.12	o 1779021
193.86/185.12	o 1780817
206.51/197.49	o 1781135
206.51/197.49	o 1781755
206.51/197.49	o 1781824
206.51/197.49	o 1782444
206.51/197.49	o 1782787
206.51/197.49	o 1783476
206.51/197.49	o 1784096
207.39/198.16	o 1788481
207.39/198.18	o 1789928
207.39/198.18	o 1791155
207.39/198.18	o 1797144
207.48/198.21	o 1797821
207.48/198.27	o 1799535
207.58/198.33	o 1805524
208.31/199.07	o 1806819
208.31/199.08	o 1808837
208.31/199.08	o 1809032
209.02/199.70	o 1810247
209.02/199.70	o 1810442
209.02/199.74	o 1811313
209.02/199.74	o 1815481
209.02/199.74	o 1815676
209.02/199.74	o 1817499
209.02/199.74	o 1817694
209.12/199.81	o 1818277
209.12/199.81	o 1822445
209.12/199.83	o 1824463
209.12/199.83	o 1824658
209.12/199.89	o 1825527
209.12/199.89	o 1827451
209.22/199.92	o 1828301
209.22/199.92	o 1829062
209.22/199.92	o 1829726
209.22/199.92	o 1831527
209.22/199.93	o 1833535
210.25/200.95	o 1833652
210.25/200.95	o 1833847
210.25/200.95	o 1834429
210.25/200.95	o 1835116
210.25/200.95	o 1835311
289.01/277.38	o 1835362
289.52/277.89	o 1836739
289.52/277.89	o 1836934
289.62/277.99	o 1837152
289.62/277.99	o 1839160
289.73/278.01	o 1839355
425.69/410.87	o 1840713
425.69/410.87	o 1841973
425.69/410.87	o 1842660
425.69/410.87	o 1844706
425.69/410.87	o 1845393
425.69/410.87	o 1845966
425.69/410.87	o 1846653
425.69/410.87	o 1847445
425.69/410.87	o 1848705
425.69/410.87	o 1849392
447.28/431.94	o 1849802
470.79/454.90	o 1850844
470.79/454.90	o 1851831
470.79/454.97	o 1852180
470.79/454.97	o 1853164
471.02/455.13	o 1853167
471.02/455.18	o 1854151
492.61/476.11	o 1857203
492.70/476.20	o 1859221
540.26/523.05	o 1859559
540.26/523.05	o 1859929
540.26/523.05	o 1860616
540.26/523.07	o 1861612
540.26/523.10	o 1862613
540.26/523.10	o 1863738
540.36/523.12	o 1864425
541.49/524.25	o 1865243
541.49/524.27	o 1867915
541.49/524.27	o 1869379
545.06/527.77	o 1869569
546.80/529.43	o 1870785
549.22/531.72	o 1870891
552.19/534.68	o 1871542
552.19/534.68	o 1871900
552.19/534.68	o 1872332
552.19/534.68	o 1875125
552.19/534.68	o 1875812
557.21/539.51	o 1879844
557.21/539.51	o 1881649
570.12/551.25	o 1882929
570.12/551.25	o 1884165
570.12/551.25	o 1884349
570.12/551.25	o 1886154
570.12/551.25	o 1887390
629.43/609.20	o 1887861
629.43/609.20	o 1887863
629.43/609.20	o 1888550
629.74/609.55	o 1888562
653.11/632.36	o 1888744
666.76/645.64	o 1889574
666.76/645.64	o 1890263
690.86/669.28	o 1890760
697.55/675.51	o 1891560
697.55/675.52	o 1894785
697.55/675.52	o 1895910
698.97/676.98	o 1896767
698.97/676.98	o 1896902
698.97/676.98	o 1897043
698.97/676.98	o 1898027
703.69/681.58	o 1899707
703.69/681.58	o 1901679
717.73/695.29	o 1902115
717.73/695.29	o 1902665
717.73/695.29	o 1903351
717.73/695.29	o 1903901
717.83/695.37	o 1904476
717.83/695.37	o 1905026
759.56/736.27	o 1905329
806.25/781.95	o 1907927
806.25/781.95	o 1908446
806.36/782.06	o 1908867
806.36/782.07	o 1909386
809.72/785.36	o 1909813
809.72/785.36	o 1910332
826.19/801.47	o 1910647
826.19/801.47	o 1912433
826.39/801.64	o 1913400
826.39/801.64	o 1915794
826.59/801.83	o 1917580
879.41/853.25	o 1917735
879.62/853.40	o 1918229
879.62/853.40	o 1918779
879.62/853.40	o 1919298
879.62/853.40	o 1920247
879.62/853.40	o 1920766
879.62/853.40	o 1920797
879.62/853.40	o 1921316
918.65/891.52	o 1921427
918.65/891.52	o 1921946
918.65/891.52	o 1922663
918.65/891.52	o 1923182
918.75/891.65	o 1923183
918.75/891.65	o 1924395
918.75/891.65	o 1924745
918.75/891.65	o 1925831
918.75/891.65	o 1926381
918.75/891.65	o 1927617
918.85/891.70	o 1928136
919.05/891.95	o 1929050
919.05/891.95	o 1930909
921.71/894.55	o 1933674
921.71/894.55	o 1935138
921.71/894.55	o 1935657
929.74/902.41	o 1935864
929.74/902.41	o 1937332
929.74/902.41	o 1937882
1196.51/1162.65	o 1938052
1196.51/1162.65	o 1938602
1196.73/1162.80	o 1939039
1196.73/1162.83	o 1939589
1197.13/1163.24	o 1939737
1197.13/1163.24	o 1940591
1197.13/1163.24	o 1940601
1197.13/1163.24	o 1941145
1197.13/1163.24	o 1942609
1200.00/1166.11	o 1943201
1200.30/1166.34	o 1943235
1200.61/1166.66	o 1944956
1200.61/1166.66	o 1945046
1200.61/1166.66	o 1947073
1200.61/1166.66	o 1947163
1200.61/1166.66	o 1948057
1200.61/1166.66	o 1948147
1200.61/1166.66	o 1948424
1200.61/1166.66	o 1949557
1200.61/1166.66	o 1950541
1200.61/1166.69	o 1951273
1200.71/1166.72	o 1952257
1202.76/1168.78	o 1954167
1202.76/1168.78	o 1955631
1202.86/1168.89	o 1956756
1203.08/1169.03	o 1957871
1208.69/1174.58	o 1958383
1208.69/1174.59	o 1958587
1208.69/1174.59	o 1959847
1208.69/1174.59	o 1960446
1208.69/1174.59	o 1961706
1208.69/1174.59	o 1962225
1278.84/1242.79	o 1962380
1278.84/1242.79	o 1964185
1308.71/1271.91	o 1964716
1308.71/1271.91	o 1965235
1315.78/1278.80	o 1965555
1315.98/1279.01	o 1966843
1317.00/1280.03	o 1967418
1317.00/1280.03	o 1967529
1317.00/1280.03	o 1968654
1522.92/1480.83	o 1970189
1522.92/1480.83	o 1971173
1584.40/1540.36	o 1971793
1735.26/1687.11	o 1971957
1735.26/1687.11	o 1972088
1735.26/1687.11	o 1972476
1735.26/1687.11	o 1972607
1735.26/1687.11	o 1974074
1735.26/1687.11	o 1974593
1735.26/1687.11	o 1974724
1735.26/1687.16	o 1976280
1735.26/1687.16	o 1977359
1735.26/1687.16	o 1979476
1735.36/1687.21	o 1979995
1735.36/1687.21	o 1980463
1735.36/1687.21	o 1980982
1777.40/1728.55	o 1981826
1817.63/1767.83	o 1982143
1818.03/1768.24	o 1982769
1818.03/1768.24	o 1984456
1818.03/1768.25	o 1985581
1818.03/1768.25	o 1986327
1818.03/1768.25	o 1987007
1818.03/1768.25	o 1987386
1818.03/1768.25	o 1988132
1818.77/1768.98	o 1988233
1818.77/1768.98	o 1989358
1820.01/1770.16	o 1990104
1868.20/1816.70	o 1990905
1868.20/1816.70	o 1991892
1889.63/1837.69	o 1992623
1889.63/1837.69	o 1994740
1890.22/1838.20	o 1995495
1890.36/1838.35	o 1997612
2378.28/2313.12	o 1997735
2378.28/2313.12	o 1998995
2378.78/2313.65	o 1999167
2378.78/2313.65	o 1999434
2378.78/2313.65	o 2004668
2378.78/2313.65	o 2005187
2400.07/2334.40	s SATISFIABLE
2400.07/2334.40	v <instantiation>
2400.07/2334.40	v 	<list>
2400.07/2334.40	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]
2400.07/2334.40	v 	</list>
2400.07/2334.40	v 	<values>
2400.07/2334.40	v 		0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 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 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 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 1 0 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 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 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 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 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 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 1 0 0 0 0 0 0 0 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 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
2400.07/2334.40	v 	</values>
2400.07/2334.40	v </instantiation>

Verifier Data 

OK	2005187

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291741-1532257594/watcher-4291741-1532257594 -o /tmp/evaluation-result-4291741-1532257594/solver-4291741-1532257594 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532226532-29117 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1763490294 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291741-1532257594.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=1481, runsolver pid=1478
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 1.59 1.50 1.45 3/215 1496
/proc/meminfo: memFree=20184344/32770624 swapFree=67108860/67108860
[pid=1481] ppid=1478 vsize=14082740 memory=33372 CPUtime=0.11 cores=1,3,5,7
/proc/1481/stat : 1481 (java) S 1478 1481 29085 0 -1 1077944320 6750 0 0 0 9 2 0 0 20 0 15 0 43322589 14420725760 8343 33554432000 4194304 4196468 140734240616288 140734240598832 139976265150199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
/proc/1481/statm: 3520685 8343 3139 1 0 3482761 0
[pid=1481/tid=1483] ppid=1478 vsize=14082740 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/1481/task/1483/stat : 1483 (java) R 1478 1481 29085 0 -1 4202560 5331 0 0 0 8 1 0 0 20 0 15 0 43322590 14420725760 8804 33554432000 4194304 4196468 140734240616288 139976269334880 139976245427024 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1484] ppid=1478 vsize=14082740 memory=7948963741541478447 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1484/stat : 1484 (java) S 1478 1481 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43322590 14420725760 8870 33554432000 4194304 4196468 140734240616288 139976217771024 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1485] ppid=1478 vsize=14082740 memory=140263903295104 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1485/stat : 1485 (java) S 1478 1481 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43322590 14420725760 8870 33554432000 4194304 4196468 140734240616288 139976216718480 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1486] ppid=1478 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1486/stat : 1486 (java) S 1478 1481 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43322590 14420725760 8870 33554432000 4194304 4196468 140734240616288 139976215665424 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1487] ppid=1478 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1487/stat : 1487 (java) S 1478 1481 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43322590 14420725760 8870 33554432000 4194304 4196468 140734240616288 139976214612880 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1488] ppid=1478 vsize=14082740 memory=140263903295104 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1488/stat : 1488 (java) S 1478 1481 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43322592 14420725760 8870 33554432000 4194304 4196468 140734240616288 139975468660976 139976265161346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1489] ppid=1478 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1489/stat : 1489 (java) S 1478 1481 29085 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 43322592 14420725760 8870 33554432000 4194304 4196468 140734240616288 139975377560736 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1490] ppid=1478 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1490/stat : 1490 (java) S 1478 1481 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43322592 14420725760 8870 33554432000 4194304 4196468 140734240616288 139975376507632 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1491] ppid=1478 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1491/stat : 1491 (java) S 1478 1481 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43322595 14420725760 8870 33554432000 4194304 4196468 140734240616288 139975375456208 139976265168795 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1492] ppid=1478 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1492/stat : 1492 (java) S 1478 1481 29085 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 43322595 14420725760 8870 33554432000 4194304 4196468 140734240616288 139975374404336 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1493] ppid=1478 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1493/stat : 1493 (java) S 1478 1481 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43322595 14420725760 8870 33554432000 4194304 4196468 140734240616288 139975373351792 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1494] ppid=1478 vsize=14082740 memory=140263903295104 CPUtime=0.01 cores=1,3,5,7
/proc/1481/task/1494/stat : 1494 (java) S 1478 1481 29085 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 15 0 43322595 14420725760 8870 33554432000 4194304 4196468 140734240616288 139975372298736 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1495] ppid=1478 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1495/stat : 1495 (java) S 1478 1481 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43322595 14420725760 8936 33554432000 4194304 4196468 140734240616288 139975371246432 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1496] ppid=1478 vsize=14082740 memory=140263903295104 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1496/stat : 1496 (java) S 1478 1481 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43322595 14420725760 8936 33554432000 4194304 4196468 140734240616288 139975370193456 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33372 KiB

[startup+0.210341 s]*
/proc/loadavg: 1.59 1.50 1.45 4/215 1496
/proc/meminfo: memFree=20169828/32770624 swapFree=67108860/67108860
[pid=1481] ppid=1478 vsize=14082740 memory=48852 CPUtime=0.3 cores=1,3,5,7
/proc/1481/stat : 1481 (java) S 1478 1481 29085 0 -1 1077944320 10334 0 0 0 27 3 0 0 20 0 15 0 43322589 14420725760 12213 33554432000 4194304 4196468 140734240616288 140734240598832 139976265150199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
/proc/1481/statm: 3520685 12213 3330 1 0 3482761 0
[pid=1481/tid=1483] ppid=1478 vsize=14082740 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/1481/task/1483/stat : 1483 (java) S 1478 1481 29085 0 -1 1077944384 8127 0 0 0 18 2 0 0 20 0 15 0 43322590 14420725760 12279 33554432000 4194304 4196468 140734240616288 139976269374880 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1484] ppid=1478 vsize=14082740 memory=4294967639 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1484/stat : 1484 (java) S 1478 1481 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43322590 14420725760 12279 33554432000 4194304 4196468 140734240616288 139976217771024 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1485] ppid=1478 vsize=14082740 memory=288370640055006848 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1485/stat : 1485 (java) S 1478 1481 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43322590 14420725760 12279 33554432000 4194304 4196468 140734240616288 139976216718480 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1486] ppid=1478 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1486/stat : 1486 (java) S 1478 1481 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43322590 14420725760 12279 33554432000 4194304 4196468 140734240616288 139976215665424 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1487] ppid=1478 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1487/stat : 1487 (java) S 1478 1481 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43322590 14420725760 12279 33554432000 4194304 4196468 140734240616288 139976214612880 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1488] ppid=1478 vsize=14082740 memory=140263903295104 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1488/stat : 1488 (java) S 1478 1481 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43322592 14420725760 12279 33554432000 4194304 4196468 140734240616288 139975468660976 139976265161346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1489] ppid=1478 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1489/stat : 1489 (java) S 1478 1481 29085 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 43322592 14420725760 12279 33554432000 4194304 4196468 140734240616288 139975377560736 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1490] ppid=1478 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1490/stat : 1490 (java) S 1478 1481 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43322592 14420725760 12279 33554432000 4194304 4196468 140734240616288 139975376507632 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1491] ppid=1478 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1491/stat : 1491 (java) S 1478 1481 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43322595 14420725760 12279 33554432000 4194304 4196468 140734240616288 139975375456208 139976265168795 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1492] ppid=1478 vsize=14082740 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1481/task/1492/stat : 1492 (java) R 1478 1481 29085 0 -1 1077944384 437 0 0 0 1 0 0 0 20 0 15 0 43322595 14420725760 12279 33554432000 4194304 4196468 140734240616288 139975374404336 139976265161346 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1493] ppid=1478 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1481/task/1493/stat : 1493 (java) R 1478 1481 29085 0 -1 4202560 147 0 0 0 2 0 0 0 20 0 15 0 43322595 14420725760 12279 33554432000 4194304 4196468 140734240616288 139975373351792 139976246520512 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1494] ppid=1478 vsize=14082740 memory=140263903295104 CPUtime=0.06 cores=1,3,5,7
/proc/1481/task/1494/stat : 1494 (java) S 1478 1481 29085 0 -1 1077944384 280 0 0 0 6 0 0 0 20 0 15 0 43322595 14420725760 12279 33554432000 4194304 4196468 140734240616288 139975372298736 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1495] ppid=1478 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1495/stat : 1495 (java) S 1478 1481 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43322595 14420725760 12279 33554432000 4194304 4196468 140734240616288 139975371246432 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1496] ppid=1478 vsize=14082740 memory=140263903295104 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1496/stat : 1496 (java) S 1478 1481 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43322595 14420725760 12279 33554432000 4194304 4196468 140734240616288 139975370193456 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 48852 KiB

[startup+0.310534 s]*
/proc/loadavg: 1.59 1.50 1.45 3/215 1496
/proc/meminfo: memFree=20166416/32770624 swapFree=67108860/67108860
[pid=1481] ppid=1478 vsize=14082740 memory=52600 CPUtime=0.43 cores=1,3,5,7
/proc/1481/stat : 1481 (java) S 1478 1481 29085 0 -1 1077944320 10720 0 0 0 40 3 0 0 20 0 15 0 43322589 14420725760 13150 33554432000 4194304 4196468 140734240616288 140734240598832 139976265150199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
/proc/1481/statm: 3520685 13150 3377 1 0 3482761 0
[pid=1481/tid=1483] ppid=1478 vsize=14082740 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/1481/task/1483/stat : 1483 (java) R 1478 1481 29085 0 -1 4202560 8478 0 0 0 27 2 0 0 20 0 15 0 43322590 14420725760 13150 33554432000 4194304 4196468 140734240616288 139976269384784 139976246523736 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1484] ppid=1478 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1484/stat : 1484 (java) S 1478 1481 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43322590 14420725760 13150 33554432000 4194304 4196468 140734240616288 139976217771024 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1485] ppid=1478 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1485/stat : 1485 (java) S 1478 1481 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43322590 14420725760 13150 33554432000 4194304 4196468 140734240616288 139976216718480 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1486] ppid=1478 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1486/stat : 1486 (java) S 1478 1481 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43322590 14420725760 13150 33554432000 4194304 4196468 140734240616288 139976215665424 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1487] ppid=1478 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1487/stat : 1487 (java) S 1478 1481 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43322590 14420725760 13150 33554432000 4194304 4196468 140734240616288 139976214612880 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1488] ppid=1478 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1488/stat : 1488 (java) S 1478 1481 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43322592 14420725760 13150 33554432000 4194304 4196468 140734240616288 139975468660976 139976265161346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1489] ppid=1478 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1489/stat : 1489 (java) S 1478 1481 29085 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 43322592 14420725760 13150 33554432000 4194304 4196468 140734240616288 139975377560736 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1490] ppid=1478 vsize=14082740 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1490/stat : 1490 (java) S 1478 1481 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43322592 14420725760 13150 33554432000 4194304 4196468 140734240616288 139975376507632 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1491] ppid=1478 vsize=14082740 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1491/stat : 1491 (java) S 1478 1481 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43322595 14420725760 13150 33554432000 4194304 4196468 140734240616288 139975375456208 139976265168795 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1492] ppid=1478 vsize=14082740 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1481/task/1492/stat : 1492 (java) S 1478 1481 29085 0 -1 1077944384 442 0 0 0 1 0 0 0 20 0 15 0 43322595 14420725760 13150 33554432000 4194304 4196468 140734240616288 139975374404336 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1493] ppid=1478 vsize=14082740 memory=140263766993359 CPUtime=0.02 cores=1,3,5,7
/proc/1481/task/1493/stat : 1493 (java) S 1478 1481 29085 0 -1 1077944384 148 0 0 0 2 0 0 0 20 0 15 0 43322595 14420725760 13150 33554432000 4194304 4196468 140734240616288 139975373351792 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1494] ppid=1478 vsize=14082740 memory=140263903296489 CPUtime=0.08 cores=1,3,5,7
/proc/1481/task/1494/stat : 1494 (java) S 1478 1481 29085 0 -1 1077944384 289 0 0 0 8 0 0 0 20 0 15 0 43322595 14420725760 13150 33554432000 4194304 4196468 140734240616288 139975372298736 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1495] ppid=1478 vsize=14082740 memory=140263766984143 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1495/stat : 1495 (java) S 1478 1481 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43322595 14420725760 13150 33554432000 4194304 4196468 140734240616288 139975371246432 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1496] ppid=1478 vsize=14082740 memory=280527670319072 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1496/stat : 1496 (java) S 1478 1481 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43322595 14420725760 13150 33554432000 4194304 4196468 140734240616288 139975370193456 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 52600 KiB

[startup+0.700667 s]
/proc/loadavg: 1.59 1.50 1.45 3/215 1496
/proc/meminfo: memFree=20142232/32770624 swapFree=67108860/67108860
[pid=1481] ppid=1478 vsize=14084808 memory=90800 CPUtime=0.98 cores=1,3,5,7
/proc/1481/stat : 1481 (java) S 1478 1481 29085 0 -1 1077944320 17564 0 0 0 92 6 0 0 20 0 15 0 43322589 14422843392 22700 33554432000 4194304 4196468 140734240616288 140734240598832 139976265150199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
/proc/1481/statm: 3521202 22700 3498 1 0 3483273 0
[pid=1481/tid=1483] ppid=1478 vsize=14084808 memory=15872 CPUtime=0.67 cores=1,3,5,7
/proc/1481/task/1483/stat : 1483 (java) R 1478 1481 29085 0 -1 4202560 14883 0 0 0 63 4 0 0 20 0 15 0 43322590 14422843392 22700 33554432000 4194304 4196468 140734240616288 139976269365136 139976265162134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1484] ppid=1478 vsize=14084808 memory=9792 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1484/stat : 1484 (java) S 1478 1481 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43322590 14422843392 22700 33554432000 4194304 4196468 140734240616288 139976217771024 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1485] ppid=1478 vsize=14084808 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1485/stat : 1485 (java) S 1478 1481 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43322590 14422843392 22700 33554432000 4194304 4196468 140734240616288 139976216718480 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1486] ppid=1478 vsize=14084808 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1486/stat : 1486 (java) S 1478 1481 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43322590 14422843392 22700 33554432000 4194304 4196468 140734240616288 139976215665424 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1487] ppid=1478 vsize=14084808 memory=140263767100256 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1487/stat : 1487 (java) S 1478 1481 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43322590 14422843392 22700 33554432000 4194304 4196468 140734240616288 139976214612880 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1488] ppid=1478 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1488/stat : 1488 (java) S 1478 1481 29085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43322592 14422843392 22700 33554432000 4194304 4196468 140734240616288 139975468660976 139976265161346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1489] ppid=1478 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1489/stat : 1489 (java) S 1478 1481 29085 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 43322592 14422843392 22700 33554432000 4194304 4196468 140734240616288 139975377560736 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1490] ppid=1478 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1490/stat : 1490 (java) S 1478 1481 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43322592 14422843392 22700 33554432000 4194304 4196468 140734240616288 139975376507632 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1491] ppid=1478 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1491/stat : 1491 (java) S 1478 1481 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43322595 14422843392 22700 33554432000 4194304 4196468 140734240616288 139975375456208 139976265168795 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1492] ppid=1478 vsize=14084808 memory=6944656592455097440 CPUtime=0.06 cores=1,3,5,7
/proc/1481/task/1492/stat : 1492 (java) S 1478 1481 29085 0 -1 1077944384 621 0 0 0 6 0 0 0 20 0 15 0 43322595 14422843392 22700 33554432000 4194304 4196468 140734240616288 139975374404336 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1493] ppid=1478 vsize=14084808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/1481/task/1493/stat : 1493 (java) S 1478 1481 29085 0 -1 1077944384 304 0 0 0 7 0 0 0 20 0 15 0 43322595 14422843392 22700 33554432000 4194304 4196468 140734240616288 139975373351792 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1494] ppid=1478 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/1481/task/1494/stat : 1494 (java) S 1478 1481 29085 0 -1 1077944384 394 0 0 0 15 0 0 0 20 0 15 0 43322595 14422843392 22700 33554432000 4194304 4196468 140734240616288 139975372298736 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1495] ppid=1478 vsize=14084808 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1495/stat : 1495 (java) S 1478 1481 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43322595 14422843392 22700 33554432000 4194304 4196468 140734240616288 139975371246432 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1496] ppid=1478 vsize=14084808 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1496/stat : 1496 (java) S 1478 1481 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43322595 14422843392 22700 33554432000 4194304 4196468 140734240616288 139975370193456 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 90800 KiB

[startup+1.50078 s]
/proc/loadavg: 1.70 1.52 1.45 4/215 1496
/proc/meminfo: memFree=20101780/32770624 swapFree=67108860/67108860
[pid=1481] ppid=1478 vsize=14086856 memory=189072 CPUtime=2.79 cores=1,3,5,7
/proc/1481/stat : 1481 (java) S 1478 1481 29085 0 -1 1077944320 22444 0 0 0 270 9 0 0 20 0 15 0 43322589 14424940544 47268 33554432000 4194304 4196468 140734240616288 140734240598832 139976265150199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
/proc/1481/statm: 3521714 47268 3552 1 0 3483785 0
[pid=1481/tid=1483] ppid=1478 vsize=14086856 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/1481/task/1483/stat : 1483 (java) R 1478 1481 29085 0 -1 4202560 17005 0 0 0 141 6 0 0 20 0 15 0 43322590 14424940544 47268 33554432000 4194304 4196468 140734240616288 139976269383824 139975891550308 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1484] ppid=1478 vsize=14086856 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1484/stat : 1484 (java) S 1478 1481 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43322590 14424940544 47268 33554432000 4194304 4196468 140734240616288 139976217771024 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1485] ppid=1478 vsize=14086856 memory=140263767100256 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1485/stat : 1485 (java) S 1478 1481 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43322590 14424940544 47268 33554432000 4194304 4196468 140734240616288 139976216718480 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1486] ppid=1478 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1486/stat : 1486 (java) S 1478 1481 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43322590 14424940544 47268 33554432000 4194304 4196468 140734240616288 139976215665424 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1487] ppid=1478 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1487/stat : 1487 (java) S 1478 1481 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43322590 14424940544 47268 33554432000 4194304 4196468 140734240616288 139976214612880 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1488] ppid=1478 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1488/stat : 1488 (java) S 1478 1481 29085 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 15 0 43322592 14424940544 47268 33554432000 4194304 4196468 140734240616288 139975468660976 139976265161346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0

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

/proc/1481/task/1483/stat : 1483 (java) R 1478 1481 29085 0 -1 4202560 138451 0 0 0 218010 56 0 0 20 0 15 0 43322590 14431232000 244323 33554432000 4194304 4196468 140734240616288 139976269385768 139975887767776 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1484] ppid=1478 vsize=14093000 memory=977292 CPUtime=18.18 cores=1,3,5,7
/proc/1481/task/1484/stat : 1484 (java) S 1478 1481 29085 0 -1 1077944384 19854 0 0 0 1749 69 0 0 20 0 15 0 43322590 14431232000 244323 33554432000 4194304 4196468 140734240616288 139976217771024 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1485] ppid=1478 vsize=14093000 memory=987892 CPUtime=18.1 cores=1,3,5,7
/proc/1481/task/1485/stat : 1485 (java) S 1478 1481 29085 0 -1 1077944384 23401 0 0 0 1743 67 0 0 20 0 15 0 43322590 14431232000 244323 33554432000 4194304 4196468 140734240616288 139976216718480 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1486] ppid=1478 vsize=14093000 memory=999180 CPUtime=18.14 cores=1,3,5,7
/proc/1481/task/1486/stat : 1486 (java) S 1478 1481 29085 0 -1 1077944384 18377 0 0 0 1749 65 0 0 20 0 15 0 43322590 14431232000 244323 33554432000 4194304 4196468 140734240616288 139976215665424 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1487] ppid=1478 vsize=14093000 memory=999180 CPUtime=18.15 cores=1,3,5,7
/proc/1481/task/1487/stat : 1487 (java) S 1478 1481 29085 0 -1 1077944384 20205 0 0 0 1746 69 0 0 20 0 15 0 43322590 14431232000 244323 33554432000 4194304 4196468 140734240616288 139976214612880 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1488] ppid=1478 vsize=14093000 memory=999180 CPUtime=2.25 cores=1,3,5,7
/proc/1481/task/1488/stat : 1488 (java) S 1478 1481 29085 0 -1 1077944384 55749 0 0 0 190 35 0 0 20 0 15 0 43322592 14431232000 244323 33554432000 4194304 4196468 140734240616288 139975468660976 139976265161346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1489] ppid=1478 vsize=14093000 memory=977292 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1489/stat : 1489 (java) S 1478 1481 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43322592 14431232000 244323 33554432000 4194304 4196468 140734240616288 139975377560800 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1490] ppid=1478 vsize=14093000 memory=977284 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1490/stat : 1490 (java) S 1478 1481 29085 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 43322592 14431232000 244323 33554432000 4194304 4196468 140734240616288 139975376507648 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1491] ppid=1478 vsize=14093000 memory=987892 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1491/stat : 1491 (java) S 1478 1481 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43322595 14431232000 244323 33554432000 4194304 4196468 140734240616288 139975375456208 139976265168795 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1492] ppid=1478 vsize=14093000 memory=977292 CPUtime=3.25 cores=1,3,5,7
/proc/1481/task/1492/stat : 1492 (java) S 1478 1481 29085 0 -1 1077944384 27843 0 0 0 322 3 0 0 20 0 15 0 43322595 14431232000 244323 33554432000 4194304 4196468 140734240616288 139975374404336 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1493] ppid=1478 vsize=14093000 memory=4028 CPUtime=3.18 cores=1,3,5,7
/proc/1481/task/1493/stat : 1493 (java) S 1478 1481 29085 0 -1 1077944384 24204 0 0 0 315 3 0 0 20 0 15 0 43322595 14431232000 244323 33554432000 4194304 4196468 140734240616288 139975373351792 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1494] ppid=1478 vsize=14093000 memory=977292 CPUtime=1.25 cores=1,3,5,7
/proc/1481/task/1494/stat : 1494 (java) S 1478 1481 29085 0 -1 1077944384 27694 0 0 0 122 3 0 0 20 0 15 0 43322595 14431232000 244323 33554432000 4194304 4196468 140734240616288 139975372298736 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1495] ppid=1478 vsize=14093000 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1495/stat : 1495 (java) S 1478 1481 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43322595 14431232000 244323 33554432000 4194304 4196468 140734240616288 139975371246432 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1496] ppid=1478 vsize=14093000 memory=977292 CPUtime=1.16 cores=1,3,5,7
/proc/1481/task/1496/stat : 1496 (java) S 1478 1481 29085 0 -1 1077944384 1306 0 0 0 52 64 0 0 20 0 15 0 43322595 14431232000 244323 33554432000 4194304 4196468 140734240616288 139975370193456 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
Current children cumulated CPU time: 2264.4 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 977292 KiB

[startup+2262.3 s]
/proc/loadavg: 0.68 0.96 1.25 2/195 1613
/proc/meminfo: memFree=19532528/32770624 swapFree=67108860/67108860
[pid=1481] ppid=1478 vsize=14093000 memory=1067596 CPUtime=2325.85 cores=1,3,5,7
/proc/1481/stat : 1481 (java) S 1478 1481 29085 0 -1 1077944320 360976 0 0 0 232157 428 0 0 20 0 15 0 43322589 14431232000 266899 33554432000 4194304 4196468 140734240616288 140734240598832 139976265150199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
/proc/1481/statm: 3523250 266899 3615 1 0 3485321 0
[pid=1481/tid=1483] ppid=1478 vsize=14093000 memory=1067596 CPUtime=2240.14 cores=1,3,5,7
/proc/1481/task/1483/stat : 1483 (java) R 1478 1481 29085 0 -1 4202560 139500 0 0 0 223956 58 0 0 20 0 15 0 43322590 14431232000 266899 33554432000 4194304 4196468 140734240616288 139976269387264 139975890777054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1484] ppid=1478 vsize=14093000 memory=1078368 CPUtime=18.65 cores=1,3,5,7
/proc/1481/task/1484/stat : 1484 (java) S 1478 1481 29085 0 -1 1077944384 20256 0 0 0 1794 71 0 0 20 0 15 0 43322590 14431232000 266899 33554432000 4194304 4196468 140734240616288 139976217771024 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1485] ppid=1478 vsize=14093000 memory=97 CPUtime=18.58 cores=1,3,5,7
/proc/1481/task/1485/stat : 1485 (java) S 1478 1481 29085 0 -1 1077944384 23571 0 0 0 1789 69 0 0 20 0 15 0 43322590 14431232000 266899 33554432000 4194304 4196468 140734240616288 139976216718480 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1486] ppid=1478 vsize=14093000 memory=1078368 CPUtime=18.61 cores=1,3,5,7
/proc/1481/task/1486/stat : 1486 (java) S 1478 1481 29085 0 -1 1077944384 18527 0 0 0 1793 68 0 0 20 0 15 0 43322590 14431232000 266899 33554432000 4194304 4196468 140734240616288 139976215665424 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1487] ppid=1478 vsize=14093000 memory=1099404 CPUtime=18.62 cores=1,3,5,7
/proc/1481/task/1487/stat : 1487 (java) S 1478 1481 29085 0 -1 1077944384 20448 0 0 0 1791 71 0 0 20 0 15 0 43322590 14431232000 266899 33554432000 4194304 4196468 140734240616288 139976214612880 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1488] ppid=1478 vsize=14093000 memory=1100144 CPUtime=2.27 cores=1,3,5,7
/proc/1481/task/1488/stat : 1488 (java) S 1478 1481 29085 0 -1 1077944384 56019 0 0 0 192 35 0 0 20 0 15 0 43322592 14431232000 266899 33554432000 4194304 4196468 140734240616288 139975468660976 139976265161346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1489] ppid=1478 vsize=14093000 memory=1099404 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1489/stat : 1489 (java) S 1478 1481 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43322592 14431232000 266899 33554432000 4194304 4196468 140734240616288 139975377560800 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1490] ppid=1478 vsize=14093000 memory=1077856 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1490/stat : 1490 (java) S 1478 1481 29085 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 43322592 14431232000 266899 33554432000 4194304 4196468 140734240616288 139975376507648 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1491] ppid=1478 vsize=14093000 memory=1067596 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1491/stat : 1491 (java) S 1478 1481 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43322595 14431232000 266899 33554432000 4194304 4196468 140734240616288 139975375456208 139976265168795 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1492] ppid=1478 vsize=14093000 memory=1067596 CPUtime=3.25 cores=1,3,5,7
/proc/1481/task/1492/stat : 1492 (java) S 1478 1481 29085 0 -1 1077944384 27845 0 0 0 322 3 0 0 20 0 15 0 43322595 14431232000 266899 33554432000 4194304 4196468 140734240616288 139975374404336 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1493] ppid=1478 vsize=14093000 memory=1067596 CPUtime=3.18 cores=1,3,5,7
/proc/1481/task/1493/stat : 1493 (java) S 1478 1481 29085 0 -1 1077944384 24206 0 0 0 315 3 0 0 20 0 15 0 43322595 14431232000 266899 33554432000 4194304 4196468 140734240616288 139975373351792 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1494] ppid=1478 vsize=14093000 memory=1077856 CPUtime=1.26 cores=1,3,5,7
/proc/1481/task/1494/stat : 1494 (java) S 1478 1481 29085 0 -1 1077944384 27881 0 0 0 122 4 0 0 20 0 15 0 43322595 14431232000 266899 33554432000 4194304 4196468 140734240616288 139975372298736 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1495] ppid=1478 vsize=14093000 memory=1078368 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1495/stat : 1495 (java) S 1478 1481 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43322595 14431232000 266899 33554432000 4194304 4196468 140734240616288 139975371246432 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1496] ppid=1478 vsize=14093000 memory=1078368 CPUtime=1.19 cores=1,3,5,7
/proc/1481/task/1496/stat : 1496 (java) S 1478 1481 29085 0 -1 1077944384 1324 0 0 0 53 66 0 0 20 0 15 0 43322595 14431232000 266899 33554432000 4194304 4196468 140734240616288 139975370193456 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
Current children cumulated CPU time: 2325.85 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1067596 KiB

[startup+2322.3 s]
/proc/loadavg: 0.75 0.92 1.22 2/195 1614
/proc/meminfo: memFree=19539884/32770624 swapFree=67108860/67108860
[pid=1481] ppid=1478 vsize=14093000 memory=1060992 CPUtime=2387.7 cores=1,3,5,7
/proc/1481/stat : 1481 (java) S 1478 1481 29085 0 -1 1077944320 366457 0 0 0 238334 436 0 0 20 0 15 0 43322589 14431232000 265248 33554432000 4194304 4196468 140734240616288 140734240598832 139976265150199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
/proc/1481/statm: 3523250 265248 3615 1 0 3485321 0
[pid=1481/tid=1483] ppid=1478 vsize=14093000 memory=0 CPUtime=2299.47 cores=1,3,5,7
/proc/1481/task/1483/stat : 1483 (java) R 1478 1481 29085 0 -1 4202560 140905 0 0 0 229888 59 0 0 20 0 15 0 43322590 14431232000 265248 33554432000 4194304 4196468 140734240616288 139976269386608 139975897199224 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1484] ppid=1478 vsize=14093000 memory=988084 CPUtime=19.26 cores=1,3,5,7
/proc/1481/task/1484/stat : 1484 (java) S 1478 1481 29085 0 -1 1077944384 20988 0 0 0 1854 72 0 0 20 0 15 0 43322590 14431232000 265248 33554432000 4194304 4196468 140734240616288 139976217771024 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1485] ppid=1478 vsize=14093000 memory=988084 CPUtime=19.19 cores=1,3,5,7
/proc/1481/task/1485/stat : 1485 (java) S 1478 1481 29085 0 -1 1077944384 24137 0 0 0 1849 70 0 0 20 0 15 0 43322590 14431232000 265248 33554432000 4194304 4196468 140734240616288 139976216718480 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1486] ppid=1478 vsize=14093000 memory=987060 CPUtime=19.22 cores=1,3,5,7
/proc/1481/task/1486/stat : 1486 (java) S 1478 1481 29085 0 -1 1077944384 18747 0 0 0 1853 69 0 0 20 0 15 0 43322590 14431232000 265248 33554432000 4194304 4196468 140734240616288 139976215665424 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1487] ppid=1478 vsize=14093000 memory=987136 CPUtime=19.23 cores=1,3,5,7
/proc/1481/task/1487/stat : 1487 (java) S 1478 1481 29085 0 -1 1077944384 20748 0 0 0 1851 72 0 0 20 0 15 0 43322590 14431232000 265248 33554432000 4194304 4196468 140734240616288 139976214612880 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1488] ppid=1478 vsize=14093000 memory=1013140 CPUtime=2.31 cores=1,3,5,7
/proc/1481/task/1488/stat : 1488 (java) S 1478 1481 29085 0 -1 1077944384 58181 0 0 0 195 36 0 0 20 0 15 0 43322592 14431232000 265248 33554432000 4194304 4196468 140734240616288 139975468660976 139976265161346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1489] ppid=1478 vsize=14093000 memory=976288 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1489/stat : 1489 (java) S 1478 1481 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43322592 14431232000 265248 33554432000 4194304 4196468 140734240616288 139975377560800 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1490] ppid=1478 vsize=14093000 memory=1060992 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1490/stat : 1490 (java) S 1478 1481 29085 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 43322592 14431232000 265248 33554432000 4194304 4196468 140734240616288 139975376507648 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1491] ppid=1478 vsize=14093000 memory=999880 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1491/stat : 1491 (java) S 1478 1481 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43322595 14431232000 265248 33554432000 4194304 4196468 140734240616288 139975375456208 139976265168795 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1492] ppid=1478 vsize=14093000 memory=0 CPUtime=3.25 cores=1,3,5,7
/proc/1481/task/1492/stat : 1492 (java) S 1478 1481 29085 0 -1 1077944384 27847 0 0 0 322 3 0 0 20 0 15 0 43322595 14431232000 265248 33554432000 4194304 4196468 140734240616288 139975374404336 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 34 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1493] ppid=1478 vsize=14093000 memory=4028 CPUtime=3.18 cores=1,3,5,7
/proc/1481/task/1493/stat : 1493 (java) S 1478 1481 29085 0 -1 1077944384 24208 0 0 0 315 3 0 0 20 0 15 0 43322595 14431232000 265248 33554432000 4194304 4196468 140734240616288 139975373351792 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1494] ppid=1478 vsize=14093000 memory=14780 CPUtime=1.26 cores=1,3,5,7
/proc/1481/task/1494/stat : 1494 (java) S 1478 1481 29085 0 -1 1077944384 27967 0 0 0 122 4 0 0 20 0 15 0 43322595 14431232000 265248 33554432000 4194304 4196468 140734240616288 139975372298736 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1495] ppid=1478 vsize=14093000 memory=1060992 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1495/stat : 1495 (java) S 1478 1481 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43322595 14431232000 265248 33554432000 4194304 4196468 140734240616288 139975371246432 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1496] ppid=1478 vsize=14093000 memory=9808 CPUtime=1.23 cores=1,3,5,7
/proc/1481/task/1496/stat : 1496 (java) S 1478 1481 29085 0 -1 1077944384 1330 0 0 0 55 68 0 0 20 0 15 0 43322595 14431232000 265248 33554432000 4194304 4196468 140734240616288 139975370193456 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
Current children cumulated CPU time: 2387.7 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1060992 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2334.4 s]
/proc/loadavg: 0.64 0.89 1.21 2/194 1615
/proc/meminfo: memFree=19450736/32770624 swapFree=67108860/67108860
[pid=1481] ppid=1478 vsize=14093000 memory=1149224 CPUtime=2400.07 cores=1,3,5,7
/proc/1481/stat : 1481 (java) S 1478 1481 29085 0 -1 1077944320 367184 0 0 0 239564 443 0 0 20 0 15 0 43322589 14431232000 287306 33554432000 4194304 4196468 140734240616288 140734240598832 139976265150199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
/proc/1481/statm: 3523250 287306 3615 1 0 3485321 0
[pid=1481/tid=1483] ppid=1478 vsize=14093000 memory=1140012 CPUtime=2311.48 cores=1,3,5,7
/proc/1481/task/1483/stat : 1483 (java) R 1478 1481 29085 0 -1 4202560 141288 0 0 0 231088 60 0 0 20 0 15 0 43322590 14431232000 287306 33554432000 4194304 4196468 140734240616288 139976269384112 139975893930643 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1484] ppid=1478 vsize=14093000 memory=280527534654436 CPUtime=19.35 cores=1,3,5,7
/proc/1481/task/1484/stat : 1484 (java) S 1478 1481 29085 0 -1 1077944384 21018 0 0 0 1862 73 0 0 20 0 15 0 43322590 14431232000 287306 33554432000 4194304 4196468 140734240616288 139976217771024 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1485] ppid=1478 vsize=14093000 memory=14780 CPUtime=19.28 cores=1,3,5,7
/proc/1481/task/1485/stat : 1485 (java) S 1478 1481 29085 0 -1 1077944384 24165 0 0 0 1856 72 0 0 20 0 15 0 43322590 14431232000 287306 33554432000 4194304 4196468 140734240616288 139976216718480 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1486] ppid=1478 vsize=14093000 memory=1296 CPUtime=19.3 cores=1,3,5,7
/proc/1481/task/1486/stat : 1486 (java) S 1478 1481 29085 0 -1 1077944384 18772 0 0 0 1860 70 0 0 20 0 15 0 43322590 14431232000 287306 33554432000 4194304 4196468 140734240616288 139976215665424 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1487] ppid=1478 vsize=14093000 memory=2428 CPUtime=19.32 cores=1,3,5,7
/proc/1481/task/1487/stat : 1487 (java) S 1478 1481 29085 0 -1 1077944384 20780 0 0 0 1858 74 0 0 20 0 15 0 43322590 14431232000 287306 33554432000 4194304 4196468 140734240616288 139976214612880 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1488] ppid=1478 vsize=14093000 memory=8112282956445269571 CPUtime=2.32 cores=1,3,5,7
/proc/1481/task/1488/stat : 1488 (java) S 1478 1481 29085 0 -1 1077944384 58387 0 0 0 196 36 0 0 20 0 15 0 43322592 14431232000 287306 33554432000 4194304 4196468 140734240616288 139975468660976 139976265161346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1489] ppid=1478 vsize=14093000 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1489/stat : 1489 (java) S 1478 1481 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43322592 14431232000 287306 33554432000 4194304 4196468 140734240616288 139975377560800 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1490] ppid=1478 vsize=14093000 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1490/stat : 1490 (java) S 1478 1481 29085 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 43322592 14431232000 287306 33554432000 4194304 4196468 140734240616288 139975376507648 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1491] ppid=1478 vsize=14093000 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1491/stat : 1491 (java) S 1478 1481 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43322595 14431232000 287306 33554432000 4194304 4196468 140734240616288 139975375456208 139976265168795 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1492] ppid=1478 vsize=14093000 memory=1004 CPUtime=3.25 cores=1,3,5,7
/proc/1481/task/1492/stat : 1492 (java) S 1478 1481 29085 0 -1 1077944384 27847 0 0 0 322 3 0 0 20 0 15 0 43322595 14431232000 287306 33554432000 4194304 4196468 140734240616288 139975374404336 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1493] ppid=1478 vsize=14093000 memory=11956 CPUtime=3.18 cores=1,3,5,7
/proc/1481/task/1493/stat : 1493 (java) S 1478 1481 29085 0 -1 1077944384 24208 0 0 0 315 3 0 0 20 0 15 0 43322595 14431232000 287306 33554432000 4194304 4196468 140734240616288 139975373351792 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1494] ppid=1478 vsize=14093000 memory=5520 CPUtime=1.26 cores=1,3,5,7
/proc/1481/task/1494/stat : 1494 (java) S 1478 1481 29085 0 -1 1077944384 27967 0 0 0 122 4 0 0 20 0 15 0 43322595 14431232000 287306 33554432000 4194304 4196468 140734240616288 139975372298736 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1495] ppid=1478 vsize=14093000 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/1481/task/1495/stat : 1495 (java) S 1478 1481 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43322595 14431232000 287306 33554432000 4194304 4196468 140734240616288 139975371246432 139976265160405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
[pid=1481/tid=1496] ppid=1478 vsize=14093000 memory=8384 CPUtime=1.24 cores=1,3,5,7
/proc/1481/task/1496/stat : 1496 (java) S 1478 1481 29085 0 -1 1077944384 1353 0 0 0 55 69 0 0 20 0 15 0 43322595 14431232000 287306 33554432000 4194304 4196468 140734240616288 139975370193456 139976265161346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21692416 140734240617556 140734240617737 140734240617737 140734240620495 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1149224 KiB

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

[startup+2334.42 s]
# the end of solver process 1481 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.66 s, system=4.44788 s

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

Child status: 143
Real time (s): 2334.42
CPU time (s): 2400.11
CPU user time (s): 2395.66
CPU system time (s): 4.44788
CPU usage (%): 102.814
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 1665412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.66
system time used= 4.44788
maximum resident set size= 1672672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 97671
involuntary context switches= 3423


# summary of solver processes directly reported to runsolver:
#   pid: 1481
#   total CPU time (s): 2400.11
#   total CPU user time (s): 2395.66
#   total CPU system time (s): 4.44788

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3006 second user time and 22.9898 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-22 13:06:34
IDJOB=4291741
IDBENCH=141154
IDSOLVER=2746
FILE ID=node151/4291741-1532257594
RUNJOBID= node151-1532226532-29117
PBS_JOBID= 21018950
Free space on /tmp= 55036 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291741-1532257594/watcher-4291741-1532257594 -o /tmp/evaluation-result-4291741-1532257594/solver-4291741-1532257594 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532226532-29117 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1763490294 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291741-1532257594.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=1763490294

node151.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.87
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.87
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.87
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.87
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:        20205428 kB
MemAvailable:   31587632 kB
Buffers:          241380 kB
Cached:         11288976 kB
SwapCached:            0 kB
Active:          1409524 kB
Inactive:       10524100 kB
Active(anon):     405828 kB
Inactive(anon):    16936 kB
Active(file):    1003696 kB
Inactive(file): 10507164 kB
Unevictable:        7940 kB
Mlocked:            7940 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35720 kB
Writeback:             0 kB
AnonPages:        398460 kB
Mapped:            49084 kB
Shmem:             17032 kB
Slab:             327192 kB
SReclaimable:     299804 kB
SUnreclaim:        27388 kB
KernelStack:        3520 kB
PageTables:         6300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1227240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 55036 MiB
End job on node151 at 2018-07-22 13:45:29