Trace number 4291745

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 - Parallel with EPS 2018-07-02SAT (TO)836201 19924.8 2520.24

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.67/0.55	c version: 2018-07-02
0.67/0.55	c seed: 2132310347
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
2.52/1.11	c Parsing done, starting search...
15.50/7.17	o 4173
15.50/7.18	o 31782
15.50/7.18	o 39929
15.50/7.20	o 44065
16.19/7.23	o 50520
16.19/7.23	o 58667
16.19/7.23	o 62803
16.19/7.23	o 67551
16.19/7.24	o 79286
16.19/7.24	o 84034
16.19/7.24	o 86882
16.19/7.24	o 90281
16.19/7.27	o 95029
16.19/7.27	o 98617
16.19/7.27	o 106764
16.19/7.27	o 111512
16.19/7.27	o 115648
16.19/7.27	o 118977
16.19/7.27	o 126512
16.19/7.27	o 131260
16.19/7.30	o 135392
16.19/7.30	o 138721
16.19/7.30	o 151004
16.19/7.30	o 151616
16.19/7.30	o 155752
16.94/7.30	o 157822
16.94/7.30	o 161925
16.94/7.30	o 163995
16.94/7.30	o 166061
16.94/7.30	o 168131
16.94/7.31	o 169058
16.94/7.35	o 170242
16.94/7.35	o 171169
16.94/7.35	o 180551
16.94/7.35	o 181478
16.94/7.35	o 182621
16.94/7.36	o 183548
16.94/7.39	o 189784
16.94/7.39	o 197931
16.94/7.39	o 202067
16.94/7.39	o 202994
16.94/7.39	o 205974
17.74/7.43	o 206901
17.74/7.43	o 212696
17.74/7.43	o 216832
17.74/7.43	o 220739
17.74/7.44	o 221666
17.74/7.46	o 223600
17.74/7.46	o 224527
17.74/7.46	o 234519
17.74/7.46	o 238426
17.74/7.48	o 241287
17.74/7.48	o 242214
17.74/7.48	o 243211
17.74/7.48	o 244138
17.74/7.48	o 244429
18.52/7.50	o 248565
18.52/7.50	o 250489
18.52/7.50	o 252472
18.52/7.50	o 254396
18.52/7.50	o 255333
18.52/7.50	o 257257
18.52/7.51	o 258184
18.52/7.51	o 261218
18.52/7.51	o 265125
18.52/7.51	o 267986
18.52/7.51	o 268913
18.52/7.51	o 269910
18.52/7.53	o 270837
18.52/7.53	o 271972
18.52/7.54	o 273896
18.52/7.54	o 274823
18.52/7.54	o 276574
18.52/7.54	o 277501
18.52/7.54	o 277511
18.52/7.54	o 279435
18.52/7.54	o 280362
18.52/7.54	o 280425
18.52/7.54	o 284332
18.52/7.56	o 285259
18.52/7.56	o 286256
18.52/7.56	o 287183
18.52/7.56	o 287193
18.52/7.56	o 289117
18.52/7.56	o 290044
18.52/7.56	o 290912
18.52/7.56	o 291839
18.52/7.57	o 291849
18.52/7.57	o 293773
18.52/7.57	o 294700
18.52/7.57	o 295164
18.52/7.57	o 296161
19.30/7.61	o 297088
19.30/7.61	o 297541
19.30/7.62	o 298468
19.30/7.62	o 298478
19.30/7.62	o 300402
19.30/7.62	o 301329
19.30/7.62	o 302911
19.30/7.62	o 304835
19.30/7.62	o 305299
19.30/7.62	o 307223
19.30/7.62	o 308150
19.30/7.62	o 308160
19.30/7.62	o 309087
19.30/7.62	o 310084
19.30/7.63	o 311011
19.30/7.63	o 311174
19.30/7.63	o 313098
19.30/7.63	o 314025
19.30/7.63	o 314035
19.30/7.63	o 315959
19.30/7.63	o 316886
19.30/7.65	o 316902
19.30/7.65	o 317729
19.30/7.65	o 318656
19.30/7.65	o 318995
19.30/7.65	o 319653
19.30/7.65	o 319992
19.30/7.65	o 320580
19.30/7.65	o 320919
19.30/7.65	o 320987
19.30/7.66	o 321869
19.30/7.66	o 322141
19.30/7.66	o 323091
19.30/7.66	o 325015
19.30/7.66	o 325942
19.30/7.66	o 326406
19.30/7.66	o 327403
19.30/7.66	o 328330
19.30/7.68	o 329834
19.30/7.68	o 330298
19.30/7.68	o 332222
19.30/7.68	o 333149
19.30/7.68	o 333957
19.30/7.68	o 334884
19.30/7.68	o 335881
19.30/7.68	o 336808
19.30/7.68	o 338079
19.30/7.69	o 339006
19.30/7.69	o 339324
19.30/7.69	o 340942
19.30/7.69	o 342478
19.30/7.69	o 342942
19.30/7.69	o 344866
19.30/7.70	o 345300
19.30/7.70	o 345759
19.30/7.70	o 345927
19.30/7.70	o 346854
19.30/7.70	o 346999
19.30/7.70	o 347009
20.12/7.71	o 348933
20.12/7.71	o 349860
20.12/7.71	o 350745
20.12/7.71	o 350755
20.12/7.71	o 351682
20.12/7.71	o 352679
20.12/7.71	o 353606
20.12/7.71	o 353751
20.12/7.71	o 353761
20.12/7.72	o 353787
20.12/7.72	o 354246
20.12/7.72	o 354864
20.12/7.72	o 355791
20.12/7.72	o 357252
20.12/7.72	o 358179
20.12/7.73	o 359152
20.12/7.73	o 359802
20.12/7.73	o 360631
20.12/7.74	o 361628
20.12/7.74	o 362555
20.12/7.74	o 363547
20.12/7.74	o 364474
20.12/7.75	o 365077
20.12/7.75	o 366004
20.12/7.75	o 366535
20.12/7.75	o 366717
20.12/7.75	o 367361
20.12/7.75	o 368288
20.12/7.76	o 368951
20.12/7.76	o 369476
20.12/7.76	o 369749
20.12/7.76	o 370273
20.12/7.76	o 370612
20.12/7.77	o 370631
20.12/7.77	o 370871
20.12/7.77	o 371311
20.12/7.77	o 373235
20.12/7.78	o 373466
20.12/7.78	o 373805
20.12/7.78	o 374393
20.12/7.78	o 374732
20.12/7.78	o 375456
20.12/7.78	o 375915
20.12/7.78	o 376383
20.12/7.78	o 376842
20.12/7.79	o 377115
20.12/7.79	o 377147
20.12/7.79	o 377358
20.12/7.79	o 378493
20.12/7.79	o 378953
20.12/7.79	o 379196
20.12/7.79	o 380417
20.12/7.79	o 381344
20.12/7.79	o 381803
20.12/7.80	o 382086
20.12/7.80	o 383550
20.12/7.80	o 384477
20.12/7.80	o 384936
20.70/7.80	o 385698
20.70/7.80	o 386160
20.70/7.80	o 387087
20.70/7.81	o 387152
20.70/7.81	o 387689
20.70/7.81	o 388616
20.70/7.81	o 388910
20.70/7.81	o 389837
20.70/7.81	o 390296
20.70/7.81	o 391180
20.70/7.82	o 392107
20.70/7.82	o 392347
20.70/7.82	o 393568
20.70/7.82	o 394495
20.70/7.82	o 394545
20.70/7.82	o 395472
20.70/7.82	o 395766
20.70/7.82	o 396693
20.70/7.82	o 396866
20.70/7.83	o 397113
20.70/7.83	o 397452
20.70/7.83	o 398377
20.70/7.83	o 398671
20.70/7.83	o 399598
20.70/7.83	o 400595
20.70/7.83	o 401522
20.70/7.83	o 401981
20.70/7.83	o 402251
20.70/7.84	o 403319
20.70/7.84	o 403778
20.70/7.84	o 403814
20.70/7.84	o 404246
20.70/7.85	o 404705
20.70/7.85	o 404741
20.70/7.85	o 406158
20.70/7.85	o 407085
20.70/7.85	o 407721
20.70/7.85	o 408648
20.70/7.85	o 408942
20.70/7.85	o 409869
20.70/7.85	o 410582
20.70/7.85	o 411803
20.70/7.85	o 412730
20.70/7.85	o 412813
20.70/7.85	o 413449
20.70/7.85	o 414376
20.70/7.85	o 414670
20.70/7.85	o 415597
20.70/7.85	o 415607
20.70/7.85	o 416310
20.70/7.85	o 417531
20.70/7.86	o 418458
20.70/7.86	o 419457
20.70/7.86	o 420384
20.70/7.86	o 420843
20.70/7.87	o 420963
20.70/7.87	o 421788
20.70/7.87	o 422130
20.70/7.87	o 423351
20.70/7.87	o 424278
20.70/7.87	o 424991
20.70/7.88	o 425918
20.70/7.88	o 426212
20.70/7.88	o 427139
20.70/7.88	o 427222
20.70/7.88	o 427858
20.70/7.88	o 428785
20.70/7.88	o 429079
20.70/7.88	o 430006
20.70/7.89	o 430016
20.70/7.89	o 430719
20.70/7.89	o 431940
20.70/7.89	o 432867
20.70/7.90	o 433338
20.70/7.90	o 433797
20.70/7.90	o 433885
20.70/7.90	o 434812
20.70/7.90	o 435448
20.70/7.90	o 436375
21.46/7.91	o 436484
21.46/7.91	o 436940
21.46/7.92	o 437155
21.46/7.92	o 437496
21.46/7.92	o 438423
21.46/7.92	o 439089
21.46/7.92	o 440016
21.46/7.92	o 440542
21.46/7.92	o 440552
21.46/7.92	o 440883
21.46/7.92	o 440913
21.46/7.92	o 441255
21.46/7.92	o 442476
21.46/7.92	o 443403
21.46/7.93	o 444500
21.46/7.93	o 445427
21.46/7.93	o 445721
21.46/7.93	o 446648
21.46/7.93	o 447840
21.46/7.93	o 448304
21.46/7.93	o 448635
21.46/7.93	o 448665
21.46/7.93	o 450228
21.46/7.94	o 451449
21.46/7.94	o 452376
21.46/7.94	o 452453
21.46/7.94	o 452747
21.46/7.94	o 453674
21.46/7.94	o 454310
21.46/7.94	o 455237
21.46/7.95	o 455304
21.46/7.95	o 456231
21.46/7.95	o 456878
21.46/7.95	o 456888
21.46/7.95	o 457249
21.46/7.95	o 457591
21.46/7.95	o 458812
21.46/7.95	o 459739
21.46/7.96	o 460458
21.46/7.96	o 461385
21.46/7.96	o 461679
21.46/7.96	o 462606
21.46/7.96	o 462616
21.46/7.96	o 463319
21.46/7.96	o 464540
21.46/7.96	o 465467
21.46/7.97	o 466397
21.46/7.97	o 467324
21.46/7.97	o 467971
21.46/7.97	o 468342
21.46/7.97	o 468684
21.46/7.97	o 469905
21.46/7.97	o 470832
21.46/7.98	o 471122
21.46/7.99	o 471264
21.46/7.99	o 471900
21.46/7.99	o 472827
21.46/7.99	o 472837
21.46/7.99	o 473168
21.46/7.99	o 473198
21.46/7.99	o 473540
21.46/7.99	o 474761
21.46/7.99	o 475688
21.46/7.99	o 476144
21.46/7.99	o 476358
21.46/8.00	o 477285
21.46/8.00	o 477478
21.46/8.00	o 478405
21.46/8.00	o 478415
21.46/8.00	o 478746
21.46/8.00	o 478776
21.46/8.00	o 479118
21.46/8.00	o 480339
21.46/8.00	o 481266
21.46/8.00	o 481952
22.33/8.01	o 482037
22.33/8.01	o 482111
22.33/8.01	o 482141
22.33/8.01	o 483704
22.33/8.01	o 484631
22.33/8.01	o 484925
22.33/8.01	o 485852
22.33/8.01	o 486565
22.33/8.01	o 487786
22.33/8.01	o 488713
22.33/8.01	o 489432
22.33/8.01	o 490359
22.33/8.01	o 490653
22.33/8.02	o 491580
22.33/8.02	o 491590
22.33/8.02	o 492293
22.33/8.02	o 493514
22.33/8.02	o 494441
22.33/8.02	o 494527
22.33/8.03	o 495454
22.33/8.03	o 495464
22.33/8.03	o 496167
22.33/8.03	o 497388
22.33/8.03	o 498315
22.33/8.04	o 498361
22.33/8.05	o 499288
22.33/8.05	o 499924
22.33/8.05	o 500851
22.33/8.05	o 501425
22.33/8.05	o 501719
22.33/8.05	o 502646
22.33/8.05	o 502656
22.33/8.05	o 502987
22.33/8.05	o 503017
22.33/8.05	o 503359
22.33/8.05	o 504580
22.33/8.05	o 505507
22.33/8.07	o 505652
22.33/8.07	o 506579
22.33/8.07	o 507447
22.33/8.07	o 508374
22.33/8.07	o 508384
22.33/8.07	o 508715
22.33/8.07	o 508745
22.33/8.07	o 509087
22.33/8.08	o 510308
22.33/8.08	o 511235
22.33/8.09	o 511604
22.33/8.09	o 511970
22.33/8.09	o 512172
22.33/8.09	o 512838
22.33/8.09	o 513765
22.33/8.09	o 513812
22.33/8.09	o 514478
22.33/8.10	o 515405
22.33/8.10	o 515699
22.33/8.10	o 516626
23.12/8.13	o 516822
23.12/8.14	o 518197
23.12/8.15	o 519418
23.12/8.15	o 520345
23.12/8.16	o 520396
23.12/8.16	o 521323
23.12/8.18	o 522086
23.12/8.19	o 522380
23.12/8.19	o 523307
23.12/8.19	o 523659
23.86/8.22	o 523676
23.86/8.23	o 524767
23.86/8.23	o 525109
23.86/8.23	o 526330
23.86/8.23	o 527257
23.86/8.23	o 527783
23.86/8.24	o 528077
23.86/8.24	o 529004
23.86/8.24	o 529274
23.86/8.24	o 530495
23.86/8.24	o 531422
23.86/8.24	o 531764
23.86/8.24	o 532058
23.86/8.24	o 532985
23.86/8.26	o 533399
23.86/8.26	o 534326
23.86/8.26	o 534849
23.86/8.26	o 535776
23.86/8.26	o 536018
23.86/8.26	o 536721
23.86/8.26	o 537942
23.86/8.26	o 538284
23.86/8.26	o 539505
23.86/8.26	o 540432
23.86/8.28	o 540577
23.86/8.28	o 541504
23.86/8.28	o 542449
23.86/8.28	o 543670
23.86/8.28	o 544012
23.86/8.28	o 545233
23.86/8.28	o 546160
23.86/8.29	o 546512
24.65/8.35	o 547299
24.65/8.36	o 548048
24.65/8.36	o 548244
24.65/8.36	o 549171
24.65/8.36	o 549807
24.65/8.36	o 550734
24.65/8.36	o 551028
24.65/8.36	o 551955
25.43/8.48	o 552032
25.43/8.49	o 552326
25.43/8.49	o 553253
25.43/8.49	o 553477
25.43/8.49	o 554698
25.43/8.49	o 555625
25.43/8.49	o 556209
25.43/8.49	o 557136
25.43/8.49	o 558133
25.43/8.49	o 559060
25.43/8.49	o 559354
25.43/8.49	o 560281
29.38/8.92	o 560862
29.38/8.92	o 561156
29.38/8.93	o 562083
29.38/8.93	o 562223
29.38/8.93	o 563444
29.38/8.93	o 564490
29.38/8.93	o 565711
29.38/8.93	o 566638
32.57/9.34	o 566837
32.57/9.34	o 567764
32.57/9.37	o 567820
32.57/9.38	o 568747
32.57/9.38	o 569651
32.57/9.38	o 569920
32.57/9.38	o 570586
32.57/9.38	o 571513
32.57/9.38	o 571686
32.57/9.38	o 572613
32.57/9.38	o 573548
32.57/9.38	o 574475
32.57/9.39	o 574990
32.57/9.39	o 575917
32.57/9.39	o 576384
32.57/9.39	o 577050
33.35/9.40	o 577977
33.35/9.40	o 578791
33.35/9.40	o 579718
33.35/9.40	o 580012
33.35/9.40	o 580939
33.35/9.50	o 581291
36.54/9.88	o 581473
37.35/9.92	o 582305
37.35/9.93	o 583232
37.35/9.98	o 584051
37.35/9.99	o 584534
37.35/9.99	o 585755
37.35/9.99	o 586458
37.35/9.99	o 587679
37.35/9.99	o 588606
38.23/10.07	o 589179
38.23/10.08	o 589993
38.23/10.08	o 590920
38.23/10.08	o 591214
38.23/10.08	o 592141
38.23/10.08	o 592493
39.73/10.25	o 593309
39.73/10.26	o 594236
39.73/10.27	o 594703
39.73/10.27	o 595369
39.73/10.27	o 596296
39.73/10.27	o 596407
39.73/10.27	o 597110
39.73/10.27	o 598331
39.73/10.27	o 599258
40.52/10.33	o 599610
44.52/10.88	o 600349
57.24/12.43	o 600485
57.24/12.43	o 601224
58.03/12.56	o 601325
58.03/12.56	o 601513
58.03/12.57	o 602252
58.03/12.57	o 602510
58.03/12.57	o 603437
58.03/12.57	o 604176
58.83/12.61	o 604384
58.83/12.61	o 604572
58.83/12.61	o 605311
58.83/12.61	o 605497
58.83/12.61	o 606236
58.83/12.61	o 606535
58.83/12.61	o 607238
58.83/12.61	o 607532
58.83/12.62	o 608459
58.83/12.62	o 609198
60.45/12.82	o 609550
106.74/18.76	o 609851
106.74/18.76	o 610133
106.74/18.76	o 610872
106.74/18.76	o 611354
106.74/18.76	o 612093
140.17/22.97	o 612095
140.17/22.98	o 612214
140.17/22.98	o 612696
140.17/22.98	o 613435
140.17/22.99	o 613623
140.17/22.99	o 614362
140.17/22.99	o 615328
140.17/22.99	o 615914
140.17/22.99	o 616549
140.17/22.99	o 617135
140.17/22.99	o 617476
140.17/22.99	o 618062
140.17/22.99	o 618215
140.17/23.00	o 618801
140.17/23.00	o 619020
140.17/23.00	o 619314
140.17/23.00	o 620241
140.17/23.00	o 620980
140.17/23.00	o 621566
140.17/23.01	o 621761
140.17/23.01	o 622102
140.17/23.01	o 622688
141.03/23.02	o 622807
141.03/23.02	o 623002
141.03/23.02	o 623190
141.03/23.02	o 623929
141.03/23.06	o 623958
147.35/23.81	o 624103
147.35/23.82	o 625030
147.35/23.82	o 625769
147.35/23.83	o 626121
148.14/23.91	o 626316
148.14/23.91	o 626504
148.14/23.91	o 627243
149.80/24.15	o 627272
167.25/26.34	o 627377
167.25/26.34	o 627963
167.25/26.35	o 628480
167.25/26.35	o 629219
167.25/26.35	o 629513
167.25/26.35	o 629701
167.25/26.35	o 630440
167.25/26.35	o 631026
167.25/26.35	o 631294
167.25/26.35	o 631880
167.25/26.35	o 632033
167.25/26.35	o 632619
167.25/26.36	o 632664
167.25/26.37	o 633403
167.25/26.37	o 633989
167.25/26.37	o 634843
167.25/26.37	o 634996
167.25/26.37	o 635582
167.25/26.37	o 636168
167.25/26.37	o 636754
167.25/26.37	o 637608
167.25/26.37	o 638347
168.04/26.46	o 638422
168.04/26.47	o 639349
168.04/26.47	o 639643
168.04/26.47	o 640570
168.04/26.47	o 641309
168.85/26.57	o 641504
168.85/26.58	o 641692
168.85/26.58	o 642431
172.05/26.95	o 642460
183.19/28.36	o 642975
183.19/28.37	o 643447
183.19/28.37	o 643788
183.19/28.37	o 644374
183.19/28.37	o 645198
183.19/28.37	o 645937
183.19/28.37	o 645966
189.65/29.15	o 646453
189.65/29.15	o 647380
189.65/29.16	o 648119
190.37/29.26	o 648148
191.96/29.41	o 648586
191.96/29.41	o 648666
191.96/29.41	o 649252
191.96/29.41	o 649593
191.96/29.41	o 650179
191.96/29.42	o 650254
191.96/29.42	o 651475
191.96/29.42	o 651816
191.96/29.42	o 652402
191.96/29.42	o 652555
191.96/29.42	o 653141
191.96/29.43	o 653170
195.18/29.85	o 653411
195.18/29.85	o 653728
195.18/29.85	o 654314
195.18/29.85	o 654582
195.18/29.85	o 655321
195.18/29.85	o 655907
195.18/29.86	o 655982
195.18/29.86	o 656909
195.18/29.86	o 657203
195.18/29.86	o 657544
195.18/29.86	o 658130
195.18/29.86	o 658283
195.18/29.86	o 658869
195.18/29.86	o 659405
195.18/29.86	o 659991
195.18/29.89	o 660020
212.73/32.02	o 660395
212.73/32.02	o 660981
212.73/32.02	o 661468
212.73/32.02	o 661762
212.73/32.02	o 661950
212.73/32.02	o 662689
212.73/32.02	o 663275
212.73/32.02	o 663543
212.73/32.02	o 664129
212.73/32.02	o 664282
212.73/32.02	o 664868
215.06/32.39	o 664942
215.06/32.41	o 665681
215.06/32.41	o 666505
215.06/32.41	o 667244
215.06/32.41	o 667830
227.02/33.85	o 668092
227.02/33.86	o 668831
227.02/33.86	o 669417
227.02/33.86	o 669605
227.02/33.86	o 670344
227.02/33.86	o 671443
227.02/33.86	o 672182
227.02/33.86	o 672370
227.02/33.87	o 673109
241.38/35.69	o 673492
241.38/35.70	o 674231
258.92/37.81	o 674318
258.92/37.82	o 674904
258.92/37.82	o 675057
258.92/37.82	o 675643
258.92/37.83	o 675685
258.92/37.83	o 676612
258.92/37.83	o 677351
258.92/37.83	o 677937
258.92/37.83	o 678017
258.92/37.84	o 678603
258.92/37.84	o 678944
258.92/37.84	o 679530
262.90/38.35	o 680045
262.90/38.36	o 680784
262.90/38.36	o 681370
263.70/38.46	o 681565
263.70/38.46	o 681753
263.70/38.47	o 682492
353.76/49.79	o 683166
356.21/50.04	o 683549
356.21/50.05	o 684288
457.40/62.74	o 684791
457.40/62.75	o 685530
484.56/66.19	o 685727
484.56/66.20	o 685957
484.56/66.20	o 686190
484.56/66.20	o 686532
484.56/66.20	o 686826
484.56/66.20	o 687753
484.56/66.20	o 688492
520.40/70.61	o 688687
520.40/70.61	o 688875
520.40/70.62	o 689614
609.64/81.82	o 690277
609.64/81.82	o 690306
609.64/81.82	o 691045
609.64/81.82	o 691621
609.64/81.82	o 692548
609.64/81.82	o 693287
761.94/100.96	o 693309
761.94/100.96	o 693497
761.94/100.97	o 694236
761.94/100.97	o 694518
761.94/100.97	o 694812
761.94/100.97	o 695739
761.94/100.97	o 696478
813.74/107.47	o 696956
813.74/107.48	o 696960
826.56/109.04	o 697383
826.56/109.04	o 697616
826.56/109.05	o 698252
826.56/109.05	o 699179
826.56/109.05	o 699918
826.56/109.05	o 699922
866.42/114.10	o 699970
866.42/114.10	o 699974
866.42/114.11	o 700158
866.42/114.11	o 700897
866.42/114.11	o 700901
866.42/114.11	o 701751
866.42/114.11	o 701755
866.42/114.11	o 702490
866.42/114.11	o 702494
867.94/114.22	o 703185
867.94/114.22	o 703528
867.94/114.22	o 703656
867.94/114.22	o 703889
867.94/114.22	o 704231
867.94/114.22	o 704525
867.94/114.22	o 704713
867.94/114.22	o 705452
867.94/114.22	o 705456
888.69/116.81	o 705919
888.69/116.82	o 705923
888.69/116.82	o 705949
888.69/116.82	o 706291
888.69/116.82	o 706585
888.69/116.82	o 706773
888.69/116.82	o 707512
888.69/116.82	o 707516
889.48/116.93	o 707939
889.48/116.94	o 707943
889.48/116.94	o 708514
889.48/116.94	o 708808
889.48/116.94	o 709735
889.48/116.94	o 709739
889.48/116.94	o 710474
889.48/116.94	o 710478
926.96/121.68	o 710857
926.96/121.68	o 711596
926.96/121.68	o 711600
978.05/128.02	o 712140
978.05/128.02	o 712144
978.05/128.03	o 712434
978.05/128.03	o 712622
978.05/128.03	o 713361
978.05/128.03	o 713365
978.05/128.03	o 714185
978.05/128.03	o 714189
978.05/128.03	o 714924
978.05/128.03	o 714928
978.05/128.03	o 714954
978.05/128.03	o 715296
978.05/128.03	o 715590
978.05/128.03	o 715778
978.05/128.03	o 716517
978.05/128.03	o 716521
978.05/128.03	o 716900
978.05/128.03	o 716904
978.05/128.04	o 717639
978.05/128.04	o 717643
978.05/128.05	o 717683
978.05/128.05	o 717916
978.05/128.06	o 718258
978.05/128.06	o 718552
978.05/128.06	o 718740
978.05/128.06	o 719479
978.05/128.06	o 719483
978.05/128.06	o 719862
978.05/128.06	o 719866
978.05/128.06	o 720601
978.05/128.06	o 720605
1603.86/206.54	o 720917
1603.86/206.54	o 720921
1603.86/206.55	o 721241
1603.86/206.55	o 721429
1603.86/206.55	o 722168
1603.86/206.55	o 722172
1649.31/212.29	o 722551
1650.11/212.30	o 723290
1650.11/212.30	o 723294
1752.19/225.16	o 723541
1752.19/225.16	o 723545
1752.19/225.17	o 724280
1752.19/225.17	o 724284
1752.19/225.17	o 724525
1752.19/225.17	o 724713
1752.19/225.17	o 725452
1752.19/225.17	o 725456
1752.19/225.17	o 726306
1752.19/225.17	o 726310
1752.19/225.17	o 727045
1752.19/225.17	o 727049
1756.94/225.73	o 727242
1756.94/225.73	o 727246
1756.94/225.75	o 727740
1756.94/225.75	o 727859
1756.94/225.75	o 728047
1756.94/225.75	o 728786
1756.94/225.75	o 729268
1756.94/225.75	o 730007
1756.94/225.75	o 730011
1776.84/228.22	o 730202
1776.84/228.22	o 730206
1776.84/228.23	o 730390
1776.84/228.23	o 731129
1776.84/228.23	o 731133
1937.08/248.34	o 731308
1937.08/248.34	o 731312
1937.08/248.35	o 731602
1937.08/248.35	o 731790
1937.08/248.35	o 732529
1937.08/248.35	o 732533
1937.08/248.35	o 732759
1937.08/248.35	o 732763
1937.08/248.35	o 733334
1937.08/248.35	o 733628
1937.08/248.35	o 734555
1937.08/248.35	o 734559
1937.08/248.35	o 735294
1937.08/248.35	o 735298
1937.88/248.40	o 735418
1937.88/248.42	o 736345
1937.88/248.42	o 737084
1937.88/248.42	o 737088
1937.88/248.42	o 737314
1937.88/248.42	o 737859
1937.88/248.42	o 737889
1937.88/248.42	o 738183
1937.88/248.42	o 739110
1937.88/248.42	o 739114
1937.88/248.42	o 739849
1937.88/248.42	o 739853
1996.08/255.75	o 740232
1996.08/255.76	o 740971
1996.08/255.76	o 740975
2565.92/327.27	o 741359
2565.92/327.27	o 741363
2565.92/327.27	o 741730
2565.92/327.27	o 741860
2565.92/327.27	o 742787
2565.92/327.27	o 743526
2565.92/327.27	o 743530
2565.92/327.27	o 743736
2565.92/327.27	o 743766
2565.92/327.27	o 744248
2565.92/327.27	o 744987
2565.92/327.27	o 744991
2565.92/327.27	o 745175
2565.92/327.27	o 745179
2565.92/327.28	o 745914
2565.92/327.28	o 745918
2735.60/348.59	o 746297
2736.39/348.60	o 747036
2736.39/348.60	o 747040
3067.19/390.12	o 747458
3067.19/390.12	o 747462
3067.19/390.13	o 747752
3067.19/390.13	o 748679
3067.19/390.13	o 748683
3067.19/390.13	o 749418
3067.19/390.13	o 749422
3067.19/390.13	o 749795
3067.19/390.13	o 749799
3067.19/390.13	o 749881
3067.19/390.13	o 750223
3067.19/390.13	o 750517
3067.19/390.13	o 751444
3067.19/390.13	o 752183
3067.19/390.14	o 752187
5505.24/697.71	o 752394
5505.24/697.71	o 753133
5505.24/697.72	o 753321
5505.24/697.72	o 754060
6066.84/768.61	o 754297
6066.84/768.61	o 755036
6066.84/768.62	o 755040
6069.23/768.99	o 755553
6069.23/768.99	o 755557
6069.23/768.99	o 756292
6069.23/768.99	o 756296
6097.76/772.56	o 756536
6097.76/772.57	o 756724
6097.76/772.57	o 757463
6097.76/772.57	o 757467
6175.50/782.33	o 757601
6175.50/782.33	o 757605
6175.50/782.34	o 757925
6175.50/782.34	o 758852
6175.50/782.34	o 758856
6175.50/782.34	o 759591
6175.50/782.34	o 759595
6678.58/845.90	o 760259
6678.58/845.90	o 760263
6799.63/861.29	o 760445
6800.41/861.31	o 760633
6800.41/861.31	o 761372
6800.41/861.31	o 761991
6800.41/861.31	o 762273
6800.41/861.31	o 762567
6800.41/861.31	o 763494
6800.41/861.31	o 764233
7514.08/951.56	o 764260
7514.08/951.57	o 764264
7514.08/951.57	o 764825
7514.08/951.57	o 765167
7514.08/951.57	o 765649
7514.08/951.57	o 766388
7514.08/951.57	o 766392
7891.25/999.24	o 766873
7891.25/999.25	o 767612
7891.25/999.25	o 767616
7891.25/999.25	o 767804
7891.25/999.25	o 768731
7891.25/999.25	o 769470
7891.25/999.25	o 770192
7891.25/999.25	o 770931
7891.25/999.25	o 771119
7891.25/999.25	o 771858
7891.25/999.29	o 771879
7892.03/999.30	o 771883
7897.67/1000.02	o 772368
7897.67/1000.02	o 772556
7897.67/1000.02	o 773295
7897.67/1000.02	o 773299
7897.67/1000.05	o 773461
7897.67/1000.06	o 773491
7897.67/1000.06	o 773785
7897.67/1000.06	o 774712
7897.67/1000.06	o 774716
7897.67/1000.06	o 775451
7897.67/1000.06	o 775455
7898.44/1000.11	o 775664
7898.44/1000.12	o 776591
7898.44/1000.12	o 777330
7898.44/1000.12	o 777334
7898.44/1000.12	o 777758
7898.44/1000.12	o 778052
7898.44/1000.12	o 778979
7898.44/1000.12	o 778983
7898.44/1000.12	o 779718
7898.44/1000.13	o 779722
8081.64/1023.34	o 780283
8081.64/1023.34	o 780287
8081.64/1023.35	o 780595
8081.64/1023.35	o 780625
8081.64/1023.35	o 780919
8081.64/1023.35	o 781107
8081.64/1023.35	o 781846
8081.64/1023.35	o 781850
9034.21/1143.71	o 782319
9034.21/1143.72	o 782323
9034.21/1143.72	o 783058
9034.21/1143.72	o 783062
9034.21/1143.72	o 783298
9034.21/1143.72	o 783486
9034.21/1143.72	o 784225
9034.21/1143.72	o 784707
9034.21/1143.72	o 785446
9034.21/1143.73	o 785450
9038.97/1144.31	o 785614
9038.97/1144.31	o 785908
9038.97/1144.31	o 786835
9038.97/1144.31	o 786839
9038.97/1144.31	o 787574
9038.97/1144.31	o 787578
10350.18/1310.05	o 788290
10350.18/1310.06	o 788294
10350.18/1310.06	o 789029
10350.18/1310.06	o 789033
10606.43/1342.49	o 789161
10606.43/1342.49	o 789349
10606.43/1342.49	o 790088
10606.43/1342.49	o 790689
10606.43/1342.49	o 791616
10606.43/1342.50	o 792355
10607.18/1342.54	o 792384
10610.36/1342.90	o 792781
10610.36/1342.90	o 792785
10610.36/1342.90	o 793064
10610.36/1342.90	o 793068
10610.36/1342.91	o 793193
10610.36/1342.91	o 793837
10610.36/1342.91	o 794120
10610.36/1342.91	o 794576
10610.36/1342.91	o 794859
10610.36/1342.91	o 794863
10610.36/1342.91	o 795195
10610.36/1342.91	o 795199
10610.36/1342.91	o 795478
10610.36/1342.91	o 795482
10610.36/1342.91	o 795513
10610.36/1342.91	o 795796
10610.36/1342.91	o 796698
10610.36/1342.91	o 797437
10610.36/1342.92	o 797720
10610.36/1342.92	o 797724
10610.36/1342.94	o 797973
10610.36/1342.95	o 797977
10610.36/1342.95	o 798256
10610.36/1342.95	o 798260
10610.36/1342.95	o 798712
10610.36/1342.95	o 798995
10610.36/1342.95	o 798999
10610.36/1342.95	o 799331
10610.36/1342.95	o 799335
10610.36/1342.95	o 799614
10610.36/1342.95	o 799618
10610.36/1342.95	o 799739
10610.36/1342.95	o 799932
10610.36/1342.95	o 800190
10610.36/1342.95	o 800646
10610.36/1342.95	o 800929
10610.36/1342.95	o 801573
10610.36/1342.95	o 801856
10610.36/1342.96	o 801860
11152.33/1411.44	o 802528
11159.46/1412.38	o 802927
11159.46/1412.38	o 802931
11159.46/1412.38	o 803115
11159.46/1412.38	o 803854
11159.46/1412.38	o 803858
11159.46/1412.38	o 804161
11159.46/1412.39	o 804165
11159.46/1412.39	o 804455
11159.46/1412.39	o 805382
11159.46/1412.39	o 805386
11159.46/1412.39	o 806121
11159.46/1412.39	o 806125
11988.87/1517.27	o 806481
11988.87/1517.27	o 806485
11988.87/1517.28	o 807046
11988.87/1517.28	o 807870
11988.87/1517.28	o 808609
11988.87/1517.28	o 808613
15243.98/1928.55	o 808762
15243.98/1928.56	o 809501
15243.98/1928.56	o 809505
15243.98/1928.56	o 809983
15243.98/1928.56	o 809987
15243.98/1928.56	o 810722
15243.98/1928.56	o 810726
15243.98/1928.57	o 811082
15243.98/1928.57	o 811086
15243.98/1928.57	o 811414
15243.98/1928.57	o 811647
15243.98/1928.57	o 812471
15243.98/1928.57	o 813210
15243.98/1928.57	o 813214
16284.90/2060.21	o 813894
16284.90/2060.22	o 813898
16284.90/2060.22	o 814177
16284.90/2060.22	o 814181
16284.90/2060.22	o 814633
16284.90/2060.22	o 814916
16284.90/2060.22	o 814920
17280.33/2186.03	o 815461
17280.33/2186.03	o 815465
17280.33/2186.03	o 815744
17280.33/2186.03	o 815748
17280.33/2186.03	o 815773
17280.33/2186.03	o 815777
17280.33/2186.07	o 816109
17280.33/2186.07	o 816113
17280.33/2186.07	o 816403
17280.33/2186.07	o 817330
17280.33/2186.07	o 817334
17280.33/2186.07	o 817449
17280.33/2186.07	o 817453
17280.33/2186.07	o 818670
17280.33/2186.07	o 818674
17280.33/2186.08	o 819597
17280.33/2186.08	o 819601
17280.33/2186.08	o 819626
17280.33/2186.08	o 819630
17281.14/2186.18	o 819941
17281.14/2186.19	o 820868
17281.14/2186.19	o 820872
17281.14/2186.19	o 820897
17281.14/2186.19	o 820901
17281.14/2186.20	o 821361
17281.14/2186.20	o 821365
17281.14/2186.20	o 821655
17281.14/2186.20	o 822582
17281.14/2186.20	o 822586
17281.14/2186.20	o 822701
17281.14/2186.20	o 822705
17281.91/2186.21	o 823922
17281.91/2186.21	o 823926
17281.91/2186.21	o 824849
17281.91/2186.21	o 824853
17281.91/2186.21	o 824878
17281.91/2186.21	o 824882
17297.00/2188.17	o 825660
17297.00/2188.17	o 825664
17297.00/2188.19	o 825689
17297.00/2188.19	o 825693
17414.36/2203.02	o 826020
17414.36/2203.02	o 826024
17414.36/2203.02	o 826352
17414.36/2203.02	o 826356
17414.36/2203.02	o 827221
17414.36/2203.02	o 828148
17414.36/2203.02	o 828152
17414.36/2203.02	o 828177
17414.36/2203.03	o 828181
19627.00/2482.69	o 828318
19627.00/2482.69	o 829245
19627.00/2482.70	o 829249
19627.00/2482.70	o 829364
19627.00/2482.70	o 829368
19627.00/2482.70	o 830585
19627.00/2482.70	o 830589
19627.00/2482.70	o 831512
19627.00/2482.70	o 831516
19627.00/2482.70	o 831517
19627.00/2482.70	o 832105
19627.00/2482.70	o 832338
19627.00/2482.70	o 832974
19627.00/2482.70	o 833901
19627.00/2482.70	o 833905
19627.00/2482.70	o 834020
19627.00/2482.70	o 835241
19627.78/2482.71	o 835245
19627.78/2482.71	o 836168
19627.78/2482.71	o 836172
19655.46/2486.26	o 836197
19655.46/2486.26	o 836201
19923.31/2520.09	s SATISFIABLE
19923.31/2520.10	v <instantiation>
19923.31/2520.10	v 	<list>
19923.31/2520.10	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]
19923.31/2520.10	v 	</list>
19923.31/2520.10	v 	<values>
19923.31/2520.10	v 		0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
19923.31/2520.10	v 	</values>
19923.31/2520.10	v </instantiation>

Verifier Data 

OK	836201

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291745-1532634987/watcher-4291745-1532634987 -o /tmp/evaluation-result-4291745-1532634987/solver-4291745-1532634987 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1532633896-14579 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 2132310347 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291745-1532634987.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=14834, runsolver pid=14831


[startup+0.100135 s]*
/proc/loadavg: 1.09 3.02 5.85 2/197 14854
/proc/meminfo: memFree=24289748/32770624 swapFree=67108860/67108860
[pid=14834] ppid=14831 vsize=26103424 memory=30976 CPUtime=0.11 cores=0-7
/proc/14834/stat : 14834 (java) S 14831 14834 14552 0 -1 1077944320 7170 0 0 0 9 2 0 0 20 0 20 0 81062002 26729906176 7744 33554432000 4194304 4196468 140722648504336 140722648486880 140611983740663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
/proc/14834/statm: 6525856 7744 3140 1 0 6487932 0
[pid=14834/tid=14836] ppid=14831 vsize=26103424 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/14834/task/14836/stat : 14836 (java) R 14831 14834 14552 0 -1 4202560 5390 0 0 0 8 1 0 0 20 0 20 0 81062003 26729906176 7876 33554432000 4194304 4196468 140722648504336 140611987943792 140611969112794 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14837] ppid=14831 vsize=26103424 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14834/task/14837/stat : 14837 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 7876 33554432000 4194304 4196468 140722648504336 140611936361360 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14838] ppid=14831 vsize=26103424 memory=140549678696064 CPUtime=0 cores=0-7
/proc/14834/task/14838/stat : 14838 (java) S 14831 14834 14552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 7876 33554432000 4194304 4196468 140722648504336 140611935308560 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14839] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14839/stat : 14839 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 7876 33554432000 4194304 4196468 140722648504336 140611934256272 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14840] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14840/stat : 14840 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 7876 33554432000 4194304 4196468 140722648504336 140611933203472 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14841] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14841/stat : 14841 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 7876 33554432000 4194304 4196468 140722648504336 140611932150160 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14842] ppid=14831 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/14834/task/14842/stat : 14842 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 7901 33554432000 4194304 4196468 140722648504336 140611931097360 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14843] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14843/stat : 14843 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 7901 33554432000 4194304 4196468 140722648504336 140611930045072 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14844] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14844/stat : 14844 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 7901 33554432000 4194304 4196468 140722648504336 140611928992272 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14845] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14845/stat : 14845 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062005 26729906176 7901 33554432000 4194304 4196468 140722648504336 140610658859632 140611983751810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14846] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14846/stat : 14846 (java) S 14831 14834 14552 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81062005 26729906176 7901 33554432000 4194304 4196468 140722648504336 140610657805600 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14847] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14847/stat : 14847 (java) S 14831 14834 14552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81062006 26729906176 7901 33554432000 4194304 4196468 140722648504336 140610656753264 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14848] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14848/stat : 14848 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81062008 26729906176 7901 33554432000 4194304 4196468 140722648504336 140610655701584 140611983759259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14849] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14849/stat : 14849 (java) S 14831 14834 14552 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 81062008 26729906176 7901 33554432000 4194304 4196468 140722648504336 140610654648432 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14850] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14850/stat : 14850 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81062008 26729906176 7901 33554432000 4194304 4196468 140722648504336 140610585487344 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14851] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14851/stat : 14851 (java) S 14831 14834 14552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81062008 26729906176 7901 33554432000 4194304 4196468 140722648504336 140610584435056 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14852] ppid=14831 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/14834/task/14852/stat : 14852 (java) S 14831 14834 14552 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 20 0 81062008 26729906176 7901 33554432000 4194304 4196468 140722648504336 140610583382256 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14853] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14853/stat : 14853 (java) S 14831 14834 14552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81062008 26729906176 7901 33554432000 4194304 4196468 140722648504336 140610582330208 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14854] ppid=14831 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/14834/task/14854/stat : 14854 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81062008 26729906176 7901 33554432000 4194304 4196468 140722648504336 140610581277488 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 30976 KiB

[startup+0.209991 s]*
/proc/loadavg: 1.09 3.02 5.85 3/197 14854
/proc/meminfo: memFree=24275796/32770624 swapFree=67108860/67108860
[pid=14834] ppid=14831 vsize=26103424 memory=43068 CPUtime=0.3 cores=0-7
/proc/14834/stat : 14834 (java) S 14831 14834 14552 0 -1 1077944320 10425 0 0 0 27 3 0 0 20 0 20 0 81062002 26729906176 10767 33554432000 4194304 4196468 140722648504336 140722648486880 140611983740663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
/proc/14834/statm: 6525856 10767 3345 1 0 6487932 0
[pid=14834/tid=14836] ppid=14831 vsize=26103424 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/14834/task/14836/stat : 14836 (java) R 14831 14834 14552 0 -1 4202560 8197 0 0 0 18 2 0 0 20 0 20 0 81062003 26729906176 10767 33554432000 4194304 4196468 140722648504336 140611987961792 140611967821150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14837] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14837/stat : 14837 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 10767 33554432000 4194304 4196468 140722648504336 140611936361360 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14838] ppid=14831 vsize=26103424 memory=3473735688304998433 CPUtime=0 cores=0-7
/proc/14834/task/14838/stat : 14838 (java) S 14831 14834 14552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 10767 33554432000 4194304 4196468 140722648504336 140611935308560 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14839] ppid=14831 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/14834/task/14839/stat : 14839 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 10767 33554432000 4194304 4196468 140722648504336 140611934256272 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14840] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14840/stat : 14840 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 10767 33554432000 4194304 4196468 140722648504336 140611933203472 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14841] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14841/stat : 14841 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 10767 33554432000 4194304 4196468 140722648504336 140611932150160 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14842] ppid=14831 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/14834/task/14842/stat : 14842 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 10767 33554432000 4194304 4196468 140722648504336 140611931097360 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14843] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14843/stat : 14843 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 10767 33554432000 4194304 4196468 140722648504336 140611930045072 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14844] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14844/stat : 14844 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 10767 33554432000 4194304 4196468 140722648504336 140611928992272 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14845] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14845/stat : 14845 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062005 26729906176 10767 33554432000 4194304 4196468 140722648504336 140610658859632 140611983751810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14846] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14846/stat : 14846 (java) S 14831 14834 14552 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81062005 26729906176 10767 33554432000 4194304 4196468 140722648504336 140610657805600 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14847] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14847/stat : 14847 (java) S 14831 14834 14552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81062006 26729906176 10767 33554432000 4194304 4196468 140722648504336 140610656753264 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14848] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14848/stat : 14848 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81062008 26729906176 10767 33554432000 4194304 4196468 140722648504336 140610655701584 140611983759259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14849] ppid=14831 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/14834/task/14849/stat : 14849 (java) S 14831 14834 14552 0 -1 1077944384 444 0 0 0 1 0 0 0 20 0 20 0 81062008 26729906176 10767 33554432000 4194304 4196468 140722648504336 140610654648432 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14850] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14850/stat : 14850 (java) S 14831 14834 14552 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 20 0 81062008 26729906176 10767 33554432000 4194304 4196468 140722648504336 140610585487344 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14851] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14851/stat : 14851 (java) S 14831 14834 14552 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 81062008 26729906176 10767 33554432000 4194304 4196468 140722648504336 140610584435056 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14852] ppid=14831 vsize=26103424 memory=0 CPUtime=0.06 cores=0-7
/proc/14834/task/14852/stat : 14852 (java) S 14831 14834 14552 0 -1 1077944384 317 0 0 0 6 0 0 0 20 0 20 0 81062008 26729906176 10767 33554432000 4194304 4196468 140722648504336 140610583382256 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14853] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14853/stat : 14853 (java) S 14831 14834 14552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81062008 26729906176 10767 33554432000 4194304 4196468 140722648504336 140610582330208 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14854] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14854/stat : 14854 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81062008 26729906176 10767 33554432000 4194304 4196468 140722648504336 140610581277488 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 43068 KiB

[startup+0.310172 s]*
/proc/loadavg: 1.09 3.02 5.85 3/197 14854
/proc/meminfo: memFree=24272260/32770624 swapFree=67108860/67108860
[pid=14834] ppid=14831 vsize=26103424 memory=46844 CPUtime=0.42 cores=0-7
/proc/14834/stat : 14834 (java) S 14831 14834 14552 0 -1 1077944320 10872 0 0 0 39 3 0 0 20 0 20 0 81062002 26729906176 11711 33554432000 4194304 4196468 140722648504336 140722648486880 140611983740663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
/proc/14834/statm: 6525856 11711 3375 1 0 6487932 0
[pid=14834/tid=14836] ppid=14831 vsize=26103424 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14834/task/14836/stat : 14836 (java) R 14831 14834 14552 0 -1 4202560 8540 0 0 0 27 2 0 0 20 0 20 0 81062003 26729906176 11711 33554432000 4194304 4196468 140722648504336 140611987950000 140611967821150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14837] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14837/stat : 14837 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 11711 33554432000 4194304 4196468 140722648504336 140611936361360 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14838] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14838/stat : 14838 (java) S 14831 14834 14552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 11711 33554432000 4194304 4196468 140722648504336 140611935308560 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14839] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14839/stat : 14839 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 11711 33554432000 4194304 4196468 140722648504336 140611934256272 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14840] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14840/stat : 14840 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 11711 33554432000 4194304 4196468 140722648504336 140611933203472 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14841] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14841/stat : 14841 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 11711 33554432000 4194304 4196468 140722648504336 140611932150160 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14842] ppid=14831 vsize=26103424 memory=140549516520111 CPUtime=0 cores=0-7
/proc/14834/task/14842/stat : 14842 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 11711 33554432000 4194304 4196468 140722648504336 140611931097360 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14843] ppid=14831 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/14834/task/14843/stat : 14843 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 11711 33554432000 4194304 4196468 140722648504336 140611930045072 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14844] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14844/stat : 14844 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81062003 26729906176 11711 33554432000 4194304 4196468 140722648504336 140611928992272 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14845] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14845/stat : 14845 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062005 26729906176 11711 33554432000 4194304 4196468 140722648504336 140610658859632 140611983751810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14846] ppid=14831 vsize=26103424 memory=2110900123656228 CPUtime=0 cores=0-7
/proc/14834/task/14846/stat : 14846 (java) S 14831 14834 14552 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 81062005 26729906176 11711 33554432000 4194304 4196468 140722648504336 140610657805600 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14847] ppid=14831 vsize=26103424 memory=2110900123635364 CPUtime=0 cores=0-7
/proc/14834/task/14847/stat : 14847 (java) S 14831 14834 14552 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 81062006 26729906176 11711 33554432000 4194304 4196468 140722648504336 140610656753264 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14848] ppid=14831 vsize=26103424 memory=2110900123637668 CPUtime=0 cores=0-7
/proc/14834/task/14848/stat : 14848 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81062008 26729906176 11711 33554432000 4194304 4196468 140722648504336 140610655701584 140611983759259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14849] ppid=14831 vsize=26103424 memory=2110900123656484 CPUtime=0.01 cores=0-7
/proc/14834/task/14849/stat : 14849 (java) S 14831 14834 14552 0 -1 1077944384 444 0 0 0 1 0 0 0 20 0 20 0 81062008 26729906176 11711 33554432000 4194304 4196468 140722648504336 140610654648432 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14850] ppid=14831 vsize=26103424 memory=2110900123642276 CPUtime=0.01 cores=0-7
/proc/14834/task/14850/stat : 14850 (java) S 14831 14834 14552 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 20 0 81062008 26729906176 11711 33554432000 4194304 4196468 140722648504336 140610585487344 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14851] ppid=14831 vsize=26103424 memory=2110900123656516 CPUtime=0.01 cores=0-7
/proc/14834/task/14851/stat : 14851 (java) S 14831 14834 14552 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 81062008 26729906176 11711 33554432000 4194304 4196468 140722648504336 140610584435056 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14852] ppid=14831 vsize=26103424 memory=2110900123656548 CPUtime=0.07 cores=0-7
/proc/14834/task/14852/stat : 14852 (java) S 14831 14834 14552 0 -1 1077944384 332 0 0 0 7 0 0 0 20 0 20 0 81062008 26729906176 11711 33554432000 4194304 4196468 140722648504336 140610583382256 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14853] ppid=14831 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14853/stat : 14853 (java) S 14831 14834 14552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81062008 26729906176 11711 33554432000 4194304 4196468 140722648504336 140610582330208 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14854] ppid=14831 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/14834/task/14854/stat : 14854 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81062008 26729906176 11711 33554432000 4194304 4196468 140722648504336 140610581277488 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46844 KiB

[startup+0.700927 s]
/proc/loadavg: 1.09 3.02 5.85 2/197 14854
/proc/meminfo: memFree=24247952/32770624 swapFree=67108860/67108860
[pid=14834] ppid=14831 vsize=26105492 memory=87760 CPUtime=0.98 cores=0-7
/proc/14834/stat : 14834 (java) S 14831 14834 14552 0 -1 1077944320 17874 0 0 0 93 5 0 0 20 0 20 0 81062002 26732023808 21940 33554432000 4194304 4196468 140722648504336 140722648486880 140611983740663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
/proc/14834/statm: 6526373 21940 3496 1 0 6488444 0
[pid=14834/tid=14836] ppid=14831 vsize=26105492 memory=0 CPUtime=0.67 cores=0-7
/proc/14834/task/14836/stat : 14836 (java) R 14831 14834 14552 0 -1 4202560 15027 0 0 0 64 3 0 0 20 0 20 0 81062003 26732023808 21940 33554432000 4194304 4196468 140722648504336 140611987955776 140611983762589 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14837] ppid=14831 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14837/stat : 14837 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062003 26732023808 21940 33554432000 4194304 4196468 140722648504336 140611936361360 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14838] ppid=14831 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14838/stat : 14838 (java) S 14831 14834 14552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 81062003 26732023808 21940 33554432000 4194304 4196468 140722648504336 140611935308560 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14839] ppid=14831 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/14834/task/14839/stat : 14839 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81062003 26732023808 21940 33554432000 4194304 4196468 140722648504336 140611934256272 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14840] ppid=14831 vsize=26105492 memory=2436 CPUtime=0 cores=0-7
/proc/14834/task/14840/stat : 14840 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062003 26732023808 21940 33554432000 4194304 4196468 140722648504336 140611933203472 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14841] ppid=14831 vsize=26105492 memory=1728 CPUtime=0 cores=0-7
/proc/14834/task/14841/stat : 14841 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81062003 26732023808 21940 33554432000 4194304 4196468 140722648504336 140611932150160 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14842] ppid=14831 vsize=26105492 memory=1708 CPUtime=0 cores=0-7
/proc/14834/task/14842/stat : 14842 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062003 26732023808 21940 33554432000 4194304 4196468 140722648504336 140611931097360 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14843] ppid=14831 vsize=26105492 memory=5792 CPUtime=0 cores=0-7
/proc/14834/task/14843/stat : 14843 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062003 26732023808 21940 33554432000 4194304 4196468 140722648504336 140611930045072 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14844] ppid=14831 vsize=26105492 memory=4612 CPUtime=0 cores=0-7
/proc/14834/task/14844/stat : 14844 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 81062003 26732023808 21940 33554432000 4194304 4196468 140722648504336 140611928992272 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14845] ppid=14831 vsize=26105492 memory=9920 CPUtime=0 cores=0-7
/proc/14834/task/14845/stat : 14845 (java) S 14831 14834 14552 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 81062005 26732023808 21940 33554432000 4194304 4196468 140722648504336 140610658859632 140611983751810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0

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

/proc/14834/task/14874/stat : 14874 (java) S 14831 14834 14552 0 -1 1077944384 529 0 0 0 1 0 0 0 20 0 46 0 81062723 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610541503376 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14875] ppid=14831 vsize=27850528 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/14834/task/14875/stat : 14875 (java) S 14831 14834 14552 0 -1 1077944384 434 0 0 0 1 0 0 0 20 0 46 0 81062723 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610540451088 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14876] ppid=14831 vsize=27850528 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/14834/task/14876/stat : 14876 (java) S 14831 14834 14552 0 -1 1077944384 587 0 0 0 1 0 0 0 20 0 46 0 81062723 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610539398288 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14877] ppid=14831 vsize=27850528 memory=24260 CPUtime=0.01 cores=0-7
/proc/14834/task/14877/stat : 14877 (java) S 14831 14834 14552 0 -1 1077944384 663 0 0 0 1 0 0 0 20 0 46 0 81062726 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610538346000 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14878] ppid=14831 vsize=27850528 memory=5912436 CPUtime=0.01 cores=0-7
/proc/14834/task/14878/stat : 14878 (java) S 14831 14834 14552 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 46 0 81062730 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610537293200 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14879] ppid=14831 vsize=27850528 memory=5908324 CPUtime=0.01 cores=0-7
/proc/14834/task/14879/stat : 14879 (java) S 14831 14834 14552 0 -1 1077944384 515 0 0 0 1 0 0 0 20 0 46 0 81062731 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610536240912 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14880] ppid=14831 vsize=27850528 memory=281099036399584 CPUtime=0 cores=0-7
/proc/14834/task/14880/stat : 14880 (java) S 14831 14834 14552 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 46 0 81062734 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610535188112 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
Current children cumulated CPU time: 19783 s
Current children cumulated vsize: 27850528 KiB
Current children cumulated memory: 5908324 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.46 8.57 8.45 10/224 14939
/proc/meminfo: memFree=18395312/32770624 swapFree=67108860/67108860
[pid=14834] ppid=14831 vsize=27850528 memory=5908324 CPUtime=19923.3 cores=0-7
/proc/14834/stat : 14834 (java) S 14831 14834 14552 0 -1 1077944320 1813919 0 0 0 1991170 1161 0 0 20 0 46 0 81062002 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140722648486880 140611983740663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
/proc/14834/statm: 6962632 1477081 3625 1 0 6924182 0
[pid=14834/tid=14836] ppid=14831 vsize=27850528 memory=1398720917958146503 CPUtime=6.25 cores=0-7
/proc/14834/task/14836/stat : 14836 (java) S 14831 14834 14552 0 -1 1077944384 21914 0 0 0 617 8 0 0 20 0 46 0 81062003 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140611987978128 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14837] ppid=14831 vsize=27850528 memory=4872558044660077418 CPUtime=11.41 cores=0-7
/proc/14834/task/14837/stat : 14837 (java) S 14831 14834 14552 0 -1 1077944384 129800 0 0 0 1083 58 0 0 20 0 46 0 81062003 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140611936361360 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 40 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14838] ppid=14831 vsize=27850528 memory=5908324 CPUtime=11.3 cores=0-7
/proc/14834/task/14838/stat : 14838 (java) S 14831 14834 14552 0 -1 1077944384 120372 0 0 0 1074 56 0 0 20 0 46 0 81062003 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140611935308560 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 41 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14839] ppid=14831 vsize=27850528 memory=5908324 CPUtime=11.32 cores=0-7
/proc/14834/task/14839/stat : 14839 (java) S 14831 14834 14552 0 -1 1077944384 110980 0 0 0 1077 55 0 0 20 0 46 0 81062003 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140611934256272 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 41 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14840] ppid=14831 vsize=27850528 memory=5908324 CPUtime=11.43 cores=0-7
/proc/14834/task/14840/stat : 14840 (java) S 14831 14834 14552 0 -1 1077944384 115049 0 0 0 1086 57 0 0 20 0 46 0 81062003 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140611933203472 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 40 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14841] ppid=14831 vsize=27850528 memory=2240 CPUtime=11.41 cores=0-7
/proc/14834/task/14841/stat : 14841 (java) S 14831 14834 14552 0 -1 1077944384 116669 0 0 0 1082 59 0 0 20 0 46 0 81062003 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140611932150160 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 41 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14842] ppid=14831 vsize=27850528 memory=4128 CPUtime=11.4 cores=0-7
/proc/14834/task/14842/stat : 14842 (java) S 14831 14834 14552 0 -1 1077944384 125548 0 0 0 1084 56 0 0 20 0 46 0 81062003 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140611931097360 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14843] ppid=14831 vsize=27850528 memory=2200 CPUtime=11.41 cores=0-7
/proc/14834/task/14843/stat : 14843 (java) S 14831 14834 14552 0 -1 1077944384 121918 0 0 0 1083 58 0 0 20 0 46 0 81062003 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140611930045072 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14844] ppid=14831 vsize=27850528 memory=7892 CPUtime=11.39 cores=0-7
/proc/14834/task/14844/stat : 14844 (java) S 14831 14834 14552 0 -1 1077944384 110504 0 0 0 1081 58 0 0 20 0 46 0 81062003 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140611928992272 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14845] ppid=14831 vsize=27850528 memory=4136 CPUtime=7.73 cores=0-7
/proc/14834/task/14845/stat : 14845 (java) S 14831 14834 14552 0 -1 1077944384 177500 0 0 0 696 77 0 0 20 0 46 0 81062005 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610658859632 140611983751810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14846] ppid=14831 vsize=27850528 memory=24260 CPUtime=0 cores=0-7
/proc/14834/task/14846/stat : 14846 (java) S 14831 14834 14552 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 46 0 81062005 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610657805664 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14847] ppid=14831 vsize=27850528 memory=1292 CPUtime=0 cores=0-7
/proc/14834/task/14847/stat : 14847 (java) S 14831 14834 14552 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 46 0 81062006 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610656753280 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14848] ppid=14831 vsize=27850528 memory=5908324 CPUtime=0 cores=0-7
/proc/14834/task/14848/stat : 14848 (java) S 14831 14834 14552 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 81062008 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610655701584 140611983759259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14849] ppid=14831 vsize=27850528 memory=5908324 CPUtime=1.64 cores=0-7
/proc/14834/task/14849/stat : 14849 (java) S 14831 14834 14552 0 -1 1077944384 11361 0 0 0 162 2 0 0 20 0 46 0 81062008 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610654648432 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14850] ppid=14831 vsize=27850528 memory=15876 CPUtime=1.53 cores=0-7
/proc/14834/task/14850/stat : 14850 (java) S 14831 14834 14552 0 -1 1077944384 7898 0 0 0 151 2 0 0 20 0 46 0 81062008 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610585487344 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14851] ppid=14831 vsize=27850528 memory=18268 CPUtime=1.52 cores=0-7
/proc/14834/task/14851/stat : 14851 (java) S 14831 14834 14552 0 -1 1077944384 6108 0 0 0 150 2 0 0 20 0 46 0 81062008 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610584435056 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14852] ppid=14831 vsize=27850528 memory=14904 CPUtime=1.31 cores=0-7
/proc/14834/task/14852/stat : 14852 (java) S 14831 14834 14552 0 -1 1077944384 16650 0 0 0 128 3 0 0 20 0 46 0 81062008 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610583382256 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14853] ppid=14831 vsize=27850528 memory=4052 CPUtime=0 cores=0-7
/proc/14834/task/14853/stat : 14853 (java) S 14831 14834 14552 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 81062008 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610582330208 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14854] ppid=14831 vsize=27850528 memory=644 CPUtime=0.75 cores=0-7
/proc/14834/task/14854/stat : 14854 (java) S 14831 14834 14552 0 -1 1077944384 9800 0 0 0 29 46 0 0 20 0 46 0 81062008 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610581277488 140611983751810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14855] ppid=14831 vsize=27850528 memory=5792 CPUtime=0.02 cores=0-7
/proc/14834/task/14855/stat : 14855 (java) S 14831 14834 14552 0 -1 1077944384 2661 0 0 0 2 0 0 0 20 0 46 0 81062597 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610569930064 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14856] ppid=14831 vsize=27850528 memory=4612 CPUtime=2.02 cores=0-7
/proc/14834/task/14856/stat : 14856 (java) R 14831 14834 14552 0 -1 1077944384 17823 0 0 0 75 127 0 0 20 0 46 0 81062618 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610566780448 140611983751810 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14857] ppid=14831 vsize=27850528 memory=9920 CPUtime=2475.76 cores=0-7
/proc/14834/task/14857/stat : 14857 (java) R 14831 14834 14552 0 -1 4202560 70851 0 0 0 247500 76 0 0 20 0 46 0 81062634 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610563625664 140611615743236 0 4 0 16800975 0 0 0 -1 7 0 0 46 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14858] ppid=14831 vsize=27850528 memory=1944 CPUtime=2477.57 cores=0-7
/proc/14834/task/14858/stat : 14858 (java) R 14831 14834 14552 0 -1 4202560 68567 0 0 0 247681 76 0 0 20 0 46 0 81062635 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610562571312 140611618063712 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14859] ppid=14831 vsize=27850528 memory=1428 CPUtime=0.09 cores=0-7
/proc/14834/task/14859/stat : 14859 (java) S 14831 14834 14552 0 -1 1077944384 801 0 0 0 9 0 0 0 20 0 46 0 81062636 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610561525008 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14860] ppid=14831 vsize=27850528 memory=5908324 CPUtime=0.09 cores=0-7
/proc/14834/task/14860/stat : 14860 (java) S 14831 14834 14552 0 -1 1077944384 553 0 0 0 9 0 0 0 20 0 46 0 81062643 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610558375056 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14861] ppid=14831 vsize=27850528 memory=5912436 CPUtime=0.05 cores=0-7
/proc/14834/task/14861/stat : 14861 (java) S 14831 14834 14552 0 -1 1077944384 238 0 0 0 5 0 0 0 20 0 46 0 81062643 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610557322768 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14862] ppid=14831 vsize=27850528 memory=5913460 CPUtime=2477.13 cores=0-7
/proc/14834/task/14862/stat : 14862 (java) R 14831 14834 14552 0 -1 4202560 71856 0 0 0 247636 77 0 0 20 0 46 0 81062643 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610556263904 140611620250502 0 4 0 16800975 0 0 0 -1 0 0 0 41 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14863] ppid=14831 vsize=27850528 memory=5910896 CPUtime=2475.08 cores=0-7
/proc/14834/task/14863/stat : 14863 (java) R 14831 14834 14552 0 -1 4202560 71609 0 0 0 247439 69 0 0 20 0 46 0 81062643 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610555212560 140611615148426 0 4 0 16800975 0 0 0 -1 1 0 0 42 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14864] ppid=14831 vsize=27850528 memory=4872558044660077418 CPUtime=2477.66 cores=0-7
/proc/14834/task/14864/stat : 14864 (java) R 14831 14834 14552 0 -1 4202560 77209 0 0 0 247693 73 0 0 20 0 46 0 81062644 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610554157640 140611962818195 0 4 0 16800975 0 0 0 -1 2 0 0 45 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14865] ppid=14831 vsize=27850528 memory=1800 CPUtime=2476.41 cores=0-7
/proc/14834/task/14865/stat : 14865 (java) R 14831 14834 14552 0 -1 4202560 81013 0 0 0 247566 75 0 0 20 0 46 0 81062644 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610553107056 140611617573403 0 4 0 16800975 0 0 0 -1 4 0 0 39 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14866] ppid=14831 vsize=27850528 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/14834/task/14866/stat : 14866 (java) S 14831 14834 14552 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 46 0 81062644 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610552058768 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14867] ppid=14831 vsize=27850528 memory=4216 CPUtime=2471.71 cores=0-7
/proc/14834/task/14867/stat : 14867 (java) R 14831 14834 14552 0 -1 4202560 72791 0 0 0 247097 74 0 0 20 0 46 0 81062655 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610551000552 140611620250561 0 4 0 16800975 0 0 0 -1 5 0 0 40 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14868] ppid=14831 vsize=27850528 memory=1408 CPUtime=2477.44 cores=0-7
/proc/14834/task/14868/stat : 14868 (java) R 14831 14834 14552 0 -1 4202560 67742 0 0 0 247668 76 0 0 20 0 46 0 81062655 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610549946400 140611615397600 0 4 0 16800975 0 0 0 -1 6 0 0 35 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14869] ppid=14831 vsize=27850528 memory=4524 CPUtime=0.01 cores=0-7
/proc/14834/task/14869/stat : 14869 (java) S 14831 14834 14552 0 -1 1077944384 726 0 0 0 1 0 0 0 20 0 46 0 81062656 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610548901392 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14870] ppid=14831 vsize=27850528 memory=5908324 CPUtime=0.02 cores=0-7
/proc/14834/task/14870/stat : 14870 (java) S 14831 14834 14552 0 -1 1077944384 423 0 0 0 2 0 0 0 20 0 46 0 81062656 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610547848592 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14871] ppid=14831 vsize=27850528 memory=4104 CPUtime=0.01 cores=0-7
/proc/14834/task/14871/stat : 14871 (java) S 14831 14834 14552 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 46 0 81062656 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610546796304 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14872] ppid=14831 vsize=27850528 memory=644 CPUtime=0.01 cores=0-7
/proc/14834/task/14872/stat : 14872 (java) S 14831 14834 14552 0 -1 1077944384 690 0 0 0 1 0 0 0 20 0 46 0 81062721 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610543609488 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14873] ppid=14831 vsize=27850528 memory=1200 CPUtime=0.01 cores=0-7
/proc/14834/task/14873/stat : 14873 (java) S 14831 14834 14552 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 46 0 81062722 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610542556176 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14874] ppid=14831 vsize=27850528 memory=15876 CPUtime=0.01 cores=0-7
/proc/14834/task/14874/stat : 14874 (java) S 14831 14834 14552 0 -1 1077944384 529 0 0 0 1 0 0 0 20 0 46 0 81062723 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610541503376 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14875] ppid=14831 vsize=27850528 memory=18268 CPUtime=0.01 cores=0-7
/proc/14834/task/14875/stat : 14875 (java) S 14831 14834 14552 0 -1 1077944384 434 0 0 0 1 0 0 0 20 0 46 0 81062723 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610540451088 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14876] ppid=14831 vsize=27850528 memory=14904 CPUtime=0.01 cores=0-7
/proc/14834/task/14876/stat : 14876 (java) S 14831 14834 14552 0 -1 1077944384 587 0 0 0 1 0 0 0 20 0 46 0 81062723 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610539398288 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14877] ppid=14831 vsize=27850528 memory=4052 CPUtime=0.01 cores=0-7
/proc/14834/task/14877/stat : 14877 (java) S 14831 14834 14552 0 -1 1077944384 663 0 0 0 1 0 0 0 20 0 46 0 81062726 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610538346000 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14878] ppid=14831 vsize=27850528 memory=644 CPUtime=0.01 cores=0-7
/proc/14834/task/14878/stat : 14878 (java) S 14831 14834 14552 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 46 0 81062730 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610537293200 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14879] ppid=14831 vsize=27850528 memory=1792 CPUtime=0.01 cores=0-7
/proc/14834/task/14879/stat : 14879 (java) S 14831 14834 14552 0 -1 1077944384 515 0 0 0 1 0 0 0 20 0 46 0 81062731 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610536240912 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14880] ppid=14831 vsize=27850528 memory=1232 CPUtime=0 cores=0-7
/proc/14834/task/14880/stat : 14880 (java) S 14831 14834 14552 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 46 0 81062734 28518940672 1477081 33554432000 4194304 4196468 140722648504336 140610535188112 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
Current children cumulated CPU time: 19923.3 s
Current children cumulated vsize: 27850528 KiB
Current children cumulated memory: 5908324 KiB

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

[startup+2520.24 s]
# the end of solver process 14834 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19913.1 s, system=11.6608 s

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

[startup+2520.2 s]
/proc/loadavg: 8.46 8.57 8.45 10/224 14939
/proc/meminfo: memFree=18395312/32770624 swapFree=67108860/67108860
[pid=14834] ppid=14831 vsize=27984684 memory=5909656 CPUtime=19924.7 cores=0-7
/proc/14834/stat : 14834 (java) S 14831 14834 14552 0 -1 1077944320 1821164 0 0 0 1991310 1162 0 0 20 0 45 0 81062002 28656316416 1477414 33554432000 4194304 4196468 140722648504336 140722648486880 140611983740663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
/proc/14834/statm: 6996171 1477414 3627 1 0 6957721 0
[pid=14834/tid=14836] ppid=14831 vsize=27984684 memory=2424 CPUtime=6.25 cores=0-7
/proc/14834/task/14836/stat : 14836 (java) S 14831 14834 14552 0 -1 1077944384 21938 0 0 0 617 8 0 0 20 0 45 0 81062003 28656316416 1477414 33554432000 4194304 4196468 140722648504336 140611987979344 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14837] ppid=14831 vsize=27984684 memory=1576 CPUtime=11.42 cores=0-7
/proc/14834/task/14837/stat : 14837 (java) S 14831 14834 14552 0 -1 1077944384 129800 0 0 0 1084 58 0 0 20 0 45 0 81062003 28656316416 1477414 33554432000 4194304 4196468 140722648504336 140611936361360 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 40 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14838] ppid=14831 vsize=27984684 memory=928 CPUtime=11.3 cores=0-7
/proc/14834/task/14838/stat : 14838 (java) S 14831 14834 14552 0 -1 1077944384 120373 0 0 0 1074 56 0 0 20 0 45 0 81062003 28656316416 1477414 33554432000 4194304 4196468 140722648504336 140611935308560 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14839] ppid=14831 vsize=27984684 memory=2240 CPUtime=11.32 cores=0-7
/proc/14834/task/14839/stat : 14839 (java) S 14831 14834 14552 0 -1 1077944384 110980 0 0 0 1077 55 0 0 20 0 45 0 81062003 28656316416 1477414 33554432000 4194304 4196468 140722648504336 140611934256272 140611983750869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 41 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14840] ppid=14831 vsize=27984684 memory=303430223234596890 CPUtime=11.43 cores=0-7
/proc/14834/task/14840/stat : 14840 (java) S 14831 14834 14552 0 -1 1077944384 115050 0 0 0 1086 57 0 0 20 0 45 0 81062003 28656316416 1477426 33554432000 4194304 4196468 140722648504336 140611933203472 140611983750869 256 4 0 16800975 0 0 0 -1 5 0 0 40 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14841] ppid=0 vsize=0 memory=288230583166042426 CPUtime=11.41 cores=0-7
/proc/14834/task/14841/stat : 14841 (java) X 0 -1 -1 0 -1 4228172 116675 0 0 0 1082 59 0 0 20 0 0 0 81062003 0 0 0 0 0 0 0 0 0 4 0 0 18446744073709551615 0 0 -1 1 0 0 41 0 0 0 0 0 0 0 0 0 0
[pid=14834/tid=14844] ppid=14831 vsize=27984684 memory=4216 CPUtime=11.4 cores=0-7
/proc/14834/task/14844/stat : 14844 (java) R 14831 14834 14552 0 -1 1077944384 110505 0 0 0 1082 58 0 0 20 0 26 0 81062003 28656316416 1477490 33554432000 4194304 4196468 140722648504336 140611928992272 140611983750869 256 4 0 16800975 0 0 0 -1 7 0 0 37 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
[pid=14834/tid=14851] ppid=14831 vsize=27984684 memory=6791534058613427641 CPUtime=1.54 cores=0-7
/proc/14834/task/14851/stat : 14851 (java) R 14831 14834 14552 0 -1 4203588 6982 0 0 0 152 2 0 0 20 0 15 0 81062008 28656316416 1477516 33554432000 4194304 4196468 140722648504336 140610584435056 140611983751810 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 36608
[pid=14834/tid=14852] ppid=14831 vsize=27984684 memory=920 CPUtime=1.33 cores=0-7
/proc/14834/task/14852/stat : 14852 (java) R 14831 14834 14552 0 -1 1077944384 18699 0 0 0 129 4 0 0 20 0 7 0 81062008 28656316416 1477552 33554432000 4194304 4196468 140722648504336 140610583378448 140611983750869 256 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22474752 140722648511565 140722648511749 140722648511749 140722648514511 0
Current children cumulated CPU time: 19924.7 s
Current children cumulated vsize: 27984684 KiB
Current children cumulated memory: 5909656 KiB

Child status: 143
Real time (s): 2520.24
CPU time (s): 19924.8
CPU user time (s): 19913.1
CPU system time (s): 11.6608
CPU usage (%): 790.591
Max. virtual memory (cumulated for all children) (KiB): 27984684
Max. memory (cumulated for all children) (KiB): 6136460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19913.1
system time used= 11.6608
maximum resident set size= 6139068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1821195
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 751106
involuntary context switches= 424773


# summary of solver processes directly reported to runsolver:
#   pid: 14834
#   total CPU time (s): 19924.8
#   total CPU user time (s): 19913.1
#   total CPU system time (s): 11.6608

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.004 second user time and 38.1269 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-26 21:56:27
IDJOB=4291745
IDBENCH=141155
IDSOLVER=2745
FILE ID=node150/4291745-1532634987
RUNJOBID= node150-1532633896-14579
PBS_JOBID= 21022183
Free space on /tmp= 53100 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-07-02
BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay300_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291745-1532634987/watcher-4291745-1532634987 -o /tmp/evaluation-result-4291745-1532634987/solver-4291745-1532634987 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1532633896-14579 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 2132310347 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4291745-1532634987.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 39aa8271d93aad234a0495f796e0a456
RANDOM SEED=2132310347

node150.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.76
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.76
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.76
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.76
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:        24306208 kB
MemAvailable:   31930572 kB
Buffers:          210412 kB
Cached:          7606588 kB
SwapCached:            0 kB
Active:          2210748 kB
Inactive:        5657096 kB
Active(anon):       3548 kB
Inactive(anon):    75212 kB
Active(file):    2207200 kB
Inactive(file):  5581884 kB
Unevictable:        7744 kB
Mlocked:            7744 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35800 kB
Writeback:             0 kB
AnonPages:         58888 kB
Mapped:            40788 kB
Shmem:             25224 kB
Slab:             291820 kB
SReclaimable:     263740 kB
SUnreclaim:        28080 kB
KernelStack:        3152 kB
PageTables:         4160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 53064 MiB
End job on node150 at 2018-07-26 22:38:28