Trace number 4308687

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)1433796 2520.12 2453.93

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay200_c18.xml
MD5SUMef8d95b3b89bfc5ccba73a2d09f74d17
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1433796
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints200
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree30
Distribution of variable degrees[{"degree":2,"count":190},{"degree":3,"count":378},{"degree":4,"count":330},{"degree":5,"count":258},{"degree":6,"count":209},{"degree":7,"count":129},{"degree":8,"count":125},{"degree":9,"count":75},{"degree":10,"count":68},{"degree":11,"count":60},{"degree":12,"count":43},{"degree":13,"count":29},{"degree":14,"count":28},{"degree":15,"count":14},{"degree":16,"count":7},{"degree":17,"count":8},{"degree":18,"count":9},{"degree":19,"count":8},{"degree":20,"count":14},{"degree":21,"count":8},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":30,"count":1}]
Minimum constraint arity36
Maximum constraint arity75
Distribution of constraint arities[{"arity":36,"count":2},{"arity":37,"count":5},{"arity":38,"count":4},{"arity":39,"count":4},{"arity":40,"count":2},{"arity":41,"count":4},{"arity":42,"count":7},{"arity":43,"count":7},{"arity":44,"count":7},{"arity":45,"count":8},{"arity":46,"count":7},{"arity":47,"count":9},{"arity":48,"count":10},{"arity":49,"count":9},{"arity":50,"count":20},{"arity":51,"count":16},{"arity":52,"count":7},{"arity":53,"count":13},{"arity":54,"count":9},{"arity":55,"count":10},{"arity":56,"count":6},{"arity":57,"count":6},{"arity":58,"count":6},{"arity":59,"count":4},{"arity":60,"count":5},{"arity":61,"count":2},{"arity":62,"count":2},{"arity":63,"count":1},{"arity":64,"count":1},{"arity":65,"count":1},{"arity":67,"count":2},{"arity":68,"count":3},{"arity":75,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":200}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.68/0.54	c version: 2018-08-14
0.68/0.55	c seed: 128492065
0.68/0.55	c timeout: 2520
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.57	c Parsing instance...
3.51/1.93	c Parsing done, starting first complete search...
4.00/2.17	o 0
4.00/2.17	o 7837
4.00/2.17	o 8867
4.00/2.17	o 16704
4.00/2.18	o 22526
4.00/2.18	o 23615
4.00/2.19	o 24686
4.00/2.19	o 31434
4.00/2.19	o 32523
4.00/2.19	o 33300
4.00/2.19	o 41137
4.00/2.19	o 45541
4.00/2.20	o 47782
4.00/2.20	o 52462
4.21/2.20	o 73418
4.21/2.21	o 76886
4.21/2.21	o 90417
4.21/2.21	o 91506
4.21/2.21	o 96186
4.21/2.21	o 116003
4.21/2.21	o 123935
4.21/2.21	o 126902
4.21/2.21	o 130468
4.21/2.21	o 138320
4.21/2.22	o 140388
4.21/2.22	o 143834
4.21/2.22	o 144489
4.21/2.22	o 145902
4.21/2.22	o 150996
4.21/2.22	o 158833
4.21/2.23	o 165744
4.21/2.23	o 166322
4.21/2.23	o 169773
4.21/2.23	o 171377
4.21/2.23	o 172790
4.21/2.24	o 174578
4.21/2.24	o 176819
4.21/2.24	o 177289
4.21/2.24	o 179530
4.21/2.24	o 181598
4.21/2.24	o 182176
4.21/2.24	o 183386
4.21/2.24	o 185627
4.21/2.25	o 191716
4.21/2.25	o 197472
4.21/2.25	o 199713
4.21/2.25	o 201353
4.21/2.25	o 202336
4.21/2.25	o 204577
4.21/2.25	o 205811
4.21/2.25	o 209084
4.21/2.26	o 211325
4.21/2.26	o 212174
4.21/2.26	o 215398
4.21/2.26	o 215654
4.21/2.27	o 217281
4.21/2.27	o 218007
4.21/2.27	o 220248
4.21/2.27	o 221764
4.21/2.27	o 222020
4.21/2.28	o 222420
4.21/2.29	o 223112
4.21/2.29	o 225200
4.21/2.29	o 229604
4.21/2.29	o 229860
4.21/2.29	o 231405
4.21/2.29	o 231632
4.21/2.29	o 236599
4.52/2.31	o 236641
4.52/2.32	o 240083
4.52/2.32	o 245853
4.52/2.32	o 252215
4.52/2.32	o 256955
4.52/2.32	o 257182
4.52/2.32	o 257976
4.52/2.32	o 265114
4.52/2.33	o 266886
4.52/2.36	o 266952
4.52/2.36	o 267208
4.52/2.37	o 267999
4.52/2.37	o 270966
4.52/2.37	o 272803
4.52/2.37	o 276584
4.52/2.38	o 279551
4.52/2.38	o 281191
4.52/2.38	o 281790
4.52/2.38	o 284757
4.82/2.41	o 285571
4.82/2.41	o 287211
4.82/2.42	o 287421
4.82/2.42	o 290388
4.82/2.42	o 292028
4.82/2.42	o 293573
4.82/2.43	o 294472
4.82/2.43	o 294556
4.82/2.43	o 297352
4.82/2.43	o 300918
4.82/2.49	o 301391
4.82/2.49	o 303031
4.82/2.49	o 303115
4.82/2.49	o 303423
4.82/2.49	o 306989
4.82/2.49	o 308629
5.12/2.50	o 308761
5.12/2.50	o 310401
5.12/2.51	o 314024
5.12/2.51	o 314108
5.12/2.52	o 315664
5.12/2.52	o 315748
5.12/2.53	o 317520
5.12/2.55	o 318454
5.12/2.55	o 322020
5.12/2.55	o 323660
5.12/2.58	o 324899
5.12/2.58	o 324983
5.27/2.61	o 325285
5.27/2.61	o 325541
5.27/2.62	o 327086
5.27/2.63	o 332707
5.27/2.63	o 334347
5.27/2.68	o 335815
5.27/2.68	o 342177
5.50/2.81	o 342268
5.50/2.87	o 345617
5.50/2.87	o 346321
5.50/2.87	o 346412
5.60/2.94	o 347187
5.60/2.94	o 348035
5.60/2.94	o 353549
5.60/2.94	o 353915
5.60/2.94	o 354006
5.60/2.95	o 354253
5.60/2.95	o 354344
5.60/3.00	o 356980
5.60/3.00	o 359947
5.60/3.01	o 360038
5.71/3.05	o 361290
5.71/3.05	o 361381
5.71/3.05	o 365164
5.71/3.05	o 365255
5.71/3.06	o 366804
5.71/3.06	o 366895
5.71/3.09	o 367060
5.71/3.09	o 367151
5.71/3.10	o 367633
5.83/3.14	o 370386
5.83/3.14	o 371217
5.83/3.14	o 371308
5.83/3.14	o 376506
5.83/3.14	o 376597
5.83/3.15	o 376651
5.83/3.15	o 376742
5.83/3.15	o 379618
5.83/3.15	o 379709
6.12/3.46	o 384126
6.12/3.46	o 384217
6.12/3.48	o 386853
6.12/3.48	o 389820
6.12/3.48	o 389911
6.32/3.62	o 394697
6.32/3.62	o 394788
6.52/3.83	o 394953
6.52/3.83	o 395044
6.65/3.91	o 398065
6.65/3.91	o 398156
6.87/4.16	o 399348
6.87/4.16	o 399439
6.87/4.17	o 400652
6.87/4.17	o 400743
6.87/4.17	o 400908
6.87/4.17	o 400999
6.87/4.17	o 402680
6.87/4.17	o 402771
7.17/4.48	o 402875
7.27/4.51	o 403240
7.27/4.51	o 406207
8.49/5.79	o 407060
8.49/5.79	o 407642
8.59/5.85	o 407911
8.59/5.85	o 408493
8.59/5.85	o 408496
8.59/5.85	o 409078
8.59/5.85	o 409880
8.59/5.85	o 410287
8.59/5.85	o 410869
8.59/5.86	o 411425
8.59/5.89	o 411841
8.59/5.89	o 414808
8.59/5.89	o 418140
9.49/6.76	o 420900
9.49/6.76	o 421482
9.49/6.78	o 423066
9.49/6.78	o 426398
9.49/6.79	o 426980
11.83/9.02	o 428493
12.42/9.61	o 429555
12.42/9.61	o 431327
12.42/9.61	o 434659
12.42/9.66	o 435241
14.03/11.21	o 436826
14.03/11.21	o 437815
14.03/11.21	o 440158
14.03/11.24	o 440740
14.84/12.10	o 442935
14.84/12.10	o 443924
14.94/12.19	o 446267
21.29/18.48	o 446748
21.59/18.71	o 447338
21.59/18.71	o 447787
21.59/18.71	o 449110
21.59/18.71	o 450099
21.59/18.71	o 451119
21.59/18.71	o 452442
23.60/20.72	o 452986
23.60/20.72	o 454006
23.60/20.72	o 455329
23.60/20.73	o 455778
23.60/20.74	o 457101
33.20/30.38	o 458027
33.30/30.40	o 458609
33.70/30.89	o 459040
33.70/30.89	o 460186
33.70/30.89	o 461283
33.70/30.89	o 461509
33.70/30.89	o 462606
33.70/30.89	o 462664
33.70/30.89	o 463761
33.91/31.06	o 466084
33.91/31.06	o 467181
33.91/31.07	o 467650
33.91/31.07	o 469441
33.91/31.07	o 470538
34.01/31.11	o 471001
34.01/31.11	o 472098
34.01/31.12	o 472773
34.01/31.12	o 473870
34.40/31.53	o 473930
34.40/31.56	o 474264
34.40/31.56	o 474939
34.40/31.56	o 476036
34.40/31.59	o 478271
34.40/31.59	o 479368
39.11/36.28	o 479378
42.81/39.90	o 479824
42.81/39.91	o 480942
42.81/39.91	o 482450
42.81/39.91	o 483830
42.81/39.91	o 485338
46.93/44.03	o 485896
46.93/44.03	o 485906
47.04/44.12	o 485948
47.04/44.12	o 485958
47.04/44.12	o 487456
47.04/44.12	o 487466
47.04/44.13	o 487720
47.04/44.13	o 487730
47.04/44.13	o 489228
47.04/44.13	o 489238
63.84/60.99	o 490701
63.84/60.99	o 490711
64.74/61.86	o 491149
64.74/61.86	o 491159
64.84/61.93	o 491638
64.84/61.93	o 491648
64.84/61.94	o 492246
64.84/61.94	o 492256
70.55/67.63	o 492932
70.55/67.64	o 492942
71.55/68.69	o 494306
71.55/68.69	o 494316
71.65/68.76	o 495291
71.65/68.76	o 495301
71.65/68.77	o 496836
71.65/68.77	o 496846
72.96/70.03	o 497100
72.96/70.03	o 497110
72.96/70.03	o 498608
72.96/70.04	o 498618
74.65/71.71	o 498659
74.65/71.71	o 498669
74.65/71.71	o 500167
74.65/71.71	o 500177
74.65/71.71	o 505681
74.65/71.71	o 505691
74.65/71.72	o 506144
74.65/71.72	o 506154
74.65/71.72	o 507916
74.65/71.72	o 507926
74.65/71.73	o 509013
74.65/71.73	o 509023
81.57/78.66	o 509262
81.57/78.66	o 509272
81.57/78.66	o 512828
81.57/78.66	o 512838
81.57/78.66	o 516160
81.57/78.66	o 516170
82.98/80.03	o 516424
82.98/80.03	o 517932
82.98/80.03	o 517942
86.42/83.39	o 520387
86.42/83.39	o 521895
86.42/83.39	o 521905
86.62/83.56	o 522570
86.62/83.56	o 522580
86.62/83.56	o 523667
86.62/83.56	o 523677
115.86/112.77	o 524599
115.86/112.77	o 524609
151.90/148.73	o 525162
153.40/150.22	o 526239
153.40/150.22	o 527562
153.40/150.22	o 528494
201.47/198.23	o 529314
201.47/198.23	o 529479
201.47/198.23	o 530411
207.29/204.04	o 530616
207.29/204.04	o 532124
207.29/204.04	o 533056
207.29/204.04	o 533221
207.29/204.04	o 534153
207.29/204.04	o 534993
207.29/204.04	o 535925
256.55/253.27	c First complete search done, starting ALNS search...
256.83/253.45	o 536589
256.83/253.45	o 537063
256.83/253.45	o 537580
256.83/253.46	o 538054
256.83/253.46	o 538616
256.83/253.46	o 539090
256.83/253.46	o 539929
256.83/253.46	o 540403
256.83/253.46	o 540920
256.83/253.46	o 541394
256.96/253.59	o 542529
256.96/253.59	o 543842
256.96/253.59	o 544828
256.96/253.59	o 546141
256.96/253.60	o 546652
257.06/253.60	o 547340
257.06/253.60	o 550814
257.06/253.60	o 552127
257.78/254.05	o 554335
257.78/254.05	o 555779
257.78/254.05	o 557178
257.78/254.06	o 561077
257.78/254.06	o 562521
257.78/254.06	o 565830
257.78/254.06	o 567274
257.78/254.06	o 568533
257.78/254.06	o 572747
257.78/254.06	o 574191
257.78/254.06	o 576518
257.78/254.06	o 577962
257.78/254.06	o 580732
257.78/254.06	o 582176
257.78/254.06	o 584631
257.78/254.06	o 586075
257.78/254.06	o 586994
257.78/254.06	o 590158
257.78/254.07	o 591077
257.78/254.07	o 591602
257.78/254.07	o 592521
257.78/254.07	o 593244
257.78/254.07	o 594688
257.78/254.07	o 594872
257.78/254.07	o 598771
257.78/254.07	o 600215
257.78/254.07	o 601134
257.78/254.07	o 601979
257.78/254.07	o 603515
257.78/254.07	o 604959
257.78/254.07	o 605878
257.78/254.07	o 606530
257.78/254.07	o 606845
257.78/254.08	o 609825
257.78/254.08	o 610744
257.78/254.08	o 614569
257.78/254.08	o 615488
257.78/254.08	o 616013
257.78/254.08	o 616932
257.78/254.08	o 617374
257.78/254.08	o 618329
257.78/254.08	o 618771
257.78/254.08	o 620200
257.78/254.08	o 622198
257.78/254.08	o 622728
257.78/254.08	o 623043
257.78/254.08	o 626942
257.78/254.08	o 627384
258.06/254.24	o 627572
258.06/254.24	o 628174
258.06/254.24	o 629460
258.06/254.24	o 630379
258.06/254.24	o 630615
258.06/254.24	o 631534
258.06/254.24	o 632247
258.06/254.24	o 632344
258.06/254.24	o 633630
258.06/254.24	o 634785
258.06/254.24	o 635903
258.06/254.24	o 637058
258.06/254.24	o 637189
258.06/254.25	o 638344
258.06/254.25	o 639057
258.06/254.25	o 639263
258.06/254.25	o 639976
258.06/254.25	o 640015
258.06/254.25	o 640934
258.06/254.25	o 641301
258.06/254.25	o 642220
258.06/254.25	o 642933
258.06/254.25	o 643168
258.06/254.25	o 643844
258.06/254.25	o 644274
258.06/254.25	o 644339
258.06/254.26	o 645368
258.06/254.26	o 645499
258.06/254.26	o 646654
258.06/254.26	o 647875
258.06/254.26	o 649030
258.06/254.26	o 649949
258.06/254.26	o 650662
258.06/254.26	o 651036
258.06/254.26	o 651242
258.06/254.26	o 651955
258.06/254.26	o 652397
258.06/254.26	o 653110
258.06/254.27	o 653470
258.06/254.27	o 653772
258.06/254.27	o 654691
258.06/254.27	o 654927
258.06/254.27	o 655846
258.06/254.27	o 656559
258.06/254.27	o 657200
258.06/254.27	o 657331
258.06/254.27	o 658486
258.06/254.27	o 659199
258.06/254.27	o 659405
258.06/254.27	o 660118
258.06/254.27	o 660280
258.06/254.27	o 661370
258.06/254.27	o 661501
258.06/254.27	o 662656
258.06/254.28	o 663575
258.06/254.28	o 664288
258.06/254.28	o 665060
258.06/254.28	o 665979
258.06/254.28	o 666692
258.06/254.28	o 666928
258.06/254.28	o 667134
258.06/254.28	o 667847
258.06/254.28	o 668280
258.06/254.28	o 668993
258.06/254.28	o 669163
258.06/254.28	o 670082
258.06/254.28	o 670318
258.06/254.29	o 671237
258.06/254.29	o 671950
258.06/254.29	o 672112
258.06/254.29	o 672825
258.06/254.29	o 673333
258.06/254.29	o 674488
258.06/254.29	o 675201
258.06/254.29	o 675407
258.06/254.29	o 676120
258.06/254.29	o 676761
258.06/254.29	o 676892
258.06/254.29	o 678047
258.06/254.29	o 678966
258.06/254.29	o 679679
258.06/254.30	o 679803
258.06/254.30	o 680009
258.18/254.30	o 680722
258.18/254.30	o 680957
258.18/254.30	o 681016
258.18/254.30	o 681252
258.18/254.30	o 682171
258.18/254.30	o 682342
258.18/254.30	o 682473
258.18/254.30	o 683628
258.18/254.30	o 684547
258.18/254.30	o 684671
258.18/254.30	o 685590
258.18/254.30	o 686303
258.18/254.31	o 687187
258.18/254.31	o 688230
258.18/254.31	o 688943
258.18/254.31	o 689149
258.18/254.32	o 689862
258.18/254.32	o 690024
258.18/254.32	o 690071
258.18/254.32	o 691114
258.18/254.32	o 691357
258.18/254.32	o 692400
258.18/254.32	o 693319
258.18/254.32	o 694032
258.18/254.32	o 694916
258.18/254.32	o 695835
258.18/254.33	o 696548
258.18/254.33	o 696672
258.18/254.33	o 696878
258.18/254.33	o 697591
258.18/254.33	o 697868
258.18/254.33	o 697999
258.18/254.33	o 698235
258.18/254.33	o 699154
258.18/254.33	o 699278
258.18/254.33	o 700197
258.18/254.33	o 700910
258.18/254.33	o 700967
258.18/254.34	o 701173
258.18/254.34	o 701886
258.18/254.34	o 702356
258.18/254.34	o 702403
258.18/254.34	o 702534
258.18/254.34	o 702770
258.18/254.34	o 703689
258.18/254.34	o 703813
258.18/254.34	o 704732
258.18/254.34	o 705445
258.18/254.34	o 705558
258.18/254.34	o 706442
258.18/254.34	o 707485
258.18/254.35	o 708198
258.18/254.35	o 708404
258.18/254.35	o 709117
258.18/254.35	o 709600
258.18/254.35	o 709693
258.18/254.35	o 709899
258.18/254.35	o 710612
258.18/254.36	o 711095
258.18/254.36	o 711588
258.18/254.36	o 712105
258.18/254.36	o 712229
258.18/254.36	o 713148
258.18/254.36	o 713515
258.18/254.37	o 714434
258.18/254.37	o 715147
258.18/254.37	o 715630
258.18/254.37	o 715655
258.18/254.37	o 716148
258.18/254.37	o 716789
258.18/254.37	o 716920
258.18/254.37	o 717032
258.18/254.38	o 718075
258.18/254.38	o 718788
258.18/254.38	o 718994
258.18/254.38	o 719707
258.18/254.38	o 720190
258.18/254.38	o 720288
258.18/254.38	o 721207
258.18/254.38	o 721920
258.18/254.38	o 722403
258.18/254.39	o 722896
258.18/254.39	o 723160
258.18/254.39	o 723207
258.18/254.39	o 723537
258.18/254.39	o 724250
258.18/254.39	o 724823
258.18/254.39	o 725536
258.18/254.39	o 725742
258.18/254.39	o 726455
258.18/254.39	o 726938
258.30/254.40	o 727050
258.30/254.40	o 727533
258.30/254.40	o 727691
258.30/254.40	o 727822
258.30/254.40	o 727934
258.30/254.40	o 728977
258.30/254.40	o 729896
258.30/254.40	o 730609
258.30/254.41	o 731092
258.30/254.41	o 731585
258.30/254.41	o 731725
258.30/254.41	o 732469
258.30/254.41	o 733388
258.30/254.41	o 734101
258.30/254.41	o 734225
258.30/254.41	o 734431
258.30/254.41	o 735144
258.30/254.41	o 735627
258.30/254.43	o 736225
258.30/254.43	o 736555
258.30/254.43	o 737268
258.30/254.43	o 737751
258.30/254.43	o 738358
258.30/254.43	o 739071
258.30/254.44	o 739339
258.30/254.44	o 739530
258.30/254.44	o 740243
258.30/254.44	o 740852
258.30/254.44	o 741516
258.30/254.44	o 742435
258.30/254.44	o 742671
258.30/254.44	o 743590
258.30/254.44	o 743957
258.30/254.44	o 744876
258.30/254.44	o 745589
258.30/254.44	o 746230
258.30/254.44	o 746361
258.30/254.45	o 746473
258.30/254.45	o 747516
258.30/254.45	o 748229
258.30/254.45	o 748435
258.30/254.45	o 749148
258.30/254.45	o 749757
258.30/254.45	o 750062
258.30/254.45	o 750981
258.30/254.45	o 751172
258.30/254.45	o 751885
258.30/254.45	o 752790
258.30/254.45	o 752921
258.30/254.45	o 753033
258.30/254.45	o 753157
258.30/254.46	o 754076
258.30/254.46	o 754267
258.30/254.46	o 754980
258.30/254.46	o 755053
258.30/254.46	o 755451
258.30/254.46	o 755951
258.30/254.46	o 756082
258.30/254.46	o 756194
258.30/254.46	o 756318
258.30/254.46	o 757237
258.30/254.46	o 757408
258.30/254.46	o 757539
258.30/254.46	o 757651
258.30/254.46	o 758694
258.30/254.46	o 759613
258.30/254.47	o 760326
258.30/254.47	o 761210
258.30/254.47	o 762129
258.30/254.47	o 762842
258.30/254.47	o 762966
258.30/254.47	o 763172
258.30/254.47	o 763885
258.30/254.47	o 764368
258.30/254.48	o 764463
258.30/254.48	o 764840
258.30/254.48	o 764971
258.30/254.48	o 765207
258.30/254.48	o 766126
258.30/254.48	o 766839
258.30/254.48	o 766963
258.30/254.49	o 767169
258.30/254.49	o 767882
258.30/254.49	o 768365
258.41/254.51	o 768872
258.41/254.51	o 769355
258.41/254.53	o 769751
260.57/256.28	o 770353
265.46/260.27	o 771206
265.46/260.27	o 771602
265.46/260.27	o 772890
265.46/260.27	o 774688
265.46/260.27	o 776001
265.46/260.27	o 776397
265.57/260.30	o 776475
265.57/260.30	o 776871
265.57/260.30	o 777925
265.57/260.30	o 778321
265.57/260.30	o 779472
265.57/260.30	o 779957
265.57/260.30	o 781270
265.57/260.30	o 781666
265.57/260.31	o 781803
265.57/260.31	o 782720
265.57/260.31	o 783116
265.57/260.31	o 783229
265.57/260.31	o 783625
265.67/260.45	o 783930
265.67/260.45	o 784981
265.67/260.45	o 786294
265.67/260.45	o 786779
265.67/260.45	o 788092
265.67/260.46	o 788488
265.67/260.46	o 788601
265.67/260.46	o 788997
265.79/260.50	o 789542
265.79/260.50	o 789938
265.79/260.50	o 790051
265.79/260.50	o 790447
265.89/260.68	o 791212
265.89/260.68	o 791608
266.00/260.73	o 791721
266.00/260.73	o 792117
266.20/260.96	o 792155
266.31/261.07	o 792395
266.31/261.07	o 792508
266.31/261.07	o 792904
266.31/261.09	o 793326
266.31/261.09	o 793811
266.31/261.09	o 795124
266.31/261.09	o 795481
266.31/261.09	o 796794
266.31/261.10	o 797190
266.31/261.10	o 797303
266.31/261.10	o 797699
266.50/261.22	o 798821
266.50/261.22	o 799217
266.50/261.22	o 799330
266.50/261.22	o 799726
266.50/261.23	o 800148
266.50/261.23	o 800633
266.50/261.23	o 801946
266.50/261.23	o 802303
266.50/261.23	o 803616
266.50/261.24	o 804012
266.50/261.24	o 804125
266.50/261.24	o 804521
267.23/261.99	o 805107
267.23/261.99	o 805198
267.23/261.99	o 805620
267.23/261.99	o 806472
267.23/262.00	o 806563
267.23/262.00	o 806611
267.37/262.01	o 807107
267.37/262.01	o 807198
267.37/262.01	o 807910
267.37/262.01	o 809667
267.37/262.01	o 809758
267.37/262.01	o 810519
267.37/262.01	o 810610
267.37/262.01	o 811032
267.37/262.01	o 811884
267.37/262.01	o 811975
267.37/262.01	o 812077
267.37/262.02	o 812168
267.37/262.02	o 812929
267.37/262.02	o 813020
267.37/262.02	o 813442
267.37/262.02	o 814294
267.37/262.02	o 814385
267.37/262.03	o 814690
267.37/262.03	o 814781
267.37/262.03	o 815058
267.37/262.03	o 815454
267.37/262.03	o 815545
267.37/262.03	o 815711
267.37/262.03	o 815802
267.37/262.03	o 816616
267.37/262.03	o 817468
267.37/262.03	o 817559
267.37/262.03	o 817864
267.37/262.04	o 817955
267.37/262.04	o 817981
267.37/262.04	o 818833
267.37/262.04	o 819229
267.37/262.04	o 819320
267.37/262.04	o 819449
267.37/262.04	o 819540
267.37/262.04	o 819905
267.37/262.04	o 820301
267.37/262.04	o 820392
267.37/262.05	o 820589
267.37/262.05	o 820680
267.37/262.05	o 821441
267.37/262.05	o 821532
267.37/262.05	o 822346
267.37/262.05	o 823198
267.37/262.05	o 823289
267.37/262.05	o 823444
267.37/262.05	o 823535
267.37/262.05	o 824296
267.37/262.05	o 824387
267.37/262.05	o 824692
267.37/262.05	o 824783
267.37/262.05	o 824977
267.37/262.05	o 825373
267.37/262.06	o 826051
267.37/262.06	o 826150
267.37/262.06	o 827002
267.37/262.06	o 828289
267.37/262.06	o 829092
267.37/262.06	o 830849
267.37/262.06	o 831701
267.37/262.06	o 831947
267.37/262.06	o 832799
267.37/262.06	o 833195
267.37/262.06	o 833286
267.37/262.06	o 834189
267.37/262.07	o 835946
267.37/262.07	o 836342
267.37/262.07	o 836433
267.37/262.07	o 836798
267.37/262.07	o 837194
267.37/262.07	o 837285
267.37/262.07	o 837548
267.37/262.07	o 837639
267.37/262.07	o 837840
267.37/262.07	o 838745
267.37/262.07	o 839597
267.37/262.08	o 839734
267.37/262.08	o 840884
267.37/262.08	o 841687
267.37/262.08	o 843444
267.37/262.08	o 844296
267.37/262.08	o 844387
267.37/262.08	o 844692
267.37/262.08	o 844783
267.37/262.08	o 845854
267.37/262.08	o 846250
267.37/262.09	o 846706
267.37/262.09	o 847102
267.37/262.09	o 847193
267.37/262.09	o 847235
267.37/262.09	o 847326
267.37/262.09	o 847631
267.37/262.09	o 847722
267.37/262.09	o 847748
267.37/262.09	o 848144
267.37/262.09	o 848600
267.37/262.10	o 848996
267.37/262.10	o 849087
267.37/262.10	o 849781
267.37/262.10	o 849872
267.37/262.10	o 850686
267.37/262.10	o 851538
267.37/262.11	o 851629
267.37/262.11	o 851934
267.48/262.11	o 852025
267.48/262.11	o 852191
267.48/262.11	o 853096
267.48/262.11	o 853948
267.48/262.11	o 854344
267.48/262.11	o 854435
267.48/262.11	o 854477
267.48/262.11	o 854873
267.48/262.11	o 854964
267.48/262.11	o 854990
267.48/262.11	o 855081
267.48/262.11	o 855842
267.48/262.12	o 855933
267.48/262.12	o 856238
267.48/262.12	o 856329
267.48/262.13	o 856357
267.48/262.13	o 856399
267.48/262.14	o 856795
267.48/262.14	o 856886
267.48/262.14	o 856912
267.48/262.14	o 857003
267.48/262.14	o 857764
267.48/262.14	o 857855
267.48/262.14	o 858160
267.48/262.14	o 858251
267.48/262.15	o 858554
267.48/262.15	o 859459
267.48/262.15	o 860311
267.48/262.15	o 860707
267.48/262.16	o 861381
267.48/262.16	o 861777
267.48/262.16	o 862233
267.48/262.16	o 862629
267.48/262.16	o 862720
267.48/262.16	o 862762
267.48/262.16	o 862853
267.48/262.16	o 863158
267.48/262.16	o 863249
267.48/262.16	o 863275
267.48/262.16	o 863671
267.48/262.16	o 864127
267.48/262.16	o 864523
267.48/262.17	o 864614
267.48/262.17	o 865172
267.48/262.17	o 865263
267.48/262.17	o 865568
267.48/262.18	o 865659
267.48/262.18	o 865685
267.48/262.18	o 866537
267.48/262.18	o 866933
267.48/262.18	o 867024
267.48/262.19	o 867170
267.48/262.19	o 868075
267.48/262.19	o 868927
267.48/262.19	o 869323
267.48/262.19	o 869414
267.48/262.19	o 870485
267.57/262.25	o 870601
267.57/262.25	o 874500
267.57/262.26	o 875161
267.57/262.26	o 879060
267.57/262.26	o 880373
267.57/262.26	o 884103
267.57/262.26	o 885416
267.57/262.26	o 888002
267.57/262.26	o 889315
267.57/262.26	o 890432
267.57/262.26	o 894331
267.57/262.26	o 895149
267.57/262.27	o 895644
267.57/262.27	o 896462
267.57/262.27	o 900361
267.57/262.27	o 901674
267.57/262.27	o 902737
267.57/262.27	o 904050
268.15/262.76	o 904068
268.15/262.76	o 904560
268.15/262.76	o 904972
268.15/262.76	o 906530
268.15/262.76	o 909186
268.15/262.76	o 911562
268.15/262.77	o 912054
268.15/262.77	o 913310
268.15/262.77	o 913802
268.15/262.77	o 915966
268.15/262.77	o 916458
268.15/262.77	o 916791
268.15/262.77	o 919167
268.15/262.77	o 919659
270.82/265.15	o 920784
270.82/265.16	o 921605
270.82/265.16	o 923527
271.01/265.32	o 924541
271.01/265.33	o 925624
271.01/265.33	o 929110
271.01/265.33	o 931032
271.01/265.36	o 931853
271.01/265.36	o 933775
271.11/265.43	o 935475
271.11/265.45	o 936558
271.11/265.45	o 940044
271.11/265.45	o 941966
271.11/265.48	o 942787
271.11/265.48	o 944709
271.83/266.18	o 945707
271.93/266.26	o 946565
271.93/266.27	o 947253
271.93/266.27	o 948817
271.93/266.27	o 950739
272.03/266.30	o 951560
272.03/266.30	o 953482
272.33/266.61	o 954490
272.33/266.61	o 955855
272.33/266.63	o 956543
272.33/266.64	o 957107
272.33/266.64	o 958107
272.33/266.64	o 960029
272.53/266.85	o 960850
272.53/266.86	o 962772
272.63/267.00	o 963202
272.74/267.10	o 963484
272.74/267.10	o 965406
272.84/267.18	o 966312
272.84/267.18	o 968234
272.84/267.19	o 969055
272.95/267.20	o 970977
273.05/267.34	o 972723
273.05/267.35	o 973282
273.05/267.35	o 975204
273.05/267.36	o 975466
273.05/267.36	o 976025
273.05/267.36	o 977947
273.35/267.61	o 978157
273.45/267.76	o 978631
273.86/268.16	o 979630
273.86/268.16	o 980104
273.96/268.27	o 980189
273.96/268.27	o 981035
273.96/268.27	o 982111
273.96/268.27	o 982585
274.26/268.55	o 983727
274.26/268.55	o 984201
274.26/268.55	o 984803
274.26/268.55	o 985277
274.36/268.68	o 985492
274.36/268.68	o 985966
274.36/268.69	o 986745
274.36/268.69	o 987219
274.36/268.69	o 987821
274.36/268.69	o 988295
274.36/268.70	o 988985
274.46/268.70	o 990907
274.46/268.70	o 991381
274.46/268.70	o 991983
274.46/268.70	o 992457
274.46/268.78	o 993311
274.46/268.78	o 993765
274.46/268.79	o 995687
274.46/268.79	o 996161
274.46/268.79	o 996763
274.46/268.79	o 997237
274.56/268.82	o 997473
274.56/268.82	o 997927
274.56/268.82	o 999849
274.56/268.82	o 1000323
274.56/268.83	o 1000925
274.56/268.83	o 1001399
274.66/268.97	o 1002592
274.66/268.97	o 1003066
274.66/268.97	o 1003668
274.66/268.97	o 1004142
274.89/269.14	o 1005073
274.89/269.14	o 1005547
274.89/269.14	o 1006149
274.89/269.14	o 1006623
275.49/269.78	o 1007032
275.49/269.78	o 1007506
275.49/269.78	o 1008108
275.49/269.78	o 1008582
277.11/271.36	o 1009092
277.11/271.36	o 1016705
277.11/271.36	o 1016804
277.11/271.36	o 1020604
277.11/271.36	o 1021890
282.93/277.04	o 1023134
282.93/277.04	o 1024033
282.93/277.04	o 1025790
282.93/277.08	o 1025979
282.93/277.08	o 1026070
282.93/277.08	o 1026898
282.93/277.08	o 1026989
282.93/277.09	o 1028306
282.93/277.09	o 1028397
282.93/277.09	o 1032033
282.93/277.09	o 1032124
283.05/277.12	o 1034518
283.05/277.12	o 1035804
283.05/277.12	o 1036880
283.05/277.12	o 1037130
283.05/277.13	o 1038416
283.05/277.13	o 1039492
283.05/277.13	o 1040503
284.71/278.79	o 1041262
284.71/278.79	o 1045162
293.48/287.24	o 1048297
293.48/287.24	o 1049308
293.48/287.24	o 1052701
293.48/287.24	o 1053712
293.48/287.25	o 1054499
293.48/287.25	o 1055510
293.48/287.28	o 1055615
293.48/287.28	o 1056328
293.48/287.28	o 1056588
293.48/287.28	o 1056794
293.48/287.28	o 1057247
293.48/287.28	o 1057507
293.48/287.29	o 1058417
293.48/287.29	o 1059130
293.48/287.29	o 1059336
293.48/287.29	o 1060049
293.48/287.29	o 1060201
293.48/287.29	o 1061120
293.48/287.29	o 1062857
293.48/287.30	o 1063776
293.58/287.30	o 1064489
293.58/287.30	o 1064749
293.58/287.36	o 1065866
293.58/287.36	o 1066337
293.58/287.36	o 1066675
293.58/287.36	o 1069331
293.58/287.36	o 1071198
293.58/287.37	o 1074690
293.58/287.37	o 1077346
293.58/287.39	o 1079250
293.58/287.39	o 1081906
293.69/287.46	o 1085259
293.69/287.46	o 1086270
293.81/287.50	o 1086827
293.81/287.50	o 1087903
293.81/287.50	o 1088163
293.81/287.51	o 1088914
293.81/287.51	o 1089174
293.81/287.56	o 1089428
293.81/287.56	o 1090238
293.81/287.57	o 1091020
293.81/287.57	o 1092942
293.81/287.57	o 1094040
293.81/287.57	o 1094699
293.81/287.57	o 1095797
293.81/287.57	o 1096598
293.81/287.57	o 1096685
293.81/287.57	o 1097696
293.81/287.57	o 1098421
293.81/287.57	o 1098788
293.81/287.57	o 1098870
293.81/287.58	o 1099529
293.81/287.58	o 1100627
293.81/287.58	o 1102011
293.81/287.58	o 1102176
293.81/287.58	o 1103933
293.81/287.58	o 1105031
293.81/287.59	o 1105950
293.91/287.61	o 1106504
293.91/287.62	o 1109408
302.08/295.60	o 1109472
302.08/295.69	o 1112050
302.20/295.72	o 1116775
313.13/306.44	o 1118541
313.13/306.44	o 1119653
313.13/306.44	o 1122685
313.13/306.44	o 1126395
313.68/306.99	o 1128030
313.80/307.02	o 1129135
313.80/307.02	o 1129395
313.80/307.02	o 1129486
313.80/307.03	o 1130034
313.80/307.03	o 1130125
313.80/307.03	o 1131791
313.80/307.03	o 1131882
313.80/307.03	o 1132051
313.80/307.03	o 1132142
313.99/307.23	o 1133463
313.99/307.23	o 1134063
313.99/307.23	o 1140182
313.99/307.23	o 1141101
327.12/320.06	o 1141209
327.12/320.06	o 1143865
327.12/320.09	o 1144273
327.12/320.09	o 1145125
327.12/320.09	o 1146023
327.12/320.10	o 1147060
327.12/320.10	o 1149824
327.46/320.36	o 1150520
327.46/320.36	o 1151806
327.56/320.44	o 1154406
327.56/320.44	o 1155692
327.66/320.55	o 1156146
327.66/320.55	o 1158068
330.59/323.38	o 1159796
330.79/323.42	o 1161303
330.79/323.42	o 1163679
330.79/323.42	o 1165203
330.79/323.42	o 1167579
330.79/323.42	o 1168655
330.79/323.42	o 1168904
330.79/323.42	o 1170881
330.79/323.42	o 1174781
330.79/323.42	o 1175857
330.79/323.42	o 1177157
330.79/323.42	o 1178233
331.00/323.61	o 1181135
331.10/323.75	o 1182083
331.10/323.75	o 1183002
331.10/323.75	o 1185197
331.10/323.75	o 1186483
331.10/323.75	o 1189097
331.10/323.75	o 1190383
331.10/323.75	o 1191302
331.10/323.75	o 1191773
331.10/323.75	o 1192140
331.10/323.75	o 1193059
331.21/323.82	o 1193743
331.21/323.82	o 1194321
331.21/323.82	o 1194362
331.21/323.82	o 1196119
331.21/323.83	o 1196581
331.21/323.83	o 1198379
331.21/323.83	o 1199665
331.21/323.83	o 1201463
331.21/323.84	o 1203220
333.58/326.19	o 1203583
333.58/326.19	o 1204681
333.58/326.19	o 1205233
333.58/326.19	o 1206331
333.58/326.19	o 1207190
333.58/326.20	o 1208288
333.58/326.20	o 1208840
333.68/326.20	o 1209938
372.47/364.18	o 1211672
372.47/364.18	o 1214356
372.47/364.18	o 1216154
372.47/364.18	o 1216732
372.47/364.18	o 1218530
372.47/364.19	o 1221104
372.47/364.19	o 1223480
372.47/364.19	o 1225278
372.97/364.61	o 1228609
372.97/364.62	o 1228700
373.17/364.89	o 1229242
373.17/364.89	o 1230340
373.17/364.89	o 1230957
373.17/364.89	o 1231219
373.17/364.89	o 1235119
373.28/364.90	o 1236217
373.69/365.32	o 1237681
373.69/365.32	o 1241482
375.25/366.85	o 1242045
375.25/366.85	o 1242136
377.94/369.41	o 1242184
377.94/369.41	o 1243036
377.94/369.41	o 1244971
377.94/369.41	o 1247735
378.70/370.20	o 1247868
380.47/371.86	o 1248277
380.47/371.86	o 1248368
380.68/372.03	o 1249417
380.68/372.03	o 1253127
382.92/374.27	o 1254996
382.92/374.27	o 1256094
383.03/374.34	o 1256711
383.03/374.34	o 1256802
383.03/374.34	o 1257809
383.03/374.34	o 1257900
383.23/374.56	o 1257913
383.23/374.56	o 1261499
383.23/374.56	o 1262452
383.64/374.90	o 1263726
383.64/374.91	o 1263817
383.64/374.99	o 1264965
389.17/380.37	o 1266701
389.17/380.37	o 1267849
389.17/380.37	o 1267940
389.17/380.39	o 1268509
389.17/380.39	o 1268600
389.27/380.42	o 1269657
389.27/380.42	o 1269748
389.37/380.52	o 1269937
389.37/380.52	o 1273738
389.37/380.53	o 1275226
389.37/380.53	o 1279027
410.86/401.55	o 1280313
410.86/401.59	o 1282228
410.86/401.60	o 1285195
412.42/403.10	o 1285836
412.93/403.50	o 1286348
412.93/403.50	o 1290083
412.93/403.50	o 1290724
418.58/409.07	o 1291458
418.58/409.07	o 1291591
418.87/409.38	o 1291831
418.87/409.38	o 1292472
418.98/409.44	o 1294829
418.98/409.44	o 1295470
422.69/413.08	o 1295645
422.69/413.08	o 1295736
422.69/413.08	o 1296286
422.69/413.08	o 1296377
423.08/413.44	o 1296399
423.08/413.44	o 1296463
423.08/413.45	o 1297040
423.08/413.45	o 1297104
423.39/413.72	o 1297228
426.37/416.65	o 1298520
426.37/416.65	o 1299668
426.92/417.12	o 1300744
427.74/417.96	o 1300783
427.74/417.96	o 1300847
431.73/421.86	o 1301767
431.73/421.86	o 1301858
431.73/421.87	o 1302011
431.73/421.87	o 1302102
431.85/422.00	o 1303132
431.85/422.00	o 1303223
431.85/422.01	o 1303376
431.96/422.01	o 1303467
432.26/422.38	o 1305654
433.18/423.30	o 1305738
461.45/450.81	o 1305874
461.45/450.81	o 1307022
461.45/450.87	o 1307975
481.42/470.33	o 1308000
481.42/470.38	o 1308382
481.42/470.38	o 1308466
481.42/470.39	o 1309335
481.42/470.39	o 1309419
481.83/470.73	o 1310271
481.93/470.90	o 1310355
507.22/495.41	o 1310867
507.45/495.65	o 1311885
507.45/495.68	o 1312074
507.45/495.68	o 1313163
507.45/495.68	o 1314261
507.55/495.76	o 1315729
507.55/495.76	o 1318105
507.55/495.76	o 1319253
507.55/495.76	o 1320617
507.55/495.76	o 1321765
507.55/495.76	o 1322993
507.55/495.76	o 1324141
509.54/497.68	o 1325329
509.54/497.68	o 1326405
509.54/497.68	o 1326615
509.54/497.68	o 1327691
509.85/497.95	o 1329008
509.85/497.95	o 1329099
521.11/508.86	o 1329733
521.11/508.86	o 1332109
523.72/511.32	o 1334177
523.72/511.32	o 1334730
523.72/511.33	o 1340325
523.72/511.33	o 1341478
523.72/511.33	o 1347073
533.96/521.33	o 1348763
533.96/521.33	o 1350128
533.96/521.33	o 1350212
541.59/528.73	o 1350597
541.59/528.73	o 1351407
542.71/529.88	o 1352231
542.71/529.88	o 1353041
542.71/529.88	o 1354418
542.71/529.88	o 1355228
542.71/529.88	o 1355319
542.71/529.88	o 1355826
542.71/529.88	o 1355917
542.71/529.88	o 1356636
542.71/529.88	o 1356727
545.07/532.13	o 1356952
545.37/532.44	o 1357279
547.83/534.80	o 1357665
589.14/574.97	o 1358819
589.14/574.97	o 1359686
589.14/574.97	o 1360227
589.14/574.97	o 1361094
590.48/576.29	o 1361144
590.48/576.29	o 1361954
590.58/576.38	o 1362097
590.69/576.42	o 1362907
591.53/577.29	o 1363601
591.53/577.29	o 1364235
591.53/577.29	o 1364332
591.53/577.29	o 1365045
591.53/577.29	o 1365835
591.53/577.29	o 1365978
591.53/577.30	o 1366788
591.53/577.30	o 1367422
591.63/577.30	o 1368232
591.63/577.30	o 1368945
592.13/577.85	o 1370114
596.77/582.36	o 1371797
596.77/582.36	o 1372607
596.77/582.36	o 1372750
596.77/582.36	o 1373560
596.77/582.36	o 1373651
596.77/582.39	o 1373984
596.77/582.39	o 1374937
596.77/582.39	o 1375028
596.87/582.40	o 1375747
596.87/582.40	o 1375838
596.97/582.59	o 1376660
596.97/582.59	o 1378068
596.97/582.60	o 1378710
596.97/582.60	o 1383270
596.97/582.60	o 1384678
597.28/582.85	o 1384733
597.28/582.86	o 1385389
597.28/582.86	o 1386833
597.28/582.86	o 1387700
597.28/582.87	o 1387716
597.28/582.87	o 1388293
597.28/582.87	o 1389160
605.07/590.49	o 1389200
605.07/590.49	o 1389291
605.17/590.51	o 1393076
605.17/590.51	o 1394520
605.17/590.53	o 1394611
605.29/590.64	o 1396831
605.29/590.64	o 1398275
608.46/593.71	o 1400107
608.46/593.71	o 1401060
608.46/593.71	o 1401571
646.73/630.68	o 1401577
646.73/630.68	o 1402387
646.73/630.68	o 1402530
646.73/630.68	o 1403340
680.55/663.68	o 1404430
698.47/681.15	o 1405359
703.98/686.44	o 1405931
845.81/824.21	o 1406598
992.54/967.25	o 1407131
992.54/967.25	o 1409278
992.54/967.25	o 1410738
993.38/968.01	o 1410822
995.72/970.33	o 1411069
995.72/970.33	o 1414036
995.82/970.40	o 1414120
1042.46/1015.70	o 1415546
1042.46/1015.71	o 1416259
1056.97/1030.00	o 1416961
1133.61/1104.73	o 1417552
1133.61/1104.73	o 1417636
1133.61/1104.73	o 1421245
1133.61/1104.73	o 1422112
1133.61/1104.73	o 1422196
1134.41/1105.51	o 1422976
1134.41/1105.51	o 1425163
1277.69/1244.88	o 1425676
1277.69/1244.88	o 1428052
1743.58/1698.42	o 1430561
1878.88/1829.95	o 1432357
1882.89/1833.80	o 1432466
1882.89/1833.80	o 1432511
1882.89/1833.80	o 1433224
2033.00/1979.84	o 1433796
2520.08/2453.90	s SATISFIABLE
2520.08/2453.91	v <instantiation>
2520.08/2453.91	v 	<list>
2520.08/2453.91	v 		b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999]
2520.08/2453.91	v 	</list>
2520.08/2453.91	v 	<values>
2520.08/2453.91	v 		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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 
2520.08/2453.91	v 	</values>
2520.08/2453.91	v </instantiation>

Verifier Data 

OK	1433796

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308687-1534281607/watcher-4308687-1534281607 -o /tmp/evaluation-result-4308687-1534281607/solver-4308687-1534281607 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534270601-15612 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 128492065 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308687-1534281607.xml 

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

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

solver pid=16768, runsolver pid=16765

[startup+0.100812 s]*
/proc/loadavg: 3.57 3.20 2.53 3/216 16783
/proc/meminfo: memFree=16674688/32770624 swapFree=67108688/67108860
[pid=16768] ppid=16765 vsize=14082736 memory=33728 CPUtime=0.12 cores=1,3,5,7
/proc/16768/stat : 16768 (java) S 16765 16768 13692 0 -1 1077944320 7374 0 0 0 11 1 0 0 20 0 15 0 245723587 14420721664 8432 33554432000 4194304 4196468 140723659170000 140723659152544 139992394469111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
/proc/16768/statm: 3520684 8432 3138 1 0 3482761 0
[pid=16768/tid=16770] ppid=16765 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/16768/task/16770/stat : 16770 (java) R 16765 16768 13692 0 -1 4202560 5445 0 0 0 8 1 0 0 20 0 15 0 245723587 14420721664 8432 33554432000 4194304 4196468 140723659170000 139992398692704 139992394491037 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16771] ppid=16765 vsize=14082736 memory=5793855510355192249 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16771/stat : 16771 (java) S 16765 16768 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245723588 14420721664 8432 33554432000 4194304 4196468 140723659170000 139992324557968 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16772] ppid=16765 vsize=14082736 memory=140259345299072 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16772/stat : 16772 (java) S 16765 16768 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245723588 14420721664 8432 33554432000 4194304 4196468 140723659170000 139992323505168 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16773] ppid=16765 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16773/stat : 16773 (java) S 16765 16768 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245723588 14420721664 8432 33554432000 4194304 4196468 140723659170000 139992322452368 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16774] ppid=16765 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16774/stat : 16774 (java) S 16765 16768 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245723588 14420721664 8432 33554432000 4194304 4196468 140723659170000 139992321399568 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16775] ppid=16765 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16775/stat : 16775 (java) S 16765 16768 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245723589 14420721664 8432 33554432000 4194304 4196468 140723659170000 139991508167024 139992394480258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16776] ppid=16765 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16776/stat : 16776 (java) S 16765 16768 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245723590 14420721664 8432 33554432000 4194304 4196468 140723659170000 139991439107104 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16777] ppid=16765 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16777/stat : 16777 (java) S 16765 16768 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245723590 14420721664 8432 33554432000 4194304 4196468 140723659170000 139991438054256 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16778] ppid=16765 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16778/stat : 16778 (java) S 16765 16768 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245723592 14420721664 8432 33554432000 4194304 4196468 140723659170000 139991437002576 139992394487707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16779] ppid=16765 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16779/stat : 16779 (java) S 16765 16768 13692 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 245723593 14420721664 8432 33554432000 4194304 4196468 140723659170000 139991435950960 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16780] ppid=16765 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16780/stat : 16780 (java) S 16765 16768 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245723593 14420721664 8432 33554432000 4194304 4196468 140723659170000 139991434898160 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16781] ppid=16765 vsize=14082736 memory=140259345299072 CPUtime=0.01 cores=1,3,5,7
/proc/16768/task/16781/stat : 16781 (java) R 16765 16768 13692 0 -1 4202560 254 0 0 0 1 0 0 0 20 0 15 0 245723593 14420721664 8432 33554432000 4194304 4196468 140723659170000 139991433845360 139992386706238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16782] ppid=16765 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16782/stat : 16782 (java) S 16765 16768 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245723593 14420721664 8432 33554432000 4194304 4196468 140723659170000 139991432792800 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16783] ppid=16765 vsize=14082736 memory=140259345299072 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16783/stat : 16783 (java) S 16765 16768 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245723593 14420721664 8432 33554432000 4194304 4196468 140723659170000 139991431740080 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33728 KiB

[startup+0.213872 s]*
/proc/loadavg: 3.57 3.20 2.53 5/216 16783
/proc/meminfo: memFree=16660052/32770624 swapFree=67108688/67108860
[pid=16768] ppid=16765 vsize=14082736 memory=47432 CPUtime=0.32 cores=1,3,5,7
/proc/16768/stat : 16768 (java) S 16765 16768 13692 0 -1 1077944320 10441 0 0 0 30 2 0 0 20 0 15 0 245723587 14420721664 11858 33554432000 4194304 4196468 140723659170000 140723659152544 139992394469111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
/proc/16768/statm: 3520684 11858 3381 1 0 3482761 0
[pid=16768/tid=16770] ppid=16765 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/16768/task/16770/stat : 16770 (java) R 16765 16768 13692 0 -1 4202560 8168 0 0 0 19 1 0 0 20 0 15 0 245723587 14420721664 11858 33554432000 4194304 4196468 140723659170000 139992398690240 139992378512741 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16771] ppid=16765 vsize=14082736 memory=4211973985550089610 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16771/stat : 16771 (java) S 16765 16768 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245723588 14420721664 11858 33554432000 4194304 4196468 140723659170000 139992324557968 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16772] ppid=16765 vsize=14082736 memory=140259345299072 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16772/stat : 16772 (java) S 16765 16768 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245723588 14420721664 11858 33554432000 4194304 4196468 140723659170000 139992323505168 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16773] ppid=16765 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16773/stat : 16773 (java) S 16765 16768 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245723588 14420721664 11858 33554432000 4194304 4196468 140723659170000 139992322452368 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16774] ppid=16765 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16774/stat : 16774 (java) S 16765 16768 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245723588 14420721664 11858 33554432000 4194304 4196468 140723659170000 139992321399568 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16775] ppid=16765 vsize=14082736 memory=140259345299072 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16775/stat : 16775 (java) S 16765 16768 13692 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245723589 14420721664 11858 33554432000 4194304 4196468 140723659170000 139991508167024 139992394480258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16776] ppid=16765 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16776/stat : 16776 (java) S 16765 16768 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245723590 14420721664 11858 33554432000 4194304 4196468 140723659170000 139991439107104 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16777] ppid=16765 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16777/stat : 16777 (java) S 16765 16768 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245723590 14420721664 11858 33554432000 4194304 4196468 140723659170000 139991438054256 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16778] ppid=16765 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16778/stat : 16778 (java) S 16765 16768 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245723592 14420721664 11858 33554432000 4194304 4196468 140723659170000 139991437002576 139992394487707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16779] ppid=16765 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16768/task/16779/stat : 16779 (java) S 16765 16768 13692 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 15 0 245723593 14420721664 11858 33554432000 4194304 4196468 140723659170000 139991435950960 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16780] ppid=16765 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16768/task/16780/stat : 16780 (java) S 16765 16768 13692 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 15 0 245723593 14420721664 11858 33554432000 4194304 4196468 140723659170000 139991434898160 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16781] ppid=16765 vsize=14082736 memory=140259345299072 CPUtime=0.06 cores=1,3,5,7
/proc/16768/task/16781/stat : 16781 (java) S 16765 16768 13692 0 -1 1077944384 278 0 0 0 6 0 0 0 20 0 15 0 245723593 14420721664 11858 33554432000 4194304 4196468 140723659170000 139991433845360 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16782] ppid=16765 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16782/stat : 16782 (java) S 16765 16768 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245723593 14420721664 11858 33554432000 4194304 4196468 140723659170000 139991432792800 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16783] ppid=16765 vsize=14082736 memory=140259345299072 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16783/stat : 16783 (java) S 16765 16768 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245723593 14420721664 11858 33554432000 4194304 4196468 140723659170000 139991431740080 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47432 KiB

[startup+0.310548 s]*
/proc/loadavg: 3.57 3.20 2.53 3/216 16783
/proc/meminfo: memFree=16656268/32770624 swapFree=67108688/67108860
[pid=16768] ppid=16765 vsize=14082736 memory=50616 CPUtime=0.43 cores=1,3,5,7
/proc/16768/stat : 16768 (java) S 16765 16768 13692 0 -1 1077944320 10769 0 0 0 41 2 0 0 20 0 15 0 245723587 14420721664 12654 33554432000 4194304 4196468 140723659170000 140723659152544 139992394469111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
/proc/16768/statm: 3520684 12654 3383 1 0 3482761 0
[pid=16768/tid=16770] ppid=16765 vsize=14082736 memory=6735269665583770266 CPUtime=0.3 cores=1,3,5,7
/proc/16768/task/16770/stat : 16770 (java) R 16765 16768 13692 0 -1 4202560 8492 0 0 0 28 2 0 0 20 0 15 0 245723587 14420721664 12654 33554432000 4194304 4196468 140723659170000 139992398680976 139992378549598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16771] ppid=16765 vsize=14082736 memory=4211973985550089610 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16771/stat : 16771 (java) S 16765 16768 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245723588 14420721664 12654 33554432000 4194304 4196468 140723659170000 139992324557968 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16772] ppid=16765 vsize=14082736 memory=280518548892032 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16772/stat : 16772 (java) S 16765 16768 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245723588 14420721664 12654 33554432000 4194304 4196468 140723659170000 139992323505168 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16773] ppid=16765 vsize=14082736 memory=280518407213568 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16773/stat : 16773 (java) S 16765 16768 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245723588 14420721664 12654 33554432000 4194304 4196468 140723659170000 139992322452368 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16774] ppid=16765 vsize=14082736 memory=140259203592975 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16774/stat : 16774 (java) S 16765 16768 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245723588 14420721664 12654 33554432000 4194304 4196468 140723659170000 139992321399568 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16775] ppid=16765 vsize=14082736 memory=280518548901248 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16775/stat : 16775 (java) S 16765 16768 13692 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245723589 14420721664 12654 33554432000 4194304 4196468 140723659170000 139991508167024 139992394480258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16776] ppid=16765 vsize=14082736 memory=140259203597583 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16776/stat : 16776 (java) S 16765 16768 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245723590 14420721664 12654 33554432000 4194304 4196468 140723659170000 139991439107104 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16777] ppid=16765 vsize=14082736 memory=140259203615500 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16777/stat : 16777 (java) S 16765 16768 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245723590 14420721664 12654 33554432000 4194304 4196468 140723659170000 139991438054256 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16778] ppid=16765 vsize=14082736 memory=140259203618675 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16778/stat : 16778 (java) S 16765 16768 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245723592 14420721664 12654 33554432000 4194304 4196468 140723659170000 139991437002576 139992394487707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16779] ppid=16765 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16768/task/16779/stat : 16779 (java) S 16765 16768 13692 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 15 0 245723593 14420721664 12654 33554432000 4194304 4196468 140723659170000 139991435950960 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16780] ppid=16765 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16768/task/16780/stat : 16780 (java) S 16765 16768 13692 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 15 0 245723593 14420721664 12654 33554432000 4194304 4196468 140723659170000 139991434898160 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16781] ppid=16765 vsize=14082736 memory=140259345299072 CPUtime=0.08 cores=1,3,5,7
/proc/16768/task/16781/stat : 16781 (java) R 16765 16768 13692 0 -1 4202560 284 0 0 0 8 0 0 0 20 0 15 0 245723593 14420721664 12654 33554432000 4194304 4196468 140723659170000 139991433845360 139992394481046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16782] ppid=16765 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16782/stat : 16782 (java) S 16765 16768 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245723593 14420721664 12654 33554432000 4194304 4196468 140723659170000 139991432792800 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16783] ppid=16765 vsize=14082736 memory=140259345332800 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16783/stat : 16783 (java) S 16765 16768 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245723593 14420721664 12654 33554432000 4194304 4196468 140723659170000 139991431740080 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50616 KiB

[startup+0.700729 s]
/proc/loadavg: 3.44 3.18 2.52 4/216 16783
/proc/meminfo: memFree=16632580/32770624 swapFree=67108688/67108860
[pid=16768] ppid=16765 vsize=14084804 memory=88804 CPUtime=1 cores=1,3,5,7
/proc/16768/stat : 16768 (java) S 16765 16768 13692 0 -1 1077944320 17598 0 0 0 95 5 0 0 20 0 15 0 245723587 14422839296 22201 33554432000 4194304 4196468 140723659170000 140723659152544 139992394469111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
/proc/16768/statm: 3521201 22201 3486 1 0 3483273 0
[pid=16768/tid=16770] ppid=16765 vsize=14084804 memory=56 CPUtime=0.68 cores=1,3,5,7
/proc/16768/task/16770/stat : 16770 (java) R 16765 16768 13692 0 -1 4202560 14911 0 0 0 64 4 0 0 20 0 15 0 245723587 14422839296 22201 33554432000 4194304 4196468 140723659170000 139992398672272 139992394491037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16771] ppid=16765 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16771/stat : 16771 (java) S 16765 16768 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245723588 14422839296 22201 33554432000 4194304 4196468 140723659170000 139992324557968 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16772] ppid=16765 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16772/stat : 16772 (java) S 16765 16768 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245723588 14422839296 22201 33554432000 4194304 4196468 140723659170000 139992323505168 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16773] ppid=16765 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16773/stat : 16773 (java) S 16765 16768 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245723588 14422839296 22201 33554432000 4194304 4196468 140723659170000 139992322452368 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16774] ppid=16765 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16774/stat : 16774 (java) S 16765 16768 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245723588 14422839296 22201 33554432000 4194304 4196468 140723659170000 139992321399568 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16775] ppid=16765 vsize=14084804 memory=748 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16775/stat : 16775 (java) S 16765 16768 13692 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245723589 14422839296 22201 33554432000 4194304 4196468 140723659170000 139991508167024 139992394480258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16776] ppid=16765 vsize=14084804 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16776/stat : 16776 (java) S 16765 16768 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245723590 14422839296 22201 33554432000 4194304 4196468 140723659170000 139991439107104 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16777] ppid=16765 vsize=14084804 memory=6604 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16777/stat : 16777 (java) S 16765 16768 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245723590 14422839296 22201 33554432000 4194304 4196468 140723659170000 139991438054256 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16778] ppid=16765 vsize=14084804 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16778/stat : 16778 (java) S 16765 16768 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245723592 14422839296 22201 33554432000 4194304 4196468 140723659170000 139991437002576 139992394487707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16779] ppid=16765 vsize=14084804 memory=4452 CPUtime=0.08 cores=1,3,5,7
/proc/16768/task/16779/stat : 16779 (java) S 16765 16768 13692 0 -1 1077944384 519 0 0 0 8 0 0 0 20 0 15 0 245723593 14422839296 22201 33554432000 4194304 4196468 140723659170000 139991435950960 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16780] ppid=16765 vsize=14084804 memory=3732 CPUtime=0.06 cores=1,3,5,7
/proc/16768/task/16780/stat : 16780 (java) S 16765 16768 13692 0 -1 1077944384 407 0 0 0 6 0 0 0 20 0 15 0 245723593 14422839296 22201 33554432000 4194304 4196468 140723659170000 139991434898160 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16781] ppid=16765 vsize=14084804 memory=12668 CPUtime=0.15 cores=1,3,5,7
/proc/16768/task/16781/stat : 16781 (java) S 16765 16768 13692 0 -1 1077944384 380 0 0 0 15 0 0 0 20 0 15 0 245723593 14422839296 22201 33554432000 4194304 4196468 140723659170000 139991433845360 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16782] ppid=16765 vsize=14084804 memory=1072 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16782/stat : 16782 (java) S 16765 16768 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245723593 14422839296 22201 33554432000 4194304 4196468 140723659170000 139991432792800 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16783] ppid=16765 vsize=14084804 memory=14888 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16783/stat : 16783 (java) S 16765 16768 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245723593 14422839296 22201 33554432000 4194304 4196468 140723659170000 139991431740080 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88804 KiB

[startup+1.5008 s]
/proc/loadavg: 3.44 3.18 2.52 3/216 16783
/proc/meminfo: memFree=16592624/32770624 swapFree=67108688/67108860
[pid=16768] ppid=16765 vsize=14086852 memory=183176 CPUtime=2.8 cores=1,3,5,7
/proc/16768/stat : 16768 (java) S 16765 16768 13692 0 -1 1077944320 24445 0 0 0 273 7 0 0 20 0 15 0 245723587 14424936448 45794 33554432000 4194304 4196468 140723659170000 140723659152544 139992394469111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
/proc/16768/statm: 3521713 45794 3552 1 0 3483785 0
[pid=16768/tid=16770] ppid=16765 vsize=14086852 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/16768/task/16770/stat : 16770 (java) R 16765 16768 13692 0 -1 4202560 17481 0 0 0 142 5 0 0 20 0 15 0 245723587 14424936448 45794 33554432000 4194304 4196468 140723659170000 139992398704912 139991997595444 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16771] ppid=16765 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16771/stat : 16771 (java) S 16765 16768 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245723588 14424936448 45794 33554432000 4194304 4196468 140723659170000 139992324557968 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16772] ppid=16765 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16772/stat : 16772 (java) S 16765 16768 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245723588 14424936448 45794 33554432000 4194304 4196468 140723659170000 139992323505168 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16773] ppid=16765 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16773/stat : 16773 (java) S 16765 16768 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245723588 14424936448 45794 33554432000 4194304 4196468 140723659170000 139992322452368 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16774] ppid=16765 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16774/stat : 16774 (java) S 16765 16768 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245723588 14424936448 45794 33554432000 4194304 4196468 140723659170000 139992321399568 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16775] ppid=16765 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16775/stat : 16775 (java) S 16765 16768 13692 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 15 0 245723589 14424936448 45794 33554432000 4194304 4196468 140723659170000 139991508167024 139992394480258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0

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

/proc/16768/task/16770/stat : 16770 (java) R 16765 16768 13692 0 -1 4202560 283415 0 0 0 235899 76 0 0 20 0 15 0 245723587 14431227904 398015 33554432000 4194304 4196468 140723659170000 139992398706256 139991998884730 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16771] ppid=16765 vsize=14092996 memory=1494388 CPUtime=19.01 cores=1,3,5,7
/proc/16768/task/16771/stat : 16771 (java) S 16765 16768 13692 0 -1 1077944384 17720 0 0 0 1848 53 0 0 20 0 15 0 245723588 14431227904 398015 33554432000 4194304 4196468 140723659170000 139992324557968 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16772] ppid=16765 vsize=14092996 memory=1605112 CPUtime=19.04 cores=1,3,5,7
/proc/16768/task/16772/stat : 16772 (java) S 16765 16768 13692 0 -1 1077944384 20268 0 0 0 1853 51 0 0 20 0 15 0 245723588 14431227904 398015 33554432000 4194304 4196468 140723659170000 139992323505168 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16773] ppid=16765 vsize=14092996 memory=1605112 CPUtime=19.01 cores=1,3,5,7
/proc/16768/task/16773/stat : 16773 (java) S 16765 16768 13692 0 -1 1077944384 24573 0 0 0 1848 53 0 0 20 0 15 0 245723588 14431227904 398015 33554432000 4194304 4196468 140723659170000 139992322452368 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16774] ppid=16765 vsize=14092996 memory=1605400 CPUtime=19.02 cores=1,3,5,7
/proc/16768/task/16774/stat : 16774 (java) S 16765 16768 13692 0 -1 1077944384 23222 0 0 0 1849 53 0 0 20 0 15 0 245723588 14431227904 398015 33554432000 4194304 4196468 140723659170000 139992321399568 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16775] ppid=16765 vsize=14092996 memory=1471540 CPUtime=2.18 cores=1,3,5,7
/proc/16768/task/16775/stat : 16775 (java) S 16765 16768 13692 0 -1 1077944384 104803 0 0 0 183 35 0 0 20 0 15 0 245723589 14431227904 398015 33554432000 4194304 4196468 140723659170000 139991508167024 139992394480258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16776] ppid=16765 vsize=14092996 memory=1593088 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16776/stat : 16776 (java) S 16765 16768 13692 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 245723590 14431227904 398015 33554432000 4194304 4196468 140723659170000 139991439107168 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16777] ppid=16765 vsize=14092996 memory=1593088 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16777/stat : 16777 (java) S 16765 16768 13692 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 245723590 14431227904 398015 33554432000 4194304 4196468 140723659170000 139991438054272 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16778] ppid=16765 vsize=14092996 memory=14888 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16778/stat : 16778 (java) S 16765 16768 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245723592 14431227904 398015 33554432000 4194304 4196468 140723659170000 139991437002576 139992394487707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16779] ppid=16765 vsize=14092996 memory=1573184 CPUtime=2.78 cores=1,3,5,7
/proc/16768/task/16779/stat : 16779 (java) S 16765 16768 13692 0 -1 1077944384 23241 0 0 0 275 3 0 0 20 0 15 0 245723593 14431227904 398015 33554432000 4194304 4196468 140723659170000 139991435950960 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16780] ppid=16765 vsize=14092996 memory=1593088 CPUtime=3 cores=1,3,5,7
/proc/16768/task/16780/stat : 16780 (java) S 16765 16768 13692 0 -1 1077944384 24002 0 0 0 296 4 0 0 20 0 15 0 245723593 14431227904 398015 33554432000 4194304 4196468 140723659170000 139991434898160 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16781] ppid=16765 vsize=14092996 memory=1593088 CPUtime=1.23 cores=1,3,5,7
/proc/16768/task/16781/stat : 16781 (java) S 16765 16768 13692 0 -1 1077944384 21116 0 0 0 120 3 0 0 20 0 15 0 245723593 14431227904 398015 33554432000 4194304 4196468 140723659170000 139991433845360 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16782] ppid=16765 vsize=14092996 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16782/stat : 16782 (java) S 16765 16768 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245723593 14431227904 398015 33554432000 4194304 4196468 140723659170000 139991432792800 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16783] ppid=16765 vsize=14092996 memory=1593088 CPUtime=1.36 cores=1,3,5,7
/proc/16768/task/16783/stat : 16783 (java) S 16765 16768 13692 0 -1 1077944384 1439 0 0 0 60 76 0 0 20 0 15 0 245723593 14431227904 398015 33554432000 4194304 4196468 140723659170000 139991431740080 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
Current children cumulated CPU time: 2446.47 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1592060 KiB

[startup+2442.3 s]
/proc/loadavg: 1.28 1.38 1.52 3/216 16949
/proc/meminfo: memFree=20711520/32770624 swapFree=67108688/67108860
[pid=16768] ppid=16765 vsize=14092996 memory=1716132 CPUtime=2507.9 cores=1,3,5,7
/proc/16768/stat : 16768 (java) S 16765 16768 13692 0 -1 1077944320 548412 0 0 0 250394 396 0 0 20 0 15 0 245723587 14431227904 429033 33554432000 4194304 4196468 140723659170000 140723659152544 139992394469111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
/proc/16768/statm: 3523249 429033 3622 1 0 3485321 0
[pid=16768/tid=16770] ppid=16765 vsize=14092996 memory=1716132 CPUtime=2419.22 cores=1,3,5,7
/proc/16768/task/16770/stat : 16770 (java) R 16765 16768 13692 0 -1 4202560 285048 0 0 0 241843 79 0 0 20 0 15 0 245723587 14431227904 429033 33554432000 4194304 4196468 140723659170000 139992398706256 139992002676610 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16771] ppid=16765 vsize=14092996 memory=1715976 CPUtime=19.48 cores=1,3,5,7
/proc/16768/task/16771/stat : 16771 (java) S 16765 16768 13692 0 -1 1077944384 18024 0 0 0 1894 54 0 0 20 0 15 0 245723588 14431227904 429033 33554432000 4194304 4196468 140723659170000 139992324557968 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16772] ppid=16765 vsize=14092996 memory=1603516 CPUtime=19.51 cores=1,3,5,7
/proc/16768/task/16772/stat : 16772 (java) S 16765 16768 13692 0 -1 1077944384 20451 0 0 0 1898 53 0 0 20 0 15 0 245723588 14431227904 429033 33554432000 4194304 4196468 140723659170000 139992323505168 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16773] ppid=16765 vsize=14092996 memory=1751348 CPUtime=19.48 cores=1,3,5,7
/proc/16768/task/16773/stat : 16773 (java) S 16765 16768 13692 0 -1 1077944384 25008 0 0 0 1894 54 0 0 20 0 15 0 245723588 14431227904 429033 33554432000 4194304 4196468 140723659170000 139992322452368 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16774] ppid=16765 vsize=14092996 memory=1739576 CPUtime=19.49 cores=1,3,5,7
/proc/16768/task/16774/stat : 16774 (java) S 16765 16768 13692 0 -1 1077944384 23468 0 0 0 1895 54 0 0 20 0 15 0 245723588 14431227904 429033 33554432000 4194304 4196468 140723659170000 139992321399568 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16775] ppid=16765 vsize=14092996 memory=1739576 CPUtime=2.2 cores=1,3,5,7
/proc/16768/task/16775/stat : 16775 (java) S 16765 16768 13692 0 -1 1077944384 105147 0 0 0 185 35 0 0 20 0 15 0 245723589 14431227904 429033 33554432000 4194304 4196468 140723659170000 139991508167024 139992394480258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16776] ppid=16765 vsize=14092996 memory=1739576 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16776/stat : 16776 (java) S 16765 16768 13692 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 245723590 14431227904 429033 33554432000 4194304 4196468 140723659170000 139991439107168 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16777] ppid=16765 vsize=14092996 memory=1716132 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16777/stat : 16777 (java) S 16765 16768 13692 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 245723590 14431227904 429033 33554432000 4194304 4196468 140723659170000 139991438054272 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16778] ppid=16765 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16778/stat : 16778 (java) S 16765 16768 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245723592 14431227904 429033 33554432000 4194304 4196468 140723659170000 139991437002576 139992394487707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16779] ppid=16765 vsize=14092996 memory=1620 CPUtime=2.78 cores=1,3,5,7
/proc/16768/task/16779/stat : 16779 (java) S 16765 16768 13692 0 -1 1077944384 23241 0 0 0 275 3 0 0 20 0 15 0 245723593 14431227904 429033 33554432000 4194304 4196468 140723659170000 139991435950960 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16780] ppid=16765 vsize=14092996 memory=748 CPUtime=3 cores=1,3,5,7
/proc/16768/task/16780/stat : 16780 (java) S 16765 16768 13692 0 -1 1077944384 24003 0 0 0 296 4 0 0 20 0 15 0 245723593 14431227904 429033 33554432000 4194304 4196468 140723659170000 139991434898160 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16781] ppid=16765 vsize=14092996 memory=1716132 CPUtime=1.23 cores=1,3,5,7
/proc/16768/task/16781/stat : 16781 (java) S 16765 16768 13692 0 -1 1077944384 21117 0 0 0 120 3 0 0 20 0 15 0 245723593 14431227904 429033 33554432000 4194304 4196468 140723659170000 139991433845360 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16782] ppid=16765 vsize=14092996 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16782/stat : 16782 (java) S 16765 16768 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245723593 14431227904 429033 33554432000 4194304 4196468 140723659170000 139991432792800 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16783] ppid=16765 vsize=14092996 memory=1716132 CPUtime=1.4 cores=1,3,5,7
/proc/16768/task/16783/stat : 16783 (java) S 16765 16768 13692 0 -1 1077944384 1458 0 0 0 62 78 0 0 20 0 15 0 245723593 14431227904 429033 33554432000 4194304 4196468 140723659170000 139991431740080 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 39 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
Current children cumulated CPU time: 2507.9 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1716132 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2453.9 s]
/proc/loadavg: 1.31 1.39 1.52 3/216 16949
/proc/meminfo: memFree=20741804/32770624 swapFree=67108688/67108860
[pid=16768] ppid=16765 vsize=14092996 memory=1696808 CPUtime=2520.08 cores=1,3,5,7
/proc/16768/stat : 16768 (java) S 16765 16768 13692 0 -1 1077944320 551186 0 0 0 251611 397 0 0 20 0 15 0 245723587 14431227904 424202 33554432000 4194304 4196468 140723659170000 140723659152544 139992394469111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
/proc/16768/statm: 3523249 424202 3622 1 0 3485321 0
[pid=16768/tid=16770] ppid=16765 vsize=14092996 memory=924 CPUtime=2430.6 cores=1,3,5,7
/proc/16768/task/16770/stat : 16770 (java) R 16765 16768 13692 0 -1 4202560 285159 0 0 0 242981 79 0 0 20 0 15 0 245723587 14431227904 424202 33554432000 4194304 4196468 140723659170000 139992398706192 139992001979680 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16771] ppid=16765 vsize=14092996 memory=1708600 CPUtime=19.67 cores=1,3,5,7
/proc/16768/task/16771/stat : 16771 (java) S 16765 16768 13692 0 -1 1077944384 18059 0 0 0 1913 54 0 0 20 0 15 0 245723588 14431227904 424202 33554432000 4194304 4196468 140723659170000 139992324557968 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16772] ppid=16765 vsize=14092996 memory=1708600 CPUtime=19.71 cores=1,3,5,7
/proc/16768/task/16772/stat : 16772 (java) S 16765 16768 13692 0 -1 1077944384 20453 0 0 0 1918 53 0 0 20 0 15 0 245723588 14431227904 424202 33554432000 4194304 4196468 140723659170000 139992323505168 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16773] ppid=16765 vsize=14092996 memory=1603516 CPUtime=19.67 cores=1,3,5,7
/proc/16768/task/16773/stat : 16773 (java) S 16765 16768 13692 0 -1 1077944384 25017 0 0 0 1913 54 0 0 20 0 15 0 245723588 14431227904 424202 33554432000 4194304 4196468 140723659170000 139992322452368 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16774] ppid=16765 vsize=14092996 memory=1751348 CPUtime=19.7 cores=1,3,5,7
/proc/16768/task/16774/stat : 16774 (java) S 16765 16768 13692 0 -1 1077944384 23493 0 0 0 1915 55 0 0 20 0 15 0 245723588 14431227904 424202 33554432000 4194304 4196468 140723659170000 139992321399568 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16775] ppid=16765 vsize=14092996 memory=1739576 CPUtime=2.22 cores=1,3,5,7
/proc/16768/task/16775/stat : 16775 (java) S 16765 16768 13692 0 -1 1077944384 107561 0 0 0 187 35 0 0 20 0 15 0 245723589 14431227904 424202 33554432000 4194304 4196468 140723659170000 139991508167024 139992394480258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16776] ppid=16765 vsize=14092996 memory=1739576 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16776/stat : 16776 (java) S 16765 16768 13692 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 245723590 14431227904 424202 33554432000 4194304 4196468 140723659170000 139991439107168 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16777] ppid=16765 vsize=14092996 memory=1739576 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16777/stat : 16777 (java) S 16765 16768 13692 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 245723590 14431227904 424202 33554432000 4194304 4196468 140723659170000 139991438054272 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16778] ppid=16765 vsize=14092996 memory=1704340 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16778/stat : 16778 (java) S 16765 16768 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245723592 14431227904 424202 33554432000 4194304 4196468 140723659170000 139991437002576 139992394487707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16779] ppid=16765 vsize=14092996 memory=1696808 CPUtime=2.78 cores=1,3,5,7
/proc/16768/task/16779/stat : 16779 (java) S 16765 16768 13692 0 -1 1077944384 23419 0 0 0 275 3 0 0 20 0 15 0 245723593 14431227904 424202 33554432000 4194304 4196468 140723659170000 139991435950960 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16780] ppid=16765 vsize=14092996 memory=1696808 CPUtime=3 cores=1,3,5,7
/proc/16768/task/16780/stat : 16780 (java) S 16765 16768 13692 0 -1 1077944384 24003 0 0 0 296 4 0 0 20 0 15 0 245723593 14431227904 424202 33554432000 4194304 4196468 140723659170000 139991434898160 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16781] ppid=16765 vsize=14092996 memory=1696808 CPUtime=1.23 cores=1,3,5,7
/proc/16768/task/16781/stat : 16781 (java) S 16765 16768 13692 0 -1 1077944384 21117 0 0 0 120 3 0 0 20 0 15 0 245723593 14431227904 424202 33554432000 4194304 4196468 140723659170000 139991433845360 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16782] ppid=16765 vsize=14092996 memory=1696808 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16782/stat : 16782 (java) S 16765 16768 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245723593 14431227904 424202 33554432000 4194304 4196468 140723659170000 139991432792800 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16783] ppid=16765 vsize=14092996 memory=804 CPUtime=1.41 cores=1,3,5,7
/proc/16768/task/16783/stat : 16783 (java) S 16765 16768 13692 0 -1 1077944384 1458 0 0 0 62 79 0 0 20 0 15 0 245723593 14431227904 424202 33554432000 4194304 4196468 140723659170000 139991431740080 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1696808 KiB

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

[startup+2453.93 s]
# the end of solver process 16768 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.14 s, system=3.98377 s

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

[startup+2453.9 s]
/proc/loadavg: 1.31 1.39 1.52 3/216 16949
/proc/meminfo: memFree=20741804/32770624 swapFree=67108688/67108860
[pid=16768] ppid=16765 vsize=14092996 memory=1696808 CPUtime=2520.08 cores=1,3,5,7
/proc/16768/stat : 16768 (java) S 16765 16768 13692 0 -1 1077944320 551186 0 0 0 251611 397 0 0 20 0 15 0 245723587 14431227904 424202 33554432000 4194304 4196468 140723659170000 140723659152544 139992394469111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
/proc/16768/statm: 3523249 424202 3622 1 0 3485321 0
[pid=16768/tid=16770] ppid=16765 vsize=14092996 memory=924 CPUtime=2430.6 cores=1,3,5,7
/proc/16768/task/16770/stat : 16770 (java) R 16765 16768 13692 0 -1 4202560 285159 0 0 0 242981 79 0 0 20 0 15 0 245723587 14431227904 424202 33554432000 4194304 4196468 140723659170000 139992398706192 139992001979680 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16771] ppid=16765 vsize=14092996 memory=1708600 CPUtime=19.67 cores=1,3,5,7
/proc/16768/task/16771/stat : 16771 (java) S 16765 16768 13692 0 -1 1077944384 18059 0 0 0 1913 54 0 0 20 0 15 0 245723588 14431227904 424202 33554432000 4194304 4196468 140723659170000 139992324557968 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16772] ppid=16765 vsize=14092996 memory=1708600 CPUtime=19.71 cores=1,3,5,7
/proc/16768/task/16772/stat : 16772 (java) S 16765 16768 13692 0 -1 1077944384 20453 0 0 0 1918 53 0 0 20 0 15 0 245723588 14431227904 424202 33554432000 4194304 4196468 140723659170000 139992323505168 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16773] ppid=16765 vsize=14092996 memory=1603516 CPUtime=19.67 cores=1,3,5,7
/proc/16768/task/16773/stat : 16773 (java) S 16765 16768 13692 0 -1 1077944384 25017 0 0 0 1913 54 0 0 20 0 15 0 245723588 14431227904 424202 33554432000 4194304 4196468 140723659170000 139992322452368 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16774] ppid=16765 vsize=14092996 memory=1751348 CPUtime=19.7 cores=1,3,5,7
/proc/16768/task/16774/stat : 16774 (java) S 16765 16768 13692 0 -1 1077944384 23493 0 0 0 1915 55 0 0 20 0 15 0 245723588 14431227904 424202 33554432000 4194304 4196468 140723659170000 139992321399568 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16775] ppid=16765 vsize=14092996 memory=1739576 CPUtime=2.22 cores=1,3,5,7
/proc/16768/task/16775/stat : 16775 (java) S 16765 16768 13692 0 -1 1077944384 107561 0 0 0 187 35 0 0 20 0 15 0 245723589 14431227904 424202 33554432000 4194304 4196468 140723659170000 139991508167024 139992394480258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16776] ppid=16765 vsize=14092996 memory=1739576 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16776/stat : 16776 (java) S 16765 16768 13692 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 245723590 14431227904 424202 33554432000 4194304 4196468 140723659170000 139991439107168 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16777] ppid=16765 vsize=14092996 memory=1739576 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16777/stat : 16777 (java) S 16765 16768 13692 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 245723590 14431227904 424202 33554432000 4194304 4196468 140723659170000 139991438054272 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16778] ppid=16765 vsize=14092996 memory=1704340 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16778/stat : 16778 (java) S 16765 16768 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245723592 14431227904 424202 33554432000 4194304 4196468 140723659170000 139991437002576 139992394487707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16779] ppid=16765 vsize=14092996 memory=1696808 CPUtime=2.78 cores=1,3,5,7
/proc/16768/task/16779/stat : 16779 (java) S 16765 16768 13692 0 -1 1077944384 23419 0 0 0 275 3 0 0 20 0 15 0 245723593 14431227904 424202 33554432000 4194304 4196468 140723659170000 139991435950960 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16780] ppid=16765 vsize=14092996 memory=1696808 CPUtime=3 cores=1,3,5,7
/proc/16768/task/16780/stat : 16780 (java) S 16765 16768 13692 0 -1 1077944384 24003 0 0 0 296 4 0 0 20 0 15 0 245723593 14431227904 424202 33554432000 4194304 4196468 140723659170000 139991434898160 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16781] ppid=16765 vsize=14092996 memory=1696808 CPUtime=1.23 cores=1,3,5,7
/proc/16768/task/16781/stat : 16781 (java) S 16765 16768 13692 0 -1 1077944384 21117 0 0 0 120 3 0 0 20 0 15 0 245723593 14431227904 424202 33554432000 4194304 4196468 140723659170000 139991433845360 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16782] ppid=16765 vsize=14092996 memory=1696808 CPUtime=0 cores=1,3,5,7
/proc/16768/task/16782/stat : 16782 (java) S 16765 16768 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245723593 14431227904 424202 33554432000 4194304 4196468 140723659170000 139991432792800 139992394479317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
[pid=16768/tid=16783] ppid=16765 vsize=14092996 memory=804 CPUtime=1.41 cores=1,3,5,7
/proc/16768/task/16783/stat : 16783 (java) S 16765 16768 13692 0 -1 1077944384 1458 0 0 0 62 79 0 0 20 0 15 0 245723593 14431227904 424202 33554432000 4194304 4196468 140723659170000 139991431740080 139992394480258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 35360768 140723659179093 140723659179273 140723659179273 140723659182031 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1696808 KiB

Child status: 143
Real time (s): 2453.93
CPU time (s): 2520.12
CPU user time (s): 2516.14
CPU system time (s): 3.98377
CPU usage (%): 102.697
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 1797092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.14
system time used= 3.98377
maximum resident set size= 1806716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 551366
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99625
involuntary context switches= 3528


# summary of solver processes directly reported to runsolver:
#   pid: 16768
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.14
#   total CPU system time (s): 3.98377

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8727 second user time and 22.8502 second system time

The end

Launcher Data 

Begin job on node106 at 2018-08-14 23:20:07
IDJOB=4308687
IDBENCH=141147
IDSOLVER=2792
FILE ID=node106/4308687-1534281607
RUNJOBID= node106-1534270601-15612
PBS_JOBID= 21038127
Free space on /tmp= 42444 MiB

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

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

MD5SUM BENCH= ef8d95b3b89bfc5ccba73a2d09f74d17
RANDOM SEED=128492065

node106.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	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        16694312 kB
MemAvailable:   25437192 kB
Buffers:          185288 kB
Cached:          8764772 kB
SwapCached:            0 kB
Active:         10962696 kB
Inactive:        4497348 kB
Active(anon):    6456676 kB
Inactive(anon):   105460 kB
Active(file):    4506020 kB
Inactive(file):  4391888 kB
Unevictable:        6964 kB
Mlocked:            6964 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:             35760 kB
Writeback:             0 kB
AnonPages:       6516520 kB
Mapped:            68316 kB
Shmem:             49632 kB
Slab:             301840 kB
SReclaimable:     273432 kB
SUnreclaim:        28408 kB
KernelStack:        3504 kB
PageTables:        18304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7297976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6219776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 42412 MiB
End job on node106 at 2018-08-15 00:01:01