Trace number 4310559

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)1435945 252.062 241.348

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 benchmark1435945
Best CPU time to get the best result obtained on this benchmark252.062
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.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 1960381823
0.67/0.55	c timeout: 252
0.67/0.55	c memlimit: 11000
0.67/0.55	c nbcore: 4
0.67/0.58	c Parsing instance...
3.47/1.92	c Parsing done, starting first complete search...
3.93/2.15	o 0
3.93/2.15	o 7837
3.93/2.16	o 8867
3.93/2.16	o 16704
3.93/2.16	o 22526
3.93/2.16	o 23615
3.93/2.17	o 24686
3.93/2.17	o 31434
3.93/2.17	o 32523
3.93/2.17	o 33300
3.93/2.17	o 41137
3.93/2.18	o 45541
3.93/2.18	o 47782
3.93/2.18	o 52462
3.93/2.18	o 73418
3.93/2.19	o 76886
3.93/2.19	o 90417
3.93/2.19	o 91506
3.93/2.19	o 96186
3.93/2.19	o 116003
3.93/2.20	o 123935
3.93/2.20	o 126902
4.16/2.20	o 130468
4.16/2.20	o 138320
4.16/2.20	o 140388
4.16/2.20	o 143834
4.16/2.21	o 144489
4.16/2.21	o 145902
4.16/2.21	o 150996
4.16/2.21	o 158833
4.16/2.21	o 165744
4.16/2.21	o 166322
4.16/2.22	o 169773
4.16/2.22	o 171377
4.16/2.22	o 172790
4.16/2.22	o 174578
4.16/2.22	o 176819
4.16/2.23	o 177289
4.16/2.23	o 179530
4.16/2.23	o 181598
4.16/2.23	o 182176
4.16/2.23	o 183386
4.16/2.23	o 185627
4.16/2.23	o 191716
4.16/2.23	o 197472
4.16/2.24	o 199713
4.16/2.24	o 201353
4.16/2.24	o 202336
4.16/2.24	o 204577
4.16/2.24	o 205811
4.16/2.24	o 209084
4.16/2.24	o 211325
4.16/2.24	o 212174
4.16/2.25	o 215398
4.16/2.25	o 215654
4.16/2.25	o 217281
4.16/2.25	o 218007
4.16/2.25	o 220248
4.16/2.26	o 221764
4.16/2.26	o 222020
4.16/2.27	o 222420
4.16/2.27	o 223112
4.16/2.27	o 225200
4.16/2.28	o 229604
4.16/2.28	o 229860
4.16/2.28	o 231405
4.16/2.28	o 231632
4.16/2.28	o 236599
4.47/2.30	o 236641
4.47/2.30	o 240083
4.47/2.30	o 245853
4.47/2.30	o 252215
4.47/2.31	o 256955
4.47/2.31	o 257182
4.47/2.31	o 257976
4.47/2.31	o 265114
4.47/2.31	o 266886
4.47/2.34	o 266952
4.47/2.35	o 267208
4.47/2.36	o 267999
4.47/2.36	o 270966
4.47/2.36	o 272803
4.47/2.36	o 276584
4.47/2.36	o 279551
4.47/2.36	o 281191
4.47/2.37	o 281790
4.47/2.37	o 284757
4.77/2.40	o 285571
4.77/2.40	o 287211
4.77/2.40	o 287421
4.77/2.41	o 290388
4.77/2.41	o 292028
4.77/2.41	o 293573
4.77/2.41	o 294472
4.77/2.41	o 294556
4.77/2.42	o 297352
4.77/2.42	o 300918
4.77/2.47	o 301391
4.77/2.47	o 303031
4.77/2.47	o 303115
4.77/2.48	o 303423
4.77/2.48	o 306989
4.77/2.48	o 308629
4.77/2.48	o 308761
4.77/2.49	o 310401
5.02/2.50	o 314024
5.02/2.50	o 314108
5.02/2.51	o 315664
5.02/2.51	o 315748
5.02/2.51	o 317520
5.02/2.53	o 318454
5.02/2.53	o 322020
5.02/2.53	o 323660
5.02/2.57	o 324899
5.02/2.57	o 324983
5.19/2.61	o 325285
5.19/2.61	o 325541
5.19/2.61	o 327086
5.19/2.61	o 332707
5.19/2.61	o 334347
5.19/2.66	o 335815
5.19/2.66	o 342177
5.39/2.80	o 342268
5.39/2.86	o 345617
5.39/2.86	o 346321
5.39/2.86	o 346412
5.49/2.92	o 347187
5.49/2.92	o 348035
5.49/2.92	o 353549
5.49/2.93	o 353915
5.49/2.93	o 354006
5.49/2.93	o 354253
5.49/2.93	o 354344
5.49/2.99	o 356980
5.49/2.99	o 359947
5.49/2.99	o 360038
5.60/3.04	o 361290
5.60/3.04	o 361381
5.60/3.04	o 365164
5.60/3.04	o 365255
5.60/3.04	o 366804
5.60/3.04	o 366895
5.60/3.08	o 367060
5.60/3.08	o 367151
5.60/3.09	o 367633
5.70/3.13	o 370386
5.70/3.13	o 371217
5.70/3.13	o 371308
5.70/3.14	o 376506
5.70/3.14	o 376597
5.70/3.14	o 376651
5.70/3.14	o 376742
5.70/3.14	o 379618
5.70/3.14	o 379709
5.70/3.47	o 384126
5.70/3.47	o 384217
5.70/3.49	o 386853
5.70/3.49	o 389820
5.70/3.49	o 389911
6.21/3.63	o 394697
6.21/3.63	o 394788
6.41/3.84	o 394953
6.41/3.84	o 395044
6.51/3.93	o 398065
6.51/3.93	o 398156
6.76/4.18	o 399348
6.76/4.18	o 399439
6.76/4.18	o 400652
6.76/4.18	o 400743
6.76/4.19	o 400908
6.76/4.19	o 400999
6.76/4.19	o 402680
6.76/4.19	o 402771
7.17/4.50	o 402875
7.17/4.52	o 403240
7.17/4.53	o 406207
8.49/5.80	o 407060
8.49/5.80	o 407642
8.49/5.86	o 407911
8.49/5.86	o 408493
8.49/5.86	o 408496
8.49/5.86	o 409078
8.49/5.86	o 409880
8.49/5.86	o 410287
8.49/5.86	o 410869
8.49/5.86	o 411425
8.60/5.90	o 411841
8.60/5.90	o 414808
8.60/5.90	o 418140
9.40/6.76	o 420900
9.40/6.76	o 421482
9.40/6.78	o 423066
9.40/6.78	o 426398
9.40/6.79	o 426980
11.71/9.01	o 428493
12.21/9.59	o 429555
12.21/9.59	o 431327
12.21/9.59	o 434659
12.31/9.64	o 435241
13.83/11.18	o 436826
13.83/11.18	o 437815
13.83/11.18	o 440158
13.93/11.21	o 440740
14.73/12.07	o 442935
14.73/12.07	o 443924
14.83/12.16	o 446267
21.21/18.43	o 446748
21.40/18.66	o 447338
21.40/18.66	o 447787
21.40/18.66	o 449110
21.40/18.66	o 450099
21.40/18.66	o 451119
21.40/18.67	o 452442
23.40/20.66	o 452986
23.40/20.66	o 454006
23.40/20.67	o 455329
23.40/20.68	o 455778
23.40/20.68	o 457101
29.21/26.45	c First complete search done, starting ALNS search...
29.72/26.81	o 459287
29.72/26.81	o 460093
29.72/26.81	o 461840
29.72/26.81	o 464807
29.72/26.82	o 467562
29.72/26.82	o 470529
29.72/26.82	o 470805
29.72/26.82	o 472054
29.72/26.82	o 474586
29.72/26.82	o 477553
29.72/26.82	o 478031
29.72/26.82	o 478274
29.72/26.82	o 481241
29.72/26.82	o 485022
29.72/26.82	o 487989
29.72/26.83	o 490724
29.72/26.83	o 494505
29.72/26.83	o 497472
29.72/26.84	o 498248
29.72/26.84	o 501215
29.84/26.92	o 502292
30.04/27.02	o 503628
30.04/27.02	o 506078
30.04/27.02	o 508265
30.04/27.02	o 508982
30.04/27.02	o 511169
30.04/27.02	o 511720
30.04/27.02	o 513570
30.04/27.02	o 516474
30.04/27.03	o 518661
30.04/27.03	o 520472
30.74/27.49	o 522976
30.85/27.51	o 523460
30.85/27.51	o 527131
30.85/27.51	o 529547
30.85/27.51	o 531109
30.85/27.51	o 536608
30.85/27.51	o 537196
30.85/27.51	o 542695
30.85/27.51	o 545111
30.85/27.51	o 549477
30.85/27.51	o 555564
30.85/27.52	o 557980
30.85/27.52	o 561063
30.85/27.52	o 563479
30.85/27.52	o 567645
30.85/27.52	o 570061
30.85/27.52	o 570419
30.85/27.52	o 570421
30.85/27.52	o 570779
30.85/27.52	o 572837
30.85/27.52	o 573195
30.85/27.52	o 573812
30.85/27.52	o 576895
30.85/27.52	o 579311
30.85/27.52	o 579671
30.85/27.52	o 582087
30.85/27.52	o 582445
30.85/27.53	o 584236
30.85/27.53	o 584594
30.85/27.53	o 585438
30.85/27.53	o 590937
30.85/27.53	o 591525
30.85/27.53	o 597024
30.85/27.53	o 599800
30.85/27.53	o 600158
30.85/27.53	o 601313
30.85/27.53	o 601671
30.85/27.53	o 603081
30.85/27.53	o 605857
30.85/27.53	o 607370
30.85/27.53	o 607728
30.85/27.53	o 609926
30.85/27.54	o 610284
30.85/27.54	o 611694
30.85/27.54	o 615983
30.85/27.54	o 616341
30.85/27.54	o 618910
30.85/27.54	o 619268
30.85/27.54	o 620423
30.85/27.54	o 620781
30.85/27.54	o 620850
30.85/27.54	o 620880
30.85/27.54	o 621438
30.85/27.54	o 622648
30.85/27.54	o 626937
30.85/27.54	o 627295
30.85/27.54	o 630738
30.85/27.55	o 631096
30.85/27.55	o 633428
30.85/27.55	o 637229
30.85/27.55	o 637587
30.85/27.55	o 638336
30.85/27.55	o 642137
30.85/27.55	o 642495
30.85/27.55	o 642518
30.85/27.55	o 644850
30.85/27.55	o 648651
30.85/27.55	o 649009
30.85/27.55	o 649575
30.85/27.55	o 649933
30.85/27.55	o 653376
30.85/27.55	o 653734
30.85/27.56	o 654894
30.85/27.56	o 655818
30.85/27.56	o 659619
30.85/27.56	o 660189
30.85/27.56	o 660474
30.85/27.56	o 664914
30.85/27.56	o 669141
30.85/27.56	o 669199
30.85/27.56	o 673426
30.85/27.56	o 675368
30.85/27.56	o 675524
30.85/27.56	o 675964
30.85/27.56	o 680249
30.85/27.56	o 680607
30.85/27.56	o 682207
30.85/27.57	o 686492
30.85/27.57	o 686647
30.85/27.57	o 690932
30.85/27.57	o 695159
30.85/27.57	o 695278
30.85/27.57	o 695364
30.85/27.57	o 695859
30.85/27.57	o 696447
30.85/27.57	o 697657
30.85/27.57	o 697719
30.85/27.57	o 698145
30.85/27.57	o 701946
30.85/27.57	o 702065
30.85/27.58	o 702801
30.85/27.58	o 703014
30.85/27.58	o 707241
30.85/27.58	o 707360
30.85/27.58	o 709570
30.85/27.58	o 709689
30.85/27.58	o 710638
30.85/27.58	o 714865
30.85/27.58	o 714984
30.85/27.58	o 716775
30.85/27.58	o 717843
30.85/27.58	o 722070
30.85/27.59	o 722189
31.44/27.97	o 722421
31.44/27.97	o 722817
31.44/27.97	o 723173
31.44/27.97	o 724328
31.44/27.97	o 724724
31.44/27.97	o 726077
31.44/27.97	o 726473
31.44/27.97	o 727232
31.44/27.97	o 727628
31.44/27.97	o 728021
31.44/27.97	o 728417
31.56/28.03	o 729135
31.56/28.03	o 730290
31.56/28.03	o 730686
31.56/28.03	o 731079
31.56/28.03	o 731475
31.87/28.40	o 732020
31.87/28.40	o 733027
31.87/28.40	o 733052
31.87/28.40	o 734207
31.87/28.40	o 734956
31.87/28.40	o 736136
31.87/28.40	o 737291
31.87/28.41	o 738151
31.87/28.41	o 739183
31.87/28.41	o 740338
31.87/28.41	o 740363
31.87/28.41	o 741518
32.02/28.41	o 743434
32.02/28.41	o 744614
32.02/28.41	o 745428
32.02/28.41	o 745769
32.02/28.41	o 746534
32.02/28.41	o 746875
32.02/28.41	o 747956
32.02/28.41	o 748030
32.02/28.41	o 749136
32.02/28.42	o 749477
32.68/28.98	o 749809
32.68/28.98	o 751308
32.68/28.98	o 752614
32.68/28.98	o 757276
32.68/28.98	o 758824
32.68/28.98	o 763486
32.68/28.98	o 766359
32.68/28.99	o 771021
32.68/28.99	o 773677
32.68/28.99	o 774947
32.68/28.99	o 776953
32.68/28.99	o 779609
32.68/28.99	o 780300
32.68/28.99	o 780966
32.68/28.99	o 781570
32.68/28.99	o 786232
32.68/28.99	o 788888
32.68/28.99	o 789700
32.68/28.99	o 792356
32.68/28.99	o 794362
32.68/28.99	o 797018
32.68/28.99	o 800294
32.68/29.00	o 802950
32.68/29.00	o 803071
32.82/29.00	o 805727
32.82/29.00	o 806594
32.82/29.00	o 806992
32.82/29.00	o 808781
32.82/29.00	o 809648
32.82/29.00	o 811659
32.82/29.00	o 812057
32.82/29.00	o 814713
32.82/29.00	o 815580
32.82/29.00	o 816642
32.82/29.00	o 817509
32.82/29.01	o 817680
32.82/29.01	o 819609
32.82/29.01	o 820476
32.82/29.01	o 820773
32.82/29.01	o 821524
32.82/29.01	o 824491
32.82/29.01	o 825358
33.27/29.38	o 827036
33.27/29.38	o 828794
33.27/29.38	o 829791
33.27/29.38	o 831698
33.27/29.39	o 832897
33.27/29.39	o 833076
33.27/29.39	o 833331
33.27/29.39	o 836235
33.27/29.39	o 838142
33.27/29.39	o 839065
33.27/29.39	o 840062
33.27/29.39	o 841969
33.27/29.39	o 842224
33.27/29.39	o 845128
33.27/29.39	o 847035
33.27/29.40	o 847341
33.27/29.40	o 849082
33.27/29.40	o 850989
33.27/29.40	o 851168
33.27/29.40	o 851423
33.27/29.40	o 854327
33.27/29.40	o 856234
33.27/29.40	o 858140
33.27/29.40	o 858319
33.27/29.40	o 858483
33.27/29.40	o 859100
33.27/29.40	o 861478
33.27/29.40	o 863385
33.41/29.41	o 864125
33.41/29.41	o 864369
33.41/29.41	o 864405
33.41/29.41	o 866312
33.41/29.41	o 866556
33.41/29.41	o 866735
33.41/29.41	o 866990
33.41/29.41	o 869894
33.41/29.41	o 871557
33.41/29.41	o 871801
33.41/29.41	o 872517
33.41/29.41	o 872761
33.41/29.42	o 873298
33.41/29.42	o 875205
33.41/29.42	o 875449
33.41/29.42	o 875628
33.41/29.42	o 875883
33.41/29.42	o 878787
33.41/29.42	o 880694
33.41/29.42	o 880948
33.41/29.42	o 881127
33.41/29.42	o 882723
33.41/29.43	o 884286
33.41/29.43	o 886193
33.79/29.65	o 886525
33.79/29.65	o 887392
33.79/29.65	o 887892
33.79/29.65	o 888759
33.79/29.66	o 889674
33.79/29.66	o 890541
33.79/29.69	o 891640
33.79/29.69	o 892507
33.93/29.70	o 893743
33.93/29.70	o 895110
33.93/29.70	o 895977
33.93/29.71	o 897040
33.93/29.71	o 897907
33.93/29.71	o 898407
33.93/29.71	o 899274
33.93/29.73	o 900189
33.93/29.73	o 901056
34.14/29.91	o 901697
34.14/29.91	o 902564
34.14/29.94	o 903479
34.14/29.94	o 904346
34.14/29.96	o 905719
34.14/29.96	o 907312
34.14/29.96	o 910279
34.14/29.96	o 911146
34.14/29.98	o 911277
34.14/29.98	o 912144
34.25/30.01	o 912209
34.25/30.01	o 913576
34.25/30.01	o 914443
34.25/30.01	o 914574
34.25/30.02	o 915441
34.36/30.17	o 917027
34.36/30.17	o 917894
34.36/30.17	o 918025
34.36/30.17	o 918892
34.47/30.20	o 918957
34.47/30.20	o 920324
34.47/30.20	o 921191
34.47/30.20	o 921322
34.47/30.20	o 922189
34.63/30.38	o 922585
34.73/30.46	o 923925
34.73/30.46	o 924321
34.73/30.46	o 924792
34.73/30.46	o 925188
34.73/30.47	o 927222
34.73/30.47	o 928089
34.73/30.47	o 928485
34.81/30.54	o 928616
34.81/30.54	o 929087
34.81/30.54	o 929483
34.91/30.64	o 929958
34.91/30.64	o 929959
34.91/30.64	o 930826
34.91/30.64	o 931194
34.91/30.64	o 932561
34.91/30.64	o 933428
34.91/30.67	o 933869
34.91/30.68	o 934369
34.91/30.68	o 935236
34.91/30.68	o 935591
34.91/30.68	o 937506
34.91/30.68	o 937871
34.91/30.68	o 940473
34.91/30.68	o 941340
34.91/30.68	o 941840
34.91/30.68	o 942707
35.11/30.90	o 942749
35.11/30.90	o 943647
35.11/30.90	o 944513
35.11/30.90	o 945696
35.11/30.90	o 946563
35.11/30.90	o 947461
35.11/30.90	o 947969
35.11/30.90	o 949734
35.11/30.90	o 951783
35.28/30.91	o 953548
35.28/30.91	o 954458
35.28/30.91	o 956508
35.28/30.91	o 957375
35.28/30.91	o 958273
35.28/30.91	o 959601
35.28/30.91	o 960468
35.28/30.91	o 961366
35.28/30.91	o 962124
35.28/30.91	o 963889
35.28/30.91	o 964883
35.28/30.91	o 965899
35.28/30.91	o 968866
35.28/30.91	o 970631
35.28/30.92	o 971986
35.28/30.92	o 973751
35.28/30.92	o 974953
35.28/30.92	o 975820
35.28/30.92	o 976718
35.28/30.92	o 977003
35.28/30.92	o 978768
36.76/32.27	o 980075
36.76/32.27	o 981560
36.76/32.27	o 983467
36.76/32.27	o 983513
36.87/32.34	o 984730
36.87/32.34	o 985878
36.87/32.34	o 986418
36.87/32.34	o 987379
36.87/32.34	o 988665
36.87/32.35	o 989429
36.87/32.35	o 990715
36.87/32.36	o 990959
36.87/32.36	o 991672
36.87/32.36	o 991723
36.87/32.37	o 993009
36.87/32.37	o 994157
36.87/32.37	o 994321
36.87/32.37	o 995658
36.87/32.37	o 996944
36.87/32.40	o 998099
36.98/32.42	o 998924
36.98/32.43	o 999270
36.98/32.43	o 1000425
36.98/32.43	o 1000556
36.98/32.43	o 1001711
36.98/32.48	o 1001731
36.98/32.48	o 1002886
36.98/32.48	o 1004034
36.98/32.48	o 1004051
36.98/32.48	o 1005199
36.98/32.48	o 1005206
36.98/32.48	o 1006354
36.98/32.48	o 1006768
36.98/32.49	o 1007532
36.98/32.49	o 1007663
36.98/32.49	o 1008818
36.98/32.49	o 1009966
37.07/32.51	o 1010567
37.07/32.51	o 1011715
37.07/32.51	o 1011722
37.07/32.52	o 1012870
37.07/32.60	o 1014025
37.07/32.60	o 1014474
37.07/32.60	o 1015797
37.18/32.60	o 1016702
37.18/32.61	o 1017604
37.18/32.61	o 1018927
37.18/32.61	o 1019376
37.18/32.61	o 1020699
37.18/32.61	o 1022886
37.18/32.61	o 1024209
37.18/32.61	o 1024658
37.18/32.61	o 1025981
37.18/32.62	o 1026883
37.18/32.62	o 1028206
37.18/32.62	o 1028655
37.18/32.62	o 1029978
37.18/32.62	o 1030740
37.18/32.62	o 1032063
37.18/32.62	o 1032215
37.18/32.62	o 1034737
37.18/32.62	o 1036060
37.18/32.63	o 1036509
37.18/32.63	o 1037832
38.00/33.25	o 1039276
38.00/33.25	o 1039472
38.00/33.26	o 1040916
38.33/33.58	o 1042223
38.33/33.58	o 1044788
38.33/33.59	o 1045485
38.33/33.59	o 1049228
38.33/33.59	o 1052348
38.33/33.59	o 1054718
38.33/33.59	o 1054762
38.33/33.59	o 1056565
38.33/33.59	o 1061005
38.33/33.59	o 1065167
38.99/34.17	o 1065251
39.53/34.61	o 1065845
39.53/34.61	o 1069153
39.53/34.61	o 1070072
39.53/34.61	o 1070476
39.53/34.61	o 1071395
39.53/34.61	o 1072623
39.53/34.61	o 1073946
39.53/34.61	o 1074227
39.53/34.61	o 1075146
39.53/34.61	o 1077697
39.53/34.61	o 1079020
39.80/34.85	o 1079830
40.49/35.42	o 1080276
40.49/35.42	o 1080340
40.49/35.42	o 1080397
40.49/35.42	o 1081720
40.49/35.42	o 1081784
40.49/35.43	o 1082752
40.49/35.43	o 1084075
40.49/35.43	o 1085535
40.49/35.43	o 1086979
40.49/35.43	o 1088302
40.49/35.43	o 1089450
46.37/41.07	o 1092061
46.37/41.07	o 1092248
46.37/41.07	o 1092332
46.37/41.07	o 1092575
46.37/41.07	o 1096045
46.37/41.07	o 1097838
46.37/41.07	o 1097922
47.47/42.14	o 1098624
47.47/42.14	o 1098714
47.47/42.14	o 1099271
47.47/42.14	o 1100081
47.47/42.15	o 1100382
47.47/42.15	o 1103852
47.47/42.15	o 1104662
47.47/42.16	o 1104864
47.47/42.16	o 1105674
47.47/42.17	o 1106967
47.47/42.17	o 1108334
47.47/42.17	o 1109144
47.47/42.18	o 1110307
47.47/42.18	o 1111117
47.47/42.18	o 1111319
47.47/42.18	o 1114789
47.47/42.18	o 1115599
47.47/42.18	o 1116156
47.47/42.18	o 1116966
47.71/42.36	o 1118043
47.81/42.45	o 1118297
47.81/42.45	o 1118381
47.81/42.45	o 1119741
47.81/42.45	o 1119825
47.81/42.45	o 1119943
47.81/42.45	o 1120027
47.81/42.47	o 1122954
47.81/42.47	o 1124398
47.90/42.57	o 1125251
47.90/42.57	o 1126040
47.90/42.57	o 1126121
47.90/42.57	o 1128643
47.90/42.59	o 1129823
48.07/42.60	o 1131693
48.07/42.60	o 1132873
48.07/42.62	o 1133709
48.07/42.62	o 1134001
48.07/42.62	o 1135181
48.07/42.62	o 1137393
48.07/42.62	o 1138573
48.07/42.62	o 1138993
48.20/42.74	o 1139033
48.20/42.74	o 1140477
48.20/42.76	o 1140896
48.20/42.77	o 1141925
48.20/42.77	o 1143690
48.20/42.79	o 1145134
48.30/42.85	o 1146588
48.30/42.85	o 1148353
48.30/42.85	o 1149797
48.30/42.86	o 1150607
48.30/42.87	o 1150826
48.30/42.87	o 1151147
48.30/42.87	o 1152591
48.41/42.99	o 1153771
48.51/43.07	o 1154473
48.51/43.07	o 1156341
48.51/43.07	o 1157418
48.51/43.07	o 1157627
48.51/43.07	o 1158704
48.51/43.07	o 1158833
48.51/43.07	o 1160883
48.51/43.07	o 1162169
48.51/43.07	o 1163246
48.51/43.07	o 1163966
48.51/43.07	o 1165252
48.51/43.08	o 1166329
48.51/43.09	o 1167093
48.51/43.09	o 1167302
48.51/43.09	o 1168379
48.72/43.25	o 1169302
48.72/43.25	o 1170379
48.72/43.25	o 1170511
48.72/43.25	o 1171797
48.72/43.25	o 1172874
48.72/43.26	o 1172880
48.72/43.26	o 1173957
48.72/43.26	o 1174166
48.72/43.26	o 1175243
48.72/43.27	o 1175375
48.72/43.27	o 1176661
48.72/43.27	o 1177738
48.85/43.34	o 1178140
48.85/43.35	o 1179186
48.85/43.35	o 1180350
48.85/43.35	o 1181427
48.85/43.35	o 1182271
48.85/43.35	o 1184512
48.85/43.35	o 1185589
48.85/43.36	o 1186210
48.85/43.36	o 1186401
48.95/43.43	o 1186665
48.95/43.43	o 1187970
48.95/43.44	o 1188906
50.00/44.39	o 1188910
50.00/44.39	o 1190196
50.19/44.59	o 1191344
50.29/44.60	o 1192630
50.39/44.71	o 1192958
50.39/44.71	o 1193116
50.39/44.72	o 1194402
50.79/45.16	o 1194605
50.79/45.18	o 1195091
50.79/45.18	o 1196377
50.79/45.19	o 1197525
50.79/45.19	o 1198811
50.89/45.20	o 1199297
50.89/45.20	o 1200583
51.00/45.39	o 1200609
51.00/45.39	o 1201895
51.12/45.48	o 1202381
51.12/45.48	o 1203667
51.41/45.74	o 1205468
51.41/45.76	o 1208430
51.82/46.12	o 1210409
51.82/46.15	o 1211386
51.82/46.16	o 1213852
51.82/46.17	o 1214815
51.82/46.17	o 1214896
51.82/46.17	o 1217418
52.14/46.47	o 1217541
52.14/46.47	o 1217854
52.14/46.47	o 1218721
52.14/46.48	o 1219626
52.14/46.48	o 1220493
52.23/46.56	o 1221049
52.23/46.58	o 1221496
52.23/46.58	o 1222363
53.15/47.38	o 1223622
53.15/47.38	o 1224781
53.15/47.38	o 1226225
53.15/47.38	o 1227685
53.15/47.38	o 1229129
53.36/47.53	o 1229314
53.36/47.53	o 1230494
57.93/52.05	o 1230776
57.93/52.05	o 1232564
57.93/52.05	o 1235086
57.93/52.05	o 1236266
57.93/52.05	o 1236451
57.93/52.05	o 1237631
57.93/52.08	o 1238344
59.15/53.26	o 1238428
61.48/55.50	o 1243030
61.48/55.52	o 1244210
61.48/55.55	o 1244345
61.48/55.55	o 1244709
61.48/55.55	o 1244844
61.70/55.71	o 1244893
61.70/55.71	o 1245760
61.70/55.71	o 1247687
61.70/55.71	o 1248554
61.70/55.77	o 1248587
61.70/55.77	o 1249694
61.70/55.77	o 1252297
61.70/55.77	o 1253741
61.70/55.77	o 1254608
64.80/58.67	o 1254816
64.80/58.68	o 1254831
64.80/58.68	o 1256738
64.80/58.68	o 1257590
64.80/58.69	o 1258286
64.80/58.69	o 1259013
64.80/58.69	o 1260193
64.80/58.69	o 1261519
64.80/58.69	o 1262181
64.80/58.69	o 1262844
64.80/58.69	o 1263163
64.80/58.69	o 1263178
64.80/58.70	o 1265085
64.80/58.70	o 1265553
64.90/58.70	o 1265650
64.90/58.70	o 1266312
64.90/58.70	o 1266694
64.90/58.70	o 1266975
64.90/58.70	o 1267294
64.90/58.70	o 1269216
64.90/58.70	o 1271123
65.02/58.80	o 1271187
65.74/59.53	o 1271633
65.74/59.53	o 1271697
65.74/59.53	o 1273733
65.74/59.54	o 1274600
65.74/59.54	o 1274664
65.74/59.54	o 1274810
65.74/59.54	o 1274874
65.74/59.54	o 1275677
65.74/59.54	o 1275741
66.14/59.90	o 1277539
68.37/62.15	o 1277810
68.37/62.15	o 1278729
68.37/62.15	o 1278813
68.58/62.36	o 1279682
68.58/62.36	o 1279766
68.77/62.57	o 1279854
68.77/62.57	o 1281652
68.77/62.57	o 1283338
68.77/62.58	o 1284034
68.77/62.58	o 1285941
68.77/62.58	o 1287739
68.77/62.58	o 1288692
68.87/62.62	o 1289343
68.87/62.62	o 1290708
68.87/62.62	o 1290792
68.87/62.63	o 1291250
68.87/62.63	o 1291334
68.87/62.64	o 1292615
68.87/62.64	o 1292699
70.29/64.06	o 1292730
70.29/64.06	o 1292814
72.65/66.31	o 1294005
72.65/66.31	o 1295912
72.65/66.31	o 1295976
72.65/66.32	o 1296047
72.65/66.32	o 1296111
72.75/66.48	o 1296433
72.75/66.48	o 1297352
73.15/66.89	o 1297476
73.25/66.91	o 1298312
73.25/66.91	o 1298447
73.25/66.92	o 1303176
73.25/66.94	o 1303311
74.15/67.82	o 1303803
74.15/67.89	o 1304191
74.15/67.89	o 1305932
74.15/67.89	o 1307854
76.79/70.48	o 1308801
76.79/70.48	o 1308865
78.09/71.74	o 1308948
78.09/71.74	o 1309901
78.09/71.74	o 1310036
78.29/71.97	o 1310063
78.29/71.97	o 1310127
78.81/72.45	o 1310540
78.81/72.45	o 1311826
78.81/72.46	o 1311984
78.81/72.46	o 1313270
79.62/73.30	o 1313549
86.67/80.10	o 1314300
86.67/80.10	o 1315311
86.67/80.10	o 1315586
86.67/80.10	o 1316597
88.79/82.26	o 1317689
88.79/82.26	o 1317901
88.79/82.26	o 1319266
88.79/82.27	o 1320507
88.79/82.27	o 1321611
88.79/82.27	o 1322852
88.79/82.27	o 1322976
88.79/82.27	o 1324217
89.00/82.47	o 1325857
90.36/83.74	o 1327249
90.36/83.75	o 1328333
90.36/83.75	o 1331996
90.36/83.75	o 1334790
90.86/84.22	o 1335699
93.39/86.74	o 1337089
93.39/86.74	o 1338042
93.39/86.74	o 1339011
93.39/86.74	o 1339964
93.39/86.76	o 1340099
95.22/88.50	o 1342082
95.22/88.50	o 1342444
95.22/88.51	o 1344685
95.22/88.51	o 1344970
95.22/88.51	o 1346758
95.22/88.51	o 1349361
95.22/88.51	o 1351602
95.53/88.89	o 1352059
95.53/88.89	o 1352194
95.75/89.04	o 1352244
95.75/89.04	o 1353485
95.75/89.04	o 1353530
95.75/89.04	o 1354771
95.75/89.04	o 1354855
95.75/89.04	o 1355107
95.75/89.04	o 1355191
95.75/89.04	o 1356348
95.75/89.04	o 1356432
95.75/89.06	o 1357647
95.75/89.06	o 1357692
95.75/89.06	o 1358933
95.75/89.06	o 1359269
95.75/89.06	o 1360510
95.75/89.08	o 1360594
99.52/92.74	o 1361018
100.71/93.85	o 1364584
100.92/94.09	o 1364613
100.92/94.09	o 1365899
100.92/94.09	o 1365983
100.92/94.09	o 1369053
100.92/94.10	o 1369137
101.02/94.10	o 1370339
101.02/94.10	o 1370423
101.02/94.12	o 1372716
101.02/94.12	o 1372800
101.02/94.12	o 1374002
101.02/94.12	o 1374086
102.53/95.66	o 1376695
102.53/95.66	o 1377648
103.27/96.40	o 1380136
103.27/96.40	o 1381713
103.37/96.41	o 1383138
103.37/96.41	o 1385074
103.37/96.41	o 1387677
103.37/96.41	o 1389254
103.67/96.72	o 1391142
108.96/101.95	o 1391233
108.96/101.95	o 1391368
108.96/101.96	o 1391976
108.96/101.96	o 1392111
108.96/101.96	o 1393155
108.96/101.96	o 1393290
122.48/115.19	o 1394318
122.48/115.19	o 1397304
122.48/115.19	o 1398545
122.48/115.19	o 1399211
122.48/115.19	o 1400452
126.17/118.74	o 1401243
126.17/118.74	o 1401378
126.17/118.74	o 1401462
128.72/121.23	o 1402522
128.72/121.28	o 1403064
128.72/121.28	o 1404429
132.19/124.69	o 1405955
132.19/124.69	o 1406698
132.19/124.69	o 1409665
132.19/124.69	o 1409749
132.60/125.05	o 1410481
132.60/125.05	o 1410616
144.20/136.34	o 1411446
171.90/163.35	o 1412562
171.90/163.35	o 1413228
171.90/163.35	o 1414469
178.77/170.00	o 1414824
178.77/170.00	o 1417169
178.77/170.00	o 1418534
229.68/219.61	o 1421810
229.68/219.63	o 1421894
229.68/219.63	o 1423096
229.68/219.63	o 1423180
230.19/220.15	o 1423509
230.19/220.15	o 1425416
230.41/220.31	o 1425500
230.70/220.69	o 1427190
230.70/220.70	o 1429112
245.11/234.66	o 1429746
245.11/234.66	o 1429881
245.11/234.66	o 1431111
245.11/234.66	o 1431246
245.23/234.70	o 1431271
245.23/234.70	o 1434445
245.23/234.70	o 1435810
245.23/234.73	o 1435945
252.00/241.31	s SATISFIABLE
252.00/241.31	v <instantiation>
252.00/241.31	v 	<list>
252.00/241.31	v 		b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999]
252.00/241.31	v 	</list>
252.00/241.31	v 	<values>
252.00/241.31	v 		0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 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 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 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 
252.00/241.31	v 	</values>
252.00/241.31	v </instantiation>

Verifier Data 

OK	1435945

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310559-1534328724/watcher-4310559-1534328724 -o /tmp/evaluation-result-4310559-1534328724/solver-4310559-1534328724 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534328374-25580 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1960381823 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310559-1534328724.xml 

running on 4 cores: 0,2,4,6

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

solver pid=25947, runsolver pid=25944

[startup+0.100167 s]*
/proc/loadavg: 2.33 2.09 1.85 3/215 25962
/proc/meminfo: memFree=24836696/32770624 swapFree=67030680/67108860
[pid=25947] ppid=25944 vsize=14082736 memory=32656 CPUtime=0.11 cores=0,2,4,6
/proc/25947/stat : 25947 (java) S 25944 25947 25549 0 -1 1077944320 7100 0 0 0 10 1 0 0 20 0 15 0 250435558 14420721664 8164 33554432000 4194304 4196468 140734002475840 140734002458384 139717654695671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
/proc/25947/statm: 3520684 8164 3136 1 0 3482761 0
[pid=25947/tid=25949] ppid=25944 vsize=14082736 memory=-8629632960754126973 CPUtime=0.09 cores=0,2,4,6
/proc/25947/task/25949/stat : 25949 (java) R 25944 25947 25549 0 -1 4202560 5172 0 0 0 8 1 0 0 20 0 15 0 250435559 14420721664 8164 33554432000 4194304 4196468 140734002475840 139717658889760 139717638776158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25950] ppid=25944 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25950/stat : 25950 (java) S 25944 25947 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250435559 14420721664 8164 33554432000 4194304 4196468 140734002475840 139717569764112 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25951] ppid=25944 vsize=14082736 memory=139786468271744 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25951/stat : 25951 (java) S 25944 25947 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250435559 14420721664 8164 33554432000 4194304 4196468 140734002475840 139717249067920 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25952] ppid=25944 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25952/stat : 25952 (java) S 25944 25947 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250435559 14420721664 8164 33554432000 4194304 4196468 140734002475840 139717248015376 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25953] ppid=25944 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25953/stat : 25953 (java) S 25944 25947 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250435559 14420721664 8164 33554432000 4194304 4196468 140734002475840 139717246962832 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25954] ppid=25944 vsize=14082736 memory=139786468271744 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25954/stat : 25954 (java) S 25944 25947 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250435561 14420721664 8164 33554432000 4194304 4196468 140734002475840 139716836493296 139717654706818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25955] ppid=25944 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25955/stat : 25955 (java) S 25944 25947 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250435561 14420721664 8164 33554432000 4194304 4196468 140734002475840 139716835439520 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25956] ppid=25944 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25956/stat : 25956 (java) S 25944 25947 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250435561 14420721664 8164 33554432000 4194304 4196468 140734002475840 139716834386928 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25957] ppid=25944 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25957/stat : 25957 (java) S 25944 25947 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250435564 14420721664 8164 33554432000 4194304 4196468 140734002475840 139716833335504 139717654714267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25958] ppid=25944 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25958/stat : 25958 (java) S 25944 25947 25549 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 250435564 14420721664 8164 33554432000 4194304 4196468 140734002475840 139716832283120 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25959] ppid=25944 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25959/stat : 25959 (java) S 25944 25947 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250435564 14420721664 8164 33554432000 4194304 4196468 140734002475840 139716831230576 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25960] ppid=25944 vsize=14082736 memory=139786468271744 CPUtime=0.01 cores=0,2,4,6
/proc/25947/task/25960/stat : 25960 (java) R 25944 25947 25549 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 15 0 250435564 14420721664 8164 33554432000 4194304 4196468 140734002475840 139716186692336 139717638776158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25961] ppid=25944 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25961/stat : 25961 (java) S 25944 25947 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250435564 14420721664 8164 33554432000 4194304 4196468 140734002475840 139716185640032 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25962] ppid=25944 vsize=14082736 memory=139786468271744 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25962/stat : 25962 (java) S 25944 25947 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250435564 14420721664 8164 33554432000 4194304 4196468 140734002475840 139716184586544 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32656 KiB

[startup+0.216415 s]*
/proc/loadavg: 2.47 2.12 1.86 5/215 25962
/proc/meminfo: memFree=24821688/32770624 swapFree=67030680/67108860
[pid=25947] ppid=25944 vsize=14082736 memory=46816 CPUtime=0.32 cores=0,2,4,6
/proc/25947/stat : 25947 (java) S 25944 25947 25549 0 -1 1077944320 10367 0 0 0 30 2 0 0 20 0 15 0 250435558 14420721664 11704 33554432000 4194304 4196468 140734002475840 140734002458384 139717654695671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
/proc/25947/statm: 3520684 11704 3375 1 0 3482761 0
[pid=25947/tid=25949] ppid=25944 vsize=14082736 memory=7022364594140610616 CPUtime=0.21 cores=0,2,4,6
/proc/25947/task/25949/stat : 25949 (java) R 25944 25947 25549 0 -1 4202560 8063 0 0 0 19 2 0 0 20 0 15 0 250435559 14420721664 11704 33554432000 4194304 4196468 140734002475840 139717658924512 139717638776158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25950] ppid=25944 vsize=14082736 memory=343 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25950/stat : 25950 (java) S 25944 25947 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250435559 14420721664 11704 33554432000 4194304 4196468 140734002475840 139717569764112 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25951] ppid=25944 vsize=14082736 memory=288370162619983488 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25951/stat : 25951 (java) S 25944 25947 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250435559 14420721664 11704 33554432000 4194304 4196468 140734002475840 139717249067920 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25952] ppid=25944 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25952/stat : 25952 (java) S 25944 25947 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250435559 14420721664 11704 33554432000 4194304 4196468 140734002475840 139717248015376 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25953] ppid=25944 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25953/stat : 25953 (java) S 25944 25947 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250435559 14420721664 11704 33554432000 4194304 4196468 140734002475840 139717246962832 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25954] ppid=25944 vsize=14082736 memory=139786468271744 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25954/stat : 25954 (java) S 25944 25947 25549 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250435561 14420721664 11704 33554432000 4194304 4196468 140734002475840 139716836493296 139717654706818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25955] ppid=25944 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25955/stat : 25955 (java) S 25944 25947 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250435561 14420721664 11704 33554432000 4194304 4196468 140734002475840 139716835439520 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25956] ppid=25944 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25956/stat : 25956 (java) S 25944 25947 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250435561 14420721664 11704 33554432000 4194304 4196468 140734002475840 139716834386928 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25957] ppid=25944 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25957/stat : 25957 (java) S 25944 25947 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250435564 14420721664 11704 33554432000 4194304 4196468 140734002475840 139716833335504 139717654714267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25958] ppid=25944 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25947/task/25958/stat : 25958 (java) S 25944 25947 25549 0 -1 1077944384 441 0 0 0 2 0 0 0 20 0 15 0 250435564 14420721664 11704 33554432000 4194304 4196468 140734002475840 139716832283120 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25959] ppid=25944 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25947/task/25959/stat : 25959 (java) R 25944 25947 25549 0 -1 1077944384 165 0 0 0 2 0 0 0 20 0 15 0 250435564 14420721664 11704 33554432000 4194304 4196468 140734002475840 139716831230576 139717654706818 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25960] ppid=25944 vsize=14082736 memory=139786468271744 CPUtime=0.06 cores=0,2,4,6
/proc/25947/task/25960/stat : 25960 (java) S 25944 25947 25549 0 -1 1077944384 318 0 0 0 6 0 0 0 20 0 15 0 250435564 14420721664 11704 33554432000 4194304 4196468 140734002475840 139716186692336 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25961] ppid=25944 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25961/stat : 25961 (java) S 25944 25947 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250435564 14420721664 11704 33554432000 4194304 4196468 140734002475840 139716185640032 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25962] ppid=25944 vsize=14082736 memory=139786468271744 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25962/stat : 25962 (java) S 25944 25947 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250435564 14420721664 11704 33554432000 4194304 4196468 140734002475840 139716184586544 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46816 KiB

[startup+0.310443 s]*
/proc/loadavg: 2.47 2.12 1.86 3/215 25962
/proc/meminfo: memFree=24818524/32770624 swapFree=67030680/67108860
[pid=25947] ppid=25944 vsize=14082736 memory=50280 CPUtime=0.44 cores=0,2,4,6
/proc/25947/stat : 25947 (java) S 25944 25947 25549 0 -1 1077944320 10705 0 0 0 41 3 0 0 20 0 15 0 250435558 14420721664 12570 33554432000 4194304 4196468 140734002475840 140734002458384 139717654695671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
/proc/25947/statm: 3520684 12570 3380 1 0 3482761 0
[pid=25947/tid=25949] ppid=25944 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/25947/task/25949/stat : 25949 (java) R 25944 25947 25549 0 -1 4202560 8378 0 0 0 28 2 0 0 20 0 15 0 250435559 14420721664 12570 33554432000 4194304 4196468 140734002475840 139717658896032 139717636259200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25950] ppid=25944 vsize=14082736 memory=4294976238 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25950/stat : 25950 (java) S 25944 25947 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250435559 14420721664 12570 33554432000 4194304 4196468 140734002475840 139717569764112 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25951] ppid=25944 vsize=14082736 memory=288370162619983488 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25951/stat : 25951 (java) S 25944 25947 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250435559 14420721664 12570 33554432000 4194304 4196468 140734002475840 139717249067920 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25952] ppid=25944 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25952/stat : 25952 (java) S 25944 25947 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250435559 14420721664 12570 33554432000 4194304 4196468 140734002475840 139717248015376 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25953] ppid=25944 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25953/stat : 25953 (java) S 25944 25947 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250435559 14420721664 12570 33554432000 4194304 4196468 140734002475840 139717246962832 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25954] ppid=25944 vsize=14082736 memory=139786468271744 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25954/stat : 25954 (java) S 25944 25947 25549 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250435561 14420721664 12570 33554432000 4194304 4196468 140734002475840 139716836493296 139717654706818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25955] ppid=25944 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25955/stat : 25955 (java) S 25944 25947 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250435561 14420721664 12570 33554432000 4194304 4196468 140734002475840 139716835439520 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25956] ppid=25944 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25956/stat : 25956 (java) S 25944 25947 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250435561 14420721664 12570 33554432000 4194304 4196468 140734002475840 139716834386928 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25957] ppid=25944 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25957/stat : 25957 (java) S 25944 25947 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250435564 14420721664 12570 33554432000 4194304 4196468 140734002475840 139716833335504 139717654714267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25958] ppid=25944 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25947/task/25958/stat : 25958 (java) S 25944 25947 25549 0 -1 1077944384 441 0 0 0 2 0 0 0 20 0 15 0 250435564 14420721664 12570 33554432000 4194304 4196468 140734002475840 139716832283120 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25959] ppid=25944 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25947/task/25959/stat : 25959 (java) S 25944 25947 25549 0 -1 1077944384 170 0 0 0 2 0 0 0 20 0 15 0 250435564 14420721664 12570 33554432000 4194304 4196468 140734002475840 139716831230576 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25960] ppid=25944 vsize=14082736 memory=139786468271744 CPUtime=0.07 cores=0,2,4,6
/proc/25947/task/25960/stat : 25960 (java) S 25944 25947 25549 0 -1 1077944384 335 0 0 0 7 0 0 0 20 0 15 0 250435564 14420721664 12570 33554432000 4194304 4196468 140734002475840 139716186692336 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25961] ppid=25944 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25961/stat : 25961 (java) S 25944 25947 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250435564 14420721664 12570 33554432000 4194304 4196468 140734002475840 139716185640032 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25962] ppid=25944 vsize=14082736 memory=139786468271744 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25962/stat : 25962 (java) S 25944 25947 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250435564 14420721664 12570 33554432000 4194304 4196468 140734002475840 139716184586544 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50280 KiB

[startup+0.700799 s]
/proc/loadavg: 2.47 2.12 1.86 3/215 25962
/proc/meminfo: memFree=24796512/32770624 swapFree=67030680/67108860
[pid=25947] ppid=25944 vsize=14084804 memory=89076 CPUtime=0.99 cores=0,2,4,6
/proc/25947/stat : 25947 (java) S 25944 25947 25549 0 -1 1077944320 17594 0 0 0 94 5 0 0 20 0 15 0 250435558 14422839296 22269 33554432000 4194304 4196468 140734002475840 140734002458384 139717654695671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
/proc/25947/statm: 3521201 22269 3504 1 0 3483273 0
[pid=25947/tid=25949] ppid=25944 vsize=14084804 memory=34104 CPUtime=0.67 cores=0,2,4,6
/proc/25947/task/25949/stat : 25949 (java) R 25944 25947 25549 0 -1 4202560 14830 0 0 0 63 4 0 0 20 0 15 0 250435559 14422839296 22269 33554432000 4194304 4196468 140734002475840 139717658919840 139717638776158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25950] ppid=25944 vsize=14084804 memory=11908 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25950/stat : 25950 (java) S 25944 25947 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250435559 14422839296 22269 33554432000 4194304 4196468 140734002475840 139717569764112 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25951] ppid=25944 vsize=14084804 memory=492 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25951/stat : 25951 (java) S 25944 25947 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250435559 14422839296 22269 33554432000 4194304 4196468 140734002475840 139717249067920 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25952] ppid=25944 vsize=14084804 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25952/stat : 25952 (java) S 25944 25947 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250435559 14422839296 22269 33554432000 4194304 4196468 140734002475840 139717248015376 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25953] ppid=25944 vsize=14084804 memory=932 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25953/stat : 25953 (java) S 25944 25947 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250435559 14422839296 22269 33554432000 4194304 4196468 140734002475840 139717246962832 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25954] ppid=25944 vsize=14084804 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25954/stat : 25954 (java) S 25944 25947 25549 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 250435561 14422839296 22269 33554432000 4194304 4196468 140734002475840 139716836493296 139717654706818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25955] ppid=25944 vsize=14084804 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25955/stat : 25955 (java) S 25944 25947 25549 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250435561 14422839296 22269 33554432000 4194304 4196468 140734002475840 139716835439520 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25956] ppid=25944 vsize=14084804 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25956/stat : 25956 (java) S 25944 25947 25549 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250435561 14422839296 22269 33554432000 4194304 4196468 140734002475840 139716834386928 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25957] ppid=25944 vsize=14084804 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25957/stat : 25957 (java) S 25944 25947 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250435564 14422839296 22269 33554432000 4194304 4196468 140734002475840 139716833335504 139717654714267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25958] ppid=25944 vsize=14084804 memory=7881696724453321575 CPUtime=0.07 cores=0,2,4,6
/proc/25947/task/25958/stat : 25958 (java) S 25944 25947 25549 0 -1 1077944384 596 0 0 0 7 0 0 0 20 0 15 0 250435564 14422839296 22269 33554432000 4194304 4196468 140734002475840 139716832283120 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25959] ppid=25944 vsize=14084804 memory=7453282923461570405 CPUtime=0.07 cores=0,2,4,6
/proc/25947/task/25959/stat : 25959 (java) S 25944 25947 25549 0 -1 1077944384 339 0 0 0 7 0 0 0 20 0 15 0 250435564 14422839296 22269 33554432000 4194304 4196468 140734002475840 139716831230576 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25960] ppid=25944 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/25947/task/25960/stat : 25960 (java) S 25944 25947 25549 0 -1 1077944384 449 0 0 0 15 0 0 0 20 0 15 0 250435564 14422839296 22269 33554432000 4194304 4196468 140734002475840 139716186692336 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25961] ppid=25944 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25961/stat : 25961 (java) S 25944 25947 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250435564 14422839296 22269 33554432000 4194304 4196468 140734002475840 139716185640032 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25962] ppid=25944 vsize=14084804 memory=972 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25962/stat : 25962 (java) S 25944 25947 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250435564 14422839296 22269 33554432000 4194304 4196468 140734002475840 139716184586544 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89076 KiB

[startup+1.50082 s]
/proc/loadavg: 2.47 2.12 1.86 4/215 25962
/proc/meminfo: memFree=24753640/32770624 swapFree=67030680/67108860
[pid=25947] ppid=25944 vsize=14086852 memory=184776 CPUtime=2.78 cores=0,2,4,6
/proc/25947/stat : 25947 (java) S 25944 25947 25549 0 -1 1077944320 21732 0 0 0 271 7 0 0 20 0 15 0 250435558 14424936448 46194 33554432000 4194304 4196468 140734002475840 140734002458384 139717654695671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
/proc/25947/statm: 3521713 46194 3548 1 0 3483785 0
[pid=25947/tid=25949] ppid=25944 vsize=14086852 memory=145816 CPUtime=1.47 cores=0,2,4,6
/proc/25947/task/25949/stat : 25949 (java) R 25944 25947 25549 0 -1 4202560 16714 0 0 0 141 6 0 0 20 0 15 0 250435559 14424936448 46194 33554432000 4194304 4196468 140734002475840 139717658930872 139717253943756 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25950] ppid=25944 vsize=14086852 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25950/stat : 25950 (java) S 25944 25947 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250435559 14424936448 46194 33554432000 4194304 4196468 140734002475840 139717569764112 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25951] ppid=25944 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25951/stat : 25951 (java) S 25944 25947 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250435559 14424936448 46194 33554432000 4194304 4196468 140734002475840 139717249067920 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25952] ppid=25944 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25952/stat : 25952 (java) S 25944 25947 25549 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250435559 14424936448 46194 33554432000 4194304 4196468 140734002475840 139717248015376 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25953] ppid=25944 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25953/stat : 25953 (java) S 25944 25947 25549 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250435559 14424936448 46194 33554432000 4194304 4196468 140734002475840 139717246962832 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25954] ppid=25944 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25954/stat : 25954 (java) S 25944 25947 25549 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 250435561 14424936448 46194 33554432000 4194304 4196468 140734002475840 139716836493296 139717654706818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0

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

/proc/25947/task/25949/stat : 25949 (java) R 25944 25947 25549 0 -1 4202560 27713 0 0 0 10157 21 0 0 20 0 15 0 250435559 14431227904 411605 33554432000 4194304 4196468 140734002475840 139717658932816 139717259580939 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25950] ppid=25944 vsize=14092996 memory=4872558044660077418 CPUtime=0.38 cores=0,2,4,6
/proc/25947/task/25950/stat : 25950 (java) S 25944 25947 25549 0 -1 1077944384 2272 0 0 0 25 13 0 0 20 0 15 0 250435559 14431227904 411605 33554432000 4194304 4196468 140734002475840 139717569764112 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25951] ppid=25944 vsize=14092996 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/25947/task/25951/stat : 25951 (java) S 25944 25947 25549 0 -1 1077944384 1188 0 0 0 25 12 0 0 20 0 15 0 250435559 14431227904 411605 33554432000 4194304 4196468 140734002475840 139717249067920 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25952] ppid=25944 vsize=14092996 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/25947/task/25952/stat : 25952 (java) S 25944 25947 25549 0 -1 1077944384 681 0 0 0 25 13 0 0 20 0 15 0 250435559 14431227904 411605 33554432000 4194304 4196468 140734002475840 139717248015376 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25953] ppid=25944 vsize=14092996 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/25947/task/25953/stat : 25953 (java) S 25944 25947 25549 0 -1 1077944384 1186 0 0 0 25 13 0 0 20 0 15 0 250435559 14431227904 411605 33554432000 4194304 4196468 140734002475840 139717246962832 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25954] ppid=25944 vsize=14092996 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/25947/task/25954/stat : 25954 (java) S 25944 25947 25549 0 -1 1077944384 2048 0 0 0 6 0 0 0 20 0 15 0 250435561 14431227904 411605 33554432000 4194304 4196468 140734002475840 139716836493296 139717654706818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25955] ppid=25944 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25955/stat : 25955 (java) S 25944 25947 25549 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250435561 14431227904 411605 33554432000 4194304 4196468 140734002475840 139716835439584 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25956] ppid=25944 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25956/stat : 25956 (java) S 25944 25947 25549 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 250435561 14431227904 411605 33554432000 4194304 4196468 140734002475840 139716834386944 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25957] ppid=25944 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25957/stat : 25957 (java) S 25944 25947 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250435564 14431227904 411605 33554432000 4194304 4196468 140734002475840 139716833335504 139717654714267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25958] ppid=25944 vsize=14092996 memory=0 CPUtime=2.55 cores=0,2,4,6
/proc/25947/task/25958/stat : 25958 (java) S 25944 25947 25549 0 -1 1077944384 5233 0 0 0 254 1 0 0 20 0 15 0 250435564 14431227904 411605 33554432000 4194304 4196468 140734002475840 139716832283120 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25959] ppid=25944 vsize=14092996 memory=0 CPUtime=2.18 cores=0,2,4,6
/proc/25947/task/25959/stat : 25959 (java) S 25944 25947 25549 0 -1 1077944384 6214 0 0 0 217 1 0 0 20 0 15 0 250435564 14431227904 411605 33554432000 4194304 4196468 140734002475840 139716831230576 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25960] ppid=25944 vsize=14092996 memory=0 CPUtime=1.14 cores=0,2,4,6
/proc/25947/task/25960/stat : 25960 (java) S 25944 25947 25549 0 -1 1077944384 8566 0 0 0 112 2 0 0 20 0 15 0 250435564 14431227904 411605 33554432000 4194304 4196468 140734002475840 139716186692336 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25961] ppid=25944 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25961/stat : 25961 (java) S 25944 25947 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250435564 14431227904 411605 33554432000 4194304 4196468 140734002475840 139716185640032 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25962] ppid=25944 vsize=14092996 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25947/task/25962/stat : 25962 (java) S 25944 25947 25549 0 -1 1077944384 834 0 0 0 2 3 0 0 20 0 15 0 250435564 14431227904 411605 33554432000 4194304 4196468 140734002475840 139716184586544 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
Current children cumulated CPU time: 109.37 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1646420 KiB

[startup+162.301 s]*
/proc/loadavg: 1.69 1.91 1.82 3/215 26042
/proc/meminfo: memFree=26703768/32770624 swapFree=67030680/67108860
[pid=25947] ppid=25944 vsize=14092996 memory=1663392 CPUtime=170.87 cores=0,2,4,6
/proc/25947/stat : 25947 (java) S 25944 25947 25549 0 -1 1077944320 69829 0 0 0 16990 97 0 0 20 0 15 0 250435558 14431227904 415848 33554432000 4194304 4196468 140734002475840 140734002458384 139717654695671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
/proc/25947/statm: 3523249 415848 3599 1 0 3485321 0
[pid=25947/tid=25949] ppid=25944 vsize=14092996 memory=6791534058613427641 CPUtime=161.2 cores=0,2,4,6
/proc/25947/task/25949/stat : 25949 (java) R 25944 25947 25549 0 -1 4202560 30423 0 0 0 16098 22 0 0 20 0 15 0 250435559 14431227904 415848 33554432000 4194304 4196468 140734002475840 139717658932704 139717258735529 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25950] ppid=25944 vsize=14092996 memory=4872558044660077418 CPUtime=0.81 cores=0,2,4,6
/proc/25947/task/25950/stat : 25950 (java) S 25944 25947 25549 0 -1 1077944384 3420 0 0 0 65 16 0 0 20 0 15 0 250435559 14431227904 415848 33554432000 4194304 4196468 140734002475840 139717569764112 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25951] ppid=25944 vsize=14092996 memory=752 CPUtime=0.81 cores=0,2,4,6
/proc/25947/task/25951/stat : 25951 (java) S 25944 25947 25549 0 -1 1077944384 1989 0 0 0 66 15 0 0 20 0 15 0 250435559 14431227904 415848 33554432000 4194304 4196468 140734002475840 139717249067920 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25952] ppid=25944 vsize=14092996 memory=972 CPUtime=0.81 cores=0,2,4,6
/proc/25947/task/25952/stat : 25952 (java) S 25944 25947 25549 0 -1 1077944384 1216 0 0 0 65 16 0 0 20 0 15 0 250435559 14431227904 415848 33554432000 4194304 4196468 140734002475840 139717248015376 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25953] ppid=25944 vsize=14092996 memory=13888 CPUtime=0.81 cores=0,2,4,6
/proc/25947/task/25953/stat : 25953 (java) S 25944 25947 25549 0 -1 1077944384 1675 0 0 0 65 16 0 0 20 0 15 0 250435559 14431227904 415848 33554432000 4194304 4196468 140734002475840 139717246962832 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25954] ppid=25944 vsize=14092996 memory=6791534058613427641 CPUtime=0.17 cores=0,2,4,6
/proc/25947/task/25954/stat : 25954 (java) S 25944 25947 25549 0 -1 1077944384 2554 0 0 0 16 1 0 0 20 0 15 0 250435561 14431227904 415848 33554432000 4194304 4196468 140734002475840 139716836493296 139717654706818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25955] ppid=25944 vsize=14092996 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25955/stat : 25955 (java) S 25944 25947 25549 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250435561 14431227904 415848 33554432000 4194304 4196468 140734002475840 139716835439584 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25956] ppid=25944 vsize=14092996 memory=11908 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25956/stat : 25956 (java) S 25944 25947 25549 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 250435561 14431227904 415848 33554432000 4194304 4196468 140734002475840 139716834386944 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25957] ppid=25944 vsize=14092996 memory=492 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25957/stat : 25957 (java) S 25944 25947 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250435564 14431227904 415848 33554432000 4194304 4196468 140734002475840 139716833335504 139717654714267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25958] ppid=25944 vsize=14092996 memory=1560 CPUtime=2.68 cores=0,2,4,6
/proc/25947/task/25958/stat : 25958 (java) S 25944 25947 25549 0 -1 1077944384 8588 0 0 0 267 1 0 0 20 0 15 0 250435564 14431227904 415848 33554432000 4194304 4196468 140734002475840 139716832283120 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25959] ppid=25944 vsize=14092996 memory=6791534058613427641 CPUtime=2.24 cores=0,2,4,6
/proc/25947/task/25959/stat : 25959 (java) S 25944 25947 25549 0 -1 1077944384 7768 0 0 0 223 1 0 0 20 0 15 0 250435564 14431227904 415848 33554432000 4194304 4196468 140734002475840 139716831230576 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25960] ppid=25944 vsize=14092996 memory=1440 CPUtime=1.15 cores=0,2,4,6
/proc/25947/task/25960/stat : 25960 (java) S 25944 25947 25549 0 -1 1077944384 9907 0 0 0 113 2 0 0 20 0 15 0 250435564 14431227904 415848 33554432000 4194304 4196468 140734002475840 139716186692336 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 41 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25961] ppid=25944 vsize=14092996 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25961/stat : 25961 (java) S 25944 25947 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250435564 14431227904 415848 33554432000 4194304 4196468 140734002475840 139716185640032 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25962] ppid=25944 vsize=14092996 memory=7532 CPUtime=0.08 cores=0,2,4,6
/proc/25947/task/25962/stat : 25962 (java) S 25944 25947 25549 0 -1 1077944384 865 0 0 0 4 4 0 0 20 0 15 0 250435564 14431227904 415848 33554432000 4194304 4196468 140734002475840 139716184586544 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 42 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
Current children cumulated CPU time: 170.87 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1663392 KiB

[startup+222.301 s]*
/proc/loadavg: 1.57 1.83 1.80 3/215 26043
/proc/meminfo: memFree=24178880/32770624 swapFree=67030680/67108860
[pid=25947] ppid=25944 vsize=14092996 memory=1709844 CPUtime=232.44 cores=0,2,4,6
/proc/25947/stat : 25947 (java) S 25944 25947 25549 0 -1 1077944320 80894 0 0 0 23127 117 0 0 20 0 15 0 250435558 14431227904 427461 33554432000 4194304 4196468 140734002475840 140734002458384 139717654695671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
/proc/25947/statm: 3523249 427461 3599 1 0 3485321 0
[pid=25947/tid=25949] ppid=25944 vsize=14092996 memory=6791534058613427641 CPUtime=220.59 cores=0,2,4,6
/proc/25947/task/25949/stat : 25949 (java) R 25944 25947 25549 0 -1 4202560 33088 0 0 0 22037 22 0 0 20 0 15 0 250435559 14431227904 427461 33554432000 4194304 4196468 140734002475840 139717658932704 139717259867250 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25950] ppid=25944 vsize=14092996 memory=4872558044660077418 CPUtime=1.29 cores=0,2,4,6
/proc/25947/task/25950/stat : 25950 (java) S 25944 25947 25549 0 -1 1077944384 3755 0 0 0 109 20 0 0 20 0 15 0 250435559 14431227904 427461 33554432000 4194304 4196468 140734002475840 139717569764112 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25951] ppid=25944 vsize=14092996 memory=2988 CPUtime=1.29 cores=0,2,4,6
/proc/25947/task/25951/stat : 25951 (java) S 25944 25947 25549 0 -1 1077944384 2296 0 0 0 109 20 0 0 20 0 15 0 250435559 14431227904 427461 33554432000 4194304 4196468 140734002475840 139717249067920 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25952] ppid=25944 vsize=14092996 memory=1707796 CPUtime=1.29 cores=0,2,4,6
/proc/25947/task/25952/stat : 25952 (java) S 25944 25947 25549 0 -1 1077944384 2171 0 0 0 108 21 0 0 20 0 15 0 250435559 14431227904 427461 33554432000 4194304 4196468 140734002475840 139717248015376 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25953] ppid=25944 vsize=14092996 memory=1404 CPUtime=1.29 cores=0,2,4,6
/proc/25947/task/25953/stat : 25953 (java) S 25944 25947 25549 0 -1 1077944384 2261 0 0 0 108 21 0 0 20 0 15 0 250435559 14431227904 427461 33554432000 4194304 4196468 140734002475840 139717246962832 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25954] ppid=25944 vsize=14092996 memory=2944 CPUtime=0.25 cores=0,2,4,6
/proc/25947/task/25954/stat : 25954 (java) S 25944 25947 25549 0 -1 1077944384 2826 0 0 0 23 2 0 0 20 0 15 0 250435561 14431227904 427461 33554432000 4194304 4196468 140734002475840 139716836493296 139717654706818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25955] ppid=25944 vsize=14092996 memory=3154716 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25955/stat : 25955 (java) S 25944 25947 25549 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250435561 14431227904 427461 33554432000 4194304 4196468 140734002475840 139716835439584 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25956] ppid=25944 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25956/stat : 25956 (java) S 25944 25947 25549 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 250435561 14431227904 427461 33554432000 4194304 4196468 140734002475840 139716834386944 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25957] ppid=25944 vsize=14092996 memory=2680 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25957/stat : 25957 (java) S 25944 25947 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250435564 14431227904 427461 33554432000 4194304 4196468 140734002475840 139716833335504 139717654714267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25958] ppid=25944 vsize=14092996 memory=3160 CPUtime=2.75 cores=0,2,4,6
/proc/25947/task/25958/stat : 25958 (java) S 25944 25947 25549 0 -1 1077944384 11070 0 0 0 274 1 0 0 20 0 15 0 250435564 14431227904 427461 33554432000 4194304 4196468 140734002475840 139716832283120 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25959] ppid=25944 vsize=14092996 memory=1704740 CPUtime=2.29 cores=0,2,4,6
/proc/25947/task/25959/stat : 25959 (java) S 25944 25947 25549 0 -1 1077944384 9686 0 0 0 228 1 0 0 20 0 15 0 250435564 14431227904 427461 33554432000 4194304 4196468 140734002475840 139716831230576 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25960] ppid=25944 vsize=14092996 memory=229 CPUtime=1.18 cores=0,2,4,6
/proc/25947/task/25960/stat : 25960 (java) S 25944 25947 25549 0 -1 1077944384 11362 0 0 0 115 3 0 0 20 0 15 0 250435564 14431227904 427461 33554432000 4194304 4196468 140734002475840 139716186692336 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 41 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25961] ppid=25944 vsize=14092996 memory=118 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25961/stat : 25961 (java) S 25944 25947 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250435564 14431227904 427461 33554432000 4194304 4196468 140734002475840 139716185640032 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25962] ppid=25944 vsize=14092996 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/25947/task/25962/stat : 25962 (java) S 25944 25947 25549 0 -1 1077944384 955 0 0 0 6 6 0 0 20 0 15 0 250435564 14431227904 427461 33554432000 4194304 4196468 140734002475840 139716184586544 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 42 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
Current children cumulated CPU time: 232.44 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1709844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+241.301 s]*
/proc/loadavg: 1.62 1.83 1.80 3/215 26043
/proc/meminfo: memFree=23859452/32770624 swapFree=67030680/67108860
[pid=25947] ppid=25944 vsize=14092996 memory=1724132 CPUtime=252 cores=0,2,4,6
/proc/25947/stat : 25947 (java) S 25944 25947 25549 0 -1 1077944320 85562 0 0 0 25077 123 0 0 20 0 15 0 250435558 14431227904 431033 33554432000 4194304 4196468 140734002475840 140734002458384 139717654695671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
/proc/25947/statm: 3523249 431033 3599 1 0 3485321 0
[pid=25947/tid=25949] ppid=25944 vsize=14092996 memory=6791534058613427641 CPUtime=239.41 cores=0,2,4,6
/proc/25947/task/25949/stat : 25949 (java) R 25944 25947 25549 0 -1 4202560 33692 0 0 0 23918 23 0 0 20 0 15 0 250435559 14431227904 431033 33554432000 4194304 4196468 140734002475840 139717658932816 139717259867280 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25950] ppid=25944 vsize=14092996 memory=4872558044660077418 CPUtime=1.44 cores=0,2,4,6
/proc/25947/task/25950/stat : 25950 (java) S 25944 25947 25549 0 -1 1077944384 4342 0 0 0 122 22 0 0 20 0 15 0 250435559 14431227904 431033 33554432000 4194304 4196468 140734002475840 139717569764112 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25951] ppid=25944 vsize=14092996 memory=39 CPUtime=1.44 cores=0,2,4,6
/proc/25947/task/25951/stat : 25951 (java) S 25944 25947 25549 0 -1 1077944384 2392 0 0 0 123 21 0 0 20 0 15 0 250435559 14431227904 431033 33554432000 4194304 4196468 140734002475840 139717249067920 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25952] ppid=25944 vsize=14092996 memory=22 CPUtime=1.44 cores=0,2,4,6
/proc/25947/task/25952/stat : 25952 (java) S 25944 25947 25549 0 -1 1077944384 2276 0 0 0 122 22 0 0 20 0 15 0 250435559 14431227904 431033 33554432000 4194304 4196468 140734002475840 139717248015376 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25953] ppid=25944 vsize=14092996 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/25947/task/25953/stat : 25953 (java) S 25944 25947 25549 0 -1 1077944384 2417 0 0 0 122 22 0 0 20 0 15 0 250435559 14431227904 431033 33554432000 4194304 4196468 140734002475840 139717246962832 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25954] ppid=25944 vsize=14092996 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/25947/task/25954/stat : 25954 (java) S 25944 25947 25549 0 -1 1077944384 2861 0 0 0 25 3 0 0 20 0 15 0 250435561 14431227904 431033 33554432000 4194304 4196468 140734002475840 139716836493296 139717654706818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25955] ppid=25944 vsize=14092996 memory=370 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25955/stat : 25955 (java) S 25944 25947 25549 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250435561 14431227904 431033 33554432000 4194304 4196468 140734002475840 139716835439584 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25956] ppid=25944 vsize=14092996 memory=24688 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25956/stat : 25956 (java) S 25944 25947 25549 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 250435561 14431227904 431033 33554432000 4194304 4196468 140734002475840 139716834386944 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25957] ppid=25944 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25957/stat : 25957 (java) S 25944 25947 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250435564 14431227904 431033 33554432000 4194304 4196468 140734002475840 139716833335504 139717654714267 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25958] ppid=25944 vsize=14092996 memory=172 CPUtime=2.79 cores=0,2,4,6
/proc/25947/task/25958/stat : 25958 (java) S 25944 25947 25549 0 -1 1077944384 11475 0 0 0 278 1 0 0 20 0 15 0 250435564 14431227904 431033 33554432000 4194304 4196468 140734002475840 139716832283120 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25959] ppid=25944 vsize=14092996 memory=11305 CPUtime=2.37 cores=0,2,4,6
/proc/25947/task/25959/stat : 25959 (java) S 25944 25947 25549 0 -1 1077944384 11650 0 0 0 235 2 0 0 20 0 15 0 250435564 14431227904 431033 33554432000 4194304 4196468 140734002475840 139716831230576 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25960] ppid=25944 vsize=14092996 memory=23446 CPUtime=1.18 cores=0,2,4,6
/proc/25947/task/25960/stat : 25960 (java) S 25944 25947 25549 0 -1 1077944384 11836 0 0 0 115 3 0 0 20 0 15 0 250435564 14431227904 431033 33554432000 4194304 4196468 140734002475840 139716186692336 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 41 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25961] ppid=25944 vsize=14092996 memory=140 CPUtime=0 cores=0,2,4,6
/proc/25947/task/25961/stat : 25961 (java) S 25944 25947 25549 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250435564 14431227904 431033 33554432000 4194304 4196468 140734002475840 139716185640032 139717654705877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
[pid=25947/tid=25962] ppid=25944 vsize=14092996 memory=141 CPUtime=0.13 cores=0,2,4,6
/proc/25947/task/25962/stat : 25962 (java) S 25944 25947 25549 0 -1 1077944384 1197 0 0 0 7 6 0 0 20 0 15 0 250435564 14431227904 431033 33554432000 4194304 4196468 140734002475840 139716184586544 139717654706818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 42 0 0 6293624 6294260 21864448 140734002480218 140734002480398 140734002480398 140734002483151 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1724132 KiB

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

[startup+241.348 s]
# the end of solver process 25947 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.809 s, system=1.25345 s

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

Child status: 143
Real time (s): 241.348
CPU time (s): 252.062
CPU user time (s): 250.809
CPU system time (s): 1.25345
CPU usage (%): 104.439
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 1727212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.809
system time used= 1.25345
maximum resident set size= 1728236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86450
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16491
involuntary context switches= 613


# summary of solver processes directly reported to runsolver:
#   pid: 25947
#   total CPU time (s): 252.062
#   total CPU user time (s): 250.809
#   total CPU system time (s): 1.25345

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.51918 second user time and 2.27947 second system time

The end

Launcher Data 

Begin job on node102 at 2018-08-15 12:25:24
IDJOB=4310559
IDBENCH=141147
IDSOLVER=2796
FILE ID=node102/4310559-1534328724
RUNJOBID= node102-1534328374-25580
PBS_JOBID= 21038150
Free space on /tmp= 39416 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-4310559-1534328724/watcher-4310559-1534328724 -o /tmp/evaluation-result-4310559-1534328724/solver-4310559-1534328724 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534328374-25580 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1960381823 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310559-1534328724.xml

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

MD5SUM BENCH= ef8d95b3b89bfc5ccba73a2d09f74d17
RANDOM SEED=1960381823

node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
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:        24855652 kB
MemAvailable:   27700940 kB
Buffers:          159904 kB
Cached:          2950656 kB
SwapCached:        51224 kB
Active:          5782332 kB
Inactive:        1574588 kB
Active(anon):    4170872 kB
Inactive(anon):   135252 kB
Active(file):    1611460 kB
Inactive(file):  1439336 kB
Unevictable:        7348 kB
Mlocked:            7348 kB
SwapTotal:      67108860 kB
SwapFree:       67030680 kB
Dirty:             36132 kB
Writeback:             0 kB
AnonPages:       4272208 kB
Mapped:            66908 kB
Shmem:             57196 kB
Slab:             250164 kB
SReclaimable:     220652 kB
SUnreclaim:        29512 kB
KernelStack:        3792 kB
PageTables:        13864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5150140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4114432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 39380 MiB
End job on node102 at 2018-08-15 12:29:25