Trace number 4308676

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)1458346 2520.1 2451.94

General information on the benchmark

NameAuction/Auction-cnt/
Auction-cnt-decay200_c18.xml
MD5SUMb9a88cf563e94a20e010143964b9c3ad
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1458346
Best CPU time to get the best result obtained on this benchmark2520.1
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":"count","count":200}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.55	c version: 2018-08-14
0.67/0.56	c seed: 1319800591
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
3.54/1.97	c Parsing done, starting first complete search...
4.43/2.22	o 0
4.43/2.22	o 7837
4.43/2.22	o 8867
4.43/2.23	o 16704
4.43/2.23	o 22526
4.43/2.23	o 23615
4.43/2.23	o 24686
4.43/2.24	o 31434
4.43/2.24	o 32523
4.43/2.24	o 33300
4.43/2.24	o 41137
4.43/2.25	o 45541
4.43/2.25	o 47782
4.43/2.25	o 52462
4.43/2.25	o 73418
4.43/2.27	o 76886
4.43/2.27	o 90417
4.43/2.27	o 91506
4.43/2.27	o 96186
4.43/2.27	o 116003
4.43/2.27	o 123935
4.43/2.27	o 126902
4.43/2.27	o 130468
4.43/2.27	o 138320
4.43/2.27	o 140388
4.43/2.27	o 143834
4.43/2.28	o 144489
4.43/2.28	o 145902
4.43/2.28	o 150996
4.43/2.28	o 158833
4.43/2.28	o 165744
4.43/2.29	o 166322
4.43/2.29	o 169773
4.43/2.29	o 171377
4.43/2.29	o 172790
4.43/2.29	o 174578
4.43/2.29	o 176819
4.43/2.30	o 177289
4.72/2.30	o 179530
4.72/2.30	o 181598
4.72/2.30	o 182176
4.72/2.30	o 183386
4.72/2.30	o 185627
4.72/2.31	o 191716
4.72/2.31	o 197472
4.72/2.31	o 199713
4.72/2.31	o 201353
4.72/2.31	o 202336
4.72/2.31	o 204577
4.72/2.31	o 205811
4.72/2.31	o 209084
4.72/2.31	o 211325
4.72/2.32	o 212174
4.72/2.32	o 215398
4.72/2.32	o 215654
4.72/2.33	o 217281
4.72/2.33	o 218007
4.72/2.33	o 220248
4.72/2.33	o 221764
4.72/2.33	o 222020
4.72/2.34	o 222420
4.72/2.35	o 223112
4.72/2.35	o 225200
4.72/2.35	o 229604
4.72/2.35	o 229860
4.72/2.35	o 231405
4.72/2.35	o 231632
4.72/2.36	o 236599
4.72/2.38	o 236641
4.72/2.38	o 240083
4.72/2.38	o 245853
4.72/2.38	o 252215
4.72/2.39	o 256955
4.72/2.39	o 257182
4.72/2.39	o 257976
4.72/2.39	o 265114
4.72/2.39	o 266886
5.03/2.43	o 266952
5.03/2.43	o 267208
5.03/2.46	o 267999
5.03/2.46	o 270966
5.03/2.46	o 272803
5.03/2.46	o 276584
5.03/2.46	o 279551
5.03/2.46	o 281191
5.03/2.46	o 281790
5.03/2.46	o 284757
5.33/2.55	o 285571
5.33/2.55	o 287211
5.33/2.56	o 287421
5.33/2.56	o 290388
5.33/2.56	o 292028
5.33/2.56	o 293573
5.33/2.57	o 294472
5.33/2.57	o 294556
5.33/2.57	o 297352
5.33/2.57	o 300918
5.65/2.65	o 301391
5.65/2.65	o 303031
5.65/2.65	o 303115
5.65/2.65	o 303423
5.65/2.65	o 306989
5.65/2.65	o 308629
5.65/2.66	o 308761
5.65/2.66	o 310401
5.65/2.68	o 314024
5.65/2.68	o 314108
5.65/2.69	o 315664
5.65/2.69	o 315748
5.65/2.69	o 317520
5.89/2.72	o 318454
5.89/2.72	o 322020
5.89/2.72	o 323660
5.89/2.76	o 324899
5.89/2.76	o 324983
5.99/2.80	o 325285
5.99/2.80	o 325541
5.99/2.80	o 327086
5.99/2.80	o 332707
5.99/2.81	o 334347
5.99/2.87	o 335815
5.99/2.88	o 342177
6.20/3.06	o 342268
6.30/3.15	o 345617
6.30/3.15	o 346321
6.30/3.15	o 346412
6.39/3.24	o 347187
6.39/3.24	o 348035
6.39/3.24	o 353549
6.39/3.25	o 353915
6.39/3.25	o 354006
6.39/3.25	o 354253
6.39/3.25	o 354344
6.49/3.33	o 356980
6.49/3.33	o 359947
6.49/3.33	o 360038
6.49/3.40	o 361290
6.59/3.40	o 361381
6.59/3.40	o 365164
6.59/3.40	o 365255
6.59/3.40	o 366804
6.59/3.40	o 366895
6.59/3.45	o 367060
6.59/3.45	o 367151
6.59/3.46	o 367633
6.71/3.51	o 370386
6.71/3.52	o 371217
6.71/3.52	o 371308
6.71/3.52	o 376506
6.71/3.52	o 376597
6.71/3.53	o 376651
6.71/3.53	o 376742
6.71/3.53	o 379618
6.71/3.53	o 379709
7.16/3.97	o 384126
7.16/3.97	o 384217
7.16/4.00	o 386853
7.16/4.00	o 389820
7.16/4.00	o 389911
7.63/4.24	o 394697
7.63/4.24	o 394788
7.94/4.52	o 394953
7.94/4.53	o 395044
8.04/4.64	o 398065
8.04/4.64	o 398156
8.34/4.97	o 399348
8.34/4.97	o 399439
8.34/4.97	o 400652
8.34/4.97	o 400743
8.34/4.97	o 400908
8.34/4.97	o 400999
8.34/4.97	o 402680
8.34/4.97	o 402771
8.74/5.39	o 402875
8.84/5.43	o 403240
8.84/5.43	o 406207
10.60/7.18	o 407060
10.60/7.19	o 407642
10.69/7.26	o 407911
10.69/7.26	o 408493
10.69/7.27	o 408496
10.69/7.27	o 409078
10.69/7.27	o 409880
10.69/7.27	o 410287
10.69/7.27	o 410869
10.69/7.27	o 411425
10.80/7.32	o 411841
10.80/7.32	o 414808
10.80/7.32	o 418140
11.90/8.48	o 420900
11.90/8.49	o 421482
12.00/8.52	o 423066
12.00/8.52	o 426398
12.00/8.52	o 426980
15.00/11.57	o 428493
15.80/12.37	o 429555
15.80/12.37	o 431327
15.80/12.37	o 434659
15.90/12.44	o 435241
18.06/14.58	o 436826
18.06/14.58	o 437815
18.06/14.58	o 440158
18.16/14.62	o 440740
19.26/15.78	o 442935
19.26/15.78	o 443924
19.46/15.90	o 446267
28.09/24.51	o 446748
28.39/24.82	o 447338
28.39/24.82	o 447787
28.39/24.82	o 449110
28.39/24.82	o 450099
28.39/24.82	o 451119
28.39/24.82	o 452442
31.10/27.59	o 452986
31.10/27.59	o 454006
31.10/27.59	o 455329
31.20/27.61	o 455778
31.20/27.61	o 457101
44.47/40.89	o 458027
44.57/40.91	o 458609
45.17/41.58	o 459040
45.17/41.58	o 460186
45.17/41.58	o 461283
45.17/41.58	o 461509
45.17/41.58	o 462606
45.17/41.58	o 462664
45.17/41.58	o 463761
45.47/41.81	o 466084
45.47/41.81	o 467181
45.47/41.82	o 467650
45.47/41.82	o 469441
45.47/41.82	o 470538
45.47/41.88	o 471001
45.47/41.88	o 472098
45.47/41.88	o 472773
45.47/41.88	o 473870
46.07/42.44	o 473930
46.07/42.48	o 474264
46.07/42.48	o 474939
46.07/42.48	o 476036
46.17/42.52	o 478271
46.17/42.52	o 479368
52.58/48.99	o 479378
57.68/54.02	o 479824
57.68/54.03	o 480942
57.68/54.03	o 482450
57.68/54.03	o 483830
57.68/54.03	o 485338
63.28/59.69	o 485896
63.28/59.69	o 485906
63.49/59.82	o 485948
63.49/59.82	o 485958
63.49/59.82	o 487456
63.49/59.82	o 487466
63.49/59.83	o 487720
63.49/59.83	o 487730
63.49/59.83	o 489228
63.49/59.84	o 489238
86.51/82.82	o 490701
86.51/82.82	o 490711
87.61/84.00	o 491149
87.61/84.01	o 491159
87.72/84.09	o 491638
87.72/84.09	o 491648
87.82/84.11	o 492246
87.82/84.11	o 492256
95.52/91.80	o 492932
95.52/91.80	o 492942
96.92/93.22	o 494306
96.92/93.22	o 494316
97.02/93.31	o 495291
97.02/93.31	o 495301
97.02/93.32	o 496836
97.02/93.32	o 496846
98.73/95.03	o 497100
98.73/95.03	o 497110
98.73/95.03	o 498608
98.73/95.03	o 498618
100.92/97.29	o 498659
100.92/97.29	o 498669
100.92/97.29	o 500167
100.92/97.29	o 500177
100.92/97.29	o 505681
100.92/97.29	o 505691
101.02/97.30	o 506144
101.02/97.30	o 506154
101.02/97.30	o 507916
101.02/97.30	o 507926
101.02/97.31	o 509013
101.02/97.31	o 509023
110.42/106.73	o 509262
110.42/106.73	o 509272
110.42/106.73	o 512828
110.42/106.73	o 512838
110.42/106.73	o 516160
110.42/106.73	o 516170
112.33/108.61	o 516424
112.33/108.61	o 517932
112.33/108.61	o 517942
116.88/113.11	o 520387
116.88/113.11	o 521895
116.88/113.11	o 521905
117.07/113.34	o 522570
117.07/113.34	o 522580
117.07/113.34	o 523667
117.07/113.34	o 523677
156.92/153.18	o 524599
156.92/153.18	o 524609
206.23/202.50	o 525162
208.33/204.55	o 526239
208.33/204.55	o 527562
208.33/204.55	o 528494
257.16/253.31	c First complete search done, starting ALNS search...
259.00/254.67	o 529236
259.00/254.68	o 529733
259.25/254.90	o 530273
259.25/254.90	o 530560
259.50/254.90	o 531009
259.50/254.90	o 533063
259.50/254.90	o 533665
259.50/254.90	o 533952
259.50/254.91	o 534075
259.50/254.91	o 534362
259.50/254.91	o 534399
259.50/254.91	o 537467
259.50/254.92	o 537754
259.50/254.92	o 538069
259.50/254.92	o 538356
259.50/254.92	o 540123
259.50/254.92	o 540725
259.50/254.92	o 541012
259.50/254.93	o 541087
259.50/254.93	o 541402
259.50/254.93	o 541689
259.50/254.93	o 541812
259.50/254.93	o 542414
259.50/254.93	o 545204
259.50/254.93	o 545806
259.50/254.93	o 547860
259.50/254.94	o 548462
259.50/254.94	o 548749
259.50/254.95	o 550133
259.50/254.95	o 550735
259.50/254.95	o 551022
259.50/254.95	o 551326
259.50/254.95	o 551613
259.50/254.95	o 551928
259.50/254.95	o 552215
259.50/254.96	o 552854
259.50/254.96	o 553456
259.50/254.96	o 553664
259.50/254.96	o 554266
259.50/254.96	o 555092
259.50/254.96	o 557935
259.50/254.96	o 560591
259.50/254.96	o 561193
259.50/254.96	o 561480
259.50/254.97	o 561603
259.50/254.97	o 564995
259.50/254.97	o 565597
259.50/254.97	o 565884
259.50/254.97	o 567651
259.50/254.97	o 568253
259.50/254.97	o 568540
259.50/254.98	o 568728
259.50/254.98	o 569015
259.50/254.98	o 571384
259.50/254.98	o 571671
259.50/254.98	o 571986
259.50/254.98	o 572273
259.50/254.99	o 573454
259.50/254.99	o 573951
259.50/254.99	o 574056
259.50/254.99	o 574553
259.50/255.00	o 575015
259.50/255.00	o 575617
259.50/255.00	o 576781
259.50/255.00	o 577122
259.50/255.00	o 577858
259.50/255.00	o 580514
259.50/255.00	o 581116
259.50/255.01	o 581613
259.75/255.07	o 582820
259.75/255.08	o 583317
259.75/255.09	o 583422
259.75/255.09	o 583919
259.90/255.13	o 584165
259.90/255.14	o 584767
259.90/255.14	o 585264
259.99/255.20	o 586717
259.99/255.20	o 587214
259.99/255.20	o 587319
259.99/255.20	o 587816
259.99/255.21	o 589023
259.99/255.21	o 589625
259.99/255.21	o 590122
259.99/255.26	o 590338
259.99/255.26	o 590835
259.99/255.26	o 590987
259.99/255.26	o 591121
259.99/255.26	o 591723
259.99/255.26	o 593777
259.99/255.26	o 594379
259.99/255.26	o 594876
259.99/255.27	o 596083
259.99/255.27	o 596580
259.99/255.27	o 596685
259.99/255.27	o 597182
260.09/255.35	o 597371
260.09/255.35	o 597385
260.09/255.35	o 597987
260.09/255.35	o 598484
260.09/255.35	o 598578
260.09/255.35	o 599075
260.09/255.35	o 599180
260.09/255.35	o 599677
260.19/255.45	o 600783
260.19/255.46	o 601385
260.19/255.46	o 601882
260.19/255.47	o 601993
260.19/255.47	o 602098
260.19/255.47	o 602595
260.19/255.47	o 602881
260.19/255.48	o 603483
260.19/255.48	o 605537
260.19/255.48	o 606139
260.19/255.48	o 606636
260.19/255.48	o 607843
260.19/255.48	o 608340
260.19/255.48	o 608445
260.19/255.48	o 608942
260.41/255.61	o 609134
260.95/256.11	o 609141
260.95/256.11	o 609333
260.95/256.11	o 609638
260.95/256.12	o 609830
260.95/256.15	o 609886
260.95/256.15	o 610488
260.95/256.15	o 610985
260.95/256.15	o 612542
260.95/256.15	o 613039
260.95/256.15	o 613144
260.95/256.15	o 613641
260.95/256.15	o 613833
261.05/256.27	o 615332
261.05/256.27	o 616142
261.05/256.27	o 617029
261.05/256.27	o 617839
261.05/256.27	o 618394
261.05/256.27	o 619204
261.05/256.27	o 620377
261.05/256.28	o 621187
261.05/256.28	o 621447
261.05/256.28	o 621695
261.05/256.28	o 622318
261.05/256.28	o 623683
261.05/256.28	o 624976
261.05/256.28	o 626341
261.05/256.28	o 626959
261.05/256.28	o 628324
261.05/256.28	o 628584
261.05/256.28	o 629134
261.05/256.28	o 629394
261.53/256.68	o 629407
261.53/256.68	o 629803
261.53/256.68	o 630082
261.53/256.68	o 632065
261.53/256.68	o 632461
261.53/256.68	o 632685
261.53/256.68	o 633081
261.53/256.68	o 634668
261.53/256.68	o 635064
261.53/256.68	o 635498
261.53/256.69	o 636895
261.53/256.69	o 636950
261.53/256.69	o 639553
261.53/256.69	o 641536
261.53/256.69	o 641932
261.53/256.69	o 642117
261.53/256.69	o 644720
261.53/256.69	o 645116
261.53/256.69	o 646703
261.53/256.69	o 647099
261.53/256.70	o 647275
261.64/256.70	o 648672
261.64/256.70	o 648727
261.64/256.70	o 651330
261.64/256.70	o 653313
261.64/256.70	o 653709
261.64/256.71	o 654924
261.64/256.71	o 655320
261.64/256.71	o 655420
261.64/256.71	o 655475
261.64/256.71	o 658078
261.64/256.72	o 658474
261.64/256.72	o 660061
261.64/256.72	o 660457
261.64/256.75	o 661079
261.64/256.75	o 661475
261.64/256.75	o 663062
261.64/256.75	o 663458
261.64/256.76	o 663577
261.64/256.76	o 665560
261.64/256.76	o 665956
261.77/256.82	o 666183
261.77/256.82	o 666579
261.77/256.82	o 667294
261.77/256.82	o 668509
261.77/256.82	o 669184
261.77/256.82	o 671167
261.77/256.82	o 672793
261.77/256.82	o 673189
261.77/256.83	o 673308
261.77/256.83	o 673704
261.77/256.83	o 675291
261.77/256.83	o 675687
261.77/256.87	o 675923
261.77/256.87	o 676319
261.77/256.89	o 676344
261.77/256.89	o 678327
261.77/256.89	o 678947
261.77/256.89	o 680930
261.77/256.89	o 681326
261.77/256.89	o 681843
261.77/256.90	o 682820
261.88/256.90	o 684446
261.88/256.90	o 684842
261.88/256.90	o 685199
261.88/256.90	o 686429
261.88/256.90	o 686825
261.88/256.90	o 686944
261.88/256.90	o 688927
261.88/256.90	o 689323
261.88/256.96	o 690359
261.88/256.96	o 690755
262.00/257.05	o 690845
262.00/257.05	o 691202
262.00/257.05	o 692828
262.00/257.05	o 694260
262.00/257.05	o 694656
262.00/257.07	o 694775
262.00/257.08	o 695171
262.00/257.08	o 695326
262.00/257.08	o 696758
262.00/257.08	o 697154
262.18/257.11	o 697284
262.18/257.11	o 698320
262.18/257.11	o 698716
262.18/257.13	o 698799
262.18/257.14	o 699195
262.18/257.15	o 699865
262.18/257.15	o 701297
262.18/257.15	o 701693
262.38/257.36	o 701722
262.38/257.36	o 702118
262.38/257.36	o 702937
262.38/257.36	o 704163
262.38/257.36	o 705595
262.38/257.36	o 705991
262.38/257.36	o 706185
262.38/257.36	o 707221
262.38/257.36	o 707617
262.38/257.37	o 707736
262.38/257.37	o 708287
262.38/257.37	o 709719
262.38/257.37	o 710115
262.48/257.43	o 710245
262.48/257.43	o 711281
262.48/257.43	o 711677
262.48/257.43	o 712826
262.48/257.43	o 714258
262.48/257.43	o 714654
262.59/257.53	o 715188
262.59/257.53	o 715584
262.59/257.53	o 715691
262.59/257.53	o 717674
262.59/257.54	o 718070
262.59/257.54	o 719815
262.59/257.54	o 720211
262.59/257.54	o 721798
262.59/257.54	o 722194
262.59/257.57	o 723360
262.59/257.57	o 723756
262.59/257.57	o 726337
262.59/257.57	o 726733
262.69/257.65	o 727297
262.69/257.65	o 727693
262.69/257.68	o 728859
262.69/257.68	o 729255
262.79/257.70	o 731836
262.79/257.70	o 732232
262.89/257.84	o 732438
262.89/257.84	o 734183
262.89/257.84	o 736166
262.89/257.84	o 736562
263.00/257.98	o 736653
263.00/257.98	o 736703
263.00/257.98	o 739058
263.00/257.98	o 739454
263.00/257.98	o 740156
263.00/257.98	o 740552
263.00/257.98	o 740602
263.00/257.98	o 741233
263.00/257.98	o 741283
263.00/257.98	o 741629
263.00/257.99	o 741679
263.00/257.99	o 742040
263.00/257.99	o 743117
263.00/257.99	o 743138
263.00/257.99	o 744215
263.00/257.99	o 744611
263.00/257.99	o 745607
263.00/257.99	o 746003
263.00/257.99	o 747167
263.00/257.99	o 748265
263.00/257.99	o 748661
263.00/258.00	o 748804
263.00/258.00	o 751066
263.00/258.00	o 751462
263.00/258.00	o 752164
263.00/258.00	o 752560
263.00/258.00	o 753241
263.00/258.00	o 753637
263.00/258.00	o 753687
263.00/258.00	o 754017
263.19/258.01	o 754160
263.19/258.01	o 756818
263.19/258.01	o 757916
263.19/258.01	o 758993
263.19/258.01	o 759043
263.19/258.01	o 759389
263.19/258.01	o 759439
263.19/258.01	o 759468
263.19/258.02	o 760545
263.19/258.02	o 760941
263.19/258.02	o 760991
263.19/258.02	o 761294
263.19/258.02	o 761470
263.19/258.02	o 762568
263.19/258.02	o 762964
263.19/258.02	o 764128
263.19/258.02	o 764524
263.19/258.02	o 765226
263.19/258.02	o 765622
263.19/258.02	o 766303
263.19/258.03	o 766699
263.19/258.03	o 766749
263.19/258.03	o 766828
263.19/258.03	o 767926
263.19/258.03	o 768304
263.19/258.03	o 768675
263.19/258.03	o 770345
263.19/258.03	o 771333
263.19/258.03	o 773003
263.19/258.04	o 774101
263.19/258.04	o 775178
263.19/258.05	o 775574
263.19/258.05	o 775624
263.19/258.07	o 778472
263.19/258.07	o 778868
263.19/258.07	o 779570
263.19/258.07	o 779966
263.19/258.07	o 780647
263.19/258.07	o 781043
263.19/258.07	o 781161
263.19/258.08	o 782683
263.19/258.08	o 784224
263.19/258.08	o 785322
263.19/258.08	o 786399
263.19/258.08	o 786795
263.19/258.09	o 786913
263.19/258.09	o 787458
263.19/258.09	o 788001
263.19/258.09	o 789982
263.19/258.09	o 791080
263.19/258.09	o 792157
263.19/258.09	o 792553
263.19/258.10	o 792729
263.19/258.10	o 793125
263.19/258.10	o 793827
263.19/258.10	o 794223
263.19/258.10	o 795274
263.19/258.10	o 795670
263.30/258.11	o 795846
263.30/258.11	o 795867
263.30/258.11	o 796944
263.30/258.11	o 797340
263.30/258.12	o 798374
263.30/258.12	o 798770
263.30/258.13	o 798967
263.30/258.13	o 800044
263.30/258.13	o 800440
263.30/258.13	o 801032
263.30/258.13	o 801428
263.30/258.14	o 801625
263.30/258.14	o 802702
263.30/258.14	o 803098
263.30/258.16	o 803148
263.39/258.20	o 803326
263.39/258.20	o 803376
263.39/258.21	o 804414
263.39/258.21	o 804435
263.39/258.21	o 805512
263.39/258.21	o 805908
263.39/258.21	o 806972
263.39/258.21	o 808070
263.39/258.21	o 808466
263.39/258.21	o 809147
263.39/258.21	o 809543
263.39/258.21	o 809630
263.39/258.21	o 810728
263.39/258.21	o 811805
263.39/258.21	o 812201
263.39/258.22	o 812251
263.91/258.61	o 812273
263.91/258.61	o 812280
263.91/258.61	o 812364
264.01/258.73	o 812501
264.01/258.73	o 812592
264.01/258.73	o 814423
264.01/258.73	o 814514
264.01/258.73	o 814558
264.01/258.73	o 814649
264.01/258.73	o 814819
264.01/258.73	o 814954
264.01/258.73	o 815045
264.01/258.73	o 815116
264.01/258.73	o 815421
264.01/258.73	o 815512
264.01/258.73	o 815556
264.01/258.73	o 815647
264.01/258.74	o 815731
264.14/258.87	o 815746
264.14/258.87	o 817063
264.14/258.87	o 817459
264.14/258.87	o 817550
264.14/258.87	o 817665
264.14/258.87	o 817756
264.14/258.88	o 818061
264.14/258.88	o 818152
264.14/258.88	o 818236
264.14/258.88	o 818457
264.14/258.88	o 818541
264.14/258.89	o 818607
264.14/258.89	o 819351
264.14/258.89	o 819953
264.14/258.89	o 821273
264.14/258.89	o 821875
264.14/258.89	o 822271
264.14/258.89	o 822355
264.14/258.89	o 822362
264.14/258.89	o 822446
264.14/258.89	o 823080
264.14/258.89	o 823682
264.14/258.89	o 823773
264.14/258.89	o 824078
264.14/258.90	o 824169
264.14/258.90	o 824253
264.23/258.90	o 824559
264.23/258.90	o 824955
264.23/258.90	o 825039
264.23/258.90	o 825849
264.23/258.90	o 826451
264.23/258.90	o 826535
264.23/258.90	o 827771
264.23/258.90	o 827855
264.23/258.90	o 828373
264.23/258.90	o 828457
264.23/258.91	o 828769
264.23/258.91	o 828853
264.23/258.91	o 828860
264.23/258.91	o 828944
264.34/259.06	o 830094
264.34/259.06	o 830696
264.34/259.06	o 831092
264.34/259.06	o 831183
264.34/259.06	o 831227
264.34/259.06	o 831318
264.34/259.07	o 831402
264.34/259.09	o 832042
264.34/259.09	o 832644
264.34/259.09	o 833040
264.34/259.09	o 833124
264.34/259.09	o 833175
264.34/259.09	o 833259
264.34/259.09	o 833266
264.34/259.09	o 833350
264.44/259.17	o 833385
264.44/259.17	o 833469
264.44/259.17	o 833525
264.44/259.17	o 833695
264.44/259.17	o 833786
264.44/259.17	o 833830
264.44/259.17	o 833921
264.44/259.17	o 834619
264.44/259.17	o 834754
264.44/259.17	o 835015
264.44/259.17	o 835150
264.44/259.18	o 835221
264.44/259.18	o 835617
264.44/259.18	o 835752
264.44/259.18	o 835843
264.44/259.18	o 835927
264.53/259.27	o 836567
264.53/259.27	o 836702
264.53/259.27	o 836963
264.53/259.27	o 837098
264.53/259.27	o 837189
264.53/259.27	o 837273
264.53/259.27	o 837565
264.53/259.27	o 837656
264.53/259.27	o 837740
264.53/259.27	o 837784
264.53/259.27	o 837791
264.53/259.27	o 837875
264.83/259.42	o 838146
264.83/259.42	o 838237
264.83/259.43	o 838281
264.83/259.43	o 838372
264.83/259.43	o 838487
264.83/259.43	o 838748
264.83/259.43	o 838883
264.83/259.43	o 838974
264.83/259.43	o 839058
264.93/259.50	o 839061
264.93/259.50	o 839333
264.93/259.51	o 839935
264.93/259.51	o 840026
264.93/259.51	o 841255
264.93/259.51	o 841346
264.93/259.51	o 841857
264.93/259.51	o 841948
264.93/259.51	o 842032
264.93/259.51	o 842253
264.93/259.51	o 842337
264.93/259.51	o 842344
264.93/259.51	o 842428
264.93/259.55	o 843578
264.93/259.55	o 843669
264.93/259.55	o 844180
264.93/259.55	o 844271
264.93/259.55	o 844315
264.93/259.55	o 844406
264.93/259.55	o 844576
264.93/259.55	o 844711
264.93/259.55	o 844802
264.93/259.55	o 844886
264.93/259.56	o 845526
264.93/259.56	o 845617
264.93/259.56	o 846128
264.93/259.56	o 846219
264.93/259.56	o 846303
264.93/259.56	o 846524
264.93/259.56	o 846608
264.93/259.56	o 846615
264.93/259.56	o 846699
264.93/259.56	o 846750
264.93/259.56	o 846834
265.85/260.45	o 855703
265.85/260.45	o 857944
266.63/260.91	o 861171
266.63/260.91	o 863412
266.63/260.91	o 866609
266.63/260.91	o 868029
266.63/260.91	o 868850
266.63/260.91	o 870270
266.63/260.91	o 871178
266.63/260.91	o 873419
266.63/260.91	o 874839
266.63/260.91	o 876426
266.63/260.91	o 877097
266.63/260.92	o 877556
266.63/260.92	o 881714
266.63/260.92	o 883955
266.63/260.92	o 885542
266.63/260.92	o 885614
266.63/260.92	o 887201
266.63/260.92	o 887855
266.63/260.92	o 889442
266.63/260.92	o 890993
266.63/260.92	o 892580
266.63/260.93	o 894893
266.63/260.93	o 896480
266.63/260.93	o 897134
266.63/260.93	o 898721
276.39/270.38	o 899218
276.39/270.38	o 902612
276.39/270.39	o 903109
276.39/270.39	o 903544
276.39/270.39	o 904041
276.39/270.39	o 907500
276.39/270.39	o 908432
276.39/270.39	o 908929
277.37/271.28	o 910192
277.37/271.28	o 912379
277.37/271.28	o 916448
277.37/271.28	o 924270
277.37/271.28	o 926457
277.37/271.28	o 928440
277.49/271.31	o 933791
277.49/271.31	o 933801
277.49/271.31	o 934143
277.49/271.31	o 934153
277.49/271.32	o 937455
277.49/271.32	o 937807
277.49/271.32	o 937817
281.42/275.17	o 938282
281.42/275.18	o 938733
281.42/275.18	o 940600
281.42/275.18	o 947748
281.42/275.18	o 949615
285.10/278.75	o 950363
285.10/278.75	o 951445
285.10/278.75	o 958303
285.10/278.75	o 959235
288.55/282.07	o 961434
288.55/282.07	o 961525
288.55/282.07	o 961997
288.55/282.07	o 963610
288.55/282.07	o 968179
288.55/282.07	o 970469
288.55/282.08	o 970560
289.39/282.85	o 971673
289.39/282.85	o 972025
289.39/282.85	o 972156
289.39/282.85	o 972508
289.39/282.85	o 974409
289.39/282.86	o 976596
289.39/282.86	o 976948
289.39/282.86	o 977363
289.39/282.86	o 977715
289.39/282.87	o 978941
289.39/282.87	o 981128
289.39/282.87	o 981480
289.39/282.87	o 981522
289.39/282.88	o 981874
289.39/282.88	o 981969
289.39/282.88	o 982321
289.39/282.88	o 984156
289.39/282.88	o 984508
289.39/282.88	o 985722
289.39/282.88	o 986169
289.39/282.88	o 988356
289.39/282.88	o 988708
290.16/283.58	o 989652
290.16/283.58	o 989662
290.16/283.58	o 990584
290.16/283.59	o 990594
290.16/283.59	o 991380
290.16/283.59	o 994348
290.16/283.59	o 995280
290.16/283.59	o 995290
290.39/283.75	o 995397
290.39/283.75	o 995407
290.39/283.75	o 995793
290.39/283.75	o 995803
290.39/283.75	o 995928
290.39/283.75	o 995938
290.39/283.79	o 996255
290.39/283.79	o 996651
290.39/283.80	o 996752
290.50/283.80	o 997148
290.50/283.81	o 998957
290.50/283.82	o 999454
290.50/283.82	o 1000824
290.50/283.82	o 1001321
290.50/283.82	o 1001717
290.50/283.82	o 1001852
290.50/283.82	o 1001862
290.50/283.84	o 1002152
290.50/283.84	o 1002287
290.50/283.84	o 1002297
290.50/283.84	o 1002649
290.50/283.84	o 1002659
290.50/283.84	o 1002784
290.50/283.84	o 1002794
290.61/283.92	o 1004025
290.61/283.92	o 1006266
290.61/283.93	o 1007758
290.61/283.93	o 1009999
291.47/284.74	o 1010119
291.61/284.80	o 1015303
291.61/284.80	o 1019013
291.61/284.83	o 1019787
291.61/284.83	o 1021709
291.61/284.83	o 1024512
291.61/284.83	o 1026434
291.61/284.88	o 1027229
291.61/284.89	o 1028384
291.61/284.89	o 1031652
291.61/284.89	o 1033839
291.61/284.89	o 1034994
291.61/284.89	o 1035129
291.72/284.92	o 1036403
291.72/284.92	o 1036487
291.72/284.93	o 1036494
291.72/284.93	o 1036578
291.72/284.93	o 1036588
291.72/284.94	o 1039168
291.72/284.94	o 1039259
291.72/284.94	o 1039269
291.72/284.94	o 1041458
291.72/284.95	o 1041468
291.72/284.96	o 1041549
291.72/284.96	o 1041559
291.72/284.96	o 1041568
291.72/284.96	o 1043068
291.72/284.96	o 1043159
291.72/284.97	o 1045358
291.72/284.97	o 1045449
291.72/284.97	o 1045459
291.72/284.98	o 1045533
291.72/284.98	o 1045543
291.72/285.00	o 1045960
291.72/285.00	o 1046051
291.83/285.01	o 1046135
291.83/285.01	o 1046145
291.83/285.01	o 1047545
291.83/285.01	o 1047636
291.83/285.01	o 1047720
291.83/285.01	o 1048147
291.83/285.01	o 1048231
291.83/285.02	o 1048238
291.83/285.02	o 1048322
291.83/285.02	o 1048332
292.74/285.95	o 1048560
292.74/285.95	o 1050850
292.74/285.96	o 1053448
292.74/285.96	o 1055738
292.74/285.96	o 1057014
292.74/285.96	o 1059304
304.97/297.85	o 1060257
304.97/297.86	o 1060360
304.97/297.86	o 1061470
304.97/297.86	o 1062547
304.97/297.89	o 1063292
304.97/297.89	o 1064104
304.97/297.89	o 1064369
304.97/297.89	o 1065181
305.08/297.94	o 1066233
305.08/297.94	o 1066626
305.08/297.95	o 1068493
305.08/297.95	o 1070133
305.60/298.44	o 1070414
305.60/298.44	o 1071095
305.60/298.44	o 1071491
305.60/298.44	o 1071501
305.60/298.45	o 1071593
305.60/298.45	o 1071603
305.60/298.45	o 1072438
305.60/298.45	o 1073515
305.60/298.45	o 1073525
305.60/298.45	o 1073911
305.60/298.46	o 1073921
305.60/298.46	o 1074061
305.60/298.46	o 1075138
305.60/298.46	o 1075534
305.60/298.46	o 1075774
305.60/298.46	o 1076142
305.60/298.46	o 1077668
305.60/298.46	o 1078064
305.60/298.47	o 1078745
305.60/298.47	o 1079141
305.60/298.47	o 1079151
305.71/298.51	o 1079254
305.71/298.51	o 1080331
305.71/298.51	o 1080804
305.71/298.51	o 1081881
305.71/298.51	o 1082277
305.71/298.54	o 1082376
305.71/298.54	o 1082772
305.71/298.54	o 1083847
305.71/298.55	o 1084112
305.71/298.55	o 1086034
305.71/298.55	o 1086430
305.71/298.55	o 1087111
305.71/298.55	o 1087507
305.82/298.61	o 1087943
305.82/298.61	o 1088753
305.82/298.61	o 1093820
305.82/298.61	o 1094630
305.82/298.61	o 1095127
305.82/298.65	o 1096253
305.82/298.65	o 1096344
305.93/298.77	o 1096901
305.93/298.77	o 1097297
306.27/299.06	o 1099428
306.27/299.06	o 1100030
306.27/299.06	o 1100969
306.27/299.06	o 1101491
306.27/299.07	o 1103554
306.27/299.07	o 1107368
306.27/299.07	o 1107970
306.27/299.07	o 1108366
322.71/315.16	o 1112343
322.71/315.16	o 1112840
322.71/315.16	o 1112924
342.56/334.65	o 1113242
342.56/334.65	o 1113638
342.56/334.66	o 1114365
342.56/334.66	o 1114761
342.67/334.78	o 1115463
342.67/334.78	o 1115859
342.67/334.78	o 1116696
342.67/334.78	o 1117244
342.67/334.78	o 1119111
342.67/334.79	o 1119431
342.67/334.79	o 1121298
342.67/334.79	o 1121694
342.77/334.83	o 1122421
342.77/334.83	o 1122817
342.77/334.87	o 1122973
342.77/334.87	o 1123293
342.77/334.87	o 1125160
342.77/334.87	o 1125556
342.77/334.89	o 1126283
342.77/334.89	o 1126679
342.87/334.94	o 1128022
342.87/334.94	o 1128624
342.87/334.94	o 1131755
342.87/334.94	o 1132357
342.87/334.94	o 1135655
342.87/334.94	o 1136257
343.00/335.06	o 1136482
343.00/335.06	o 1136834
343.00/335.06	o 1136925
343.00/335.06	o 1137414
343.00/335.06	o 1137505
343.00/335.07	o 1137766
343.00/335.07	o 1137857
343.10/335.14	o 1138178
343.10/335.14	o 1138199
343.10/335.14	o 1138321
343.10/335.14	o 1138779
343.10/335.14	o 1139131
343.10/335.17	o 1139222
343.10/335.17	o 1139381
343.10/335.18	o 1139472
343.10/335.18	o 1139733
343.10/335.18	o 1139824
343.19/335.21	o 1140040
343.19/335.22	o 1141208
343.19/335.22	o 1142357
343.19/335.22	o 1144042
343.19/335.22	o 1145964
344.15/336.16	o 1146456
364.41/355.95	o 1147295
364.41/355.95	o 1147430
364.41/355.95	o 1148227
364.41/355.95	o 1148362
364.41/355.97	o 1148773
364.41/355.97	o 1148830
364.41/355.97	o 1149762
364.41/355.97	o 1153718
364.41/355.97	o 1154650
364.41/355.98	o 1154785
369.02/360.49	o 1156275
371.69/363.07	o 1156594
371.69/363.07	o 1156946
371.69/363.07	o 1157081
371.69/363.08	o 1157196
371.69/363.08	o 1157331
371.69/363.08	o 1157548
371.69/363.08	o 1157683
371.79/363.13	o 1160356
371.79/363.13	o 1162930
371.79/363.13	o 1166496
371.79/363.18	o 1168285
373.01/364.37	o 1168320
373.01/364.37	o 1168435
373.01/364.38	o 1168831
373.01/364.38	o 1168922
373.11/364.43	o 1168950
373.11/364.43	o 1169292
373.11/364.43	o 1169383
373.11/364.43	o 1169622
373.11/364.43	o 1170224
373.11/364.44	o 1170315
373.11/364.44	o 1170612
373.11/364.44	o 1170703
373.11/364.44	o 1171544
373.11/364.44	o 1171635
373.11/364.44	o 1172146
373.11/364.44	o 1172237
373.11/364.44	o 1172542
373.11/364.44	o 1172633
373.11/364.44	o 1172784
373.11/364.44	o 1173522
373.11/364.44	o 1174124
373.11/364.44	o 1174512
373.11/364.44	o 1175444
373.11/364.44	o 1176046
373.11/364.45	o 1176442
373.11/364.45	o 1176533
373.21/364.58	o 1177033
373.32/364.68	o 1177097
374.11/365.32	o 1179432
374.11/365.32	o 1179929
374.11/365.32	o 1180064
378.11/369.29	o 1180182
378.11/369.29	o 1181114
378.11/369.29	o 1181544
378.21/369.30	o 1182369
378.21/369.30	o 1182611
378.21/369.30	o 1186269
378.21/369.33	o 1187201
388.28/379.18	o 1187742
391.78/382.58	o 1188488
391.78/382.58	o 1188612
391.78/382.58	o 1189565
391.78/382.58	o 1189649
391.78/382.58	o 1190502
391.78/382.58	o 1191579
391.78/382.58	o 1191663
391.78/382.58	o 1192532
391.78/382.58	o 1192616
391.98/382.78	o 1196033
397.31/387.97	o 1196104
397.31/387.97	o 1197181
397.42/388.03	o 1197570
397.42/388.03	o 1198067
397.42/388.03	o 1198662
397.42/388.03	o 1202269
397.42/388.03	o 1202766
398.04/388.66	o 1203578
398.04/388.66	o 1204914
398.04/388.66	o 1207101
398.04/388.66	o 1208466
398.04/388.68	o 1208611
398.04/388.68	o 1209564
406.27/396.63	o 1209579
406.27/396.64	o 1209663
406.89/397.29	o 1210027
406.89/397.29	o 1210118
406.89/397.30	o 1210238
406.89/397.30	o 1210360
406.99/397.30	o 1211170
406.99/397.30	o 1211458
406.99/397.30	o 1212268
406.99/397.30	o 1212359
406.99/397.30	o 1212443
406.99/397.30	o 1212502
406.99/397.30	o 1213221
406.99/397.30	o 1213312
406.99/397.30	o 1213396
413.86/404.07	o 1213666
413.86/404.07	o 1213757
413.86/404.07	o 1213954
413.86/404.07	o 1214764
413.86/404.07	o 1214855
413.86/404.07	o 1214939
413.86/404.07	o 1214998
413.86/404.07	o 1215717
413.86/404.07	o 1215808
413.86/404.07	o 1215892
416.03/406.15	o 1216089
416.03/406.15	o 1216430
416.03/406.15	o 1216863
416.03/406.15	o 1217795
416.03/406.15	o 1218672
416.03/406.15	o 1219011
416.03/406.15	o 1219278
416.03/406.15	o 1220376
416.03/406.15	o 1221465
416.03/406.15	o 1222563
416.03/406.15	o 1223495
416.33/406.47	o 1223913
416.43/406.59	o 1224444
416.43/406.59	o 1224727
416.43/406.59	o 1226092
416.43/406.59	o 1227024
416.53/406.65	o 1227264
416.53/406.65	o 1228196
416.53/406.65	o 1229451
416.53/406.65	o 1230383
416.53/406.66	o 1230816
416.53/406.66	o 1231748
416.53/406.67	o 1231914
416.53/406.67	o 1232846
416.84/406.96	o 1232981
417.78/407.86	o 1234178
417.78/407.86	o 1235131
417.78/407.86	o 1235483
417.78/407.86	o 1235567
417.78/407.86	o 1235607
417.78/407.86	o 1235691
417.78/407.86	o 1236208
417.78/407.86	o 1236560
417.78/407.86	o 1236644
418.11/408.11	o 1238413
418.30/408.38	o 1239189
418.30/408.38	o 1239280
421.51/411.45	o 1239342
421.51/411.45	o 1239552
421.51/411.45	o 1239802
421.51/411.45	o 1240154
433.70/423.32	o 1240668
433.70/423.32	o 1241165
434.63/424.22	o 1242922
434.63/424.23	o 1245109
546.70/533.15	o 1246931
546.70/533.16	o 1247798
607.96/592.83	o 1248336
607.96/592.83	o 1248833
607.96/592.83	o 1249185
607.96/592.83	o 1249276
623.04/607.50	o 1249398
623.04/607.50	o 1249533
623.04/607.50	o 1250265
623.04/607.50	o 1250400
623.04/607.50	o 1250617
623.04/607.51	o 1250752
623.04/607.52	o 1250762
623.04/607.52	o 1251114
623.04/607.52	o 1251249
643.18/627.17	o 1251818
643.18/627.17	o 1251953
644.50/628.48	o 1252077
644.50/628.50	o 1252574
644.60/628.55	o 1253112
644.60/628.55	o 1256776
644.60/628.55	o 1257273
645.02/628.93	o 1258333
645.02/628.93	o 1258830
645.43/629.33	o 1259610
645.43/629.33	o 1262577
645.43/629.33	o 1263320
645.43/629.33	o 1266287
647.83/631.44	o 1266529
647.83/631.44	o 1266620
647.83/631.44	o 1270187
647.83/631.44	o 1270278
647.83/631.48	o 1270750
647.83/631.48	o 1272850
647.83/631.48	o 1273717
647.83/631.48	o 1275327
647.83/631.48	o 1276023
647.83/631.48	o 1278990
647.83/631.48	o 1279857
648.03/631.63	o 1282079
648.03/631.63	o 1285645
648.03/631.63	o 1286656
648.03/631.63	o 1287008
648.15/631.79	o 1289121
648.25/631.83	o 1289384
648.25/631.83	o 1290316
648.25/631.83	o 1290792
648.25/631.83	o 1291724
648.46/632.02	o 1292320
648.46/632.02	o 1292455
648.46/632.02	o 1295168
648.46/632.02	o 1298831
648.46/632.02	o 1298966
651.69/635.16	o 1301866
651.69/635.16	o 1303788
652.41/635.81	o 1305232
652.64/636.09	o 1305939
652.64/636.09	o 1310827
652.74/636.13	o 1311763
652.74/636.13	o 1311847
652.74/636.13	o 1311898
652.74/636.13	o 1311982
653.14/636.54	o 1313667
653.14/636.54	o 1315032
657.86/641.13	o 1315309
657.86/641.13	o 1316464
665.91/648.91	o 1317842
667.09/650.05	o 1319141
667.09/650.05	o 1320008
667.09/650.05	o 1320506
667.09/650.05	o 1321373
669.53/652.49	o 1321624
671.90/654.72	o 1322105
671.90/654.72	o 1322972
672.00/654.87	o 1323549
672.00/654.88	o 1324416
678.90/661.58	o 1324476
678.90/661.58	o 1324611
695.64/677.76	o 1324656
695.64/677.76	o 1324755
695.64/677.76	o 1326041
695.64/677.76	o 1329324
695.64/677.77	o 1330610
695.64/677.78	o 1330694
695.64/677.78	o 1330745
695.64/677.78	o 1330829
695.74/677.86	o 1332988
695.74/677.86	o 1334274
695.74/677.86	o 1334409
695.74/677.86	o 1334493
698.42/680.48	o 1334970
698.42/680.48	o 1335054
698.42/680.48	o 1336266
698.42/680.48	o 1337198
698.42/680.49	o 1339873
698.42/680.49	o 1340805
698.42/680.49	o 1340889
698.42/680.49	o 1340971
698.42/680.49	o 1341055
698.42/680.49	o 1341903
698.42/680.49	o 1341987
706.11/687.90	o 1342415
713.29/694.94	o 1342476
713.81/695.40	o 1342879
713.81/695.40	o 1344165
713.91/695.50	o 1345097
714.11/695.74	o 1345102
714.11/695.74	o 1345666
714.11/695.74	o 1347098
714.11/695.74	o 1348030
714.11/695.74	o 1348384
714.11/695.74	o 1349316
714.11/695.74	o 1349884
714.11/695.74	o 1351170
714.11/695.74	o 1352102
733.78/714.93	o 1355733
733.78/714.93	o 1356085
733.78/714.94	o 1356169
735.43/716.55	o 1356710
735.43/716.55	o 1357577
765.09/744.92	o 1357635
765.09/744.92	o 1357726
765.09/744.94	o 1358150
765.09/744.94	o 1358502
765.09/744.94	o 1358593
770.43/750.11	o 1359087
770.43/750.12	o 1359954
772.47/752.11	o 1360531
772.47/752.11	o 1361398
774.52/754.14	o 1368294
774.52/754.14	o 1369305
774.52/754.17	o 1370950
774.61/754.21	o 1371961
814.53/793.06	o 1372292
814.53/793.06	o 1372383
814.53/793.06	o 1373381
814.53/793.07	o 1374479
814.53/793.07	o 1374570
814.53/793.07	o 1375432
814.53/793.07	o 1375523
946.29/921.36	o 1375650
946.29/921.36	o 1376126
946.29/921.36	o 1377058
946.29/921.37	o 1377224
946.29/921.37	o 1378156
946.69/921.75	o 1379275
946.69/921.75	o 1380373
946.79/921.82	o 1381141
946.79/921.82	o 1382549
946.79/921.82	o 1383744
946.79/921.82	o 1385152
947.00/922.06	o 1386250
947.34/922.32	o 1387182
948.34/923.32	o 1391356
1073.73/1045.05	o 1392076
1073.73/1045.05	o 1392160
1079.15/1050.38	o 1392384
1079.25/1050.49	o 1396284
1086.93/1058.00	o 1396848
1086.93/1058.00	o 1396939
1086.93/1058.00	o 1397023
1086.93/1058.00	o 1397946
1086.93/1058.00	o 1398030
1086.93/1058.00	o 1398037
1086.93/1058.00	o 1398121
1086.93/1058.00	o 1398298
1086.93/1058.00	o 1398389
1086.93/1058.00	o 1398473
1175.34/1143.97	o 1398532
1175.34/1143.97	o 1399630
1181.10/1149.50	o 1401087
1181.10/1149.50	o 1402185
1181.10/1149.50	o 1404694
1181.10/1149.55	o 1405792
1347.86/1311.54	o 1406007
1347.86/1311.54	o 1406400
1347.86/1311.54	o 1406874
1347.86/1311.54	o 1407411
1347.86/1311.54	o 1407885
1427.14/1389.01	o 1409665
1427.14/1389.01	o 1410532
1427.14/1389.06	o 1410951
1427.14/1389.06	o 1411818
1531.97/1491.01	o 1414117
1531.97/1491.01	o 1415403
1531.97/1491.01	o 1416414
1531.97/1491.01	o 1418008
1531.97/1491.02	o 1419019
1531.97/1491.02	o 1419294
1531.97/1491.02	o 1420305
1538.24/1497.20	o 1420569
1538.54/1497.42	o 1423685
1538.54/1497.42	o 1423776
1538.54/1497.42	o 1424552
1538.54/1497.42	o 1424643
1538.54/1497.42	o 1427847
1538.54/1497.43	o 1428714
1538.54/1497.43	o 1428805
1539.44/1498.32	o 1429386
1539.44/1498.37	o 1430672
1567.09/1524.82	o 1430844
1567.19/1524.93	o 1430935
1567.40/1525.11	o 1433289
1567.40/1525.11	o 1433641
1567.40/1525.11	o 1434156
1567.40/1525.11	o 1434508
1567.40/1525.11	o 1434599
1568.59/1526.35	o 1434744
1568.59/1526.35	o 1436611
1568.59/1526.35	o 1437897
1568.69/1526.46	o 1439044
1568.69/1526.46	o 1439135
1568.69/1526.46	o 1440409
1568.69/1526.46	o 1440500
1594.10/1551.24	o 1441529
1594.10/1551.24	o 1441613
1594.20/1551.38	o 1443471
1594.20/1551.38	o 1444482
1594.20/1551.38	o 1445414
1594.60/1551.80	o 1446038
1594.60/1551.80	o 1446991
1727.85/1681.33	o 1447575
1727.85/1681.33	o 1447927
2098.99/2042.45	o 1448806
2176.18/2117.48	o 1450436
2176.18/2117.48	o 1450527
2176.18/2117.48	o 1450987
2176.18/2117.48	o 1452517
2176.18/2117.48	o 1457216
2176.18/2117.48	o 1457307
2224.40/2164.55	o 1458346
2520.06/2451.90	s SATISFIABLE
2520.06/2451.91	v <instantiation>
2520.06/2451.91	v 	<list>
2520.06/2451.91	v 		b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999]
2520.06/2451.91	v 	</list>
2520.06/2451.91	v 	<values>
2520.06/2451.91	v 		0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 0 0 0 1 0 
2520.06/2451.91	v 	</values>
2520.06/2451.91	v </instantiation>

Verifier Data 

OK	1458346

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308676-1534283255/watcher-4308676-1534283255 -o /tmp/evaluation-result-4308676-1534283255/solver-4308676-1534283255 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534270838-13462 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1319800591 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308676-1534283255.xml 

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

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


[startup+0.10006 s]*
/proc/loadavg: 1.75 1.80 1.83 6/215 14897
/proc/meminfo: memFree=23614952/32770624 swapFree=67108368/67108860
[pid=14882] ppid=14879 vsize=14082736 memory=33112 CPUtime=0.11 cores=0,2,4,6
/proc/14882/stat : 14882 (java) S 14879 14882 11932 0 -1 1077944320 7211 0 0 0 10 1 0 0 20 0 15 0 245888702 14420721664 8278 33554432000 4194304 4196468 140727294940560 140727294923104 139744947285751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
/proc/14882/statm: 3520684 8278 3139 1 0 3482761 0
[pid=14882/tid=14884] ppid=14879 vsize=14082736 memory=-6966721798027829888 CPUtime=0.08 cores=0,2,4,6
/proc/14882/task/14884/stat : 14884 (java) R 14879 14882 11932 0 -1 4202560 5341 0 0 0 8 0 0 0 20 0 15 0 245888703 14420721664 8344 33554432000 4194304 4196468 140727294940560 139744951489536 139744927561472 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14885] ppid=14879 vsize=14082736 memory=5793855205970082233 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888704 14420721664 8344 33554432000 4194304 4196468 140727294940560 139744884886416 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14886] ppid=14879 vsize=14082736 memory=139954960189056 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888704 14420721664 8344 33554432000 4194304 4196468 140727294940560 139744883833616 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14887] ppid=14879 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888704 14420721664 8344 33554432000 4194304 4196468 140727294940560 139744882781328 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14888] ppid=14879 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245888704 14420721664 8344 33554432000 4194304 4196468 140727294940560 139744539843600 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14889] ppid=14879 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245888705 14420721664 8344 33554432000 4194304 4196468 140727294940560 139744489338992 139744947296898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14890] ppid=14879 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245888705 14420721664 8344 33554432000 4194304 4196468 140727294940560 139744488284960 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14891] ppid=14879 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245888706 14420721664 8344 33554432000 4194304 4196468 140727294940560 139744487232624 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14892] ppid=14879 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245888708 14420721664 8344 33554432000 4194304 4196468 140727294940560 139744486180944 139744947304347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14893] ppid=14879 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14893/stat : 14893 (java) S 14879 14882 11932 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 245888708 14420721664 8344 33554432000 4194304 4196468 140727294940560 139744485128816 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14894] ppid=14879 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14894/stat : 14894 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888708 14420721664 8410 33554432000 4194304 4196468 140727294940560 139744484076016 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14895] ppid=14879 vsize=14082736 memory=139954960189056 CPUtime=0.01 cores=0,2,4,6
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 11932 0 -1 1077944384 229 0 0 0 1 0 0 0 20 0 15 0 245888708 14420721664 8410 33554432000 4194304 4196468 140727294940560 139744483023728 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14896] ppid=14879 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245888708 14420721664 8410 33554432000 4194304 4196468 140727294940560 139744481971168 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14897] ppid=14879 vsize=14082736 memory=139954960189056 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888708 14420721664 8410 33554432000 4194304 4196468 140727294940560 139744480917936 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33112 KiB

[startup+0.210291 s]*
/proc/loadavg: 1.75 1.80 1.83 4/215 14897
/proc/meminfo: memFree=23599448/32770624 swapFree=67108368/67108860
[pid=14882] ppid=14879 vsize=14082736 memory=47556 CPUtime=0.3 cores=0,2,4,6
/proc/14882/stat : 14882 (java) S 14879 14882 11932 0 -1 1077944320 10484 0 0 0 28 2 0 0 20 0 15 0 245888702 14420721664 11889 33554432000 4194304 4196468 140727294940560 140727294923104 139744947285751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
/proc/14882/statm: 3520684 11889 3371 1 0 3482761 0
[pid=14882/tid=14884] ppid=14879 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=0,2,4,6
/proc/14882/task/14884/stat : 14884 (java) S 14879 14882 11932 0 -1 1077944384 8239 0 0 0 18 1 0 0 20 0 15 0 245888703 14420721664 11889 33554432000 4194304 4196468 140727294940560 139744951514192 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14885] ppid=14879 vsize=14082736 memory=4211973681164979594 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888704 14420721664 11889 33554432000 4194304 4196468 140727294940560 139744884886416 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14886] ppid=14879 vsize=14082736 memory=139954960189056 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888704 14420721664 11889 33554432000 4194304 4196468 140727294940560 139744883833616 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14887] ppid=14879 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888704 14420721664 11889 33554432000 4194304 4196468 140727294940560 139744882781328 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14888] ppid=14879 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245888704 14420721664 11889 33554432000 4194304 4196468 140727294940560 139744539843600 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14889] ppid=14879 vsize=14082736 memory=139954960189056 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 11932 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245888705 14420721664 11889 33554432000 4194304 4196468 140727294940560 139744489338992 139744947296898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14890] ppid=14879 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245888705 14420721664 11889 33554432000 4194304 4196468 140727294940560 139744488284960 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14891] ppid=14879 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245888706 14420721664 11889 33554432000 4194304 4196468 140727294940560 139744487232624 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14892] ppid=14879 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245888708 14420721664 11889 33554432000 4194304 4196468 140727294940560 139744486180944 139744947304347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14893] ppid=14879 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14882/task/14893/stat : 14893 (java) R 14879 14882 11932 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 15 0 245888708 14420721664 11889 33554432000 4194304 4196468 140727294940560 139744485128816 139744947296898 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14894] ppid=14879 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/14882/task/14894/stat : 14894 (java) R 14879 14882 11932 0 -1 4202560 210 0 0 0 1 0 0 0 20 0 15 0 245888708 14420721664 11889 33554432000 4194304 4196468 140727294940560 139744484076016 139744932411768 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14895] ppid=14879 vsize=14082736 memory=139954960189056 CPUtime=0.06 cores=0,2,4,6
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 11932 0 -1 1077944384 267 0 0 0 6 0 0 0 20 0 15 0 245888708 14420721664 11889 33554432000 4194304 4196468 140727294940560 139744483023728 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14896] ppid=14879 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245888708 14420721664 11889 33554432000 4194304 4196468 140727294940560 139744481971168 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14897] ppid=14879 vsize=14082736 memory=139954960189056 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888708 14420721664 11889 33554432000 4194304 4196468 140727294940560 139744480917936 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47556 KiB

[startup+0.310254 s]*
/proc/loadavg: 1.75 1.80 1.83 4/215 14897
/proc/meminfo: memFree=23596408/32770624 swapFree=67108368/67108860
[pid=14882] ppid=14879 vsize=14082736 memory=50804 CPUtime=0.42 cores=0,2,4,6
/proc/14882/stat : 14882 (java) S 14879 14882 11932 0 -1 1077944320 10842 0 0 0 40 2 0 0 20 0 15 0 245888702 14420721664 12701 33554432000 4194304 4196468 140727294940560 140727294923104 139744947285751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
/proc/14882/statm: 3520684 12701 3373 1 0 3482761 0
[pid=14882/tid=14884] ppid=14879 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6
/proc/14882/task/14884/stat : 14884 (java) R 14879 14882 11932 0 -1 4202560 8572 0 0 0 28 2 0 0 20 0 15 0 245888703 14420721664 12701 33554432000 4194304 4196468 140727294940560 139744951520336 139744927561085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14885] ppid=14879 vsize=14082736 memory=4211973681164979594 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888704 14420721664 12701 33554432000 4194304 4196468 140727294940560 139744884886416 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14886] ppid=14879 vsize=14082736 memory=139954960191407 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888704 14420721664 12701 33554432000 4194304 4196468 140727294940560 139744883833616 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14887] ppid=14879 vsize=14082736 memory=139954797795500 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888704 14420721664 12701 33554432000 4194304 4196468 140727294940560 139744882781328 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14888] ppid=14879 vsize=14082736 memory=139954797792719 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245888704 14420721664 12701 33554432000 4194304 4196468 140727294940560 139744539843600 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14889] ppid=14879 vsize=14082736 memory=139954960201015 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 11932 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245888705 14420721664 12701 33554432000 4194304 4196468 140727294940560 139744489338992 139744947296898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14890] ppid=14879 vsize=14082736 memory=139954797801903 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245888705 14420721664 12701 33554432000 4194304 4196468 140727294940560 139744488284960 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14891] ppid=14879 vsize=14082736 memory=279909595594640 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245888706 14420721664 12701 33554432000 4194304 4196468 140727294940560 139744487232624 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14892] ppid=14879 vsize=14082736 memory=279909595592336 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245888708 14420721664 12701 33554432000 4194304 4196468 140727294940560 139744486180944 139744947304347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14893] ppid=14879 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14882/task/14893/stat : 14893 (java) S 14879 14882 11932 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 15 0 245888708 14420721664 12701 33554432000 4194304 4196468 140727294940560 139744485128816 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14894] ppid=14879 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/14882/task/14894/stat : 14894 (java) S 14879 14882 11932 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 15 0 245888708 14420721664 12701 33554432000 4194304 4196468 140727294940560 139744484076016 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14895] ppid=14879 vsize=14082736 memory=139954960189056 CPUtime=0.08 cores=0,2,4,6
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 11932 0 -1 1077944384 276 0 0 0 8 0 0 0 20 0 15 0 245888708 14420721664 12701 33554432000 4194304 4196468 140727294940560 139744483023728 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14896] ppid=14879 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245888708 14420721664 12701 33554432000 4194304 4196468 140727294940560 139744481971168 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14897] ppid=14879 vsize=14082736 memory=139954960189056 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888708 14420721664 12701 33554432000 4194304 4196468 140727294940560 139744480917936 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50804 KiB

[startup+0.700712 s]
/proc/loadavg: 1.75 1.80 1.83 3/215 14897
/proc/meminfo: memFree=23574664/32770624 swapFree=67108368/67108860
[pid=14882] ppid=14879 vsize=14084804 memory=90736 CPUtime=0.98 cores=0,2,4,6
/proc/14882/stat : 14882 (java) S 14879 14882 11932 0 -1 1077944320 17558 0 0 0 94 4 0 0 20 0 15 0 245888702 14422839296 22684 33554432000 4194304 4196468 140727294940560 140727294923104 139744947285751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
/proc/14882/statm: 3521201 22684 3498 1 0 3483273 0
[pid=14882/tid=14884] ppid=14879 vsize=14084804 memory=872 CPUtime=0.67 cores=0,2,4,6
/proc/14882/task/14884/stat : 14884 (java) R 14879 14882 11932 0 -1 4202560 14896 0 0 0 64 3 0 0 20 0 15 0 245888703 14422839296 22684 33554432000 4194304 4196468 140727294940560 139744951512816 139744931366238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14885] ppid=14879 vsize=14084804 memory=1920 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888704 14422839296 22684 33554432000 4194304 4196468 140727294940560 139744884886416 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14886] ppid=14879 vsize=14084804 memory=6272 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888704 14422839296 22684 33554432000 4194304 4196468 140727294940560 139744883833616 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14887] ppid=14879 vsize=14084804 memory=7014751519600366929 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888704 14422839296 22684 33554432000 4194304 4196468 140727294940560 139744882781328 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14888] ppid=14879 vsize=14084804 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245888704 14422839296 22684 33554432000 4194304 4196468 140727294940560 139744539843600 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14889] ppid=14879 vsize=14084804 memory=5787213831426565969 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 11932 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245888705 14422839296 22684 33554432000 4194304 4196468 140727294940560 139744489338992 139744947296898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14890] ppid=14879 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 11932 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245888705 14422839296 22684 33554432000 4194304 4196468 140727294940560 139744488284960 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14891] ppid=14879 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 11932 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245888706 14422839296 22684 33554432000 4194304 4196468 140727294940560 139744487232624 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14892] ppid=14879 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245888708 14422839296 22684 33554432000 4194304 4196468 140727294940560 139744486180944 139744947304347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14893] ppid=14879 vsize=14084804 memory=219 CPUtime=0.08 cores=0,2,4,6
/proc/14882/task/14893/stat : 14893 (java) S 14879 14882 11932 0 -1 1077944384 569 0 0 0 8 0 0 0 20 0 15 0 245888708 14422839296 22684 33554432000 4194304 4196468 140727294940560 139744485128816 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14894] ppid=14879 vsize=14084804 memory=7 CPUtime=0.06 cores=0,2,4,6
/proc/14882/task/14894/stat : 14894 (java) S 14879 14882 11932 0 -1 1077944384 351 0 0 0 6 0 0 0 20 0 15 0 245888708 14422839296 22684 33554432000 4194304 4196468 140727294940560 139744484076016 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14895] ppid=14879 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/14882/task/14895/stat : 14895 (java) R 14879 14882 11932 0 -1 4202560 360 0 0 0 15 0 0 0 20 0 15 0 245888708 14422839296 22684 33554432000 4194304 4196468 140727294940560 139744483023728 139744947307098 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14896] ppid=14879 vsize=14084804 memory=279909595778544 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245888708 14422839296 22684 33554432000 4194304 4196468 140727294940560 139744481971168 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14897] ppid=14879 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888708 14422839296 22684 33554432000 4194304 4196468 140727294940560 139744480917936 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 90736 KiB

[startup+1.50077 s]
/proc/loadavg: 1.75 1.80 1.83 4/215 14897
/proc/meminfo: memFree=23530500/32770624 swapFree=67108368/67108860
[pid=14882] ppid=14879 vsize=14086852 memory=191660 CPUtime=2.8 cores=0,2,4,6
/proc/14882/stat : 14882 (java) S 14879 14882 11932 0 -1 1077944320 23037 0 0 0 273 7 0 0 20 0 15 0 245888702 14424936448 47915 33554432000 4194304 4196468 140727294940560 140727294923104 139744947285751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
/proc/14882/statm: 3521713 47915 3552 1 0 3483785 0
[pid=14882/tid=14884] ppid=14879 vsize=14086852 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/14882/task/14884/stat : 14884 (java) R 14879 14882 11932 0 -1 4202560 17198 0 0 0 141 5 0 0 20 0 15 0 245888703 14424936448 47915 33554432000 4194304 4196468 140727294940560 139744951521888 139744563507916 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14885] ppid=14879 vsize=14086852 memory=-1088251628401078322 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888704 14424936448 47915 33554432000 4194304 4196468 140727294940560 139744884886416 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14886] ppid=14879 vsize=14086852 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888704 14424936448 47915 33554432000 4194304 4196468 140727294940560 139744883833616 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14887] ppid=14879 vsize=14086852 memory=-6585528546044026665 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 11932 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245888704 14424936448 47915 33554432000 4194304 4196468 140727294940560 139744882781328 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14888] ppid=14879 vsize=14086852 memory=-7016435988561875502 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 11932 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245888704 14424936448 47915 33554432000 4194304 4196468 140727294940560 139744539843600 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14889] ppid=14879 vsize=14086852 memory=-6079119013371994464 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 11932 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 245888705 14424936448 47915 33554432000 4194304 4196468 140727294940560 139744489338992 139744947296898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0

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

/proc/14882/task/14884/stat : 14884 (java) R 14879 14882 11932 0 -1 4202560 249754 0 0 0 235957 88 0 0 20 0 15 0 245888703 14431227904 671142 33554432000 4194304 4196468 140727294940560 139744951522832 139744572673780 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14885] ppid=14879 vsize=14092996 memory=2662036 CPUtime=19.37 cores=0,2,4,6
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 11932 0 -1 1077944384 24674 0 0 0 1859 78 0 0 20 0 15 0 245888704 14431227904 671142 33554432000 4194304 4196468 140727294940560 139744884886416 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14886] ppid=14879 vsize=14092996 memory=2662036 CPUtime=19.38 cores=0,2,4,6
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 11932 0 -1 1077944384 23163 0 0 0 1858 80 0 0 20 0 15 0 245888704 14431227904 671142 33554432000 4194304 4196468 140727294940560 139744883833616 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14887] ppid=14879 vsize=14092996 memory=2684568 CPUtime=19.4 cores=0,2,4,6
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 11932 0 -1 1077944384 18347 0 0 0 1862 78 0 0 20 0 15 0 245888704 14431227904 671142 33554432000 4194304 4196468 140727294940560 139744882781328 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14888] ppid=14879 vsize=14092996 memory=0 CPUtime=19.33 cores=0,2,4,6
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 11932 0 -1 1077944384 19084 0 0 0 1852 81 0 0 20 0 15 0 245888704 14431227904 671142 33554432000 4194304 4196468 140727294940560 139744539843600 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14889] ppid=14879 vsize=14092996 memory=2684568 CPUtime=1.63 cores=0,2,4,6
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 11932 0 -1 1077944384 101952 0 0 0 135 28 0 0 20 0 15 0 245888705 14431227904 671142 33554432000 4194304 4196468 140727294940560 139744489338992 139744947296898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14890] ppid=14879 vsize=14092996 memory=2684568 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 11932 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 245888705 14431227904 671142 33554432000 4194304 4196468 140727294940560 139744488285024 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14891] ppid=14879 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 11932 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 245888706 14431227904 671142 33554432000 4194304 4196468 140727294940560 139744487232640 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14892] ppid=14879 vsize=14092996 memory=3684 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245888708 14431227904 671142 33554432000 4194304 4196468 140727294940560 139744486180944 139744947304347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14893] ppid=14879 vsize=14092996 memory=2662036 CPUtime=2.95 cores=0,2,4,6
/proc/14882/task/14893/stat : 14893 (java) S 14879 14882 11932 0 -1 1077944384 19444 0 0 0 293 2 0 0 20 0 15 0 245888708 14431227904 671142 33554432000 4194304 4196468 140727294940560 139744485128816 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14894] ppid=14879 vsize=14092996 memory=2684568 CPUtime=3.27 cores=0,2,4,6
/proc/14882/task/14894/stat : 14894 (java) S 14879 14882 11932 0 -1 1077944384 22635 0 0 0 324 3 0 0 20 0 15 0 245888708 14431227904 671142 33554432000 4194304 4196468 140727294940560 139744484076016 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14895] ppid=14879 vsize=14092996 memory=2684568 CPUtime=1.25 cores=0,2,4,6
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 11932 0 -1 1077944384 17146 0 0 0 122 3 0 0 20 0 15 0 245888708 14431227904 671142 33554432000 4194304 4196468 140727294940560 139744483023728 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14896] ppid=14879 vsize=14092996 memory=2684568 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245888708 14431227904 671142 33554432000 4194304 4196468 140727294940560 139744481971168 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14897] ppid=14879 vsize=14092996 memory=2684568 CPUtime=1.23 cores=0,2,4,6
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 11932 0 -1 1077944384 1548 0 0 0 63 60 0 0 20 0 15 0 245888708 14431227904 671142 33554432000 4194304 4196468 140727294940560 139744480917936 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
Current children cumulated CPU time: 2448.35 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2684568 KiB

[startup+2442.3 s]
/proc/loadavg: 1.97 1.78 1.67 3/215 15089
/proc/meminfo: memFree=19432420/32770624 swapFree=67108368/67108860
[pid=14882] ppid=14879 vsize=14092996 memory=2630760 CPUtime=2510.17 cores=0,2,4,6
/proc/14882/stat : 14882 (java) S 14879 14882 11932 0 -1 1077944320 513165 0 0 0 250528 489 0 0 20 0 15 0 245888702 14431227904 657690 33554432000 4194304 4196468 140727294940560 140727294923104 139744947285751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
/proc/14882/statm: 3523249 657690 3618 1 0 3485321 0
[pid=14882/tid=14884] ppid=14879 vsize=14092996 memory=2630760 CPUtime=2419.8 cores=0,2,4,6
/proc/14882/task/14884/stat : 14884 (java) R 14879 14882 11932 0 -1 4202560 254422 0 0 0 241891 89 0 0 20 0 15 0 245888703 14431227904 657690 33554432000 4194304 4196468 140727294940560 139744951522832 139744572673626 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14885] ppid=14879 vsize=14092996 memory=2697436 CPUtime=19.97 cores=0,2,4,6
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 11932 0 -1 1077944384 25192 0 0 0 1918 79 0 0 20 0 15 0 245888704 14431227904 657690 33554432000 4194304 4196468 140727294940560 139744884886416 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14886] ppid=14879 vsize=14092996 memory=2653332 CPUtime=19.98 cores=0,2,4,6
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 11932 0 -1 1077944384 23957 0 0 0 1916 82 0 0 20 0 15 0 245888704 14431227904 657690 33554432000 4194304 4196468 140727294940560 139744883833616 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14887] ppid=14879 vsize=14092996 memory=2653332 CPUtime=20 cores=0,2,4,6
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 11932 0 -1 1077944384 19370 0 0 0 1920 80 0 0 20 0 15 0 245888704 14431227904 657690 33554432000 4194304 4196468 140727294940560 139744882781328 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14888] ppid=14879 vsize=14092996 memory=2653332 CPUtime=19.94 cores=0,2,4,6
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 11932 0 -1 1077944384 20056 0 0 0 1911 83 0 0 20 0 15 0 245888704 14431227904 657690 33554432000 4194304 4196468 140727294940560 139744539843600 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14889] ppid=14879 vsize=14092996 memory=2652820 CPUtime=1.66 cores=0,2,4,6
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 11932 0 -1 1077944384 107914 0 0 0 137 29 0 0 20 0 15 0 245888705 14431227904 657690 33554432000 4194304 4196468 140727294940560 139744489338992 139744947296898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14890] ppid=14879 vsize=14092996 memory=9168 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 11932 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 245888705 14431227904 657690 33554432000 4194304 4196468 140727294940560 139744488285024 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14891] ppid=14879 vsize=14092996 memory=2630760 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 11932 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 245888706 14431227904 657690 33554432000 4194304 4196468 140727294940560 139744487232640 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14892] ppid=14879 vsize=14092996 memory=2630760 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245888708 14431227904 657690 33554432000 4194304 4196468 140727294940560 139744486180944 139744947304347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14893] ppid=14879 vsize=14092996 memory=2630760 CPUtime=2.95 cores=0,2,4,6
/proc/14882/task/14893/stat : 14893 (java) S 14879 14882 11932 0 -1 1077944384 19447 0 0 0 293 2 0 0 20 0 15 0 245888708 14431227904 657690 33554432000 4194304 4196468 140727294940560 139744485128816 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14894] ppid=14879 vsize=14092996 memory=2630760 CPUtime=3.27 cores=0,2,4,6
/proc/14882/task/14894/stat : 14894 (java) S 14879 14882 11932 0 -1 1077944384 22637 0 0 0 324 3 0 0 20 0 15 0 245888708 14431227904 657690 33554432000 4194304 4196468 140727294940560 139744484076016 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14895] ppid=14879 vsize=14092996 memory=2652820 CPUtime=1.25 cores=0,2,4,6
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 11932 0 -1 1077944384 17149 0 0 0 122 3 0 0 20 0 15 0 245888708 14431227904 657690 33554432000 4194304 4196468 140727294940560 139744483023728 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14896] ppid=14879 vsize=14092996 memory=3684 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245888708 14431227904 657690 33554432000 4194304 4196468 140727294940560 139744481971168 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14897] ppid=14879 vsize=14092996 memory=2148 CPUtime=1.26 cores=0,2,4,6
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 11932 0 -1 1077944384 1575 0 0 0 64 62 0 0 20 0 15 0 245888708 14431227904 657690 33554432000 4194304 4196468 140727294940560 139744480917936 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
Current children cumulated CPU time: 2510.17 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2630760 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2451.9 s]
/proc/loadavg: 1.91 1.77 1.66 3/215 15089
/proc/meminfo: memFree=19454196/32770624 swapFree=67108368/67108860
[pid=14882] ppid=14879 vsize=14092996 memory=2608704 CPUtime=2520.06 cores=0,2,4,6
/proc/14882/stat : 14882 (java) S 14879 14882 11932 0 -1 1077944320 513542 0 0 0 251516 490 0 0 20 0 15 0 245888702 14431227904 652176 33554432000 4194304 4196468 140727294940560 140727294923104 139744947285751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
/proc/14882/statm: 3523249 652176 3618 1 0 3485321 0
[pid=14882/tid=14884] ppid=14879 vsize=14092996 memory=2608704 CPUtime=2429.31 cores=0,2,4,6
/proc/14882/task/14884/stat : 14884 (java) R 14879 14882 11932 0 -1 4202560 254718 0 0 0 242842 89 0 0 20 0 15 0 245888703 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744951522832 139744565486304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14885] ppid=14879 vsize=14092996 memory=2697436 CPUtime=20.07 cores=0,2,4,6
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 11932 0 -1 1077944384 25206 0 0 0 1928 79 0 0 20 0 15 0 245888704 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744884886416 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14886] ppid=14879 vsize=14092996 memory=2653332 CPUtime=20.07 cores=0,2,4,6
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 11932 0 -1 1077944384 23978 0 0 0 1925 82 0 0 20 0 15 0 245888704 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744883833616 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14887] ppid=14879 vsize=14092996 memory=2652820 CPUtime=20.09 cores=0,2,4,6
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 11932 0 -1 1077944384 19404 0 0 0 1929 80 0 0 20 0 15 0 245888704 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744882781328 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14888] ppid=14879 vsize=14092996 memory=9168 CPUtime=20.03 cores=0,2,4,6
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 11932 0 -1 1077944384 20066 0 0 0 1920 83 0 0 20 0 15 0 245888704 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744539843600 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14889] ppid=14879 vsize=14092996 memory=2608704 CPUtime=1.66 cores=0,2,4,6
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 11932 0 -1 1077944384 107916 0 0 0 137 29 0 0 20 0 15 0 245888705 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744489338992 139744947296898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14890] ppid=14879 vsize=14092996 memory=2608704 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 11932 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 245888705 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744488285024 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14891] ppid=14879 vsize=14092996 memory=2608704 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 11932 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 245888706 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744487232640 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14892] ppid=14879 vsize=14092996 memory=2630248 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245888708 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744486180944 139744947304347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14893] ppid=14879 vsize=14092996 memory=2630248 CPUtime=2.95 cores=0,2,4,6
/proc/14882/task/14893/stat : 14893 (java) S 14879 14882 11932 0 -1 1077944384 19447 0 0 0 293 2 0 0 20 0 15 0 245888708 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744485128816 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14894] ppid=14879 vsize=14092996 memory=2608704 CPUtime=3.27 cores=0,2,4,6
/proc/14882/task/14894/stat : 14894 (java) S 14879 14882 11932 0 -1 1077944384 22637 0 0 0 324 3 0 0 20 0 15 0 245888708 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744484076016 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14895] ppid=14879 vsize=14092996 memory=2630248 CPUtime=1.25 cores=0,2,4,6
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 11932 0 -1 1077944384 17149 0 0 0 122 3 0 0 20 0 15 0 245888708 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744483023728 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14896] ppid=14879 vsize=14092996 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245888708 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744481971168 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14897] ppid=14879 vsize=14092996 memory=2608704 CPUtime=1.27 cores=0,2,4,6
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 11932 0 -1 1077944384 1575 0 0 0 65 62 0 0 20 0 15 0 245888708 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744480917936 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2608704 KiB

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

[startup+2451.94 s]
# the end of solver process 14882 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.18 s, system=4.92355 s

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

[startup+2451.9 s]
/proc/loadavg: 1.91 1.77 1.66 3/215 15089
/proc/meminfo: memFree=19454196/32770624 swapFree=67108368/67108860
[pid=14882] ppid=14879 vsize=14092996 memory=2608704 CPUtime=2520.06 cores=0,2,4,6
/proc/14882/stat : 14882 (java) S 14879 14882 11932 0 -1 1077944320 513542 0 0 0 251516 490 0 0 20 0 15 0 245888702 14431227904 652176 33554432000 4194304 4196468 140727294940560 140727294923104 139744947285751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
/proc/14882/statm: 3523249 652176 3618 1 0 3485321 0
[pid=14882/tid=14884] ppid=14879 vsize=14092996 memory=2608704 CPUtime=2429.31 cores=0,2,4,6
/proc/14882/task/14884/stat : 14884 (java) R 14879 14882 11932 0 -1 4202560 254718 0 0 0 242842 89 0 0 20 0 15 0 245888703 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744951522832 139744565486304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14885] ppid=14879 vsize=14092996 memory=2697436 CPUtime=20.07 cores=0,2,4,6
/proc/14882/task/14885/stat : 14885 (java) S 14879 14882 11932 0 -1 1077944384 25206 0 0 0 1928 79 0 0 20 0 15 0 245888704 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744884886416 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14886] ppid=14879 vsize=14092996 memory=2653332 CPUtime=20.07 cores=0,2,4,6
/proc/14882/task/14886/stat : 14886 (java) S 14879 14882 11932 0 -1 1077944384 23978 0 0 0 1925 82 0 0 20 0 15 0 245888704 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744883833616 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14887] ppid=14879 vsize=14092996 memory=2652820 CPUtime=20.09 cores=0,2,4,6
/proc/14882/task/14887/stat : 14887 (java) S 14879 14882 11932 0 -1 1077944384 19404 0 0 0 1929 80 0 0 20 0 15 0 245888704 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744882781328 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14888] ppid=14879 vsize=14092996 memory=9168 CPUtime=20.03 cores=0,2,4,6
/proc/14882/task/14888/stat : 14888 (java) S 14879 14882 11932 0 -1 1077944384 20066 0 0 0 1920 83 0 0 20 0 15 0 245888704 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744539843600 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14889] ppid=14879 vsize=14092996 memory=2608704 CPUtime=1.66 cores=0,2,4,6
/proc/14882/task/14889/stat : 14889 (java) S 14879 14882 11932 0 -1 1077944384 107916 0 0 0 137 29 0 0 20 0 15 0 245888705 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744489338992 139744947296898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14890] ppid=14879 vsize=14092996 memory=2608704 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14890/stat : 14890 (java) S 14879 14882 11932 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 245888705 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744488285024 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14891] ppid=14879 vsize=14092996 memory=2608704 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14891/stat : 14891 (java) S 14879 14882 11932 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 245888706 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744487232640 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14892] ppid=14879 vsize=14092996 memory=2630248 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14892/stat : 14892 (java) S 14879 14882 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245888708 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744486180944 139744947304347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14893] ppid=14879 vsize=14092996 memory=2630248 CPUtime=2.95 cores=0,2,4,6
/proc/14882/task/14893/stat : 14893 (java) S 14879 14882 11932 0 -1 1077944384 19447 0 0 0 293 2 0 0 20 0 15 0 245888708 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744485128816 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14894] ppid=14879 vsize=14092996 memory=2608704 CPUtime=3.27 cores=0,2,4,6
/proc/14882/task/14894/stat : 14894 (java) S 14879 14882 11932 0 -1 1077944384 22637 0 0 0 324 3 0 0 20 0 15 0 245888708 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744484076016 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14895] ppid=14879 vsize=14092996 memory=2630248 CPUtime=1.25 cores=0,2,4,6
/proc/14882/task/14895/stat : 14895 (java) S 14879 14882 11932 0 -1 1077944384 17149 0 0 0 122 3 0 0 20 0 15 0 245888708 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744483023728 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14896] ppid=14879 vsize=14092996 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/14882/task/14896/stat : 14896 (java) S 14879 14882 11932 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245888708 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744481971168 139744947295957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
[pid=14882/tid=14897] ppid=14879 vsize=14092996 memory=2608704 CPUtime=1.27 cores=0,2,4,6
/proc/14882/task/14897/stat : 14897 (java) S 14879 14882 11932 0 -1 1077944384 1575 0 0 0 65 62 0 0 20 0 15 0 245888708 14431227904 652176 33554432000 4194304 4196468 140727294940560 139744480917936 139744947296898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36794368 140727294948436 140727294948617 140727294948617 140727294951375 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2608704 KiB

Child status: 143
Real time (s): 2451.94
CPU time (s): 2520.1
CPU user time (s): 2515.18
CPU system time (s): 4.92355
CPU usage (%): 102.78
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 2832844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.18
system time used= 4.92355
maximum resident set size= 2834304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 515240
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87709
involuntary context switches= 5205


# summary of solver processes directly reported to runsolver:
#   pid: 14882
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2515.18
#   total CPU system time (s): 4.92355

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7741 second user time and 19.6867 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-14 23:47:35
IDJOB=4308676
IDBENCH=141158
IDSOLVER=2792
FILE ID=node148/4308676-1534283255
RUNJOBID= node148-1534270838-13462
PBS_JOBID= 21038117
Free space on /tmp= 42612 MiB

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

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

MD5SUM BENCH= b9a88cf563e94a20e010143964b9c3ad
RANDOM SEED=1319800591

node148.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:        23633496 kB
MemAvailable:   31738456 kB
Buffers:          162080 kB
Cached:          8148664 kB
SwapCached:            4 kB
Active:          4575828 kB
Inactive:        3954424 kB
Active(anon):     172556 kB
Inactive(anon):    98752 kB
Active(file):    4403272 kB
Inactive(file):  3855672 kB
Unevictable:        7348 kB
Mlocked:            7348 kB
SwapTotal:      67108860 kB
SwapFree:       67108368 kB
Dirty:             35708 kB
Writeback:             0 kB
AnonPages:        225960 kB
Mapped:            68032 kB
Shmem:             49588 kB
Slab:             304252 kB
SReclaimable:     274476 kB
SUnreclaim:        29776 kB
KernelStack:        3488 kB
PageTables:         6352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1217976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 42576 MiB
End job on node148 at 2018-08-15 00:28:28