Trace number 4291761

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-07-02SAT (TO)1402863 2400.04 2340.02

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.66/0.56	c version: 2018-07-02
0.66/0.56	c seed: 457920494
0.66/0.56	c timeout: 2400
0.66/0.56	c memlimit: 11000
0.66/0.56	c nbcore: 4
0.66/0.59	c Parsing instance...
3.47/2.00	c Parsing done, starting first complete search...
4.23/2.25	o 0
4.23/2.25	o 7837
4.23/2.25	o 8867
4.23/2.25	o 16704
4.23/2.26	o 22526
4.23/2.26	o 23615
4.23/2.26	o 24686
4.23/2.27	o 31434
4.23/2.27	o 32523
4.23/2.27	o 33300
4.23/2.27	o 41137
4.23/2.27	o 45541
4.23/2.28	o 47782
4.23/2.28	o 52462
4.23/2.28	o 73418
4.23/2.28	o 76886
4.23/2.29	o 90417
4.23/2.29	o 91506
4.23/2.29	o 96186
4.23/2.29	o 116003
4.23/2.29	o 123935
4.46/2.30	o 126902
4.46/2.30	o 130468
4.46/2.30	o 138320
4.46/2.30	o 140388
4.46/2.30	o 143834
4.46/2.31	o 144489
4.46/2.31	o 145902
4.46/2.31	o 150996
4.46/2.31	o 158833
4.46/2.31	o 165744
4.46/2.32	o 166322
4.46/2.32	o 169773
4.46/2.32	o 171377
4.46/2.32	o 172790
4.46/2.32	o 174578
4.46/2.33	o 176819
4.46/2.33	o 177289
4.46/2.33	o 179530
4.46/2.33	o 181598
4.46/2.33	o 182176
4.46/2.33	o 183386
4.46/2.33	o 185627
4.46/2.34	o 191716
4.46/2.34	o 197472
4.46/2.34	o 199713
4.46/2.34	o 201353
4.46/2.34	o 202336
4.46/2.34	o 204577
4.46/2.34	o 205811
4.46/2.35	o 209084
4.46/2.35	o 211325
4.46/2.35	o 212174
4.46/2.35	o 215398
4.46/2.35	o 215654
4.46/2.36	o 217281
4.46/2.36	o 218007
4.46/2.36	o 220248
4.46/2.37	o 221764
4.46/2.37	o 222020
4.46/2.38	o 222420
4.46/2.39	o 223112
4.46/2.39	o 225200
4.77/2.40	o 229604
4.77/2.40	o 229860
4.77/2.40	o 231405
4.77/2.40	o 231632
4.77/2.40	o 236599
4.77/2.42	o 236641
4.77/2.42	o 240083
4.77/2.42	o 245853
4.77/2.42	o 252215
4.77/2.42	o 256955
4.77/2.43	o 257182
4.77/2.43	o 257976
4.77/2.43	o 265114
4.77/2.43	o 266886
4.77/2.47	o 266952
4.77/2.47	o 267208
5.07/2.50	o 267999
5.07/2.50	o 270966
5.07/2.50	o 272803
5.07/2.51	o 276584
5.07/2.51	o 279551
5.07/2.53	o 281191
5.07/2.54	o 281790
5.07/2.54	o 284757
5.07/2.58	o 285571
5.07/2.58	o 287211
5.07/2.59	o 287421
5.07/2.59	o 290388
5.07/2.59	o 292028
5.07/2.59	o 293573
5.38/2.60	o 294472
5.38/2.60	o 294556
5.38/2.60	o 297352
5.38/2.60	o 300918
5.38/2.67	o 301391
5.38/2.67	o 303031
5.38/2.68	o 303115
5.38/2.68	o 303423
5.38/2.68	o 306989
5.38/2.68	o 308629
5.38/2.69	o 308761
5.38/2.69	o 310401
5.64/2.70	o 314024
5.64/2.70	o 314108
5.64/2.71	o 315664
5.64/2.71	o 315748
5.64/2.72	o 317520
5.64/2.75	o 318454
5.64/2.75	o 322020
5.64/2.75	o 323660
5.64/2.79	o 324899
5.64/2.79	o 324983
5.75/2.82	o 325285
5.75/2.82	o 325541
5.75/2.83	o 327086
5.75/2.83	o 332707
5.75/2.83	o 334347
5.86/2.90	o 335815
5.86/2.90	o 342177
5.97/3.08	o 342268
6.06/3.16	o 345617
6.06/3.17	o 346321
6.06/3.17	o 346412
6.16/3.25	o 347187
6.16/3.25	o 348035
6.16/3.25	o 353549
6.16/3.26	o 353915
6.16/3.26	o 354006
6.16/3.26	o 354253
6.16/3.26	o 354344
6.26/3.34	o 356980
6.26/3.34	o 359947
6.26/3.34	o 360038
6.36/3.40	o 361290
6.36/3.40	o 361381
6.36/3.40	o 365164
6.36/3.40	o 365255
6.36/3.40	o 366804
6.36/3.40	o 366895
6.36/3.45	o 367060
6.36/3.45	o 367151
6.36/3.47	o 367633
6.48/3.51	o 370386
6.48/3.52	o 371217
6.48/3.52	o 371308
6.48/3.52	o 376506
6.48/3.52	o 376597
6.48/3.53	o 376651
6.48/3.53	o 376742
6.48/3.53	o 379618
6.48/3.53	o 379709
6.88/3.94	o 384126
6.88/3.94	o 384217
6.88/3.96	o 386853
6.88/3.96	o 389820
6.88/3.97	o 389911
7.13/4.15	o 394697
7.13/4.15	o 394788
7.52/4.49	o 394953
7.52/4.49	o 395044
7.76/4.60	o 398065
7.76/4.60	o 398156
8.06/4.93	o 399348
8.06/4.93	o 399439
8.06/4.93	o 400652
8.06/4.93	o 400743
8.06/4.93	o 400908
8.06/4.93	o 400999
8.06/4.93	o 402680
8.06/4.93	o 402771
8.51/5.36	o 402875
8.61/5.40	o 403240
8.61/5.40	o 406207
10.32/7.12	o 407060
10.32/7.12	o 407642
10.32/7.20	o 407911
10.32/7.20	o 408493
10.41/7.20	o 408496
10.41/7.20	o 409078
10.41/7.20	o 409880
10.41/7.20	o 410287
10.41/7.20	o 410869
10.41/7.20	o 411425
10.41/7.25	o 411841
10.41/7.25	o 414808
10.41/7.25	o 418140
11.62/8.41	o 420900
11.62/8.41	o 421482
11.62/8.44	o 423066
11.62/8.44	o 426398
11.62/8.44	o 426980
14.67/11.48	o 428493
15.47/12.27	o 429555
15.47/12.27	o 431327
15.47/12.27	o 434659
15.57/12.34	o 435241
17.67/14.43	o 436826
17.67/14.43	o 437815
17.67/14.43	o 440158
17.67/14.47	o 440740
18.87/15.62	o 442935
18.87/15.62	o 443924
18.98/15.74	o 446267
27.56/24.23	o 446748
27.86/24.54	o 447338
27.86/24.54	o 447787
27.86/24.54	o 449110
27.86/24.54	o 450099
27.86/24.54	o 451119
27.86/24.54	o 452442
30.55/27.27	o 452986
30.55/27.27	o 454006
30.55/27.27	o 455329
30.55/27.29	o 455778
30.55/27.29	o 457101
43.62/40.28	o 458027
43.62/40.29	o 458609
44.32/40.95	o 459040
44.32/40.95	o 460186
44.32/40.95	o 461283
44.32/40.95	o 461509
44.32/40.96	o 462606
44.32/40.96	o 462664
44.32/40.96	o 463761
44.53/41.17	o 466084
44.53/41.18	o 467181
44.53/41.19	o 467650
44.53/41.19	o 469441
44.53/41.19	o 470538
44.62/41.24	o 471001
44.62/41.25	o 472098
44.62/41.25	o 472773
44.62/41.25	o 473870
45.12/41.79	o 473930
45.22/41.83	o 474264
45.22/41.83	o 474939
45.22/41.83	o 476036
45.22/41.87	o 478271
45.22/41.87	o 479368
51.54/48.18	o 479378
56.45/53.06	o 479824
56.45/53.07	o 480942
56.45/53.07	o 482450
56.45/53.07	o 483830
56.45/53.07	o 485338
61.94/58.59	o 485896
61.94/58.59	o 485906
62.14/58.72	o 485948
62.14/58.72	o 485958
62.14/58.72	o 487456
62.14/58.72	o 487466
62.14/58.73	o 487720
62.14/58.73	o 487730
62.14/58.73	o 489228
62.14/58.73	o 489238
84.58/81.18	o 490701
84.58/81.18	o 490711
85.77/82.35	o 491149
85.77/82.35	o 491159
85.87/82.43	o 491638
85.87/82.43	o 491648
85.87/82.45	o 492246
85.87/82.45	o 492256
93.48/90.03	o 492932
93.48/90.03	o 492942
94.87/91.43	o 494306
94.87/91.43	o 494316
94.97/91.52	o 495291
94.97/91.52	o 495301
94.97/91.53	o 496836
94.97/91.53	o 496846
96.67/93.21	o 497100
96.67/93.21	o 497110
96.67/93.21	o 498608
96.67/93.21	o 498618
98.87/95.43	o 498659
98.87/95.44	o 498669
98.87/95.44	o 500167
98.87/95.44	o 500177
98.87/95.44	o 505681
98.87/95.44	o 505691
98.87/95.45	o 506144
98.87/95.45	o 506154
98.87/95.45	o 507916
98.87/95.45	o 507926
98.87/95.45	o 509013
98.87/95.45	o 509023
108.18/104.72	o 509262
108.18/104.72	o 509272
108.18/104.72	o 512828
108.18/104.73	o 512838
108.18/104.73	o 516160
108.18/104.73	o 516170
109.98/106.57	o 516424
109.98/106.57	o 517932
109.98/106.57	o 517942
114.45/111.00	o 520387
114.45/111.00	o 521895
114.45/111.00	o 521905
114.75/111.22	o 522570
114.75/111.22	o 522580
114.75/111.22	o 523667
114.75/111.22	o 523677
153.97/150.42	o 524599
153.97/150.42	o 524609
201.99/198.44	o 525162
203.99/200.42	o 526239
203.99/200.42	o 527562
203.99/200.42	o 528494
244.93/241.34	c First complete search done, starting ALNS search...
245.94/241.90	o 528953
245.94/241.90	o 533146
245.94/241.90	o 534839
245.94/241.90	o 535649
245.94/241.91	o 537342
245.94/241.91	o 538390
245.94/241.91	o 540083
245.94/241.91	o 542547
245.94/241.91	o 542785
245.94/241.91	o 545288
245.94/241.91	o 546981
245.94/241.91	o 548607
245.94/241.91	o 548610
245.94/241.91	o 549468
245.94/241.91	o 551418
245.94/241.91	o 554159
245.94/241.91	o 555852
245.94/241.91	o 556662
245.94/241.92	o 558355
245.94/241.92	o 559265
245.94/241.92	o 560958
245.94/241.92	o 562182
245.94/241.92	o 562420
245.94/241.92	o 564923
245.94/241.92	o 565023
245.94/241.92	o 567526
245.94/241.92	o 569219
245.94/241.92	o 571019
245.94/241.92	o 573622
245.94/241.92	o 575315
245.94/241.92	o 576282
245.94/241.92	o 576539
245.94/241.94	o 579280
245.94/241.94	o 580973
245.94/241.94	o 581883
245.94/241.94	o 583576
245.94/241.94	o 584386
245.94/241.94	o 586079
245.94/241.94	o 587817
245.94/241.94	o 589510
245.94/241.94	o 590151
245.94/241.94	o 590251
245.94/241.94	o 592754
245.94/241.95	o 593121
245.94/241.95	o 593259
245.94/241.95	o 595862
245.94/241.95	o 596247
245.94/241.95	o 597266
245.94/241.95	o 597610
245.94/241.95	o 599817
245.94/241.95	o 601767
245.94/241.95	o 604508
245.94/241.95	o 607111
245.94/241.95	o 609614
245.94/241.95	o 611307
245.94/241.95	o 612486
245.94/241.95	o 612753
245.94/241.95	o 613663
245.94/241.96	o 615356
245.94/241.96	o 616651
245.94/241.96	o 618014
245.94/241.96	o 620221
245.94/241.96	o 622309
245.94/241.96	o 622409
245.94/241.96	o 624912
245.94/241.96	o 626605
245.94/241.96	o 626843
245.94/241.96	o 627653
245.94/241.96	o 629346
245.94/241.96	o 629453
245.94/241.96	o 629591
245.94/241.96	o 629691
245.94/241.96	o 632194
245.94/241.97	o 633887
245.94/241.97	o 634962
245.94/241.97	o 635123
245.94/241.97	o 635933
245.94/241.97	o 637626
245.94/241.97	o 637733
245.94/241.97	o 637871
245.94/241.97	o 637971
245.94/241.97	o 640474
245.94/241.97	o 642167
245.94/241.97	o 642754
245.94/241.97	o 644851
245.94/241.97	o 646544
245.94/241.98	o 647354
245.94/241.98	o 649047
245.94/241.98	o 649392
245.94/241.98	o 651895
245.94/241.98	o 653588
245.94/241.98	o 653660
245.94/241.98	o 655353
245.94/241.98	o 656163
245.94/241.98	o 657856
245.94/241.98	o 659533
245.94/241.98	o 659790
245.94/241.98	o 659928
245.94/241.98	o 660028
245.94/241.98	o 662531
245.94/241.98	o 664224
245.94/241.99	o 664296
245.94/241.99	o 665989
245.94/241.99	o 666799
245.94/241.99	o 668492
245.94/241.99	o 670000
245.94/241.99	o 671236
245.94/241.99	o 672158
245.94/241.99	o 672415
245.94/241.99	o 673225
245.94/241.99	o 674918
245.94/241.99	o 675190
245.94/241.99	o 676426
245.94/242.00	o 676699
245.94/242.00	o 678038
245.94/242.00	o 678223
245.94/242.00	o 679731
245.94/242.00	o 680967
245.94/242.00	o 681436
245.94/242.00	o 681455
245.94/242.00	o 681593
245.94/242.00	o 681693
245.94/242.00	o 682503
245.94/242.00	o 684196
245.94/242.00	o 684468
245.94/242.00	o 685704
245.94/242.01	o 685718
245.94/242.01	o 686954
246.11/242.01	o 687227
246.11/242.01	o 688751
246.11/242.01	o 690259
246.11/242.01	o 691495
246.11/242.01	o 691992
246.11/242.01	o 692189
246.11/242.01	o 692686
246.11/242.01	o 693697
246.11/242.01	o 694194
246.11/242.01	o 694390
246.11/242.01	o 694423
246.11/242.02	o 695233
246.11/242.02	o 696926
246.11/242.02	o 697198
246.11/242.02	o 698434
246.11/242.02	o 698931
246.11/242.02	o 699053
246.11/242.02	o 699792
246.11/242.02	o 700289
246.11/242.02	o 701328
246.11/242.02	o 703021
246.11/242.02	o 704529
246.11/242.02	o 705026
246.11/242.02	o 706329
246.11/242.02	o 706467
246.11/242.03	o 707562
246.11/242.03	o 709070
246.11/242.03	o 709567
246.11/242.03	o 710594
246.11/242.03	o 711091
246.11/242.03	o 711830
246.11/242.03	o 712327
246.11/242.03	o 713338
246.11/242.03	o 713835
246.11/242.03	o 715275
246.11/242.03	o 715772
246.11/242.03	o 716596
246.11/242.03	o 717093
246.11/242.04	o 717289
246.11/242.04	o 717562
246.11/242.04	o 718132
246.11/242.04	o 719825
246.11/242.04	o 721333
246.11/242.04	o 721830
246.11/242.04	o 721888
246.11/242.04	o 722302
246.11/242.04	o 722731
246.11/242.04	o 724239
246.11/242.04	o 724736
246.11/242.04	o 724921
246.11/242.04	o 725932
246.11/242.05	o 726429
246.11/242.05	o 726999
246.11/242.05	o 728507
246.11/242.05	o 728692
246.11/242.05	o 730200
246.11/242.05	o 730697
246.11/242.05	o 730705
246.11/242.05	o 731716
246.11/242.05	o 732213
246.11/242.05	o 732486
246.11/242.05	o 732627
246.11/242.05	o 733056
246.11/242.05	o 734564
246.11/242.06	o 734749
246.11/242.06	o 736257
246.11/242.06	o 736754
246.11/242.06	o 737309
246.11/242.06	o 737806
246.11/242.06	o 738376
246.11/242.06	o 739884
246.11/242.06	o 740069
246.11/242.06	o 741577
246.11/242.06	o 742074
246.11/242.06	o 742694
246.11/242.07	o 743089
246.11/242.07	o 744184
246.11/242.07	o 745692
246.11/242.07	o 745877
246.11/242.07	o 747385
246.11/242.07	o 747882
246.11/242.07	o 748921
246.11/242.07	o 750614
246.11/242.07	o 751111
246.11/242.08	o 752122
246.11/242.08	o 752619
246.11/242.08	o 752701
246.11/242.08	o 753330
246.11/242.08	o 753581
246.11/242.08	o 753772
246.11/242.08	o 753910
246.11/242.08	o 754820
246.11/242.08	o 756513
246.11/242.08	o 758021
246.11/242.09	o 758518
246.11/242.09	o 759557
246.11/242.09	o 761065
246.11/242.09	o 761562
246.11/242.09	o 761747
246.11/242.09	o 762758
246.11/242.09	o 763255
246.11/242.09	o 764098
246.11/242.09	o 765606
246.11/242.09	o 765791
246.11/242.09	o 767299
246.11/242.09	o 767796
246.11/242.09	o 768602
246.11/242.09	o 770295
246.11/242.10	o 770792
246.11/242.10	o 771803
246.11/242.10	o 772300
246.11/242.10	o 773079
246.11/242.10	o 773576
246.11/242.10	o 775075
246.11/242.10	o 775213
246.11/242.10	o 776123
246.11/242.10	o 777816
246.11/242.10	o 778313
246.11/242.11	o 778377
246.11/242.11	o 778423
246.24/242.11	o 778674
246.24/242.11	o 779876
246.24/242.11	o 780014
246.24/242.11	o 782617
246.24/242.11	o 783114
246.24/242.11	o 785132
246.24/242.11	o 785629
246.24/242.11	o 787158
246.24/242.11	o 787655
246.24/242.11	o 789673
246.24/242.11	o 790170
246.24/242.12	o 790540
246.24/242.12	o 791037
246.24/242.12	o 791326
246.24/242.12	o 792477
246.24/242.12	o 793344
246.24/242.12	o 793841
246.24/242.12	o 794037
246.24/242.12	o 794473
246.24/242.13	o 794970
246.24/242.13	o 797214
246.24/242.13	o 797711
246.24/242.13	o 798081
246.24/242.13	o 798578
246.24/242.13	o 800544
246.24/242.13	o 801041
246.24/242.13	o 801411
246.24/242.13	o 801908
246.24/242.14	o 803469
246.24/242.14	o 804349
246.24/242.14	o 806048
246.24/242.14	o 806186
246.24/242.14	o 808789
246.24/242.14	o 809286
246.24/242.14	o 809656
246.24/242.14	o 810153
250.75/245.71	o 811767
250.75/245.72	o 811974
250.75/245.72	o 813053
250.75/245.72	o 813260
250.75/245.72	o 813920
250.75/245.72	o 814127
250.75/245.72	o 814920
250.75/245.72	o 815787
250.75/245.72	o 815994
250.75/245.73	o 816485
250.75/245.73	o 816692
250.75/245.74	o 817302
250.75/245.74	o 818588
250.75/245.74	o 818795
250.75/245.74	o 819455
250.75/245.74	o 819662
250.75/245.74	o 820265
250.75/245.74	o 820600
250.75/245.74	o 820684
250.75/245.74	o 820865
250.75/245.74	o 821501
250.75/245.74	o 822787
250.75/245.74	o 823654
250.75/245.74	o 823861
250.75/245.75	o 824235
250.75/245.75	o 824442
250.75/245.75	o 824654
250.75/245.75	o 825521
250.75/245.75	o 825728
250.75/245.76	o 825756
250.75/245.76	o 825963
250.75/245.76	o 826657
250.75/245.76	o 827943
250.75/245.77	o 828150
250.75/245.77	o 828689
250.75/245.77	o 828896
250.75/245.78	o 829270
250.75/245.78	o 830556
250.75/245.78	o 830763
250.85/245.81	o 830862
250.85/245.82	o 831069
250.85/245.83	o 831578
250.85/245.83	o 831785
250.85/245.84	o 832735
250.85/245.84	o 832942
250.85/245.84	o 833545
250.85/245.84	o 834831
250.85/245.84	o 835648
250.85/245.84	o 836934
250.85/245.84	o 837141
250.85/245.85	o 837515
250.85/245.85	o 837722
250.85/245.85	o 838801
250.85/245.85	o 839008
250.96/245.93	o 839117
250.96/245.93	o 839324
250.96/245.93	o 839815
250.96/245.93	o 840022
250.96/245.93	o 840462
250.96/245.93	o 840669
250.96/245.93	o 840853
250.96/245.94	o 842139
250.96/245.94	o 843375
250.96/245.94	o 844661
250.96/245.94	o 844868
250.96/245.94	o 845407
250.96/245.94	o 845614
250.96/245.95	o 845988
250.96/245.95	o 847274
250.96/245.95	o 847481
250.96/245.98	o 847565
250.96/246.00	o 847737
250.96/246.00	o 847944
251.06/246.03	o 848213
251.06/246.04	o 849499
251.06/246.05	o 849671
251.06/246.05	o 849878
251.06/246.10	o 850080
251.06/246.10	o 851366
251.06/246.10	o 851538
251.06/246.10	o 851745
251.17/246.15	o 851799
251.17/246.15	o 852435
251.17/246.15	o 853721
251.17/246.17	o 854445
251.17/246.17	o 855731
251.17/246.17	o 856744
251.17/246.17	o 857493
251.17/246.17	o 857577
251.17/246.18	o 857758
251.17/246.18	o 859680
251.17/246.18	o 860966
251.28/246.22	o 861464
251.28/246.22	o 861648
251.28/246.22	o 862549
251.28/246.22	o 863835
251.28/246.22	o 864471
251.28/246.22	o 865757
251.28/246.23	o 867784
251.28/246.23	o 869070
251.28/246.23	o 869706
251.28/246.23	o 870992
251.28/246.30	o 871325
251.28/246.30	o 872410
251.39/246.30	o 873696
251.39/246.30	o 874709
251.39/246.31	o 875274
251.39/246.31	o 875458
251.39/246.31	o 875723
251.39/246.31	o 877645
251.39/246.32	o 878931
251.39/246.34	o 880521
251.39/246.34	o 881807
251.39/246.34	o 882443
251.39/246.34	o 883729
251.39/246.34	o 884310
251.39/246.34	o 885596
251.39/246.35	o 885756
251.39/246.35	o 887678
251.39/246.35	o 888964
251.49/246.47	o 890087
251.49/246.47	o 890723
251.49/246.47	o 892009
251.49/246.48	o 892157
251.49/246.49	o 893771
251.49/246.49	o 894036
251.49/246.49	o 895958
251.49/246.49	o 897244
251.59/246.58	o 898747
251.59/246.58	o 900033
251.59/246.58	o 900669
251.59/246.58	o 901955
251.59/246.58	o 902536
251.59/246.58	o 903822
251.59/246.59	o 903982
251.59/246.59	o 905904
251.59/246.59	o 907190
251.59/246.60	o 908608
251.59/246.60	o 909894
251.69/246.60	o 910042
251.69/246.60	o 911656
251.69/246.60	o 911921
251.69/246.60	o 913843
251.69/246.60	o 915129
252.13/247.04	o 915768
252.13/247.08	o 915928
252.13/247.08	o 917850
252.13/247.08	o 919136
252.32/247.26	o 919472
252.32/247.26	o 920065
252.32/247.26	o 921351
252.32/247.26	o 921987
252.32/247.26	o 923273
253.03/247.96	o 924496
253.24/248.14	o 925077
253.24/248.14	o 926363
266.57/260.98	o 927689
266.57/260.98	o 928370
266.57/260.98	o 929183
266.57/260.98	o 929864
266.57/260.98	o 930940
266.57/260.98	o 931978
266.57/260.98	o 935146
266.57/260.98	o 936640
266.57/260.98	o 937321
266.57/260.98	o 939981
266.57/260.98	o 944643
266.57/260.98	o 945324
266.57/260.99	o 946137
266.57/260.99	o 946818
266.57/260.99	o 947978
266.57/260.99	o 948780
266.57/260.99	o 950018
266.57/260.99	o 952813
266.57/260.99	o 957475
266.57/261.00	o 958156
266.57/261.00	o 958604
266.57/261.00	o 959285
266.57/261.00	o 963266
266.57/261.01	o 963947
266.70/261.01	o 966894
266.70/261.01	o 967575
266.70/261.01	o 971556
266.70/261.01	o 972237
277.97/272.03	o 972505
277.97/272.03	o 975246
277.97/272.03	o 977771
277.97/272.03	o 980512
277.97/272.03	o 984706
277.97/272.03	o 988240
277.97/272.03	o 993506
277.97/272.04	o 996247
277.97/272.04	o 996772
277.97/272.04	o 999297
277.97/272.04	o 1002038
278.68/272.61	o 1002114
278.68/272.61	o 1003479
278.68/272.61	o 1004660
278.68/272.61	o 1006025
278.68/272.61	o 1009020
278.68/272.61	o 1010385
278.68/272.61	o 1011290
278.68/272.61	o 1013589
278.68/272.61	o 1014954
278.68/272.62	o 1016091
278.68/272.62	o 1018637
278.68/272.62	o 1020660
278.68/272.62	o 1023206
278.68/272.62	o 1024571
278.68/272.62	o 1024831
278.68/272.62	o 1025063
278.68/272.62	o 1025323
278.68/272.63	o 1026290
278.68/272.63	o 1026782
278.68/272.63	o 1027655
278.68/272.63	o 1028147
278.68/272.63	o 1028407
278.68/272.64	o 1028542
278.68/272.64	o 1029435
278.68/272.64	o 1030800
278.68/272.64	o 1031060
278.68/272.64	o 1031195
278.68/272.64	o 1031292
278.68/272.64	o 1031552
278.68/272.64	o 1031687
278.68/272.64	o 1032519
279.75/273.63	o 1034317
279.75/273.65	o 1034383
279.75/273.65	o 1035638
279.75/273.65	o 1037560
279.75/273.65	o 1037820
279.75/273.65	o 1037955
279.75/273.65	o 1038492
279.75/273.65	o 1038752
279.75/273.65	o 1038887
281.38/275.11	o 1039393
281.38/275.11	o 1039890
281.38/275.11	o 1041624
281.38/275.11	o 1042910
281.38/275.11	o 1043407
281.38/275.12	o 1043623
281.38/275.12	o 1044120
281.38/275.14	o 1045407
281.38/275.14	o 1046693
281.38/275.14	o 1047406
281.38/275.14	o 1047903
281.47/275.24	o 1048239
281.47/275.24	o 1048736
281.47/275.24	o 1048812
281.47/275.24	o 1049525
281.47/275.24	o 1050022
281.57/275.31	o 1051309
281.57/275.31	o 1051806
281.57/275.31	o 1052595
281.57/275.31	o 1053092
281.57/275.32	o 1053308
281.57/275.32	o 1053805
282.48/276.27	o 1053912
282.48/276.27	o 1055198
282.48/276.27	o 1055911
282.48/276.27	o 1056408
284.06/277.78	o 1056770
284.06/277.79	o 1058020
284.06/277.79	o 1058733
284.06/277.79	o 1059976
284.06/277.79	o 1060689
284.06/277.79	o 1062163
284.06/277.79	o 1062876
284.26/277.98	o 1063141
284.26/277.98	o 1064073
284.26/277.98	o 1064984
284.26/277.98	o 1066906
284.26/277.98	o 1067838
284.26/277.98	o 1068205
284.26/277.98	o 1071038
284.26/277.98	o 1071970
284.26/277.99	o 1072960
284.26/277.99	o 1073892
284.26/278.00	o 1074283
284.26/278.00	o 1075215
284.37/278.01	o 1075607
284.37/278.01	o 1077529
284.37/278.02	o 1078852
284.37/278.02	o 1079784
284.37/278.04	o 1080191
284.37/278.04	o 1081477
284.37/278.04	o 1084418
284.37/278.05	o 1085704
284.37/278.05	o 1085851
284.37/278.05	o 1089109
284.37/278.05	o 1090395
284.37/278.05	o 1090542
284.37/278.05	o 1091089
284.37/278.05	o 1091236
284.37/278.05	o 1094499
284.37/278.06	o 1095785
284.37/278.06	o 1095932
284.49/278.14	o 1096475
284.49/278.14	o 1097428
284.49/278.16	o 1097530
284.49/278.17	o 1099307
284.49/278.17	o 1101331
284.49/278.18	o 1102284
284.49/278.18	o 1104006
284.49/278.18	o 1104959
284.49/278.18	o 1106030
284.49/278.19	o 1106983
284.59/278.25	o 1108498
284.59/278.25	o 1109784
284.59/278.25	o 1113223
284.59/278.25	o 1114509
284.69/278.40	o 1114895
284.80/278.41	o 1115167
284.80/278.41	o 1116218
284.80/278.42	o 1116483
284.80/278.42	o 1117763
284.80/278.42	o 1119086
284.80/278.42	o 1120137
284.80/278.44	o 1120272
284.80/278.47	o 1120813
284.80/278.47	o 1122136
284.80/278.48	o 1122271
284.80/278.49	o 1123187
284.80/278.49	o 1123322
285.00/278.66	o 1126143
285.23/278.78	o 1126891
285.34/278.87	o 1127418
285.34/278.87	o 1129259
285.34/278.87	o 1130545
285.34/278.87	o 1131622
285.34/278.87	o 1131659
285.34/278.87	o 1131868
285.34/278.88	o 1132945
285.44/278.97	o 1133884
285.44/278.97	o 1134597
285.44/278.98	o 1134816
285.44/278.99	o 1135529
285.56/279.08	o 1135605
285.56/279.08	o 1135865
285.56/279.08	o 1136102
285.56/279.08	o 1136362
285.56/279.08	o 1136432
285.56/279.08	o 1136712
285.56/279.08	o 1136928
285.56/279.08	o 1137425
285.56/279.08	o 1137685
285.56/279.09	o 1138120
285.56/279.09	o 1138693
285.56/279.09	o 1139406
285.56/279.10	o 1139666
285.56/279.10	o 1140016
285.56/279.10	o 1140276
285.56/279.10	o 1140729
285.56/279.10	o 1140989
285.56/279.10	o 1141226
285.56/279.10	o 1141486
285.67/279.11	o 1141778
285.67/279.12	o 1142108
285.67/279.12	o 1142388
285.67/279.12	o 1143101
285.67/279.13	o 1143598
285.67/279.13	o 1143858
299.12/292.26	o 1144794
299.25/292.31	o 1144823
299.25/292.31	o 1144968
299.25/292.31	o 1145900
299.25/292.31	o 1146035
299.25/292.37	o 1146387
299.46/292.50	o 1148027
300.20/293.27	o 1149592
300.20/293.28	o 1149852
300.44/293.42	o 1150170
300.44/293.42	o 1150522
300.44/293.42	o 1150698
300.44/293.42	o 1151411
300.44/293.42	o 1151763
300.44/293.45	o 1151792
300.44/293.47	o 1152314
300.44/293.47	o 1152666
300.44/293.47	o 1153555
300.44/293.47	o 1153907
300.44/293.49	o 1154062
300.44/293.49	o 1155055
300.44/293.49	o 1155303
300.44/293.50	o 1156296
300.54/293.50	o 1156648
300.54/293.50	o 1156676
300.54/293.50	o 1157028
300.54/293.50	o 1158369
300.54/293.50	o 1160291
300.54/293.51	o 1161532
300.54/293.51	o 1161884
300.54/293.51	o 1162525
300.54/293.51	o 1162877
300.54/293.53	o 1163560
300.54/293.53	o 1164061
300.54/293.53	o 1165983
300.54/293.53	o 1167224
300.54/293.54	o 1167576
300.54/293.54	o 1167937
300.54/293.54	o 1168289
314.84/307.57	o 1170008
314.84/307.57	o 1173773
314.84/307.57	o 1175695
315.38/308.07	o 1176014
315.51/308.12	o 1176764
330.83/323.15	o 1178184
330.95/323.23	o 1180714
330.95/323.23	o 1181791
331.18/323.41	o 1181890
331.18/323.42	o 1182902
331.18/323.42	o 1185089
331.18/323.42	o 1186330
331.49/323.79	o 1187899
331.59/323.80	o 1195884
331.59/323.82	o 1196236
331.59/323.87	o 1196713
331.59/323.87	o 1197790
331.59/323.89	o 1198142
331.69/323.97	o 1201862
331.69/323.97	o 1205762
331.81/324.03	o 1209082
331.81/324.03	o 1211192
331.81/324.03	o 1214609
331.81/324.03	o 1215895
331.81/324.03	o 1216458
331.81/324.04	o 1217744
331.81/324.04	o 1219875
331.81/324.04	o 1221161
331.81/324.04	o 1222478
331.81/324.04	o 1223764
348.78/340.62	o 1226272
348.78/340.62	o 1227349
348.78/340.62	o 1227484
348.78/340.62	o 1228070
348.78/340.62	o 1228205
348.78/340.62	o 1229147
348.78/340.62	o 1229282
348.94/340.79	o 1232727
348.94/340.79	o 1236492
349.08/340.80	o 1237733
349.08/340.80	o 1237887
349.08/340.81	o 1240411
349.08/340.81	o 1241652
349.18/340.95	o 1244189
349.18/340.95	o 1244723
349.18/340.95	o 1248623
349.18/340.95	o 1249579
349.18/340.96	o 1253479
349.29/341.08	o 1254234
349.29/341.08	o 1256156
349.29/341.08	o 1257088
349.29/341.08	o 1258925
349.29/341.08	o 1259857
349.29/341.08	o 1260847
349.29/341.08	o 1261779
349.60/341.31	o 1265381
349.60/341.31	o 1266667
349.70/341.43	o 1267534
349.90/341.69	o 1269888
349.90/341.69	o 1270023
349.90/341.69	o 1274550
349.90/341.69	o 1274685
350.00/341.74	o 1274716
350.00/341.74	o 1274861
350.00/341.74	o 1275213
350.10/341.83	o 1278180
350.10/341.86	o 1279699
350.10/341.86	o 1284423
351.56/343.30	o 1284470
351.66/343.32	o 1284967
351.66/343.32	o 1287185
351.66/343.32	o 1288117
351.66/343.32	o 1288262
351.66/343.32	o 1289194
351.76/343.48	o 1289981
351.76/343.48	o 1290913
353.21/344.84	o 1291265
372.33/363.56	o 1292017
372.33/363.56	o 1293094
372.33/363.57	o 1293591
372.33/363.57	o 1293800
372.33/363.57	o 1294380
372.33/363.57	o 1294877
372.43/363.63	o 1295386
372.74/363.95	o 1295718
372.74/363.95	o 1295869
372.74/363.95	o 1297155
372.85/364.08	o 1299562
372.85/364.08	o 1300655
372.85/364.08	o 1301715
372.85/364.08	o 1304318
373.88/365.07	o 1304363
373.88/365.08	o 1305230
376.16/367.29	o 1305773
376.16/367.29	o 1305908
376.26/367.36	o 1307340
376.36/367.45	o 1309970
376.36/367.45	o 1310837
376.36/367.45	o 1311088
376.36/367.45	o 1314695
376.36/367.45	o 1315562
376.36/367.47	o 1316009
376.36/367.48	o 1318612
376.47/367.54	o 1319781
376.47/367.58	o 1320936
431.59/421.21	o 1320973
431.59/421.21	o 1322270
431.59/421.21	o 1322405
431.59/421.21	o 1322825
431.59/421.22	o 1323829
431.59/421.22	o 1325000
431.59/421.22	o 1326432
431.59/421.22	o 1326567
432.22/421.85	o 1326844
432.22/421.85	o 1326979
432.22/421.89	o 1328276
432.22/421.89	o 1328411
472.48/461.02	o 1328535
484.72/472.59	o 1329658
484.92/472.75	o 1329715
484.92/472.75	o 1330582
515.61/503.00	o 1330787
515.71/503.02	o 1331139
520.12/507.37	o 1333411
520.12/507.37	o 1334566
520.12/507.37	o 1334701
521.14/508.30	o 1334835
615.11/599.85	o 1335508
615.11/599.85	o 1335643
615.42/600.14	o 1336585
615.42/600.17	o 1336720
633.71/618.07	o 1337056
633.81/618.12	o 1339470
633.81/618.12	o 1340835
633.81/618.12	o 1341912
651.30/635.20	o 1342967
651.30/635.20	o 1345570
672.88/656.31	o 1346725
713.79/696.30	o 1347394
713.79/696.39	o 1348549
757.93/739.54	o 1350318
788.42/768.67	o 1352583
788.52/768.70	o 1352935
1011.62/986.48	o 1353873
1011.62/986.48	o 1354377
1011.62/986.48	o 1358035
1014.07/988.86	o 1358832
1014.07/988.86	o 1358967
1015.93/990.60	o 1360083
1015.93/990.60	o 1363050
1015.93/990.60	o 1364205
1330.22/1297.09	o 1365244
1349.60/1315.57	o 1365281
1349.60/1315.57	o 1365416
1349.60/1315.57	o 1366358
1349.60/1315.57	o 1366493
1492.08/1454.33	o 1366743
1492.08/1454.33	o 1369042
1492.08/1454.33	o 1370407
1492.08/1454.37	o 1371484
1492.38/1454.61	o 1373798
1492.38/1454.61	o 1374875
1492.38/1454.65	o 1375163
1492.38/1454.65	o 1376240
1492.38/1454.65	o 1376375
1498.46/1460.61	o 1383002
1498.46/1460.61	o 1383869
1566.40/1527.13	o 1385150
1566.40/1527.14	o 1386227
1566.40/1527.14	o 1386362
1566.40/1527.14	o 1388808
1566.40/1527.14	o 1388943
1566.40/1527.14	o 1389885
1566.40/1527.14	o 1390020
1567.71/1528.40	o 1390830
1977.14/1927.35	o 1393615
1977.14/1927.35	o 1394547
1977.14/1927.35	o 1398881
1977.14/1927.35	o 1399813
1980.21/1930.31	o 1401931
1980.21/1930.31	o 1402863
2400.00/2340.01	s SATISFIABLE
2400.00/2340.01	v <instantiation>
2400.00/2340.01	v 	<list>
2400.00/2340.01	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]
2400.00/2340.01	v 	</list>
2400.00/2340.01	v 	<values>
2400.00/2340.01	v 		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 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 
2400.00/2340.01	v 	</values>
2400.00/2340.01	v </instantiation>

Verifier Data 

OK	1402863

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291761-1532261360/watcher-4291761-1532261360 -o /tmp/evaluation-result-4291761-1532261360/solver-4291761-1532261360 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532261360-2532 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 457920494 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291761-1532261360.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Starting watchdog thread
solver pid=2565, runsolver pid=2558
Current StackSize limit: 8192 KiB


[startup+0.100466 s]*
/proc/loadavg: 0.51 0.61 0.78 4/218 2594
/proc/meminfo: memFree=25062324/32770624 swapFree=67108852/67108860
[pid=2565] ppid=2558 vsize=14082740 memory=31428 CPUtime=0.11 cores=0,2,4,6
/proc/2565/stat : 2565 (java) S 2558 2565 2501 0 -1 1077944320 6798 0 0 0 10 1 0 0 20 0 15 0 43699180 14420725760 7857 33554432000 4194304 4196468 140727502596464 140727502579008 139656405405431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
/proc/2565/statm: 3520685 7857 3136 1 0 3482761 0
[pid=2565/tid=2568] ppid=2558 vsize=14082740 memory=-8253362762721355408 CPUtime=0.09 cores=0,2,4,6
/proc/2565/task/2568/stat : 2568 (java) R 2558 2565 2501 0 -1 4202560 5067 0 0 0 8 1 0 0 20 0 15 0 43699181 14420725760 8055 33554432000 4194304 4196468 140727502596464 139656409611552 139656385681259 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2573] ppid=2558 vsize=14082740 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2573/stat : 2573 (java) S 2558 2565 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699181 14420725760 8055 33554432000 4194304 4196468 140727502596464 139656366365200 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2574] ppid=2558 vsize=14082740 memory=139678282323584 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2574/stat : 2574 (java) S 2558 2565 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699181 14420725760 8055 33554432000 4194304 4196468 140727502596464 139655999892112 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2575] ppid=2558 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2575/stat : 2575 (java) S 2558 2565 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699181 14420725760 8055 33554432000 4194304 4196468 140727502596464 139655998839056 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2576] ppid=2558 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2576/stat : 2576 (java) S 2558 2565 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43699181 14420725760 8055 33554432000 4194304 4196468 140727502596464 139655997786512 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2578] ppid=2558 vsize=14082740 memory=139678282323584 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2578/stat : 2578 (java) S 2558 2565 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43699183 14420725760 8055 33554432000 4194304 4196468 140727502596464 139655880051440 139656405416578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2580] ppid=2558 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2580/stat : 2580 (java) S 2558 2565 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43699183 14420725760 8121 33554432000 4194304 4196468 140727502596464 139655878997664 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2582] ppid=2558 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2582/stat : 2582 (java) S 2558 2565 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43699183 14420725760 8121 33554432000 4194304 4196468 140727502596464 139655877944560 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2587] ppid=2558 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2587/stat : 2587 (java) S 2558 2565 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699186 14420725760 8121 33554432000 4194304 4196468 140727502596464 139655876893136 139656405424027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2588] ppid=2558 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2588/stat : 2588 (java) S 2558 2565 2501 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 43699186 14420725760 8121 33554432000 4194304 4196468 140727502596464 139655875840240 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2589] ppid=2558 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2589/stat : 2589 (java) S 2558 2565 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699186 14420725760 8121 33554432000 4194304 4196468 140727502596464 139655874787696 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2590] ppid=2558 vsize=14082740 memory=139678282323584 CPUtime=0.01 cores=0,2,4,6
/proc/2565/task/2590/stat : 2590 (java) S 2558 2565 2501 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 15 0 43699186 14420725760 8121 33554432000 4194304 4196468 140727502596464 139655873734640 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2592] ppid=2558 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2592/stat : 2592 (java) S 2558 2565 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699186 14420725760 8121 33554432000 4194304 4196468 140727502596464 139655872682336 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2594] ppid=2558 vsize=14082740 memory=139678282323584 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2594/stat : 2594 (java) S 2558 2565 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699186 14420725760 8121 33554432000 4194304 4196468 140727502596464 139655871630384 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31428 KiB

[startup+0.2103 s]*
/proc/loadavg: 0.51 0.61 0.78 8/218 2594
/proc/meminfo: memFree=25032184/32770624 swapFree=67108852/67108860
[pid=2565] ppid=2558 vsize=14082740 memory=46884 CPUtime=0.3 cores=0,2,4,6
/proc/2565/stat : 2565 (java) S 2558 2565 2501 0 -1 1077944320 10322 0 0 0 27 3 0 0 20 0 15 0 43699180 14420725760 11721 33554432000 4194304 4196468 140727502596464 140727502579008 139656405405431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
/proc/2565/statm: 3520685 11721 3364 1 0 3482761 0
[pid=2565/tid=2568] ppid=2558 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/2565/task/2568/stat : 2568 (java) R 2558 2565 2501 0 -1 1077944384 8041 0 0 0 18 2 0 0 20 0 15 0 43699181 14420725760 11721 33554432000 4194304 4196468 140727502596464 139656409633776 139656405415637 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2573] ppid=2558 vsize=14082740 memory=343 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2573/stat : 2573 (java) S 2558 2565 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699181 14420725760 11721 33554432000 4194304 4196468 140727502596464 139656366365200 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2574] ppid=2558 vsize=14082740 memory=139678282326406 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2574/stat : 2574 (java) S 2558 2565 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699181 14420725760 11721 33554432000 4194304 4196468 140727502596464 139655999892112 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2575] ppid=2558 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2575/stat : 2575 (java) S 2558 2565 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699181 14420725760 11721 33554432000 4194304 4196468 140727502596464 139655998839056 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2576] ppid=2558 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2576/stat : 2576 (java) S 2558 2565 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43699181 14420725760 11721 33554432000 4194304 4196468 140727502596464 139655997786512 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2578] ppid=2558 vsize=14082740 memory=139678282323584 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2578/stat : 2578 (java) S 2558 2565 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43699183 14420725760 11721 33554432000 4194304 4196468 140727502596464 139655880051440 139656405416578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2580] ppid=2558 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2580/stat : 2580 (java) S 2558 2565 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43699183 14420725760 11721 33554432000 4194304 4196468 140727502596464 139655878997664 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2582] ppid=2558 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2582/stat : 2582 (java) S 2558 2565 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43699183 14420725760 11721 33554432000 4194304 4196468 140727502596464 139655877944560 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2587] ppid=2558 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2587/stat : 2587 (java) S 2558 2565 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699186 14420725760 11721 33554432000 4194304 4196468 140727502596464 139655876893136 139656405424027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2588] ppid=2558 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2565/task/2588/stat : 2588 (java) R 2558 2565 2501 0 -1 4202560 421 0 0 0 1 0 0 0 20 0 15 0 43699186 14420725760 11721 33554432000 4194304 4196468 140727502596464 139655875821256 139656385099536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2589] ppid=2558 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2565/task/2589/stat : 2589 (java) S 2558 2565 2501 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 15 0 43699186 14420725760 11721 33554432000 4194304 4196468 140727502596464 139655874787696 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2590] ppid=2558 vsize=14082740 memory=139678282323584 CPUtime=0.06 cores=0,2,4,6
/proc/2565/task/2590/stat : 2590 (java) S 2558 2565 2501 0 -1 1077944384 320 0 0 0 6 0 0 0 20 0 15 0 43699186 14420725760 11721 33554432000 4194304 4196468 140727502596464 139655873734640 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2592] ppid=2558 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2592/stat : 2592 (java) S 2558 2565 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699186 14420725760 11721 33554432000 4194304 4196468 140727502596464 139655872682336 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2594] ppid=2558 vsize=14082740 memory=139678282323584 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2594/stat : 2594 (java) S 2558 2565 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699186 14420725760 11721 33554432000 4194304 4196468 140727502596464 139655871630384 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46884 KiB

[startup+0.311506 s]*
/proc/loadavg: 0.51 0.61 0.78 4/218 2594
/proc/meminfo: memFree=25024120/32770624 swapFree=67108852/67108860
[pid=2565] ppid=2558 vsize=14082740 memory=50596 CPUtime=0.42 cores=0,2,4,6
/proc/2565/stat : 2565 (java) S 2558 2565 2501 0 -1 1077944320 10766 0 0 0 39 3 0 0 20 0 15 0 43699180 14420725760 12649 33554432000 4194304 4196468 140727502596464 140727502579008 139656405405431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
/proc/2565/statm: 3520685 12649 3369 1 0 3482761 0
[pid=2565/tid=2568] ppid=2558 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/2565/task/2568/stat : 2568 (java) R 2558 2565 2501 0 -1 4202560 8423 0 0 0 27 2 0 0 20 0 15 0 43699181 14420725760 12649 33554432000 4194304 4196468 140727502596464 139656409606488 139656390571086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2573] ppid=2558 vsize=14082740 memory=290763879498383383 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2573/stat : 2573 (java) S 2558 2565 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699181 14420725760 12649 33554432000 4194304 4196468 140727502596464 139656366365200 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2574] ppid=2558 vsize=14082740 memory=15397829613360792 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2574/stat : 2574 (java) S 2558 2565 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699181 14420725760 12649 33554432000 4194304 4196468 140727502596464 139655999892112 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2575] ppid=2558 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2575/stat : 2575 (java) S 2558 2565 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699181 14420725760 12649 33554432000 4194304 4196468 140727502596464 139655998839056 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2576] ppid=2558 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2576/stat : 2576 (java) S 2558 2565 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43699181 14420725760 12649 33554432000 4194304 4196468 140727502596464 139655997786512 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2578] ppid=2558 vsize=14082740 memory=139678282323584 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2578/stat : 2578 (java) S 2558 2565 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43699183 14420725760 12649 33554432000 4194304 4196468 140727502596464 139655880051440 139656405416578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2580] ppid=2558 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2580/stat : 2580 (java) S 2558 2565 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43699183 14420725760 12649 33554432000 4194304 4196468 140727502596464 139655878997664 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2582] ppid=2558 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2582/stat : 2582 (java) S 2558 2565 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43699183 14420725760 12649 33554432000 4194304 4196468 140727502596464 139655877944560 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2587] ppid=2558 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2587/stat : 2587 (java) S 2558 2565 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699186 14420725760 12649 33554432000 4194304 4196468 140727502596464 139655876893136 139656405424027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2588] ppid=2558 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2565/task/2588/stat : 2588 (java) S 2558 2565 2501 0 -1 1077944384 439 0 0 0 2 0 0 0 20 0 15 0 43699186 14420725760 12649 33554432000 4194304 4196468 140727502596464 139655875840240 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2589] ppid=2558 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2565/task/2589/stat : 2589 (java) S 2558 2565 2501 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 15 0 43699186 14420725760 12649 33554432000 4194304 4196468 140727502596464 139655874787696 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2590] ppid=2558 vsize=14082740 memory=139678282323584 CPUtime=0.08 cores=0,2,4,6
/proc/2565/task/2590/stat : 2590 (java) S 2558 2565 2501 0 -1 1077944384 342 0 0 0 8 0 0 0 20 0 15 0 43699186 14420725760 12649 33554432000 4194304 4196468 140727502596464 139655873734640 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2592] ppid=2558 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2592/stat : 2592 (java) S 2558 2565 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699186 14420725760 12649 33554432000 4194304 4196468 140727502596464 139655872682336 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2594] ppid=2558 vsize=14082740 memory=139678282323584 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2594/stat : 2594 (java) S 2558 2565 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699186 14420725760 12649 33554432000 4194304 4196468 140727502596464 139655871630384 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50596 KiB

[startup+0.700704 s]
/proc/loadavg: 0.51 0.61 0.78 5/218 2594
/proc/meminfo: memFree=24977924/32770624 swapFree=67108852/67108860
[pid=2565] ppid=2558 vsize=14084808 memory=86632 CPUtime=0.97 cores=0,2,4,6
/proc/2565/stat : 2565 (java) S 2558 2565 2501 0 -1 1077944320 17541 0 0 0 92 5 0 0 20 0 15 0 43699180 14422843392 21658 33554432000 4194304 4196468 140727502596464 140727502579008 139656405405431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
/proc/2565/statm: 3521202 21658 3502 1 0 3483273 0
[pid=2565/tid=2568] ppid=2558 vsize=14084808 memory=9200 CPUtime=0.67 cores=0,2,4,6
/proc/2565/task/2568/stat : 2568 (java) R 2558 2565 2501 0 -1 4202560 14812 0 0 0 63 4 0 0 20 0 15 0 43699181 14422843392 21658 33554432000 4194304 4196468 140727502596464 139656409623344 139656405427357 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2573] ppid=2558 vsize=14084808 memory=16432 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2573/stat : 2573 (java) S 2558 2565 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699181 14422843392 21658 33554432000 4194304 4196468 140727502596464 139656366365200 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2574] ppid=2558 vsize=14084808 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2574/stat : 2574 (java) S 2558 2565 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699181 14422843392 21658 33554432000 4194304 4196468 140727502596464 139655999892112 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2575] ppid=2558 vsize=14084808 memory=644 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2575/stat : 2575 (java) S 2558 2565 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699181 14422843392 21658 33554432000 4194304 4196468 140727502596464 139655998839056 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2576] ppid=2558 vsize=14084808 memory=956 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2576/stat : 2576 (java) S 2558 2565 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43699181 14422843392 21658 33554432000 4194304 4196468 140727502596464 139655997786512 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2578] ppid=2558 vsize=14084808 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2578/stat : 2578 (java) S 2558 2565 2501 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43699183 14422843392 21658 33554432000 4194304 4196468 140727502596464 139655880051440 139656405416578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2580] ppid=2558 vsize=14084808 memory=2336 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2580/stat : 2580 (java) S 2558 2565 2501 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43699183 14422843392 21658 33554432000 4194304 4196468 140727502596464 139655878997664 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2582] ppid=2558 vsize=14084808 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2582/stat : 2582 (java) S 2558 2565 2501 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43699183 14422843392 21658 33554432000 4194304 4196468 140727502596464 139655877944560 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2587] ppid=2558 vsize=14084808 memory=6153431502485415780 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2587/stat : 2587 (java) S 2558 2565 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699186 14422843392 21658 33554432000 4194304 4196468 140727502596464 139655876893136 139656405424027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2588] ppid=2558 vsize=14084808 memory=7881696724453321575 CPUtime=0.06 cores=0,2,4,6
/proc/2565/task/2588/stat : 2588 (java) S 2558 2565 2501 0 -1 1077944384 582 0 0 0 6 0 0 0 20 0 15 0 43699186 14422843392 21658 33554432000 4194304 4196468 140727502596464 139655875840240 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2589] ppid=2558 vsize=14084808 memory=7444843076533644388 CPUtime=0.07 cores=0,2,4,6
/proc/2565/task/2589/stat : 2589 (java) S 2558 2565 2501 0 -1 1077944384 348 0 0 0 7 0 0 0 20 0 15 0 43699186 14422843392 21658 33554432000 4194304 4196468 140727502596464 139655874787696 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2590] ppid=2558 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/2565/task/2590/stat : 2590 (java) S 2558 2565 2501 0 -1 1077944384 417 0 0 0 15 0 0 0 20 0 15 0 43699186 14422843392 21658 33554432000 4194304 4196468 140727502596464 139655873734640 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2592] ppid=2558 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2592/stat : 2592 (java) S 2558 2565 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699186 14422843392 21658 33554432000 4194304 4196468 140727502596464 139655872682336 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2594] ppid=2558 vsize=14084808 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2594/stat : 2594 (java) S 2558 2565 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699186 14422843392 21658 33554432000 4194304 4196468 140727502596464 139655871630384 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 86632 KiB

[startup+1.50066 s]
/proc/loadavg: 0.71 0.65 0.79 10/218 2594
/proc/meminfo: memFree=24883468/32770624 swapFree=67108852/67108860
[pid=2565] ppid=2558 vsize=14086856 memory=184616 CPUtime=2.77 cores=0,2,4,6
/proc/2565/stat : 2565 (java) S 2558 2565 2501 0 -1 1077944320 22806 0 0 0 270 7 0 0 20 0 15 0 43699180 14424940544 46154 33554432000 4194304 4196468 140727502596464 140727502579008 139656405405431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
/proc/2565/statm: 3521714 46154 3550 1 0 3483785 0
[pid=2565/tid=2568] ppid=2558 vsize=14086856 memory=145704 CPUtime=1.47 cores=0,2,4,6
/proc/2565/task/2568/stat : 2568 (java) R 2558 2565 2501 0 -1 4202560 17265 0 0 0 141 6 0 0 20 0 15 0 43699181 14424940544 46154 33554432000 4194304 4196468 140727502596464 139656409641104 139656046259871 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2573] ppid=2558 vsize=14086856 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2573/stat : 2573 (java) S 2558 2565 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699181 14424940544 46154 33554432000 4194304 4196468 140727502596464 139656366365200 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2574] ppid=2558 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2574/stat : 2574 (java) S 2558 2565 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699181 14424940544 46154 33554432000 4194304 4196468 140727502596464 139655999892112 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2575] ppid=2558 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2575/stat : 2575 (java) S 2558 2565 2501 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43699181 14424940544 46154 33554432000 4194304 4196468 140727502596464 139655998839056 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2576] ppid=2558 vsize=14086856 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2576/stat : 2576 (java) S 2558 2565 2501 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43699181 14424940544 46154 33554432000 4194304 4196468 140727502596464 139655997786512 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2578] ppid=2558 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6

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

/proc/2565/task/2568/stat : 2568 (java) R 2558 2565 2501 0 -1 4202560 127315 0 0 0 218161 62 0 0 20 0 15 0 43699181 14431232000 229916 33554432000 4194304 4196468 140727502596464 139656409642448 139656051005206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2573] ppid=2558 vsize=14093000 memory=926356 CPUtime=16.52 cores=0,2,4,6
/proc/2565/task/2573/stat : 2573 (java) S 2558 2565 2501 0 -1 1077944384 21560 0 0 0 1582 70 0 0 20 0 15 0 43699181 14431232000 229916 33554432000 4194304 4196468 140727502596464 139656366365200 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2574] ppid=2558 vsize=14093000 memory=919664 CPUtime=16.48 cores=0,2,4,6
/proc/2565/task/2574/stat : 2574 (java) S 2558 2565 2501 0 -1 1077944384 22150 0 0 0 1575 73 0 0 20 0 15 0 43699181 14431232000 229916 33554432000 4194304 4196468 140727502596464 139655999892112 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2575] ppid=2558 vsize=14093000 memory=3224 CPUtime=16.48 cores=0,2,4,6
/proc/2565/task/2575/stat : 2575 (java) S 2558 2565 2501 0 -1 1077944384 24950 0 0 0 1577 71 0 0 20 0 15 0 43699181 14431232000 229916 33554432000 4194304 4196468 140727502596464 139655998839056 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2576] ppid=2558 vsize=14093000 memory=813900 CPUtime=16.55 cores=0,2,4,6
/proc/2565/task/2576/stat : 2576 (java) S 2558 2565 2501 0 -1 1077944384 22105 0 0 0 1582 73 0 0 20 0 15 0 43699181 14431232000 229916 33554432000 4194304 4196468 140727502596464 139655997786512 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2578] ppid=2558 vsize=14093000 memory=0 CPUtime=2.21 cores=0,2,4,6
/proc/2565/task/2578/stat : 2578 (java) S 2558 2565 2501 0 -1 1077944384 41032 0 0 0 188 33 0 0 20 0 15 0 43699183 14431232000 229916 33554432000 4194304 4196468 140727502596464 139655880051440 139656405416578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2580] ppid=2558 vsize=14093000 memory=24292 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2580/stat : 2580 (java) S 2558 2565 2501 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 43699183 14431232000 229916 33554432000 4194304 4196468 140727502596464 139655878997728 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2582] ppid=2558 vsize=14093000 memory=791328 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2582/stat : 2582 (java) S 2558 2565 2501 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 43699183 14431232000 229916 33554432000 4194304 4196468 140727502596464 139655877944576 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2587] ppid=2558 vsize=14093000 memory=813900 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2587/stat : 2587 (java) S 2558 2565 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699186 14431232000 229916 33554432000 4194304 4196468 140727502596464 139655876893136 139656405424027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2588] ppid=2558 vsize=14093000 memory=925308 CPUtime=3.39 cores=0,2,4,6
/proc/2565/task/2588/stat : 2588 (java) S 2558 2565 2501 0 -1 1077944384 12202 0 0 0 337 2 0 0 20 0 15 0 43699186 14431232000 229916 33554432000 4194304 4196468 140727502596464 139655875840240 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2589] ppid=2558 vsize=14093000 memory=925308 CPUtime=2.99 cores=0,2,4,6
/proc/2565/task/2589/stat : 2589 (java) S 2558 2565 2501 0 -1 1077944384 9724 0 0 0 297 2 0 0 20 0 15 0 43699186 14431232000 229916 33554432000 4194304 4196468 140727502596464 139655874787696 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2590] ppid=2558 vsize=14093000 memory=10936 CPUtime=1.25 cores=0,2,4,6
/proc/2565/task/2590/stat : 2590 (java) S 2558 2565 2501 0 -1 1077944384 15061 0 0 0 123 2 0 0 20 0 15 0 43699186 14431232000 229916 33554432000 4194304 4196468 140727502596464 139655873734640 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2592] ppid=2558 vsize=14093000 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2592/stat : 2592 (java) S 2558 2565 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699186 14431232000 229916 33554432000 4194304 4196468 140727502596464 139655872682336 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2594] ppid=2558 vsize=14093000 memory=279356351607056 CPUtime=1.07 cores=0,2,4,6
/proc/2565/task/2594/stat : 2594 (java) S 2558 2565 2501 0 -1 1077944384 1111 0 0 0 54 53 0 0 20 0 15 0 43699186 14431232000 229916 33554432000 4194304 4196468 140727502596464 139655871630384 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
Current children cumulated CPU time: 2259.27 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 919664 KiB

[startup+2262.3 s]
/proc/loadavg: 1.60 1.56 1.46 3/215 2743
/proc/meminfo: memFree=22021864/32770624 swapFree=67108852/67108860
[pid=2565] ppid=2558 vsize=14093000 memory=876552 CPUtime=2320.55 cores=0,2,4,6
/proc/2565/stat : 2565 (java) S 2558 2565 2501 0 -1 1077944320 300806 0 0 0 231621 434 0 0 20 0 15 0 43699180 14431232000 219138 33554432000 4194304 4196468 140727502596464 140727502579008 139656405405431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
/proc/2565/statm: 3523250 219138 3622 1 0 3485321 0
[pid=2565/tid=2568] ppid=2558 vsize=14093000 memory=876552 CPUtime=2241.72 cores=0,2,4,6
/proc/2565/task/2568/stat : 2568 (java) R 2558 2565 2501 0 -1 4202560 128316 0 0 0 224108 64 0 0 20 0 15 0 43699181 14431232000 219138 33554432000 4194304 4196468 140727502596464 139656409642336 139656051005260 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2573] ppid=2558 vsize=14093000 memory=902200 CPUtime=16.93 cores=0,2,4,6
/proc/2565/task/2573/stat : 2573 (java) S 2558 2565 2501 0 -1 1077944384 21706 0 0 0 1622 71 0 0 20 0 15 0 43699181 14431232000 219138 33554432000 4194304 4196468 140727502596464 139656366365200 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2574] ppid=2558 vsize=14093000 memory=14864 CPUtime=16.91 cores=0,2,4,6
/proc/2565/task/2574/stat : 2574 (java) S 2558 2565 2501 0 -1 1077944384 22449 0 0 0 1616 75 0 0 20 0 15 0 43699181 14431232000 219138 33554432000 4194304 4196468 140727502596464 139655999892112 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2575] ppid=2558 vsize=14093000 memory=902200 CPUtime=16.9 cores=0,2,4,6
/proc/2565/task/2575/stat : 2575 (java) S 2558 2565 2501 0 -1 1077944384 25068 0 0 0 1618 72 0 0 20 0 15 0 43699181 14431232000 219138 33554432000 4194304 4196468 140727502596464 139655998839056 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2576] ppid=2558 vsize=14093000 memory=902200 CPUtime=16.97 cores=0,2,4,6
/proc/2565/task/2576/stat : 2576 (java) S 2558 2565 2501 0 -1 1077944384 22190 0 0 0 1623 74 0 0 20 0 15 0 43699181 14431232000 219138 33554432000 4194304 4196468 140727502596464 139655997786512 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2578] ppid=2558 vsize=14093000 memory=876552 CPUtime=2.25 cores=0,2,4,6
/proc/2565/task/2578/stat : 2578 (java) S 2558 2565 2501 0 -1 1077944384 41272 0 0 0 191 34 0 0 20 0 15 0 43699183 14431232000 219138 33554432000 4194304 4196468 140727502596464 139655880051440 139656405416578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2580] ppid=2558 vsize=14093000 memory=876552 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2580/stat : 2580 (java) S 2558 2565 2501 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 43699183 14431232000 219138 33554432000 4194304 4196468 140727502596464 139655878997728 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2582] ppid=2558 vsize=14093000 memory=644 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2582/stat : 2582 (java) S 2558 2565 2501 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 43699183 14431232000 219138 33554432000 4194304 4196468 140727502596464 139655877944576 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2587] ppid=2558 vsize=14093000 memory=876552 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2587/stat : 2587 (java) S 2558 2565 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699186 14431232000 219138 33554432000 4194304 4196468 140727502596464 139655876893136 139656405424027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2588] ppid=2558 vsize=14093000 memory=4012 CPUtime=3.39 cores=0,2,4,6
/proc/2565/task/2588/stat : 2588 (java) S 2558 2565 2501 0 -1 1077944384 12204 0 0 0 337 2 0 0 20 0 15 0 43699186 14431232000 219138 33554432000 4194304 4196468 140727502596464 139655875840240 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2589] ppid=2558 vsize=14093000 memory=882196 CPUtime=3.02 cores=0,2,4,6
/proc/2565/task/2589/stat : 2589 (java) S 2558 2565 2501 0 -1 1077944384 9970 0 0 0 300 2 0 0 20 0 15 0 43699186 14431232000 219138 33554432000 4194304 4196468 140727502596464 139655874787696 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2590] ppid=2558 vsize=14093000 memory=4012 CPUtime=1.25 cores=0,2,4,6
/proc/2565/task/2590/stat : 2590 (java) S 2558 2565 2501 0 -1 1077944384 15063 0 0 0 123 2 0 0 20 0 15 0 43699186 14431232000 219138 33554432000 4194304 4196468 140727502596464 139655873734640 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2592] ppid=2558 vsize=14093000 memory=10936 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2592/stat : 2592 (java) S 2558 2565 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699186 14431232000 219138 33554432000 4194304 4196468 140727502596464 139655872682336 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2594] ppid=2558 vsize=14093000 memory=1008 CPUtime=1.11 cores=0,2,4,6
/proc/2565/task/2594/stat : 2594 (java) S 2558 2565 2501 0 -1 1077944384 1130 0 0 0 56 55 0 0 20 0 15 0 43699186 14431232000 219138 33554432000 4194304 4196468 140727502596464 139655871630384 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
Current children cumulated CPU time: 2320.55 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 876552 KiB

[startup+2322.3 s]
/proc/loadavg: 1.52 1.53 1.46 4/215 2744
/proc/meminfo: memFree=22146560/32770624 swapFree=67108852/67108860
[pid=2565] ppid=2558 vsize=14093000 memory=782616 CPUtime=2381.88 cores=0,2,4,6
/proc/2565/stat : 2565 (java) S 2558 2565 2501 0 -1 1077944320 303240 0 0 0 237750 438 0 0 20 0 15 0 43699180 14431232000 195654 33554432000 4194304 4196468 140727502596464 140727502579008 139656405405431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
/proc/2565/statm: 3523250 195654 3622 1 0 3485321 0
[pid=2565/tid=2568] ppid=2558 vsize=14093000 memory=788260 CPUtime=2301.19 cores=0,2,4,6
/proc/2565/task/2568/stat : 2568 (java) R 2558 2565 2501 0 -1 4202560 129732 0 0 0 230055 64 0 0 20 0 15 0 43699181 14431232000 195654 33554432000 4194304 4196468 140727502596464 139656409642528 139656042514928 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2573] ppid=2558 vsize=14093000 memory=788260 CPUtime=17.37 cores=0,2,4,6
/proc/2565/task/2573/stat : 2573 (java) S 2558 2565 2501 0 -1 1077944384 22044 0 0 0 1666 71 0 0 20 0 15 0 43699181 14431232000 195654 33554432000 4194304 4196468 140727502596464 139656366365200 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2574] ppid=2558 vsize=14093000 memory=788260 CPUtime=17.35 cores=0,2,4,6
/proc/2565/task/2574/stat : 2574 (java) S 2558 2565 2501 0 -1 1077944384 22507 0 0 0 1660 75 0 0 20 0 15 0 43699181 14431232000 195654 33554432000 4194304 4196468 140727502596464 139655999892112 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2575] ppid=2558 vsize=14093000 memory=788260 CPUtime=17.35 cores=0,2,4,6
/proc/2565/task/2575/stat : 2575 (java) S 2558 2565 2501 0 -1 1077944384 25141 0 0 0 1662 73 0 0 20 0 15 0 43699181 14431232000 195654 33554432000 4194304 4196468 140727502596464 139655998839056 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2576] ppid=2558 vsize=14093000 memory=788260 CPUtime=17.42 cores=0,2,4,6
/proc/2565/task/2576/stat : 2576 (java) S 2558 2565 2501 0 -1 1077944384 22496 0 0 0 1667 75 0 0 20 0 15 0 43699181 14431232000 195654 33554432000 4194304 4196468 140727502596464 139655997786512 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2578] ppid=2558 vsize=14093000 memory=788260 CPUtime=2.31 cores=0,2,4,6
/proc/2565/task/2578/stat : 2578 (java) S 2558 2565 2501 0 -1 1077944384 41493 0 0 0 195 36 0 0 20 0 15 0 43699183 14431232000 195654 33554432000 4194304 4196468 140727502596464 139655880051440 139656405416578 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2580] ppid=2558 vsize=14093000 memory=788260 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2580/stat : 2580 (java) S 2558 2565 2501 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 43699183 14431232000 195654 33554432000 4194304 4196468 140727502596464 139655878997728 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2582] ppid=2558 vsize=14093000 memory=782616 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2582/stat : 2582 (java) S 2558 2565 2501 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 43699183 14431232000 195654 33554432000 4194304 4196468 140727502596464 139655877944576 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2587] ppid=2558 vsize=14093000 memory=759656 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2587/stat : 2587 (java) S 2558 2565 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699186 14431232000 195654 33554432000 4194304 4196468 140727502596464 139655876893136 139656405424027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2588] ppid=2558 vsize=14093000 memory=788260 CPUtime=3.39 cores=0,2,4,6
/proc/2565/task/2588/stat : 2588 (java) S 2558 2565 2501 0 -1 1077944384 12206 0 0 0 337 2 0 0 20 0 15 0 43699186 14431232000 195654 33554432000 4194304 4196468 140727502596464 139655875840240 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2589] ppid=2558 vsize=14093000 memory=2218324 CPUtime=3.02 cores=0,2,4,6
/proc/2565/task/2589/stat : 2589 (java) S 2558 2565 2501 0 -1 1077944384 9972 0 0 0 300 2 0 0 20 0 15 0 43699186 14431232000 195654 33554432000 4194304 4196468 140727502596464 139655874787696 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2590] ppid=2558 vsize=14093000 memory=788260 CPUtime=1.25 cores=0,2,4,6
/proc/2565/task/2590/stat : 2590 (java) S 2558 2565 2501 0 -1 1077944384 15065 0 0 0 123 2 0 0 20 0 15 0 43699186 14431232000 195654 33554432000 4194304 4196468 140727502596464 139655873734640 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2592] ppid=2558 vsize=14093000 memory=788260 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2592/stat : 2592 (java) S 2558 2565 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699186 14431232000 195654 33554432000 4194304 4196468 140727502596464 139655872682336 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2594] ppid=2558 vsize=14093000 memory=788260 CPUtime=1.14 cores=0,2,4,6
/proc/2565/task/2594/stat : 2594 (java) S 2558 2565 2501 0 -1 1077944384 1146 0 0 0 58 56 0 0 20 0 15 0 43699186 14431232000 195654 33554432000 4194304 4196468 140727502596464 139655871630384 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
Current children cumulated CPU time: 2381.88 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 782616 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2340 s]*
/proc/loadavg: 1.84 1.60 1.49 3/215 2821
/proc/meminfo: memFree=23761188/32770624 swapFree=67108852/67108860
[pid=2565] ppid=2558 vsize=14093000 memory=760168 CPUtime=2400 cores=0,2,4,6
/proc/2565/stat : 2565 (java) S 2558 2565 2501 0 -1 1077944320 305040 0 0 0 239561 439 0 0 20 0 15 0 43699180 14431232000 190042 33554432000 4194304 4196468 140727502596464 140727502579008 139656405405431 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
/proc/2565/statm: 3523250 190042 3622 1 0 3485321 0
[pid=2565/tid=2568] ppid=2558 vsize=14093000 memory=2200 CPUtime=2318.74 cores=0,2,4,6
/proc/2565/task/2568/stat : 2568 (java) R 2558 2565 2501 0 -1 4202560 130182 0 0 0 231810 64 0 0 20 0 15 0 43699181 14431232000 190042 33554432000 4194304 4196468 140727502596464 139656409642544 139656045576286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2573] ppid=2558 vsize=14093000 memory=7284 CPUtime=17.52 cores=0,2,4,6
/proc/2565/task/2573/stat : 2573 (java) S 2558 2565 2501 0 -1 1077944384 22399 0 0 0 1680 72 0 0 20 0 15 0 43699181 14431232000 190042 33554432000 4194304 4196468 140727502596464 139656366365200 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2574] ppid=2558 vsize=14093000 memory=4126316290023845779 CPUtime=17.48 cores=0,2,4,6
/proc/2565/task/2574/stat : 2574 (java) S 2558 2565 2501 0 -1 1077944384 22671 0 0 0 1673 75 0 0 20 0 15 0 43699181 14431232000 190042 33554432000 4194304 4196468 140727502596464 139655999892112 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2575] ppid=2558 vsize=14093000 memory=1796 CPUtime=17.49 cores=0,2,4,6
/proc/2565/task/2575/stat : 2575 (java) S 2558 2565 2501 0 -1 1077944384 25343 0 0 0 1676 73 0 0 20 0 15 0 43699181 14431232000 190042 33554432000 4194304 4196468 140727502596464 139655998839056 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2576] ppid=2558 vsize=14093000 memory=912 CPUtime=17.56 cores=0,2,4,6
/proc/2565/task/2576/stat : 2576 (java) S 2558 2565 2501 0 -1 1077944384 22923 0 0 0 1681 75 0 0 20 0 15 0 43699181 14431232000 190042 33554432000 4194304 4196468 140727502596464 139655997786512 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2578] ppid=2558 vsize=14093000 memory=3840 CPUtime=2.32 cores=0,2,4,6
/proc/2565/task/2578/stat : 2578 (java) S 2558 2565 2501 0 -1 1077944384 41673 0 0 0 196 36 0 0 20 0 15 0 43699183 14431232000 190042 33554432000 4194304 4196468 140727502596464 139655880051440 139656405416578 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2580] ppid=2558 vsize=14093000 memory=2296 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2580/stat : 2580 (java) S 2558 2565 2501 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 43699183 14431232000 190042 33554432000 4194304 4196468 140727502596464 139655878997728 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2582] ppid=2558 vsize=14093000 memory=2736 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2582/stat : 2582 (java) S 2558 2565 2501 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 43699183 14431232000 190042 33554432000 4194304 4196468 140727502596464 139655877944576 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2587] ppid=2558 vsize=14093000 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2587/stat : 2587 (java) S 2558 2565 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699186 14431232000 190042 33554432000 4194304 4196468 140727502596464 139655876893136 139656405424027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2588] ppid=2558 vsize=14093000 memory=3224 CPUtime=3.39 cores=0,2,4,6
/proc/2565/task/2588/stat : 2588 (java) S 2558 2565 2501 0 -1 1077944384 12209 0 0 0 337 2 0 0 20 0 15 0 43699186 14431232000 190042 33554432000 4194304 4196468 140727502596464 139655875840240 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2589] ppid=2558 vsize=14093000 memory=760168 CPUtime=3.02 cores=0,2,4,6
/proc/2565/task/2589/stat : 2589 (java) S 2558 2565 2501 0 -1 1077944384 9974 0 0 0 300 2 0 0 20 0 15 0 43699186 14431232000 190042 33554432000 4194304 4196468 140727502596464 139655874787696 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2590] ppid=2558 vsize=14093000 memory=4100 CPUtime=1.25 cores=0,2,4,6
/proc/2565/task/2590/stat : 2590 (java) S 2558 2565 2501 0 -1 1077944384 15067 0 0 0 123 2 0 0 20 0 15 0 43699186 14431232000 190042 33554432000 4194304 4196468 140727502596464 139655873734640 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2592] ppid=2558 vsize=14093000 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/2565/task/2592/stat : 2592 (java) S 2558 2565 2501 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43699186 14431232000 190042 33554432000 4194304 4196468 140727502596464 139655872682336 139656405415637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
[pid=2565/tid=2594] ppid=2558 vsize=14093000 memory=2476 CPUtime=1.15 cores=0,2,4,6
/proc/2565/task/2594/stat : 2594 (java) S 2558 2565 2501 0 -1 1077944384 1161 0 0 0 58 57 0 0 20 0 15 0 43699186 14431232000 190042 33554432000 4194304 4196468 140727502596464 139655871630384 139656405416578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27602944 140727502603349 140727502603529 140727502603529 140727502606287 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 760168 KiB

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

[startup+2340.02 s]
# the end of solver process 2565 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.63 s, system=4.40392 s

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

Child status: 143
Real time (s): 2340.02
CPU time (s): 2400.04
CPU user time (s): 2395.63
CPU system time (s): 4.40392
CPU usage (%): 102.565
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 1166356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.63
system time used= 4.40393
maximum resident set size= 1169012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305433
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99185
involuntary context switches= 5643


# summary of solver processes directly reported to runsolver:
#   pid: 2565
#   total CPU time (s): 2400.04
#   total CPU user time (s): 2395.63
#   total CPU system time (s): 4.40392

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8123 second user time and 22.831 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-22 14:09:20
IDJOB=4291761
IDBENCH=141158
IDSOLVER=2746
FILE ID=node148/4291761-1532261360
RUNJOBID= node148-1532261360-2532
PBS_JOBID= 21018973
Free space on /tmp= 51992 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
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-4291761-1532261360/watcher-4291761-1532261360 -o /tmp/evaluation-result-4291761-1532261360/solver-4291761-1532261360 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532261360-2532 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 457920494 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291761-1532261360.xml

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

MD5SUM BENCH= b9a88cf563e94a20e010143964b9c3ad
RANDOM SEED=457920494

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:        25099228 kB
MemAvailable:   31940136 kB
Buffers:          149868 kB
Cached:          6875280 kB
SwapCached:            8 kB
Active:          1240780 kB
Inactive:        5834272 kB
Active(anon):       4016 kB
Inactive(anon):    66112 kB
Active(file):    1236764 kB
Inactive(file):  5768160 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:             71552 kB
Writeback:             0 kB
AnonPages:         56764 kB
Mapped:            35768 kB
Shmem:             17024 kB
Slab:             291752 kB
SReclaimable:     264444 kB
SUnreclaim:        27308 kB
KernelStack:        3104 kB
PageTables:         5548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     317624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 51920 MiB
End job on node148 at 2018-07-22 14:48:20