Trace number 4291706

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)1440749 2400.03 2337.22

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.67/0.56	c version: 2018-07-02
0.67/0.56	c seed: 85210331
0.67/0.56	c timeout: 2400
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.59	c Parsing instance...
3.45/1.94	c Parsing done, starting first complete search...
3.94/2.17	o 0
3.94/2.18	o 7837
3.94/2.18	o 8867
3.94/2.18	o 16704
3.94/2.18	o 22526
3.94/2.19	o 23615
3.94/2.19	o 24686
3.94/2.19	o 31434
3.94/2.19	o 32523
3.94/2.19	o 33300
3.94/2.20	o 41137
4.13/2.20	o 45541
4.13/2.20	o 47782
4.13/2.20	o 52462
4.13/2.21	o 73418
4.13/2.22	o 76886
4.13/2.22	o 90417
4.13/2.22	o 91506
4.13/2.22	o 96186
4.13/2.22	o 116003
4.13/2.22	o 123935
4.13/2.22	o 126902
4.13/2.22	o 130468
4.13/2.22	o 138320
4.13/2.23	o 140388
4.13/2.23	o 143834
4.13/2.23	o 144489
4.13/2.23	o 145902
4.13/2.23	o 150996
4.13/2.23	o 158833
4.13/2.23	o 165744
4.13/2.24	o 166322
4.13/2.24	o 169773
4.13/2.24	o 171377
4.13/2.24	o 172790
4.13/2.25	o 174578
4.13/2.25	o 176819
4.13/2.25	o 177289
4.13/2.25	o 179530
4.13/2.25	o 181598
4.13/2.25	o 182176
4.13/2.25	o 183386
4.13/2.25	o 185627
4.13/2.26	o 191716
4.13/2.26	o 197472
4.13/2.26	o 199713
4.13/2.26	o 201353
4.13/2.26	o 202336
4.13/2.26	o 204577
4.13/2.26	o 205811
4.13/2.26	o 209084
4.13/2.27	o 211325
4.13/2.27	o 212174
4.13/2.27	o 215398
4.13/2.27	o 215654
4.13/2.28	o 217281
4.13/2.28	o 218007
4.13/2.28	o 220248
4.13/2.28	o 221764
4.13/2.28	o 222020
4.13/2.29	o 222420
4.46/2.30	o 223112
4.46/2.30	o 225200
4.46/2.30	o 229604
4.46/2.30	o 229860
4.46/2.30	o 231405
4.46/2.30	o 231632
4.46/2.31	o 236599
4.46/2.33	o 236641
4.46/2.33	o 240083
4.46/2.33	o 245853
4.46/2.33	o 252215
4.46/2.33	o 256955
4.46/2.33	o 257182
4.46/2.33	o 257976
4.46/2.34	o 265114
4.46/2.34	o 266886
4.46/2.37	o 266952
4.46/2.38	o 267208
4.76/2.40	o 267999
4.76/2.40	o 270966
4.76/2.40	o 272803
4.76/2.40	o 276584
4.76/2.40	o 279551
4.76/2.40	o 281191
4.76/2.41	o 281790
4.76/2.41	o 284757
4.76/2.45	o 285571
4.76/2.45	o 287211
4.76/2.45	o 287421
4.76/2.45	o 290388
4.76/2.45	o 292028
4.76/2.46	o 293573
4.76/2.46	o 294472
4.76/2.46	o 294556
4.76/2.46	o 297352
4.76/2.47	o 300918
5.06/2.53	o 301391
5.06/2.53	o 303031
5.06/2.53	o 303115
5.06/2.53	o 303423
5.06/2.53	o 306989
5.06/2.54	o 308629
5.06/2.54	o 308761
5.06/2.54	o 310401
5.06/2.55	o 314024
5.06/2.55	o 314108
5.06/2.56	o 315664
5.06/2.56	o 315748
5.06/2.57	o 317520
5.06/2.59	o 318454
5.06/2.59	o 322020
5.06/2.59	o 323660
5.34/2.64	o 324899
5.34/2.64	o 324983
5.34/2.66	o 325285
5.34/2.66	o 325541
5.34/2.67	o 327086
5.34/2.67	o 332707
5.34/2.67	o 334347
5.51/2.72	o 335815
5.51/2.72	o 342177
5.62/2.85	o 342268
5.72/2.91	o 345617
5.72/2.92	o 346321
5.72/2.92	o 346412
5.72/2.98	o 347187
5.72/2.98	o 348035
5.72/2.98	o 353549
5.72/2.99	o 353915
5.72/2.99	o 354006
5.72/2.99	o 354253
5.72/2.99	o 354344
5.83/3.05	o 356980
5.83/3.05	o 359947
5.83/3.05	o 360038
5.83/3.10	o 361290
5.83/3.10	o 361381
5.83/3.10	o 365164
5.83/3.10	o 365255
5.83/3.10	o 366804
5.83/3.10	o 366895
5.93/3.14	o 367060
5.93/3.14	o 367151
5.93/3.15	o 367633
5.93/3.19	o 370386
5.93/3.19	o 371217
5.93/3.19	o 371308
5.93/3.20	o 376506
5.93/3.20	o 376597
6.04/3.20	o 376651
6.04/3.20	o 376742
6.04/3.20	o 379618
6.04/3.20	o 379709
6.34/3.53	o 384126
6.34/3.53	o 384217
6.34/3.55	o 386853
6.34/3.55	o 389820
6.34/3.55	o 389911
6.44/3.69	o 394697
6.44/3.69	o 394788
6.77/3.90	o 394953
6.77/3.90	o 395044
6.77/3.99	o 398065
6.77/3.99	o 398156
7.07/4.24	o 399348
7.07/4.24	o 399439
7.07/4.24	o 400652
7.07/4.24	o 400743
7.07/4.24	o 400908
7.07/4.24	o 400999
7.07/4.24	o 402680
7.07/4.24	o 402771
7.37/4.55	o 402875
7.37/4.58	o 403240
7.37/4.58	o 406207
8.69/5.87	o 407060
8.69/5.87	o 407642
8.79/5.93	o 407911
8.79/5.93	o 408493
8.79/5.94	o 408496
8.79/5.94	o 409078
8.79/5.94	o 409880
8.79/5.94	o 410287
8.79/5.94	o 410869
8.79/5.94	o 411425
8.79/5.98	o 411841
8.79/5.98	o 414808
8.79/5.98	o 418140
9.70/6.85	o 420900
9.70/6.85	o 421482
9.70/6.87	o 423066
9.70/6.87	o 426398
9.70/6.88	o 426980
12.03/9.15	o 428493
12.62/9.74	o 429555
12.62/9.74	o 431327
12.62/9.74	o 434659
12.62/9.79	o 435241
14.24/11.36	o 436826
14.24/11.36	o 437815
14.24/11.36	o 440158
14.24/11.39	o 440740
15.14/12.26	o 442935
15.14/12.26	o 443924
15.24/12.35	o 446267
21.69/18.72	o 446748
21.89/18.95	o 447338
21.89/18.95	o 447787
21.89/18.95	o 449110
21.89/18.95	o 450099
21.89/18.95	o 451119
21.89/18.95	o 452442
23.89/20.97	o 452986
23.89/20.97	o 454006
23.89/20.97	o 455329
23.89/20.98	o 455778
23.89/20.98	o 457101
33.61/30.67	o 458027
33.61/30.69	o 458609
34.12/31.19	o 459040
34.12/31.19	o 460186
34.12/31.19	o 461283
34.12/31.19	o 461509
34.12/31.19	o 462606
34.12/31.19	o 462664
34.12/31.19	o 463761
34.31/31.36	o 466084
34.31/31.36	o 467181
34.31/31.37	o 467650
34.31/31.37	o 469441
34.31/31.37	o 470538
34.41/31.41	o 471001
34.41/31.41	o 472098
34.41/31.42	o 472773
34.41/31.42	o 473870
34.81/31.83	o 473930
34.81/31.87	o 474264
34.81/31.87	o 474939
34.81/31.87	o 476036
34.81/31.89	o 478271
34.81/31.89	o 479368
39.62/36.62	o 479378
43.22/40.24	o 479824
43.22/40.25	o 480942
43.22/40.25	o 482450
43.22/40.25	o 483830
43.22/40.25	o 485338
47.33/44.39	o 485896
47.33/44.39	o 485906
47.44/44.48	o 485948
47.44/44.48	o 485958
47.44/44.48	o 487456
47.44/44.49	o 487466
47.44/44.49	o 487720
47.44/44.49	o 487730
47.44/44.49	o 489228
47.44/44.49	o 489238
64.45/61.42	o 490701
64.45/61.42	o 490711
65.35/62.30	o 491149
65.35/62.30	o 491159
65.35/62.37	o 491638
65.35/62.37	o 491648
65.35/62.38	o 492246
65.35/62.38	o 492256
71.07/68.09	o 492932
71.07/68.10	o 492942
72.17/69.15	o 494306
72.17/69.16	o 494316
72.26/69.23	o 495291
72.26/69.23	o 495301
72.26/69.23	o 496836
72.26/69.23	o 496846
73.46/70.49	o 497100
73.46/70.49	o 497110
73.46/70.50	o 498608
73.46/70.50	o 498618
75.17/72.18	o 498659
75.17/72.18	o 498669
75.17/72.18	o 500167
75.17/72.18	o 500177
75.17/72.18	o 505681
75.17/72.18	o 505691
75.17/72.19	o 506144
75.17/72.19	o 506154
75.17/72.19	o 507916
75.17/72.19	o 507926
75.17/72.19	o 509013
75.17/72.19	o 509023
82.18/79.14	o 509262
82.18/79.14	o 509272
82.18/79.14	o 512828
82.18/79.14	o 512838
82.18/79.14	o 516160
82.18/79.14	o 516170
83.57/80.51	o 516424
83.57/80.51	o 517932
83.57/80.52	o 517942
87.13/83.91	o 520387
87.13/83.91	o 521895
87.13/83.91	o 521905
87.24/84.08	o 522570
87.24/84.08	o 522580
87.24/84.08	o 523667
87.24/84.08	o 523677
116.77/113.57	o 524599
116.77/113.57	o 524609
153.04/149.79	o 525162
154.54/151.29	o 526239
154.54/151.29	o 527562
154.54/151.29	o 528494
203.02/199.63	o 529314
203.02/199.63	o 529479
203.02/199.63	o 530411
208.83/205.47	o 530616
208.83/205.47	o 532124
208.83/205.47	o 533056
208.83/205.47	o 533221
208.83/205.47	o 534153
208.83/205.47	o 534993
208.83/205.47	o 535925
244.69/241.28	c First complete search done, starting ALNS search...
244.80/241.40	o 536286
245.01/241.40	o 542784
245.01/241.40	o 544706
245.01/241.40	o 545864
245.01/241.40	o 549900
245.01/241.40	o 551822
245.01/241.40	o 552362
245.01/241.40	o 554284
245.01/241.40	o 556524
245.01/241.41	o 558446
245.01/241.41	o 559777
245.01/241.41	o 561699
245.01/241.41	o 563391
245.01/241.41	o 565313
245.01/241.41	o 566908
245.01/241.41	o 567553
245.01/241.41	o 569148
245.01/241.41	o 569475
245.01/241.41	o 571070
245.01/241.42	o 573616
245.01/241.42	o 577230
245.01/241.42	o 579152
245.01/241.42	o 579700
245.01/241.42	o 581392
245.01/241.42	o 583314
245.01/241.42	o 586185
245.01/241.42	o 586733
245.01/241.42	o 590347
245.01/241.42	o 592269
245.01/241.42	o 594123
245.01/241.42	o 595815
245.01/241.42	o 597737
245.01/241.42	o 597739
245.01/241.43	o 599045
245.01/241.43	o 599224
245.01/241.43	o 599593
245.01/241.43	o 603207
245.01/241.43	o 605129
245.01/241.43	o 608433
245.01/241.43	o 609739
245.01/241.43	o 613901
245.01/241.43	o 615823
245.01/241.43	o 617515
245.01/241.43	o 619437
245.01/241.43	o 619931
245.01/241.43	o 621853
245.01/241.43	o 624835
245.01/241.43	o 628449
245.01/241.43	o 630865
245.01/241.44	o 632787
245.01/241.44	o 634439
245.01/241.44	o 636131
245.01/241.44	o 638053
245.01/241.44	o 638574
245.01/241.44	o 640990
245.01/241.44	o 642188
245.01/241.44	o 644604
245.01/241.44	o 646526
245.01/241.44	o 647393
245.01/241.44	o 648159
245.01/241.44	o 649214
245.01/241.44	o 650081
245.01/241.45	o 651630
245.01/241.45	o 652497
245.01/241.45	o 652756
245.01/241.45	o 654612
245.01/241.45	o 656534
245.01/241.45	o 658226
245.01/241.45	o 660148
245.01/241.45	o 660642
245.01/241.45	o 662564
245.01/241.45	o 663431
245.01/241.45	o 664448
245.01/241.45	o 665315
245.01/241.45	o 666140
245.01/241.45	o 668062
245.01/241.45	o 668929
245.01/241.46	o 669626
245.01/241.46	o 670493
245.01/241.46	o 671548
245.01/241.46	o 672415
245.01/241.46	o 673515
245.01/241.46	o 675437
245.01/241.46	o 676304
245.01/241.46	o 676897
245.28/241.61	o 680013
245.28/241.61	o 683814
245.28/241.61	o 686545
245.28/241.61	o 690346
245.28/241.62	o 691587
245.28/241.62	o 694784
245.28/241.62	o 698585
245.28/241.62	o 699266
245.28/241.62	o 703067
245.28/241.62	o 705284
245.28/241.62	o 708356
245.28/241.62	o 710573
249.29/244.51	o 710771
249.29/244.51	o 723962
249.29/244.51	o 725719
249.29/244.51	o 732870
249.29/244.51	o 734627
249.29/244.51	o 740368
249.29/244.51	o 742125
249.29/244.51	o 746747
249.29/244.51	o 754245
249.29/244.51	o 756002
249.29/244.52	o 757903
249.29/244.52	o 759660
249.29/244.52	o 762815
249.29/244.52	o 766473
249.29/244.52	o 768230
249.29/244.52	o 768684
249.29/244.52	o 770585
249.29/244.52	o 772342
249.29/244.52	o 774460
249.29/244.52	o 776217
249.29/244.52	o 777883
249.29/244.52	o 779640
249.29/244.52	o 781995
249.29/244.53	o 783752
249.29/244.53	o 785134
249.29/244.53	o 787037
249.29/244.53	o 788794
249.29/244.53	o 790912
249.29/244.53	o 792669
249.29/244.54	o 795978
249.29/244.54	o 797735
249.29/244.54	o 799479
249.29/244.54	o 800362
249.29/244.54	o 802119
249.29/244.54	o 804474
249.29/244.54	o 806231
249.29/244.54	o 806281
249.29/244.54	o 808636
249.29/244.54	o 810393
249.29/244.55	o 811312
250.44/245.33	o 812216
250.44/245.33	o 815524
250.44/245.33	o 819686
250.44/245.33	o 821224
250.44/245.33	o 825386
250.44/245.33	o 827706
250.44/245.33	o 829773
250.44/245.33	o 831615
250.44/245.33	o 833935
250.44/245.33	o 834854
250.44/245.33	o 836370
250.44/245.34	o 840532
250.44/245.34	o 841451
250.44/245.34	o 842852
250.44/245.34	o 843771
250.44/245.34	o 844341
250.44/245.34	o 845329
250.44/245.34	o 849491
250.44/245.34	o 851811
250.44/245.34	o 852730
250.44/245.34	o 854284
250.44/245.34	o 856604
250.44/245.34	o 857523
250.44/245.35	o 858446
250.44/245.35	o 859365
250.44/245.35	o 860766
250.44/245.35	o 861685
250.44/245.35	o 862156
250.44/245.35	o 864476
250.44/245.35	o 865395
250.44/245.35	o 866919
250.44/245.35	o 867838
250.44/245.35	o 870629
250.44/245.35	o 871548
250.44/245.35	o 872949
250.44/245.35	o 873868
256.54/251.01	o 874946
256.54/251.01	o 878771
256.54/251.01	o 882481
256.54/251.01	o 885003
256.54/251.01	o 885071
256.54/251.01	o 887593
256.54/251.02	o 888781
256.54/251.02	o 891303
264.04/258.48	o 891494
264.04/258.50	o 891727
264.04/258.50	o 892575
264.14/258.50	o 893442
264.14/258.50	o 893645
264.14/258.50	o 894294
264.14/258.50	o 894497
264.14/258.50	o 895226
264.14/258.50	o 895429
264.14/258.52	o 896128
264.14/258.52	o 896980
264.14/258.52	o 897060
264.14/258.52	o 897912
264.14/258.52	o 898115
264.14/258.53	o 898348
264.14/258.53	o 898413
264.14/258.53	o 899280
264.14/258.53	o 900128
264.14/258.53	o 900995
264.14/258.53	o 901198
264.14/258.53	o 901847
264.14/258.53	o 902050
264.25/258.68	o 902774
264.25/258.69	o 903430
264.25/258.69	o 904282
264.25/258.69	o 904485
264.25/258.69	o 904608
264.25/258.69	o 905184
264.25/258.69	o 905249
264.25/258.69	o 906116
264.25/258.69	o 906319
264.35/258.70	o 906968
264.35/258.70	o 907171
264.35/258.71	o 907676
264.35/258.71	o 908252
264.35/258.71	o 909184
264.35/258.71	o 910036
264.35/258.72	o 910051
264.35/258.72	o 910903
264.35/258.72	o 911106
266.26/260.67	o 911761
266.26/260.67	o 911964
266.67/261.09	o 913277
266.67/261.09	o 914128
266.67/261.09	o 914303
266.67/261.09	o 918104
266.67/261.09	o 919417
266.67/261.09	o 919643
266.67/261.09	o 922829
266.78/261.12	o 924769
266.78/261.13	o 925948
266.78/261.13	o 926739
266.78/261.13	o 928150
266.78/261.13	o 930639
266.78/261.14	o 931915
266.78/261.14	o 934404
266.78/261.14	o 935148
266.78/261.14	o 937637
266.78/261.15	o 940941
266.78/261.15	o 944174
266.78/261.15	o 946663
267.56/261.82	o 946841
267.56/261.82	o 947116
267.56/261.83	o 949216
267.56/261.83	o 950083
267.56/261.83	o 950283
267.56/261.83	o 950974
267.56/261.83	o 953941
267.56/261.83	o 954808
267.56/261.83	o 955665
267.56/261.83	o 956532
267.56/261.83	o 958632
267.56/261.83	o 959499
267.56/261.84	o 959885
267.56/261.84	o 960752
267.56/261.85	o 963499
267.56/261.85	o 964366
267.56/261.87	o 965851
267.56/261.87	o 966718
267.56/261.87	o 969458
267.56/261.87	o 970149
267.56/261.87	o 973116
267.56/261.87	o 974840
267.56/261.87	o 977807
267.56/261.87	o 978674
267.68/262.00	o 980958
267.68/262.00	o 981825
267.68/262.00	o 982211
267.68/262.00	o 983078
267.79/262.06	o 984045
267.79/262.06	o 984835
267.79/262.06	o 988449
267.79/262.06	o 989316
267.79/262.06	o 989657
267.79/262.07	o 990524
267.79/262.07	o 993271
267.79/262.07	o 994138
270.44/264.50	o 994195
270.44/264.50	o 994347
270.44/264.51	o 995861
270.44/264.51	o 995952
270.44/264.51	o 996713
270.44/264.51	o 996804
270.44/264.57	o 997985
270.44/264.57	o 998837
270.44/264.57	o 998928
270.64/264.71	o 999105
270.64/264.71	o 999196
270.64/264.71	o 1000163
270.64/264.71	o 1001025
270.64/264.71	o 1002539
270.64/264.71	o 1002630
270.64/264.71	o 1003391
270.64/264.71	o 1003482
270.64/264.72	o 1004663
270.64/264.72	o 1005515
270.64/264.72	o 1005606
270.74/264.84	o 1005942
270.74/264.84	o 1006033
270.74/264.84	o 1006121
270.74/264.84	o 1007635
270.74/264.84	o 1007726
270.74/264.84	o 1008487
270.74/264.84	o 1008578
270.84/264.93	o 1009212
270.84/264.93	o 1009303
270.84/264.94	o 1009325
270.84/264.94	o 1010230
270.84/264.95	o 1011082
270.84/264.95	o 1011288
270.84/264.95	o 1011907
270.84/264.95	o 1012150
270.84/264.95	o 1013664
270.84/264.95	o 1014516
270.84/264.95	o 1014607
270.84/264.96	o 1015126
270.84/264.96	o 1015217
270.84/264.96	o 1015788
270.84/264.96	o 1016640
270.84/264.96	o 1016731
271.55/265.69	o 1016750
271.55/265.69	o 1017790
271.55/265.69	o 1017881
271.55/265.69	o 1018642
271.55/265.69	o 1018733
272.66/266.71	o 1018950
272.66/266.72	o 1019802
272.66/266.72	o 1019893
275.47/269.55	o 1019934
275.47/269.55	o 1020086
275.47/269.55	o 1020177
275.47/269.55	o 1020748
275.47/269.55	o 1021600
275.47/269.56	o 1021691
277.10/271.17	o 1022383
277.10/271.18	o 1022474
277.10/271.18	o 1023235
277.10/271.18	o 1023326
277.10/271.18	o 1023420
277.10/271.18	o 1023461
277.10/271.18	o 1023704
277.10/271.18	o 1024366
277.10/271.18	o 1025218
277.10/271.18	o 1025309
277.10/271.19	o 1025359
277.10/271.19	o 1025450
277.10/271.19	o 1026182
277.10/271.19	o 1026490
277.10/271.19	o 1027342
277.10/271.19	o 1027433
278.21/272.25	o 1028241
278.21/272.25	o 1028332
278.21/272.25	o 1029093
278.21/272.25	o 1029184
278.21/272.27	o 1029234
278.21/272.27	o 1029325
278.21/272.27	o 1029460
278.21/272.27	o 1029703
278.21/272.27	o 1030365
278.21/272.27	o 1031217
278.21/272.27	o 1031308
279.21/273.27	o 1032003
279.21/273.27	o 1032094
279.21/273.28	o 1032855
279.21/273.28	o 1032946
279.42/273.44	o 1033026
279.42/273.44	o 1033117
279.42/273.44	o 1033849
279.42/273.44	o 1034157
279.42/273.44	o 1035009
279.42/273.44	o 1035100
279.42/273.45	o 1035150
279.42/273.45	o 1035241
279.42/273.45	o 1035376
279.42/273.45	o 1035619
279.42/273.45	o 1036281
279.42/273.45	o 1037133
279.42/273.46	o 1037224
279.42/273.48	o 1038032
279.42/273.48	o 1038123
279.42/273.48	o 1038884
279.42/273.48	o 1038975
279.42/273.48	o 1039025
279.42/273.48	o 1039116
279.42/273.49	o 1039848
279.42/273.49	o 1040156
279.42/273.49	o 1041008
279.42/273.49	o 1041099
282.99/276.97	o 1041963
282.99/276.97	o 1043471
282.99/276.98	o 1044911
282.99/276.98	o 1046419
283.52/277.41	o 1049363
283.52/277.41	o 1053525
283.52/277.41	o 1054680
283.52/277.43	o 1055172
283.52/277.43	o 1056734
283.52/277.43	o 1058166
283.52/277.44	o 1060040
283.52/277.45	o 1061472
283.52/277.45	o 1063034
283.52/277.45	o 1064466
283.52/277.48	o 1065756
283.52/277.48	o 1065847
283.52/277.49	o 1068813
283.52/277.49	o 1072614
283.52/277.49	o 1072705
284.05/277.90	o 1073558
284.05/277.91	o 1075066
284.05/277.91	o 1075699
284.05/277.91	o 1077122
284.05/277.91	o 1078630
284.05/277.92	o 1079641
284.05/277.92	o 1080950
284.05/277.92	o 1081961
284.05/277.98	o 1082045
284.05/278.01	o 1082147
284.05/278.01	o 1083945
284.16/278.01	o 1084148
284.16/278.01	o 1084333
284.16/278.01	o 1085928
284.16/278.01	o 1086131
284.16/278.01	o 1086132
284.16/278.01	o 1086317
284.16/278.01	o 1088115
284.16/278.01	o 1088318
284.16/278.01	o 1088409
284.16/278.04	o 1089056
284.16/278.04	o 1089988
284.16/278.04	o 1091432
284.16/278.04	o 1092364
284.16/278.05	o 1094380
284.16/278.05	o 1095312
284.16/278.05	o 1096384
284.16/278.05	o 1096550
284.16/278.05	o 1098926
284.16/278.05	o 1099498
284.16/278.05	o 1101874
284.16/278.05	o 1102806
284.16/278.07	o 1105311
284.16/278.07	o 1106322
284.16/278.07	o 1106413
286.60/280.48	o 1109873
286.70/280.51	o 1111359
286.70/280.51	o 1111450
286.83/280.67	o 1111790
286.83/280.67	o 1113222
286.93/280.72	o 1113266
286.93/280.72	o 1113357
287.04/280.86	o 1113748
287.04/280.89	o 1117401
287.04/280.89	o 1117485
287.04/280.89	o 1117965
287.04/280.89	o 1118528
287.04/280.89	o 1122690
287.04/280.89	o 1122774
287.16/280.93	o 1122794
287.16/280.93	o 1124592
287.16/280.93	o 1124911
287.16/280.94	o 1125459
287.16/280.94	o 1125778
287.16/280.94	o 1126694
287.16/280.94	o 1128492
287.16/280.94	o 1129359
287.16/280.94	o 1129678
287.16/280.94	o 1129813
287.16/280.96	o 1130357
287.16/280.96	o 1131224
287.16/280.96	o 1131543
287.16/280.96	o 1131678
287.16/281.00	o 1132155
287.16/281.00	o 1132474
287.16/281.01	o 1132609
287.27/281.01	o 1133022
287.27/281.01	o 1133157
287.27/281.01	o 1133341
287.27/281.01	o 1133476
287.38/281.13	o 1135150
287.38/281.13	o 1135285
287.38/281.13	o 1136082
287.38/281.13	o 1136217
287.38/281.13	o 1136948
287.38/281.13	o 1137880
287.38/281.13	o 1138015
287.38/281.16	o 1139380
287.49/281.26	o 1141567
287.49/281.29	o 1142670
287.49/281.29	o 1143681
287.62/281.30	o 1144335
287.62/281.30	o 1145772
287.62/281.30	o 1147959
287.62/281.30	o 1148970
287.62/281.37	o 1149956
287.62/281.37	o 1152904
287.62/281.39	o 1153823
287.72/281.40	o 1153991
287.72/281.40	o 1154910
287.72/281.43	o 1155580
287.72/281.43	o 1155748
287.72/281.43	o 1156667
287.72/281.48	o 1156699
287.72/281.48	o 1157710
288.14/281.86	o 1158430
288.14/281.86	o 1158514
288.14/281.86	o 1158521
288.14/281.86	o 1158605
288.14/281.86	o 1158665
288.14/281.86	o 1159441
288.14/281.86	o 1159532
288.14/281.86	o 1159616
288.14/281.86	o 1160007
288.14/281.87	o 1160091
288.14/281.87	o 1160151
288.14/281.87	o 1161018
288.14/281.87	o 1161102
288.14/281.87	o 1161109
288.14/281.87	o 1161193
288.24/281.95	o 1161558
288.24/281.95	o 1162410
288.36/282.05	o 1163385
288.36/282.05	o 1163469
288.47/282.14	o 1163569
288.47/282.14	o 1163653
288.47/282.14	o 1165200
288.47/282.14	o 1166777
288.47/282.15	o 1166861
288.47/282.17	o 1167077
288.47/282.17	o 1168009
288.58/282.23	o 1168024
288.58/282.23	o 1168108
288.69/282.33	o 1168603
288.69/282.33	o 1168931
288.69/282.33	o 1169589
288.69/282.33	o 1170508
288.69/282.33	o 1170632
288.69/282.33	o 1171551
288.69/282.36	o 1171635
288.69/282.38	o 1171648
288.69/282.38	o 1172483
288.69/282.38	o 1172567
288.79/282.45	o 1172646
288.79/282.45	o 1174629
289.12/282.78	o 1175333
289.12/282.78	o 1177349
289.12/282.78	o 1178281
289.22/282.82	o 1178372
289.32/282.91	o 1178416
289.32/282.91	o 1178507
289.32/283.00	o 1179166
289.32/283.00	o 1181182
289.32/283.00	o 1182114
289.32/283.00	o 1182205
289.32/283.00	o 1182249
289.32/283.00	o 1182340
289.43/283.02	o 1183209
289.43/283.03	o 1184141
289.43/283.03	o 1184276
289.43/283.03	o 1184367
289.43/283.03	o 1184609
289.43/283.03	o 1184744
289.43/283.03	o 1184835
289.43/283.03	o 1185371
289.43/283.03	o 1185462
289.43/283.03	o 1188319
289.43/283.04	o 1188410
289.43/283.04	o 1188454
289.43/283.04	o 1188545
289.43/283.04	o 1189251
289.43/283.04	o 1189386
289.43/283.04	o 1189477
289.53/283.11	o 1190262
289.53/283.11	o 1190353
289.53/283.11	o 1190397
289.53/283.11	o 1190488
289.66/283.24	o 1190907
289.66/283.24	o 1191042
289.66/283.25	o 1191548
289.66/283.25	o 1191683
289.66/283.25	o 1192484
289.66/283.25	o 1193125
289.66/283.25	o 1193260
289.84/283.30	o 1193404
289.84/283.30	o 1193539
289.84/283.30	o 1193756
289.84/283.30	o 1193891
289.84/283.35	o 1194609
289.84/283.35	o 1194961
289.84/283.35	o 1196186
289.84/283.36	o 1196538
289.84/283.36	o 1197943
289.84/283.36	o 1198295
289.95/283.43	o 1198430
289.95/283.45	o 1198584
289.95/283.45	o 1198936
289.95/283.45	o 1199071
290.05/283.53	o 1199097
290.05/283.53	o 1199166
290.05/283.53	o 1200964
290.05/283.53	o 1201972
290.05/283.53	o 1203770
290.26/283.79	o 1204090
290.26/283.79	o 1204181
290.26/283.79	o 1204225
290.26/283.79	o 1204316
290.26/283.79	o 1205487
290.26/283.79	o 1205622
290.26/283.79	o 1205976
290.26/283.79	o 1207490
290.26/283.79	o 1207774
290.26/283.80	o 1209288
290.26/283.80	o 1209423
290.37/283.80	o 1211049
290.37/283.80	o 1211184
290.37/283.80	o 1212563
290.37/283.80	o 1212698
290.37/283.80	o 1212789
290.37/283.81	o 1213048
290.37/283.85	o 1213538
290.37/283.85	o 1214462
290.37/283.85	o 1214871
290.37/283.85	o 1214951
290.37/283.85	o 1216465
290.37/283.85	o 1216749
290.37/283.85	o 1218263
290.37/283.86	o 1218354
290.37/283.86	o 1218398
290.37/283.86	o 1218489
293.42/286.82	o 1218504
294.66/288.04	o 1218580
294.66/288.05	o 1219591
294.66/288.05	o 1219647
294.66/288.05	o 1223305
294.66/288.05	o 1224316
294.76/288.12	o 1224909
294.95/288.30	o 1225691
294.95/288.31	o 1228606
294.95/288.31	o 1229617
294.95/288.31	o 1232264
294.95/288.31	o 1233275
297.39/290.70	o 1233366
298.12/291.46	o 1234152
298.12/291.46	o 1234433
298.12/291.46	o 1235300
298.23/291.56	o 1237109
298.23/291.56	o 1237193
298.23/291.56	o 1237961
298.23/291.56	o 1238045
298.23/291.56	o 1238052
298.23/291.56	o 1238136
298.23/291.57	o 1238152
298.23/291.57	o 1239004
298.23/291.57	o 1239095
298.23/291.59	o 1239179
298.44/291.71	o 1239806
298.44/291.72	o 1241320
298.44/291.72	o 1242752
298.44/291.72	o 1242843
298.54/291.83	o 1244025
298.54/291.83	o 1244116
298.54/291.83	o 1247233
298.54/291.83	o 1247324
298.54/291.84	o 1248085
298.54/291.84	o 1248176
298.54/291.85	o 1248952
298.54/291.85	o 1249043
298.54/291.85	o 1249233
298.54/291.85	o 1249248
298.54/291.85	o 1250100
298.54/291.85	o 1250191
298.54/291.85	o 1250271
298.54/291.85	o 1251032
298.54/291.85	o 1251123
319.31/312.11	o 1253654
319.31/312.11	o 1254006
319.31/312.11	o 1255841
319.31/312.11	o 1256193
319.62/312.41	o 1256860
319.62/312.43	o 1258998
319.62/312.44	o 1260430
319.62/312.44	o 1261585
319.62/312.47	o 1261666
319.62/312.47	o 1262388
319.62/312.47	o 1263464
319.62/312.47	o 1263641
319.62/312.47	o 1265439
319.62/312.47	o 1267304
319.62/312.47	o 1269102
319.73/312.50	o 1269816
319.73/312.50	o 1271853
319.73/312.50	o 1275516
319.73/312.50	o 1277314
319.84/312.67	o 1277836
319.84/312.67	o 1278768
319.84/312.67	o 1280023
319.84/312.67	o 1280955
319.84/312.67	o 1281780
319.84/312.67	o 1282712
319.84/312.67	o 1283353
319.84/312.67	o 1283877
319.84/312.67	o 1285330
319.84/312.67	o 1287517
319.84/312.67	o 1289274
319.84/312.67	o 1289915
319.84/312.67	o 1290206
319.84/312.67	o 1290847
320.65/313.47	o 1294218
320.65/313.47	o 1294353
320.65/313.47	o 1295229
320.65/313.47	o 1295364
321.06/313.88	o 1295650
321.06/313.88	o 1296661
321.16/313.96	o 1296796
321.38/314.14	o 1298457
321.38/314.14	o 1299389
321.38/314.14	o 1299408
321.38/314.14	o 1303947
321.47/314.20	o 1304881
321.47/314.20	o 1305233
328.43/321.02	o 1305282
328.43/321.02	o 1306102
328.43/321.02	o 1310411
328.43/321.02	o 1311422
328.43/321.10	o 1311614
328.43/321.11	o 1311705
328.43/321.11	o 1317762
328.54/321.11	o 1317853
328.54/321.15	o 1321425
328.54/321.15	o 1321516
328.63/321.20	o 1322108
328.63/321.20	o 1322749
328.63/321.21	o 1323040
328.63/321.22	o 1323681
330.81/323.33	o 1323750
330.81/323.33	o 1325246
330.81/323.33	o 1325381
330.81/323.33	o 1328904
330.81/323.33	o 1329039
330.81/323.33	o 1330269
330.81/323.33	o 1330404
330.91/323.40	o 1331280
330.91/323.43	o 1331415
331.85/324.36	o 1332327
334.41/326.87	o 1334447
334.41/326.87	o 1335733
334.41/326.87	o 1338111
334.41/326.87	o 1339397
334.41/326.87	o 1340595
334.41/326.87	o 1344259
334.41/326.87	o 1345545
334.41/326.88	o 1345691
334.41/326.88	o 1346977
345.60/337.76	o 1347208
345.60/337.76	o 1347560
345.60/337.76	o 1347644
346.22/338.37	o 1347650
346.22/338.37	o 1348002
346.22/338.37	o 1348534
346.22/338.37	o 1352244
346.22/338.38	o 1352596
369.53/361.14	o 1353505
396.62/387.54	o 1354390
396.62/387.54	o 1354474
412.79/403.30	o 1355320
412.79/403.30	o 1355922
412.79/403.30	o 1357077
412.79/403.30	o 1358327
412.79/403.30	o 1360084
412.79/403.30	o 1361239
427.02/417.27	o 1362982
427.02/417.27	o 1363066
427.02/417.27	o 1364739
427.02/417.27	o 1364823
427.33/417.59	o 1365799
427.33/417.59	o 1366042
427.33/417.59	o 1367085
427.33/417.59	o 1368020
427.33/417.59	o 1370896
427.33/417.59	o 1372182
427.33/417.59	o 1373225
427.33/417.59	o 1373552
427.53/417.79	o 1373636
443.81/433.50	o 1373956
449.23/438.81	o 1374437
449.23/438.81	o 1374521
449.23/438.81	o 1378995
449.23/438.81	o 1379079
453.94/443.40	o 1381584
453.94/443.40	o 1385066
453.94/443.40	o 1388458
455.78/445.25	o 1389388
455.78/445.25	o 1389523
455.88/445.32	o 1390725
455.88/445.32	o 1391768
455.88/445.32	o 1391880
455.88/445.32	o 1392923
455.88/445.40	o 1395165
455.99/445.40	o 1396320
455.99/445.40	o 1397363
455.99/445.40	o 1397498
456.80/446.26	o 1400275
456.80/446.26	o 1404833
457.01/446.41	o 1406507
510.32/498.45	o 1407026
510.42/498.50	o 1407161
558.83/545.50	o 1408097
656.15/639.91	o 1408483
697.58/680.37	o 1409430
697.58/680.37	o 1410063
697.58/680.37	o 1413123
697.58/680.37	o 1418338
704.24/686.86	o 1418764
704.24/686.86	o 1420050
737.13/718.82	o 1420939
737.13/718.82	o 1421291
745.02/726.02	o 1422035
745.02/726.02	o 1426475
745.31/726.39	o 1426559
754.54/735.39	o 1427967
754.54/735.39	o 1430947
754.54/735.39	o 1432704
808.97/788.47	o 1435637
808.97/788.47	o 1436878
1085.27/1057.33	o 1440661
1159.43/1129.75	o 1440749
2400.00/2337.20	s SATISFIABLE
2400.00/2337.20	v <instantiation>
2400.00/2337.20	v 	<list>
2400.00/2337.20	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/2337.20	v 	</list>
2400.00/2337.20	v 	<values>
2400.00/2337.20	v 		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 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 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 
2400.00/2337.20	v 	</values>
2400.00/2337.20	v </instantiation>

Verifier Data 

OK	1440749

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291706-1532257158/watcher-4291706-1532257158 -o /tmp/evaluation-result-4291706-1532257158/solver-4291706-1532257158 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532226532-31075 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 85210331 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291706-1532257158.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
Current StackSize limit: 8192 KiB

solver pid=3093, runsolver pid=3090

[startup+0.100059 s]*
/proc/loadavg: 1.64 1.56 1.51 3/215 3108
/proc/meminfo: memFree=19730088/32770624 swapFree=67108860/67108860
[pid=3093] ppid=3090 vsize=14082740 memory=31852 CPUtime=0.12 cores=0,2,4,6
/proc/3093/stat : 3093 (java) S 3090 3093 31044 0 -1 1077944320 6919 0 0 0 11 1 0 0 20 0 15 0 43278961 14420725760 7963 33554432000 4194304 4196468 140732230251824 140732230234368 140345351982839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
/proc/3093/statm: 3520685 7963 3143 1 0 3482761 0
[pid=3093/tid=3095] ppid=3090 vsize=14082740 memory=-8171376296011865461 CPUtime=0.09 cores=0,2,4,6
/proc/3093/task/3095/stat : 3095 (java) R 3090 3093 31044 0 -1 4202560 5287 0 0 0 9 0 0 0 20 0 15 0 43278962 14420725760 8293 33554432000 4194304 4196468 140732230251824 140345356167520 140345332258560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3096] ppid=3090 vsize=14082740 memory=7948963741541478447 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3096/stat : 3096 (java) S 3090 3093 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43278962 14420725760 8293 33554432000 4194304 4196468 140732230251824 140344947829264 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3097] ppid=3090 vsize=14082740 memory=139840518956672 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3097/stat : 3097 (java) S 3090 3093 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43278962 14420725760 8293 33554432000 4194304 4196468 140732230251824 140344946776720 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3098] ppid=3090 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3098/stat : 3098 (java) S 3090 3093 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43278962 14420725760 8293 33554432000 4194304 4196468 140732230251824 140344945723664 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3099] ppid=3090 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3099/stat : 3099 (java) S 3090 3093 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43278962 14420725760 8293 33554432000 4194304 4196468 140732230251824 140344944671120 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3100] ppid=3090 vsize=14082740 memory=139840518956672 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3100/stat : 3100 (java) S 3090 3093 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43278964 14420725760 8293 33554432000 4194304 4196468 140732230251824 140344265243376 140345351993986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3101] ppid=3090 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3101/stat : 3101 (java) S 3090 3093 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43278964 14420725760 8293 33554432000 4194304 4196468 140732230251824 140344264189600 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3102] ppid=3090 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3102/stat : 3102 (java) S 3090 3093 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43278964 14420725760 8293 33554432000 4194304 4196468 140732230251824 140344263136496 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3103] ppid=3090 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3103/stat : 3103 (java) S 3090 3093 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43278967 14420725760 8359 33554432000 4194304 4196468 140732230251824 140344262085072 140345352001435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3104] ppid=3090 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3104/stat : 3104 (java) S 3090 3093 31044 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 43278967 14420725760 8359 33554432000 4194304 4196468 140732230251824 140344261032176 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3105] ppid=3090 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3105/stat : 3105 (java) S 3090 3093 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43278967 14420725760 8359 33554432000 4194304 4196468 140732230251824 140344259979632 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3106] ppid=3090 vsize=14082740 memory=139840518956672 CPUtime=0.01 cores=0,2,4,6
/proc/3093/task/3106/stat : 3106 (java) S 3090 3093 31044 0 -1 1077944384 237 0 0 0 1 0 0 0 20 0 15 0 43278967 14420725760 8359 33554432000 4194304 4196468 140732230251824 140344258926576 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3107] ppid=3090 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3107/stat : 3107 (java) S 3090 3093 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43278967 14420725760 8359 33554432000 4194304 4196468 140732230251824 140344257874272 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3108] ppid=3090 vsize=14082740 memory=139840518956672 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3108/stat : 3108 (java) S 3090 3093 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43278967 14420725760 8359 33554432000 4194304 4196468 140732230251824 140344256822320 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31852 KiB

[startup+0.210508 s]*
/proc/loadavg: 1.64 1.56 1.51 5/215 3108
/proc/meminfo: memFree=19714352/32770624 swapFree=67108860/67108860
[pid=3093] ppid=3090 vsize=14082740 memory=46804 CPUtime=0.31 cores=0,2,4,6
/proc/3093/stat : 3093 (java) S 3090 3093 31044 0 -1 1077944320 10314 0 0 0 29 2 0 0 20 0 15 0 43278961 14420725760 11701 33554432000 4194304 4196468 140732230251824 140732230234368 140345351982839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
/proc/3093/statm: 3520685 11701 3364 1 0 3482761 0
[pid=3093/tid=3095] ppid=3090 vsize=14082740 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/3093/task/3095/stat : 3095 (java) R 3090 3093 31044 0 -1 1077944384 8048 0 0 0 18 1 0 0 20 0 15 0 43278962 14420725760 11701 33554432000 4194304 4196468 140732230251824 140345356211888 140345351993045 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3096] ppid=3090 vsize=14082740 memory=4294967636 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3096/stat : 3096 (java) S 3090 3093 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43278962 14420725760 11701 33554432000 4194304 4196468 140732230251824 140344947829264 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3097] ppid=3090 vsize=14082740 memory=288370216670668416 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3097/stat : 3097 (java) S 3090 3093 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43278962 14420725760 11701 33554432000 4194304 4196468 140732230251824 140344946776720 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3098] ppid=3090 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3098/stat : 3098 (java) S 3090 3093 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43278962 14420725760 11701 33554432000 4194304 4196468 140732230251824 140344945723664 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3099] ppid=3090 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3099/stat : 3099 (java) S 3090 3093 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43278962 14420725760 11701 33554432000 4194304 4196468 140732230251824 140344944671120 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3100] ppid=3090 vsize=14082740 memory=139840518956672 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3100/stat : 3100 (java) S 3090 3093 31044 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43278964 14420725760 11701 33554432000 4194304 4196468 140732230251824 140344265243376 140345351993986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3101] ppid=3090 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3101/stat : 3101 (java) S 3090 3093 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43278964 14420725760 11701 33554432000 4194304 4196468 140732230251824 140344264189600 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3102] ppid=3090 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3102/stat : 3102 (java) S 3090 3093 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43278964 14420725760 11701 33554432000 4194304 4196468 140732230251824 140344263136496 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3103] ppid=3090 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3103/stat : 3103 (java) S 3090 3093 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43278967 14420725760 11701 33554432000 4194304 4196468 140732230251824 140344262085072 140345352001435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3104] ppid=3090 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3093/task/3104/stat : 3104 (java) R 3090 3093 31044 0 -1 4202560 431 0 0 0 2 0 0 0 20 0 15 0 43278967 14420725760 11701 33554432000 4194304 4196468 140732230251824 140344261032176 140345344219966 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3105] ppid=3090 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3093/task/3105/stat : 3105 (java) R 3090 3093 31044 0 -1 4202560 173 0 0 0 1 0 0 0 20 0 15 0 43278967 14420725760 11701 33554432000 4194304 4196468 140732230251824 140344259979728 140345333162458 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3106] ppid=3090 vsize=14082740 memory=139840518956672 CPUtime=0.06 cores=0,2,4,6
/proc/3093/task/3106/stat : 3106 (java) S 3090 3093 31044 0 -1 1077944384 282 0 0 0 6 0 0 0 20 0 15 0 43278967 14420725760 11701 33554432000 4194304 4196468 140732230251824 140344258926576 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3107] ppid=3090 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3107/stat : 3107 (java) S 3090 3093 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43278967 14420725760 11701 33554432000 4194304 4196468 140732230251824 140344257874272 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3108] ppid=3090 vsize=14082740 memory=139840518956672 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3108/stat : 3108 (java) S 3090 3093 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43278967 14420725760 11701 33554432000 4194304 4196468 140732230251824 140344256822320 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46804 KiB

[startup+0.310698 s]*
/proc/loadavg: 1.64 1.56 1.51 3/215 3108
/proc/meminfo: memFree=19711064/32770624 swapFree=67108860/67108860
[pid=3093] ppid=3090 vsize=14082740 memory=50376 CPUtime=0.43 cores=0,2,4,6
/proc/3093/stat : 3093 (java) S 3090 3093 31044 0 -1 1077944320 10724 0 0 0 41 2 0 0 20 0 15 0 43278961 14420725760 12594 33554432000 4194304 4196468 140732230251824 140732230234368 140345351982839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
/proc/3093/statm: 3520685 12594 3367 1 0 3482761 0
[pid=3093/tid=3095] ppid=3090 vsize=14082740 memory=7230368021996071252 CPUtime=0.29 cores=0,2,4,6
/proc/3093/task/3095/stat : 3095 (java) R 3090 3093 31044 0 -1 4202560 8428 0 0 0 28 1 0 0 20 0 15 0 43278962 14420725760 12594 33554432000 4194304 4196468 140732230251824 140345356167104 140345333547812 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3096] ppid=3090 vsize=14082740 memory=4294967295 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3096/stat : 3096 (java) S 3090 3093 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43278962 14420725760 12594 33554432000 4194304 4196468 140732230251824 140344947829264 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3097] ppid=3090 vsize=14082740 memory=139840519010080 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3097/stat : 3097 (java) S 3090 3093 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43278962 14420725760 12594 33554432000 4194304 4196468 140732230251824 140344946776720 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3098] ppid=3090 vsize=14082740 memory=55780 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3098/stat : 3098 (java) S 3090 3093 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43278962 14420725760 12594 33554432000 4194304 4196468 140732230251824 140344945723664 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3099] ppid=3090 vsize=14082740 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3099/stat : 3099 (java) S 3090 3093 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43278962 14420725760 12594 33554432000 4194304 4196468 140732230251824 140344944671120 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3100] ppid=3090 vsize=14082740 memory=139840519016992 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3100/stat : 3100 (java) S 3090 3093 31044 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43278964 14420725760 12594 33554432000 4194304 4196468 140732230251824 140344265243376 140345351993986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3101] ppid=3090 vsize=14082740 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3101/stat : 3101 (java) S 3090 3093 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43278964 14420725760 12594 33554432000 4194304 4196468 140732230251824 140344264189600 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3102] ppid=3090 vsize=14082740 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3102/stat : 3102 (java) S 3090 3093 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43278964 14420725760 12594 33554432000 4194304 4196468 140732230251824 140344263136496 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3103] ppid=3090 vsize=14082740 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3103/stat : 3103 (java) S 3090 3093 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43278967 14420725760 12594 33554432000 4194304 4196468 140732230251824 140344262085072 140345352001435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3104] ppid=3090 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3093/task/3104/stat : 3104 (java) S 3090 3093 31044 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 15 0 43278967 14420725760 12594 33554432000 4194304 4196468 140732230251824 140344261032176 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3105] ppid=3090 vsize=14082740 memory=139840377174959 CPUtime=0.01 cores=0,2,4,6
/proc/3093/task/3105/stat : 3105 (java) S 3090 3093 31044 0 -1 1077944384 174 0 0 0 1 0 0 0 20 0 15 0 43278967 14420725760 12594 33554432000 4194304 4196468 140732230251824 140344259979632 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3106] ppid=3090 vsize=14082740 memory=139840518959695 CPUtime=0.08 cores=0,2,4,6
/proc/3093/task/3106/stat : 3106 (java) S 3090 3093 31044 0 -1 1077944384 296 0 0 0 8 0 0 0 20 0 15 0 43278967 14420725760 12594 33554432000 4194304 4196468 140732230251824 140344258926576 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3107] ppid=3090 vsize=14082740 memory=139840377184175 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3107/stat : 3107 (java) S 3090 3093 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43278967 14420725760 12594 33554432000 4194304 4196468 140732230251824 140344257874272 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3108] ppid=3090 vsize=14082740 memory=279680896157664 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3108/stat : 3108 (java) S 3090 3093 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43278967 14420725760 12594 33554432000 4194304 4196468 140732230251824 140344256822320 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50376 KiB

[startup+0.700728 s]
/proc/loadavg: 1.64 1.56 1.51 3/215 3108
/proc/meminfo: memFree=19688928/32770624 swapFree=67108860/67108860
[pid=3093] ppid=3090 vsize=14084808 memory=86452 CPUtime=0.99 cores=0,2,4,6
/proc/3093/stat : 3093 (java) S 3090 3093 31044 0 -1 1077944320 17525 0 0 0 94 5 0 0 20 0 15 0 43278961 14422843392 21613 33554432000 4194304 4196468 140732230251824 140732230234368 140345351982839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
/proc/3093/statm: 3521202 21613 3498 1 0 3483273 0
[pid=3093/tid=3095] ppid=3090 vsize=14084808 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/3093/task/3095/stat : 3095 (java) R 3090 3093 31044 0 -1 4202560 14808 0 0 0 63 3 0 0 20 0 15 0 43278962 14422843392 21613 33554432000 4194304 4196468 140732230251824 140345356189056 140345319574132 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3096] ppid=3090 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3096/stat : 3096 (java) S 3090 3093 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43278962 14422843392 21613 33554432000 4194304 4196468 140732230251824 140344947829264 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3097] ppid=3090 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3097/stat : 3097 (java) S 3090 3093 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43278962 14422843392 21613 33554432000 4194304 4196468 140732230251824 140344946776720 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3098] ppid=3090 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3098/stat : 3098 (java) S 3090 3093 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43278962 14422843392 21613 33554432000 4194304 4196468 140732230251824 140344945723664 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3099] ppid=3090 vsize=14084808 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3099/stat : 3099 (java) S 3090 3093 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43278962 14422843392 21613 33554432000 4194304 4196468 140732230251824 140344944671120 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3100] ppid=3090 vsize=14084808 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3100/stat : 3100 (java) S 3090 3093 31044 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43278964 14422843392 21613 33554432000 4194304 4196468 140732230251824 140344265243376 140345351993986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3101] ppid=3090 vsize=14084808 memory=9104 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3101/stat : 3101 (java) S 3090 3093 31044 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43278964 14422843392 21613 33554432000 4194304 4196468 140732230251824 140344264189600 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3102] ppid=3090 vsize=14084808 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3102/stat : 3102 (java) S 3090 3093 31044 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43278964 14422843392 21613 33554432000 4194304 4196468 140732230251824 140344263136496 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3103] ppid=3090 vsize=14084808 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3103/stat : 3103 (java) S 3090 3093 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43278967 14422843392 21613 33554432000 4194304 4196468 140732230251824 140344262085072 140345352001435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3104] ppid=3090 vsize=14084808 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/3093/task/3104/stat : 3104 (java) S 3090 3093 31044 0 -1 1077944384 573 0 0 0 6 0 0 0 20 0 15 0 43278967 14422843392 21613 33554432000 4194304 4196468 140732230251824 140344261032176 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3105] ppid=3090 vsize=14084808 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3093/task/3105/stat : 3105 (java) S 3090 3093 31044 0 -1 1077944384 353 0 0 0 8 0 0 0 20 0 15 0 43278967 14422843392 21613 33554432000 4194304 4196468 140732230251824 140344259979632 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3106] ppid=3090 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/3093/task/3106/stat : 3106 (java) S 3090 3093 31044 0 -1 1077944384 409 0 0 0 15 0 0 0 20 0 15 0 43278967 14422843392 21613 33554432000 4194304 4196468 140732230251824 140344258926576 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3107] ppid=3090 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3107/stat : 3107 (java) S 3090 3093 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43278967 14422843392 21613 33554432000 4194304 4196468 140732230251824 140344257874272 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3108] ppid=3090 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3108/stat : 3108 (java) S 3090 3093 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43278967 14422843392 21613 33554432000 4194304 4196468 140732230251824 140344256822320 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 86452 KiB

[startup+1.50072 s]
/proc/loadavg: 1.64 1.56 1.51 5/215 3108
/proc/meminfo: memFree=19646428/32770624 swapFree=67108860/67108860
[pid=3093] ppid=3090 vsize=14086856 memory=184484 CPUtime=2.76 cores=0,2,4,6
/proc/3093/stat : 3093 (java) S 3090 3093 31044 0 -1 1077944320 20545 0 0 0 268 8 0 0 20 0 15 0 43278961 14424940544 46121 33554432000 4194304 4196468 140732230251824 140732230234368 140345351982839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
/proc/3093/statm: 3521714 46121 3549 1 0 3483785 0
[pid=3093/tid=3095] ppid=3090 vsize=14086856 memory=2241 CPUtime=1.46 cores=0,2,4,6
/proc/3093/task/3095/stat : 3095 (java) R 3090 3093 31044 0 -1 4202560 16043 0 0 0 140 6 0 0 20 0 15 0 43278962 14424940544 46121 33554432000 4194304 4196468 140732230251824 140345356218544 140344990268024 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3096] ppid=3090 vsize=14086856 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3096/stat : 3096 (java) S 3090 3093 31044 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43278962 14424940544 46121 33554432000 4194304 4196468 140732230251824 140344947829264 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3097] ppid=3090 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3097/stat : 3097 (java) S 3090 3093 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43278962 14424940544 46121 33554432000 4194304 4196468 140732230251824 140344946776720 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3098] ppid=3090 vsize=14086856 memory=279680754557760 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3098/stat : 3098 (java) S 3090 3093 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43278962 14424940544 46121 33554432000 4194304 4196468 140732230251824 140344945723664 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3099] ppid=3090 vsize=14086856 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3099/stat : 3099 (java) S 3090 3093 31044 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43278962 14424940544 46121 33554432000 4194304 4196468 140732230251824 140344944671120 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3100] ppid=3090 vsize=14086856 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3100/stat : 3100 (java) S 3090 3093 31044 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 43278964 14424940544 46121 33554432000 4194304 4196468 140732230251824 140344265243376 140345351993986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0

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

/proc/3093/task/3095/stat : 3095 (java) R 3090 3093 31044 0 -1 4202560 142576 0 0 0 218208 60 0 0 20 0 15 0 43278962 14431232000 420912 33554432000 4194304 4196468 140732230251824 140345356220848 140344994446520 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3096] ppid=3090 vsize=14093000 memory=1708272 CPUtime=17.16 cores=0,2,4,6
/proc/3093/task/3096/stat : 3096 (java) S 3090 3093 31044 0 -1 1077944384 13816 0 0 0 1641 75 0 0 20 0 15 0 43278962 14431232000 420912 33554432000 4194304 4196468 140732230251824 140344947829264 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3097] ppid=3090 vsize=14093000 memory=1200 CPUtime=17.17 cores=0,2,4,6
/proc/3093/task/3097/stat : 3097 (java) S 3090 3093 31044 0 -1 1077944384 11677 0 0 0 1645 72 0 0 20 0 15 0 43278962 14431232000 420912 33554432000 4194304 4196468 140732230251824 140344946776720 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3098] ppid=3090 vsize=14093000 memory=1708272 CPUtime=17.17 cores=0,2,4,6
/proc/3093/task/3098/stat : 3098 (java) S 3090 3093 31044 0 -1 1077944384 11196 0 0 0 1645 72 0 0 20 0 15 0 43278962 14431232000 420912 33554432000 4194304 4196468 140732230251824 140344945723664 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3099] ppid=3090 vsize=14093000 memory=1709296 CPUtime=17.17 cores=0,2,4,6
/proc/3093/task/3099/stat : 3099 (java) S 3090 3093 31044 0 -1 1077944384 13141 0 0 0 1645 72 0 0 20 0 15 0 43278962 14431232000 420912 33554432000 4194304 4196468 140732230251824 140344944671120 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3100] ppid=3090 vsize=14093000 memory=1708272 CPUtime=1.6 cores=0,2,4,6
/proc/3093/task/3100/stat : 3100 (java) S 3090 3093 31044 0 -1 1077944384 62049 0 0 0 136 24 0 0 20 0 15 0 43278964 14431232000 420912 33554432000 4194304 4196468 140732230251824 140344265243376 140345351993986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3101] ppid=3090 vsize=14093000 memory=1708272 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3101/stat : 3101 (java) S 3090 3093 31044 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 43278964 14431232000 420912 33554432000 4194304 4196468 140732230251824 140344264189664 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3102] ppid=3090 vsize=14093000 memory=279680756305216 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3102/stat : 3102 (java) S 3090 3093 31044 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 43278964 14431232000 420912 33554432000 4194304 4196468 140732230251824 140344263136512 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3103] ppid=3090 vsize=14093000 memory=279680756223520 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3103/stat : 3103 (java) S 3090 3093 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43278967 14431232000 420912 33554432000 4194304 4196468 140732230251824 140344262085072 140345352001435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3104] ppid=3090 vsize=14093000 memory=1708272 CPUtime=2.97 cores=0,2,4,6
/proc/3093/task/3104/stat : 3104 (java) S 3090 3093 31044 0 -1 1077944384 17451 0 0 0 294 3 0 0 20 0 15 0 43278967 14431232000 420912 33554432000 4194304 4196468 140732230251824 140344261032176 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3105] ppid=3090 vsize=14093000 memory=1708272 CPUtime=3.07 cores=0,2,4,6
/proc/3093/task/3105/stat : 3105 (java) S 3090 3093 31044 0 -1 1077944384 14935 0 0 0 305 2 0 0 20 0 15 0 43278967 14431232000 420912 33554432000 4194304 4196468 140732230251824 140344259979632 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3106] ppid=3090 vsize=14093000 memory=1708272 CPUtime=1.23 cores=0,2,4,6
/proc/3093/task/3106/stat : 3106 (java) S 3090 3093 31044 0 -1 1077944384 18533 0 0 0 119 4 0 0 20 0 15 0 43278967 14431232000 420912 33554432000 4194304 4196468 140732230251824 140344258926576 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3107] ppid=3090 vsize=14093000 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3107/stat : 3107 (java) S 3090 3093 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43278967 14431232000 420912 33554432000 4194304 4196468 140732230251824 140344257874272 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3108] ppid=3090 vsize=14093000 memory=1583096 CPUtime=1.14 cores=0,2,4,6
/proc/3093/task/3108/stat : 3108 (java) S 3090 3093 31044 0 -1 1077944384 1540 0 0 0 58 56 0 0 20 0 15 0 43278967 14431232000 420912 33554432000 4194304 4196468 140732230251824 140344256822320 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
Current children cumulated CPU time: 2261.48 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1683648 KiB

[startup+2262.3 s]
/proc/loadavg: 1.40 1.48 1.45 3/215 3278
/proc/meminfo: memFree=17243408/32770624 swapFree=67108860/67108860
[pid=3093] ppid=3090 vsize=14093000 memory=1614412 CPUtime=2323.22 cores=0,2,4,6
/proc/3093/stat : 3093 (java) S 3090 3093 31044 0 -1 1077944320 319769 0 0 0 231894 428 0 0 20 0 15 0 43278961 14431232000 403603 33554432000 4194304 4196468 140732230251824 140732230234368 140345351982839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
/proc/3093/statm: 3523250 403603 3622 1 0 3485321 0
[pid=3093/tid=3095] ppid=3090 vsize=14093000 memory=8112282956445269571 CPUtime=2242.09 cores=0,2,4,6
/proc/3093/task/3095/stat : 3095 (java) R 3090 3093 31044 0 -1 4202560 149227 0 0 0 224149 60 0 0 20 0 15 0 43278962 14431232000 403603 33554432000 4194304 4196468 140732230251824 140345356220848 140344993998046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3096] ppid=3090 vsize=14093000 memory=1614412 CPUtime=17.72 cores=0,2,4,6
/proc/3093/task/3096/stat : 3096 (java) S 3090 3093 31044 0 -1 1077944384 14250 0 0 0 1697 75 0 0 20 0 15 0 43278962 14431232000 403603 33554432000 4194304 4196468 140732230251824 140344947829264 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3097] ppid=3090 vsize=14093000 memory=1617484 CPUtime=17.74 cores=0,2,4,6
/proc/3093/task/3097/stat : 3097 (java) S 3090 3093 31044 0 -1 1077944384 12054 0 0 0 1701 73 0 0 20 0 15 0 43278962 14431232000 403603 33554432000 4194304 4196468 140732230251824 140344946776720 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3098] ppid=3090 vsize=14093000 memory=1642624 CPUtime=17.74 cores=0,2,4,6
/proc/3093/task/3098/stat : 3098 (java) S 3090 3093 31044 0 -1 1077944384 11510 0 0 0 1702 72 0 0 20 0 15 0 43278962 14431232000 403603 33554432000 4194304 4196468 140732230251824 140344945723664 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3099] ppid=3090 vsize=14093000 memory=1614412 CPUtime=17.74 cores=0,2,4,6
/proc/3093/task/3099/stat : 3099 (java) S 3090 3093 31044 0 -1 1077944384 13651 0 0 0 1702 72 0 0 20 0 15 0 43278962 14431232000 403603 33554432000 4194304 4196468 140732230251824 140344944671120 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3100] ppid=3090 vsize=14093000 memory=1614412 CPUtime=1.61 cores=0,2,4,6
/proc/3093/task/3100/stat : 3100 (java) S 3090 3093 31044 0 -1 1077944384 64808 0 0 0 137 24 0 0 20 0 15 0 43278964 14431232000 403603 33554432000 4194304 4196468 140732230251824 140344265243376 140345351993986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3101] ppid=3090 vsize=14093000 memory=1614412 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3101/stat : 3101 (java) S 3090 3093 31044 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 43278964 14431232000 403603 33554432000 4194304 4196468 140732230251824 140344264189664 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3102] ppid=3090 vsize=14093000 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3102/stat : 3102 (java) S 3090 3093 31044 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 43278964 14431232000 403603 33554432000 4194304 4196468 140732230251824 140344263136512 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3103] ppid=3090 vsize=14093000 memory=1614412 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3103/stat : 3103 (java) S 3090 3093 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43278967 14431232000 403603 33554432000 4194304 4196468 140732230251824 140344262085072 140345352001435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3104] ppid=3090 vsize=14093000 memory=1614412 CPUtime=2.97 cores=0,2,4,6
/proc/3093/task/3104/stat : 3104 (java) S 3090 3093 31044 0 -1 1077944384 17453 0 0 0 294 3 0 0 20 0 15 0 43278967 14431232000 403603 33554432000 4194304 4196468 140732230251824 140344261032176 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3105] ppid=3090 vsize=14093000 memory=8372 CPUtime=3.07 cores=0,2,4,6
/proc/3093/task/3105/stat : 3105 (java) S 3090 3093 31044 0 -1 1077944384 14937 0 0 0 305 2 0 0 20 0 15 0 43278967 14431232000 403603 33554432000 4194304 4196468 140732230251824 140344259979632 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3106] ppid=3090 vsize=14093000 memory=1708 CPUtime=1.24 cores=0,2,4,6
/proc/3093/task/3106/stat : 3106 (java) S 3090 3093 31044 0 -1 1077944384 18874 0 0 0 120 4 0 0 20 0 15 0 43278967 14431232000 403603 33554432000 4194304 4196468 140732230251824 140344258926576 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3107] ppid=3090 vsize=14093000 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3107/stat : 3107 (java) S 3090 3093 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43278967 14431232000 403603 33554432000 4194304 4196468 140732230251824 140344257874272 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3108] ppid=3090 vsize=14093000 memory=2400 CPUtime=1.17 cores=0,2,4,6
/proc/3093/task/3108/stat : 3108 (java) S 3090 3093 31044 0 -1 1077944384 1559 0 0 0 60 57 0 0 20 0 15 0 43278967 14431232000 403603 33554432000 4194304 4196468 140732230251824 140344256822320 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
Current children cumulated CPU time: 2323.22 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1614412 KiB

[startup+2322.3 s]
/proc/loadavg: 1.33 1.44 1.44 3/215 3279
/proc/meminfo: memFree=17456008/32770624 swapFree=67108860/67108860
[pid=3093] ppid=3090 vsize=14093000 memory=1503092 CPUtime=2384.67 cores=0,2,4,6
/proc/3093/stat : 3093 (java) S 3090 3093 31044 0 -1 1077944320 327548 0 0 0 238037 430 0 0 20 0 15 0 43278961 14431232000 375773 33554432000 4194304 4196468 140732230251824 140732230234368 140345351982839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
/proc/3093/statm: 3523250 375773 3622 1 0 3485321 0
[pid=3093/tid=3095] ppid=3090 vsize=14093000 memory=1503092 CPUtime=2301.59 cores=0,2,4,6
/proc/3093/task/3095/stat : 3095 (java) R 3090 3093 31044 0 -1 4202560 156155 0 0 0 230098 61 0 0 20 0 15 0 43278962 14431232000 375773 33554432000 4194304 4196468 140732230251824 140345356220736 140344987851681 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3096] ppid=3090 vsize=14093000 memory=1503092 CPUtime=18.21 cores=0,2,4,6
/proc/3093/task/3096/stat : 3096 (java) S 3090 3093 31044 0 -1 1077944384 14457 0 0 0 1745 76 0 0 20 0 15 0 43278962 14431232000 375773 33554432000 4194304 4196468 140732230251824 140344947829264 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3097] ppid=3090 vsize=14093000 memory=1503092 CPUtime=18.22 cores=0,2,4,6
/proc/3093/task/3097/stat : 3097 (java) S 3090 3093 31044 0 -1 1077944384 12120 0 0 0 1749 73 0 0 20 0 15 0 43278962 14431232000 375773 33554432000 4194304 4196468 140732230251824 140344946776720 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3098] ppid=3090 vsize=14093000 memory=1503092 CPUtime=18.23 cores=0,2,4,6
/proc/3093/task/3098/stat : 3098 (java) S 3090 3093 31044 0 -1 1077944384 11652 0 0 0 1750 73 0 0 20 0 15 0 43278962 14431232000 375773 33554432000 4194304 4196468 140732230251824 140344945723664 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3099] ppid=3090 vsize=14093000 memory=1503092 CPUtime=18.22 cores=0,2,4,6
/proc/3093/task/3099/stat : 3099 (java) S 3090 3093 31044 0 -1 1077944384 13889 0 0 0 1750 72 0 0 20 0 15 0 43278962 14431232000 375773 33554432000 4194304 4196468 140732230251824 140344944671120 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3100] ppid=3090 vsize=14093000 memory=1503092 CPUtime=1.64 cores=0,2,4,6
/proc/3093/task/3100/stat : 3100 (java) S 3090 3093 31044 0 -1 1077944384 64988 0 0 0 139 25 0 0 20 0 15 0 43278964 14431232000 375773 33554432000 4194304 4196468 140732230251824 140344265243376 140345351993986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3101] ppid=3090 vsize=14093000 memory=1503092 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3101/stat : 3101 (java) S 3090 3093 31044 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 43278964 14431232000 375773 33554432000 4194304 4196468 140732230251824 140344264189664 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3102] ppid=3090 vsize=14093000 memory=1503092 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3102/stat : 3102 (java) S 3090 3093 31044 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 43278964 14431232000 375773 33554432000 4194304 4196468 140732230251824 140344263136512 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3103] ppid=3090 vsize=14093000 memory=1505656 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3103/stat : 3103 (java) S 3090 3093 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43278967 14431232000 375773 33554432000 4194304 4196468 140732230251824 140344262085072 140345352001435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3104] ppid=3090 vsize=14093000 memory=1503092 CPUtime=2.97 cores=0,2,4,6
/proc/3093/task/3104/stat : 3104 (java) S 3090 3093 31044 0 -1 1077944384 17453 0 0 0 294 3 0 0 20 0 15 0 43278967 14431232000 375773 33554432000 4194304 4196468 140732230251824 140344261032176 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3105] ppid=3090 vsize=14093000 memory=9144 CPUtime=3.07 cores=0,2,4,6
/proc/3093/task/3105/stat : 3105 (java) S 3090 3093 31044 0 -1 1077944384 14937 0 0 0 305 2 0 0 20 0 15 0 43278967 14431232000 375773 33554432000 4194304 4196468 140732230251824 140344259979632 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3106] ppid=3090 vsize=14093000 memory=4140 CPUtime=1.24 cores=0,2,4,6
/proc/3093/task/3106/stat : 3106 (java) S 3090 3093 31044 0 -1 1077944384 18874 0 0 0 120 4 0 0 20 0 15 0 43278967 14431232000 375773 33554432000 4194304 4196468 140732230251824 140344258926576 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3107] ppid=3090 vsize=14093000 memory=14724 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3107/stat : 3107 (java) S 3090 3093 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43278967 14431232000 375773 33554432000 4194304 4196468 140732230251824 140344257874272 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3108] ppid=3090 vsize=14093000 memory=1503092 CPUtime=1.2 cores=0,2,4,6
/proc/3093/task/3108/stat : 3108 (java) S 3090 3093 31044 0 -1 1077944384 1577 0 0 0 61 59 0 0 20 0 15 0 43278967 14431232000 375773 33554432000 4194304 4196468 140732230251824 140344256822320 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
Current children cumulated CPU time: 2384.67 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1503092 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2337.2 s]
/proc/loadavg: 1.80 1.53 1.47 3/215 3279
/proc/meminfo: memFree=17273696/32770624 swapFree=67108860/67108860
[pid=3093] ppid=3090 vsize=14093000 memory=1704788 CPUtime=2400 cores=0,2,4,6
/proc/3093/stat : 3093 (java) S 3090 3093 31044 0 -1 1077944320 331304 0 0 0 239555 445 0 0 20 0 15 0 43278961 14431232000 426197 33554432000 4194304 4196468 140732230251824 140732230234368 140345351982839 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
/proc/3093/statm: 3523250 426197 3622 1 0 3485321 0
[pid=3093/tid=3095] ppid=3090 vsize=14093000 memory=2340 CPUtime=2316.35 cores=0,2,4,6
/proc/3093/task/3095/stat : 3095 (java) R 3090 3093 31044 0 -1 4202560 157918 0 0 0 231572 63 0 0 20 0 15 0 43278962 14431232000 426197 33554432000 4194304 4196468 140732230251824 140345356220736 140344987851573 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3096] ppid=3090 vsize=14093000 memory=2244 CPUtime=18.34 cores=0,2,4,6
/proc/3093/task/3096/stat : 3096 (java) S 3090 3093 31044 0 -1 1077944384 14782 0 0 0 1755 79 0 0 20 0 15 0 43278962 14431232000 426197 33554432000 4194304 4196468 140732230251824 140344947829264 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3097] ppid=3090 vsize=14093000 memory=8112282956445269571 CPUtime=18.36 cores=0,2,4,6
/proc/3093/task/3097/stat : 3097 (java) S 3090 3093 31044 0 -1 1077944384 12446 0 0 0 1760 76 0 0 20 0 15 0 43278962 14431232000 426197 33554432000 4194304 4196468 140732230251824 140344946776720 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3098] ppid=3090 vsize=14093000 memory=1012 CPUtime=18.36 cores=0,2,4,6
/proc/3093/task/3098/stat : 3098 (java) S 3090 3093 31044 0 -1 1077944384 12183 0 0 0 1760 76 0 0 20 0 15 0 43278962 14431232000 426197 33554432000 4194304 4196468 140732230251824 140344945723664 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3099] ppid=3090 vsize=14093000 memory=1436 CPUtime=18.36 cores=0,2,4,6
/proc/3093/task/3099/stat : 3099 (java) S 3090 3093 31044 0 -1 1077944384 14335 0 0 0 1760 76 0 0 20 0 15 0 43278962 14431232000 426197 33554432000 4194304 4196468 140732230251824 140344944671120 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3100] ppid=3090 vsize=14093000 memory=1200 CPUtime=1.64 cores=0,2,4,6
/proc/3093/task/3100/stat : 3100 (java) S 3090 3093 31044 0 -1 1077944384 65334 0 0 0 139 25 0 0 20 0 15 0 43278964 14431232000 426197 33554432000 4194304 4196468 140732230251824 140344265243376 140345351993986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3101] ppid=3090 vsize=14093000 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3101/stat : 3101 (java) S 3090 3093 31044 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 43278964 14431232000 426197 33554432000 4194304 4196468 140732230251824 140344264189664 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3102] ppid=3090 vsize=14093000 memory=1704788 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3102/stat : 3102 (java) S 3090 3093 31044 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 43278964 14431232000 426197 33554432000 4194304 4196468 140732230251824 140344263136512 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3103] ppid=3090 vsize=14093000 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3103/stat : 3103 (java) S 3090 3093 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43278967 14431232000 426197 33554432000 4194304 4196468 140732230251824 140344262085072 140345352001435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3104] ppid=3090 vsize=14093000 memory=2340 CPUtime=2.97 cores=0,2,4,6
/proc/3093/task/3104/stat : 3104 (java) S 3090 3093 31044 0 -1 1077944384 17455 0 0 0 294 3 0 0 20 0 15 0 43278967 14431232000 426197 33554432000 4194304 4196468 140732230251824 140344261032176 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3105] ppid=3090 vsize=14093000 memory=2244 CPUtime=3.07 cores=0,2,4,6
/proc/3093/task/3105/stat : 3105 (java) S 3090 3093 31044 0 -1 1077944384 14939 0 0 0 305 2 0 0 20 0 15 0 43278967 14431232000 426197 33554432000 4194304 4196468 140732230251824 140344259979632 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3106] ppid=3090 vsize=14093000 memory=932 CPUtime=1.24 cores=0,2,4,6
/proc/3093/task/3106/stat : 3106 (java) S 3090 3093 31044 0 -1 1077944384 18876 0 0 0 120 4 0 0 20 0 15 0 43278967 14431232000 426197 33554432000 4194304 4196468 140732230251824 140344258926576 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3107] ppid=3090 vsize=14093000 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/3093/task/3107/stat : 3107 (java) S 3090 3093 31044 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43278967 14431232000 426197 33554432000 4194304 4196468 140732230251824 140344257874272 140345351993045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
[pid=3093/tid=3108] ppid=3090 vsize=14093000 memory=4124 CPUtime=1.21 cores=0,2,4,6
/proc/3093/task/3108/stat : 3108 (java) S 3090 3093 31044 0 -1 1077944384 1591 0 0 0 62 59 0 0 20 0 15 0 43278967 14431232000 426197 33554432000 4194304 4196468 140732230251824 140344256822320 140345351993986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34697216 140732230255702 140732230255881 140732230255881 140732230258639 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1704788 KiB

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

[startup+2337.22 s]
# the end of solver process 3093 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2395.57 s, system=4.46579 s

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

Child status: 143
Real time (s): 2337.22
CPU time (s): 2400.03
CPU user time (s): 2395.57
CPU system time (s): 4.46579
CPU usage (%): 102.687
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 1730268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.57
system time used= 4.46579
maximum resident set size= 1734364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331893
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85987
involuntary context switches= 4873


# summary of solver processes directly reported to runsolver:
#   pid: 3093
#   total CPU time (s): 2400.03
#   total CPU user time (s): 2395.57
#   total CPU system time (s): 4.46579

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7392 second user time and 18.8133 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-22 12:59:18
IDJOB=4291706
IDBENCH=141147
IDSOLVER=2746
FILE ID=node107/4291706-1532257158
RUNJOBID= node107-1532226532-31075
PBS_JOBID= 21018954
Free space on /tmp= 55132 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay200_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291706-1532257158/watcher-4291706-1532257158 -o /tmp/evaluation-result-4291706-1532257158/solver-4291706-1532257158 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532226532-31075 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 85210331 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291706-1532257158.xml

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

MD5SUM BENCH= ef8d95b3b89bfc5ccba73a2d09f74d17
RANDOM SEED=85210331

node107.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.40
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.40
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.40
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.40
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:        19747420 kB
MemAvailable:   31519504 kB
Buffers:          243944 kB
Cached:         11678192 kB
SwapCached:            0 kB
Active:          1979760 kB
Inactive:       10417080 kB
Active(anon):     477732 kB
Inactive(anon):    16884 kB
Active(file):    1502028 kB
Inactive(file): 10400196 kB
Unevictable:        7128 kB
Mlocked:            7128 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35924 kB
Writeback:             0 kB
AnonPages:        467392 kB
Mapped:            49444 kB
Shmem:             17036 kB
Slab:             325244 kB
SReclaimable:     298320 kB
SUnreclaim:        26924 kB
KernelStack:        3792 kB
PageTables:         6168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1089476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    270336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 55096 MiB
End job on node107 at 2018-07-22 13:38:15