Trace number 4310558

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)1964667 252.102 240.837

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

Quality of the solution as a function of time


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

Solver Data 

0.68/0.55	c version: 2018-08-14
0.68/0.55	c seed: 1044135412
0.68/0.55	c timeout: 252
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.58	c Parsing instance...
3.43/1.89	c Parsing done, starting first complete search...
4.12/2.12	o 0
4.12/2.13	o 4434
4.12/2.13	o 8147
4.12/2.13	o 12581
4.12/2.13	o 40805
4.12/2.14	o 45239
4.12/2.14	o 49375
4.12/2.14	o 59543
4.12/2.14	o 63977
4.12/2.15	o 68113
4.12/2.15	o 68427
4.12/2.15	o 68725
4.12/2.15	o 72861
4.12/2.15	o 100098
4.12/2.15	o 104234
4.12/2.16	o 127375
4.12/2.16	o 131511
4.12/2.16	o 133036
4.12/2.16	o 137684
4.12/2.16	o 139209
4.12/2.16	o 141820
4.12/2.17	o 143345
4.12/2.17	o 144272
4.12/2.17	o 148210
4.12/2.17	o 149137
4.12/2.17	o 149735
4.12/2.17	o 150662
4.12/2.17	o 150926
4.12/2.18	o 168613
4.12/2.18	o 175077
4.12/2.18	o 177001
4.12/2.18	o 201114
4.12/2.18	o 205548
4.12/2.18	o 211737
4.12/2.19	o 212655
4.12/2.19	o 223463
4.12/2.19	o 224988
4.12/2.19	o 227449
4.12/2.19	o 228974
4.12/2.19	o 230388
4.12/2.20	o 231251
4.12/2.20	o 232776
4.12/2.20	o 233087
4.40/2.20	o 233649
4.40/2.20	o 242672
4.40/2.20	o 244197
4.40/2.20	o 248333
4.40/2.21	o 249774
4.40/2.21	o 251698
4.40/2.21	o 252260
4.40/2.21	o 253255
4.40/2.21	o 253817
4.40/2.21	o 259645
4.40/2.21	o 260207
4.40/2.22	o 265094
4.40/2.22	o 266619
4.40/2.22	o 269230
4.40/2.22	o 270755
4.40/2.22	o 272815
4.40/2.22	o 274340
4.40/2.23	o 278476
4.40/2.23	o 278702
4.40/2.23	o 279697
4.40/2.23	o 280259
4.40/2.23	o 287414
4.40/2.23	o 287976
4.40/2.24	o 290131
4.40/2.24	o 294117
4.40/2.24	o 295044
4.40/2.24	o 295531
4.40/2.24	o 296458
4.40/2.24	o 297919
4.40/2.24	o 298846
4.40/2.24	o 299140
4.40/2.25	o 300067
4.40/2.25	o 300629
4.40/2.25	o 303276
4.40/2.25	o 303838
4.40/2.25	o 304203
4.40/2.25	o 304765
4.40/2.26	o 309488
4.40/2.26	o 311045
4.40/2.26	o 323376
4.40/2.26	o 323938
4.40/2.26	o 332595
4.40/2.27	o 334519
4.40/2.27	o 335446
4.40/2.27	o 338985
4.40/2.27	o 339912
4.40/2.27	o 340909
4.40/2.27	o 341836
4.40/2.28	o 342107
4.40/2.28	o 342669
4.40/2.28	o 343664
4.40/2.28	o 344226
4.40/2.29	o 345588
4.40/2.29	o 346150
4.40/2.29	o 347002
4.40/2.29	o 347564
4.40/2.29	o 348339
4.40/2.29	o 348901
4.40/2.30	o 354541
4.40/2.30	o 355103
4.70/2.30	o 361567
4.70/2.30	o 361637
4.70/2.30	o 362292
4.70/2.31	o 362628
4.70/2.31	o 363849
4.70/2.31	o 364552
4.70/2.31	o 365773
4.70/2.32	o 367322
4.70/2.32	o 368249
4.70/2.33	o 369246
4.70/2.33	o 370173
4.70/2.33	o 370803
4.70/2.33	o 371730
4.70/2.33	o 375119
4.70/2.33	o 376046
4.70/2.33	o 376201
4.70/2.34	o 376531
4.70/2.34	o 377458
4.70/2.34	o 379255
4.70/2.34	o 380182
4.70/2.35	o 380216
4.70/2.35	o 381143
4.70/2.35	o 381773
4.70/2.35	o 382700
4.70/2.35	o 389920
4.70/2.35	o 390847
4.70/2.35	o 392799
4.70/2.35	o 393726
4.70/2.35	o 394056
4.70/2.35	o 394983
4.70/2.37	o 395063
4.70/2.37	o 395393
4.70/2.37	o 396320
4.70/2.37	o 398117
4.70/2.37	o 399044
5.02/2.41	o 400036
5.02/2.41	o 400963
5.02/2.41	o 402377
5.02/2.41	o 403934
5.02/2.41	o 404444
5.02/2.41	o 405296
5.02/2.41	o 405858
5.02/2.43	o 406106
5.02/2.43	o 406299
5.02/2.44	o 406534
5.02/2.44	o 407096
5.02/2.44	o 408458
5.02/2.44	o 409020
5.02/2.44	o 410015
5.02/2.44	o 410577
5.02/2.44	o 410770
5.02/2.44	o 411465
5.02/2.44	o 412027
5.02/2.45	o 412136
5.02/2.45	o 412609
5.02/2.45	o 413171
5.02/2.45	o 413364
5.02/2.46	o 414112
5.02/2.46	o 414674
5.02/2.46	o 415333
5.02/2.46	o 415895
5.02/2.46	o 416088
5.02/2.48	o 416753
5.02/2.48	o 417315
5.02/2.48	o 417974
5.02/2.48	o 418536
5.02/2.48	o 418729
5.02/2.48	o 420698
5.02/2.48	o 421260
5.02/2.48	o 421453
5.31/2.51	o 421544
5.31/2.52	o 421911
5.31/2.52	o 422906
5.31/2.52	o 423468
5.31/2.52	o 424127
5.31/2.52	o 424689
5.31/2.52	o 424882
5.31/2.55	o 425815
5.31/2.55	o 427372
5.31/2.55	o 428559
5.31/2.55	o 430801
5.31/2.55	o 436860
5.31/2.55	o 437422
5.31/2.55	o 437615
5.31/2.56	o 437802
5.31/2.57	o 438122
5.31/2.57	o 438315
5.31/2.58	o 439438
5.31/2.58	o 440659
5.31/2.58	o 440852
5.31/2.58	o 441924
5.31/2.58	o 443145
5.31/2.59	o 443338
5.31/2.59	o 444332
5.31/2.59	o 446574
5.31/2.59	o 446767
5.54/2.61	o 447433
5.54/2.61	o 448654
5.54/2.61	o 448847
5.54/2.64	o 449034
5.54/2.67	o 449046
5.54/2.67	o 449973
5.87/2.94	o 451160
5.87/2.94	o 453402
5.87/2.94	o 453576
5.87/2.94	o 453943
5.87/2.94	o 455500
5.87/2.94	o 456013
5.87/2.94	o 457570
5.87/2.94	o 459095
5.87/2.94	o 459367
5.87/2.94	o 460294
5.87/2.94	o 460892
5.87/2.94	o 461819
5.87/2.94	o 462047
5.87/2.94	o 463189
5.87/2.94	o 467063
5.87/2.94	o 472791
5.87/2.94	o 473103
5.87/2.94	o 473178
5.87/2.94	o 473496
5.87/2.94	o 475420
5.87/2.94	o 476977
5.87/2.94	o 478234
5.87/2.94	o 479731
5.87/2.94	o 480988
6.08/3.16	o 481108
6.08/3.16	o 481475
6.08/3.16	o 483032
6.08/3.16	o 483828
6.08/3.16	o 486030
6.08/3.16	o 487587
6.08/3.17	o 488844
6.59/3.65	o 490231
6.59/3.65	o 490549
6.59/3.65	o 492473
7.16/4.18	o 493894
7.16/4.18	o 494237
7.16/4.18	o 496161
7.45/4.41	o 497666
7.45/4.41	o 499590
9.26/6.29	o 500433
9.88/6.83	o 500924
9.88/6.84	o 500949
9.88/6.84	o 502348
9.88/6.84	o 503191
9.88/6.84	o 503605
9.88/6.84	o 504448
9.88/6.85	o 504904
9.88/6.85	o 505747
9.88/6.87	o 505875
9.88/6.87	o 508791
9.88/6.87	o 509634
11.59/8.53	o 510506
11.59/8.54	o 510849
11.59/8.54	o 512773
11.59/8.54	o 512995
11.59/8.54	o 514830
11.59/8.54	o 516754
11.59/8.56	o 517397
11.59/8.56	o 519321
13.61/10.60	o 520153
23.78/20.64	c First complete search done, starting ALNS search...
23.94/20.77	o 529468
23.94/20.77	o 538897
23.94/20.78	o 541636
23.94/20.78	o 542579
23.94/20.78	o 545318
23.94/20.78	o 545660
23.94/20.78	o 548399
23.94/20.78	o 548790
23.94/20.78	o 551529
23.94/20.78	o 551960
23.94/20.78	o 552009
23.94/20.78	o 555090
23.94/20.78	o 557829
23.94/20.78	o 559980
23.94/20.78	o 560923
23.94/20.78	o 563662
23.94/20.79	o 564004
23.94/20.79	o 566743
23.94/20.79	o 566882
23.94/20.79	o 568851
23.94/20.79	o 569403
23.94/20.79	o 572533
23.94/20.79	o 575614
23.94/20.79	o 578353
23.94/20.79	o 580583
23.94/20.79	o 583322
23.94/20.79	o 583769
23.94/20.79	o 586850
23.94/20.79	o 588738
23.94/20.79	o 591819
23.94/20.79	o 594558
23.94/20.80	o 595905
23.94/20.80	o 597236
24.16/20.80	o 598523
24.16/20.80	o 602205
24.16/20.80	o 604944
24.94/21.37	o 605292
24.94/21.37	o 605492
24.94/21.37	o 605798
24.94/21.37	o 606616
24.94/21.37	o 606817
24.94/21.37	o 607966
24.94/21.37	o 608202
24.94/21.37	o 608403
24.94/21.37	o 609552
24.94/21.37	o 609852
24.94/21.38	o 610183
24.94/21.38	o 611001
24.94/21.38	o 611202
24.94/21.38	o 612351
24.94/21.38	o 612587
24.94/21.38	o 612788
24.94/21.38	o 613937
24.94/21.38	o 614151
24.94/21.38	o 615692
24.94/21.38	o 615842
24.94/21.38	o 617574
24.94/21.38	o 618091
24.94/21.39	o 619823
24.94/21.39	o 620641
24.94/21.39	o 621965
24.94/21.39	o 622783
24.94/21.39	o 623697
24.94/21.39	o 624515
24.94/21.39	o 624846
24.94/21.39	o 625664
24.94/21.39	o 627207
24.94/21.39	o 628356
24.94/21.39	o 629174
24.94/21.40	o 629834
24.94/21.40	o 630165
25.09/21.40	o 630983
25.09/21.40	o 631184
25.09/21.40	o 632333
25.09/21.40	o 633046
25.09/21.40	o 633247
25.09/21.40	o 634396
25.09/21.40	o 634632
25.09/21.40	o 634833
25.09/21.40	o 635982
25.09/21.41	o 636629
25.09/21.41	o 636830
25.09/21.41	o 637979
25.09/21.41	o 638692
25.09/21.41	o 638893
25.09/21.41	o 640042
25.09/21.43	o 640535
25.09/21.43	o 640886
25.09/21.43	o 641877
25.09/21.43	o 642695
25.09/21.43	o 642896
25.09/21.43	o 644045
25.09/21.43	o 644758
25.09/21.43	o 644959
25.09/21.43	o 646108
25.09/21.44	o 646344
25.09/21.44	o 646545
25.09/21.44	o 647694
25.09/21.44	o 647955
25.09/21.44	o 648730
25.09/21.44	o 649061
25.09/21.44	o 649879
25.09/21.44	o 650647
25.09/21.44	o 651465
25.09/21.44	o 652015
25.09/21.44	o 653121
25.09/21.44	o 653939
25.09/21.44	o 654707
25.09/21.45	o 655525
25.09/21.45	o 656002
25.09/21.45	o 656770
25.09/21.45	o 657588
25.09/21.45	o 657789
25.09/21.45	o 658938
25.09/21.45	o 659142
25.09/21.46	o 659725
25.09/21.46	o 660056
25.09/21.46	o 660874
25.09/21.46	o 661642
25.09/21.46	o 662460
25.09/21.46	o 662937
25.09/21.46	o 663705
25.09/21.46	o 664523
25.09/21.46	o 664724
25.09/21.46	o 665873
25.09/21.47	o 665970
25.09/21.47	o 666171
25.09/21.47	o 667320
25.09/21.47	o 667797
25.09/21.47	o 668033
25.09/21.47	o 668234
25.09/21.47	o 669383
25.09/21.47	o 669689
25.09/21.47	o 670507
25.09/21.48	o 671275
25.09/21.48	o 672093
25.09/21.48	o 672294
25.09/21.48	o 673443
25.09/21.48	o 673481
25.09/21.48	o 673577
25.09/21.49	o 674395
25.09/21.49	o 674726
25.09/21.49	o 675544
25.09/21.49	o 675745
25.09/21.49	o 676894
25.09/21.49	o 677130
25.09/21.49	o 677331
25.09/21.50	o 678480
25.20/21.50	o 678642
25.20/21.51	o 679460
25.20/21.51	o 679937
25.20/21.51	o 680705
25.20/21.51	o 681523
25.20/21.52	o 681724
25.20/21.52	o 682873
25.35/21.68	o 683371
25.35/21.68	o 684983
25.35/21.68	o 685351
25.35/21.68	o 688064
25.35/21.68	o 688432
25.35/21.68	o 689652
25.35/21.68	o 691319
25.35/21.68	o 694400
25.35/21.68	o 696078
25.35/21.69	o 697081
25.35/21.69	o 698759
25.35/21.69	o 698806
25.35/21.69	o 699968
25.35/21.69	o 703049
25.35/21.69	o 704727
25.35/21.69	o 705545
25.35/21.69	o 706151
25.35/21.69	o 707646
25.35/21.69	o 708464
25.35/21.69	o 709234
25.35/21.69	o 710901
25.35/21.69	o 712304
25.35/21.69	o 713982
25.35/21.69	o 714800
25.35/21.70	o 714823
25.35/21.70	o 715641
25.35/21.70	o 717663
25.51/21.70	o 720744
25.51/21.70	o 721562
25.51/21.70	o 722422
25.51/21.70	o 723240
25.51/21.70	o 724613
25.51/21.70	o 727694
25.51/21.70	o 729372
25.51/21.70	o 730669
25.51/21.70	o 733739
25.51/21.70	o 735417
25.51/21.70	o 736820
25.51/21.71	o 738498
25.51/21.71	o 740075
25.51/21.71	o 743156
25.51/21.71	o 744834
25.51/21.71	o 745652
25.51/21.71	o 747154
25.51/21.71	o 747972
25.51/21.71	o 749135
25.51/21.71	o 750813
25.51/21.71	o 751455
25.51/21.71	o 753133
25.51/21.71	o 753951
25.51/21.71	o 754094
25.51/21.71	o 754912
25.51/21.71	o 754979
25.51/21.72	o 757299
25.51/21.72	o 757819
25.51/21.72	o 760900
25.51/21.72	o 763220
25.51/21.72	o 764038
25.51/21.72	o 764155
25.51/21.72	o 766475
25.51/21.72	o 767293
25.51/21.72	o 768054
25.51/21.72	o 769556
25.51/21.72	o 770374
25.51/21.72	o 772454
25.51/21.72	o 773215
25.51/21.72	o 775535
25.51/21.72	o 776353
25.51/21.73	o 777443
25.51/21.73	o 778261
25.51/21.73	o 778378
25.51/21.73	o 781459
25.51/21.73	o 783779
25.51/21.73	o 784597
25.51/21.73	o 784646
25.51/21.73	o 786909
25.51/21.73	o 787727
25.51/21.73	o 788027
25.51/21.73	o 788076
25.51/21.73	o 788837
25.51/21.73	o 791157
25.51/21.73	o 791975
25.51/21.74	o 793336
25.51/21.74	o 794154
25.51/21.74	o 795656
25.51/21.74	o 796474
25.51/21.74	o 798176
25.51/21.74	o 798994
25.51/21.74	o 799627
25.51/21.74	o 801947
25.51/21.74	o 802765
25.51/21.74	o 803110
25.51/21.74	o 804612
25.51/21.74	o 805430
25.51/21.74	o 805857
25.51/21.74	o 808177
25.51/21.75	o 808648
25.51/21.75	o 808697
25.51/21.75	o 811778
25.51/21.75	o 814098
25.51/21.75	o 814916
25.51/21.75	o 815246
25.51/21.75	o 816748
25.51/21.75	o 817566
25.51/21.75	o 819829
25.51/21.75	o 820647
25.51/21.75	o 821198
25.51/21.75	o 821247
25.51/21.75	o 822008
25.51/21.75	o 824328
25.51/21.75	o 825146
25.51/21.76	o 825513
25.51/21.76	o 827015
25.51/21.76	o 827833
25.51/21.76	o 829591
25.51/21.76	o 829640
25.51/21.76	o 830401
25.51/21.76	o 832721
25.51/21.76	o 833539
25.51/21.76	o 833754
25.51/21.76	o 835023
25.51/21.76	o 835841
25.51/21.76	o 838624
25.51/21.77	o 839442
25.51/21.77	o 840944
25.51/21.77	o 841762
25.51/21.77	o 843505
25.51/21.77	o 844323
25.51/21.77	o 844843
25.51/21.77	o 845661
25.51/21.77	o 848444
25.51/21.77	o 850764
25.51/21.77	o 851582
25.51/21.78	o 852334
25.51/21.78	o 852646
25.51/21.78	o 853464
25.51/21.78	o 854966
25.51/21.78	o 855784
25.51/21.78	o 857222
25.51/21.78	o 858040
25.51/21.78	o 858352
25.51/21.78	o 860672
25.51/21.78	o 861490
25.51/21.78	o 861705
25.51/21.78	o 862405
25.51/21.78	o 862620
25.51/21.78	o 863047
25.51/21.78	o 863865
25.51/21.79	o 865367
25.51/21.79	o 866185
25.51/21.79	o 866325
25.51/21.79	o 867992
25.51/21.79	o 868753
25.51/21.79	o 871073
25.51/21.79	o 871891
25.51/21.79	o 872106
25.51/21.79	o 872309
25.51/21.79	o 873127
25.51/21.79	o 873342
25.51/21.79	o 873970
25.51/21.80	o 874492
25.51/21.80	o 874541
25.61/21.80	o 875302
25.61/21.80	o 877622
25.61/21.80	o 878858
25.61/21.80	o 879676
25.61/21.80	o 879891
25.61/21.80	o 880236
25.61/21.80	o 881783
25.61/21.80	o 883019
25.61/21.80	o 883837
25.61/21.80	o 884103
25.61/21.80	o 884921
25.61/21.81	o 885339
25.61/21.81	o 886157
25.61/21.81	o 886802
25.61/21.81	o 888038
25.61/21.81	o 889122
25.61/21.81	o 890358
25.61/21.81	o 891176
25.61/21.81	o 891391
25.61/21.81	o 892152
25.61/21.81	o 892970
25.61/21.81	o 893388
25.61/21.82	o 894206
25.61/21.82	o 894848
25.61/21.82	o 895932
25.61/21.82	o 897168
25.61/21.82	o 897986
25.61/21.82	o 898557
25.61/21.82	o 899318
25.61/21.82	o 901638
25.61/21.82	o 902456
25.61/21.82	o 902874
25.61/21.82	o 903692
25.61/21.82	o 903907
25.61/21.83	o 905510
25.61/21.83	o 906746
25.61/21.84	o 907224
25.61/21.84	o 907642
25.61/21.84	o 908460
25.61/21.84	o 910063
25.61/21.84	o 911299
25.61/21.85	o 912346
25.61/21.85	o 913072
25.61/21.85	o 913168
25.61/21.85	o 913217
25.61/21.85	o 915062
25.61/21.85	o 916298
25.61/21.85	o 917116
25.61/21.85	o 917757
25.61/21.85	o 918175
25.61/21.85	o 918993
25.61/21.86	o 919955
25.61/21.86	o 920596
25.61/21.86	o 921832
25.61/21.87	o 922060
25.61/21.87	o 923296
25.61/21.88	o 923566
25.61/21.88	o 924212
25.61/21.88	o 925030
25.61/21.89	o 925448
25.61/21.89	o 926266
25.61/21.89	o 927325
25.61/21.89	o 928143
25.61/21.89	o 929105
25.61/21.89	o 929746
25.61/21.89	o 930982
25.61/21.89	o 931197
25.72/21.90	o 931323
25.72/21.90	o 932559
25.72/21.93	o 933187
25.72/21.93	o 934423
25.72/21.94	o 934638
26.79/22.66	o 935571
26.79/22.66	o 937484
26.79/22.66	o 938310
26.79/22.66	o 940223
26.79/22.66	o 941440
26.79/22.66	o 943353
26.79/22.66	o 943876
26.79/22.66	o 944267
26.79/22.66	o 947006
26.79/22.66	o 948919
26.79/22.66	o 950535
26.79/22.66	o 952448
26.79/22.66	o 952971
26.79/22.66	o 956101
26.79/22.66	o 958014
26.79/22.67	o 958840
26.79/22.67	o 960753
26.79/22.67	o 963302
26.79/22.67	o 965215
26.79/22.67	o 966151
26.79/22.67	o 966828
27.00/22.75	o 967646
27.00/22.75	o 967965
27.00/22.75	o 968302
27.00/22.75	o 969523
27.00/22.75	o 969842
30.35/25.47	o 970659
30.35/25.47	o 972718
30.35/25.47	o 974690
30.35/25.47	o 976196
30.35/25.47	o 978168
30.35/25.47	o 979473
30.35/25.47	o 982951
30.35/25.47	o 984923
30.35/25.47	o 987520
30.35/25.47	o 989492
30.35/25.47	o 990998
30.35/25.48	o 992970
30.35/25.48	o 994991
30.35/25.48	o 996963
30.35/25.48	o 997061
30.35/25.48	o 1000539
30.35/25.48	o 1002511
30.35/25.48	o 1004259
30.35/25.48	o 1005765
30.35/25.48	o 1007737
30.35/25.49	o 1009269
30.35/25.49	o 1010275
30.35/25.49	o 1011874
30.35/25.49	o 1013484
30.35/25.49	o 1014434
30.35/25.49	o 1015989
30.35/25.49	o 1019982
30.35/25.49	o 1021954
30.35/25.49	o 1023187
30.35/25.50	o 1025208
30.35/25.50	o 1027180
30.49/25.50	o 1027515
30.49/25.50	o 1029487
30.49/25.50	o 1030116
30.49/25.51	o 1031840
30.49/25.51	o 1032175
30.49/25.51	o 1034147
30.49/25.51	o 1039349
30.49/25.51	o 1041321
30.49/25.51	o 1043163
30.49/25.51	o 1045135
30.49/25.52	o 1046157
30.49/25.52	o 1046962
30.49/25.52	o 1049052
30.49/25.52	o 1051359
30.49/25.52	o 1053331
30.49/25.52	o 1055244
30.49/25.53	o 1055564
30.49/25.53	o 1056617
30.49/25.53	o 1057011
30.49/25.53	o 1058924
30.49/25.53	o 1060825
30.49/25.53	o 1062738
30.49/25.53	o 1062814
30.49/25.54	o 1066068
30.49/25.54	o 1068040
30.49/25.54	o 1069953
30.49/25.54	o 1071795
30.49/25.54	o 1071854
30.49/25.54	o 1073767
30.49/25.54	o 1073775
30.49/25.55	o 1074722
30.49/25.55	o 1076694
30.49/25.55	o 1077029
30.49/25.55	o 1079001
30.49/25.55	o 1080914
30.49/25.55	o 1082756
30.49/25.55	o 1082815
30.49/25.55	o 1084728
30.49/25.56	o 1086676
30.49/25.56	o 1088648
30.49/25.56	o 1090561
30.49/25.56	o 1092403
30.49/25.56	o 1092462
30.49/25.56	o 1094375
31.39/26.20	o 1097388
31.39/26.21	o 1097748
31.39/26.21	o 1103886
31.39/26.21	o 1108650
31.39/26.21	o 1113084
31.39/26.21	o 1116129
31.39/26.21	o 1120893
31.39/26.21	o 1125327
31.39/26.21	o 1126701
31.39/26.21	o 1127031
31.39/26.21	o 1131465
31.39/26.21	o 1134039
31.92/26.79	o 1135896
31.92/26.79	o 1137707
31.92/26.79	o 1138967
31.92/26.80	o 1139276
32.07/26.80	o 1140750
32.07/26.80	o 1142010
32.07/26.80	o 1142987
32.07/26.81	o 1144078
32.07/26.81	o 1144929
32.07/26.81	o 1145040
32.07/26.81	o 1149363
32.07/26.81	o 1149646
32.07/26.81	o 1150623
32.07/26.81	o 1150932
32.07/26.82	o 1151457
32.07/26.82	o 1151766
32.07/26.82	o 1152434
32.07/26.82	o 1152743
32.07/26.82	o 1153723
32.07/26.83	o 1154983
32.07/26.83	o 1155751
32.07/26.83	o 1155979
32.07/26.83	o 1157052
32.07/26.83	o 1161359
32.07/26.83	o 1162619
32.07/26.83	o 1163170
32.07/26.83	o 1163453
32.07/26.83	o 1164430
32.07/26.84	o 1164739
32.07/26.84	o 1165107
32.07/26.84	o 1165416
32.07/26.84	o 1165843
32.07/26.84	o 1166520
32.07/26.84	o 1166829
35.00/29.67	o 1167072
35.00/29.67	o 1167808
35.00/29.67	o 1168985
35.00/29.67	o 1169721
35.00/29.67	o 1170049
35.00/29.68	o 1170904
35.00/29.68	o 1175668
35.00/29.68	o 1176404
35.00/29.68	o 1177581
35.00/29.68	o 1178317
35.00/29.68	o 1178645
35.00/29.68	o 1178962
35.00/29.68	o 1179637
35.00/29.68	o 1184401
35.00/29.69	o 1186314
35.00/29.69	o 1187050
35.00/29.69	o 1187378
35.00/29.69	o 1191633
35.00/29.69	o 1193546
35.00/29.69	o 1194282
35.00/29.69	o 1196397
35.00/29.69	o 1197133
35.00/29.69	o 1198310
35.00/29.69	o 1199046
35.00/29.69	o 1199374
35.12/29.70	o 1200131
35.12/29.70	o 1202044
35.12/29.76	o 1202387
35.12/29.76	o 1202391
35.12/29.76	o 1202600
35.12/29.76	o 1203277
35.12/29.76	o 1203281
35.12/29.77	o 1204067
35.12/29.77	o 1204071
35.12/29.77	o 1204649
35.12/29.77	o 1205539
35.12/29.77	o 1207730
35.12/29.77	o 1208620
35.12/29.77	o 1208624
35.12/29.77	o 1209083
35.12/29.77	o 1212164
35.12/29.77	o 1212168
35.12/29.77	o 1213054
35.12/29.78	o 1213058
35.12/29.78	o 1213731
35.12/29.78	o 1213735
35.12/29.79	o 1213916
35.12/29.79	o 1214593
35.12/29.79	o 1214784
35.12/29.79	o 1215972
35.12/29.79	o 1216708
35.12/29.79	o 1216862
35.12/29.79	o 1217598
35.12/29.79	o 1218275
35.12/29.80	o 1218279
35.27/29.80	o 1218371
35.27/29.80	o 1219048
35.27/29.80	o 1219261
35.27/29.80	o 1219938
35.27/29.80	o 1219942
35.27/29.81	o 1220554
35.27/29.81	o 1220558
35.27/29.82	o 1220562
35.27/29.82	o 1220775
35.27/29.82	o 1221452
35.27/29.82	o 1221511
35.27/29.82	o 1222188
35.27/29.82	o 1222804
35.27/29.82	o 1223435
35.27/29.82	o 1224051
35.27/29.82	o 1224112
35.27/29.82	o 1224728
35.27/29.82	o 1224732
35.27/29.83	o 1225098
35.27/29.83	o 1225102
35.27/29.83	o 1225775
35.27/29.83	o 1225779
35.27/29.83	o 1226391
35.27/29.83	o 1226395
35.27/29.84	o 1226746
35.27/29.84	o 1226750
35.27/29.84	o 1226903
35.27/29.85	o 1227116
35.27/29.85	o 1227793
35.27/29.85	o 1228409
35.27/29.85	o 1228413
35.27/29.86	o 1228513
35.27/29.86	o 1229249
35.27/29.86	o 1229865
35.27/29.86	o 1229869
35.27/29.87	o 1230907
35.27/29.87	o 1231523
35.27/29.87	o 1232925
35.27/29.87	o 1233541
35.27/29.87	o 1233545
35.27/29.88	o 1234849
35.27/29.88	o 1234853
35.27/29.88	o 1235465
35.27/29.88	o 1235469
35.27/29.88	o 1235585
35.27/29.88	o 1236201
35.27/29.88	o 1236205
35.27/29.88	o 1236262
35.27/29.88	o 1236266
35.27/29.88	o 1236878
35.27/29.88	o 1236882
35.27/29.89	o 1237248
35.27/29.89	o 1237864
35.27/29.89	o 1237925
35.27/29.89	o 1238541
35.27/29.89	o 1238545
35.39/29.90	o 1238610
35.39/29.90	o 1239287
35.39/29.90	o 1239291
35.39/29.91	o 1239903
35.39/29.91	o 1239907
35.39/29.93	o 1239974
35.39/29.93	o 1239978
35.39/29.93	o 1240590
35.39/29.93	o 1240594
40.97/35.28	o 1241236
40.97/35.28	o 1249885
40.97/35.29	o 1250740
40.97/35.29	o 1259389
40.97/35.29	o 1260802
40.97/35.29	o 1263830
40.97/35.29	o 1265243
40.97/35.29	o 1266089
40.97/35.30	o 1274738
41.07/35.30	o 1279179
41.07/35.30	o 1280592
41.07/35.30	o 1281427
41.07/35.30	o 1285868
41.07/35.30	o 1287281
41.99/36.22	o 1287502
41.99/36.22	o 1287821
41.99/36.22	o 1290097
41.99/36.22	o 1294090
41.99/36.22	o 1296098
41.99/36.22	o 1296417
41.99/36.22	o 1298524
41.99/36.22	o 1300532
41.99/36.22	o 1300851
41.99/36.23	o 1302152
41.99/36.23	o 1302593
41.99/36.23	o 1306586
41.99/36.23	o 1308594
42.78/37.00	o 1309588
42.78/37.00	o 1313208
42.78/37.00	o 1314751
42.78/37.00	o 1315611
42.78/37.01	o 1317418
42.89/37.01	o 1319231
42.89/37.01	o 1321038
42.89/37.01	o 1322581
42.89/37.01	o 1322890
42.89/37.01	o 1326195
42.89/37.01	o 1327738
42.89/37.01	o 1328047
42.89/37.01	o 1328311
42.89/37.01	o 1329545
42.89/37.01	o 1329854
44.10/38.22	o 1329890
44.10/38.22	o 1331303
44.10/38.25	o 1331622
44.10/38.29	o 1333018
44.10/38.29	o 1333416
44.10/38.29	o 1334829
44.20/38.30	o 1335148
44.20/38.35	o 1336434
44.20/38.36	o 1336858
44.20/38.36	o 1338866
44.20/38.36	o 1340279
44.20/38.36	o 1340677
44.20/38.36	o 1342090
44.20/38.38	o 1342409
44.30/38.42	o 1343251
44.30/38.42	o 1343649
44.30/38.42	o 1345062
44.30/38.43	o 1345381
44.61/38.70	o 1345839
44.61/38.72	o 1346237
44.61/38.72	o 1347650
44.61/38.75	o 1348074
44.61/38.75	o 1350082
44.61/38.78	o 1351495
44.61/38.79	o 1351893
44.61/38.79	o 1353306
44.71/38.81	o 1353625
45.11/39.27	o 1353674
45.92/40.01	o 1354203
45.92/40.01	o 1354252
45.92/40.02	o 1354522
45.92/40.02	o 1354571
45.92/40.10	o 1356317
45.92/40.10	o 1358194
45.92/40.10	o 1358325
45.92/40.10	o 1360202
46.03/40.14	o 1360497
46.03/40.14	o 1362511
46.03/40.14	o 1364529
46.03/40.14	o 1364931
46.03/40.16	o 1365014
46.03/40.16	o 1368144
46.03/40.16	o 1368546
46.03/40.17	o 1370564
46.03/40.17	o 1372072
46.03/40.17	o 1374090
46.03/40.19	o 1376877
46.03/40.19	o 1377279
46.03/40.19	o 1380403
46.03/40.19	o 1380805
46.03/40.19	o 1382421
46.03/40.19	o 1382823
46.12/40.20	o 1383840
46.12/40.20	o 1384748
46.12/40.20	o 1385144
46.12/40.20	o 1388274
46.12/40.20	o 1390292
46.12/40.20	o 1390694
46.12/40.24	o 1391354
46.12/40.24	o 1392031
46.12/40.24	o 1393816
46.12/40.24	o 1395788
46.12/40.24	o 1396465
46.23/40.30	o 1397265
46.23/40.30	o 1397952
46.23/40.30	o 1399273
46.23/40.30	o 1399960
46.23/40.31	o 1401088
46.23/40.32	o 1401441
46.23/40.32	o 1403403
46.23/40.32	o 1405411
46.23/40.32	o 1406098
46.46/40.58	o 1408312
46.46/40.58	o 1409572
46.46/40.58	o 1411393
46.46/40.58	o 1412653
46.46/40.58	o 1414022
46.46/40.58	o 1415334
46.46/40.58	o 1418415
46.46/40.58	o 1419675
46.46/40.58	o 1422970
46.46/40.58	o 1424230
46.46/40.58	o 1426051
46.46/40.58	o 1427311
46.46/40.58	o 1427515
46.46/40.58	o 1428775
46.46/40.59	o 1430357
46.46/40.59	o 1433438
46.46/40.59	o 1434902
46.46/40.59	o 1436162
46.57/40.62	o 1437663
46.57/40.62	o 1437667
46.57/40.62	o 1437858
46.57/40.62	o 1437977
46.57/40.62	o 1439672
46.57/40.62	o 1442411
46.57/40.62	o 1442415
46.57/40.62	o 1446117
46.57/40.63	o 1446121
46.57/40.63	o 1448856
46.57/40.63	o 1448860
46.57/40.63	o 1450882
46.57/40.63	o 1451307
46.57/40.63	o 1452101
46.57/40.63	o 1452579
46.57/40.63	o 1452774
46.57/40.63	o 1452893
46.57/40.63	o 1454588
46.57/40.63	o 1457327
46.57/40.64	o 1457331
46.57/40.64	o 1458911
46.57/40.65	o 1458915
46.57/40.65	o 1461650
46.57/40.65	o 1461654
46.57/40.68	o 1462200
46.57/40.69	o 1462204
46.73/40.70	o 1462871
46.73/40.70	o 1462875
46.73/40.71	o 1463421
46.73/40.71	o 1463425
46.73/40.72	o 1463931
46.73/40.72	o 1465113
46.73/40.72	o 1465663
46.73/40.72	o 1466435
46.73/40.73	o 1467564
46.73/40.73	o 1467810
46.73/40.73	o 1469031
46.73/40.73	o 1469624
46.73/40.73	o 1472363
46.73/40.73	o 1473584
46.73/40.73	o 1474134
46.73/40.74	o 1474138
48.86/42.82	o 1475446
48.86/42.82	o 1475996
48.86/42.85	o 1478900
48.86/42.85	o 1480861
48.86/42.85	o 1484387
48.86/42.85	o 1485734
48.86/42.85	o 1490168
48.86/42.85	o 1493694
48.86/42.88	o 1493733
48.86/42.88	o 1496526
48.86/42.88	o 1498167
48.86/42.88	o 1500960
48.96/42.96	o 1502659
48.96/42.96	o 1503976
51.09/45.04	o 1504005
51.09/45.04	o 1504272
51.09/45.04	o 1506807
51.09/45.04	o 1511027
51.09/45.07	o 1511945
51.09/45.07	o 1512561
51.09/45.07	o 1513963
51.09/45.07	o 1514579
51.23/45.13	o 1515815
51.33/45.21	o 1516202
51.33/45.21	o 1519728
51.33/45.21	o 1521141
51.56/45.42	o 1521974
51.56/45.44	o 1522015
51.56/45.44	o 1523676
51.56/45.44	o 1524912
51.56/45.45	o 1525102
51.56/45.45	o 1527999
51.56/45.45	o 1529235
51.66/45.59	o 1531689
51.66/45.59	o 1534586
51.92/45.70	o 1534971
51.92/45.71	o 1536703
51.92/45.72	o 1538193
51.92/45.73	o 1539925
51.92/45.78	o 1540298
51.92/45.78	o 1540664
51.92/45.79	o 1541836
52.02/45.80	o 1542401
52.02/45.80	o 1543093
52.02/45.80	o 1544314
52.02/45.80	o 1544557
52.02/45.80	o 1545778
52.02/45.81	o 1546645
52.02/45.81	o 1548109
52.02/45.81	o 1549330
54.13/47.94	o 1549582
54.13/47.94	o 1551440
54.13/47.94	o 1552661
54.13/47.94	o 1552680
54.13/47.94	o 1553317
54.13/47.94	o 1554538
54.13/47.94	o 1555433
54.13/47.95	o 1555452
54.13/47.95	o 1557310
54.13/47.95	o 1558531
54.13/47.97	o 1558563
55.45/49.26	o 1558888
55.45/49.26	o 1558972
55.45/49.26	o 1559605
55.45/49.26	o 1561069
55.45/49.26	o 1561746
55.45/49.26	o 1562431
55.45/49.26	o 1563108
55.65/49.46	o 1564103
55.65/49.46	o 1565567
55.65/49.46	o 1566929
55.65/49.47	o 1567606
55.85/49.63	o 1568224
55.85/49.63	o 1568397
55.85/49.63	o 1568481
55.85/49.63	o 1569791
55.85/49.63	o 1571153
55.85/49.64	o 1571255
55.85/49.64	o 1572617
55.85/49.64	o 1573294
55.95/49.78	o 1576367
55.95/49.78	o 1577044
55.95/49.78	o 1577771
55.95/49.78	o 1581693
55.95/49.78	o 1582370
55.95/49.79	o 1582535
55.95/49.79	o 1583212
55.95/49.79	o 1586457
55.95/49.79	o 1587134
56.05/49.84	o 1587282
56.28/50.04	o 1587558
56.28/50.04	o 1588114
56.28/50.04	o 1588225
56.28/50.04	o 1589544
56.28/50.04	o 1592218
56.28/50.04	o 1593537
56.28/50.05	o 1594196
56.28/50.05	o 1594222
56.28/50.06	o 1595604
56.28/50.07	o 1597109
56.28/50.07	o 1597590
56.28/50.07	o 1597661
56.28/50.07	o 1598790
56.28/50.07	o 1601583
56.28/50.07	o 1601941
56.28/50.09	o 1603919
56.28/50.09	o 1603945
56.28/50.10	o 1605327
56.28/50.11	o 1605883
56.38/50.11	o 1607313
56.38/50.11	o 1607384
56.38/50.11	o 1611306
56.38/50.12	o 1614099
56.47/50.24	o 1614683
56.47/50.24	o 1615195
56.47/50.24	o 1620761
56.47/50.24	o 1621438
56.57/50.32	o 1621761
56.57/50.32	o 1622359
56.57/50.32	o 1623619
56.57/50.32	o 1624169
56.57/50.39	o 1624488
56.91/50.68	o 1625370
57.07/50.72	o 1627171
57.17/50.80	o 1627339
57.17/50.80	o 1629140
57.17/50.88	o 1629886
60.86/54.41	o 1630129
60.86/54.41	o 1631249
60.86/54.41	o 1632129
60.86/54.41	o 1634042
60.86/54.41	o 1635900
60.86/54.45	o 1637313
61.50/55.07	o 1637670
61.50/55.07	o 1638416
61.50/55.07	o 1638906
61.50/55.07	o 1639652
61.50/55.07	o 1640109
61.50/55.07	o 1641345
61.50/55.07	o 1642091
61.90/55.46	o 1642216
61.90/55.46	o 1645514
61.90/55.47	o 1646201
62.00/55.50	o 1646609
62.00/55.51	o 1649907
62.00/55.51	o 1650594
62.00/55.56	o 1651138
62.00/55.56	o 1652602
62.10/55.61	o 1653846
62.10/55.61	o 1654523
62.10/55.61	o 1656285
62.10/55.61	o 1656962
62.10/55.61	o 1657698
62.10/55.61	o 1658375
62.32/55.86	o 1658925
64.22/57.78	o 1659655
64.63/58.12	o 1661055
64.63/58.12	o 1662417
64.63/58.12	o 1663653
64.73/58.22	o 1664960
64.73/58.22	o 1669075
64.73/58.22	o 1671047
65.03/58.56	o 1671666
65.03/58.56	o 1672926
65.03/58.56	o 1673887
65.03/58.57	o 1677439
65.03/58.57	o 1678699
65.26/58.73	o 1678843
65.26/58.74	o 1679589
65.86/59.34	o 1679919
65.86/59.34	o 1680809
65.86/59.34	o 1681486
65.96/59.47	o 1681555
65.96/59.47	o 1682232
66.17/59.63	o 1684428
66.17/59.63	o 1686400
66.47/59.92	o 1689883
66.47/59.92	o 1691245
66.47/59.92	o 1692755
66.47/59.93	o 1694117
66.47/59.93	o 1696572
66.47/59.93	o 1699444
66.47/59.93	o 1700806
66.87/60.30	o 1702033
66.87/60.30	o 1702604
66.87/60.30	o 1703966
66.87/60.30	o 1705390
66.87/60.30	o 1708142
66.87/60.30	o 1709943
66.87/60.31	o 1711305
66.97/60.42	o 1713093
71.36/64.73	o 1713157
71.36/64.73	o 1713834
72.86/66.29	o 1714421
72.86/66.29	o 1716089
72.86/66.29	o 1717214
78.02/71.36	o 1717846
78.02/71.37	o 1717856
78.02/71.37	o 1719657
79.34/72.62	o 1721445
79.34/72.62	o 1725952
79.34/72.62	o 1729504
79.77/73.06	o 1732271
79.77/73.06	o 1732958
79.77/73.06	o 1735168
79.77/73.06	o 1735855
79.77/73.06	o 1736428
79.77/73.06	o 1737115
81.97/75.24	o 1738610
81.97/75.24	o 1740421
83.60/76.83	o 1740662
83.60/76.83	o 1740764
83.60/76.84	o 1742024
83.60/76.85	o 1742114
83.60/76.85	o 1743476
83.60/76.86	o 1744127
83.60/76.86	o 1746099
83.60/76.86	o 1747461
83.60/76.86	o 1748721
83.60/76.86	o 1749942
87.74/80.94	o 1750552
87.85/81.03	o 1751997
87.85/81.03	o 1752453
87.85/81.03	o 1754461
87.85/81.03	o 1754690
87.85/81.03	o 1757820
87.85/81.03	o 1759828
87.85/81.09	o 1760620
87.95/81.11	o 1761742
87.95/81.11	o 1763750
92.91/86.04	o 1764308
92.91/86.04	o 1765568
92.91/86.04	o 1766425
92.91/86.04	o 1767685
94.35/87.48	o 1770485
94.35/87.49	o 1771721
94.96/88.08	o 1772249
95.15/88.26	o 1772253
99.09/92.14	o 1773132
99.09/92.14	o 1774494
99.09/92.14	o 1774498
99.09/92.14	o 1775101
99.09/92.14	o 1775105
99.09/92.14	o 1776463
99.09/92.14	o 1776467
99.09/92.15	o 1776912
99.09/92.15	o 1778274
99.09/92.15	o 1778278
100.30/93.39	o 1778760
102.58/95.59	o 1778934
103.21/96.14	o 1779568
105.23/98.18	o 1779951
105.23/98.18	o 1781969
105.23/98.18	o 1783780
106.14/99.09	o 1784157
106.14/99.09	o 1784767
106.53/99.45	o 1784862
106.53/99.45	o 1786559
106.53/99.45	o 1787305
106.53/99.45	o 1787992
106.53/99.48	o 1789213
112.04/104.85	o 1789812
112.14/104.99	o 1790192
112.25/105.02	o 1790863
112.25/105.02	o 1791850
112.25/105.02	o 1792835
112.25/105.02	o 1793822
112.25/105.02	o 1794071
112.25/105.02	o 1795058
114.89/107.67	o 1796198
114.89/107.67	o 1796748
114.89/107.68	o 1798536
114.99/107.71	o 1800722
116.10/108.85	o 1801391
116.10/108.86	o 1805611
116.10/108.86	o 1809533
116.10/108.86	o 1812002
116.10/108.86	o 1812300
116.10/108.86	o 1816222
126.62/119.03	o 1816571
129.63/121.97	o 1817636
129.63/121.97	o 1818623
129.63/121.97	o 1820508
129.63/121.97	o 1821495
134.27/126.46	o 1821532
134.27/126.46	o 1822519
134.27/126.46	o 1822882
134.27/126.46	o 1823223
134.27/126.46	o 1828449
134.27/126.46	o 1829685
134.27/126.46	o 1829912
134.27/126.46	o 1831148
134.27/126.46	o 1835138
134.27/126.47	o 1836374
134.27/126.47	o 1837361
139.44/131.45	o 1838285
139.44/131.48	o 1839093
139.44/131.48	o 1840080
141.20/133.18	o 1840623
141.20/133.18	o 1841849
141.20/133.18	o 1842595
141.29/133.28	o 1843857
141.29/133.28	o 1844603
149.07/140.86	o 1844956
149.17/140.92	o 1846318
151.33/143.08	o 1846862
152.14/143.82	o 1847083
152.14/143.82	o 1847829
152.14/143.82	o 1848319
152.14/143.82	o 1849065
152.14/143.82	o 1849444
152.14/143.82	o 1850680
152.14/143.82	o 1851249
152.14/143.82	o 1853221
152.14/143.82	o 1854457
152.14/143.82	o 1855203
161.07/152.52	o 1856469
161.07/152.54	o 1857128
161.07/152.54	o 1858463
161.07/152.54	o 1861217
161.07/152.54	o 1862166
161.07/152.54	o 1865724
170.51/161.40	o 1865998
170.51/161.42	o 1866142
170.51/161.42	o 1866529
170.51/161.42	o 1867052
170.51/161.42	o 1869363
170.51/161.43	o 1870050
170.51/161.43	o 1871168
170.51/161.43	o 1871855
170.81/161.78	o 1873173
170.81/161.78	o 1874753
170.81/161.78	o 1875363
170.81/161.78	o 1875725
170.81/161.78	o 1876128
170.81/161.78	o 1878921
170.81/161.78	o 1879379
170.81/161.78	o 1879930
170.81/161.78	o 1880320
170.81/161.78	o 1880501
170.81/161.79	o 1880921
170.81/161.79	o 1881900
170.81/161.79	o 1882510
170.81/161.79	o 1882872
170.81/161.79	o 1886068
170.81/161.79	o 1888861
171.84/162.72	o 1890069
171.94/162.88	o 1890755
171.94/162.88	o 1891822
171.94/162.88	o 1893627
173.21/164.08	o 1894778
173.21/164.09	o 1896038
174.13/164.92	o 1896454
174.13/164.92	o 1897003
174.13/164.92	o 1897690
184.92/175.48	o 1898534
185.22/175.76	o 1899326
185.22/175.76	o 1900688
185.22/175.76	o 1901095
185.22/175.76	o 1903103
185.22/175.76	o 1904465
209.14/199.03	o 1905358
209.14/199.03	o 1907318
209.14/199.03	o 1908554
210.68/200.50	o 1909136
210.68/200.50	o 1909262
210.68/200.50	o 1910498
211.11/200.94	o 1910523
211.11/200.94	o 1911269
211.11/200.97	o 1911549
211.11/200.97	o 1912839
211.11/200.97	o 1914075
211.11/200.99	o 1914821
214.79/204.54	o 1915765
214.79/204.54	o 1917127
214.79/204.54	o 1917671
214.89/204.63	o 1918328
214.89/204.63	o 1920639
214.89/204.63	o 1922001
215.30/205.02	o 1922231
215.30/205.03	o 1922267
215.30/205.03	o 1924239
232.44/221.77	o 1924392
232.44/221.77	o 1926290
232.44/221.78	o 1928528
235.14/224.30	o 1928544
235.24/224.43	o 1931073
235.24/224.45	o 1931122
235.24/224.45	o 1932309
235.24/224.45	o 1932358
238.93/228.01	o 1932966
239.12/228.21	o 1933338
239.12/228.21	o 1934322
239.12/228.22	o 1934975
239.12/228.22	o 1936235
239.12/228.22	o 1937219
239.12/228.22	o 1937636
239.12/228.22	o 1938620
239.12/228.22	o 1938824
239.12/228.22	o 1940832
239.12/228.22	o 1941816
239.12/228.22	o 1942092
239.12/228.22	o 1943076
240.98/230.09	o 1943388
240.98/230.09	o 1944412
240.98/230.09	o 1945396
241.18/230.22	o 1945459
241.18/230.22	o 1946053
241.18/230.23	o 1947067
241.18/230.23	o 1949860
241.18/230.23	o 1950606
246.85/235.76	o 1952337
246.85/235.79	o 1953597
248.58/237.48	o 1954059
248.58/237.48	o 1954397
248.58/237.48	o 1955284
248.58/237.48	o 1957695
248.58/237.48	o 1958382
248.68/237.50	o 1959812
248.68/237.50	o 1960499
248.68/237.50	o 1961247
248.68/237.50	o 1963364
248.68/237.50	o 1964051
249.58/238.43	o 1964667
252.05/240.80	s SATISFIABLE
252.05/240.81	v <instantiation>
252.05/240.81	v 	<list>
252.05/240.81	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]
252.05/240.81	v 	</list>
252.05/240.81	v 	<values>
252.05/240.81	v 		0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 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 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 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 1 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 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 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 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 
252.05/240.81	v 	</values>
252.05/240.81	v </instantiation>

Verifier Data 

OK	1964667

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310558-1534328961/watcher-4310558-1534328961 -o /tmp/evaluation-result-4310558-1534328961/solver-4310558-1534328961 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534323825-25434 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1044135412 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310558-1534328961.xml 

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

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

solver pid=29242, runsolver pid=29239

[startup+0.100112 s]*
/proc/loadavg: 1.37 1.66 1.75 4/215 29257
/proc/meminfo: memFree=22837104/32770624 swapFree=67108172/67108860
[pid=29242] ppid=29239 vsize=14082736 memory=34264 CPUtime=0.12 cores=1,3,5,7
/proc/29242/stat : 29242 (java) S 29239 29242 21905 0 -1 1077944320 7011 0 0 0 10 2 0 0 20 0 15 0 250459242 14420721664 8566 33554432000 4194304 4196468 140725837956080 140725837938624 139830211288823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
/proc/29242/statm: 3520684 8566 3120 1 0 3482761 0
[pid=29242/tid=29244] ppid=29239 vsize=14082736 memory=-8485517772678401921 CPUtime=0.09 cores=1,3,5,7
/proc/29242/task/29244/stat : 29244 (java) R 29239 29242 21905 0 -1 4202560 5067 0 0 0 8 1 0 0 20 0 15 0 250459243 14420721664 8566 33554432000 4194304 4196468 140725837956080 139830215491952 139830211310749 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29245] ppid=29239 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29245/stat : 29245 (java) S 29239 29242 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459243 14420721664 8566 33554432000 4194304 4196468 140725837956080 139829807528848 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29246] ppid=29239 vsize=14082736 memory=139922368824960 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29246/stat : 29246 (java) S 29239 29242 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459243 14420721664 8566 33554432000 4194304 4196468 140725837956080 139829806476048 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29247] ppid=29239 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29247/stat : 29247 (java) S 29239 29242 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459243 14420721664 8566 33554432000 4194304 4196468 140725837956080 139829805423760 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29248] ppid=29239 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29248/stat : 29248 (java) S 29239 29242 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250459243 14420721664 8566 33554432000 4194304 4196468 140725837956080 139829804370960 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29249] ppid=29239 vsize=14082736 memory=139922368824960 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29249/stat : 29249 (java) S 29239 29242 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250459245 14420721664 8566 33554432000 4194304 4196468 140725837956080 139829685725296 139830211299970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29250] ppid=29239 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29250/stat : 29250 (java) S 29239 29242 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250459245 14420721664 8566 33554432000 4194304 4196468 140725837956080 139829684671264 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29251] ppid=29239 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29251/stat : 29251 (java) S 29239 29242 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250459245 14420721664 8566 33554432000 4194304 4196468 140725837956080 139829683618928 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29252] ppid=29239 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29252/stat : 29252 (java) S 29239 29242 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459248 14420721664 8566 33554432000 4194304 4196468 140725837956080 139829682567248 139830211307419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29253] ppid=29239 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29253/stat : 29253 (java) S 29239 29242 21905 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 250459248 14420721664 8566 33554432000 4194304 4196468 140725837956080 139829681515120 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29254] ppid=29239 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29254/stat : 29254 (java) S 29239 29242 21905 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 15 0 250459248 14420721664 8566 33554432000 4194304 4196468 140725837956080 139829680462320 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29255] ppid=29239 vsize=14082736 memory=139922368824960 CPUtime=0.01 cores=1,3,5,7
/proc/29242/task/29255/stat : 29255 (java) R 29239 29242 21905 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 15 0 250459248 14420721664 8566 33554432000 4194304 4196468 140725837956080 139829679410032 139830189989024 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29256] ppid=29239 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29256/stat : 29256 (java) S 29239 29242 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459248 14420721664 8566 33554432000 4194304 4196468 140725837956080 139829678357472 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29257] ppid=29239 vsize=14082736 memory=139922368824960 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29257/stat : 29257 (java) S 29239 29242 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459248 14420721664 8566 33554432000 4194304 4196468 140725837956080 139829677304240 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 34264 KiB

[startup+0.210414 s]*
/proc/loadavg: 1.37 1.66 1.75 4/215 29257
/proc/meminfo: memFree=22821956/32770624 swapFree=67108172/67108860
[pid=29242] ppid=29239 vsize=14082736 memory=47640 CPUtime=0.32 cores=1,3,5,7
/proc/29242/stat : 29242 (java) S 29239 29242 21905 0 -1 1077944320 10029 0 0 0 29 3 0 0 20 0 15 0 250459242 14420721664 11910 33554432000 4194304 4196468 140725837956080 140725837938624 139830211288823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
/proc/29242/statm: 3520684 11910 3375 1 0 3482761 0
[pid=29242/tid=29244] ppid=29239 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/29242/task/29244/stat : 29244 (java) R 29239 29242 21905 0 -1 4202560 7765 0 0 0 18 1 0 0 20 0 15 0 250459243 14420721664 11910 33554432000 4194304 4196468 140725837956080 139830215518544 139830196971356 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29245] ppid=29239 vsize=14082736 memory=343 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29245/stat : 29245 (java) S 29239 29242 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459243 14420721664 11910 33554432000 4194304 4196468 140725837956080 139829807528848 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29246] ppid=29239 vsize=14082736 memory=139922368848469 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29246/stat : 29246 (java) S 29239 29242 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459243 14420721664 11910 33554432000 4194304 4196468 140725837956080 139829806476048 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29247] ppid=29239 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29247/stat : 29247 (java) S 29239 29242 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459243 14420721664 11910 33554432000 4194304 4196468 140725837956080 139829805423760 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29248] ppid=29239 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29248/stat : 29248 (java) S 29239 29242 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250459243 14420721664 11910 33554432000 4194304 4196468 140725837956080 139829804370960 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29249] ppid=29239 vsize=14082736 memory=139922368824960 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29249/stat : 29249 (java) S 29239 29242 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250459245 14420721664 11910 33554432000 4194304 4196468 140725837956080 139829685725296 139830211299970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29250] ppid=29239 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29250/stat : 29250 (java) S 29239 29242 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250459245 14420721664 11910 33554432000 4194304 4196468 140725837956080 139829684671264 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29251] ppid=29239 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29251/stat : 29251 (java) S 29239 29242 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250459245 14420721664 11910 33554432000 4194304 4196468 140725837956080 139829683618928 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29252] ppid=29239 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29252/stat : 29252 (java) S 29239 29242 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459248 14420721664 11910 33554432000 4194304 4196468 140725837956080 139829682567248 139830211307419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29253] ppid=29239 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29242/task/29253/stat : 29253 (java) R 29239 29242 21905 0 -1 4202560 254 0 0 0 2 0 0 0 20 0 15 0 250459248 14420721664 11910 33554432000 4194304 4196468 140725837956080 139829681515120 139830211302710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29254] ppid=29239 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/29242/task/29254/stat : 29254 (java) R 29239 29242 21905 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 15 0 250459248 14420721664 11910 33554432000 4194304 4196468 140725837956080 139829680462416 139830211299029 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29255] ppid=29239 vsize=14082736 memory=139922368824960 CPUtime=0.06 cores=1,3,5,7
/proc/29242/task/29255/stat : 29255 (java) R 29239 29242 21905 0 -1 4202560 291 0 0 0 6 0 0 0 20 0 15 0 250459248 14420721664 11910 33554432000 4194304 4196468 140725837956080 139829679410160 139830190727636 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29256] ppid=29239 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29256/stat : 29256 (java) S 29239 29242 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459248 14420721664 11910 33554432000 4194304 4196468 140725837956080 139829678357472 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29257] ppid=29239 vsize=14082736 memory=139922368824960 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29257/stat : 29257 (java) S 29239 29242 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459248 14420721664 11910 33554432000 4194304 4196468 140725837956080 139829677304240 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47640 KiB

[startup+0.31062 s]*
/proc/loadavg: 1.37 1.66 1.75 3/215 29257
/proc/meminfo: memFree=22818012/32770624 swapFree=67108172/67108860
[pid=29242] ppid=29239 vsize=14082736 memory=51124 CPUtime=0.44 cores=1,3,5,7
/proc/29242/stat : 29242 (java) S 29239 29242 21905 0 -1 1077944320 10389 0 0 0 41 3 0 0 20 0 15 0 250459242 14420721664 12781 33554432000 4194304 4196468 140725837956080 140725837938624 139830211288823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
/proc/29242/statm: 3520684 12781 3378 1 0 3482761 0
[pid=29242/tid=29244] ppid=29239 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/29242/task/29244/stat : 29244 (java) R 29239 29242 21905 0 -1 4202560 8112 0 0 0 28 2 0 0 20 0 15 0 250459243 14420721664 12781 33554432000 4194304 4196468 140725837956080 139830215509920 139830192852352 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29245] ppid=29239 vsize=14082736 memory=4294977828 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29245/stat : 29245 (java) S 29239 29242 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459243 14420721664 12781 33554432000 4194304 4196468 140725837956080 139829807528848 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29246] ppid=29239 vsize=14082736 memory=139922368848299 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29246/stat : 29246 (java) S 29239 29242 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459243 14420721664 12781 33554432000 4194304 4196468 140725837956080 139829806476048 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29247] ppid=29239 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29247/stat : 29247 (java) S 29239 29242 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459243 14420721664 12781 33554432000 4194304 4196468 140725837956080 139829805423760 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29248] ppid=29239 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29248/stat : 29248 (java) S 29239 29242 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250459243 14420721664 12781 33554432000 4194304 4196468 140725837956080 139829804370960 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29249] ppid=29239 vsize=14082736 memory=139922368824960 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29249/stat : 29249 (java) S 29239 29242 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250459245 14420721664 12781 33554432000 4194304 4196468 140725837956080 139829685725296 139830211299970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29250] ppid=29239 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29250/stat : 29250 (java) S 29239 29242 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250459245 14420721664 12781 33554432000 4194304 4196468 140725837956080 139829684671264 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29251] ppid=29239 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29251/stat : 29251 (java) S 29239 29242 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250459245 14420721664 12781 33554432000 4194304 4196468 140725837956080 139829683618928 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29252] ppid=29239 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29252/stat : 29252 (java) S 29239 29242 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459248 14420721664 12781 33554432000 4194304 4196468 140725837956080 139829682567248 139830211307419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29253] ppid=29239 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29242/task/29253/stat : 29253 (java) S 29239 29242 21905 0 -1 1077944384 255 0 0 0 2 0 0 0 20 0 15 0 250459248 14420721664 12781 33554432000 4194304 4196468 140725837956080 139829681515120 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29254] ppid=29239 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/29242/task/29254/stat : 29254 (java) S 29239 29242 21905 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 15 0 250459248 14420721664 12781 33554432000 4194304 4196468 140725837956080 139829680462320 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29255] ppid=29239 vsize=14082736 memory=139922368824960 CPUtime=0.08 cores=1,3,5,7
/proc/29242/task/29255/stat : 29255 (java) S 29239 29242 21905 0 -1 1077944384 298 0 0 0 8 0 0 0 20 0 15 0 250459248 14420721664 12781 33554432000 4194304 4196468 140725837956080 139829679410032 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29256] ppid=29239 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29256/stat : 29256 (java) S 29239 29242 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459248 14420721664 12781 33554432000 4194304 4196468 140725837956080 139829678357472 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29257] ppid=29239 vsize=14082736 memory=139922368824960 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29257/stat : 29257 (java) S 29239 29242 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459248 14420721664 12781 33554432000 4194304 4196468 140725837956080 139829677304240 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51124 KiB

[startup+0.700738 s]
/proc/loadavg: 1.37 1.66 1.75 3/215 29257
/proc/meminfo: memFree=22796620/32770624 swapFree=67108172/67108860
[pid=29242] ppid=29239 vsize=14084804 memory=88680 CPUtime=1 cores=1,3,5,7
/proc/29242/stat : 29242 (java) S 29239 29242 21905 0 -1 1077944320 17029 0 0 0 95 5 0 0 20 0 15 0 250459242 14422839296 22170 33554432000 4194304 4196468 140725837956080 140725837938624 139830211288823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
/proc/29242/statm: 3521201 22170 3478 1 0 3483273 0
[pid=29242/tid=29244] ppid=29239 vsize=14084804 memory=265545748350368 CPUtime=0.67 cores=1,3,5,7
/proc/29242/task/29244/stat : 29244 (java) R 29239 29242 21905 0 -1 4202560 14421 0 0 0 63 4 0 0 20 0 15 0 250459243 14422839296 22170 33554432000 4194304 4196468 140725837956080 139830215506736 139830195369310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29245] ppid=29239 vsize=14084804 memory=288230376153010010 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29245/stat : 29245 (java) S 29239 29242 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459243 14422839296 22170 33554432000 4194304 4196468 140725837956080 139829807528848 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29246] ppid=29239 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29246/stat : 29246 (java) S 29239 29242 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459243 14422839296 22170 33554432000 4194304 4196468 140725837956080 139829806476048 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29247] ppid=29239 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29247/stat : 29247 (java) S 29239 29242 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459243 14422839296 22170 33554432000 4194304 4196468 140725837956080 139829805423760 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29248] ppid=29239 vsize=14084804 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29248/stat : 29248 (java) S 29239 29242 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250459243 14422839296 22170 33554432000 4194304 4196468 140725837956080 139829804370960 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29249] ppid=29239 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29249/stat : 29249 (java) S 29239 29242 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250459245 14422839296 22170 33554432000 4194304 4196468 140725837956080 139829685725296 139830211299970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29250] ppid=29239 vsize=14084804 memory=-3535359994705172066 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29250/stat : 29250 (java) S 29239 29242 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250459245 14422839296 22170 33554432000 4194304 4196468 140725837956080 139829684671264 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29251] ppid=29239 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29251/stat : 29251 (java) S 29239 29242 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250459245 14422839296 22170 33554432000 4194304 4196468 140725837956080 139829683618928 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29252] ppid=29239 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29252/stat : 29252 (java) S 29239 29242 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459248 14422839296 22170 33554432000 4194304 4196468 140725837956080 139829682567248 139830211307419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29253] ppid=29239 vsize=14084804 memory=6944656592455359580 CPUtime=0.06 cores=1,3,5,7
/proc/29242/task/29253/stat : 29253 (java) S 29239 29242 21905 0 -1 1077944384 374 0 0 0 6 0 0 0 20 0 15 0 250459248 14422839296 22170 33554432000 4194304 4196468 140725837956080 139829681515120 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29254] ppid=29239 vsize=14084804 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/29242/task/29254/stat : 29254 (java) S 29239 29242 21905 0 -1 1077944384 523 0 0 0 8 0 0 0 20 0 15 0 250459248 14422839296 22170 33554432000 4194304 4196468 140725837956080 139829680462320 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29255] ppid=29239 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/29242/task/29255/stat : 29255 (java) S 29239 29242 21905 0 -1 1077944384 331 0 0 0 15 0 0 0 20 0 15 0 250459248 14422839296 22170 33554432000 4194304 4196468 140725837956080 139829679410032 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29256] ppid=29239 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29256/stat : 29256 (java) S 29239 29242 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459248 14422839296 22170 33554432000 4194304 4196468 140725837956080 139829678357472 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29257] ppid=29239 vsize=14084804 memory=12552 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29257/stat : 29257 (java) S 29239 29242 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459248 14422839296 22170 33554432000 4194304 4196468 140725837956080 139829677304240 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88680 KiB

[startup+1.50084 s]
/proc/loadavg: 1.37 1.66 1.75 6/215 29257
/proc/meminfo: memFree=22536164/32770624 swapFree=67108172/67108860
[pid=29242] ppid=29239 vsize=14086852 memory=189752 CPUtime=2.9 cores=1,3,5,7
/proc/29242/stat : 29242 (java) S 29239 29242 21905 0 -1 1077944320 22304 0 0 0 283 7 0 0 20 0 15 0 250459242 14424936448 47438 33554432000 4194304 4196468 140725837956080 140725837938624 139830211288823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
/proc/29242/statm: 3521713 47438 3551 1 0 3483785 0
[pid=29242/tid=29244] ppid=29239 vsize=14086852 memory=10759 CPUtime=1.47 cores=1,3,5,7
/proc/29242/task/29244/stat : 29244 (java) R 29239 29242 21905 0 -1 4202560 16610 0 0 0 142 5 0 0 20 0 15 0 250459243 14424936448 47438 33554432000 4194304 4196468 140725837956080 139830215523416 139829853936191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29245] ppid=29239 vsize=14086852 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29245/stat : 29245 (java) S 29239 29242 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459243 14424936448 47438 33554432000 4194304 4196468 140725837956080 139829807528848 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29246] ppid=29239 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29246/stat : 29246 (java) S 29239 29242 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459243 14424936448 47438 33554432000 4194304 4196468 140725837956080 139829806476048 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29247] ppid=29239 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29247/stat : 29247 (java) S 29239 29242 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250459243 14424936448 47438 33554432000 4194304 4196468 140725837956080 139829805423760 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29248] ppid=29239 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29248/stat : 29248 (java) S 29239 29242 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250459243 14424936448 47438 33554432000 4194304 4196468 140725837956080 139829804370960 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29249] ppid=29239 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29249/stat : 29249 (java) S 29239 29242 21905 0 -1 1077944384 172 0 0 0 0 0 0 0 20 0 15 0 250459245 14424936448 47438 33554432000 4194304 4196468 140725837956080 139829685725296 139830211299970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0

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

/proc/29242/task/29244/stat : 29244 (java) R 29239 29242 21905 0 -1 4202560 30099 0 0 0 10146 31 0 0 20 0 15 0 250459243 14431227904 518556 33554432000 4194304 4196468 140725837956080 139830215524848 139829850383409 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29245] ppid=29239 vsize=14092996 memory=2074240 CPUtime=0.4 cores=1,3,5,7
/proc/29242/task/29245/stat : 29245 (java) S 29239 29242 21905 0 -1 1077944384 1562 0 0 0 29 11 0 0 20 0 15 0 250459243 14431227904 518556 33554432000 4194304 4196468 140725837956080 139829807528848 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29246] ppid=29239 vsize=14092996 memory=2076796 CPUtime=0.4 cores=1,3,5,7
/proc/29242/task/29246/stat : 29246 (java) S 29239 29242 21905 0 -1 1077944384 2177 0 0 0 29 11 0 0 20 0 15 0 250459243 14431227904 518556 33554432000 4194304 4196468 140725837956080 139829806476048 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29247] ppid=29239 vsize=14092996 memory=2074784 CPUtime=0.4 cores=1,3,5,7
/proc/29242/task/29247/stat : 29247 (java) S 29239 29242 21905 0 -1 1077944384 961 0 0 0 28 12 0 0 20 0 15 0 250459243 14431227904 518556 33554432000 4194304 4196468 140725837956080 139829805423760 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29248] ppid=29239 vsize=14092996 memory=68112 CPUtime=0.41 cores=1,3,5,7
/proc/29242/task/29248/stat : 29248 (java) S 29239 29242 21905 0 -1 1077944384 1285 0 0 0 30 11 0 0 20 0 15 0 250459243 14431227904 518556 33554432000 4194304 4196468 140725837956080 139829804370960 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29249] ppid=29239 vsize=14092996 memory=9980 CPUtime=0.05 cores=1,3,5,7
/proc/29242/task/29249/stat : 29249 (java) S 29239 29242 21905 0 -1 1077944384 2065 0 0 0 5 0 0 0 20 0 15 0 250459245 14431227904 518556 33554432000 4194304 4196468 140725837956080 139829685725296 139830211299970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29250] ppid=29239 vsize=14092996 memory=279844500729280 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29250/stat : 29250 (java) S 29239 29242 21905 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 250459245 14431227904 518556 33554432000 4194304 4196468 140725837956080 139829684671328 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29251] ppid=29239 vsize=14092996 memory=279844500263184 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29251/stat : 29251 (java) S 29239 29242 21905 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 250459245 14431227904 518556 33554432000 4194304 4196468 140725837956080 139829683618944 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29252] ppid=29239 vsize=14092996 memory=56 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29252/stat : 29252 (java) S 29239 29242 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459248 14431227904 518556 33554432000 4194304 4196468 140725837956080 139829682567248 139830211307419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29253] ppid=29239 vsize=14092996 memory=6791534058613427641 CPUtime=2.49 cores=1,3,5,7
/proc/29242/task/29253/stat : 29253 (java) S 29239 29242 21905 0 -1 1077944384 6260 0 0 0 248 1 0 0 20 0 15 0 250459248 14431227904 518556 33554432000 4194304 4196468 140725837956080 139829681515120 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29254] ppid=29239 vsize=14092996 memory=2148 CPUtime=2.3 cores=1,3,5,7
/proc/29242/task/29254/stat : 29254 (java) S 29239 29242 21905 0 -1 1077944384 5353 0 0 0 229 1 0 0 20 0 15 0 250459248 14431227904 518556 33554432000 4194304 4196468 140725837956080 139829680462320 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29255] ppid=29239 vsize=14092996 memory=2075024 CPUtime=1.13 cores=1,3,5,7
/proc/29242/task/29255/stat : 29255 (java) S 29239 29242 21905 0 -1 1077944384 9643 0 0 0 112 1 0 0 20 0 15 0 250459248 14431227904 518556 33554432000 4194304 4196468 140725837956080 139829679410032 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29256] ppid=29239 vsize=14092996 memory=2064580 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29256/stat : 29256 (java) S 29239 29242 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459248 14431227904 518556 33554432000 4194304 4196468 140725837956080 139829678357472 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29257] ppid=29239 vsize=14092996 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/29242/task/29257/stat : 29257 (java) S 29239 29242 21905 0 -1 1077944384 776 0 0 0 2 2 0 0 20 0 15 0 250459248 14431227904 518556 33554432000 4194304 4196468 140725837956080 139829677304240 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
Current children cumulated CPU time: 109.5 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2074224 KiB

[startup+162.301 s]
/proc/loadavg: 1.56 1.67 1.75 3/215 29266
/proc/meminfo: memFree=19592448/32770624 swapFree=67108172/67108860
[pid=29242] ppid=29239 vsize=14092996 memory=2126712 CPUtime=171.41 cores=1,3,5,7
/proc/29242/stat : 29242 (java) S 29239 29242 21905 0 -1 1077944320 73020 0 0 0 17029 112 0 0 20 0 15 0 250459242 14431227904 531678 33554432000 4194304 4196468 140725837956080 140725837938624 139830211288823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
/proc/29242/statm: 3523249 531678 3598 1 0 3485321 0
[pid=29242/tid=29244] ppid=29239 vsize=14092996 memory=2091112 CPUtime=161.19 cores=1,3,5,7
/proc/29242/task/29244/stat : 29244 (java) R 29239 29242 21905 0 -1 4202560 32851 0 0 0 16088 31 0 0 20 0 15 0 250459243 14431227904 531678 33554432000 4194304 4196468 140725837956080 139830215517456 139829851445130 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29245] ppid=29239 vsize=14092996 memory=2112188 CPUtime=0.89 cores=1,3,5,7
/proc/29242/task/29245/stat : 29245 (java) S 29239 29242 21905 0 -1 1077944384 1832 0 0 0 72 17 0 0 20 0 15 0 250459243 14431227904 531678 33554432000 4194304 4196468 140725837956080 139829807528848 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29246] ppid=29239 vsize=14092996 memory=2117368 CPUtime=0.9 cores=1,3,5,7
/proc/29242/task/29246/stat : 29246 (java) S 29239 29242 21905 0 -1 1077944384 2960 0 0 0 73 17 0 0 20 0 15 0 250459243 14431227904 531678 33554432000 4194304 4196468 140725837956080 139829806476048 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29247] ppid=29239 vsize=14092996 memory=2124664 CPUtime=0.89 cores=1,3,5,7
/proc/29242/task/29247/stat : 29247 (java) S 29239 29242 21905 0 -1 1077944384 1338 0 0 0 72 17 0 0 20 0 15 0 250459243 14431227904 531678 33554432000 4194304 4196468 140725837956080 139829805423760 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29248] ppid=29239 vsize=14092996 memory=2672 CPUtime=0.89 cores=1,3,5,7
/proc/29242/task/29248/stat : 29248 (java) S 29239 29242 21905 0 -1 1077944384 1773 0 0 0 73 16 0 0 20 0 15 0 250459243 14431227904 531678 33554432000 4194304 4196468 140725837956080 139829804370960 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29249] ppid=29239 vsize=14092996 memory=2112188 CPUtime=0.1 cores=1,3,5,7
/proc/29242/task/29249/stat : 29249 (java) S 29239 29242 21905 0 -1 1077944384 2340 0 0 0 9 1 0 0 20 0 15 0 250459245 14431227904 531678 33554432000 4194304 4196468 140725837956080 139829685725296 139830211299970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29250] ppid=29239 vsize=14092996 memory=2114236 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29250/stat : 29250 (java) S 29239 29242 21905 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 250459245 14431227904 531678 33554432000 4194304 4196468 140725837956080 139829684671328 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29251] ppid=29239 vsize=14092996 memory=3752 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29251/stat : 29251 (java) S 29239 29242 21905 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 250459245 14431227904 531678 33554432000 4194304 4196468 140725837956080 139829683618944 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29252] ppid=29239 vsize=14092996 memory=2126712 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29252/stat : 29252 (java) S 29239 29242 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459248 14431227904 531678 33554432000 4194304 4196468 140725837956080 139829682567248 139830211307419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29253] ppid=29239 vsize=14092996 memory=2123132 CPUtime=2.75 cores=1,3,5,7
/proc/29242/task/29253/stat : 29253 (java) S 29239 29242 21905 0 -1 1077944384 9532 0 0 0 273 2 0 0 20 0 15 0 250459248 14431227904 531678 33554432000 4194304 4196468 140725837956080 139829681515120 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29254] ppid=29239 vsize=14092996 memory=2873732 CPUtime=2.46 cores=1,3,5,7
/proc/29242/task/29254/stat : 29254 (java) S 29239 29242 21905 0 -1 1077944384 7700 0 0 0 245 1 0 0 20 0 15 0 250459248 14431227904 531678 33554432000 4194304 4196468 140725837956080 139829680462320 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29255] ppid=29239 vsize=14092996 memory=2126712 CPUtime=1.14 cores=1,3,5,7
/proc/29242/task/29255/stat : 29255 (java) S 29239 29242 21905 0 -1 1077944384 10314 0 0 0 113 1 0 0 20 0 15 0 250459248 14431227904 531678 33554432000 4194304 4196468 140725837956080 139829679410032 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29256] ppid=29239 vsize=14092996 memory=2126712 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29256/stat : 29256 (java) S 29239 29242 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459248 14431227904 531678 33554432000 4194304 4196468 140725837956080 139829678357472 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29257] ppid=29239 vsize=14092996 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/29242/task/29257/stat : 29257 (java) S 29239 29242 21905 0 -1 1077944384 955 0 0 0 3 5 0 0 20 0 15 0 250459248 14431227904 531678 33554432000 4194304 4196468 140725837956080 139829677304240 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
Current children cumulated CPU time: 171.41 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2126712 KiB

[startup+222.301 s]
/proc/loadavg: 1.48 1.65 1.74 3/215 29344
/proc/meminfo: memFree=21599192/32770624 swapFree=67108172/67108860
[pid=29242] ppid=29239 vsize=14092996 memory=2204948 CPUtime=233.08 cores=1,3,5,7
/proc/29242/stat : 29242 (java) S 29239 29242 21905 0 -1 1077944320 83716 0 0 0 23169 139 0 0 20 0 15 0 250459242 14431227904 551237 33554432000 4194304 4196468 140725837956080 140725837938624 139830211288823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
/proc/29242/statm: 3523249 551237 3598 1 0 3485321 0
[pid=29242/tid=29244] ppid=29239 vsize=14092996 memory=2201880 CPUtime=220.58 cores=1,3,5,7
/proc/29242/task/29244/stat : 29244 (java) R 29239 29242 21905 0 -1 4202560 37113 0 0 0 22026 32 0 0 20 0 15 0 250459243 14431227904 551237 33554432000 4194304 4196468 140725837956080 139830215517456 139829859565709 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29245] ppid=29239 vsize=14092996 memory=2173732 CPUtime=1.42 cores=1,3,5,7
/proc/29242/task/29245/stat : 29245 (java) S 29239 29242 21905 0 -1 1077944384 2350 0 0 0 119 23 0 0 20 0 15 0 250459243 14431227904 551237 33554432000 4194304 4196468 140725837956080 139829807528848 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29246] ppid=29239 vsize=14092996 memory=2189436 CPUtime=1.43 cores=1,3,5,7
/proc/29242/task/29246/stat : 29246 (java) S 29239 29242 21905 0 -1 1077944384 3319 0 0 0 121 22 0 0 20 0 15 0 250459243 14431227904 551237 33554432000 4194304 4196468 140725837956080 139829806476048 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29247] ppid=29239 vsize=14092996 memory=2193008 CPUtime=1.41 cores=1,3,5,7
/proc/29242/task/29247/stat : 29247 (java) S 29239 29242 21905 0 -1 1077944384 2587 0 0 0 118 23 0 0 20 0 15 0 250459243 14431227904 551237 33554432000 4194304 4196468 140725837956080 139829805423760 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29248] ppid=29239 vsize=14092996 memory=2204948 CPUtime=1.43 cores=1,3,5,7
/proc/29242/task/29248/stat : 29248 (java) S 29239 29242 21905 0 -1 1077944384 3137 0 0 0 120 23 0 0 20 0 15 0 250459243 14431227904 551237 33554432000 4194304 4196468 140725837956080 139829804370960 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29249] ppid=29239 vsize=14092996 memory=2164536 CPUtime=0.15 cores=1,3,5,7
/proc/29242/task/29249/stat : 29249 (java) S 29239 29242 21905 0 -1 1077944384 2856 0 0 0 12 3 0 0 20 0 15 0 250459245 14431227904 551237 33554432000 4194304 4196468 140725837956080 139829685725296 139830211299970 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29250] ppid=29239 vsize=14092996 memory=279844500643640 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29250/stat : 29250 (java) S 29239 29242 21905 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 250459245 14431227904 551237 33554432000 4194304 4196468 140725837956080 139829684671328 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29251] ppid=29239 vsize=14092996 memory=2197784 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29251/stat : 29251 (java) S 29239 29242 21905 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 250459245 14431227904 551237 33554432000 4194304 4196468 140725837956080 139829683618944 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29252] ppid=29239 vsize=14092996 memory=2201880 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29252/stat : 29252 (java) S 29239 29242 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459248 14431227904 551237 33554432000 4194304 4196468 140725837956080 139829682567248 139830211307419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29253] ppid=29239 vsize=14092996 memory=2202900 CPUtime=2.8 cores=1,3,5,7
/proc/29242/task/29253/stat : 29253 (java) S 29239 29242 21905 0 -1 1077944384 10691 0 0 0 278 2 0 0 20 0 15 0 250459248 14431227904 551237 33554432000 4194304 4196468 140725837956080 139829681515120 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29254] ppid=29239 vsize=14092996 memory=2198304 CPUtime=2.48 cores=1,3,5,7
/proc/29242/task/29254/stat : 29254 (java) S 29239 29242 21905 0 -1 1077944384 8860 0 0 0 247 1 0 0 20 0 15 0 250459248 14431227904 551237 33554432000 4194304 4196468 140725837956080 139829680462320 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29255] ppid=29239 vsize=14092996 memory=2198304 CPUtime=1.14 cores=1,3,5,7
/proc/29242/task/29255/stat : 29255 (java) S 29239 29242 21905 0 -1 1077944384 10359 0 0 0 113 1 0 0 20 0 15 0 250459248 14431227904 551237 33554432000 4194304 4196468 140725837956080 139829679410032 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29256] ppid=29239 vsize=14092996 memory=279844500907392 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29256/stat : 29256 (java) S 29239 29242 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459248 14431227904 551237 33554432000 4194304 4196468 140725837956080 139829678357472 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29257] ppid=29239 vsize=14092996 memory=4715433313220523562 CPUtime=0.12 cores=1,3,5,7
/proc/29242/task/29257/stat : 29257 (java) S 29239 29242 21905 0 -1 1077944384 1019 0 0 0 5 7 0 0 20 0 15 0 250459248 14431227904 551237 33554432000 4194304 4196468 140725837956080 139829677304240 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
Current children cumulated CPU time: 233.08 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2204948 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+240.801 s]
/proc/loadavg: 1.50 1.64 1.74 3/215 29344
/proc/meminfo: memFree=19980464/32770624 swapFree=67108172/67108860
[pid=29242] ppid=29239 vsize=14092996 memory=2227468 CPUtime=252.05 cores=1,3,5,7
/proc/29242/stat : 29242 (java) S 29239 29242 21905 0 -1 1077944320 85419 0 0 0 25059 146 0 0 20 0 15 0 250459242 14431227904 556867 33554432000 4194304 4196468 140725837956080 140725837938624 139830211288823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
/proc/29242/statm: 3523249 556867 3598 1 0 3485321 0
[pid=29242/tid=29244] ppid=29239 vsize=14092996 memory=3852 CPUtime=238.9 cores=1,3,5,7
/proc/29242/task/29244/stat : 29244 (java) R 29239 29242 21905 0 -1 4202560 38196 0 0 0 23858 32 0 0 20 0 15 0 250459243 14431227904 556867 33554432000 4194304 4196468 140725837956080 139830215526000 139829859009485 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29245] ppid=29239 vsize=14092996 memory=2652 CPUtime=1.57 cores=1,3,5,7
/proc/29242/task/29245/stat : 29245 (java) S 29239 29242 21905 0 -1 1077944384 2421 0 0 0 132 25 0 0 20 0 15 0 250459243 14431227904 556867 33554432000 4194304 4196468 140725837956080 139829807528848 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29246] ppid=29239 vsize=14092996 memory=6791534058613427641 CPUtime=1.59 cores=1,3,5,7
/proc/29242/task/29246/stat : 29246 (java) S 29239 29242 21905 0 -1 1077944384 3403 0 0 0 135 24 0 0 20 0 15 0 250459243 14431227904 556867 33554432000 4194304 4196468 140725837956080 139829806476048 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29247] ppid=29239 vsize=14092996 memory=1020 CPUtime=1.58 cores=1,3,5,7
/proc/29242/task/29247/stat : 29247 (java) S 29239 29242 21905 0 -1 1077944384 2648 0 0 0 133 25 0 0 20 0 15 0 250459243 14431227904 556867 33554432000 4194304 4196468 140725837956080 139829805423760 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29248] ppid=29239 vsize=14092996 memory=5664 CPUtime=1.59 cores=1,3,5,7
/proc/29242/task/29248/stat : 29248 (java) S 29239 29242 21905 0 -1 1077944384 3177 0 0 0 135 24 0 0 20 0 15 0 250459243 14431227904 556867 33554432000 4194304 4196468 140725837956080 139829804370960 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29249] ppid=29239 vsize=14092996 memory=2227468 CPUtime=0.16 cores=1,3,5,7
/proc/29242/task/29249/stat : 29249 (java) S 29239 29242 21905 0 -1 1077944384 2882 0 0 0 13 3 0 0 20 0 15 0 250459245 14431227904 556867 33554432000 4194304 4196468 140725837956080 139829685725296 139830211299970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29250] ppid=29239 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29250/stat : 29250 (java) S 29239 29242 21905 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 250459245 14431227904 556867 33554432000 4194304 4196468 140725837956080 139829684671328 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29251] ppid=29239 vsize=14092996 memory=279844500851408 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29251/stat : 29251 (java) S 29239 29242 21905 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 250459245 14431227904 556867 33554432000 4194304 4196468 140725837956080 139829683618944 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29252] ppid=29239 vsize=14092996 memory=139922250561612 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29252/stat : 29252 (java) S 29239 29242 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459248 14431227904 556867 33554432000 4194304 4196468 140725837956080 139829682567248 139830211307419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29253] ppid=29239 vsize=14092996 memory=2800 CPUtime=2.8 cores=1,3,5,7
/proc/29242/task/29253/stat : 29253 (java) S 29239 29242 21905 0 -1 1077944384 10858 0 0 0 278 2 0 0 20 0 15 0 250459248 14431227904 556867 33554432000 4194304 4196468 140725837956080 139829681515120 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29254] ppid=29239 vsize=14092996 memory=2224912 CPUtime=2.48 cores=1,3,5,7
/proc/29242/task/29254/stat : 29254 (java) S 29239 29242 21905 0 -1 1077944384 9031 0 0 0 247 1 0 0 20 0 15 0 250459248 14431227904 556867 33554432000 4194304 4196468 140725837956080 139829680462320 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29255] ppid=29239 vsize=14092996 memory=1408 CPUtime=1.14 cores=1,3,5,7
/proc/29242/task/29255/stat : 29255 (java) S 29239 29242 21905 0 -1 1077944384 10359 0 0 0 113 1 0 0 20 0 15 0 250459248 14431227904 556867 33554432000 4194304 4196468 140725837956080 139829679410032 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29256] ppid=29239 vsize=14092996 memory=3088 CPUtime=0 cores=1,3,5,7
/proc/29242/task/29256/stat : 29256 (java) S 29239 29242 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250459248 14431227904 556867 33554432000 4194304 4196468 140725837956080 139829678357472 139830211299029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
[pid=29242/tid=29257] ppid=29239 vsize=14092996 memory=68112 CPUtime=0.12 cores=1,3,5,7
/proc/29242/task/29257/stat : 29257 (java) S 29239 29242 21905 0 -1 1077944384 1019 0 0 0 5 7 0 0 20 0 15 0 250459248 14431227904 556867 33554432000 4194304 4196468 140725837956080 139829677304240 139830211299970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14938112 140725837964378 140725837964558 140725837964558 140725837967311 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2227468 KiB

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

[startup+240.837 s]
# the end of solver process 29242 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.614 s, system=1.48794 s

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

Child status: 143
Real time (s): 240.837
CPU time (s): 252.102
CPU user time (s): 250.614
CPU system time (s): 1.48794
CPU usage (%): 104.678
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 2227468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.614
system time used= 1.48794
maximum resident set size= 2231056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86270
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13366
involuntary context switches= 449


# summary of solver processes directly reported to runsolver:
#   pid: 29242
#   total CPU time (s): 252.102
#   total CPU user time (s): 250.614
#   total CPU system time (s): 1.48794

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.61154 second user time and 2.28924 second system time

The end

Launcher Data 

Begin job on node136 at 2018-08-15 12:29:21
IDJOB=4310558
IDBENCH=141154
IDSOLVER=2796
FILE ID=node136/4310558-1534328961
RUNJOBID= node136-1534323825-25434
PBS_JOBID= 21038144
Free space on /tmp= 38992 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310558-1534328961/watcher-4310558-1534328961 -o /tmp/evaluation-result-4310558-1534328961/solver-4310558-1534328961 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534323825-25434 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1044135412 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310558-1534328961.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=1044135412

node136.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.50
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.50
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.50
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.50
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:        22857128 kB
MemAvailable:   30190900 kB
Buffers:          131168 kB
Cached:          7430856 kB
SwapCached:           16 kB
Active:          5585264 kB
Inactive:        3738004 kB
Active(anon):    1712244 kB
Inactive(anon):   109076 kB
Active(file):    3873020 kB
Inactive(file):  3628928 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108860 kB
SwapFree:       67108172 kB
Dirty:             35868 kB
Writeback:             0 kB
AnonPages:       1780136 kB
Mapped:            68352 kB
Shmem:             57768 kB
Slab:             288784 kB
SReclaimable:     260284 kB
SUnreclaim:        28500 kB
KernelStack:        3792 kB
PageTables:         8956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3038840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1636352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 38956 MiB
End job on node136 at 2018-08-15 12:33:22