Trace number 4298495

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-27SAT984576 306.143 300.996

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: -1
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
2.51/1.59	o 0
2.51/1.60	o 2241
2.51/1.60	o 15582
2.51/1.60	o 17823
2.51/1.61	o 25823
2.68/1.61	o 28064
2.68/1.61	o 29337
2.68/1.61	o 42678
2.68/1.61	o 44919
2.68/1.62	o 52919
2.68/1.62	o 55160
2.68/1.62	o 57128
2.68/1.62	o 59369
2.68/1.63	o 72096
2.68/1.63	o 74337
2.68/1.63	o 82337
2.68/1.63	o 84578
2.68/1.63	o 86546
2.68/1.64	o 88787
2.68/1.64	o 90364
2.68/1.64	o 91032
2.68/1.64	o 93000
2.68/1.64	o 95241
2.68/1.64	o 95908
2.68/1.64	o 98149
2.68/1.64	o 106149
2.68/1.64	o 108390
2.68/1.65	o 109967
2.68/1.65	o 112603
2.68/1.65	o 114844
2.68/1.65	o 116249
2.68/1.65	o 116917
2.68/1.65	o 118885
2.68/1.65	o 121126
2.68/1.65	o 121793
2.68/1.65	o 124034
2.68/1.65	o 132034
2.68/1.65	o 134275
2.68/1.66	o 135852
2.68/1.66	o 138488
2.68/1.66	o 140729
2.68/1.66	o 141612
2.68/1.66	o 143853
2.68/1.66	o 145430
2.68/1.66	o 148066
2.68/1.66	o 150307
2.68/1.67	o 150372
2.68/1.67	o 158372
2.68/1.67	o 160613
2.68/1.67	o 162190
2.68/1.67	o 164826
2.68/1.67	o 167067
2.68/1.68	o 167950
2.68/1.68	o 170191
2.68/1.68	o 171768
2.68/1.68	o 174404
2.68/1.68	o 176645
2.95/1.70	o 178012
2.95/1.70	o 180253
2.95/1.71	o 182109
2.95/1.71	o 184350
2.95/1.72	o 185233
2.95/1.72	o 187474
2.95/1.72	o 189051
2.95/1.72	o 191687
2.95/1.72	o 193928
2.95/1.72	o 195295
2.95/1.72	o 197536
2.95/1.73	o 198769
2.95/1.73	o 201010
2.95/1.74	o 201720
2.95/1.74	o 203087
2.95/1.74	o 205328
2.95/1.74	o 206561
2.95/1.74	o 208802
2.95/1.75	o 209872
2.95/1.75	o 211105
2.95/1.75	o 213346
2.95/1.76	o 213414
2.95/1.76	o 214124
2.95/1.76	o 215491
2.95/1.76	o 217732
2.95/1.76	o 218965
2.95/1.77	o 221206
2.95/1.77	o 222276
2.95/1.77	o 223509
2.95/1.77	o 225750
2.95/1.79	o 227193
2.95/1.79	o 229434
2.95/1.79	o 230667
2.95/1.79	o 232908
2.95/1.79	o 233978
2.95/1.80	o 235211
2.95/1.80	o 237452
3.21/1.81	o 237501
3.21/1.81	o 238734
3.21/1.81	o 240975
3.21/1.81	o 242045
3.21/1.82	o 243278
3.21/1.82	o 245519
3.21/1.83	o 246684
3.21/1.84	o 247260
3.21/1.84	o 248330
3.21/1.84	o 249563
3.21/1.84	o 251804
3.21/1.85	o 252969
3.21/1.86	o 253204
3.21/1.86	o 254647
3.21/1.86	o 256888
3.21/1.86	o 258121
3.21/1.86	o 260362
3.21/1.87	o 261432
3.21/1.87	o 262665
3.21/1.87	o 264906
3.21/1.87	o 264955
3.21/1.88	o 266188
3.21/1.88	o 268429
3.21/1.88	o 269499
3.21/1.88	o 270732
3.21/1.88	o 272973
3.80/2.37	o 274138
3.80/2.37	o 275784
3.80/2.37	o 279258
3.80/2.38	o 280423
3.80/2.38	o 282925
3.80/2.38	o 286399
3.80/2.38	o 287564
3.80/2.38	o 289210
3.80/2.38	o 292684
3.80/2.38	o 293849
3.80/2.38	o 296584
3.80/2.38	o 297749
3.80/2.39	o 300672
3.80/2.39	o 304146
3.80/2.39	o 305311
3.80/2.39	o 305870
3.80/2.39	o 314098
3.80/2.39	o 317572
3.80/2.39	o 318737
3.80/2.39	o 321472
3.80/2.39	o 322637
3.90/2.42	o 322647
3.90/2.45	o 324978
3.90/2.45	o 326143
3.90/2.45	o 328878
3.90/2.45	o 330043
3.90/2.48	o 330053
4.00/2.50	o 330398
4.00/2.50	o 333133
4.00/2.50	o 334298
4.00/2.53	o 334308
4.00/2.55	o 336639
4.00/2.56	o 337804
4.00/2.56	o 340539
4.00/2.56	o 341704
4.00/2.58	o 341714
4.51/3.08	o 341947
4.51/3.08	o 344188
4.51/3.08	o 346438
4.51/3.08	o 348679
4.51/3.09	o 350486
4.51/3.09	o 352736
4.51/3.09	o 354977
4.51/3.09	o 357065
4.51/3.09	o 359306
4.51/3.09	o 361556
4.51/3.09	o 363797
4.51/3.09	o 365915
4.51/3.09	o 368156
4.51/3.09	o 370406
4.51/3.09	o 372647
4.51/3.09	o 373120
4.51/3.09	o 375361
4.51/3.09	o 377611
4.51/3.09	o 379852
4.51/3.09	o 381659
4.51/3.09	o 383909
4.51/3.09	o 386150
4.51/3.10	o 387928
4.51/3.10	o 390178
4.51/3.10	o 392419
4.51/3.10	o 393802
4.51/3.10	o 396043
4.66/3.11	o 396053
4.66/3.12	o 396613
4.66/3.12	o 396843
4.66/3.12	o 398420
4.66/3.12	o 399093
4.66/3.12	o 401334
4.66/3.12	o 402911
4.66/3.12	o 403112
4.66/3.12	o 404689
4.66/3.12	o 405362
4.66/3.12	o 407603
4.66/3.12	o 409180
4.66/3.12	o 411412
4.66/3.12	o 413190
4.66/3.12	o 415440
4.66/3.12	o 417681
4.66/3.12	o 417691
4.66/3.13	o 419605
4.66/3.13	o 421846
4.66/3.13	o 423229
4.66/3.13	o 425470
4.66/3.13	o 426040
4.66/3.13	o 426270
4.66/3.13	o 427847
4.66/3.14	o 428520
4.66/3.14	o 430761
4.66/3.14	o 432338
4.66/3.14	o 432539
4.66/3.14	o 434116
4.66/3.14	o 434789
4.66/3.14	o 437030
4.66/3.14	o 438607
4.66/3.14	o 440839
4.66/3.14	o 442617
4.66/3.14	o 444867
4.66/3.14	o 447108
4.66/3.15	o 448346
4.66/3.15	o 450587
4.66/3.15	o 451970
4.66/3.15	o 454211
4.66/3.15	o 454781
4.66/3.15	o 455011
4.66/3.15	o 456588
4.66/3.15	o 457261
4.66/3.15	o 459502
4.66/3.15	o 461079
4.66/3.16	o 461280
4.66/3.16	o 462857
4.66/3.16	o 463530
4.66/3.16	o 465771
4.66/3.16	o 467348
4.66/3.16	o 469580
4.66/3.16	o 471358
4.66/3.16	o 473608
4.66/3.16	o 475849
4.66/3.17	o 476738
4.66/3.17	o 477411
4.66/3.17	o 479652
4.66/3.17	o 481229
4.66/3.19	o 482813
4.66/3.19	o 484390
4.76/3.21	o 484578
4.76/3.21	o 486155
4.76/3.24	o 488112
4.76/3.24	o 489877
4.76/3.28	o 491120
4.85/3.30	o 492516
4.85/3.32	o 494281
4.85/3.36	o 494756
4.85/3.36	o 496333
5.73/4.03	o 496430
5.73/4.03	o 498007
6.55/4.57	o 498111
7.18/5.11	o 499001
7.18/5.11	o 499240
7.18/5.12	o 501198
7.18/5.12	o 502363
7.18/5.13	o 503500
7.18/5.13	o 504113
7.18/5.13	o 505278
7.18/5.13	o 508604
7.18/5.13	o 509769
7.18/5.14	o 510659
7.18/5.14	o 510898
7.18/5.17	o 512050
7.18/5.17	o 513215
7.18/5.18	o 513755
7.18/5.19	o 516302
7.18/5.19	o 517467
7.34/5.20	o 518604
7.34/5.20	o 519217
7.34/5.20	o 520382
7.34/5.20	o 523708
7.34/5.20	o 524873
7.34/5.21	o 525413
7.34/5.23	o 525763
8.05/5.79	o 525869
8.05/5.79	o 527634
9.75/7.43	o 529779
9.75/7.43	o 531544
9.75/7.43	o 533275
9.75/7.43	o 535040
9.75/7.43	o 535479
9.75/7.43	o 537244
9.75/7.43	o 538975
9.75/7.43	o 540740
9.75/7.43	o 541903
9.75/7.43	o 543634
9.75/7.43	o 545399
9.75/7.43	o 546588
9.75/7.43	o 548353
9.75/7.43	o 549516
9.75/7.43	o 551247
9.75/7.43	o 553012
9.75/7.44	o 554377
9.75/7.44	o 555043
9.75/7.44	o 556774
9.75/7.44	o 558539
9.75/7.44	o 559904
9.75/7.44	o 560370
9.75/7.44	o 561735
9.75/7.44	o 562401
9.75/7.44	o 564132
9.75/7.44	o 565897
9.75/7.44	o 567262
9.75/7.44	o 567851
9.75/7.44	o 569616
9.75/7.44	o 570779
9.75/7.44	o 572510
9.75/7.44	o 574275
9.75/7.44	o 575640
9.75/7.44	o 576306
9.75/7.44	o 578037
9.75/7.44	o 579802
9.75/7.44	o 581167
9.75/7.45	o 581633
9.75/7.45	o 582998
9.75/7.45	o 583664
9.75/7.45	o 585395
9.75/7.45	o 587160
9.75/7.45	o 588525
9.75/7.45	o 589056
9.75/7.45	o 590787
9.75/7.45	o 592552
9.75/7.45	o 593917
9.75/7.45	o 594024
9.75/7.45	o 594555
9.75/7.45	o 596286
9.75/7.45	o 598051
9.75/7.45	o 599416
9.75/7.45	o 600540
9.75/7.45	o 601905
9.75/7.46	o 603219
9.75/7.46	o 604984
9.75/7.46	o 606349
9.75/7.46	o 607473
9.75/7.46	o 608838
9.75/7.46	o 608935
9.75/7.46	o 610300
9.75/7.47	o 611405
9.75/7.47	o 612770
9.75/7.47	o 613894
9.75/7.47	o 615259
9.75/7.47	o 615356
9.75/7.47	o 616721
9.75/7.48	o 616754
9.75/7.48	o 618119
9.75/7.48	o 618622
9.75/7.48	o 619987
9.75/7.48	o 621111
9.75/7.48	o 622476
9.75/7.49	o 622573
9.75/7.49	o 623938
9.75/7.49	o 623971
9.75/7.49	o 625336
9.86/7.50	o 626241
9.86/7.51	o 626274
9.86/7.51	o 627639
9.86/7.51	o 627703
9.86/7.51	o 627736
9.86/7.51	o 629101
9.86/7.53	o 630020
9.86/7.58	o 630084
9.86/7.59	o 631180
9.96/7.60	o 631213
9.96/7.60	o 632578
9.96/7.61	o 633483
9.96/7.61	o 633516
9.96/7.61	o 634881
9.96/7.62	o 634945
9.96/7.62	o 634978
9.96/7.62	o 636343
9.96/7.64	o 636407
10.96/8.68	o 637559
10.96/8.69	o 637715
10.96/8.69	o 638880
11.06/8.70	o 639670
11.06/8.71	o 640112
11.06/8.71	o 642667
11.06/8.71	o 643832
11.06/8.71	o 644032
11.06/8.71	o 645197
11.06/8.73	o 645504
11.06/8.73	o 648059
11.06/8.73	o 649224
11.06/8.73	o 649424
11.06/8.73	o 650589
11.06/8.74	o 651555
11.06/8.74	o 652720
11.06/8.74	o 652920
11.06/8.74	o 654085
11.06/8.78	o 654119
11.06/8.78	o 655085
11.06/8.78	o 656250
11.06/8.78	o 656450
11.06/8.78	o 657615
11.66/9.33	o 659886
11.66/9.33	o 661651
11.66/9.33	o 662028
11.76/9.40	o 663049
11.76/9.41	o 663426
12.49/9.98	o 663869
12.49/9.98	o 665034
13.09/10.51	o 665071
13.09/10.51	o 665671
13.09/10.51	o 666836
13.09/10.52	o 667560
13.09/10.52	o 668160
13.09/10.52	o 669325
13.09/10.56	o 669798
13.09/10.56	o 670669
13.09/10.56	o 671834
13.09/10.56	o 672434
13.09/10.56	o 673599
14.99/12.18	o 674690
14.99/12.19	o 675772
14.99/12.20	o 676496
14.99/12.20	o 678261
15.08/12.21	o 679626
15.08/12.25	o 680521
15.08/12.25	o 681833
15.08/12.25	o 682957
15.08/12.25	o 684322
17.53/14.56	o 684765
17.53/14.57	o 685703
17.53/14.57	o 687944
17.53/14.58	o 688023
17.53/14.58	o 690264
17.63/14.64	o 691982
17.63/14.65	o 692920
17.63/14.65	o 695161
17.63/14.66	o 695240
17.63/14.66	o 697481
18.73/15.74	o 698124
18.73/15.75	o 698795
18.73/15.75	o 699395
18.73/15.75	o 700560
18.73/15.75	o 700760
18.73/15.75	o 701925
18.73/15.75	o 703049
18.73/15.75	o 703249
18.73/15.75	o 704414
18.73/15.75	o 704672
18.73/15.75	o 704872
18.73/15.75	o 706037
18.73/15.75	o 706321
18.73/15.75	o 706964
18.73/15.75	o 707635
18.73/15.75	o 708235
18.73/15.76	o 709400
18.73/15.76	o 709600
18.73/15.76	o 710765
18.73/15.76	o 711889
18.73/15.76	o 712089
18.73/15.76	o 713254
18.73/15.76	o 713365
18.73/15.76	o 714530
18.73/15.76	o 715654
18.73/15.76	o 715854
18.73/15.76	o 717019
18.73/15.77	o 717938
18.73/15.78	o 717944
18.73/15.78	o 718144
18.73/15.78	o 719309
18.73/15.79	o 720228
18.85/15.81	o 720496
18.85/15.82	o 721415
18.85/15.82	o 721421
18.85/15.82	o 721621
18.85/15.82	o 722786
18.85/15.83	o 723705
18.85/15.85	o 724261
18.85/15.85	o 725186
18.85/15.85	o 725386
18.85/15.85	o 726551
18.85/15.86	o 727470
18.85/15.87	o 728319
18.85/15.87	o 729443
18.85/15.87	o 729643
18.85/15.87	o 730808
18.85/15.88	o 731727
18.85/15.89	o 731733
18.85/15.89	o 731933
18.85/15.89	o 733098
18.85/15.89	o 734017
24.21/21.09	o 735529
24.31/21.12	o 735814
24.31/21.12	o 738055
28.50/25.37	o 738774
28.50/25.37	o 739139
28.50/25.38	o 740385
28.50/25.38	o 742150
28.50/25.38	o 742515
28.50/25.39	o 742539
28.50/25.39	o 742904
28.60/25.41	o 744150
28.60/25.41	o 745915
28.60/25.41	o 746280
28.60/25.43	o 746834
28.60/25.44	o 747199
28.70/25.51	o 747263
29.70/26.59	o 747624
29.80/26.60	o 748603
29.80/26.60	o 749235
29.80/26.60	o 751000
29.80/26.62	o 751064
30.40/27.21	o 751125
30.40/27.21	o 751849
30.40/27.21	o 752449
30.40/27.21	o 753614
30.40/27.29	o 753691
30.40/27.29	o 754410
30.40/27.30	o 754890
30.50/27.30	o 755614
30.50/27.30	o 756214
30.50/27.30	o 757379
30.50/27.35	o 758330
39.48/36.19	o 758809
40.57/37.29	o 759384
40.57/37.29	o 760549
40.57/37.29	o 761416
40.57/37.29	o 761947
40.57/37.29	o 762814
40.67/37.31	o 763412
40.67/37.31	o 763943
40.67/37.31	o 764810
40.67/37.31	o 765411
40.67/37.31	o 766278
40.67/37.32	o 766878
40.67/37.32	o 768043
40.67/37.32	o 768910
40.67/37.32	o 769441
40.67/37.32	o 770308
40.67/37.35	o 770643
40.67/37.35	o 771808
40.67/37.35	o 772675
40.67/37.35	o 773206
40.67/37.35	o 774073
40.67/37.38	o 774125
40.67/37.38	o 774992
41.77/38.45	o 776773
41.77/38.45	o 778499
41.77/38.45	o 782300
41.77/38.46	o 783587
41.77/38.46	o 787388
41.77/38.47	o 788786
41.77/38.47	o 789794
41.77/38.48	o 791081
41.77/38.48	o 794882
41.77/38.49	o 796280
41.87/38.51	o 797626
41.87/38.52	o 798634
41.87/38.52	o 799921
41.87/38.52	o 803722
41.87/38.53	o 805120
42.38/39.07	o 805952
42.38/39.07	o 806819
42.48/39.12	o 808750
42.48/39.12	o 809617
42.48/39.13	o 809645
42.48/39.13	o 809950
42.48/39.13	o 813446
42.48/39.13	o 814313
42.57/39.21	o 817211
42.57/39.21	o 818078
42.97/39.68	o 818770
42.97/39.69	o 819285
42.97/39.69	o 823086
42.97/39.69	o 826264
42.97/39.70	o 827610
43.07/39.70	o 828125
43.07/39.70	o 831926
43.07/39.70	o 835104
43.07/39.72	o 836023
43.07/39.74	o 836267
43.07/39.74	o 836782
43.07/39.74	o 840583
43.07/39.74	o 843761
43.07/39.76	o 844680
43.17/39.80	o 846826
43.17/39.81	o 850004
43.17/39.82	o 850923
43.17/39.85	o 851418
43.17/39.85	o 855219
43.17/39.85	o 856138
48.58/45.21	o 857137
48.58/45.25	o 857201
49.18/45.80	o 858291
49.18/45.81	o 858524
49.18/45.81	o 859689
50.78/47.47	o 859915
50.78/47.47	o 860782
50.78/47.47	o 861313
50.78/47.47	o 862180
50.78/47.48	o 866001
50.78/47.48	o 866868
50.78/47.48	o 867399
50.78/47.48	o 868266
50.78/47.48	o 869343
50.78/47.48	o 870210
50.78/47.48	o 871012
50.78/47.48	o 874841
50.78/47.48	o 875708
50.78/47.48	o 876239
50.78/47.48	o 877106
50.88/47.53	o 880507
50.88/47.53	o 881374
50.88/47.53	o 881905
50.88/47.53	o 882772
50.88/47.53	o 883849
50.88/47.53	o 884716
50.88/47.53	o 885518
50.88/47.53	o 889347
50.88/47.53	o 890214
50.88/47.53	o 890745
50.88/47.53	o 891612
51.49/48.11	o 891984
51.49/48.12	o 892851
51.98/48.67	o 893255
51.98/48.67	o 894122
51.98/48.67	o 894174
51.98/48.67	o 895041
73.50/69.80	o 895105
74.00/70.37	o 897553
74.00/70.38	o 897617
74.10/70.40	o 898052
74.10/70.40	o 898072
74.10/70.40	o 898277
74.10/70.40	o 902768
74.10/70.40	o 902832
83.91/80.29	o 905220
83.91/80.29	o 907461
83.91/80.29	o 908859
83.91/80.29	o 909778
84.01/80.31	o 910014
84.01/80.31	o 910933
84.01/80.35	o 911898
84.01/80.35	o 912817
84.01/80.35	o 913302
84.01/80.36	o 915986
84.01/80.36	o 918227
84.01/80.36	o 919625
84.01/80.36	o 920544
84.01/80.37	o 921361
84.01/80.37	o 921846
84.01/80.37	o 924530
84.01/80.37	o 926771
84.01/80.37	o 928169
84.01/80.38	o 929088
84.01/80.39	o 929324
84.01/80.39	o 930243
100.02/96.38	o 932190
100.02/96.38	o 933057
100.02/96.40	o 933109
100.02/96.40	o 933976
109.52/105.81	o 935593
130.54/126.81	o 938678
130.54/126.81	o 939545
137.14/133.48	o 940826
137.24/133.50	o 941940
137.24/133.50	o 943338
143.15/139.42	o 944346
208.41/203.99	o 945593
208.41/203.99	o 946991
224.61/219.85	o 947043
224.61/219.86	o 948567
224.61/219.86	o 950808
224.61/219.87	o 952206
238.82/234.03	o 952417
238.82/234.03	o 952576
238.82/234.03	o 954817
238.82/234.03	o 956182
238.82/234.03	o 957462
238.82/234.04	o 958827
238.82/234.08	o 959982
240.21/235.41	o 962182
240.21/235.41	o 963580
240.21/235.41	o 964827
240.21/235.41	o 966225
268.80/263.78	o 966417
268.80/263.78	o 967284
268.80/263.79	o 967573
268.80/263.79	o 968440
268.80/263.79	o 970218
268.80/263.79	o 971085
268.80/263.80	o 971766
268.90/263.80	o 972055
268.90/263.80	o 972922
268.90/263.80	o 974700
268.90/263.80	o 975567
268.90/263.82	o 976193
268.90/263.83	o 976491
268.90/263.84	o 976780
268.90/263.84	o 977647
268.90/263.84	o 979425
268.90/263.84	o 980292
268.90/263.85	o 980918
269.00/263.93	o 981305
269.00/263.93	o 983083
269.00/263.93	o 983950
269.00/263.93	o 984576
306.04/300.97	s SATISFIABLE
306.04/300.98	v <instantiation>
306.04/300.98	v 	<list>
306.04/300.98	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] 
306.04/300.98	v 	</list>
306.04/300.98	v 	<values>
306.04/300.98	v 		0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
306.04/300.98	v 	</values>
306.04/300.98	v </instantiation>

Verifier Data 

OK	984576

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298495-1532811231/watcher-4298495-1532811231 -o /tmp/evaluation-result-4298495-1532811231/solver-4298495-1532811231 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532809638-1645 --watchdog 2580 java -jar HOME/bestMinicp.jar HOME/instance-4298495-1532811231.xml 

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

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

solver pid=2351, runsolver pid=2348

[startup+0.100061 s]*
/proc/loadavg: 1.98 1.82 1.67 3/216 2368
/proc/meminfo: memFree=26481736/32770624 swapFree=67108860/67108860
[pid=2351] ppid=2348 vsize=10661052 memory=27672 CPUtime=0.13 cores=1,3,5,7
/proc/2351/stat : 2351 (java) S 2348 2351 1613 0 -1 1077944320 5277 0 0 0 11 2 0 0 20 0 15 0 98686230 10916917248 6918 33554432000 4194304 4196468 140722692095568 140722692078112 139950156570359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
/proc/2351/statm: 2665263 6918 2861 1 0 2627263 0
[pid=2351/tid=2353] ppid=2348 vsize=10661052 memory=-7390251449858225344 CPUtime=0.09 cores=1,3,5,7
/proc/2351/task/2353/stat : 2353 (java) R 2348 2351 1613 0 -1 4202560 3144 0 0 0 8 1 0 0 20 0 15 0 98686230 10916917248 6918 33554432000 4194304 4196468 140722692095568 139950160792944 139950139911715 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2354] ppid=2348 vsize=10661052 memory=-7025452035940392864 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2354/stat : 2354 (java) S 2348 2351 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98686231 10916917248 6918 33554432000 4194304 4196468 140722692095568 139950109190416 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2355] ppid=2348 vsize=10661052 memory=139652643370624 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2355/stat : 2355 (java) S 2348 2351 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98686231 10916917248 6918 33554432000 4194304 4196468 140722692095568 139950108137872 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2356] ppid=2348 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2356/stat : 2356 (java) S 2348 2351 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98686231 10916917248 6918 33554432000 4194304 4196468 140722692095568 139950107085328 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2357] ppid=2348 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2357/stat : 2357 (java) S 2348 2351 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98686231 10916917248 6918 33554432000 4194304 4196468 140722692095568 139950106032784 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2359] ppid=2348 vsize=10661052 memory=139652643370624 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2359/stat : 2359 (java) S 2348 2351 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98686233 10916917248 6918 33554432000 4194304 4196468 140722692095568 139949715683824 139950156581506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2360] ppid=2348 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2360/stat : 2360 (java) S 2348 2351 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98686233 10916917248 6918 33554432000 4194304 4196468 140722692095568 139949714630048 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2361] ppid=2348 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2361/stat : 2361 (java) S 2348 2351 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98686233 10916917248 6918 33554432000 4194304 4196468 140722692095568 139949713577456 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2362] ppid=2348 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2362/stat : 2362 (java) S 2348 2351 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98686236 10916917248 6918 33554432000 4194304 4196468 140722692095568 139949712526032 139950156588955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2363] ppid=2348 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2363/stat : 2363 (java) R 2348 2351 1613 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 98686236 10916917248 6918 33554432000 4194304 4196468 140722692095568 139949711472624 139950156581506 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2364] ppid=2348 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2364/stat : 2364 (java) R 2348 2351 1613 0 -1 4202560 144 0 0 0 0 0 0 0 20 0 15 0 98686236 10916917248 6918 33554432000 4194304 4196468 140722692095568 139949710420080 139950139994189 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2365] ppid=2348 vsize=10661052 memory=139652643370624 CPUtime=0.02 cores=1,3,5,7
/proc/2351/task/2365/stat : 2365 (java) R 2348 2351 1613 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 15 0 98686236 10916917248 6918 33554432000 4194304 4196468 140722692095568 139949709367536 139950135554092 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2367] ppid=2348 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2367/stat : 2367 (java) S 2348 2351 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98686236 10916917248 6918 33554432000 4194304 4196468 140722692095568 139949708315232 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2368] ppid=2348 vsize=10661052 memory=139652643370624 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2368/stat : 2368 (java) S 2348 2351 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98686236 10916917248 6918 33554432000 4194304 4196468 140722692095568 139949707262768 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 27672 KiB

[startup+0.212552 s]*
/proc/loadavg: 1.98 1.82 1.67 4/216 2368
/proc/meminfo: memFree=26468820/32770624 swapFree=67108860/67108860
[pid=2351] ppid=2348 vsize=10661052 memory=40932 CPUtime=0.35 cores=1,3,5,7
/proc/2351/stat : 2351 (java) S 2348 2351 1613 0 -1 1077944320 8352 0 0 0 33 2 0 0 20 0 15 0 98686230 10916917248 10233 33554432000 4194304 4196468 140722692095568 140722692078112 139950156570359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
/proc/2351/statm: 2665263 10233 3016 1 0 2627263 0
[pid=2351/tid=2353] ppid=2348 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/2351/task/2353/stat : 2353 (java) R 2348 2351 1613 0 -1 4202560 5093 0 0 0 19 1 0 0 20 0 15 0 98686230 10916917248 10233 33554432000 4194304 4196468 140722692095568 139950160808960 139950156592285 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2354] ppid=2348 vsize=10661052 memory=331 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2354/stat : 2354 (java) S 2348 2351 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98686231 10916917248 10233 33554432000 4194304 4196468 140722692095568 139950109190416 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2355] ppid=2348 vsize=10661052 memory=288370028795082368 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2355/stat : 2355 (java) S 2348 2351 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98686231 10916917248 10233 33554432000 4194304 4196468 140722692095568 139950108137872 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2356] ppid=2348 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2356/stat : 2356 (java) S 2348 2351 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98686231 10916917248 10233 33554432000 4194304 4196468 140722692095568 139950107085328 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2357] ppid=2348 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2357/stat : 2357 (java) S 2348 2351 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98686231 10916917248 10233 33554432000 4194304 4196468 140722692095568 139950106032784 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2359] ppid=2348 vsize=10661052 memory=139652643370624 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2359/stat : 2359 (java) S 2348 2351 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98686233 10916917248 10233 33554432000 4194304 4196468 140722692095568 139949715683824 139950156581506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2360] ppid=2348 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2360/stat : 2360 (java) S 2348 2351 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98686233 10916917248 10233 33554432000 4194304 4196468 140722692095568 139949714630048 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2361] ppid=2348 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2361/stat : 2361 (java) S 2348 2351 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98686233 10916917248 10233 33554432000 4194304 4196468 140722692095568 139949713577456 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2362] ppid=2348 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2362/stat : 2362 (java) S 2348 2351 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98686236 10916917248 10233 33554432000 4194304 4196468 140722692095568 139949712526032 139950156588955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2363] ppid=2348 vsize=10661052 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2351/task/2363/stat : 2363 (java) R 2348 2351 1613 0 -1 4202560 500 0 0 0 2 0 0 0 20 0 15 0 98686236 10916917248 10233 33554432000 4194304 4196468 140722692095568 139949711458648 139950148807486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2364] ppid=2348 vsize=10661052 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2351/task/2364/stat : 2364 (java) R 2348 2351 1613 0 -1 4202560 454 0 0 0 2 0 0 0 20 0 15 0 98686236 10916917248 10233 33554432000 4194304 4196468 140722692095568 139949710401192 139950139908863 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2365] ppid=2348 vsize=10661052 memory=139652643370624 CPUtime=0.08 cores=1,3,5,7
/proc/2351/task/2365/stat : 2365 (java) D 2348 2351 1613 0 -1 4202560 937 0 0 0 8 0 0 0 20 0 15 0 98686236 10916917248 10233 33554432000 4194304 4196468 140722692095568 139949709364472 139950149287511 0 4 0 16800975 18446744071582151463 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2367] ppid=2348 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2367/stat : 2367 (java) S 2348 2351 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98686236 10916917248 10233 33554432000 4194304 4196468 140722692095568 139949708315232 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2368] ppid=2348 vsize=10661052 memory=139652643370624 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2368/stat : 2368 (java) S 2348 2351 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98686236 10916917248 10233 33554432000 4194304 4196468 140722692095568 139949707262768 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 40932 KiB

[startup+0.310899 s]*
/proc/loadavg: 1.98 1.82 1.67 6/216 2368
/proc/meminfo: memFree=26461624/32770624 swapFree=67108860/67108860
[pid=2351] ppid=2348 vsize=10661128 memory=47784 CPUtime=0.61 cores=1,3,5,7
/proc/2351/stat : 2351 (java) S 2348 2351 1613 0 -1 1077944320 9025 0 0 0 58 3 0 0 20 0 15 0 98686230 10916995072 11946 33554432000 4194304 4196468 140722692095568 140722692078112 139950156570359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
/proc/2351/statm: 2665282 11946 3075 1 0 2627263 0
[pid=2351/tid=2353] ppid=2348 vsize=10661128 memory=139652539450231 CPUtime=0.29 cores=1,3,5,7
/proc/2351/task/2353/stat : 2353 (java) R 2348 2351 1613 0 -1 4202560 5413 0 0 0 28 1 0 0 20 0 15 0 98686230 10916995072 11946 33554432000 4194304 4196468 140722692095568 139950160807200 139949783318465 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2354] ppid=2348 vsize=10661128 memory=3762249733494170728 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2354/stat : 2354 (java) S 2348 2351 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98686231 10916995072 11946 33554432000 4194304 4196468 140722692095568 139950109190416 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2355] ppid=2348 vsize=10661128 memory=279305078908560 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2355/stat : 2355 (java) S 2348 2351 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98686231 10916995072 11946 33554432000 4194304 4196468 140722692095568 139950108137872 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2356] ppid=2348 vsize=10661128 memory=279305078915472 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2356/stat : 2356 (java) S 2348 2351 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98686231 10916995072 11946 33554432000 4194304 4196468 140722692095568 139950107085328 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2357] ppid=2348 vsize=10661128 memory=139652539351175 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2357/stat : 2357 (java) S 2348 2351 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98686231 10916995072 11946 33554432000 4194304 4196468 140722692095568 139950106032784 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2359] ppid=2348 vsize=10661128 memory=139652643372303 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2359/stat : 2359 (java) S 2348 2351 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98686233 10916995072 11946 33554432000 4194304 4196468 140722692095568 139949715683824 139950156581506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2360] ppid=2348 vsize=10661128 memory=139652539473919 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2360/stat : 2360 (java) S 2348 2351 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98686233 10916995072 11946 33554432000 4194304 4196468 140722692095568 139949714630048 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2361] ppid=2348 vsize=10661128 memory=2110003146570628 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2361/stat : 2361 (java) S 2348 2351 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98686233 10916995072 11946 33554432000 4194304 4196468 140722692095568 139949713577456 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2362] ppid=2348 vsize=10661128 memory=2110003146572964 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2362/stat : 2362 (java) S 2348 2351 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98686236 10916995072 11946 33554432000 4194304 4196468 140722692095568 139949712526032 139950156588955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2363] ppid=2348 vsize=10661128 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/2351/task/2363/stat : 2363 (java) R 2348 2351 1613 0 -1 4202560 645 0 0 0 6 0 0 0 20 0 15 0 98686236 10916995072 11946 33554432000 4194304 4196468 140722692095568 139949711458648 139950138114626 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2364] ppid=2348 vsize=10661128 memory=139652539476175 CPUtime=0.07 cores=1,3,5,7
/proc/2351/task/2364/stat : 2364 (java) R 2348 2351 1613 0 -1 4202560 539 0 0 0 7 0 0 0 20 0 15 0 98686236 10916995072 11946 33554432000 4194304 4196468 140722692095568 139949710420208 139950140977578 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2365] ppid=2348 vsize=10661128 memory=139652643370624 CPUtime=0.15 cores=1,3,5,7
/proc/2351/task/2365/stat : 2365 (java) R 2348 2351 1613 0 -1 4202560 1065 0 0 0 15 0 0 0 20 0 15 0 98686236 10916995072 11946 33554432000 4194304 4196468 140722692095568 139949709366720 139950140678501 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2367] ppid=2348 vsize=10661128 memory=139652539492943 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2367/stat : 2367 (java) S 2348 2351 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98686236 10916995072 11946 33554432000 4194304 4196468 140722692095568 139949708315232 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2368] ppid=2348 vsize=10661128 memory=139652643370624 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2368/stat : 2368 (java) S 2348 2351 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98686236 10916995072 11946 33554432000 4194304 4196468 140722692095568 139949707262768 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 47784 KiB

[startup+0.700725 s]
/proc/loadavg: 1.98 1.82 1.67 5/216 2368
/proc/meminfo: memFree=26227388/32770624 swapFree=67108860/67108860
[pid=2351] ppid=2348 vsize=10661128 memory=282840 CPUtime=1.64 cores=1,3,5,7
/proc/2351/stat : 2351 (java) S 2348 2351 1613 0 -1 1077944320 10505 0 0 0 157 7 0 0 20 0 15 0 98686230 10916995072 70710 33554432000 4194304 4196468 140722692095568 140722692078112 139950156570359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
/proc/2351/statm: 2665282 70710 3111 1 0 2627263 0
[pid=2351/tid=2353] ppid=2348 vsize=10661128 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/2351/task/2353/stat : 2353 (java) R 2348 2351 1613 0 -1 4202560 5692 0 0 0 62 5 0 0 20 0 15 0 98686230 10916995072 70710 33554432000 4194304 4196468 140722692095568 139950160806896 139949784980530 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2354] ppid=2348 vsize=10661128 memory=756 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2354/stat : 2354 (java) S 2348 2351 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98686231 10916995072 70710 33554432000 4194304 4196468 140722692095568 139950109190416 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2355] ppid=2348 vsize=10661128 memory=14572 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2355/stat : 2355 (java) S 2348 2351 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98686231 10916995072 70710 33554432000 4194304 4196468 140722692095568 139950108137872 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2356] ppid=2348 vsize=10661128 memory=12708 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2356/stat : 2356 (java) S 2348 2351 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98686231 10916995072 70710 33554432000 4194304 4196468 140722692095568 139950107085328 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2357] ppid=2348 vsize=10661128 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2357/stat : 2357 (java) S 2348 2351 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98686231 10916995072 70710 33554432000 4194304 4196468 140722692095568 139950106032784 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2359] ppid=2348 vsize=10661128 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2359/stat : 2359 (java) S 2348 2351 1613 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98686233 10916995072 70710 33554432000 4194304 4196468 140722692095568 139949715683824 139950156581506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2360] ppid=2348 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2360/stat : 2360 (java) S 2348 2351 1613 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98686233 10916995072 70710 33554432000 4194304 4196468 140722692095568 139949714630048 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2361] ppid=2348 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2361/stat : 2361 (java) S 2348 2351 1613 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98686233 10916995072 70710 33554432000 4194304 4196468 140722692095568 139949713577456 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2362] ppid=2348 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2362/stat : 2362 (java) S 2348 2351 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98686236 10916995072 70710 33554432000 4194304 4196468 140722692095568 139949712526032 139950156588955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2363] ppid=2348 vsize=10661128 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/2351/task/2363/stat : 2363 (java) S 2348 2351 1613 0 -1 1077944384 1110 0 0 0 33 0 0 0 20 0 15 0 98686236 10916995072 70710 33554432000 4194304 4196468 140722692095568 139949711472624 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2364] ppid=2348 vsize=10661128 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/2351/task/2364/stat : 2364 (java) S 2348 2351 1613 0 -1 1077944384 861 0 0 0 32 0 0 0 20 0 15 0 98686236 10916995072 70710 33554432000 4194304 4196468 140722692095568 139949710420080 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2365] ppid=2348 vsize=10661128 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/2351/task/2365/stat : 2365 (java) S 2348 2351 1613 0 -1 1077944384 1471 0 0 0 28 0 0 0 20 0 15 0 98686236 10916995072 70710 33554432000 4194304 4196468 140722692095568 139949709367536 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2367] ppid=2348 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2367/stat : 2367 (java) S 2348 2351 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98686236 10916995072 70710 33554432000 4194304 4196468 140722692095568 139949708315232 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2368] ppid=2348 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2368/stat : 2368 (java) S 2348 2351 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98686236 10916995072 70710 33554432000 4194304 4196468 140722692095568 139949707262768 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 282840 KiB

[startup+1.50077 s]
/proc/loadavg: 1.98 1.82 1.67 3/216 2368
/proc/meminfo: memFree=26226644/32770624 swapFree=67108860/67108860
[pid=2351] ppid=2348 vsize=10661128 memory=285144 CPUtime=2.51 cores=1,3,5,7
/proc/2351/stat : 2351 (java) S 2348 2351 1613 0 -1 1077944320 10627 0 0 0 243 8 0 0 20 0 15 0 98686230 10916995072 71286 33554432000 4194304 4196468 140722692095568 140722692078112 139950156570359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
/proc/2351/statm: 2665282 71286 3121 1 0 2627263 0
[pid=2351/tid=2353] ppid=2348 vsize=10661128 memory=282840 CPUtime=1.48 cores=1,3,5,7
/proc/2351/task/2353/stat : 2353 (java) R 2348 2351 1613 0 -1 4202560 5755 0 0 0 142 6 0 0 20 0 15 0 98686230 10916995072 71286 33554432000 4194304 4196468 140722692095568 139950160807320 139949784979560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2354] ppid=2348 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2354/stat : 2354 (java) S 2348 2351 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98686231 10916995072 71286 33554432000 4194304 4196468 140722692095568 139950109190416 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2355] ppid=2348 vsize=10661128 memory=756 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2355/stat : 2355 (java) S 2348 2351 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98686231 10916995072 71286 33554432000 4194304 4196468 140722692095568 139950108137872 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2356] ppid=2348 vsize=10661128 memory=14572 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2356/stat : 2356 (java) S 2348 2351 1613 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98686231 10916995072 71286 33554432000 4194304 4196468 140722692095568 139950107085328 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2357] ppid=2348 vsize=10661128 memory=12708 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2357/stat : 2357 (java) S 2348 2351 1613 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98686231 10916995072 71286 33554432000 4194304 4196468 140722692095568 139950106032784 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2359] ppid=2348 vsize=10661128 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2359/stat : 2359 (java) S 2348 2351 1613 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98686233 10916995072 71286 33554432000 4194304 4196468 140722692095568 139949715683824 139950156581506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0

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

[pid=2351/tid=2367] ppid=2348 vsize=10661128 memory=1812 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2367/stat : 2367 (java) S 2348 2351 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949708315232 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2368] ppid=2348 vsize=10661128 memory=10368 CPUtime=0.15 cores=1,3,5,7
/proc/2351/task/2368/stat : 2368 (java) S 2348 2351 1613 0 -1 1077944384 879 0 0 0 6 9 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949707262768 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
Current children cumulated CPU time: 304.34 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 399888 KiB

[startup+300.001 s]*
/proc/loadavg: 1.55 1.70 1.67 3/215 2374
/proc/meminfo: memFree=26405800/32770624 swapFree=67108860/67108860
[pid=2351] ppid=2348 vsize=10661128 memory=399888 CPUtime=305.15 cores=1,3,5,7
/proc/2351/stat : 2351 (java) S 2348 2351 1613 0 -1 1077944320 36765 0 0 0 30242 273 0 0 20 0 15 0 98686230 10916995072 99972 33554432000 4194304 4196468 140722692095568 140722692078112 139950156570359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
/proc/2351/statm: 2665282 99972 3157 1 0 2627263 0
[pid=2351/tid=2353] ppid=2348 vsize=10661128 memory=1399051139730258233 CPUtime=299.91 cores=1,3,5,7
/proc/2351/task/2353/stat : 2353 (java) R 2348 2351 1613 0 -1 4202560 11917 0 0 0 29983 8 0 0 20 0 15 0 98686230 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950160809776 139949784979490 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2354] ppid=2348 vsize=10661128 memory=4126316290023845779 CPUtime=0.02 cores=1,3,5,7
/proc/2351/task/2354/stat : 2354 (java) S 2348 2351 1613 0 -1 1077944384 1676 0 0 0 2 0 0 0 20 0 15 0 98686231 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950109190416 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2355] ppid=2348 vsize=10661128 memory=2204 CPUtime=0.02 cores=1,3,5,7
/proc/2351/task/2355/stat : 2355 (java) S 2348 2351 1613 0 -1 1077944384 1394 0 0 0 2 0 0 0 20 0 15 0 98686231 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950108137872 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2356] ppid=2348 vsize=10661128 memory=1240 CPUtime=0.02 cores=1,3,5,7
/proc/2351/task/2356/stat : 2356 (java) S 2348 2351 1613 0 -1 1077944384 1130 0 0 0 2 0 0 0 20 0 15 0 98686231 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950107085328 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2357] ppid=2348 vsize=10661128 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2351/task/2357/stat : 2357 (java) S 2348 2351 1613 0 -1 1077944384 1604 0 0 0 2 0 0 0 20 0 15 0 98686231 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950106032784 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2359] ppid=2348 vsize=10661128 memory=0 CPUtime=3.09 cores=1,3,5,7
/proc/2351/task/2359/stat : 2359 (java) S 2348 2351 1613 0 -1 1077944384 1561 0 0 0 56 253 0 0 20 0 15 0 98686233 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949715683824 139950156581506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2360] ppid=2348 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2360/stat : 2360 (java) S 2348 2351 1613 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 98686233 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949714630048 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2361] ppid=2348 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2361/stat : 2361 (java) S 2348 2351 1613 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 98686233 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949713577456 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2362] ppid=2348 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2362/stat : 2362 (java) S 2348 2351 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949712526032 139950156588955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2363] ppid=2348 vsize=10661128 memory=139652540402336 CPUtime=0.68 cores=1,3,5,7
/proc/2351/task/2363/stat : 2363 (java) S 2348 2351 1613 0 -1 1077944384 5464 0 0 0 67 1 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949711472624 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2364] ppid=2348 vsize=10661128 memory=2319670695903506740 CPUtime=0.74 cores=1,3,5,7
/proc/2351/task/2364/stat : 2364 (java) S 2348 2351 1613 0 -1 1077944384 4987 0 0 0 74 0 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949710420080 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2365] ppid=2348 vsize=10661128 memory=3472467931691181744 CPUtime=0.38 cores=1,3,5,7
/proc/2351/task/2365/stat : 2365 (java) S 2348 2351 1613 0 -1 1077944384 4737 0 0 0 38 0 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949709367536 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2367] ppid=2348 vsize=10661128 memory=3471202396320837679 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2367/stat : 2367 (java) S 2348 2351 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949708315232 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2368] ppid=2348 vsize=10661128 memory=3472467948803942064 CPUtime=0.16 cores=1,3,5,7
/proc/2351/task/2368/stat : 2368 (java) S 2348 2351 1613 0 -1 1077944384 879 0 0 0 7 9 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949707262768 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
Current children cumulated CPU time: 305.15 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 399888 KiB

[startup+300.401 s]
/proc/loadavg: 1.55 1.70 1.67 3/215 2374
/proc/meminfo: memFree=26405800/32770624 swapFree=67108860/67108860
[pid=2351] ppid=2348 vsize=10661128 memory=399888 CPUtime=305.54 cores=1,3,5,7
/proc/2351/stat : 2351 (java) S 2348 2351 1613 0 -1 1077944320 36767 0 0 0 30281 273 0 0 20 0 15 0 98686230 10916995072 99972 33554432000 4194304 4196468 140722692095568 140722692078112 139950156570359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
/proc/2351/statm: 2665282 99972 3157 1 0 2627263 0
[pid=2351/tid=2353] ppid=2348 vsize=10661128 memory=1692 CPUtime=300.31 cores=1,3,5,7
/proc/2351/task/2353/stat : 2353 (java) R 2348 2351 1613 0 -1 4202560 11919 0 0 0 30023 8 0 0 20 0 15 0 98686230 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950160809776 139949784979604 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2354] ppid=2348 vsize=10661128 memory=912 CPUtime=0.02 cores=1,3,5,7
/proc/2351/task/2354/stat : 2354 (java) S 2348 2351 1613 0 -1 1077944384 1676 0 0 0 2 0 0 0 20 0 15 0 98686231 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950109190416 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2355] ppid=2348 vsize=10661128 memory=8112282956445269571 CPUtime=0.02 cores=1,3,5,7
/proc/2351/task/2355/stat : 2355 (java) S 2348 2351 1613 0 -1 1077944384 1394 0 0 0 2 0 0 0 20 0 15 0 98686231 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950108137872 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2356] ppid=2348 vsize=10661128 memory=2324 CPUtime=0.02 cores=1,3,5,7
/proc/2351/task/2356/stat : 2356 (java) S 2348 2351 1613 0 -1 1077944384 1130 0 0 0 2 0 0 0 20 0 15 0 98686231 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950107085328 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2357] ppid=2348 vsize=10661128 memory=1584 CPUtime=0.02 cores=1,3,5,7
/proc/2351/task/2357/stat : 2357 (java) S 2348 2351 1613 0 -1 1077944384 1604 0 0 0 2 0 0 0 20 0 15 0 98686231 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950106032784 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2359] ppid=2348 vsize=10661128 memory=496 CPUtime=3.09 cores=1,3,5,7
/proc/2351/task/2359/stat : 2359 (java) S 2348 2351 1613 0 -1 1077944384 1561 0 0 0 56 253 0 0 20 0 15 0 98686233 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949715683824 139950156581506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2360] ppid=2348 vsize=10661128 memory=928 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2360/stat : 2360 (java) S 2348 2351 1613 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 98686233 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949714630048 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2361] ppid=2348 vsize=10661128 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2361/stat : 2361 (java) S 2348 2351 1613 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 98686233 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949713577456 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2362] ppid=2348 vsize=10661128 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2362/stat : 2362 (java) S 2348 2351 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949712526032 139950156588955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2363] ppid=2348 vsize=10661128 memory=4096 CPUtime=0.68 cores=1,3,5,7
/proc/2351/task/2363/stat : 2363 (java) S 2348 2351 1613 0 -1 1077944384 5464 0 0 0 67 1 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949711472624 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2364] ppid=2348 vsize=10661128 memory=1692 CPUtime=0.74 cores=1,3,5,7
/proc/2351/task/2364/stat : 2364 (java) S 2348 2351 1613 0 -1 1077944384 4987 0 0 0 74 0 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949710420080 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2365] ppid=2348 vsize=10661128 memory=912 CPUtime=0.38 cores=1,3,5,7
/proc/2351/task/2365/stat : 2365 (java) S 2348 2351 1613 0 -1 1077944384 4737 0 0 0 38 0 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949709367536 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2367] ppid=2348 vsize=10661128 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2367/stat : 2367 (java) S 2348 2351 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949708315232 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2368] ppid=2348 vsize=10661128 memory=2292 CPUtime=0.16 cores=1,3,5,7
/proc/2351/task/2368/stat : 2368 (java) S 2348 2351 1613 0 -1 1077944384 879 0 0 0 7 9 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949707262768 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
Current children cumulated CPU time: 305.54 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 399888 KiB

[startup+300.801 s]
/proc/loadavg: 1.55 1.70 1.67 3/215 2374
/proc/meminfo: memFree=26405800/32770624 swapFree=67108860/67108860
[pid=2351] ppid=2348 vsize=10661128 memory=399888 CPUtime=305.94 cores=1,3,5,7
/proc/2351/stat : 2351 (java) S 2348 2351 1613 0 -1 1077944320 36767 0 0 0 30321 273 0 0 20 0 15 0 98686230 10916995072 99972 33554432000 4194304 4196468 140722692095568 140722692078112 139950156570359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
/proc/2351/statm: 2665282 99972 3157 1 0 2627263 0
[pid=2351/tid=2353] ppid=2348 vsize=10661128 memory=2204 CPUtime=300.71 cores=1,3,5,7
/proc/2351/task/2353/stat : 2353 (java) R 2348 2351 1613 0 -1 4202560 11919 0 0 0 30063 8 0 0 20 0 15 0 98686230 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950160809776 139949784979766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2354] ppid=2348 vsize=10661128 memory=3360 CPUtime=0.02 cores=1,3,5,7
/proc/2351/task/2354/stat : 2354 (java) S 2348 2351 1613 0 -1 1077944384 1676 0 0 0 2 0 0 0 20 0 15 0 98686231 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950109190416 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2355] ppid=2348 vsize=10661128 memory=2724 CPUtime=0.02 cores=1,3,5,7
/proc/2351/task/2355/stat : 2355 (java) S 2348 2351 1613 0 -1 1077944384 1394 0 0 0 2 0 0 0 20 0 15 0 98686231 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950108137872 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2356] ppid=2348 vsize=10661128 memory=1256 CPUtime=0.02 cores=1,3,5,7
/proc/2351/task/2356/stat : 2356 (java) S 2348 2351 1613 0 -1 1077944384 1130 0 0 0 2 0 0 0 20 0 15 0 98686231 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950107085328 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2357] ppid=2348 vsize=10661128 memory=399888 CPUtime=0.02 cores=1,3,5,7
/proc/2351/task/2357/stat : 2357 (java) S 2348 2351 1613 0 -1 1077944384 1604 0 0 0 2 0 0 0 20 0 15 0 98686231 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950106032784 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2359] ppid=2348 vsize=10661128 memory=912 CPUtime=3.09 cores=1,3,5,7
/proc/2351/task/2359/stat : 2359 (java) S 2348 2351 1613 0 -1 1077944384 1561 0 0 0 56 253 0 0 20 0 15 0 98686233 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949715683824 139950156581506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2360] ppid=2348 vsize=10661128 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2360/stat : 2360 (java) S 2348 2351 1613 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 98686233 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949714630048 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2361] ppid=2348 vsize=10661128 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2361/stat : 2361 (java) S 2348 2351 1613 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 98686233 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949713577456 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2362] ppid=2348 vsize=10661128 memory=12708 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2362/stat : 2362 (java) S 2348 2351 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949712526032 139950156588955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2363] ppid=2348 vsize=10661128 memory=8112282956445269571 CPUtime=0.68 cores=1,3,5,7
/proc/2351/task/2363/stat : 2363 (java) S 2348 2351 1613 0 -1 1077944384 5464 0 0 0 67 1 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949711472624 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2364] ppid=2348 vsize=10661128 memory=28424 CPUtime=0.74 cores=1,3,5,7
/proc/2351/task/2364/stat : 2364 (java) S 2348 2351 1613 0 -1 1077944384 4987 0 0 0 74 0 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949710420080 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2365] ppid=2348 vsize=10661128 memory=399888 CPUtime=0.38 cores=1,3,5,7
/proc/2351/task/2365/stat : 2365 (java) S 2348 2351 1613 0 -1 1077944384 4737 0 0 0 38 0 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949709367536 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2367] ppid=2348 vsize=10661128 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2367/stat : 2367 (java) S 2348 2351 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949708315232 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2368] ppid=2348 vsize=10661128 memory=2724 CPUtime=0.16 cores=1,3,5,7
/proc/2351/task/2368/stat : 2368 (java) S 2348 2351 1613 0 -1 1077944384 879 0 0 0 7 9 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949707262768 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
Current children cumulated CPU time: 305.94 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 399888 KiB

[startup+300.901 s]
/proc/loadavg: 1.55 1.70 1.67 3/215 2374
/proc/meminfo: memFree=26405800/32770624 swapFree=67108860/67108860
[pid=2351] ppid=2348 vsize=10661128 memory=399888 CPUtime=306.04 cores=1,3,5,7
/proc/2351/stat : 2351 (java) S 2348 2351 1613 0 -1 1077944320 36769 0 0 0 30331 273 0 0 20 0 15 0 98686230 10916995072 99972 33554432000 4194304 4196468 140722692095568 140722692078112 139950156570359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
/proc/2351/statm: 2665282 99972 3157 1 0 2627263 0
[pid=2351/tid=2353] ppid=2348 vsize=10661128 memory=397952 CPUtime=300.81 cores=1,3,5,7
/proc/2351/task/2353/stat : 2353 (java) R 2348 2351 1613 0 -1 4202560 11921 0 0 0 30073 8 0 0 20 0 15 0 98686230 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950160809776 139949784979766 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2354] ppid=2348 vsize=10661128 memory=399888 CPUtime=0.02 cores=1,3,5,7
/proc/2351/task/2354/stat : 2354 (java) S 2348 2351 1613 0 -1 1077944384 1676 0 0 0 2 0 0 0 20 0 15 0 98686231 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950109190416 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2355] ppid=2348 vsize=10661128 memory=399888 CPUtime=0.02 cores=1,3,5,7
/proc/2351/task/2355/stat : 2355 (java) S 2348 2351 1613 0 -1 1077944384 1394 0 0 0 2 0 0 0 20 0 15 0 98686231 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950108137872 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2356] ppid=2348 vsize=10661128 memory=399888 CPUtime=0.02 cores=1,3,5,7
/proc/2351/task/2356/stat : 2356 (java) S 2348 2351 1613 0 -1 1077944384 1130 0 0 0 2 0 0 0 20 0 15 0 98686231 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950107085328 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2357] ppid=2348 vsize=10661128 memory=397952 CPUtime=0.02 cores=1,3,5,7
/proc/2351/task/2357/stat : 2357 (java) S 2348 2351 1613 0 -1 1077944384 1604 0 0 0 2 0 0 0 20 0 15 0 98686231 10916995072 99972 33554432000 4194304 4196468 140722692095568 139950106032784 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2359] ppid=2348 vsize=10661128 memory=397952 CPUtime=3.09 cores=1,3,5,7
/proc/2351/task/2359/stat : 2359 (java) S 2348 2351 1613 0 -1 1077944384 1561 0 0 0 56 253 0 0 20 0 15 0 98686233 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949715683824 139950156581506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2360] ppid=2348 vsize=10661128 memory=398472 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2360/stat : 2360 (java) S 2348 2351 1613 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 98686233 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949714630048 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2361] ppid=2348 vsize=10661128 memory=398472 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2361/stat : 2361 (java) S 2348 2351 1613 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 98686233 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949713577456 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2362] ppid=2348 vsize=10661128 memory=399888 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2362/stat : 2362 (java) S 2348 2351 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949712526032 139950156588955 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2363] ppid=2348 vsize=10661128 memory=399888 CPUtime=0.68 cores=1,3,5,7
/proc/2351/task/2363/stat : 2363 (java) S 2348 2351 1613 0 -1 1077944384 5464 0 0 0 67 1 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949711472624 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2364] ppid=2348 vsize=10661128 memory=4140 CPUtime=0.74 cores=1,3,5,7
/proc/2351/task/2364/stat : 2364 (java) S 2348 2351 1613 0 -1 1077944384 4987 0 0 0 74 0 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949710420080 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2365] ppid=2348 vsize=10661128 memory=1256 CPUtime=0.38 cores=1,3,5,7
/proc/2351/task/2365/stat : 2365 (java) S 2348 2351 1613 0 -1 1077944384 4737 0 0 0 38 0 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949709367536 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2367] ppid=2348 vsize=10661128 memory=14572 CPUtime=0 cores=1,3,5,7
/proc/2351/task/2367/stat : 2367 (java) S 2348 2351 1613 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949708315232 139950156580565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
[pid=2351/tid=2368] ppid=2348 vsize=10661128 memory=397952 CPUtime=0.16 cores=1,3,5,7
/proc/2351/task/2368/stat : 2368 (java) S 2348 2351 1613 0 -1 1077944384 879 0 0 0 7 9 0 0 20 0 15 0 98686236 10916995072 99972 33554432000 4194304 4196468 140722692095568 139949707262768 139950156581506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20500480 140722692097162 140722692097289 140722692097289 140722692100047 0
Current children cumulated CPU time: 306.04 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 399888 KiB

Child status: 0
Real time (s): 300.996
CPU time (s): 306.143
CPU user time (s): 303.406
CPU system time (s): 2.73768
CPU usage (%): 101.71
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 399888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 303.406
system time used= 2.73768
maximum resident set size= 402064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37675
page faults= 0
swaps= 0
block input operations= 0
block output operations= 440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8385
involuntary context switches= 211


# summary of solver processes directly reported to runsolver:
#   pid: 2351
#   total CPU time (s): 306.143
#   total CPU user time (s): 303.406
#   total CPU system time (s): 2.73768

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.58713 second user time and 3.11999 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-28 22:53:51
IDJOB=4298495
IDBENCH=141147
IDSOLVER=2767
FILE ID=node136/4298495-1532811231
RUNJOBID= node136-1532809638-1645
PBS_JOBID= 21022480
Free space on /tmp= 55792 MiB

SOLVER NAME= SuperSolver_Macq_Stevenart 2018-04-27
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay200_c18.xml
COMMAND LINE= java -jar DIR/bestMinicp.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298495-1532811231/watcher-4298495-1532811231 -o /tmp/evaluation-result-4298495-1532811231/solver-4298495-1532811231 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532809638-1645 --watchdog 2580  java -jar HOME/bestMinicp.jar HOME/instance-4298495-1532811231.xml

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

MD5SUM BENCH= ef8d95b3b89bfc5ccba73a2d09f74d17
RANDOM SEED=1896077048

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26498952 kB
MemAvailable:   30309588 kB
Buffers:          196456 kB
Cached:          3873988 kB
SwapCached:            0 kB
Active:          3385520 kB
Inactive:        2384352 kB
Active(anon):    1650492 kB
Inactive(anon):    76472 kB
Active(file):    1735028 kB
Inactive(file):  2307880 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:               940 kB
Writeback:             0 kB
AnonPages:       1773768 kB
Mapped:            45560 kB
Shmem:             25228 kB
Slab:             194728 kB
SReclaimable:     167128 kB
SUnreclaim:        27600 kB
KernelStack:        3824 kB
PageTables:        10228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2286964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1710080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 55792 MiB
End job on node136 at 2018-07-28 22:58:52