Trace number 4298533

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
GG's minicp 2018-04-29SAT (TO)1150321 2520.06 2507.33

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay500_c18.xml
MD5SUMd1d7e4f351cab0858660dafd89ccc193
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2700422
Best CPU time to get the best result obtained on this benchmark2520.13
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints500
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree37
Distribution of variable degrees[{"degree":2,"count":333},{"degree":3,"count":393},{"degree":4,"count":273},{"degree":5,"count":211},{"degree":6,"count":187},{"degree":7,"count":130},{"degree":8,"count":107},{"degree":9,"count":78},{"degree":10,"count":58},{"degree":11,"count":59},{"degree":12,"count":30},{"degree":13,"count":31},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":13},{"degree":18,"count":7},{"degree":19,"count":4},{"degree":20,"count":11},{"degree":21,"count":4},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":1},{"degree":28,"count":1},{"degree":32,"count":1},{"degree":33,"count":1},{"degree":37,"count":1}]
Minimum constraint arity7
Maximum constraint arity42
Distribution of constraint arities[{"arity":7,"count":1},{"arity":9,"count":1},{"arity":10,"count":4},{"arity":11,"count":8},{"arity":12,"count":14},{"arity":13,"count":22},{"arity":14,"count":33},{"arity":15,"count":32},{"arity":16,"count":29},{"arity":17,"count":48},{"arity":18,"count":48},{"arity":19,"count":45},{"arity":20,"count":38},{"arity":21,"count":36},{"arity":22,"count":32},{"arity":23,"count":21},{"arity":24,"count":21},{"arity":25,"count":28},{"arity":26,"count":18},{"arity":27,"count":4},{"arity":28,"count":7},{"arity":29,"count":4},{"arity":30,"count":2},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":34,"count":1},{"arity":42,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":500}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data

0.12/0.13	c version: 2018-04-11
0.12/0.13	c seed: 1811631
0.12/0.13	c timeout: -1
0.12/0.13	c memlimit: -1
0.12/0.13	c nbcore: -1
2.76/1.45	o 0
3.54/2.19	o 11303
3.54/2.19	o 17675
3.54/2.19	o 28978
3.54/2.19	o 37490
3.65/2.20	o 39144
3.65/2.20	o 47656
3.65/2.20	o 48888
3.65/2.20	o 58987
3.65/2.21	o 67499
3.65/2.21	o 68731
3.65/2.21	o 69627
3.65/2.21	o 70859
3.65/2.21	o 73449
3.65/2.21	o 79821
3.65/2.22	o 91124
3.65/2.22	o 99636
3.65/2.22	o 100868
3.65/2.22	o 100931
3.65/2.23	o 104433
3.65/2.23	o 105665
3.65/2.23	o 105728
3.65/2.23	o 106810
3.65/2.23	o 106873
3.65/2.24	o 110897
3.65/2.24	o 119409
3.65/2.24	o 120641
3.65/2.24	o 120704
3.65/2.24	o 124206
3.65/2.24	o 125438
3.65/2.24	o 125501
3.65/2.24	o 126583
3.65/2.24	o 126646
3.65/2.26	o 128266
3.65/2.26	o 129498
3.65/2.26	o 129561
3.65/2.26	o 133063
3.65/2.26	o 134295
3.65/2.26	o 134358
3.65/2.26	o 135440
3.65/2.26	o 135503
3.65/2.28	o 135726
3.65/2.28	o 135789
3.65/2.28	o 139167
3.65/2.29	o 140399
3.65/2.29	o 140462
3.65/2.29	o 143964
3.65/2.29	o 145196
3.65/2.29	o 145259
3.65/2.29	o 146341
3.65/2.29	o 146404
3.65/2.30	o 148024
3.90/2.30	o 149256
3.90/2.30	o 149319
3.90/2.30	o 152821
3.90/2.30	o 154053
3.90/2.30	o 154116
3.90/2.30	o 155198
3.90/2.30	o 155261
3.90/2.31	o 155484
3.90/2.31	o 155547
3.90/2.35	o 155560
3.90/2.35	o 155623
3.90/2.37	o 155950
3.90/2.37	o 157182
3.90/2.37	o 157245
3.90/2.37	o 158327
3.90/2.37	o 158390
3.90/2.37	o 158785
3.90/2.37	o 160017
3.90/2.37	o 160080
3.90/2.37	o 161162
3.90/2.37	o 161225
3.90/2.38	o 161242
3.90/2.38	o 161305
3.90/2.38	o 164807
3.90/2.38	o 166039
3.90/2.38	o 166102
3.90/2.38	o 167184
3.90/2.38	o 167247
3.90/2.38	o 167642
3.90/2.38	o 168874
3.90/2.38	o 168937
3.90/2.39	o 170019
3.90/2.39	o 170082
3.90/2.39	o 170305
3.90/2.39	o 170368
4.16/2.40	o 170381
4.16/2.40	o 170444
4.16/2.42	o 171362
4.16/2.42	o 171425
4.16/2.42	o 172507
4.16/2.42	o 172570
4.16/2.43	o 172793
4.16/2.43	o 172856
4.98/3.14	o 173869
4.98/3.14	o 177257
4.98/3.14	o 182054
4.98/3.15	o 182321
4.98/3.15	o 186381
4.98/3.15	o 191178
4.98/3.16	o 192592
4.98/3.16	o 197389
4.98/3.16	o 197656
4.98/3.16	o 201716
4.98/3.16	o 206513
4.98/3.16	o 209901
4.98/3.16	o 214698
4.98/3.17	o 214965
4.98/3.17	o 219025
4.98/3.17	o 223822
4.98/3.18	o 225438
4.98/3.19	o 227698
4.98/3.19	o 232495
4.98/3.19	o 235883
4.98/3.19	o 240680
4.98/3.19	o 240947
4.98/3.20	o 245007
4.98/3.20	o 249804
5.08/3.20	o 251420
5.08/3.22	o 251948
5.08/3.22	o 256745
5.08/3.22	o 258361
5.08/3.24	o 260374
5.08/3.24	o 261990
5.08/3.25	o 265154
5.08/3.26	o 266770
5.08/3.26	o 267298
5.08/3.26	o 272095
5.08/3.27	o 273711
5.08/3.27	o 275724
5.08/3.28	o 277340
5.23/3.31	o 277747
5.23/3.32	o 279363
5.23/3.33	o 279891
5.23/3.33	o 284688
5.23/3.33	o 286304
5.23/3.34	o 288317
5.23/3.34	o 289933
5.23/3.38	o 291076
5.96/4.07	o 291127
5.96/4.08	o 298670
5.96/4.08	o 299902
5.96/4.08	o 299965
5.96/4.08	o 300188
5.96/4.08	o 300251
5.96/4.08	o 305275
5.96/4.08	o 306507
5.96/4.08	o 306570
5.96/4.08	o 306793
5.96/4.08	o 306856
5.96/4.08	o 310523
5.96/4.08	o 311755
5.96/4.08	o 311818
5.96/4.08	o 312041
5.96/4.08	o 312104
5.96/4.09	o 315805
5.96/4.09	o 317037
5.96/4.09	o 317100
5.96/4.09	o 317323
5.96/4.09	o 317386
5.96/4.09	o 324929
5.96/4.09	o 326161
5.96/4.09	o 326224
5.96/4.09	o 326447
5.96/4.09	o 326510
5.96/4.09	o 331534
5.96/4.09	o 332766
5.96/4.09	o 332829
5.96/4.09	o 333052
5.96/4.09	o 333115
5.96/4.10	o 336782
5.96/4.10	o 338014
5.96/4.10	o 338077
5.96/4.10	o 338300
5.96/4.10	o 338363
5.96/4.10	o 338475
5.96/4.10	o 339707
5.96/4.10	o 339770
5.96/4.10	o 339993
5.96/4.10	o 340056
5.96/4.10	o 343723
5.96/4.10	o 344955
5.96/4.10	o 345018
5.96/4.11	o 345241
5.96/4.11	o 345304
6.11/4.11	o 348502
6.11/4.11	o 349734
6.11/4.11	o 350020
6.11/4.12	o 352132
6.11/4.12	o 353364
6.11/4.12	o 353427
6.11/4.12	o 353650
6.11/4.12	o 353713
6.11/4.12	o 353825
6.11/4.12	o 355057
6.11/4.12	o 355120
6.11/4.12	o 355343
6.11/4.12	o 355406
6.11/4.13	o 359073
6.11/4.13	o 360305
6.11/4.13	o 360368
6.11/4.13	o 360591
6.11/4.13	o 360654
6.11/4.13	o 363852
6.11/4.13	o 365084
6.11/4.13	o 365370
6.11/4.14	o 365915
6.11/4.14	o 367147
6.11/4.15	o 367433
6.11/4.15	o 367665
6.11/4.15	o 367728
6.11/4.15	o 367951
6.11/4.15	o 368014
6.11/4.15	o 368126
6.11/4.15	o 369358
6.11/4.15	o 369421
6.11/4.16	o 369644
6.11/4.16	o 369707
6.11/4.16	o 373374
6.11/4.16	o 374606
6.11/4.16	o 374669
6.11/4.16	o 374892
6.11/4.16	o 374955
6.11/4.16	o 378153
6.11/4.16	o 379385
6.11/4.16	o 379671
6.11/4.17	o 381783
6.11/4.17	o 383015
6.11/4.17	o 383078
6.11/4.17	o 383301
6.11/4.17	o 383364
6.11/4.17	o 383476
6.11/4.17	o 384708
6.11/4.17	o 384771
6.11/4.17	o 384994
6.11/4.17	o 385057
6.11/4.18	o 388724
6.11/4.18	o 389956
6.11/4.18	o 390019
6.11/4.18	o 390242
6.11/4.18	o 390305
6.11/4.18	o 393503
6.11/4.18	o 394735
6.11/4.18	o 395021
6.11/4.19	o 395566
6.11/4.19	o 396798
6.11/4.19	o 397084
6.21/4.21	o 397949
6.21/4.21	o 398235
6.21/4.21	o 400347
6.21/4.21	o 401579
6.21/4.21	o 401865
6.21/4.21	o 402040
6.21/4.21	o 403272
6.21/4.21	o 403558
6.21/4.21	o 407288
6.21/4.21	o 408520
6.21/4.21	o 408806
6.21/4.22	o 412067
6.21/4.22	o 413299
6.21/4.22	o 413585
6.21/4.23	o 414130
6.21/4.23	o 415362
6.21/4.23	o 415648
6.21/4.25	o 416496
6.21/4.25	o 416782
6.21/4.25	o 418894
6.21/4.25	o 420126
6.21/4.25	o 420412
6.21/4.26	o 420587
6.21/4.26	o 421819
6.21/4.26	o 422105
6.21/4.26	o 425835
6.21/4.26	o 427067
6.21/4.26	o 427353
6.21/4.26	o 430614
6.21/4.26	o 431846
6.21/4.26	o 432132
6.21/4.27	o 432677
6.21/4.27	o 433909
6.21/4.27	o 434195
6.21/4.29	o 436132
6.21/4.29	o 437364
6.21/4.29	o 437650
6.32/4.30	o 438195
6.32/4.30	o 439427
6.32/4.30	o 439713
6.32/4.31	o 440318
6.32/4.31	o 440604
6.32/4.32	o 441149
6.32/4.32	o 442381
6.32/4.32	o 442667
6.32/4.33	o 444604
6.32/4.33	o 445836
6.32/4.33	o 446122
6.32/4.34	o 446667
6.32/4.34	o 447899
6.32/4.34	o 448185
6.32/4.36	o 449616
6.32/4.36	o 450848
6.32/4.36	o 451134
6.32/4.36	o 454395
6.32/4.36	o 455627
6.32/4.36	o 455913
6.32/4.37	o 456458
6.32/4.37	o 457690
6.32/4.37	o 457976
6.32/4.39	o 459913
6.32/4.39	o 461145
6.32/4.39	o 461431
6.32/4.39	o 461976
6.32/4.39	o 463208
6.32/4.39	o 463494
6.42/4.40	o 464099
6.42/4.40	o 464385
6.42/4.41	o 464930
6.42/4.41	o 466162
6.42/4.41	o 466448
6.42/4.42	o 468385
6.42/4.42	o 469617
6.42/4.42	o 469903
6.42/4.43	o 470448
6.42/4.43	o 471680
6.42/4.43	o 471966
6.42/4.47	o 474737
6.42/4.47	o 475969
6.42/4.47	o 476255
6.42/4.47	o 476800
6.42/4.47	o 478032
6.42/4.47	o 478318
7.36/5.32	o 478434
7.36/5.39	o 479080
7.36/5.39	o 480312
7.36/5.39	o 482709
7.36/5.39	o 483941
7.46/5.44	o 484261
7.46/5.44	o 485493
7.46/5.44	o 487096
7.46/5.44	o 488328
7.46/5.45	o 489122
7.46/5.45	o 490725
7.46/5.45	o 491957
7.46/5.49	o 492603
7.46/5.49	o 493835
7.46/5.49	o 494629
7.46/5.49	o 496232
7.46/5.49	o 497464
7.66/5.68	o 497544
7.66/5.68	o 498776
7.77/5.74	o 499422
7.77/5.74	o 500654
7.77/5.75	o 503051
7.77/5.75	o 504283
7.86/5.80	o 504603
7.86/5.80	o 505835
7.86/5.80	o 507438
7.86/5.80	o 508670
7.86/5.80	o 509464
7.86/5.81	o 511067
7.86/5.81	o 512299
7.86/5.86	o 512945
7.86/5.86	o 514177
7.86/5.86	o 514971
7.86/5.86	o 516574
7.86/5.86	o 517806
8.20/6.14	o 518885
8.20/6.14	o 520117
9.10/7.02	o 520545
9.10/7.02	o 521777
9.10/7.02	o 522063
9.10/7.02	o 522161
9.10/7.02	o 523393
9.10/7.02	o 523679
9.10/7.07	o 524088
9.10/7.07	o 524374
9.10/7.07	o 524472
9.10/7.07	o 525704
9.10/7.07	o 525990
9.20/7.15	o 526125
9.20/7.15	o 526411
9.30/7.24	o 526707
9.30/7.24	o 526993
9.30/7.24	o 527091
9.30/7.24	o 528323
9.30/7.24	o 528609
9.40/7.33	o 528744
9.40/7.33	o 529030
9.50/7.46	o 529294
9.50/7.46	o 530526
9.50/7.46	o 530812
9.50/7.46	o 530910
9.50/7.46	o 532142
9.50/7.46	o 532428
9.50/7.47	o 532770
9.50/7.47	o 533056
9.50/7.47	o 533154
9.50/7.47	o 534386
9.50/7.47	o 534672
9.50/7.47	o 535167
9.50/7.47	o 536399
9.50/7.47	o 536685
9.50/7.47	o 536783
9.50/7.47	o 538015
9.50/7.47	o 538301
9.50/7.49	o 538710
9.50/7.49	o 538996
9.50/7.49	o 539094
9.50/7.49	o 540326
9.50/7.49	o 540612
9.60/7.54	o 540747
9.60/7.54	o 541033
9.60/7.58	o 541329
9.60/7.58	o 541615
9.60/7.58	o 541713
9.60/7.58	o 542945
9.60/7.58	o 543231
9.70/7.62	o 543366
9.70/7.62	o 543652
10.04/7.92	o 544231
10.04/7.92	o 544517
10.04/7.92	o 544615
10.04/7.92	o 545847
10.04/7.92	o 546133
10.04/7.94	o 546542
10.04/7.94	o 546828
10.04/7.95	o 546926
10.04/7.95	o 548158
10.04/7.95	o 548444
10.04/7.99	o 548579
10.04/7.99	o 548865
10.15/8.03	o 549161
10.15/8.03	o 549447
10.15/8.03	o 549545
10.15/8.03	o 550777
10.15/8.03	o 551063
10.15/8.07	o 551198
10.15/8.07	o 551484
10.34/8.23	o 551558
10.34/8.27	o 551693
10.34/8.28	o 551979
10.44/8.34	o 552243
10.44/8.34	o 553475
10.44/8.34	o 553761
10.44/8.34	o 553859
10.44/8.34	o 555091
10.44/8.34	o 555377
10.44/8.34	o 555719
10.44/8.34	o 556005
10.44/8.34	o 556103
10.44/8.34	o 557335
10.44/8.34	o 557621
10.44/8.35	o 558116
10.44/8.35	o 559348
10.44/8.35	o 559634
10.44/8.35	o 559732
10.44/8.35	o 560964
10.44/8.35	o 561250
10.44/8.36	o 561659
10.44/8.36	o 561945
10.44/8.36	o 562043
10.44/8.36	o 563275
10.44/8.36	o 563561
10.44/8.38	o 563696
10.44/8.38	o 563982
10.54/8.40	o 564278
10.54/8.40	o 564564
10.54/8.40	o 564662
10.54/8.40	o 565894
10.54/8.40	o 566180
10.54/8.42	o 566315
10.54/8.42	o 566601
11.04/8.95	o 567179
11.04/8.95	o 567465
11.04/8.99	o 567600
11.04/8.99	o 567886
11.84/9.77	o 568258
11.84/9.77	o 569861
11.84/9.77	o 571093
11.84/9.80	o 572172
11.84/9.80	o 573404
11.94/9.88	o 574514
12.04/9.97	o 575093
12.15/10.03	o 575949
12.15/10.03	o 577181
12.15/10.05	o 578260
12.15/10.05	o 579492
12.25/10.11	o 579546
12.25/10.11	o 580778
12.25/10.11	o 582229
12.25/10.11	o 583461
12.25/10.11	o 585064
12.25/10.11	o 586296
12.25/10.13	o 587736
12.25/10.13	o 588968
12.25/10.13	o 590571
12.25/10.13	o 591803
12.25/10.17	o 592882
12.25/10.17	o 594114
12.36/10.25	o 595224
12.56/10.40	o 595922
12.56/10.40	o 597525
12.56/10.40	o 598757
12.56/10.43	o 599836
12.56/10.43	o 601068
12.66/10.51	o 602178
12.98/10.82	o 602803
13.28/11.15	o 602850
13.57/11.45	o 603475
14.77/12.69	o 604054
14.97/12.81	o 604303
14.97/12.85	o 605413
17.10/14.93	o 605925
17.10/14.93	o 606211
17.10/14.93	o 607541
17.10/14.93	o 607827
17.10/14.93	o 608738
17.10/14.93	o 609024
17.10/14.97	o 609380
17.10/14.97	o 609666
17.21/15.04	o 609852
17.21/15.04	o 610138
17.21/15.05	o 611049
17.21/15.05	o 611335
17.21/15.09	o 611691
17.21/15.09	o 611977
17.40/15.23	o 612112
17.40/15.23	o 612398
17.70/15.56	o 612950
17.70/15.56	o 613236
17.70/15.56	o 614147
17.70/15.56	o 614433
17.86/15.61	o 614789
17.86/15.61	o 615075
17.86/15.69	o 615261
17.86/15.69	o 615547
17.86/15.70	o 616458
17.96/15.70	o 616744
17.96/15.75	o 617100
17.96/15.75	o 617386
18.16/15.94	o 617521
18.16/15.94	o 617807
18.46/16.27	o 618485
18.46/16.27	o 618771
18.46/16.27	o 620101
18.46/16.27	o 620387
18.46/16.27	o 621298
18.46/16.27	o 621584
18.56/16.31	o 621940
18.56/16.31	o 622226
18.56/16.37	o 622412
18.56/16.37	o 622698
18.56/16.38	o 623609
18.56/16.38	o 623895
18.67/16.41	o 624251
18.67/16.42	o 624537
18.80/16.56	o 624672
18.80/16.56	o 624958
19.65/17.30	o 625165
19.65/17.30	o 625451
19.65/17.30	o 626031
19.65/17.30	o 626317
19.65/17.31	o 627228
19.65/17.31	o 627514
19.65/17.36	o 627870
19.65/17.36	o 628156
19.75/17.44	o 628342
19.75/17.44	o 628628
19.75/17.44	o 629539
19.75/17.44	o 629825
19.75/17.49	o 630181
19.75/17.49	o 630467
19.95/17.67	o 630602
19.95/17.68	o 630888
20.66/18.33	o 631566
20.66/18.33	o 631852
20.66/18.33	o 633182
20.66/18.33	o 633468
20.66/18.33	o 634379
20.66/18.34	o 634665
20.66/18.37	o 635021
20.66/18.37	o 635307
20.76/18.43	o 635493
20.76/18.43	o 635779
20.76/18.43	o 636690
20.76/18.43	o 636976
20.76/18.47	o 637332
20.76/18.47	o 637618
20.96/18.61	o 637753
20.96/18.61	o 638039
21.26/18.93	o 638591
21.26/18.93	o 638877
21.26/18.93	o 639788
21.26/18.93	o 640074
21.26/18.99	o 640430
21.26/18.99	o 640716
21.37/19.07	o 640902
21.37/19.07	o 641188
21.37/19.07	o 642099
21.37/19.07	o 642385
21.47/19.12	o 642741
21.47/19.12	o 643027
21.66/19.31	o 643162
21.66/19.31	o 643448
23.66/21.34	o 643518
23.66/21.34	o 643804
23.66/21.34	o 643880
23.66/21.34	o 645134
23.66/21.34	o 645420
23.66/21.34	o 645496
23.66/21.34	o 645581
23.66/21.34	o 645867
23.66/21.34	o 645943
23.66/21.35	o 647197
23.66/21.35	o 647483
23.66/21.35	o 647559
23.96/21.62	o 647731
23.96/21.62	o 647807
23.96/21.63	o 647892
23.96/21.63	o 648178
23.96/21.63	o 648254
23.96/21.63	o 649508
23.96/21.63	o 649794
23.96/21.63	o 649870
25.38/23.08	o 650719
25.38/23.08	o 651005
25.38/23.08	o 651081
25.38/23.08	o 652732
25.38/23.08	o 653018
25.38/23.08	o 653094
25.38/23.08	o 654348
25.38/23.08	o 654634
25.38/23.08	o 654710
25.57/23.30	o 655043
25.67/23.30	o 655329
25.67/23.30	o 655405
25.67/23.30	o 656659
25.67/23.30	o 656945
25.67/23.30	o 657021
27.38/25.01	o 657552
27.38/25.01	o 657838
27.38/25.01	o 657914
28.18/25.85	o 657988
28.18/25.85	o 658064
28.18/25.85	o 659318
28.18/25.85	o 659604
28.18/25.85	o 659680
28.69/26.39	o 660211
28.69/26.39	o 660497
28.69/26.39	o 660573
30.70/28.30	o 660674
30.70/28.30	o 660750
30.70/28.31	o 662004
30.70/28.31	o 662290
30.70/28.31	o 662366
30.90/28.52	o 662699
30.90/28.52	o 662985
30.90/28.52	o 663061
30.90/28.52	o 664315
30.90/28.52	o 664601
30.90/28.52	o 664677
32.61/30.27	o 665208
32.61/30.27	o 665494
32.61/30.27	o 665570
33.52/31.12	o 665644
33.52/31.12	o 665720
33.52/31.12	o 666974
33.52/31.12	o 667260
33.52/31.12	o 667336
34.01/31.69	o 667867
34.01/31.69	o 668153
34.01/31.69	o 668229
35.02/32.62	o 668553
35.02/32.62	o 669750
35.02/32.62	o 670171
35.02/32.62	o 670643
35.02/32.62	o 671064
35.02/32.64	o 673312
35.02/32.64	o 674509
35.02/32.64	o 675623
35.02/32.64	o 676820
35.02/32.64	o 677241
35.02/32.65	o 677713
35.02/32.65	o 678134
35.02/32.65	o 678668
35.02/32.65	o 679089
35.02/32.65	o 679561
35.02/32.65	o 679982
35.02/32.67	o 682816
35.02/32.67	o 684013
35.02/32.67	o 685127
35.02/32.67	o 686324
35.02/32.67	o 686745
35.02/32.67	o 687217
35.02/32.67	o 687638
35.02/32.69	o 689886
35.02/32.69	o 691083
35.02/32.69	o 692197
35.02/32.69	o 693394
35.02/32.70	o 693815
35.12/32.70	o 694287
35.12/32.70	o 694708
35.12/32.73	o 695186
35.12/32.73	o 696383
35.12/32.73	o 696804
35.12/32.73	o 697276
35.12/32.73	o 697697
35.12/32.75	o 699945
35.12/32.75	o 701142
35.12/32.75	o 702256
35.12/32.75	o 703453
35.12/32.75	o 703874
35.12/32.75	o 704346
35.12/32.75	o 704767
35.12/32.79	o 705081
35.12/32.79	o 705502
35.22/32.81	o 707750
35.22/32.81	o 708947
35.22/32.81	o 710061
35.22/32.81	o 711258
35.22/32.81	o 711679
35.22/32.81	o 712151
35.22/32.81	o 712572
35.22/32.85	o 712823
35.22/32.85	o 713295
35.22/32.85	o 713716
35.22/32.89	o 714030
35.22/32.89	o 714451
35.32/32.90	o 716699
35.32/32.90	o 717896
35.32/32.91	o 719010
35.32/32.91	o 720207
35.32/32.91	o 720628
35.32/32.91	o 721100
35.32/32.91	o 721521
35.32/32.99	o 721772
35.32/32.99	o 722193
35.43/33.09	o 722841
35.43/33.09	o 723955
35.43/33.09	o 725152
35.43/33.10	o 725573
35.43/33.10	o 726045
35.43/33.10	o 726466
35.63/33.20	o 726717
35.63/33.20	o 727138
35.63/33.28	o 727503
35.63/33.28	o 728700
35.63/33.28	o 729121
35.63/33.28	o 729593
35.63/33.28	o 730014
35.73/33.35	o 730265
35.73/33.35	o 730686
35.83/33.43	o 731334
35.83/33.44	o 732448
35.83/33.44	o 733645
35.83/33.44	o 734066
35.83/33.44	o 734538
35.83/33.44	o 734959
35.93/33.51	o 735210
35.93/33.51	o 735631
35.93/33.59	o 735958
35.93/33.59	o 736379
36.03/33.67	o 736630
36.03/33.67	o 737051
36.13/33.76	o 737699
36.13/33.77	o 738813
36.13/33.77	o 740010
36.13/33.77	o 740431
36.13/33.77	o 740903
36.13/33.77	o 741324
36.23/33.85	o 741575
36.23/33.85	o 741996
36.33/33.94	o 742361
36.33/33.94	o 743558
36.33/33.94	o 743979
36.33/33.94	o 744451
36.33/33.94	o 744872
36.44/34.02	o 745123
36.44/34.02	o 745544
36.44/34.10	o 746192
36.54/34.11	o 747306
36.54/34.11	o 748503
36.54/34.11	o 748924
36.54/34.11	o 749396
36.54/34.11	o 749817
36.54/34.18	o 750068
36.54/34.18	o 750489
36.93/34.50	o 750922
36.93/34.50	o 751343
36.93/34.56	o 751594
36.93/34.56	o 752015
37.03/34.63	o 752380
37.03/34.63	o 753577
37.03/34.63	o 753998
37.03/34.63	o 754470
37.03/34.63	o 754891
37.03/34.68	o 755142
37.03/34.68	o 755563
37.13/34.77	o 756211
37.13/34.77	o 757325
37.13/34.77	o 758522
37.13/34.77	o 758943
37.13/34.77	o 759415
37.13/34.77	o 759836
37.23/34.83	o 760087
37.23/34.83	o 760508
37.93/35.58	o 761384
37.93/35.58	o 762581
37.93/35.58	o 763002
37.93/35.59	o 763474
37.93/35.59	o 763895
38.03/35.64	o 764146
38.03/35.64	o 764567
39.24/36.81	o 765109
39.24/36.81	o 766223
39.24/36.81	o 767420
39.24/36.81	o 767841
39.24/36.81	o 768313
39.24/36.82	o 768734
39.24/36.89	o 768985
39.24/36.89	o 769406
39.64/37.21	o 769839
39.64/37.21	o 770260
39.64/37.27	o 770511
39.64/37.27	o 770932
39.74/37.33	o 771297
39.74/37.33	o 772494
39.74/37.34	o 772915
39.74/37.34	o 773387
39.74/37.34	o 773808
39.74/37.39	o 774059
39.74/37.39	o 774480
39.84/37.46	o 775128
39.84/37.46	o 776242
39.84/37.46	o 777439
39.84/37.46	o 777860
39.84/37.46	o 778332
39.84/37.46	o 778753
39.94/37.52	o 779004
39.94/37.52	o 779425
40.64/38.26	o 780301
40.64/38.26	o 781498
40.64/38.27	o 781919
40.64/38.27	o 782391
40.64/38.27	o 782812
40.74/38.33	o 783063
40.74/38.33	o 783484
42.36/39.90	o 783498
42.36/39.90	o 783919
42.36/39.96	o 784170
42.36/39.96	o 784591
43.47/41.10	o 785133
43.57/41.11	o 786247
43.57/41.11	o 787444
43.57/41.11	o 787865
43.57/41.11	o 788337
43.57/41.11	o 788758
43.57/41.19	o 789009
43.57/41.19	o 789430
43.97/41.54	o 789863
43.97/41.54	o 790284
44.07/41.60	o 790535
44.07/41.60	o 790956
44.07/41.66	o 791321
44.07/41.66	o 792518
44.07/41.67	o 792939
44.07/41.67	o 793411
44.07/41.67	o 793832
44.17/41.72	o 794083
44.17/41.72	o 794504
44.17/41.79	o 795152
44.17/41.79	o 796266
44.17/41.79	o 797463
44.17/41.79	o 797884
44.17/41.79	o 798356
44.17/41.79	o 798777
44.27/41.85	o 799028
44.27/41.85	o 799449
44.97/42.59	o 800325
44.97/42.59	o 801522
44.97/42.60	o 801943
45.07/42.60	o 802415
45.07/42.60	o 802836
45.07/42.65	o 803087
45.07/42.65	o 803508
47.38/44.90	o 803584
47.38/44.90	o 804698
47.38/44.90	o 805895
47.38/44.90	o 806316
47.38/44.90	o 806788
47.38/44.90	o 807209
47.38/44.96	o 807460
47.38/44.96	o 807881
48.18/45.71	o 808757
48.18/45.71	o 809954
48.18/45.71	o 810375
48.18/45.71	o 810847
48.18/45.71	o 811268
48.18/45.77	o 811519
48.18/45.77	o 811940
49.78/47.32	o 811954
49.78/47.32	o 812375
49.78/47.37	o 812626
49.78/47.37	o 813047
50.98/48.52	o 813589
50.98/48.53	o 814703
50.98/48.53	o 815900
50.98/48.53	o 816321
50.98/48.53	o 816793
50.98/48.53	o 817214
51.08/48.60	o 817465
51.08/48.60	o 817886
51.38/48.92	o 818319
51.38/48.92	o 818740
51.38/48.99	o 818991
51.38/48.99	o 819412
51.49/49.06	o 819777
51.49/49.06	o 820974
51.49/49.06	o 821395
51.49/49.07	o 821867
51.49/49.07	o 822288
51.59/49.12	o 822539
51.59/49.12	o 822960
51.69/49.20	o 823608
51.69/49.20	o 824722
51.69/49.20	o 825919
51.69/49.20	o 826340
51.69/49.20	o 826812
51.69/49.21	o 827233
51.69/49.26	o 827484
51.69/49.26	o 827905
52.39/50.00	o 828781
52.39/50.01	o 829978
52.50/50.01	o 830399
52.50/50.01	o 830871
52.50/50.01	o 831292
52.50/50.06	o 831543
52.50/50.07	o 831964
55.19/52.75	o 832389
55.19/52.75	o 832810
55.19/52.75	o 833282
55.19/52.75	o 833703
55.29/52.80	o 833954
55.29/52.80	o 834375
65.93/63.41	o 834776
65.93/63.41	o 835197
65.93/63.42	o 835669
65.93/63.42	o 836090
66.23/63.78	o 836294
66.23/63.78	o 836715
66.83/64.33	o 837114
66.83/64.33	o 837535
66.83/64.33	o 838324
66.83/64.33	o 838745
66.83/64.34	o 839217
66.83/64.34	o 839638
66.93/64.50	o 839842
66.93/64.50	o 840263
67.54/65.06	o 841166
67.54/65.06	o 841587
67.54/65.06	o 842059
67.54/65.06	o 842480
67.54/65.07	o 843269
67.54/65.07	o 843690
67.54/65.07	o 844162
67.54/65.07	o 844583
67.73/65.22	o 844787
67.73/65.22	o 845208
70.84/68.32	o 845225
70.84/68.32	o 845646
70.84/68.32	o 846118
70.84/68.32	o 846539
70.84/68.33	o 847328
70.84/68.33	o 847749
70.84/68.33	o 848221
70.84/68.33	o 848642
70.94/68.48	o 848846
70.94/68.48	o 849267
75.45/73.00	o 849467
75.45/73.00	o 849888
75.45/73.00	o 850360
75.45/73.00	o 850781
75.66/73.15	o 850985
75.66/73.15	o 851406
78.76/76.23	o 851423
78.76/76.23	o 851844
78.76/76.24	o 852316
78.76/76.24	o 852737
78.76/76.24	o 853526
78.76/76.24	o 853947
78.76/76.25	o 854419
78.76/76.25	o 854840
78.86/76.39	o 855044
78.86/76.39	o 855465
88.28/85.74	o 855583
88.28/85.74	o 856004
88.28/85.75	o 856476
88.28/85.75	o 856897
88.38/85.89	o 857101
88.38/85.89	o 857522
91.49/88.93	o 857876
91.49/88.94	o 858297
91.49/88.95	o 858432
91.49/88.95	o 858853
91.49/88.95	o 859642
91.49/88.95	o 860063
91.49/88.96	o 860535
91.49/88.96	o 860956
91.60/89.10	o 861160
91.60/89.10	o 861581
106.83/104.26	o 862053
106.83/104.26	o 862474
106.83/104.26	o 862946
106.83/104.26	o 863367
107.03/104.41	o 863571
107.03/104.41	o 863992
112.56/109.91	o 864162
112.56/109.91	o 864238
112.56/109.91	o 864297
112.56/109.91	o 864583
112.56/109.91	o 864659
112.56/109.91	o 865086
112.56/109.91	o 865372
112.56/109.91	o 865448
112.56/109.91	o 865507
112.56/109.91	o 865793
112.56/109.91	o 865869
112.56/109.92	o 865979
112.56/109.92	o 866265
112.56/109.92	o 866341
112.56/109.92	o 866400
112.56/109.92	o 866686
112.56/109.92	o 866762
112.56/109.93	o 866890
112.56/109.93	o 866966
112.56/109.93	o 867025
112.56/109.93	o 867311
112.56/109.93	o 867387
113.16/110.55	o 867416
113.16/110.55	o 867492
113.28/110.65	o 868033
113.28/110.65	o 868319
113.28/110.65	o 868395
113.28/110.65	o 868454
113.28/110.65	o 868740
113.28/110.65	o 868816
113.28/110.65	o 868926
113.28/110.65	o 869212
113.28/110.65	o 869288
113.28/110.65	o 869347
113.28/110.65	o 869633
113.28/110.65	o 869709
113.28/110.66	o 870136
113.28/110.66	o 870422
113.28/110.66	o 870498
113.28/110.66	o 870557
113.28/110.66	o 870843
113.28/110.66	o 870919
113.28/110.66	o 871029
113.28/110.66	o 871315
113.28/110.66	o 871391
113.28/110.66	o 871450
113.28/110.66	o 871736
113.28/110.66	o 871812
113.28/110.68	o 871940
113.28/110.68	o 872016
113.28/110.68	o 872075
113.28/110.68	o 872361
113.28/110.68	o 872437
113.69/111.08	o 872641
113.69/111.08	o 872717
113.69/111.09	o 872827
113.69/111.09	o 873113
113.69/111.09	o 873189
113.69/111.09	o 873248
113.69/111.09	o 873534
113.69/111.09	o 873610
113.69/111.09	o 874037
113.69/111.09	o 874323
113.69/111.09	o 874399
113.69/111.09	o 874458
113.69/111.09	o 874744
113.69/111.09	o 874820
113.69/111.10	o 874930
113.69/111.10	o 875216
113.69/111.10	o 875292
113.69/111.10	o 875351
113.69/111.10	o 875637
113.69/111.10	o 875713
113.79/111.11	o 875841
113.79/111.12	o 875917
113.79/111.12	o 875976
113.79/111.12	o 876262
113.79/111.12	o 876338
114.38/111.76	o 876457
114.38/111.76	o 876743
114.38/111.76	o 876819
114.38/111.76	o 876878
114.38/111.76	o 877164
114.38/111.76	o 877240
114.38/111.77	o 877350
114.38/111.77	o 877636
114.38/111.77	o 877712
114.38/111.77	o 877771
114.38/111.77	o 878057
114.38/111.77	o 878133
114.38/111.78	o 878261
114.38/111.78	o 878337
114.38/111.78	o 878396
114.38/111.78	o 878682
114.38/111.78	o 878758
114.79/112.19	o 878962
114.79/112.19	o 879038
114.79/112.19	o 879148
114.79/112.19	o 879434
114.79/112.19	o 879510
114.79/112.19	o 879569
114.79/112.19	o 879855
114.79/112.19	o 879931
114.79/112.20	o 880358
114.79/112.20	o 880644
114.88/112.20	o 880720
114.88/112.20	o 880779
114.88/112.20	o 881065
114.88/112.20	o 881141
114.88/112.20	o 881251
114.88/112.20	o 881537
114.88/112.20	o 881613
114.88/112.20	o 881672
114.88/112.20	o 881958
114.88/112.20	o 882034
114.88/112.22	o 882162
114.88/112.22	o 882238
114.88/112.22	o 882297
114.88/112.22	o 882583
114.88/112.22	o 882659
115.49/112.83	o 882688
115.49/112.83	o 882764
115.59/112.93	o 883305
115.59/112.93	o 883591
115.59/112.93	o 883667
115.59/112.93	o 883726
115.59/112.93	o 884012
115.59/112.93	o 884088
115.59/112.93	o 884198
115.59/112.93	o 884484
115.59/112.93	o 884560
115.59/112.93	o 884619
115.59/112.93	o 884905
115.59/112.93	o 884981
115.59/112.94	o 885408
115.59/112.94	o 885694
115.59/112.94	o 885770
115.59/112.94	o 885829
115.59/112.94	o 886115
115.59/112.94	o 886191
115.59/112.94	o 886301
115.59/112.94	o 886587
115.59/112.94	o 886663
115.59/112.94	o 886722
115.59/112.94	o 887008
115.59/112.94	o 887084
115.59/112.96	o 887212
115.59/112.96	o 887288
115.59/112.96	o 887347
115.59/112.96	o 887633
115.59/112.96	o 887709
115.99/113.36	o 887913
115.99/113.36	o 887989
115.99/113.37	o 888099
115.99/113.37	o 888385
115.99/113.37	o 888461
115.99/113.37	o 888520
115.99/113.37	o 888806
115.99/113.37	o 888882
115.99/113.37	o 889309
115.99/113.37	o 889595
115.99/113.37	o 889671
115.99/113.37	o 889730
115.99/113.37	o 890016
115.99/113.37	o 890092
115.99/113.38	o 890202
115.99/113.38	o 890488
115.99/113.38	o 890564
115.99/113.38	o 890623
115.99/113.38	o 890909
115.99/113.38	o 890985
115.99/113.39	o 891113
115.99/113.39	o 891189
115.99/113.39	o 891248
115.99/113.39	o 891534
115.99/113.39	o 891610
116.59/113.98	o 891714
116.59/113.98	o 892000
116.59/113.98	o 892076
116.59/113.98	o 892135
116.59/113.98	o 892421
116.59/113.98	o 892497
116.59/113.98	o 892924
116.59/113.98	o 893210
116.59/113.98	o 893286
116.59/113.98	o 893345
116.59/113.98	o 893631
116.59/113.98	o 893707
116.59/113.99	o 893817
116.59/113.99	o 894103
116.59/113.99	o 894179
116.59/113.99	o 894238
116.59/113.99	o 894524
116.59/113.99	o 894600
116.59/114.00	o 894728
116.59/114.00	o 894804
116.59/114.00	o 894863
116.59/114.00	o 895149
116.59/114.00	o 895225
116.80/114.15	o 895344
116.80/114.15	o 895630
116.80/114.15	o 895706
116.80/114.15	o 895765
116.80/114.15	o 896051
116.80/114.15	o 896127
116.80/114.15	o 896237
116.80/114.15	o 896523
116.80/114.16	o 896599
116.80/114.16	o 896658
116.80/114.16	o 896944
116.80/114.16	o 897020
116.80/114.16	o 897148
116.80/114.17	o 897224
116.80/114.17	o 897283
116.80/114.17	o 897569
116.80/114.17	o 897645
116.89/114.24	o 897849
116.89/114.24	o 897925
116.89/114.24	o 898035
116.89/114.24	o 898321
116.89/114.24	o 898397
116.89/114.24	o 898456
116.89/114.25	o 898742
116.89/114.25	o 898818
116.89/114.25	o 899245
116.89/114.25	o 899531
116.89/114.25	o 899607
116.89/114.25	o 899666
116.89/114.25	o 899952
116.89/114.25	o 900028
116.89/114.25	o 900138
116.89/114.25	o 900424
116.89/114.25	o 900500
116.89/114.25	o 900559
116.89/114.25	o 900845
116.89/114.25	o 900921
116.89/114.26	o 901049
116.89/114.26	o 901125
116.89/114.26	o 901184
116.89/114.26	o 901470
116.89/114.26	o 901546
116.99/114.38	o 901575
116.99/114.38	o 901651
116.99/114.40	o 902192
116.99/114.40	o 902478
116.99/114.40	o 902554
117.09/114.40	o 902613
117.09/114.40	o 902899
117.09/114.40	o 902975
117.09/114.40	o 903085
117.09/114.40	o 903371
117.09/114.40	o 903447
117.09/114.40	o 903506
117.09/114.40	o 903792
117.09/114.40	o 903868
117.09/114.40	o 904295
117.09/114.40	o 904581
117.09/114.40	o 904657
117.09/114.41	o 904716
117.09/114.41	o 905002
117.09/114.41	o 905078
117.09/114.41	o 905188
117.09/114.41	o 905474
117.09/114.41	o 905550
117.09/114.41	o 905609
117.09/114.41	o 905895
117.09/114.41	o 905971
117.09/114.42	o 906099
117.09/114.42	o 906175
117.09/114.42	o 906234
117.09/114.42	o 906520
117.09/114.42	o 906596
117.19/114.50	o 906800
117.19/114.50	o 906876
117.19/114.50	o 906986
117.19/114.50	o 907272
117.19/114.50	o 907348
117.19/114.50	o 907407
117.19/114.50	o 907693
117.19/114.50	o 907769
117.19/114.50	o 908196
117.19/114.51	o 908482
117.19/114.51	o 908558
117.19/114.51	o 908617
117.19/114.51	o 908903
117.19/114.51	o 908979
117.19/114.51	o 909089
117.19/114.51	o 909375
117.19/114.51	o 909451
117.19/114.51	o 909510
117.19/114.51	o 909796
117.19/114.51	o 909872
117.19/114.52	o 910000
117.19/114.52	o 910076
117.19/114.52	o 910135
117.19/114.52	o 910421
117.19/114.52	o 910497
117.80/115.11	o 910546
117.80/115.11	o 910622
117.80/115.12	o 910732
117.80/115.12	o 911018
117.80/115.12	o 911094
117.80/115.12	o 911153
117.80/115.12	o 911439
117.80/115.12	o 911515
117.80/115.12	o 911942
117.80/115.12	o 912228
117.80/115.12	o 912304
117.80/115.12	o 912363
117.80/115.12	o 912649
117.80/115.12	o 912725
117.80/115.12	o 912835
117.80/115.12	o 913121
117.80/115.12	o 913197
117.80/115.12	o 913256
117.80/115.12	o 913542
117.80/115.12	o 913618
117.80/115.13	o 913746
117.80/115.13	o 913822
117.80/115.13	o 913881
117.80/115.13	o 914167
117.80/115.14	o 914243
117.89/115.21	o 914447
117.89/115.21	o 914523
117.89/115.21	o 914633
117.89/115.21	o 914919
117.89/115.21	o 914995
117.89/115.21	o 915054
117.89/115.21	o 915340
117.89/115.21	o 915416
117.89/115.22	o 915843
117.89/115.22	o 916129
117.89/115.22	o 916205
117.89/115.22	o 916264
117.89/115.22	o 916550
117.89/115.22	o 916626
117.89/115.22	o 916736
117.89/115.22	o 917022
117.89/115.22	o 917098
117.89/115.22	o 917157
117.89/115.22	o 917443
117.89/115.22	o 917519
117.89/115.23	o 917647
117.89/115.23	o 917723
117.89/115.23	o 917782
117.89/115.23	o 918068
117.89/115.23	o 918144
119.50/116.88	o 918286
119.50/116.88	o 918362
119.50/116.88	o 918490
119.50/116.88	o 918566
119.50/116.89	o 918625
119.50/116.89	o 918911
119.50/116.89	o 918987
120.82/118.16	o 919104
120.82/118.16	o 919180
120.82/118.16	o 919239
120.82/118.16	o 919525
120.82/118.16	o 919601
121.11/118.40	o 919650
121.11/118.40	o 919726
121.11/118.40	o 919836
121.11/118.40	o 920122
121.11/118.40	o 920198
121.11/118.40	o 920257
121.11/118.40	o 920543
121.11/118.40	o 920619
121.11/118.40	o 921046
121.11/118.40	o 921332
121.11/118.40	o 921408
121.11/118.40	o 921467
121.11/118.40	o 921753
121.11/118.40	o 921829
121.11/118.40	o 921939
121.11/118.40	o 922225
121.11/118.40	o 922301
121.11/118.40	o 922360
121.11/118.40	o 922646
121.11/118.40	o 922722
121.11/118.40	o 922850
121.11/118.41	o 922926
121.11/118.41	o 922985
121.11/118.41	o 923271
121.11/118.41	o 923347
121.11/118.42	o 923551
121.11/118.42	o 923627
121.11/118.42	o 923737
121.11/118.42	o 924023
121.11/118.42	o 924099
121.11/118.42	o 924158
121.11/118.42	o 924444
121.11/118.42	o 924520
121.11/118.42	o 924947
121.11/118.42	o 925233
121.11/118.42	o 925309
121.11/118.42	o 925368
121.11/118.42	o 925654
121.11/118.42	o 925730
121.11/118.42	o 925840
121.11/118.42	o 926126
121.11/118.42	o 926202
121.11/118.42	o 926261
121.11/118.42	o 926547
121.11/118.42	o 926623
121.11/118.43	o 926751
121.11/118.43	o 926827
121.11/118.43	o 926886
121.11/118.43	o 927172
121.11/118.43	o 927248
122.01/119.31	o 927390
122.01/119.31	o 927466
122.01/119.31	o 927594
122.01/119.31	o 927670
122.01/119.31	o 927729
122.01/119.32	o 928015
122.01/119.32	o 928091
123.51/120.81	o 928106
123.51/120.81	o 928392
123.51/120.81	o 928468
123.51/120.81	o 928527
123.51/120.81	o 928813
123.51/120.81	o 928889
123.51/120.81	o 929017
123.51/120.81	o 929093
123.51/120.81	o 929152
123.51/120.81	o 929438
123.51/120.81	o 929514
123.51/120.83	o 929718
123.51/120.83	o 929794
123.51/120.83	o 929904
123.51/120.83	o 930190
123.51/120.83	o 930266
123.51/120.83	o 930325
123.51/120.83	o 930611
123.51/120.83	o 930687
123.51/120.83	o 931114
123.51/120.83	o 931400
123.51/120.83	o 931476
123.51/120.83	o 931535
123.51/120.83	o 931821
123.51/120.83	o 931897
123.51/120.83	o 932007
123.51/120.83	o 932293
123.51/120.83	o 932369
123.51/120.83	o 932428
123.51/120.83	o 932714
123.51/120.83	o 932790
123.51/120.83	o 932918
123.51/120.83	o 932994
123.51/120.83	o 933053
123.51/120.83	o 933339
123.51/120.83	o 933415
123.72/121.03	o 933557
123.72/121.03	o 933633
123.72/121.03	o 933761
123.72/121.03	o 933837
123.72/121.03	o 933896
123.72/121.03	o 934182
123.72/121.03	o 934258
125.92/123.22	o 934370
125.92/123.22	o 934446
126.74/124.11	o 934588
126.84/124.11	o 934664
126.84/124.11	o 934792
126.84/124.11	o 934868
126.84/124.11	o 934927
126.84/124.11	o 935213
126.84/124.11	o 935289
128.33/125.60	o 935304
128.33/125.60	o 935590
128.33/125.60	o 935666
128.33/125.60	o 935725
128.33/125.60	o 936011
128.33/125.60	o 936087
128.33/125.60	o 936215
128.33/125.60	o 936291
128.33/125.60	o 936350
128.33/125.60	o 936636
128.33/125.60	o 936712
128.33/125.62	o 936916
128.33/125.62	o 936992
128.33/125.62	o 937102
128.33/125.62	o 937388
128.33/125.62	o 937464
128.33/125.62	o 937523
128.33/125.62	o 937809
128.33/125.62	o 937885
128.33/125.62	o 938312
128.33/125.62	o 938598
128.33/125.62	o 938674
128.33/125.62	o 938733
128.33/125.62	o 939019
128.33/125.62	o 939095
128.33/125.62	o 939205
128.33/125.62	o 939491
128.33/125.62	o 939567
128.33/125.62	o 939626
128.33/125.62	o 939912
128.33/125.62	o 939988
128.33/125.62	o 940116
128.33/125.62	o 940192
128.33/125.62	o 940251
128.33/125.62	o 940537
128.33/125.62	o 940613
128.53/125.82	o 940755
128.53/125.82	o 940831
128.53/125.82	o 940959
128.53/125.82	o 941035
128.53/125.82	o 941094
128.53/125.82	o 941380
128.53/125.82	o 941456
147.41/144.66	o 941706
147.41/144.66	o 941992
147.41/144.66	o 942068
147.41/144.66	o 942127
147.41/144.66	o 942413
147.41/144.66	o 942489
147.41/144.66	o 942599
147.41/144.66	o 942885
147.41/144.66	o 942961
147.41/144.66	o 943020
147.41/144.66	o 943306
147.41/144.66	o 943382
147.41/144.66	o 943510
147.41/144.66	o 943586
147.41/144.66	o 943645
147.41/144.66	o 943931
147.41/144.66	o 944007
147.61/144.86	o 944149
147.61/144.86	o 944225
147.61/144.86	o 944353
147.61/144.86	o 944429
147.61/144.86	o 944488
147.61/144.86	o 944774
147.61/144.86	o 944850
222.27/219.12	o 945419
222.27/219.12	o 945705
222.27/219.12	o 946044
222.27/219.12	o 946330
222.27/219.12	o 946377
222.27/219.13	o 946716
222.27/219.13	o 947002
222.27/219.14	o 947109
222.27/219.14	o 947716
222.27/219.14	o 948002
222.27/219.15	o 948341
222.27/219.15	o 948627
222.27/219.15	o 948674
222.27/219.15	o 949013
222.27/219.16	o 949299
222.27/219.18	o 949492
222.27/219.18	o 950724
222.27/219.18	o 951010
222.27/219.18	o 951617
222.27/219.18	o 951903
222.27/219.18	o 952242
222.27/219.18	o 952528
222.27/219.18	o 952575
222.27/219.19	o 952914
222.27/219.19	o 953200
222.36/219.22	o 953352
222.36/219.23	o 953691
222.36/219.23	o 953977
222.36/219.23	o 954024
222.36/219.23	o 954363
222.36/219.23	o 954649
222.36/219.25	o 954756
222.36/219.25	o 955363
222.36/219.25	o 955649
222.36/219.26	o 955988
222.36/219.26	o 956274
222.36/219.26	o 956321
222.36/219.26	o 956660
222.36/219.26	o 956946
222.36/219.28	o 957139
222.36/219.28	o 958371
222.36/219.28	o 958657
222.36/219.29	o 959264
222.36/219.29	o 959550
222.36/219.29	o 959889
222.36/219.29	o 960175
222.36/219.29	o 960222
222.36/219.30	o 960561
222.36/219.30	o 960847
222.46/219.34	o 960912
222.46/219.34	o 961198
222.46/219.34	o 961245
222.46/219.34	o 961584
222.46/219.34	o 961870
222.46/219.38	o 962022
222.46/219.38	o 962361
222.46/219.38	o 962647
222.46/219.39	o 962694
222.46/219.39	o 963033
222.46/219.39	o 963319
222.56/219.42	o 963426
222.56/219.42	o 964033
222.56/219.42	o 964319
222.56/219.42	o 964658
222.56/219.42	o 964944
222.56/219.42	o 964991
222.56/219.43	o 965330
222.56/219.43	o 965616
222.56/219.45	o 965809
222.56/219.45	o 967041
222.56/219.45	o 967327
222.56/219.45	o 967934
222.56/219.45	o 968220
222.56/219.45	o 968559
222.56/219.45	o 968845
222.56/219.45	o 968892
222.56/219.46	o 969231
222.56/219.46	o 969517
222.68/219.55	o 969559
222.68/219.55	o 969845
222.68/219.56	o 969892
222.68/219.56	o 970231
222.68/219.56	o 970517
222.68/219.58	o 970624
222.68/219.58	o 971231
222.68/219.58	o 971517
222.68/219.58	o 971856
222.68/219.58	o 972142
222.68/219.59	o 972189
222.68/219.59	o 972528
222.68/219.59	o 972814
222.78/219.61	o 973007
222.78/219.61	o 974239
222.78/219.61	o 974525
222.78/219.61	o 975132
222.78/219.61	o 975418
222.78/219.61	o 975757
222.78/219.61	o 976043
222.78/219.62	o 976090
222.78/219.62	o 976429
222.78/219.62	o 976715
222.88/219.71	o 977260
222.88/219.71	o 977546
222.88/219.72	o 977885
222.88/219.72	o 978171
222.88/219.72	o 978218
222.88/219.73	o 978557
222.88/219.73	o 978843
222.88/219.75	o 979036
222.88/219.75	o 980268
222.88/219.75	o 980554
222.88/219.75	o 981161
222.88/219.75	o 981447
222.88/219.75	o 981786
222.88/219.75	o 982072
222.88/219.75	o 982119
222.88/219.76	o 982458
222.88/219.76	o 982744
222.98/219.80	o 982809
222.98/219.80	o 983095
222.98/219.80	o 983142
222.98/219.81	o 983481
222.98/219.81	o 983767
222.98/219.84	o 983919
222.98/219.84	o 984258
222.98/219.84	o 984544
222.98/219.85	o 984591
222.98/219.85	o 984930
222.98/219.85	o 985216
222.98/219.87	o 985323
222.98/219.87	o 985930
222.98/219.87	o 986216
222.98/219.87	o 986555
222.98/219.87	o 986841
222.98/219.88	o 986888
222.98/219.88	o 987227
222.98/219.88	o 987513
223.08/219.90	o 987706
223.08/219.90	o 988938
223.08/219.90	o 989224
223.08/219.90	o 989831
223.08/219.90	o 990117
223.08/219.91	o 990456
223.08/219.91	o 990742
223.08/219.91	o 990789
223.08/219.91	o 991128
223.08/219.91	o 991414
223.20/220.02	o 991456
223.20/220.02	o 991742
223.20/220.02	o 991789
223.20/220.02	o 992128
223.20/220.02	o 992414
223.20/220.04	o 992521
223.20/220.04	o 993128
223.20/220.04	o 993414
223.20/220.04	o 993753
223.20/220.04	o 994039
223.20/220.05	o 994086
223.20/220.05	o 994425
223.20/220.05	o 994711
223.20/220.07	o 994904
223.20/220.07	o 996136
223.20/220.07	o 996422
223.20/220.07	o 997029
223.20/220.07	o 997315
223.20/220.08	o 997654
223.20/220.08	o 997940
223.20/220.08	o 997987
223.20/220.08	o 998326
223.20/220.08	o 998612
223.40/220.20	o 998754
223.40/220.20	o 999040
223.40/220.22	o 999233
223.40/220.22	o 1000465
223.40/220.22	o 1000751
223.40/220.22	o 1001358
223.40/220.22	o 1001644
223.40/220.22	o 1001983
223.40/220.22	o 1002269
223.40/220.22	o 1002316
223.40/220.23	o 1002655
223.40/220.23	o 1002941
223.50/220.40	o 1002969
223.60/220.40	o 1003255
223.70/220.51	o 1003397
223.70/220.51	o 1003683
223.70/220.53	o 1003876
223.70/220.53	o 1005108
223.70/220.53	o 1005394
223.70/220.53	o 1006001
223.70/220.53	o 1006287
223.70/220.53	o 1006626
223.70/220.53	o 1006912
223.70/220.54	o 1006959
223.70/220.54	o 1007298
223.70/220.54	o 1007584
223.90/220.74	o 1008185
223.90/220.74	o 1008471
223.90/220.74	o 1008810
223.90/220.74	o 1009096
223.90/220.74	o 1009143
223.90/220.74	o 1009482
223.90/220.74	o 1009768
223.90/220.76	o 1009910
223.90/220.76	o 1010196
223.90/220.76	o 1010389
223.90/220.76	o 1011621
223.90/220.76	o 1011907
223.90/220.76	o 1012514
223.90/220.76	o 1012800
223.90/220.76	o 1013139
223.90/220.76	o 1013425
223.90/220.76	o 1013472
223.90/220.76	o 1013811
223.90/220.76	o 1014097
224.00/220.80	o 1014125
224.00/220.80	o 1014411
224.00/220.82	o 1014553
224.00/220.82	o 1014839
224.00/220.82	o 1015032
224.00/220.82	o 1016264
224.00/220.82	o 1016550
224.00/220.82	o 1017157
224.00/220.82	o 1017443
224.00/220.82	o 1017782
224.00/220.82	o 1018068
224.00/220.82	o 1018115
224.00/220.82	o 1018454
224.00/220.82	o 1018740
224.40/221.28	o 1018837
224.40/221.28	o 1019030
224.40/221.28	o 1020262
224.40/221.28	o 1020548
224.40/221.28	o 1021155
224.40/221.28	o 1021441
224.40/221.28	o 1021780
224.40/221.28	o 1022066
224.40/221.28	o 1022113
224.40/221.28	o 1022452
224.40/221.28	o 1022738
224.50/221.31	o 1022766
224.50/221.31	o 1023052
224.50/221.32	o 1023194
224.50/221.32	o 1023480
224.50/221.33	o 1023673
224.50/221.33	o 1024905
224.50/221.33	o 1025191
224.50/221.33	o 1025798
224.50/221.33	o 1026084
224.50/221.33	o 1026423
224.50/221.33	o 1026709
224.50/221.33	o 1026756
224.50/221.33	o 1027095
224.50/221.33	o 1027381
225.21/222.10	o 1027562
225.21/222.10	o 1027755
225.21/222.10	o 1028987
225.21/222.10	o 1029273
225.21/222.10	o 1029880
225.21/222.10	o 1030166
225.21/222.11	o 1030505
225.31/222.11	o 1030791
225.31/222.11	o 1030838
225.31/222.11	o 1031177
225.31/222.11	o 1031463
225.31/222.14	o 1031491
225.31/222.14	o 1031777
225.31/222.16	o 1031919
225.31/222.16	o 1032205
225.31/222.16	o 1032398
225.31/222.16	o 1033630
225.31/222.16	o 1033916
225.31/222.16	o 1034523
225.31/222.16	o 1034809
225.31/222.16	o 1035148
225.31/222.16	o 1035434
225.31/222.16	o 1035481
225.31/222.16	o 1035820
225.31/222.16	o 1036106
225.81/222.63	o 1036203
225.81/222.63	o 1036396
225.81/222.63	o 1037628
225.81/222.63	o 1037914
225.81/222.63	o 1038521
225.81/222.63	o 1038807
225.81/222.63	o 1039146
225.81/222.63	o 1039432
225.81/222.63	o 1039479
225.81/222.63	o 1039818
225.81/222.63	o 1040104
225.81/222.66	o 1040132
225.81/222.66	o 1040418
225.81/222.67	o 1040560
225.81/222.67	o 1040846
225.81/222.68	o 1041039
225.81/222.68	o 1042271
225.81/222.68	o 1042557
225.81/222.68	o 1043164
225.81/222.68	o 1043450
225.81/222.68	o 1043789
225.81/222.68	o 1044075
225.81/222.68	o 1044122
225.81/222.68	o 1044461
225.81/222.68	o 1044747
227.32/224.19	o 1044974
227.32/224.19	o 1045260
227.32/224.19	o 1045599
227.32/224.19	o 1045885
227.32/224.19	o 1045932
227.32/224.19	o 1046271
227.32/224.19	o 1046557
227.42/224.22	o 1046585
227.42/224.22	o 1046871
227.42/224.23	o 1047013
227.42/224.23	o 1047299
227.42/224.23	o 1047492
227.42/224.23	o 1048724
227.42/224.23	o 1049010
227.42/224.23	o 1049617
227.42/224.23	o 1049903
227.42/224.23	o 1050242
227.42/224.23	o 1050528
227.42/224.23	o 1050575
227.42/224.23	o 1050914
227.42/224.23	o 1051200
228.73/225.58	o 1051625
228.73/225.58	o 1051911
228.73/225.58	o 1052518
228.73/225.58	o 1052804
228.73/225.58	o 1053143
228.73/225.58	o 1053429
228.73/225.58	o 1053476
228.73/225.58	o 1053815
228.73/225.58	o 1054101
230.24/227.08	o 1054328
230.24/227.08	o 1054614
230.24/227.08	o 1054953
230.24/227.08	o 1055239
230.24/227.08	o 1055286
230.24/227.08	o 1055625
230.24/227.09	o 1055911
230.34/227.11	o 1055939
230.34/227.11	o 1056225
230.34/227.13	o 1056367
230.34/227.13	o 1056653
230.34/227.13	o 1056846
230.34/227.13	o 1058078
230.34/227.13	o 1058364
230.34/227.13	o 1058971
230.34/227.13	o 1059257
230.34/227.13	o 1059596
230.34/227.13	o 1059882
230.34/227.13	o 1059929
230.34/227.13	o 1060268
230.34/227.13	o 1060554
231.64/228.43	o 1060931
231.64/228.43	o 1061217
231.64/228.43	o 1061556
231.64/228.43	o 1061842
231.64/228.43	o 1061889
231.64/228.43	o 1062228
231.64/228.43	o 1062514
233.15/229.94	o 1062741
233.15/229.94	o 1063027
233.15/229.94	o 1063366
233.15/229.94	o 1063652
233.15/229.94	o 1063699
233.15/229.94	o 1064038
233.15/229.94	o 1064324
233.15/229.97	o 1064352
233.15/229.97	o 1064638
233.15/229.98	o 1064780
233.15/229.98	o 1065066
233.15/229.98	o 1065259
233.15/229.98	o 1066491
233.15/229.98	o 1066777
233.15/229.98	o 1067384
233.15/229.98	o 1067670
233.15/229.98	o 1068009
233.15/229.98	o 1068295
233.15/229.98	o 1068342
233.15/229.98	o 1068681
233.15/229.98	o 1068967
234.55/231.32	o 1069392
234.55/231.32	o 1069678
234.55/231.32	o 1070285
234.55/231.32	o 1070571
234.55/231.32	o 1070910
234.55/231.32	o 1071196
234.55/231.32	o 1071243
234.55/231.32	o 1071582
234.55/231.32	o 1071868
236.06/232.82	o 1072095
236.06/232.82	o 1072381
236.06/232.82	o 1072720
236.06/232.82	o 1073006
236.06/232.82	o 1073053
236.06/232.82	o 1073392
236.06/232.82	o 1073678
236.06/232.85	o 1073706
236.06/232.85	o 1073992
236.06/232.87	o 1074134
236.06/232.87	o 1074420
236.06/232.87	o 1074613
236.06/232.87	o 1075845
236.06/232.87	o 1076131
236.06/232.87	o 1076738
236.06/232.87	o 1077024
236.06/232.87	o 1077363
236.06/232.87	o 1077649
236.06/232.87	o 1077696
236.06/232.87	o 1078035
236.06/232.87	o 1078321
245.31/242.07	o 1078447
246.00/242.78	o 1078872
246.00/242.78	o 1079158
246.00/242.78	o 1079765
246.00/242.78	o 1080051
246.00/242.78	o 1080390
246.00/242.78	o 1080676
246.00/242.78	o 1080723
246.00/242.78	o 1081062
246.00/242.78	o 1081348
246.80/243.59	o 1081575
246.80/243.59	o 1081861
246.80/243.59	o 1082200
246.80/243.59	o 1082486
246.80/243.59	o 1082533
246.80/243.59	o 1082872
246.80/243.59	o 1083158
246.90/243.61	o 1083186
246.90/243.61	o 1083472
246.90/243.62	o 1083614
246.90/243.62	o 1083900
246.90/243.62	o 1084093
246.90/243.62	o 1085325
246.90/243.62	o 1085611
246.90/243.62	o 1086218
246.90/243.62	o 1086504
246.90/243.62	o 1086843
246.90/243.62	o 1087129
246.90/243.62	o 1087176
246.90/243.62	o 1087515
246.90/243.62	o 1087801
274.21/270.82	o 1088070
274.21/270.82	o 1088356
274.21/270.82	o 1088695
274.21/270.82	o 1088981
274.21/270.82	o 1089028
274.21/270.82	o 1089367
274.21/270.82	o 1089653
275.11/271.75	o 1089880
275.11/271.75	o 1090166
275.11/271.75	o 1090505
275.11/271.75	o 1090791
275.11/271.75	o 1090838
275.11/271.75	o 1091177
275.11/271.76	o 1091463
275.11/271.77	o 1091491
275.11/271.77	o 1091777
275.11/271.78	o 1091919
275.11/271.78	o 1092205
275.11/271.78	o 1092398
275.11/271.78	o 1093630
275.11/271.78	o 1093916
275.11/271.78	o 1094523
275.11/271.78	o 1094809
275.11/271.78	o 1095148
275.11/271.79	o 1095434
275.11/271.79	o 1095481
275.11/271.79	o 1095820
275.11/271.79	o 1096106
284.15/280.74	o 1096163
284.15/280.74	o 1096210
284.15/280.74	o 1096549
284.15/280.74	o 1096835
285.95/282.59	o 1097062
285.95/282.59	o 1097348
285.95/282.59	o 1097687
285.95/282.59	o 1097973
285.95/282.59	o 1098020
285.95/282.59	o 1098359
285.95/282.59	o 1098645
286.06/282.63	o 1098673
286.06/282.63	o 1098959
286.06/282.65	o 1099101
286.06/282.65	o 1099387
286.06/282.65	o 1099580
286.06/282.65	o 1100812
286.06/282.65	o 1101098
286.06/282.65	o 1101705
286.06/282.65	o 1101991
286.06/282.65	o 1102330
286.06/282.65	o 1102616
286.06/282.65	o 1102663
286.06/282.65	o 1103002
286.06/282.65	o 1103288
295.80/292.32	o 1103414
296.62/293.11	o 1103839
296.62/293.11	o 1104125
296.62/293.11	o 1104732
296.62/293.11	o 1105018
296.62/293.11	o 1105357
296.62/293.11	o 1105643
296.62/293.11	o 1105690
296.62/293.11	o 1106029
296.62/293.12	o 1106315
297.52/294.05	o 1106542
297.52/294.05	o 1106828
297.52/294.05	o 1107167
297.52/294.05	o 1107453
297.52/294.05	o 1107500
297.52/294.05	o 1107839
297.52/294.05	o 1108125
297.52/294.07	o 1108153
297.52/294.07	o 1108439
297.52/294.08	o 1108581
297.52/294.08	o 1108867
297.52/294.08	o 1109060
297.52/294.08	o 1110292
297.52/294.08	o 1110578
297.52/294.08	o 1111185
297.52/294.08	o 1111471
297.52/294.08	o 1111810
297.52/294.08	o 1112096
297.52/294.08	o 1112143
297.52/294.08	o 1112482
297.52/294.08	o 1112768
342.19/338.60	o 1113437
342.19/338.60	o 1114669
342.19/338.60	o 1114955
342.19/338.60	o 1115294
342.29/338.60	o 1115580
342.29/338.60	o 1115627
342.29/338.60	o 1115966
342.29/338.60	o 1116252
351.93/348.23	o 1116378
352.75/349.03	o 1116464
352.75/349.03	o 1117696
352.75/349.03	o 1117982
352.75/349.03	o 1118321
352.75/349.03	o 1118607
352.75/349.03	o 1118654
352.75/349.03	o 1118993
352.75/349.03	o 1119279
353.64/349.96	o 1119506
353.64/349.96	o 1119792
353.64/349.96	o 1120131
353.64/349.96	o 1120417
353.64/349.96	o 1120464
353.64/349.96	o 1120803
353.64/349.96	o 1121089
353.64/349.98	o 1121117
353.64/349.98	o 1121403
353.64/349.99	o 1121545
353.64/349.99	o 1121831
353.64/349.99	o 1121838
353.64/349.99	o 1122124
353.64/349.99	o 1122917
353.64/349.99	o 1124149
353.64/349.99	o 1124435
353.64/349.99	o 1124774
353.64/349.99	o 1125060
353.64/349.99	o 1125107
353.64/349.99	o 1125446
353.64/349.99	o 1125732
396.41/392.55	o 1126294
396.41/392.55	o 1126580
396.41/392.55	o 1126919
396.41/392.55	o 1127205
396.41/392.55	o 1127252
396.41/392.55	o 1127591
396.41/392.55	o 1127877
406.05/402.19	o 1128003
406.85/402.99	o 1128428
406.85/402.99	o 1128714
406.85/402.99	o 1129321
406.85/402.99	o 1129607
406.85/402.99	o 1129946
406.85/402.99	o 1130232
406.85/402.99	o 1130279
406.85/402.99	o 1130618
406.85/402.99	o 1130904
407.85/403.92	o 1131131
407.85/403.92	o 1131417
407.85/403.92	o 1131756
407.85/403.92	o 1132042
407.85/403.92	o 1132089
407.85/403.92	o 1132428
407.85/403.92	o 1132714
407.85/403.94	o 1132742
407.85/403.94	o 1133028
407.85/403.95	o 1133170
407.85/403.95	o 1133456
407.85/403.95	o 1133649
407.85/403.95	o 1134881
407.85/403.95	o 1135167
407.85/403.95	o 1135774
407.85/403.95	o 1136060
407.85/403.95	o 1136399
407.85/403.95	o 1136685
407.85/403.95	o 1136732
407.85/403.96	o 1137071
407.85/403.96	o 1137357
452.53/448.46	o 1138026
452.53/448.46	o 1139258
452.53/448.46	o 1139544
452.53/448.46	o 1139883
452.53/448.46	o 1140169
452.53/448.46	o 1140216
452.53/448.46	o 1140555
452.53/448.46	o 1140841
462.18/458.08	o 1140967
462.98/458.89	o 1141053
462.98/458.89	o 1142285
462.98/458.89	o 1142571
462.98/458.89	o 1142910
462.98/458.89	o 1143196
462.98/458.89	o 1143243
462.98/458.89	o 1143582
462.98/458.89	o 1143868
463.98/459.82	o 1144095
463.98/459.82	o 1144381
463.98/459.82	o 1144720
463.98/459.82	o 1145006
463.98/459.82	o 1145053
463.98/459.82	o 1145392
463.98/459.82	o 1145678
463.98/459.84	o 1145706
463.98/459.84	o 1145992
463.98/459.85	o 1146134
463.98/459.85	o 1146420
463.98/459.85	o 1146427
463.98/459.85	o 1146713
463.98/459.85	o 1147506
463.98/459.85	o 1148738
463.98/459.85	o 1149024
463.98/459.85	o 1149363
463.98/459.85	o 1149649
463.98/459.85	o 1149696
463.98/459.85	o 1150035
463.98/459.85	o 1150321
2520.01/2507.30	s SATISFIABLE
2520.01/2507.31	v <instantiation>
2520.01/2507.31	v 	<list>
2520.01/2507.31	v 		b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] 
2520.01/2507.31	v 	</list>
2520.01/2507.31	v 	<values>
2520.01/2507.31	v 		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 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 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 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 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
2520.01/2507.31	v 	</values>
2520.01/2507.31	v </instantiation>

Verifier Data

OK	1150321

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298533-1532764137/watcher-4298533-1532764137 -o /tmp/evaluation-result-4298533-1532764137/solver-4298533-1532764137 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532739149-21838 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298533-1532764137.xml 

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

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


[startup+0.100129 s]*
/proc/loadavg: 1.55 1.47 1.45 5/215 25108
/proc/meminfo: memFree=27715264/32770624 swapFree=67108436/67108860
[pid=25093] ppid=25090 vsize=10661056 memory=25944 CPUtime=0.12 cores=0,2,4,6
/proc/25093/stat : 25093 (java) S 25090 25093 21807 0 -1 1077944320 5381 0 0 0 11 1 0 0 20 0 15 0 93976919 10916921344 6486 33554432000 4194304 4196468 140723125412464 140723125395008 140079514599159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
/proc/25093/statm: 2665264 6486 2863 1 0 2627263 0
[pid=25093/tid=25095] ppid=25090 vsize=10661056 memory=-7254949987974015097 CPUtime=0.09 cores=0,2,4,6
/proc/25093/task/25095/stat : 25095 (java) R 25090 25093 21807 0 -1 4202560 3209 0 0 0 9 0 0 0 20 0 15 0 93976919 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079518831808 140079514611094 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25096] ppid=25090 vsize=10661056 memory=5793854978600139193 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25096/stat : 25096 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079121402384 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25097] ppid=25090 vsize=10661056 memory=139727590246016 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25097/stat : 25097 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079120349840 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25098] ppid=25090 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25098/stat : 25098 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079119296784 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25099] ppid=25090 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25099/stat : 25099 (java) S 25090 25093 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93976920 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079118244240 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25100] ppid=25090 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25100/stat : 25100 (java) S 25090 25093 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93976921 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079006702320 140079514610306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25101] ppid=25090 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25101/stat : 25101 (java) S 25090 25093 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93976922 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079005648544 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25102] ppid=25090 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25102/stat : 25102 (java) S 25090 25093 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93976922 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079004595440 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25103] ppid=25090 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25103/stat : 25103 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079003544016 140079514617755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25104] ppid=25090 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25104/stat : 25104 (java) S 25090 25093 21807 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 93976924 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079002491120 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25105] ppid=25090 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25105/stat : 25105 (java) S 25090 25093 21807 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 93976924 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079001438576 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25106] ppid=25090 vsize=10661056 memory=139727590246016 CPUtime=0.01 cores=0,2,4,6
/proc/25093/task/25106/stat : 25106 (java) R 25090 25093 21807 0 -1 4202560 362 0 0 0 1 0 0 0 20 0 15 0 93976924 10916921344 6486 33554432000 4194304 4196468 140723125412464 140079000381400 140079514611094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25107] ppid=25090 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25107/stat : 25107 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916921344 6486 33554432000 4194304 4196468 140723125412464 140078999333216 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25108] ppid=25090 vsize=10661056 memory=139727590246016 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25108/stat : 25108 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976925 10916921344 6486 33554432000 4194304 4196468 140723125412464 140078998281264 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 25944 KiB

[startup+0.210464 s]*
/proc/loadavg: 1.55 1.47 1.45 5/215 25108
/proc/meminfo: memFree=27702240/32770624 swapFree=67108436/67108860
[pid=25093] ppid=25090 vsize=10661056 memory=39728 CPUtime=0.34 cores=0,2,4,6
/proc/25093/stat : 25093 (java) S 25090 25093 21807 0 -1 1077944320 8570 0 0 0 32 2 0 0 20 0 15 0 93976919 10916921344 9932 33554432000 4194304 4196468 140723125412464 140723125395008 140079514599159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
/proc/25093/statm: 2665264 9932 2989 1 0 2627263 0
[pid=25093/tid=25095] ppid=25090 vsize=10661056 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/25093/task/25095/stat : 25095 (java) R 25090 25093 21807 0 -1 4202560 5167 0 0 0 19 1 0 0 20 0 15 0 93976919 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079518837552 140079493657825 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25096] ppid=25090 vsize=10661056 memory=4211973453795036554 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25096/stat : 25096 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079121402384 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25097] ppid=25090 vsize=10661056 memory=139727590246016 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25097/stat : 25097 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079120349840 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25098] ppid=25090 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25098/stat : 25098 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079119296784 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25099] ppid=25090 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25099/stat : 25099 (java) S 25090 25093 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93976920 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079118244240 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25100] ppid=25090 vsize=10661056 memory=139727590246016 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25100/stat : 25100 (java) S 25090 25093 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93976921 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079006702320 140079514610306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25101] ppid=25090 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25101/stat : 25101 (java) S 25090 25093 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93976922 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079005648544 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25102] ppid=25090 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25102/stat : 25102 (java) S 25090 25093 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93976922 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079004595440 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25103] ppid=25090 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25103/stat : 25103 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079003544016 140079514617755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25104] ppid=25090 vsize=10661056 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25093/task/25104/stat : 25104 (java) R 25090 25093 21807 0 -1 4202560 552 0 0 0 3 0 0 0 20 0 15 0 93976924 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079002491120 140079495299456 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25105] ppid=25090 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25093/task/25105/stat : 25105 (java) R 25090 25093 21807 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 15 0 93976924 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079001438576 140079514610306 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25106] ppid=25090 vsize=10661056 memory=139727590246016 CPUtime=0.08 cores=0,2,4,6
/proc/25093/task/25106/stat : 25106 (java) R 25090 25093 21807 0 -1 4202560 1030 0 0 0 8 0 0 0 20 0 15 0 93976924 10916921344 9932 33554432000 4194304 4196468 140723125412464 140079000385520 140079507699006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25107] ppid=25090 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25107/stat : 25107 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916921344 9932 33554432000 4194304 4196468 140723125412464 140078999333216 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25108] ppid=25090 vsize=10661056 memory=139727590246016 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25108/stat : 25108 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976925 10916921344 9932 33554432000 4194304 4196468 140723125412464 140078998281264 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 39728 KiB

[startup+0.310408 s]*
/proc/loadavg: 1.55 1.47 1.45 5/215 25108
/proc/meminfo: memFree=27695448/32770624 swapFree=67108436/67108860
[pid=25093] ppid=25090 vsize=10661132 memory=46316 CPUtime=0.59 cores=0,2,4,6
/proc/25093/stat : 25093 (java) S 25090 25093 21807 0 -1 1077944320 9179 0 0 0 57 2 0 0 20 0 15 0 93976919 10916999168 11579 33554432000 4194304 4196468 140723125412464 140723125395008 140079514599159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
/proc/25093/statm: 2665283 11579 3058 1 0 2627263 0
[pid=25093/tid=25095] ppid=25090 vsize=10661132 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6
/proc/25093/task/25095/stat : 25095 (java) S 25090 25093 21807 0 -1 1077944384 5494 0 0 0 28 1 0 0 20 0 15 0 93976919 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079518835264 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25096] ppid=25090 vsize=10661132 memory=4211973453795036554 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25096/stat : 25096 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079121402384 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25097] ppid=25090 vsize=10661132 memory=139727590248373 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25097/stat : 25097 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079120349840 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25098] ppid=25090 vsize=10661132 memory=139727432974143 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25098/stat : 25098 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079119296784 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25099] ppid=25090 vsize=10661132 memory=139727432961487 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25099/stat : 25099 (java) S 25090 25093 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079118244240 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25100] ppid=25090 vsize=10661132 memory=139727590267850 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25100/stat : 25100 (java) S 25090 25093 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93976921 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079006702320 140079514610306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25101] ppid=25090 vsize=10661132 memory=139727432970671 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25101/stat : 25101 (java) S 25090 25093 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079005648544 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25102] ppid=25090 vsize=10661132 memory=279454865932176 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25102/stat : 25102 (java) S 25090 25093 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079004595440 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25103] ppid=25090 vsize=10661132 memory=279454865929872 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25103/stat : 25103 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079003544016 140079514617755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25104] ppid=25090 vsize=10661132 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/25093/task/25104/stat : 25104 (java) R 25090 25093 21807 0 -1 4202560 599 0 0 0 6 0 0 0 20 0 15 0 93976924 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079002477144 140079496120543 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25105] ppid=25090 vsize=10661132 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/25093/task/25105/stat : 25105 (java) R 25090 25093 21807 0 -1 1077944384 491 0 0 0 5 0 0 0 20 0 15 0 93976924 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079001438576 140079514610306 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25106] ppid=25090 vsize=10661132 memory=139727590246016 CPUtime=0.16 cores=0,2,4,6
/proc/25093/task/25106/stat : 25106 (java) R 25090 25093 21807 0 -1 4202560 1227 0 0 0 16 0 0 0 20 0 15 0 93976924 10916999168 11579 33554432000 4194304 4196468 140723125412464 140079000379904 140079493119249 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25107] ppid=25090 vsize=10661132 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25107/stat : 25107 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 11579 33554432000 4194304 4196468 140723125412464 140078999333216 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25108] ppid=25090 vsize=10661132 memory=139727590246016 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25108/stat : 25108 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976925 10916999168 11579 33554432000 4194304 4196468 140723125412464 140078998281264 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 46316 KiB

[startup+0.700782 s]
/proc/loadavg: 1.55 1.47 1.45 5/215 25108
/proc/meminfo: memFree=27583360/32770624 swapFree=67108436/67108860
[pid=25093] ppid=25090 vsize=10661132 memory=286932 CPUtime=1.84 cores=0,2,4,6
/proc/25093/stat : 25093 (java) S 25090 25093 21807 0 -1 1077944320 14067 0 0 0 177 7 0 0 20 0 15 0 93976919 10916999168 71733 33554432000 4194304 4196468 140723125412464 140723125395008 140079514599159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
/proc/25093/statm: 2665283 71733 3113 1 0 2627263 0
[pid=25093/tid=25095] ppid=25090 vsize=10661132 memory=1228 CPUtime=0.68 cores=0,2,4,6
/proc/25093/task/25095/stat : 25095 (java) R 25090 25093 21807 0 -1 4202560 5765 0 0 0 63 5 0 0 20 0 15 0 93976919 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079518838480 140079155669877 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25096] ppid=25090 vsize=10661132 memory=1852 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25096/stat : 25096 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079121402384 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25097] ppid=25090 vsize=10661132 memory=872 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25097/stat : 25097 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079120349840 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25098] ppid=25090 vsize=10661132 memory=7307747153392788800 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25098/stat : 25098 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079119296784 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25099] ppid=25090 vsize=10661132 memory=7453282923444727654 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25099/stat : 25099 (java) S 25090 25093 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079118244240 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25100] ppid=25090 vsize=10661132 memory=6370994028255662161 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25100/stat : 25100 (java) S 25090 25093 21807 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93976921 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079006702320 140079514610306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25101] ppid=25090 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25101/stat : 25101 (java) S 25090 25093 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079005648544 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25102] ppid=25090 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25102/stat : 25102 (java) S 25090 25093 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079004595440 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25103] ppid=25090 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25103/stat : 25103 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079003544016 140079514617755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25104] ppid=25090 vsize=10661132 memory=81 CPUtime=0.42 cores=0,2,4,6
/proc/25093/task/25104/stat : 25104 (java) R 25090 25093 21807 0 -1 4202560 2163 0 0 0 42 0 0 0 20 0 15 0 93976924 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079002479920 140079498130665 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25105] ppid=25090 vsize=10661132 memory=3 CPUtime=0.4 cores=0,2,4,6
/proc/25093/task/25105/stat : 25105 (java) R 25090 25093 21807 0 -1 4202560 2263 0 0 0 40 0 0 0 20 0 15 0 93976924 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079001430032 140079514620506 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25106] ppid=25090 vsize=10661132 memory=264 CPUtime=0.3 cores=0,2,4,6
/proc/25093/task/25106/stat : 25106 (java) S 25090 25093 21807 0 -1 1077944384 2505 0 0 0 29 1 0 0 20 0 15 0 93976924 10916999168 71733 33554432000 4194304 4196468 140723125412464 140079000385520 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25107] ppid=25090 vsize=10661132 memory=279454866116080 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25107/stat : 25107 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 71733 33554432000 4194304 4196468 140723125412464 140078999333216 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25108] ppid=25090 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25108/stat : 25108 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976925 10916999168 71733 33554432000 4194304 4196468 140723125412464 140078998281264 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
Current children cumulated CPU time: 1.84 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 286932 KiB

[startup+1.50082 s]
/proc/loadavg: 1.55 1.47 1.45 3/215 25108
/proc/meminfo: memFree=27454092/32770624 swapFree=67108436/67108860
[pid=25093] ppid=25090 vsize=10661132 memory=289832 CPUtime=2.89 cores=0,2,4,6
/proc/25093/stat : 25093 (java) S 25090 25093 21807 0 -1 1077944320 14355 0 0 0 282 7 0 0 20 0 15 0 93976919 10916999168 72458 33554432000 4194304 4196468 140723125412464 140723125395008 140079514599159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
/proc/25093/statm: 2665283 72458 3126 1 0 2627263 0
[pid=25093/tid=25095] ppid=25090 vsize=10661132 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/25093/task/25095/stat : 25095 (java) R 25090 25093 21807 0 -1 4202560 5863 0 0 0 143 5 0 0 20 0 15 0 93976919 10916999168 72458 33554432000 4194304 4196468 140723125412464 140079518838432 140079155949590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25096] ppid=25090 vsize=10661132 memory=4947657853493353088 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25096/stat : 25096 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 72458 33554432000 4194304 4196468 140723125412464 140079121402384 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25097] ppid=25090 vsize=10661132 memory=-6293314867608839265 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25097/stat : 25097 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 72458 33554432000 4194304 4196468 140723125412464 140079120349840 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25098] ppid=25090 vsize=10661132 memory=-5935602824819121961 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25098/stat : 25098 (java) S 25090 25093 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 72458 33554432000 4194304 4196468 140723125412464 140079119296784 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25099] ppid=25090 vsize=10661132 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25099/stat : 25099 (java) S 25090 25093 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93976920 10916999168 72458 33554432000 4194304 4196468 140723125412464 140079118244240 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25100] ppid=25090 vsize=10661132 memory=-6305716087674922112 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25100/stat : 25100 (java) S 25090 25093 21807 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93976921 10916999168 72458 33554432000 4194304 4196468 140723125412464 140079006702320 140079514610306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0

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

/proc/25093/task/25095/stat : 25095 (java) R 25090 25093 21807 0 -1 4202560 18888 0 0 0 243611 11 0 0 20 0 15 0 93976919 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079518838592 140079155950251 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25096] ppid=25090 vsize=10661132 memory=376360 CPUtime=3.52 cores=0,2,4,6
/proc/25093/task/25096/stat : 25096 (java) S 25090 25093 21807 0 -1 1077944384 7240 0 0 0 344 8 0 0 20 0 15 0 93976920 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079121402384 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25097] ppid=25090 vsize=10661132 memory=376360 CPUtime=3.51 cores=0,2,4,6
/proc/25093/task/25097/stat : 25097 (java) S 25090 25093 21807 0 -1 1077944384 9072 0 0 0 341 10 0 0 20 0 15 0 93976920 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079120349840 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25098] ppid=25090 vsize=10661132 memory=376360 CPUtime=3.51 cores=0,2,4,6
/proc/25093/task/25098/stat : 25098 (java) S 25090 25093 21807 0 -1 1077944384 7210 0 0 0 343 8 0 0 20 0 15 0 93976920 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079119296784 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25099] ppid=25090 vsize=10661132 memory=376360 CPUtime=3.51 cores=0,2,4,6
/proc/25093/task/25099/stat : 25099 (java) S 25090 25093 21807 0 -1 1077944384 6594 0 0 0 344 7 0 0 20 0 15 0 93976920 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079118244240 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25100] ppid=25090 vsize=10661132 memory=376360 CPUtime=1.21 cores=0,2,4,6
/proc/25093/task/25100/stat : 25100 (java) S 25090 25093 21807 0 -1 1077944384 8806 0 0 0 112 9 0 0 20 0 15 0 93976921 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079006702320 140079514610306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25101] ppid=25090 vsize=10661132 memory=376360 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25101/stat : 25101 (java) S 25090 25093 21807 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079005648544 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25102] ppid=25090 vsize=10661132 memory=376360 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25102/stat : 25102 (java) S 25090 25093 21807 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079004595440 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25103] ppid=25090 vsize=10661132 memory=376360 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25103/stat : 25103 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079003544016 140079514617755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25104] ppid=25090 vsize=10661132 memory=4140 CPUtime=1 cores=0,2,4,6
/proc/25093/task/25104/stat : 25104 (java) S 25090 25093 21807 0 -1 1077944384 6898 0 0 0 100 0 0 0 20 0 15 0 93976924 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079002491120 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25105] ppid=25090 vsize=10661132 memory=636 CPUtime=0.93 cores=0,2,4,6
/proc/25093/task/25105/stat : 25105 (java) S 25090 25093 21807 0 -1 1077944384 7714 0 0 0 91 2 0 0 20 0 15 0 93976924 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079001438576 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25106] ppid=25090 vsize=10661132 memory=376360 CPUtime=0.4 cores=0,2,4,6
/proc/25093/task/25106/stat : 25106 (java) S 25090 25093 21807 0 -1 1077944384 5167 0 0 0 39 1 0 0 20 0 15 0 93976924 10916999168 94090 33554432000 4194304 4196468 140723125412464 140079000385520 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25107] ppid=25090 vsize=10661132 memory=376360 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25107/stat : 25107 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 94090 33554432000 4194304 4196468 140723125412464 140078999333216 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25108] ppid=25090 vsize=10661132 memory=376360 CPUtime=0.71 cores=0,2,4,6
/proc/25093/task/25108/stat : 25108 (java) S 25090 25093 21807 0 -1 1077944384 1561 0 0 0 34 37 0 0 20 0 15 0 93976925 10916999168 94090 33554432000 4194304 4196468 140723125412464 140078998281264 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
Current children cumulated CPU time: 2454.64 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 376360 KiB

[startup+2502.3 s]
/proc/loadavg: 1.32 1.38 1.40 3/215 25366
/proc/meminfo: memFree=27542776/32770624 swapFree=67108436/67108860
[pid=25093] ppid=25090 vsize=10661132 memory=378408 CPUtime=2514.98 cores=0,2,4,6
/proc/25093/stat : 25093 (java) S 25090 25093 21807 0 -1 1077944320 81524 0 0 0 251419 79 0 0 20 0 15 0 93976919 10916999168 94602 33554432000 4194304 4196468 140723125412464 140723125395008 140079514599159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
/proc/25093/statm: 2665283 94602 3161 1 0 2627263 0
[pid=25093/tid=25095] ppid=25090 vsize=10661132 memory=378408 CPUtime=2496.02 cores=0,2,4,6
/proc/25093/task/25095/stat : 25095 (java) R 25090 25093 21807 0 -1 4202560 19080 0 0 0 249591 11 0 0 20 0 15 0 93976919 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079518838368 140079155949461 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25096] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.64 cores=0,2,4,6
/proc/25093/task/25096/stat : 25096 (java) S 25090 25093 21807 0 -1 1077944384 7247 0 0 0 356 8 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079121402384 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25097] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.64 cores=0,2,4,6
/proc/25093/task/25097/stat : 25097 (java) S 25090 25093 21807 0 -1 1077944384 9151 0 0 0 353 11 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079120349840 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25098] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.64 cores=0,2,4,6
/proc/25093/task/25098/stat : 25098 (java) S 25090 25093 21807 0 -1 1077944384 7263 0 0 0 355 9 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079119296784 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25099] ppid=25090 vsize=10661132 memory=1780 CPUtime=3.63 cores=0,2,4,6
/proc/25093/task/25099/stat : 25099 (java) S 25090 25093 21807 0 -1 1077944384 6998 0 0 0 356 7 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079118244240 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25100] ppid=25090 vsize=10661132 memory=378408 CPUtime=1.26 cores=0,2,4,6
/proc/25093/task/25100/stat : 25100 (java) S 25090 25093 21807 0 -1 1077944384 8980 0 0 0 116 10 0 0 20 0 15 0 93976921 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079006702320 140079514610306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25101] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25101/stat : 25101 (java) S 25090 25093 21807 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079005648544 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25102] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25102/stat : 25102 (java) S 25090 25093 21807 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079004595440 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25103] ppid=25090 vsize=10661132 memory=8068 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25103/stat : 25103 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079003544016 140079514617755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25104] ppid=25090 vsize=10661132 memory=872 CPUtime=1 cores=0,2,4,6
/proc/25093/task/25104/stat : 25104 (java) S 25090 25093 21807 0 -1 1077944384 6900 0 0 0 100 0 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079002491120 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25105] ppid=25090 vsize=10661132 memory=8068 CPUtime=0.93 cores=0,2,4,6
/proc/25093/task/25105/stat : 25105 (java) S 25090 25093 21807 0 -1 1077944384 7716 0 0 0 91 2 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079001438576 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25106] ppid=25090 vsize=10661132 memory=378408 CPUtime=0.41 cores=0,2,4,6
/proc/25093/task/25106/stat : 25106 (java) S 25090 25093 21807 0 -1 1077944384 5169 0 0 0 40 1 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079000385520 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25107] ppid=25090 vsize=10661132 memory=27248 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25107/stat : 25107 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140078999333216 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25108] ppid=25090 vsize=10661132 memory=378408 CPUtime=0.72 cores=0,2,4,6
/proc/25093/task/25108/stat : 25108 (java) S 25090 25093 21807 0 -1 1077944384 1578 0 0 0 35 37 0 0 20 0 15 0 93976925 10916999168 94602 33554432000 4194304 4196468 140723125412464 140078998281264 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
Current children cumulated CPU time: 2514.98 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 378408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.3 s]
/proc/loadavg: 1.37 1.39 1.40 3/215 25366
/proc/meminfo: memFree=27546240/32770624 swapFree=67108436/67108860
[pid=25093] ppid=25090 vsize=10661132 memory=378408 CPUtime=2520.01 cores=0,2,4,6
/proc/25093/stat : 25093 (java) S 25090 25093 21807 0 -1 1077944320 81534 0 0 0 251922 79 0 0 20 0 15 0 93976919 10916999168 94602 33554432000 4194304 4196468 140723125412464 140723125395008 140079514599159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
/proc/25093/statm: 2665283 94602 3161 1 0 2627263 0
[pid=25093/tid=25095] ppid=25090 vsize=10661132 memory=378408 CPUtime=2501 cores=0,2,4,6
/proc/25093/task/25095/stat : 25095 (java) R 25090 25093 21807 0 -1 4202560 19086 0 0 0 250089 11 0 0 20 0 15 0 93976919 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079518838592 140079155949419 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25096] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.65 cores=0,2,4,6
/proc/25093/task/25096/stat : 25096 (java) S 25090 25093 21807 0 -1 1077944384 7247 0 0 0 357 8 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079121402384 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25097] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.65 cores=0,2,4,6
/proc/25093/task/25097/stat : 25097 (java) S 25090 25093 21807 0 -1 1077944384 9151 0 0 0 354 11 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079120349840 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25098] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.65 cores=0,2,4,6
/proc/25093/task/25098/stat : 25098 (java) S 25090 25093 21807 0 -1 1077944384 7263 0 0 0 356 9 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079119296784 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25099] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.64 cores=0,2,4,6
/proc/25093/task/25099/stat : 25099 (java) S 25090 25093 21807 0 -1 1077944384 6998 0 0 0 357 7 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079118244240 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25100] ppid=25090 vsize=10661132 memory=378408 CPUtime=1.26 cores=0,2,4,6
/proc/25093/task/25100/stat : 25100 (java) S 25090 25093 21807 0 -1 1077944384 8982 0 0 0 116 10 0 0 20 0 15 0 93976921 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079006702320 140079514610306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25101] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25101/stat : 25101 (java) S 25090 25093 21807 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079005648544 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25102] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25102/stat : 25102 (java) S 25090 25093 21807 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079004595440 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25103] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25103/stat : 25103 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079003544016 140079514617755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25104] ppid=25090 vsize=10661132 memory=378408 CPUtime=1 cores=0,2,4,6
/proc/25093/task/25104/stat : 25104 (java) S 25090 25093 21807 0 -1 1077944384 6900 0 0 0 100 0 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079002491120 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25105] ppid=25090 vsize=10661132 memory=378408 CPUtime=0.93 cores=0,2,4,6
/proc/25093/task/25105/stat : 25105 (java) S 25090 25093 21807 0 -1 1077944384 7716 0 0 0 91 2 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079001438576 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25106] ppid=25090 vsize=10661132 memory=1780 CPUtime=0.41 cores=0,2,4,6
/proc/25093/task/25106/stat : 25106 (java) S 25090 25093 21807 0 -1 1077944384 5169 0 0 0 40 1 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079000385520 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25107] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25107/stat : 25107 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140078999333216 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25108] ppid=25090 vsize=10661132 memory=27248 CPUtime=0.72 cores=0,2,4,6
/proc/25093/task/25108/stat : 25108 (java) S 25090 25093 21807 0 -1 1077944384 1580 0 0 0 35 37 0 0 20 0 15 0 93976925 10916999168 94602 33554432000 4194304 4196468 140723125412464 140078998281264 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 378408 KiB

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

[startup+2507.33 s]
# the end of solver process 25093 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.26 s, system=0.799391 s

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

[startup+2507.3 s]
/proc/loadavg: 1.37 1.39 1.40 3/215 25366
/proc/meminfo: memFree=27546240/32770624 swapFree=67108436/67108860
[pid=25093] ppid=25090 vsize=10661132 memory=378408 CPUtime=2520.01 cores=0,2,4,6
/proc/25093/stat : 25093 (java) S 25090 25093 21807 0 -1 1077944320 81534 0 0 0 251922 79 0 0 20 0 15 0 93976919 10916999168 94602 33554432000 4194304 4196468 140723125412464 140723125395008 140079514599159 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
/proc/25093/statm: 2665283 94602 3161 1 0 2627263 0
[pid=25093/tid=25095] ppid=25090 vsize=10661132 memory=378408 CPUtime=2501 cores=0,2,4,6
/proc/25093/task/25095/stat : 25095 (java) R 25090 25093 21807 0 -1 4202560 19086 0 0 0 250089 11 0 0 20 0 15 0 93976919 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079518838592 140079155949419 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25096] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.65 cores=0,2,4,6
/proc/25093/task/25096/stat : 25096 (java) S 25090 25093 21807 0 -1 1077944384 7247 0 0 0 357 8 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079121402384 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25097] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.65 cores=0,2,4,6
/proc/25093/task/25097/stat : 25097 (java) S 25090 25093 21807 0 -1 1077944384 9151 0 0 0 354 11 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079120349840 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25098] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.65 cores=0,2,4,6
/proc/25093/task/25098/stat : 25098 (java) S 25090 25093 21807 0 -1 1077944384 7263 0 0 0 356 9 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079119296784 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25099] ppid=25090 vsize=10661132 memory=378408 CPUtime=3.64 cores=0,2,4,6
/proc/25093/task/25099/stat : 25099 (java) S 25090 25093 21807 0 -1 1077944384 6998 0 0 0 357 7 0 0 20 0 15 0 93976920 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079118244240 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25100] ppid=25090 vsize=10661132 memory=378408 CPUtime=1.26 cores=0,2,4,6
/proc/25093/task/25100/stat : 25100 (java) S 25090 25093 21807 0 -1 1077944384 8982 0 0 0 116 10 0 0 20 0 15 0 93976921 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079006702320 140079514610306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25101] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25101/stat : 25101 (java) S 25090 25093 21807 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079005648544 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25102] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25102/stat : 25102 (java) S 25090 25093 21807 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 93976922 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079004595440 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25103] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25103/stat : 25103 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079003544016 140079514617755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25104] ppid=25090 vsize=10661132 memory=378408 CPUtime=1 cores=0,2,4,6
/proc/25093/task/25104/stat : 25104 (java) S 25090 25093 21807 0 -1 1077944384 6900 0 0 0 100 0 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079002491120 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25105] ppid=25090 vsize=10661132 memory=378408 CPUtime=0.93 cores=0,2,4,6
/proc/25093/task/25105/stat : 25105 (java) S 25090 25093 21807 0 -1 1077944384 7716 0 0 0 91 2 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079001438576 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25106] ppid=25090 vsize=10661132 memory=1780 CPUtime=0.41 cores=0,2,4,6
/proc/25093/task/25106/stat : 25106 (java) S 25090 25093 21807 0 -1 1077944384 5169 0 0 0 40 1 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140079000385520 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25107] ppid=25090 vsize=10661132 memory=378408 CPUtime=0 cores=0,2,4,6
/proc/25093/task/25107/stat : 25107 (java) S 25090 25093 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93976924 10916999168 94602 33554432000 4194304 4196468 140723125412464 140078999333216 140079514609365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
[pid=25093/tid=25108] ppid=25090 vsize=10661132 memory=27248 CPUtime=0.72 cores=0,2,4,6
/proc/25093/task/25108/stat : 25108 (java) S 25090 25093 21807 0 -1 1077944384 1580 0 0 0 35 37 0 0 20 0 15 0 93976925 10916999168 94602 33554432000 4194304 4196468 140723125412464 140078998281264 140079514610306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10330112 140723125417077 140723125417225 140723125417225 140723125419983 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 378408 KiB

Child status: 143
Real time (s): 2507.33
CPU time (s): 2520.06
CPU user time (s): 2519.26
CPU system time (s): 0.799391
CPU usage (%): 100.508
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 396988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.26
system time used= 0.799391
maximum resident set size= 401072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81969
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 89479
involuntary context switches= 5736


# summary of solver processes directly reported to runsolver:
#   pid: 25093
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2519.26
#   total CPU system time (s): 0.799391

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9497 second user time and 23.1913 second system time

The end

Launcher Data

Begin job on node137 at 2018-07-28 09:48:58
IDJOB=4298533
IDBENCH=141153
IDSOLVER=2762
FILE ID=node137/4298533-1532764137
RUNJOBID= node137-1532739149-21838
PBS_JOBID= 21022437
Free space on /tmp= 48156 MiB

SOLVER NAME= GG's minicp 2018-04-29
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay500_c18.xml
COMMAND LINE= java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298533-1532764137/watcher-4298533-1532764137 -o /tmp/evaluation-result-4298533-1532764137/solver-4298533-1532764137 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532739149-21838 --watchdog 2580  java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298533-1532764137.xml

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

MD5SUM BENCH= d1d7e4f351cab0858660dafd89ccc193
RANDOM SEED=1479079547

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27728544 kB
MemAvailable:   31550484 kB
Buffers:          184312 kB
Cached:          3870632 kB
SwapCached:           32 kB
Active:          2174512 kB
Inactive:        2317656 kB
Active(anon):     384564 kB
Inactive(anon):    80056 kB
Active(file):    1789948 kB
Inactive(file):  2237600 kB
Unevictable:        7424 kB
Mlocked:            7424 kB
SwapTotal:      67108860 kB
SwapFree:       67108436 kB
Dirty:              1532 kB
Writeback:             0 kB
AnonPages:        390636 kB
Mapped:            52436 kB
Shmem:             25052 kB
Slab:             248524 kB
SReclaimable:     220452 kB
SUnreclaim:        28072 kB
KernelStack:        3792 kB
PageTables:         6000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1178648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    305152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48156 MiB
End job on node137 at 2018-07-28 10:30:45