Trace number 4298544

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
SuperSolver_Macq_Stevenart 2018-04-27SAT1199976 303.166 301.135

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.12/0.13	c version: 2018-04-11
0.12/0.13	c seed: 1811631
0.12/0.13	c timeout: -1
0.12/0.13	c memlimit: -1
0.12/0.13	c nbcore: -1
2.47/1.48	o 0
2.47/1.49	o 1525
2.47/1.49	o 20929
2.47/1.49	o 22454
2.47/1.50	o 29546
2.47/1.50	o 31071
2.63/1.50	o 32196
2.63/1.50	o 33721
2.63/1.51	o 53125
2.63/1.51	o 54650
2.63/1.51	o 61742
2.63/1.51	o 63267
2.63/1.51	o 66951
2.63/1.51	o 75568
2.63/1.52	o 80070
2.63/1.52	o 81595
2.63/1.52	o 88687
2.63/1.52	o 90212
2.63/1.52	o 93896
2.63/1.52	o 102513
2.63/1.53	o 103476
2.63/1.53	o 112093
2.63/1.53	o 114499
2.63/1.53	o 115462
2.63/1.53	o 124079
2.63/1.54	o 126143
2.63/1.54	o 134760
2.63/1.54	o 141313
2.63/1.55	o 141840
2.63/1.58	o 147714
2.63/1.58	o 148241
2.63/1.59	o 148372
2.63/1.59	o 153411
2.63/1.59	o 159812
2.90/1.60	o 159943
2.90/1.60	o 160339
2.90/1.60	o 160470
2.90/1.61	o 161973
2.90/1.61	o 162500
2.90/1.61	o 167670
2.90/1.62	o 168197
2.90/1.62	o 174071
2.90/1.62	o 174598
2.90/1.63	o 174729
2.90/1.64	o 178614
2.90/1.64	o 185015
2.90/1.64	o 185542
2.90/1.66	o 185702
2.90/1.68	o 186093
2.90/1.68	o 191967
2.90/1.68	o 192494
2.90/1.69	o 192654
3.56/2.14	o 193065
3.56/2.14	o 200396
3.56/2.14	o 200923
3.56/2.14	o 206797
3.56/2.14	o 207324
3.56/2.14	o 213091
3.56/2.14	o 213618
3.56/2.14	o 214607
3.56/2.14	o 215134
3.56/2.14	o 220901
3.56/2.14	o 221428
3.56/2.14	o 223450
3.56/2.14	o 223977
3.56/2.14	o 224344
3.56/2.15	o 225333
3.56/2.15	o 225860
3.56/2.15	o 231627
3.56/2.15	o 232154
3.56/2.15	o 234176
3.56/2.15	o 234703
3.56/2.15	o 239577
3.56/2.15	o 240104
3.56/2.15	o 241093
3.56/2.15	o 241620
3.56/2.15	o 247387
3.56/2.15	o 247914
3.56/2.15	o 249936
3.56/2.15	o 250463
3.56/2.15	o 250830
3.56/2.15	o 251819
3.56/2.15	o 252346
3.56/2.15	o 258113
3.56/2.15	o 258640
3.56/2.15	o 260662
3.56/2.15	o 261189
3.56/2.16	o 261417
3.56/2.16	o 263101
3.56/2.16	o 263628
3.56/2.16	o 263856
3.56/2.16	o 267863
3.56/2.16	o 268390
3.56/2.16	o 269379
3.56/2.16	o 269906
3.56/2.16	o 275673
3.56/2.16	o 276200
3.56/2.16	o 278222
3.56/2.16	o 278749
3.56/2.16	o 280661
3.56/2.16	o 281188
3.56/2.17	o 282498
3.56/2.17	o 283025
3.56/2.17	o 285047
3.56/2.17	o 285574
3.56/2.17	o 285802
3.56/2.17	o 287486
3.56/2.17	o 288013
3.56/2.17	o 288241
3.56/2.17	o 292248
3.56/2.17	o 292775
3.56/2.17	o 293764
3.56/2.17	o 294291
3.56/2.17	o 300058
3.56/2.17	o 300585
3.56/2.17	o 302607
3.56/2.17	o 303134
3.56/2.17	o 305046
3.56/2.17	o 305573
3.56/2.18	o 306510
3.56/2.18	o 307037
3.56/2.18	o 308949
3.56/2.18	o 309476
3.56/2.18	o 311080
3.56/2.18	o 311607
3.56/2.18	o 313629
3.56/2.18	o 314156
3.56/2.18	o 316068
3.56/2.18	o 316595
3.56/2.18	o 317532
3.56/2.18	o 318059
3.56/2.18	o 319971
3.56/2.18	o 320498
3.56/2.19	o 320581
3.56/2.19	o 326348
3.56/2.19	o 326875
3.56/2.19	o 328897
3.56/2.19	o 329424
3.56/2.19	o 331336
3.56/2.19	o 331863
3.56/2.20	o 332800
3.56/2.20	o 333327
3.56/2.20	o 335239
3.56/2.20	o 335766
3.66/2.20	o 337370
3.66/2.20	o 337897
3.66/2.20	o 339919
3.66/2.20	o 340446
3.66/2.20	o 342358
3.66/2.20	o 342885
3.66/2.20	o 343822
3.66/2.20	o 344349
3.66/2.20	o 346261
3.66/2.20	o 346788
3.66/2.21	o 347169
3.66/2.21	o 349081
3.66/2.21	o 349608
3.66/2.21	o 350545
3.66/2.21	o 351072
3.66/2.21	o 352984
3.66/2.21	o 353511
3.66/2.21	o 355115
3.66/2.21	o 355642
3.66/2.21	o 357664
3.66/2.21	o 358191
3.66/2.21	o 360103
3.66/2.21	o 360630
3.66/2.21	o 361567
3.66/2.21	o 362094
3.66/2.21	o 364006
3.66/2.21	o 364533
3.66/2.22	o 365388
3.66/2.22	o 365915
3.66/2.22	o 366852
3.66/2.22	o 367379
3.66/2.22	o 369291
3.66/2.22	o 369818
3.66/2.29	o 370408
3.66/2.29	o 370935
3.66/2.30	o 372847
3.66/2.30	o 373374
3.86/2.41	o 373794
3.86/2.41	o 374649
3.86/2.41	o 375176
3.86/2.41	o 376113
3.86/2.41	o 376640
3.86/2.41	o 378552
3.86/2.41	o 379079
4.33/2.83	o 379709
4.33/2.83	o 380361
4.33/2.84	o 380521
4.33/2.84	o 381510
4.33/2.84	o 381670
4.33/2.84	o 388457
4.33/2.84	o 388617
4.33/2.84	o 389606
4.33/2.84	o 389766
4.33/2.84	o 395629
4.33/2.84	o 395789
4.33/2.84	o 396778
4.33/2.84	o 396938
4.33/2.84	o 398841
4.33/2.84	o 399001
4.33/2.84	o 406651
4.33/2.84	o 406811
4.33/2.84	o 407800
4.33/2.84	o 407960
4.33/2.85	o 409202
4.33/2.85	o 410351
4.33/2.85	o 411003
4.33/2.85	o 411163
4.33/2.85	o 412152
4.33/2.85	o 412312
4.33/2.85	o 419099
4.33/2.85	o 419259
4.33/2.85	o 420248
4.33/2.85	o 420408
4.33/2.85	o 426271
4.33/2.85	o 426431
4.33/2.85	o 427420
4.33/2.85	o 427580
4.33/2.85	o 429483
4.33/2.85	o 429643
4.33/2.85	o 437293
4.33/2.85	o 437453
4.33/2.86	o 438442
4.33/2.86	o 438602
4.33/2.86	o 439472
4.33/2.86	o 440621
4.33/2.86	o 446644
4.33/2.86	o 447793
4.33/2.86	o 449856
4.33/2.86	o 457666
4.33/2.86	o 458815
4.33/2.89	o 466927
4.33/2.89	o 468076
4.43/2.90	o 469650
4.43/2.90	o 477460
4.43/2.90	o 478609
4.43/2.92	o 486721
4.43/2.92	o 487870
4.43/2.98	o 495780
4.43/2.98	o 496929
4.95/3.47	o 497643
4.95/3.47	o 501173
4.95/3.47	o 508983
4.95/3.48	o 510726
4.95/3.48	o 511221
4.95/3.48	o 512964
5.05/3.50	o 514326
5.05/3.54	o 518244
5.46/3.94	o 519056
5.46/3.94	o 519269
5.46/3.94	o 520418
5.46/3.95	o 520593
5.46/3.95	o 521883
5.46/3.95	o 523032
5.46/3.95	o 524729
5.46/3.95	o 525878
5.46/3.96	o 527168
5.46/3.96	o 528317
5.46/3.97	o 529977
5.46/3.97	o 531126
5.46/3.97	o 532416
5.46/3.97	o 533565
5.46/3.97	o 535262
5.46/3.97	o 536411
5.46/3.97	o 537701
5.46/3.97	o 538850
5.46/3.98	o 539063
5.46/3.98	o 540212
5.46/3.99	o 540387
5.46/3.99	o 541677
5.46/3.99	o 542826
5.46/3.99	o 544523
5.46/3.99	o 545672
5.46/3.99	o 546962
5.46/3.99	o 548111
5.58/4.01	o 548258
5.58/4.01	o 549548
5.58/4.01	o 550697
5.58/4.05	o 550841
5.58/4.05	o 552131
5.58/4.05	o 553280
5.58/4.05	o 554977
5.58/4.05	o 556126
5.58/4.05	o 557416
5.58/4.05	o 558565
5.97/4.45	o 559232
5.97/4.45	o 560522
5.97/4.46	o 561671
5.97/4.46	o 561723
5.97/4.46	o 562872
5.97/4.46	o 564162
5.97/4.46	o 565311
5.97/4.46	o 565983
5.97/4.46	o 566035
5.97/4.46	o 567184
5.97/4.46	o 568474
5.97/4.46	o 569623
5.97/4.46	o 569748
5.97/4.46	o 571038
5.97/4.46	o 572187
5.97/4.46	o 573131
5.97/4.47	o 574280
5.97/4.47	o 574332
5.97/4.47	o 575481
5.97/4.47	o 576771
5.97/4.47	o 577920
5.97/4.47	o 578592
5.97/4.47	o 578644
5.97/4.47	o 579793
5.97/4.47	o 581083
5.97/4.47	o 582232
5.97/4.47	o 582357
5.97/4.47	o 583647
5.97/4.47	o 584796
5.97/4.48	o 585545
5.97/4.48	o 586694
5.97/4.48	o 586819
5.97/4.48	o 588109
5.97/4.48	o 589258
7.07/5.56	o 589631
7.07/5.56	o 590158
7.07/5.56	o 592180
7.07/5.56	o 592707
7.07/5.56	o 594619
7.07/5.56	o 595146
7.07/5.56	o 596083
7.07/5.56	o 596610
7.07/5.57	o 598522
7.07/5.57	o 599049
7.07/5.57	o 600265
7.07/5.57	o 600792
7.07/5.57	o 602162
7.07/5.57	o 602689
7.07/5.57	o 603905
7.07/5.57	o 604432
7.07/5.57	o 604799
7.07/5.57	o 605326
7.07/5.57	o 607348
7.07/5.57	o 607875
7.07/5.57	o 609787
7.07/5.57	o 610314
7.07/5.57	o 611251
7.07/5.57	o 611778
7.07/5.57	o 613690
7.07/5.57	o 614217
7.07/5.57	o 615433
7.07/5.57	o 615960
7.07/5.57	o 617330
7.07/5.57	o 617857
7.07/5.57	o 619073
7.07/5.57	o 619600
7.07/5.58	o 619980
7.07/5.58	o 620917
7.07/5.58	o 621444
7.07/5.58	o 623356
7.07/5.58	o 623883
7.07/5.58	o 625099
7.07/5.58	o 625626
7.07/5.58	o 626996
7.07/5.58	o 627523
7.07/5.58	o 628739
7.07/5.58	o 629266
7.07/5.58	o 629937
7.07/5.58	o 630464
7.07/5.58	o 632376
7.07/5.58	o 632903
7.07/5.58	o 634119
7.07/5.58	o 634646
7.07/5.58	o 636016
7.07/5.58	o 636543
7.07/5.58	o 637759
7.07/5.58	o 638286
7.07/5.58	o 638666
7.07/5.58	o 639603
7.07/5.58	o 640130
7.07/5.58	o 642042
7.07/5.58	o 642569
7.07/5.58	o 643785
7.07/5.58	o 644312
7.07/5.58	o 645682
7.07/5.58	o 646209
7.07/5.59	o 647425
7.07/5.59	o 647952
7.07/5.59	o 648523
7.07/5.59	o 649050
7.07/5.59	o 649721
7.07/5.59	o 650248
7.07/5.59	o 652160
7.07/5.59	o 652687
7.07/5.59	o 653903
7.07/5.59	o 654430
7.07/5.59	o 655800
7.07/5.59	o 656327
7.07/5.59	o 657543
7.07/5.59	o 658070
7.07/5.59	o 658450
7.07/5.59	o 659387
7.07/5.59	o 659914
7.07/5.60	o 661826
7.07/5.60	o 662353
7.07/5.60	o 663569
7.07/5.60	o 664096
7.07/5.60	o 665466
7.17/5.60	o 665993
7.17/5.60	o 667209
7.17/5.60	o 667736
7.17/5.60	o 669203
7.17/5.60	o 669730
7.17/5.60	o 670946
7.17/5.60	o 671473
7.17/5.60	o 672843
7.17/5.60	o 673370
7.17/5.60	o 674586
7.17/5.60	o 675113
7.17/5.61	o 675493
7.17/5.61	o 676430
7.17/5.61	o 676957
7.17/5.61	o 678869
7.17/5.61	o 679396
7.17/5.61	o 680612
7.17/5.61	o 681139
7.17/5.61	o 682509
7.17/5.61	o 683036
7.17/5.61	o 684252
7.17/5.61	o 684779
7.17/5.61	o 685074
7.17/5.61	o 685601
7.17/5.62	o 686971
7.17/5.62	o 687498
7.17/5.62	o 688714
7.17/5.62	o 689241
7.17/5.62	o 690202
7.17/5.62	o 692099
7.17/5.62	o 693842
7.17/5.63	o 694664
7.17/5.63	o 696561
7.17/5.63	o 698304
7.17/5.65	o 698595
7.17/5.65	o 700492
7.17/5.65	o 702235
7.17/5.68	o 703530
7.17/5.69	o 703821
7.17/5.69	o 705718
7.17/5.69	o 707461
8.18/6.66	o 709434
8.18/6.67	o 709581
8.18/6.67	o 711177
8.18/6.67	o 711324
8.18/6.68	o 712155
8.18/6.68	o 719100
8.18/6.68	o 719247
8.18/6.68	o 720843
8.18/6.68	o 720990
8.27/6.72	o 726477
8.27/6.72	o 726624
8.27/6.72	o 728220
8.27/6.72	o 728367
8.27/6.75	o 729198
8.27/6.75	o 736143
8.27/6.75	o 736290
8.27/6.75	o 737886
8.27/6.75	o 738033
9.18/7.65	o 738496
9.18/7.66	o 742136
9.28/7.70	o 744183
9.28/7.70	o 748086
9.28/7.71	o 751726
9.70/8.17	o 753119
9.70/8.17	o 755142
9.70/8.17	o 757581
9.80/8.20	o 759343
9.80/8.20	o 761782
9.80/8.23	o 761830
9.80/8.24	o 763592
9.80/8.24	o 766031
11.62/10.10	o 766287
11.62/10.10	o 768030
11.62/10.11	o 769360
11.62/10.11	o 771103
11.72/10.11	o 771925
11.72/10.11	o 773822
11.72/10.11	o 775565
11.72/10.11	o 776126
11.72/10.11	o 778023
11.72/10.11	o 779766
11.72/10.12	o 780791
11.72/10.12	o 781352
11.72/10.12	o 783249
11.72/10.12	o 784992
11.72/10.13	o 785489
11.72/10.14	o 785904
11.72/10.14	o 786929
11.72/10.15	o 787490
11.72/10.15	o 789387
11.72/10.15	o 791130
11.72/10.16	o 791627
11.72/10.17	o 792259
11.72/10.17	o 794002
11.72/10.17	o 794499
13.16/11.56	o 795061
13.16/11.56	o 797052
13.16/11.56	o 798795
13.16/11.58	o 799983
13.16/11.58	o 801726
13.16/11.58	o 803717
13.16/11.58	o 805460
13.26/11.64	o 806589
13.26/11.64	o 808332
13.26/11.68	o 809267
13.26/11.68	o 811455
13.26/11.68	o 813198
13.26/11.69	o 815189
13.26/11.69	o 816932
15.68/14.07	o 817134
15.78/14.11	o 819041
15.78/14.12	o 820661
15.78/14.12	o 822775
15.78/14.14	o 823272
16.68/15.09	o 824648
16.68/15.10	o 824877
16.68/15.10	o 826620
17.27/15.62	o 827898
17.27/15.62	o 829641
17.68/16.02	o 830341
17.68/16.02	o 832586
17.68/16.02	o 834329
17.68/16.02	o 834609
17.68/16.02	o 837048
17.68/16.02	o 838791
17.68/16.05	o 839288
17.68/16.08	o 840467
17.68/16.08	o 840747
17.68/16.08	o 843186
17.68/16.08	o 844929
17.68/16.10	o 845426
17.78/16.13	o 845538
17.78/16.13	o 847281
17.78/16.14	o 847329
17.78/16.14	o 848478
17.78/16.14	o 850723
17.78/16.14	o 852466
17.78/16.14	o 852746
17.78/16.14	o 855185
17.78/16.14	o 856928
17.78/16.15	o 857425
17.78/16.16	o 858604
17.78/16.16	o 858884
17.78/16.16	o 861323
17.78/16.16	o 863066
18.68/17.09	o 863149
18.68/17.09	o 864892
18.68/17.10	o 865036
18.68/17.10	o 865645
18.68/17.10	o 867542
18.68/17.10	o 869285
19.17/17.55	o 870769
19.17/17.55	o 873208
19.17/17.58	o 873705
19.17/17.59	o 874120
19.17/17.59	o 874953
19.17/17.60	o 875145
19.27/17.60	o 876907
19.27/17.60	o 879346
19.27/17.60	o 879843
26.18/24.56	o 881260
26.18/24.56	o 883003
26.18/24.56	o 883470
26.18/24.56	o 885461
26.18/24.56	o 887204
26.18/24.58	o 887277
26.18/24.58	o 889020
26.18/24.58	o 891011
26.18/24.58	o 892754
26.18/24.58	o 894246
26.18/24.58	o 896237
26.18/24.58	o 897980
26.18/24.59	o 899397
26.18/24.59	o 901140
26.18/24.59	o 901607
26.18/24.59	o 903598
26.18/24.59	o 905341
26.28/24.60	o 906215
26.28/24.60	o 907958
26.28/24.62	o 909375
26.28/24.62	o 911118
26.28/24.62	o 911585
26.28/24.62	o 913576
26.28/24.62	o 915319
26.28/24.68	o 916870
26.28/24.68	o 918287
26.28/24.68	o 920030
26.28/24.68	o 920497
26.28/24.69	o 922488
26.28/24.69	o 924231
28.39/26.71	o 926195
28.39/26.71	o 926692
28.39/26.71	o 927479
28.39/26.71	o 930588
28.39/26.72	o 931085
28.80/27.14	o 932439
28.80/27.14	o 932719
28.80/27.14	o 935158
28.80/27.14	o 936901
28.80/27.17	o 937885
28.89/27.20	o 939529
34.21/32.53	o 939965
34.21/32.53	o 941094
34.21/32.54	o 941904
34.21/32.54	o 942837
34.21/32.54	o 943966
34.21/32.56	o 944483
34.21/32.59	o 944572
34.21/32.60	o 945701
34.32/32.61	o 946218
41.16/39.44	o 946850
41.56/39.88	o 949308
41.56/39.88	o 951051
41.56/39.89	o 951114
41.56/39.89	o 952989
41.56/39.89	o 954732
41.66/39.90	o 954795
41.66/39.90	o 956149
41.66/39.90	o 957892
41.66/39.90	o 960350
41.66/39.90	o 962093
41.66/39.90	o 962156
41.66/39.92	o 963176
41.66/39.93	o 963239
41.66/39.93	o 964593
41.66/39.93	o 966336
41.66/39.93	o 968794
41.66/39.93	o 970537
41.66/39.93	o 970600
41.66/39.94	o 970856
41.66/39.95	o 970919
41.66/39.98	o 972075
41.66/39.98	o 973818
41.66/39.98	o 976276
41.66/39.98	o 978019
41.66/39.99	o 978082
42.66/40.90	o 978888
42.66/40.90	o 978951
42.66/40.95	o 979405
42.66/40.95	o 979468
44.68/42.92	o 981536
44.68/42.92	o 982277
44.68/42.93	o 982340
47.59/45.81	o 984839
47.59/45.82	o 984902
48.90/47.17	o 985735
48.90/47.19	o 986593
48.90/47.19	o 986637
48.90/47.20	o 987618
48.90/47.20	o 990076
48.99/47.20	o 991819
48.99/47.23	o 992138
49.99/48.25	o 995082
49.99/48.27	o 997954
57.49/55.72	o 998231
57.49/55.72	o 998856
57.49/55.72	o 1001965
57.49/55.72	o 1002028
59.91/58.11	o 1002433
59.91/58.11	o 1002496
59.91/58.13	o 1003050
59.91/58.13	o 1004793
59.91/58.14	o 1004856
59.91/58.16	o 1005695
59.91/58.16	o 1006676
59.91/58.16	o 1009134
59.91/58.16	o 1010877
59.91/58.17	o 1010940
79.01/77.21	o 1011196
79.01/77.21	o 1011259
79.01/77.25	o 1011519
79.01/77.25	o 1012191
79.01/77.25	o 1015831
79.01/77.26	o 1015894
80.51/78.73	o 1016130
80.51/78.73	o 1017873
80.51/78.74	o 1019608
80.51/78.78	o 1020505
90.42/88.68	o 1021324
90.42/88.68	o 1021387
90.42/88.68	o 1025164
90.42/88.68	o 1027053
90.42/88.69	o 1027399
90.42/88.69	o 1031302
90.42/88.69	o 1031365
90.52/88.70	o 1031819
90.52/88.70	o 1031882
90.52/88.73	o 1032138
90.52/88.73	o 1032201
90.52/88.74	o 1035079
90.52/88.75	o 1035142
90.52/88.75	o 1035596
90.52/88.76	o 1035659
91.52/89.77	o 1036788
91.52/89.77	o 1038531
112.54/110.72	o 1038614
112.54/110.72	o 1038677
112.54/110.75	o 1039131
112.54/110.75	o 1039194
115.95/114.12	o 1039611
115.95/114.12	o 1039674
121.35/119.50	o 1042485
121.35/119.51	o 1042547
121.35/119.52	o 1042804
121.35/119.52	o 1042866
123.25/121.45	o 1043205
123.25/121.45	o 1043268
123.25/121.46	o 1043524
123.25/121.46	o 1043587
123.25/121.47	o 1045084
123.25/121.48	o 1045147
123.25/121.48	o 1047956
123.25/121.48	o 1048019
123.25/121.49	o 1048275
123.25/121.49	o 1048338
134.47/132.65	o 1051548
134.47/132.65	o 1051611
134.47/132.66	o 1051987
134.47/132.66	o 1052659
134.47/132.66	o 1056299
134.47/132.66	o 1056362
134.57/132.72	o 1056460
134.57/132.72	o 1057132
134.57/132.72	o 1060772
134.57/132.72	o 1060835
139.18/137.34	o 1060999
139.18/137.34	o 1061466
139.18/137.34	o 1063457
139.18/137.34	o 1065200
149.68/147.86	o 1065529
149.68/147.86	o 1066090
149.68/147.86	o 1067987
149.68/147.86	o 1069730
149.68/147.88	o 1070280
149.68/147.88	o 1070841
149.68/147.88	o 1072738
149.68/147.88	o 1074481
158.29/156.42	o 1077353
158.29/156.43	o 1077672
158.29/156.47	o 1078343
158.29/156.47	o 1081215
158.29/156.48	o 1081534
158.39/156.51	o 1081826
159.30/157.46	o 1081849
159.30/157.46	o 1081911
159.30/157.47	o 1081923
159.30/157.47	o 1085563
159.30/157.47	o 1085626
159.30/157.48	o 1085688
159.41/157.54	o 1089245
159.41/157.54	o 1089308
159.41/157.54	o 1089370
162.81/160.96	o 1090642
192.23/190.37	o 1091087
192.23/190.37	o 1092830
192.23/190.39	o 1093149
207.85/205.94	o 1093528
207.85/205.94	o 1093591
207.85/205.95	o 1094502
207.85/205.95	o 1094565
207.85/205.95	o 1096544
207.85/205.95	o 1096607
207.85/205.95	o 1098279
207.85/205.95	o 1098342
207.85/205.97	o 1098598
207.85/205.97	o 1098661
208.24/206.39	o 1100303
208.24/206.39	o 1100366
208.34/206.40	o 1100820
208.34/206.40	o 1100883
208.34/206.43	o 1101350
208.34/206.43	o 1105662
208.34/206.43	o 1105725
208.34/206.43	o 1106179
208.34/206.43	o 1106242
208.34/206.48	o 1110135
208.34/206.48	o 1110198
208.34/206.49	o 1110652
208.34/206.49	o 1110715
217.15/215.27	o 1112822
217.15/215.27	o 1112885
217.15/215.28	o 1113141
217.15/215.28	o 1113204
217.15/215.29	o 1113703
217.15/215.29	o 1115415
217.15/215.29	o 1117904
217.25/215.30	o 1118223
217.25/215.30	o 1119192
217.25/215.30	o 1121681
217.25/215.30	o 1122000
217.25/215.31	o 1122063
217.25/215.31	o 1122377
217.25/215.31	o 1122440
217.25/215.32	o 1123665
217.25/215.32	o 1126154
217.25/215.32	o 1126217
217.25/215.32	o 1126473
217.25/215.32	o 1126536
218.15/216.27	o 1126786
218.15/216.27	o 1126849
218.15/216.28	o 1127105
218.15/216.28	o 1127168
218.15/216.29	o 1127303
218.15/216.29	o 1127366
218.15/216.30	o 1127622
218.15/216.30	o 1127685
218.25/216.33	o 1128316
218.25/216.33	o 1128910
218.25/216.33	o 1130059
218.25/216.33	o 1130122
220.65/218.73	o 1131890
220.65/218.75	o 1131953
221.65/219.77	o 1133359
221.65/219.78	o 1133876
240.07/238.19	o 1135735
240.07/238.19	o 1136884
240.07/238.19	o 1136947
244.27/242.31	o 1137326
244.27/242.31	o 1139286
244.27/242.31	o 1140435
244.27/242.31	o 1140498
244.27/242.32	o 1140821
244.27/242.32	o 1141846
244.27/242.32	o 1142938
244.27/242.32	o 1144898
244.27/242.32	o 1146047
244.27/242.33	o 1146110
244.27/242.34	o 1146319
244.27/242.34	o 1147411
244.27/242.34	o 1149371
244.27/242.34	o 1150520
244.27/242.34	o 1150583
244.27/242.38	o 1151093
244.27/242.38	o 1153053
244.27/242.38	o 1154202
244.27/242.38	o 1154265
258.48/256.59	o 1155679
258.48/256.59	o 1156828
258.48/256.60	o 1156891
258.58/256.60	o 1157345
258.58/256.60	o 1157408
266.00/264.03	o 1159010
266.00/264.03	o 1159073
274.40/272.50	o 1159135
274.50/272.51	o 1159329
274.50/272.51	o 1159392
274.50/272.52	o 1159454
275.90/273.97	o 1160851
275.90/273.97	o 1162000
275.90/273.98	o 1162319
275.90/273.98	o 1162905
275.90/273.98	o 1164628
275.90/273.98	o 1165777
275.90/273.98	o 1166096
275.90/274.00	o 1166587
275.90/274.00	o 1168310
275.90/274.00	o 1169459
275.90/274.00	o 1169778
278.40/276.42	o 1169931
278.40/276.43	o 1170144
278.40/276.43	o 1173016
278.40/276.43	o 1174956
278.40/276.43	o 1175059
278.40/276.43	o 1178168
278.40/276.44	o 1181040
278.40/276.44	o 1181359
282.80/280.85	o 1181768
282.80/280.85	o 1181831
282.80/280.86	o 1182087
282.80/280.86	o 1182150
282.80/280.88	o 1185450
282.80/280.88	o 1185513
282.80/280.89	o 1185769
282.80/280.89	o 1185832
292.30/290.37	o 1186171
292.30/290.37	o 1186234
292.30/290.37	o 1186688
292.30/290.37	o 1186751
292.30/290.37	o 1187007
292.30/290.37	o 1187070
292.30/290.37	o 1187282
292.30/290.37	o 1190922
292.30/290.37	o 1190985
292.30/290.38	o 1191439
292.30/290.38	o 1191502
292.30/290.38	o 1191758
292.30/290.38	o 1191821
292.30/290.39	o 1195395
292.30/290.39	o 1195458
292.30/290.39	o 1195714
292.30/290.39	o 1195777
292.30/290.39	o 1195912
292.30/290.39	o 1195975
292.40/290.40	o 1196231
292.40/290.40	o 1196294
292.40/290.42	o 1199077
292.40/290.42	o 1199140
297.13/295.19	o 1199459
298.03/296.08	o 1199657
298.03/296.08	o 1199976
303.13/301.11	s SATISFIABLE
303.13/301.11	v <instantiation>
303.13/301.11	v 	<list>
303.13/301.11	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] 
303.13/301.11	v 	</list>
303.13/301.11	v 	<values>
303.13/301.11	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 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 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 1 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 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
303.13/301.11	v 	</values>
303.13/301.11	v </instantiation>

Verifier Data 

OK	1199976

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298544-1532811480/watcher-4298544-1532811480 -o /tmp/evaluation-result-4298544-1532811480/solver-4298544-1532811480 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532808681-11472 --watchdog 2580 java -jar HOME/bestMinicp.jar HOME/instance-4298544-1532811480.xml 

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

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


[startup+0.100059 s]*
/proc/loadavg: 1.74 1.67 1.66 3/215 12077
/proc/meminfo: memFree=25298540/32770624 swapFree=67108792/67108860
[pid=12062] ppid=12059 vsize=10661052 memory=27784 CPUtime=0.12 cores=1,3,5,7
/proc/12062/stat : 12062 (java) S 12059 12062 11440 0 -1 1077944320 5289 0 0 0 11 1 0 0 20 0 15 0 98711233 10916917248 6946 33554432000 4194304 4196468 140722156607152 140722156589696 140328055201527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
/proc/12062/statm: 2665263 6946 2857 1 0 2627263 0
[pid=12062/tid=12064] ppid=12059 vsize=10661052 memory=-8269626465541328252 CPUtime=0.09 cores=1,3,5,7
/proc/12062/task/12064/stat : 12064 (java) R 12059 12062 11440 0 -1 1077944384 3161 0 0 0 8 1 0 0 20 0 15 0 98711233 10916917248 6946 33554432000 4194304 4196468 140722156607152 140328059422688 140328055211733 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12065] ppid=12059 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12065/stat : 12065 (java) S 12059 12062 11440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98711234 10916917248 6946 33554432000 4194304 4196468 140722156607152 140327991892368 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12066] ppid=12059 vsize=10661052 memory=140103489730176 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12066/stat : 12066 (java) S 12059 12062 11440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98711234 10916917248 6946 33554432000 4194304 4196468 140722156607152 140327660677392 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12067] ppid=12059 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12067/stat : 12067 (java) S 12059 12062 11440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98711234 10916917248 6946 33554432000 4194304 4196468 140722156607152 140327659625104 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12068] ppid=12059 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12068/stat : 12068 (java) S 12059 12062 11440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98711234 10916917248 6946 33554432000 4194304 4196468 140722156607152 140327658572304 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12069] ppid=12059 vsize=10661052 memory=140103489730176 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12069/stat : 12069 (java) S 12059 12062 11440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98711235 10916917248 6946 33554432000 4194304 4196468 140722156607152 140327547304560 140328055212674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12070] ppid=12059 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12070/stat : 12070 (java) S 12059 12062 11440 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98711236 10916917248 6946 33554432000 4194304 4196468 140722156607152 140327546250528 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12071] ppid=12059 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12071/stat : 12071 (java) S 12059 12062 11440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98711236 10916917248 6946 33554432000 4194304 4196468 140722156607152 140327545198192 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12072] ppid=12059 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12072/stat : 12072 (java) S 12059 12062 11440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98711238 10916917248 6946 33554432000 4194304 4196468 140722156607152 140327544146512 140328055220123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12073] ppid=12059 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12073/stat : 12073 (java) R 12059 12062 11440 0 -1 4202560 293 0 0 0 0 0 0 0 20 0 15 0 98711238 10916917248 6946 33554432000 4194304 4196468 140722156607152 140327543084864 140328038657024 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12074] ppid=12059 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12074/stat : 12074 (java) R 12059 12062 11440 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 15 0 98711238 10916917248 6946 33554432000 4194304 4196468 140722156607152 140327542040656 140328055211733 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12075] ppid=12059 vsize=10661052 memory=140103489730176 CPUtime=0.01 cores=1,3,5,7
/proc/12062/task/12075/stat : 12075 (java) R 12059 12062 11440 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 15 0 98711238 10916917248 6946 33554432000 4194304 4196468 140722156607152 140327540988272 140328034142974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12076] ppid=12059 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12076/stat : 12076 (java) S 12059 12062 11440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98711239 10916917248 6946 33554432000 4194304 4196468 140722156607152 140327539935712 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12077] ppid=12059 vsize=10661052 memory=140103489730176 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12077/stat : 12077 (java) S 12059 12062 11440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98711239 10916917248 6946 33554432000 4194304 4196468 140722156607152 140327538883504 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 27784 KiB

[startup+0.212031 s]*
/proc/loadavg: 1.74 1.67 1.66 5/215 12077
/proc/meminfo: memFree=25285268/32770624 swapFree=67108792/67108860
[pid=12062] ppid=12059 vsize=10661052 memory=40760 CPUtime=0.34 cores=1,3,5,7
/proc/12062/stat : 12062 (java) S 12059 12062 11440 0 -1 1077944320 8284 0 0 0 31 3 0 0 20 0 15 0 98711233 10916917248 10190 33554432000 4194304 4196468 140722156607152 140722156589696 140328055201527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
/proc/12062/statm: 2665263 10190 3015 1 0 2627263 0
[pid=12062/tid=12064] ppid=12059 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/12062/task/12064/stat : 12064 (java) R 12059 12062 11440 0 -1 4202560 5113 0 0 0 18 2 0 0 20 0 15 0 98711233 10916917248 10256 33554432000 4194304 4196468 140722156607152 140328059439632 140327673013980 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12065] ppid=12059 vsize=10661052 memory=343 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12065/stat : 12065 (java) S 12059 12062 11440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98711234 10916917248 10256 33554432000 4194304 4196468 140722156607152 140327991892368 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12066] ppid=12059 vsize=10661052 memory=140103490326716 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12066/stat : 12066 (java) S 12059 12062 11440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98711234 10916917248 10256 33554432000 4194304 4196468 140722156607152 140327660677392 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12067] ppid=12059 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12067/stat : 12067 (java) S 12059 12062 11440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98711234 10916917248 10256 33554432000 4194304 4196468 140722156607152 140327659625104 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12068] ppid=12059 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12068/stat : 12068 (java) S 12059 12062 11440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98711234 10916917248 10256 33554432000 4194304 4196468 140722156607152 140327658572304 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12069] ppid=12059 vsize=10661052 memory=140103489730176 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12069/stat : 12069 (java) S 12059 12062 11440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98711235 10916917248 10256 33554432000 4194304 4196468 140722156607152 140327547304560 140328055212674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12070] ppid=12059 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12070/stat : 12070 (java) S 12059 12062 11440 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98711236 10916917248 10256 33554432000 4194304 4196468 140722156607152 140327546250528 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12071] ppid=12059 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12071/stat : 12071 (java) S 12059 12062 11440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98711236 10916917248 10256 33554432000 4194304 4196468 140722156607152 140327545198192 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12072] ppid=12059 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12072/stat : 12072 (java) S 12059 12062 11440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98711238 10916917248 10256 33554432000 4194304 4196468 140722156607152 140327544146512 140328055220123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12073] ppid=12059 vsize=10661052 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12062/task/12073/stat : 12073 (java) R 12059 12062 11440 0 -1 4202560 469 0 0 0 2 0 0 0 20 0 15 0 98711238 10916917248 10256 33554432000 4194304 4196468 140722156607152 140327543080144 140328034594222 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12074] ppid=12059 vsize=10661052 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12062/task/12074/stat : 12074 (java) R 12059 12062 11440 0 -1 4202560 415 0 0 0 2 0 0 0 20 0 15 0 98711238 10916917248 10256 33554432000 4194304 4196468 140722156607152 140327542021576 140328047438654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12075] ppid=12059 vsize=10661052 memory=140103489730176 CPUtime=0.08 cores=1,3,5,7
/proc/12062/task/12075/stat : 12075 (java) R 12059 12062 11440 0 -1 1077944384 937 0 0 0 8 0 0 0 20 0 15 0 98711238 10916917248 10256 33554432000 4194304 4196468 140722156607152 140327540984032 140328055211733 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12076] ppid=12059 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12076/stat : 12076 (java) S 12059 12062 11440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98711239 10916917248 10256 33554432000 4194304 4196468 140722156607152 140327539935712 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12077] ppid=12059 vsize=10661052 memory=140103489730176 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12077/stat : 12077 (java) S 12059 12062 11440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98711239 10916917248 10256 33554432000 4194304 4196468 140722156607152 140327538883504 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 40760 KiB

[startup+0.311193 s]*
/proc/loadavg: 1.74 1.67 1.66 5/215 12077
/proc/meminfo: memFree=25277204/32770624 swapFree=67108792/67108860
[pid=12062] ppid=12059 vsize=10661128 memory=47132 CPUtime=0.59 cores=1,3,5,7
/proc/12062/stat : 12062 (java) S 12059 12062 11440 0 -1 1077944320 8906 0 0 0 56 3 0 0 20 0 15 0 98711233 10916995072 11783 33554432000 4194304 4196468 140722156607152 140722156589696 140328055201527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
/proc/12062/statm: 2665282 11783 3060 1 0 2627263 0
[pid=12062/tid=12064] ppid=12059 vsize=10661128 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/12062/task/12064/stat : 12064 (java) R 12059 12062 11440 0 -1 4202560 5435 0 0 0 27 2 0 0 20 0 15 0 98711233 10916995072 11849 33554432000 4194304 4196468 140722156607152 140328059437792 140328055213462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12065] ppid=12059 vsize=10661128 memory=4294977868 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12065/stat : 12065 (java) S 12059 12062 11440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98711234 10916995072 11849 33554432000 4194304 4196468 140722156607152 140327991892368 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12066] ppid=12059 vsize=10661128 memory=140103490326051 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12066/stat : 12066 (java) S 12059 12062 11440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98711234 10916995072 11849 33554432000 4194304 4196468 140722156607152 140327660677392 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12067] ppid=12059 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12067/stat : 12067 (java) S 12059 12062 11440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98711234 10916995072 11849 33554432000 4194304 4196468 140722156607152 140327659625104 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12068] ppid=12059 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12068/stat : 12068 (java) S 12059 12062 11440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98711234 10916995072 11849 33554432000 4194304 4196468 140722156607152 140327658572304 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12069] ppid=12059 vsize=10661128 memory=140103489730176 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12069/stat : 12069 (java) S 12059 12062 11440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98711235 10916995072 11849 33554432000 4194304 4196468 140722156607152 140327547304560 140328055212674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12070] ppid=12059 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12070/stat : 12070 (java) S 12059 12062 11440 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98711236 10916995072 11849 33554432000 4194304 4196468 140722156607152 140327546250528 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12071] ppid=12059 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12071/stat : 12071 (java) S 12059 12062 11440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98711236 10916995072 11849 33554432000 4194304 4196468 140722156607152 140327545198192 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12072] ppid=12059 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12072/stat : 12072 (java) S 12059 12062 11440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98711238 10916995072 11849 33554432000 4194304 4196468 140722156607152 140327544146512 140328055220123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12073] ppid=12059 vsize=10661128 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/12062/task/12073/stat : 12073 (java) S 12059 12062 11440 0 -1 1077944384 609 0 0 0 6 0 0 0 20 0 15 0 98711238 10916995072 11849 33554432000 4194304 4196468 140722156607152 140327543093360 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12074] ppid=12059 vsize=10661128 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/12062/task/12074/stat : 12074 (java) S 12059 12062 11440 0 -1 1077944384 439 0 0 0 6 0 0 0 20 0 15 0 98711238 10916995072 11849 33554432000 4194304 4196468 140722156607152 140327542040560 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12075] ppid=12059 vsize=10661128 memory=140103489730176 CPUtime=0.15 cores=1,3,5,7
/proc/12062/task/12075/stat : 12075 (java) R 12059 12062 11440 0 -1 4202560 1060 0 0 0 15 0 0 0 20 0 15 0 98711238 10916995072 11849 33554432000 4194304 4196468 140722156607152 140327540988400 140328055213462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12076] ppid=12059 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12076/stat : 12076 (java) S 12059 12062 11440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98711239 10916995072 11849 33554432000 4194304 4196468 140722156607152 140327539935712 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12077] ppid=12059 vsize=10661128 memory=140103489730176 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12077/stat : 12077 (java) S 12059 12062 11440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98711239 10916995072 11849 33554432000 4194304 4196468 140722156607152 140327538883504 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 47132 KiB

[startup+0.70075 s]
/proc/loadavg: 1.74 1.67 1.66 5/215 12077
/proc/meminfo: memFree=25076016/32770624 swapFree=67108792/67108860
[pid=12062] ppid=12059 vsize=10661128 memory=286296 CPUtime=1.69 cores=1,3,5,7
/proc/12062/stat : 12062 (java) S 12059 12062 11440 0 -1 1077944320 12428 0 0 0 162 7 0 0 20 0 15 0 98711233 10916995072 71574 33554432000 4194304 4196468 140722156607152 140722156589696 140328055201527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
/proc/12062/statm: 2665282 71574 3113 1 0 2627263 0
[pid=12062/tid=12064] ppid=12059 vsize=10661128 memory=191939337011844 CPUtime=0.67 cores=1,3,5,7
/proc/12062/task/12064/stat : 12064 (java) R 12059 12062 11440 0 -1 4202560 5705 0 0 0 62 5 0 0 20 0 15 0 98711233 10916995072 71574 33554432000 4194304 4196468 140722156607152 140328059438928 140327674776505 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12065] ppid=12059 vsize=10661128 memory=592146 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12065/stat : 12065 (java) S 12059 12062 11440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98711234 10916995072 71574 33554432000 4194304 4196468 140722156607152 140327991892368 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12066] ppid=12059 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12066/stat : 12066 (java) S 12059 12062 11440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98711234 10916995072 71574 33554432000 4194304 4196468 140722156607152 140327660677392 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12067] ppid=12059 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12067/stat : 12067 (java) S 12059 12062 11440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98711234 10916995072 71574 33554432000 4194304 4196468 140722156607152 140327659625104 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12068] ppid=12059 vsize=10661128 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12068/stat : 12068 (java) S 12059 12062 11440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98711234 10916995072 71574 33554432000 4194304 4196468 140722156607152 140327658572304 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12069] ppid=12059 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12069/stat : 12069 (java) S 12059 12062 11440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98711235 10916995072 71574 33554432000 4194304 4196468 140722156607152 140327547304560 140328055212674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12070] ppid=12059 vsize=10661128 memory=-3535359994705171810 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12070/stat : 12070 (java) S 12059 12062 11440 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98711236 10916995072 71574 33554432000 4194304 4196468 140722156607152 140327546250528 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12071] ppid=12059 vsize=10661128 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12071/stat : 12071 (java) S 12059 12062 11440 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98711236 10916995072 71574 33554432000 4194304 4196468 140722156607152 140327545198192 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12072] ppid=12059 vsize=10661128 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12072/stat : 12072 (java) S 12059 12062 11440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98711238 10916995072 71574 33554432000 4194304 4196468 140722156607152 140327544146512 140328055220123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12073] ppid=12059 vsize=10661128 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/12062/task/12073/stat : 12073 (java) S 12059 12062 11440 0 -1 1077944384 1621 0 0 0 36 0 0 0 20 0 15 0 98711238 10916995072 71574 33554432000 4194304 4196468 140722156607152 140327543093360 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12074] ppid=12059 vsize=10661128 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/12062/task/12074/stat : 12074 (java) S 12059 12062 11440 0 -1 1077944384 1885 0 0 0 36 0 0 0 20 0 15 0 98711238 10916995072 71574 33554432000 4194304 4196468 140722156607152 140327542040560 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12075] ppid=12059 vsize=10661128 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/12062/task/12075/stat : 12075 (java) S 12059 12062 11440 0 -1 1077944384 1846 0 0 0 27 0 0 0 20 0 15 0 98711238 10916995072 71574 33554432000 4194304 4196468 140722156607152 140327540988272 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12076] ppid=12059 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12076/stat : 12076 (java) S 12059 12062 11440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98711239 10916995072 71574 33554432000 4194304 4196468 140722156607152 140327539935712 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12077] ppid=12059 vsize=10661128 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12077/stat : 12077 (java) S 12059 12062 11440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98711239 10916995072 71574 33554432000 4194304 4196468 140722156607152 140327538883504 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 286296 KiB

[startup+1.50719 s]
/proc/loadavg: 1.74 1.67 1.66 3/215 12077
/proc/meminfo: memFree=25037912/32770624 swapFree=67108792/67108860
[pid=12062] ppid=12059 vsize=10661128 memory=288952 CPUtime=2.63 cores=1,3,5,7
/proc/12062/stat : 12062 (java) S 12059 12062 11440 0 -1 1077944320 12621 0 0 0 256 7 0 0 20 0 15 0 98711233 10916995072 72238 33554432000 4194304 4196468 140722156607152 140722156589696 140328055201527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
/proc/12062/statm: 2665282 72238 3122 1 0 2627263 0
[pid=12062/tid=12064] ppid=12059 vsize=10661128 memory=10799 CPUtime=1.47 cores=1,3,5,7
/proc/12062/task/12064/stat : 12064 (java) R 12059 12062 11440 0 -1 4202560 5801 0 0 0 142 5 0 0 20 0 15 0 98711233 10916995072 72238 33554432000 4194304 4196468 140722156607152 140328059437936 140327671442266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12065] ppid=12059 vsize=10661128 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12065/stat : 12065 (java) S 12059 12062 11440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98711234 10916995072 72238 33554432000 4194304 4196468 140722156607152 140327991892368 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12066] ppid=12059 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12066/stat : 12066 (java) S 12059 12062 11440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98711234 10916995072 72238 33554432000 4194304 4196468 140722156607152 140327660677392 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12067] ppid=12059 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12067/stat : 12067 (java) S 12059 12062 11440 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98711234 10916995072 72238 33554432000 4194304 4196468 140722156607152 140327659625104 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12068] ppid=12059 vsize=10661128 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12068/stat : 12068 (java) S 12059 12062 11440 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98711234 10916995072 72238 33554432000 4194304 4196468 140722156607152 140327658572304 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12069] ppid=12059 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12069/stat : 12069 (java) S 12059 12062 11440 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98711235 10916995072 72238 33554432000 4194304 4196468 140722156607152 140327547304560 140328055212674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0

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

[pid=12062/tid=12076] ppid=12059 vsize=10661128 memory=5760 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12076/stat : 12076 (java) S 12059 12062 11440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98711239 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327539935712 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12077] ppid=12059 vsize=10661128 memory=4872558044660077418 CPUtime=0.14 cores=1,3,5,7
/proc/12062/task/12077/stat : 12077 (java) S 12059 12062 11440 0 -1 1077944384 859 0 0 0 7 7 0 0 20 0 15 0 98711239 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327538883504 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
Current children cumulated CPU time: 301.22 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 392164 KiB

[startup+300.001 s]*
/proc/loadavg: 1.95 1.84 1.73 3/216 12111
/proc/meminfo: memFree=24920356/32770624 swapFree=67108792/67108860
[pid=12062] ppid=12059 vsize=10661128 memory=392164 CPUtime=302.03 cores=1,3,5,7
/proc/12062/stat : 12062 (java) S 12059 12062 11440 0 -1 1077944320 38404 0 0 0 30181 22 0 0 20 0 15 0 98711233 10916995072 98041 33554432000 4194304 4196468 140722156607152 140722156589696 140328055201527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
/proc/12062/statm: 2665282 98041 3161 1 0 2627263 0
[pid=12062/tid=12064] ppid=12059 vsize=10661128 memory=6791534058613427641 CPUtime=299.89 cores=1,3,5,7
/proc/12062/task/12064/stat : 12064 (java) R 12059 12062 11440 0 -1 4202560 11362 0 0 0 29982 7 0 0 20 0 15 0 98711233 10916995072 98041 33554432000 4194304 4196468 140722156607152 140328059432688 140327675323680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12065] ppid=12059 vsize=10661128 memory=4872558044660077418 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12065/stat : 12065 (java) S 12059 12062 11440 0 -1 1077944384 2148 0 0 0 3 0 0 0 20 0 15 0 98711234 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327991892368 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12066] ppid=12059 vsize=10661128 memory=6944656425123485561 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12066/stat : 12066 (java) S 12059 12062 11440 0 -1 1077944384 1774 0 0 0 3 0 0 0 20 0 15 0 98711234 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327660677392 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12067] ppid=12059 vsize=10661128 memory=-7531822216215551788 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12067/stat : 12067 (java) S 12059 12062 11440 0 -1 1077944384 2022 0 0 0 3 0 0 0 20 0 15 0 98711234 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327659625104 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12068] ppid=12059 vsize=10661128 memory=-4049636988374952755 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12068/stat : 12068 (java) S 12059 12062 11440 0 -1 1077944384 871 0 0 0 3 0 0 0 20 0 15 0 98711234 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327658572304 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12069] ppid=12059 vsize=10661128 memory=8761640388318109335 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12069/stat : 12069 (java) S 12059 12062 11440 0 -1 1077944384 1913 0 0 0 1 2 0 0 20 0 15 0 98711235 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327547304560 140328055212674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12070] ppid=12059 vsize=10661128 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12070/stat : 12070 (java) S 12059 12062 11440 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 98711236 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327546250528 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12071] ppid=12059 vsize=10661128 memory=8761640388318109335 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12071/stat : 12071 (java) S 12059 12062 11440 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 98711236 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327545198192 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12072] ppid=12059 vsize=10661128 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12072/stat : 12072 (java) S 12059 12062 11440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98711238 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327544146512 140328055220123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12073] ppid=12059 vsize=10661128 memory=7682744562830902074 CPUtime=0.7 cores=1,3,5,7
/proc/12062/task/12073/stat : 12073 (java) S 12059 12062 11440 0 -1 1077944384 5822 0 0 0 70 0 0 0 20 0 15 0 98711238 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327543093360 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12074] ppid=12059 vsize=10661128 memory=-7522837583129307271 CPUtime=0.67 cores=1,3,5,7
/proc/12062/task/12074/stat : 12074 (java) S 12059 12062 11440 0 -1 1077944384 5339 0 0 0 66 1 0 0 20 0 15 0 98711238 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327542040560 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12075] ppid=12059 vsize=10661128 memory=6944656592455360569 CPUtime=0.38 cores=1,3,5,7
/proc/12062/task/12075/stat : 12075 (java) S 12059 12062 11440 0 -1 1077944384 4874 0 0 0 37 1 0 0 20 0 15 0 98711238 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327540988272 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12076] ppid=12059 vsize=10661128 memory=4137290303932963203 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12076/stat : 12076 (java) S 12059 12062 11440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98711239 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327539935712 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12077] ppid=12059 vsize=10661128 memory=-9001734013606258791 CPUtime=0.14 cores=1,3,5,7
/proc/12062/task/12077/stat : 12077 (java) S 12059 12062 11440 0 -1 1077944384 859 0 0 0 7 7 0 0 20 0 15 0 98711239 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327538883504 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
Current children cumulated CPU time: 302.03 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 392164 KiB

[startup+300.801 s]
/proc/loadavg: 1.95 1.84 1.73 3/216 12111
/proc/meminfo: memFree=24920356/32770624 swapFree=67108792/67108860
[pid=12062] ppid=12059 vsize=10661128 memory=392164 CPUtime=302.82 cores=1,3,5,7
/proc/12062/stat : 12062 (java) S 12059 12062 11440 0 -1 1077944320 38405 0 0 0 30260 22 0 0 20 0 15 0 98711233 10916995072 98041 33554432000 4194304 4196468 140722156607152 140722156589696 140328055201527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
/proc/12062/statm: 2665282 98041 3161 1 0 2627263 0
[pid=12062/tid=12064] ppid=12059 vsize=10661128 memory=15876 CPUtime=300.69 cores=1,3,5,7
/proc/12062/task/12064/stat : 12064 (java) R 12059 12062 11440 0 -1 4202560 11363 0 0 0 30062 7 0 0 20 0 15 0 98711233 10916995072 98041 33554432000 4194304 4196468 140722156607152 140328059432688 140327675323690 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12065] ppid=12059 vsize=10661128 memory=18268 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12065/stat : 12065 (java) S 12059 12062 11440 0 -1 1077944384 2148 0 0 0 3 0 0 0 20 0 15 0 98711234 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327991892368 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12066] ppid=12059 vsize=10661128 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12066/stat : 12066 (java) S 12059 12062 11440 0 -1 1077944384 1774 0 0 0 3 0 0 0 20 0 15 0 98711234 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327660677392 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12067] ppid=12059 vsize=10661128 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12067/stat : 12067 (java) S 12059 12062 11440 0 -1 1077944384 2022 0 0 0 3 0 0 0 20 0 15 0 98711234 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327659625104 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12068] ppid=12059 vsize=10661128 memory=18268 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12068/stat : 12068 (java) S 12059 12062 11440 0 -1 1077944384 871 0 0 0 3 0 0 0 20 0 15 0 98711234 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327658572304 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12069] ppid=12059 vsize=10661128 memory=17176 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12069/stat : 12069 (java) S 12059 12062 11440 0 -1 1077944384 1913 0 0 0 1 2 0 0 20 0 15 0 98711235 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327547304560 140328055212674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12070] ppid=12059 vsize=10661128 memory=392164 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12070/stat : 12070 (java) S 12059 12062 11440 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 98711236 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327546250528 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12071] ppid=12059 vsize=10661128 memory=392164 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12071/stat : 12071 (java) S 12059 12062 11440 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 98711236 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327545198192 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12072] ppid=12059 vsize=10661128 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12072/stat : 12072 (java) S 12059 12062 11440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98711238 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327544146512 140328055220123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12073] ppid=12059 vsize=10661128 memory=1408 CPUtime=0.7 cores=1,3,5,7
/proc/12062/task/12073/stat : 12073 (java) S 12059 12062 11440 0 -1 1077944384 5822 0 0 0 70 0 0 0 20 0 15 0 98711238 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327543093360 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12074] ppid=12059 vsize=10661128 memory=28580 CPUtime=0.67 cores=1,3,5,7
/proc/12062/task/12074/stat : 12074 (java) S 12059 12062 11440 0 -1 1077944384 5339 0 0 0 66 1 0 0 20 0 15 0 98711238 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327542040560 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12075] ppid=12059 vsize=10661128 memory=1292 CPUtime=0.38 cores=1,3,5,7
/proc/12062/task/12075/stat : 12075 (java) S 12059 12062 11440 0 -1 1077944384 4874 0 0 0 37 1 0 0 20 0 15 0 98711238 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327540988272 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12076] ppid=12059 vsize=10661128 memory=2436 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12076/stat : 12076 (java) S 12059 12062 11440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98711239 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327539935712 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12077] ppid=12059 vsize=10661128 memory=1728 CPUtime=0.14 cores=1,3,5,7
/proc/12062/task/12077/stat : 12077 (java) S 12059 12062 11440 0 -1 1077944384 859 0 0 0 7 7 0 0 20 0 15 0 98711239 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327538883504 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
Current children cumulated CPU time: 302.82 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 392164 KiB

[startup+301.001 s]*
/proc/loadavg: 1.96 1.84 1.73 3/216 12112
/proc/meminfo: memFree=24919736/32770624 swapFree=67108792/67108860
[pid=12062] ppid=12059 vsize=10661128 memory=392164 CPUtime=303.03 cores=1,3,5,7
/proc/12062/stat : 12062 (java) S 12059 12062 11440 0 -1 1077944320 38406 0 0 0 30281 22 0 0 20 0 15 0 98711233 10916995072 98041 33554432000 4194304 4196468 140722156607152 140722156589696 140328055201527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
/proc/12062/statm: 2665282 98041 3161 1 0 2627263 0
[pid=12062/tid=12064] ppid=12059 vsize=10661128 memory=6791534058613427641 CPUtime=300.9 cores=1,3,5,7
/proc/12062/task/12064/stat : 12064 (java) R 12059 12062 11440 0 -1 4202560 11364 0 0 0 30083 7 0 0 20 0 15 0 98711233 10916995072 98041 33554432000 4194304 4196468 140722156607152 140328059432688 140327675352502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12065] ppid=12059 vsize=10661128 memory=4872558044660077418 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12065/stat : 12065 (java) S 12059 12062 11440 0 -1 1077944384 2148 0 0 0 3 0 0 0 20 0 15 0 98711234 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327991892368 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12066] ppid=12059 vsize=10661128 memory=956 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12066/stat : 12066 (java) S 12059 12062 11440 0 -1 1077944384 1774 0 0 0 3 0 0 0 20 0 15 0 98711234 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327660677392 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12067] ppid=12059 vsize=10661128 memory=2464 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12067/stat : 12067 (java) S 12059 12062 11440 0 -1 1077944384 2022 0 0 0 3 0 0 0 20 0 15 0 98711234 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327659625104 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12068] ppid=12059 vsize=10661128 memory=1576 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12068/stat : 12068 (java) S 12059 12062 11440 0 -1 1077944384 871 0 0 0 3 0 0 0 20 0 15 0 98711234 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327658572304 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12069] ppid=12059 vsize=10661128 memory=928 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12069/stat : 12069 (java) S 12059 12062 11440 0 -1 1077944384 1913 0 0 0 1 2 0 0 20 0 15 0 98711235 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327547304560 140328055212674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12070] ppid=12059 vsize=10661128 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12070/stat : 12070 (java) S 12059 12062 11440 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 98711236 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327546250528 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12071] ppid=12059 vsize=10661128 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12071/stat : 12071 (java) S 12059 12062 11440 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 98711236 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327545198192 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12072] ppid=12059 vsize=10661128 memory=2200 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12072/stat : 12072 (java) S 12059 12062 11440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98711238 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327544146512 140328055220123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12073] ppid=12059 vsize=10661128 memory=392164 CPUtime=0.7 cores=1,3,5,7
/proc/12062/task/12073/stat : 12073 (java) S 12059 12062 11440 0 -1 1077944384 5822 0 0 0 70 0 0 0 20 0 15 0 98711238 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327543093360 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12074] ppid=12059 vsize=10661128 memory=840 CPUtime=0.67 cores=1,3,5,7
/proc/12062/task/12074/stat : 12074 (java) S 12059 12062 11440 0 -1 1077944384 5339 0 0 0 66 1 0 0 20 0 15 0 98711238 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327542040560 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12075] ppid=12059 vsize=10661128 memory=18268 CPUtime=0.38 cores=1,3,5,7
/proc/12062/task/12075/stat : 12075 (java) S 12059 12062 11440 0 -1 1077944384 4874 0 0 0 37 1 0 0 20 0 15 0 98711238 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327540988272 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12076] ppid=12059 vsize=10661128 memory=17176 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12076/stat : 12076 (java) S 12059 12062 11440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98711239 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327539935712 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12077] ppid=12059 vsize=10661128 memory=4052 CPUtime=0.14 cores=1,3,5,7
/proc/12062/task/12077/stat : 12077 (java) S 12059 12062 11440 0 -1 1077944384 859 0 0 0 7 7 0 0 20 0 15 0 98711239 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327538883504 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
Current children cumulated CPU time: 303.03 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 392164 KiB

[startup+301.11 s]
/proc/loadavg: 1.96 1.84 1.73 3/216 12112
/proc/meminfo: memFree=24919736/32770624 swapFree=67108792/67108860
[pid=12062] ppid=12059 vsize=10661128 memory=392164 CPUtime=303.13 cores=1,3,5,7
/proc/12062/stat : 12062 (java) S 12059 12062 11440 0 -1 1077944320 38407 0 0 0 30291 22 0 0 20 0 15 0 98711233 10916995072 98041 33554432000 4194304 4196468 140722156607152 140722156589696 140328055201527 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
/proc/12062/statm: 2665282 98041 3161 1 0 2627263 0
[pid=12062/tid=12064] ppid=12059 vsize=10661128 memory=1720 CPUtime=301 cores=1,3,5,7
/proc/12062/task/12064/stat : 12064 (java) R 12059 12062 11440 0 -1 4202560 11365 0 0 0 30093 7 0 0 20 0 15 0 98711233 10916995072 98041 33554432000 4194304 4196468 140722156607152 140328059432688 140327675323707 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12065] ppid=12059 vsize=10661128 memory=392164 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12065/stat : 12065 (java) S 12059 12062 11440 0 -1 1077944384 2148 0 0 0 3 0 0 0 20 0 15 0 98711234 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327991892368 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12066] ppid=12059 vsize=10661128 memory=392144 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12066/stat : 12066 (java) S 12059 12062 11440 0 -1 1077944384 1774 0 0 0 3 0 0 0 20 0 15 0 98711234 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327660677392 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12067] ppid=12059 vsize=10661128 memory=392164 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12067/stat : 12067 (java) S 12059 12062 11440 0 -1 1077944384 2022 0 0 0 3 0 0 0 20 0 15 0 98711234 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327659625104 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12068] ppid=12059 vsize=10661128 memory=392164 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12068/stat : 12068 (java) S 12059 12062 11440 0 -1 1077944384 871 0 0 0 3 0 0 0 20 0 15 0 98711234 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327658572304 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12069] ppid=12059 vsize=10661128 memory=392164 CPUtime=0.03 cores=1,3,5,7
/proc/12062/task/12069/stat : 12069 (java) S 12059 12062 11440 0 -1 1077944384 1913 0 0 0 1 2 0 0 20 0 15 0 98711235 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327547304560 140328055212674 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12070] ppid=12059 vsize=10661128 memory=392144 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12070/stat : 12070 (java) S 12059 12062 11440 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 98711236 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327546250528 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12071] ppid=12059 vsize=10661128 memory=392164 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12071/stat : 12071 (java) S 12059 12062 11440 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 98711236 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327545198192 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12072] ppid=12059 vsize=10661128 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12072/stat : 12072 (java) S 12059 12062 11440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98711238 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327544146512 140328055220123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12073] ppid=12059 vsize=10661128 memory=4136 CPUtime=0.7 cores=1,3,5,7
/proc/12062/task/12073/stat : 12073 (java) S 12059 12062 11440 0 -1 1077944384 5822 0 0 0 70 0 0 0 20 0 15 0 98711238 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327543093360 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12074] ppid=12059 vsize=10661128 memory=392164 CPUtime=0.67 cores=1,3,5,7
/proc/12062/task/12074/stat : 12074 (java) S 12059 12062 11440 0 -1 1077944384 5339 0 0 0 66 1 0 0 20 0 15 0 98711238 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327542040560 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12075] ppid=12059 vsize=10661128 memory=392144 CPUtime=0.38 cores=1,3,5,7
/proc/12062/task/12075/stat : 12075 (java) S 12059 12062 11440 0 -1 1077944384 4874 0 0 0 37 1 0 0 20 0 15 0 98711238 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327540988272 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12076] ppid=12059 vsize=10661128 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/12062/task/12076/stat : 12076 (java) S 12059 12062 11440 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98711239 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327539935712 140328055211733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
[pid=12062/tid=12077] ppid=12059 vsize=10661128 memory=644 CPUtime=0.14 cores=1,3,5,7
/proc/12062/task/12077/stat : 12077 (java) S 12059 12062 11440 0 -1 1077944384 859 0 0 0 7 7 0 0 20 0 15 0 98711239 10916995072 98041 33554432000 4194304 4196468 140722156607152 140327538883504 140328055212674 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8863744 140722156610698 140722156610825 140722156610825 140722156613583 0
Current children cumulated CPU time: 303.13 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 392164 KiB

Child status: 0
Real time (s): 301.135
CPU time (s): 303.166
CPU user time (s): 302.939
CPU system time (s): 0.227047
CPU usage (%): 100.675
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 399772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 302.939
system time used= 0.227047
maximum resident set size= 403360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39313
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8454
involuntary context switches= 116


# summary of solver processes directly reported to runsolver:
#   pid: 12062
#   total CPU time (s): 303.166
#   total CPU user time (s): 302.939
#   total CPU system time (s): 0.227047

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.89341 second user time and 2.84847 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-28 22:58:00
IDJOB=4298544
IDBENCH=141154
IDSOLVER=2767
FILE ID=node150/4298544-1532811480
RUNJOBID= node150-1532808681-11472
PBS_JOBID= 21022473
Free space on /tmp= 53084 MiB

SOLVER NAME= SuperSolver_Macq_Stevenart 2018-04-27
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml
COMMAND LINE= java -jar DIR/bestMinicp.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298544-1532811480/watcher-4298544-1532811480 -o /tmp/evaluation-result-4298544-1532811480/solver-4298544-1532811480 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532808681-11472 --watchdog 2580  java -jar HOME/bestMinicp.jar HOME/instance-4298544-1532811480.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=632854810

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25314776 kB
MemAvailable:   29169588 kB
Buffers:          209836 kB
Cached:          3883240 kB
SwapCached:           32 kB
Active:          4256752 kB
Inactive:        2652148 kB
Active(anon):    2766972 kB
Inactive(anon):    76188 kB
Active(file):    1489780 kB
Inactive(file):  2575960 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:              1196 kB
Writeback:             0 kB
AnonPages:       2894964 kB
Mapped:            55452 kB
Shmem:             25156 kB
Slab:             238400 kB
SReclaimable:     209816 kB
SUnreclaim:        28584 kB
KernelStack:        3808 kB
PageTables:        10696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4045572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2222080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 53084 MiB
End job on node150 at 2018-07-28 23:03:01