Trace number 4309266

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2018-08-14SAT (TO)908652 19932.5 2520.32

General information on the benchmark

NameAuction/Auction-cnt/
Auction-cnt-decay400_c18.xml
MD5SUMef5bf96e0ba9cc2c7a758eef92479658
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2173086
Best CPU time to get the best result obtained on this benchmark19976.7
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints400
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree40
Distribution of variable degrees[{"degree":2,"count":289},{"degree":3,"count":388},{"degree":4,"count":306},{"degree":5,"count":228},{"degree":6,"count":177},{"degree":7,"count":144},{"degree":8,"count":94},{"degree":9,"count":75},{"degree":10,"count":72},{"degree":11,"count":50},{"degree":12,"count":41},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":25},{"degree":16,"count":8},{"degree":17,"count":7},{"degree":18,"count":9},{"degree":19,"count":3},{"degree":20,"count":7},{"degree":21,"count":5},{"degree":22,"count":3},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":29,"count":1},{"degree":32,"count":1},{"degree":40,"count":1}]
Minimum constraint arity12
Maximum constraint arity37
Distribution of constraint arities[{"arity":12,"count":1},{"arity":13,"count":2},{"arity":14,"count":5},{"arity":15,"count":4},{"arity":16,"count":5},{"arity":17,"count":17},{"arity":18,"count":18},{"arity":19,"count":18},{"arity":20,"count":18},{"arity":21,"count":33},{"arity":22,"count":38},{"arity":23,"count":36},{"arity":24,"count":35},{"arity":25,"count":32},{"arity":26,"count":31},{"arity":27,"count":21},{"arity":28,"count":23},{"arity":29,"count":10},{"arity":30,"count":16},{"arity":31,"count":8},{"arity":32,"count":12},{"arity":33,"count":4},{"arity":34,"count":4},{"arity":35,"count":5},{"arity":36,"count":3},{"arity":37,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":400}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.66/0.56	c version: 2018-08-14
0.66/0.56	c seed: 914643773
0.66/0.56	c timeout: 20160
0.66/0.56	c memlimit: 22000
0.66/0.56	c nbcore: 8
0.66/0.59	c Parsing instance...
2.38/1.14	c Parsing done, starting search...
14.50/6.68	o 7362
14.50/6.68	o 14120
15.26/6.79	o 19173
15.26/6.79	o 25931
15.26/6.79	o 33324
15.26/6.79	o 45135
15.26/6.79	o 51893
15.26/6.79	o 57642
15.26/6.80	o 64400
15.26/6.80	o 69453
15.26/6.80	o 76211
15.26/6.80	o 79219
16.08/6.83	o 82985
16.08/6.83	o 94796
16.08/6.83	o 97804
16.08/6.83	o 100595
16.08/6.84	o 101554
16.08/6.84	o 104562
16.08/6.84	o 111002
16.08/6.84	o 114010
16.08/6.84	o 115682
16.08/6.86	o 119432
16.08/6.86	o 122440
16.08/6.86	o 127152
16.08/6.86	o 130160
16.08/6.86	o 132840
16.08/6.86	o 134398
16.08/6.86	o 135468
16.08/6.86	o 138476
16.08/6.88	o 141156
16.08/6.88	o 142109
16.08/6.88	o 143667
16.08/6.88	o 147745
16.08/6.88	o 150425
16.08/6.89	o 150753
16.08/6.89	o 153433
16.08/6.90	o 156929
16.86/6.91	o 159937
16.86/6.91	o 162617
16.86/6.91	o 163615
16.86/6.91	o 165645
16.86/6.91	o 168325
16.86/6.92	o 174829
16.86/6.92	o 177509
16.86/6.92	o 178507
16.86/6.92	o 180517
16.86/6.92	o 181515
16.86/6.94	o 183624
16.86/6.94	o 186251
16.86/6.94	o 189747
16.86/6.94	o 192427
16.86/6.94	o 192755
16.86/6.95	o 195435
16.86/6.95	o 196433
16.86/6.95	o 197205
16.86/6.95	o 199885
16.86/6.95	o 202343
16.86/6.96	o 205181
16.86/6.96	o 207861
16.86/6.96	o 210319
16.86/6.96	o 210622
16.86/6.96	o 211620
16.86/6.97	o 213460
16.86/6.97	o 216140
16.86/6.97	o 218598
16.86/6.97	o 219596
16.86/6.97	o 219924
16.86/6.98	o 220146
16.86/6.98	o 222604
16.86/6.99	o 225353
16.86/6.99	o 226351
16.86/6.99	o 228033
16.86/6.99	o 229031
16.86/6.99	o 231041
16.86/6.99	o 232039
16.86/6.99	o 232330
17.60/7.00	o 232926
17.60/7.00	o 234186
17.60/7.00	o 237194
17.60/7.00	o 237638
17.60/7.00	o 240646
17.60/7.00	o 243326
17.60/7.00	o 244324
17.60/7.00	o 245784
17.60/7.00	o 246782
17.60/7.01	o 248283
17.60/7.01	o 249281
17.60/7.01	o 249282
17.60/7.01	o 251740
17.60/7.01	o 252068
17.60/7.01	o 252249
17.60/7.01	o 252290
17.60/7.03	o 254748
17.60/7.03	o 255746
17.60/7.03	o 255978
17.60/7.03	o 256306
17.60/7.03	o 256487
17.60/7.03	o 258986
17.60/7.03	o 259500
17.60/7.03	o 259944
17.60/7.05	o 260272
17.60/7.06	o 262952
17.60/7.06	o 265451
17.60/7.06	o 266449
17.60/7.06	o 267375
17.60/7.06	o 268259
17.60/7.08	o 268589
17.60/7.08	o 271088
17.60/7.08	o 271572
17.60/7.08	o 271577
17.60/7.09	o 274585
17.60/7.09	o 275029
17.60/7.09	o 278037
17.60/7.10	o 280536
17.60/7.10	o 280717
17.60/7.10	o 283216
18.43/7.11	o 284214
18.43/7.12	o 287040
18.43/7.12	o 290492
18.43/7.12	o 293500
18.43/7.12	o 296180
18.43/7.13	o 298679
18.43/7.13	o 299677
18.43/7.13	o 301028
18.43/7.13	o 302026
18.43/7.15	o 303302
18.43/7.15	o 305651
18.43/7.15	o 305760
18.43/7.15	o 308109
18.43/7.15	o 308768
18.43/7.15	o 311117
18.43/7.16	o 313011
18.43/7.16	o 313964
18.43/7.16	o 316463
18.43/7.16	o 316972
18.43/7.16	o 319471
18.43/7.17	o 321820
18.43/7.17	o 322818
18.43/7.17	o 323885
18.43/7.18	o 325736
18.43/7.18	o 326400
18.43/7.18	o 327172
18.43/7.18	o 327353
18.43/7.18	o 329852
18.43/7.18	o 332201
18.43/7.19	o 332549
18.43/7.19	o 332833
18.43/7.19	o 335182
18.43/7.19	o 335670
18.43/7.19	o 336802
18.43/7.19	o 338653
18.43/7.21	o 338986
18.43/7.21	o 342438
18.43/7.21	o 345118
18.43/7.21	o 347467
18.43/7.21	o 347617
18.43/7.21	o 349966
18.43/7.21	o 350625
18.43/7.22	o 352974
18.43/7.22	o 353972
19.26/7.23	o 354082
19.26/7.23	o 356581
19.26/7.23	o 358930
19.26/7.23	o 359928
19.26/7.25	o 361935
19.26/7.25	o 362933
19.26/7.26	o 363342
19.26/7.26	o 363492
19.26/7.26	o 365841
19.26/7.27	o 366497
19.26/7.27	o 368846
19.26/7.27	o 369844
19.26/7.27	o 371497
19.26/7.28	o 374347
19.26/7.28	o 376846
19.26/7.28	o 379195
19.26/7.30	o 379701
19.26/7.30	o 379851
19.26/7.30	o 382200
19.26/7.30	o 382403
19.26/7.30	o 384902
19.26/7.31	o 385408
19.26/7.31	o 387907
19.26/7.31	o 390256
19.26/7.32	o 391254
19.26/7.32	o 391349
20.18/7.35	o 391458
20.18/7.37	o 391553
20.18/7.37	o 392456
20.18/7.37	o 392551
20.18/7.38	o 394109
20.18/7.38	o 394204
20.18/7.38	o 395168
20.18/7.38	o 395730
20.18/7.38	o 396496
20.18/7.39	o 397092
20.18/7.39	o 397173
20.18/7.39	o 398054
20.18/7.39	o 399964
20.18/7.39	o 402313
20.18/7.39	o 402463
20.18/7.39	o 404812
20.18/7.39	o 404907
20.78/7.40	o 405810
20.78/7.40	o 405905
20.78/7.41	o 406110
20.78/7.41	o 406692
20.78/7.41	o 407254
20.78/7.41	o 408020
20.78/7.41	o 410519
20.78/7.41	o 412868
20.78/7.41	o 412963
20.78/7.41	o 413866
20.78/7.41	o 413961
20.78/7.42	o 414038
20.78/7.42	o 414243
20.78/7.42	o 414825
20.78/7.42	o 416153
20.78/7.42	o 417324
20.78/7.42	o 417886
20.78/7.42	o 418652
20.78/7.42	o 421001
20.78/7.42	o 421096
20.78/7.42	o 421999
20.78/7.42	o 422094
20.78/7.43	o 422626
20.78/7.43	o 422721
20.78/7.43	o 422962
20.78/7.43	o 423924
20.78/7.43	o 424506
20.78/7.43	o 425834
20.78/7.43	o 427005
20.78/7.43	o 428333
20.78/7.43	o 429354
20.78/7.43	o 430682
20.78/7.43	o 430777
21.60/7.52	o 430914
21.60/7.52	o 431009
21.60/7.52	o 431680
21.60/7.52	o 431775
21.60/7.52	o 434048
21.60/7.52	o 434143
21.60/7.52	o 434682
21.60/7.52	o 434763
21.60/7.52	o 435491
21.60/7.52	o 435644
21.60/7.52	o 436895
21.60/7.52	o 436898
21.60/7.52	o 439903
21.60/7.52	o 442402
21.60/7.52	o 444751
21.60/7.52	o 444846
21.60/7.53	o 444954
21.60/7.53	o 447453
21.60/7.53	o 447548
21.60/7.53	o 449802
21.60/7.53	o 449897
21.60/7.53	o 451479
21.60/7.53	o 452807
21.60/7.53	o 452902
21.60/7.53	o 453039
21.60/7.53	o 453134
21.60/7.53	o 453805
21.60/7.53	o 453900
21.60/7.54	o 454277
21.60/7.57	o 454372
21.60/7.57	o 454817
21.60/7.57	o 455323
21.60/7.57	o 455473
21.60/7.57	o 457822
21.60/7.57	o 458294
21.60/7.57	o 458389
21.60/7.57	o 458820
21.60/7.57	o 458915
21.60/7.57	o 459292
21.60/7.57	o 459387
21.60/7.57	o 459437
21.60/7.57	o 459532
21.60/7.57	o 459963
21.60/7.57	o 460435
21.60/7.58	o 460530
21.60/7.58	o 461237
21.60/7.58	o 461332
21.60/7.58	o 461709
21.60/7.58	o 461804
21.60/7.58	o 462235
21.60/7.59	o 462707
21.60/7.59	o 462802
21.60/7.59	o 462837
21.60/7.59	o 463603
21.60/7.59	o 463698
21.60/7.59	o 464075
21.60/7.59	o 464170
21.60/7.59	o 464601
21.60/7.60	o 465044
21.60/7.60	o 465073
22.31/7.60	o 465218
22.31/7.60	o 465806
22.31/7.60	o 466368
22.31/7.60	o 466840
22.31/7.61	o 466949
22.31/7.61	o 467421
22.31/7.61	o 467511
22.31/7.61	o 467983
22.31/7.61	o 468231
22.31/7.61	o 468793
22.31/7.61	o 469587
22.31/7.61	o 470730
22.31/7.61	o 471292
22.31/7.61	o 471764
22.31/7.61	o 472744
22.31/7.61	o 473887
22.31/7.61	o 474359
22.31/7.62	o 474449
22.31/7.62	o 474921
22.31/7.62	o 475556
22.31/7.62	o 476118
22.31/7.62	o 476659
22.31/7.62	o 476884
22.31/7.62	o 477865
22.31/7.62	o 479008
22.31/7.62	o 479570
22.31/7.62	o 480042
22.31/7.62	o 481022
22.31/7.62	o 481494
22.31/7.62	o 481584
22.31/7.62	o 482056
22.31/7.62	o 482165
22.31/7.63	o 482727
22.31/7.63	o 483199
22.31/7.63	o 483431
22.31/7.63	o 483526
22.31/7.63	o 484165
22.31/7.63	o 484637
22.31/7.63	o 484732
22.31/7.64	o 484743
22.31/7.64	o 486395
22.31/7.64	o 486867
22.31/7.64	o 487538
22.31/7.64	o 488010
22.31/7.64	o 488100
22.31/7.64	o 488572
22.31/7.65	o 488672
22.31/7.65	o 489144
22.31/7.65	o 489239
22.31/7.65	o 489338
22.31/7.65	o 489428
22.31/7.65	o 489900
22.31/7.66	o 490567
22.31/7.66	o 490752
22.31/7.66	o 491895
22.31/7.66	o 493101
22.31/7.66	o 494244
22.31/7.66	o 494716
22.31/7.66	o 494811
22.31/7.66	o 495242
22.31/7.66	o 495714
22.31/7.66	o 495809
22.31/7.67	o 495977
22.31/7.67	o 496072
22.31/7.67	o 497121
22.31/7.67	o 497593
22.31/7.67	o 498264
22.31/7.67	o 498736
22.31/7.67	o 499470
22.31/7.67	o 499847
22.31/7.67	o 500613
22.31/7.67	o 501085
22.31/7.67	o 501180
22.31/7.67	o 501348
22.31/7.67	o 501443
22.31/7.67	o 501611
22.31/7.67	o 502083
22.31/7.68	o 502178
22.31/7.68	o 502346
22.31/7.68	o 502441
22.31/7.68	o 502766
22.31/7.68	o 503238
22.31/7.68	o 503909
22.31/7.69	o 504381
22.31/7.69	o 504476
22.31/7.69	o 504907
22.31/7.69	o 505002
22.31/7.69	o 505379
22.31/7.69	o 505474
22.31/7.69	o 505578
22.31/7.69	o 507212
22.31/7.69	o 507684
22.31/7.69	o 508008
22.31/7.69	o 508570
23.10/7.70	o 509336
23.10/7.70	o 509808
23.10/7.70	o 510479
23.10/7.70	o 510951
23.10/7.71	o 511046
23.10/7.71	o 511477
23.10/7.71	o 511572
23.10/7.71	o 511949
23.10/7.71	o 512044
23.10/7.71	o 512212
23.10/7.72	o 512506
23.10/7.72	o 512523
23.10/7.72	o 512801
23.10/7.72	o 513596
23.10/7.72	o 514068
23.10/7.72	o 514158
23.10/7.72	o 514630
23.10/7.72	o 514862
23.10/7.72	o 516005
23.10/7.72	o 516567
23.10/7.72	o 517039
23.10/7.72	o 517211
23.10/7.72	o 517773
23.10/7.72	o 518245
23.10/7.72	o 518354
23.10/7.72	o 518826
23.10/7.72	o 518916
23.10/7.72	o 519388
23.10/7.73	o 519860
23.10/7.73	o 520332
23.10/7.73	o 520427
23.10/7.73	o 520858
23.10/7.73	o 520953
23.10/7.73	o 521312
23.10/7.73	o 521330
23.10/7.73	o 521425
23.10/7.73	o 522126
23.10/7.74	o 522598
23.10/7.74	o 522705
23.10/7.74	o 522818
23.10/7.74	o 524250
23.10/7.74	o 524647
23.10/7.74	o 524722
23.10/7.74	o 525007
23.10/7.74	o 525114
23.10/7.75	o 525586
23.10/7.75	o 526659
23.10/7.75	o 526741
23.10/7.75	o 527213
23.10/7.75	o 528060
23.10/7.75	o 528532
23.10/7.75	o 528622
23.10/7.75	o 529094
23.10/7.76	o 530409
23.10/7.76	o 530971
23.10/7.76	o 531443
23.10/7.76	o 531552
23.10/7.76	o 532024
23.10/7.76	o 532114
23.10/7.76	o 532586
23.10/7.76	o 533216
23.10/7.76	o 533311
23.10/7.76	o 533688
23.10/7.76	o 533783
23.10/7.77	o 534214
23.10/7.77	o 534686
23.10/7.77	o 534781
23.10/7.79	o 535375
23.10/7.79	o 535470
23.10/7.79	o 536183
23.10/7.79	o 536260
23.10/7.79	o 537204
23.10/7.79	o 537766
23.10/7.79	o 538532
23.10/7.79	o 538627
23.10/7.79	o 539004
23.10/7.79	o 539099
23.10/7.79	o 539596
23.10/7.79	o 539673
23.84/7.80	o 540802
23.84/7.80	o 541945
23.84/7.80	o 542631
23.84/7.80	o 543193
23.84/7.80	o 543959
23.84/7.80	o 545102
23.84/7.80	o 545574
23.84/7.80	o 545669
23.84/7.80	o 546100
23.84/7.80	o 546195
23.84/7.80	o 546572
23.84/7.80	o 546667
23.84/7.81	o 547426
23.84/7.81	o 547898
23.84/7.81	o 548569
23.84/7.81	o 549041
23.84/7.81	o 549775
23.84/7.81	o 550152
23.84/7.82	o 550918
23.84/7.82	o 551390
23.84/7.82	o 551485
23.84/7.82	o 551622
23.84/7.82	o 551717
23.84/7.82	o 551916
23.84/7.82	o 552388
23.84/7.82	o 552483
23.84/7.83	o 552558
23.84/7.83	o 552653
23.84/7.83	o 553030
23.84/7.83	o 553125
23.84/7.83	o 553622
23.84/7.83	o 554094
23.84/7.83	o 554370
23.84/7.83	o 554413
23.84/7.83	o 554507
23.84/7.83	o 554655
23.84/7.83	o 555636
23.84/7.83	o 556779
23.84/7.84	o 557251
23.84/7.84	o 557313
23.84/7.84	o 557785
23.84/7.84	o 557894
23.84/7.84	o 558456
23.84/7.85	o 558928
23.84/7.85	o 559128
23.84/7.85	o 559600
23.84/7.85	o 559695
23.84/7.85	o 560126
23.84/7.85	o 560221
23.84/7.85	o 560598
23.84/7.85	o 560693
23.84/7.85	o 561234
23.84/7.86	o 561706
23.84/7.86	o 562377
23.84/7.86	o 562849
23.84/7.86	o 562939
23.84/7.86	o 563411
23.84/7.86	o 564139
23.84/7.86	o 565282
23.84/7.86	o 565844
23.84/7.86	o 566316
23.84/7.86	o 567103
23.84/7.86	o 568246
23.84/7.86	o 569512
23.84/7.86	o 570655
23.84/7.87	o 570938
23.84/7.87	o 571127
23.84/7.87	o 571410
23.84/7.87	o 571643
23.84/7.87	o 572115
23.84/7.87	o 572205
23.84/7.87	o 572677
23.84/7.87	o 573279
23.84/7.87	o 573751
23.84/7.87	o 574422
23.84/7.87	o 574894
23.84/7.87	o 574996
23.84/7.87	o 575091
23.84/7.88	o 576692
23.84/7.88	o 577835
23.84/7.88	o 577937
23.84/7.88	o 578643
23.84/7.88	o 578745
23.84/7.88	o 579849
23.84/7.88	o 580992
23.84/7.88	o 581094
23.84/7.89	o 581364
23.84/7.89	o 582221
23.84/7.89	o 582345
23.84/7.89	o 583488
23.84/7.89	o 584050
23.84/7.89	o 584522
23.84/7.90	o 584895
23.84/7.90	o 585367
23.84/7.90	o 585476
23.84/7.90	o 586038
23.84/7.90	o 586510
23.84/7.90	o 586616
23.84/7.90	o 586901
23.84/7.90	o 587410
23.84/7.90	o 587882
23.84/7.90	o 588553
23.84/7.90	o 589025
24.61/7.90	o 589082
24.61/7.90	o 589184
24.61/7.90	o 589279
24.61/7.90	o 589680
24.61/7.90	o 589775
24.61/7.91	o 590242
24.61/7.91	o 590337
24.61/7.91	o 591008
24.61/7.91	o 591103
24.61/7.91	o 592214
24.61/7.91	o 593357
24.61/7.91	o 593452
24.61/7.91	o 593829
24.61/7.91	o 593924
24.61/7.91	o 593959
24.61/7.91	o 594598
24.61/7.91	o 594692
24.61/7.91	o 595636
24.61/7.91	o 596198
24.61/7.92	o 596964
24.61/7.92	o 597041
24.61/7.92	o 597189
24.61/7.92	o 598170
24.61/7.92	o 599313
24.61/7.92	o 599785
24.61/7.92	o 599880
24.61/7.92	o 599887
24.61/7.92	o 599982
24.61/7.92	o 600082
24.61/7.92	o 600529
24.61/7.92	o 601168
24.61/7.92	o 601262
24.61/7.92	o 602206
24.61/7.93	o 602391
24.61/7.93	o 603534
24.61/7.93	o 604740
24.61/7.93	o 605883
24.61/7.93	o 606355
24.61/7.93	o 606457
24.61/7.93	o 606552
24.61/7.93	o 606881
24.61/7.93	o 606976
24.61/7.93	o 607353
24.61/7.94	o 607448
24.61/7.94	o 607541
24.61/7.98	o 607790
24.61/7.98	o 608262
24.61/7.98	o 608357
24.61/7.99	o 608739
24.61/7.99	o 609211
24.61/7.99	o 609460
24.61/7.99	o 609584
24.61/7.99	o 610165
24.61/7.99	o 610727
24.61/7.99	o 611199
24.61/8.00	o 611697
24.61/8.00	o 611922
24.61/8.00	o 612903
24.61/8.00	o 614046
24.61/8.00	o 615312
24.61/8.00	o 616455
24.61/8.00	o 616927
24.61/8.00	o 617017
24.61/8.00	o 617489
25.45/8.02	o 617741
25.45/8.02	o 617836
25.45/8.02	o 618068
25.45/8.02	o 618118
25.45/8.02	o 618884
25.45/8.02	o 618979
25.45/8.02	o 618986
25.45/8.02	o 619081
25.45/8.02	o 619356
25.45/8.02	o 619458
25.45/8.02	o 619553
25.45/8.03	o 619582
25.45/8.03	o 619677
25.45/8.03	o 620054
25.45/8.03	o 620149
25.45/8.03	o 620164
25.45/8.03	o 620259
25.45/8.03	o 620898
25.45/8.03	o 621225
25.45/8.03	o 622041
25.45/8.03	o 622513
25.45/8.03	o 622608
25.45/8.03	o 622615
25.45/8.03	o 622710
25.45/8.05	o 622995
25.45/8.05	o 623467
25.45/8.05	o 623569
25.45/8.05	o 623597
25.45/8.05	o 624311
25.45/8.05	o 624413
25.45/8.05	o 624638
25.45/8.05	o 625454
25.45/8.05	o 625556
25.45/8.05	o 625926
25.45/8.05	o 626028
25.45/8.05	o 626152
25.45/8.06	o 626624
25.45/8.06	o 626652
25.45/8.06	o 627124
25.45/8.06	o 627795
25.45/8.06	o 628267
25.45/8.06	o 628611
25.45/8.06	o 629083
25.45/8.06	o 629185
25.45/8.06	o 629280
25.45/8.09	o 629550
25.45/8.09	o 629652
25.45/8.09	o 629747
26.20/8.10	o 629790
26.20/8.11	o 629840
26.20/8.11	o 630032
26.20/8.11	o 630134
26.20/8.11	o 630504
26.20/8.11	o 630606
26.20/8.11	o 630701
26.20/8.11	o 631004
26.20/8.11	o 631675
26.20/8.11	o 632147
26.20/8.11	o 632491
26.20/8.11	o 632963
26.20/8.11	o 633058
26.20/8.11	o 633065
26.20/8.11	o 633160
26.20/8.12	o 633189
26.20/8.12	o 633661
26.20/8.12	o 633763
26.20/8.12	o 634832
26.20/8.12	o 635648
26.20/8.12	o 635750
26.20/8.12	o 636120
26.20/8.12	o 636222
26.20/8.12	o 636317
26.20/8.17	o 636373
26.20/8.17	o 636423
26.20/8.17	o 637189
26.20/8.17	o 637661
26.20/8.17	o 637756
26.20/8.17	o 637763
26.20/8.17	o 637858
26.20/8.18	o 638146
26.20/8.18	o 638248
26.20/8.18	o 638343
26.20/8.19	o 638668
26.20/8.19	o 639140
26.20/8.19	o 639235
26.20/8.19	o 639582
26.20/8.19	o 639677
26.20/8.19	o 640054
26.20/8.19	o 640149
26.20/8.19	o 640156
26.20/8.19	o 640251
26.20/8.20	o 640310
26.20/8.20	o 640408
26.20/8.20	o 640752
26.20/8.20	o 641224
26.20/8.20	o 641821
26.20/8.20	o 641824
26.20/8.20	o 642549
26.20/8.20	o 642599
26.20/8.20	o 643365
26.20/8.20	o 643513
26.20/8.21	o 644279
26.20/8.21	o 644431
26.20/8.21	o 644496
26.20/8.21	o 644594
26.20/8.21	o 645410
26.20/8.21	o 645972
26.20/8.21	o 646738
26.20/8.21	o 647210
26.20/8.21	o 647312
27.15/8.22	o 647407
27.15/8.22	o 647830
27.15/8.22	o 647932
27.15/8.22	o 648027
27.15/8.22	o 648302
27.15/8.22	o 648397
27.15/8.22	o 648404
27.15/8.22	o 648499
27.15/8.22	o 648646
27.15/8.22	o 648748
27.15/8.22	o 649118
27.15/8.22	o 649220
27.15/8.23	o 649315
27.15/8.24	o 649786
27.15/8.24	o 649881
27.15/8.24	o 649888
27.15/8.24	o 649983
27.15/8.24	o 650137
27.15/8.24	o 650609
27.15/8.24	o 650711
27.15/8.25	o 650953
27.15/8.25	o 651055
27.15/8.25	o 651425
27.15/8.25	o 651527
27.15/8.25	o 651622
27.15/8.25	o 651747
27.15/8.25	o 651849
27.15/8.25	o 651944
27.15/8.25	o 652257
27.15/8.25	o 652352
27.15/8.25	o 652819
27.15/8.26	o 652914
27.15/8.26	o 653573
27.15/8.26	o 654135
27.15/8.26	o 654716
27.15/8.26	o 655278
27.15/8.26	o 655373
27.15/8.26	o 655414
27.15/8.26	o 655509
27.15/8.26	o 655601
27.15/8.26	o 656332
27.15/8.26	o 656730
27.15/8.26	o 657873
27.15/8.26	o 657968
27.15/8.26	o 658435
27.15/8.27	o 658530
27.15/8.27	o 658907
27.15/8.27	o 659002
27.15/8.27	o 659251
27.15/8.27	o 659723
27.15/8.27	o 659818
27.15/8.27	o 659825
27.15/8.27	o 659920
27.15/8.27	o 660017
27.15/8.27	o 660489
27.15/8.27	o 660591
27.15/8.27	o 660686
27.15/8.29	o 660863
27.15/8.29	o 660965
27.15/8.30	o 661060
27.15/8.30	o 661403
27.15/8.30	o 661498
27.15/8.30	o 661984
27.15/8.30	o 662546
27.15/8.30	o 662641
27.15/8.30	o 662800
27.15/8.30	o 662895
27.15/8.30	o 663362
27.15/8.30	o 663457
27.15/8.30	o 663464
27.15/8.30	o 663559
27.15/8.30	o 663697
27.90/8.31	o 663862
27.90/8.31	o 664443
27.90/8.31	o 665005
27.90/8.31	o 665259
27.90/8.31	o 665821
27.90/8.31	o 665923
27.90/8.31	o 666018
27.90/8.31	o 666587
27.90/8.31	o 666689
27.90/8.31	o 666784
27.90/8.31	o 667059
27.90/8.31	o 667154
27.90/8.31	o 667161
27.90/8.31	o 667256
28.54/8.43	o 667259
28.54/8.43	o 667268
28.54/8.43	o 667740
28.54/8.43	o 667842
28.54/8.43	o 667993
28.54/8.43	o 668095
28.54/8.43	o 668809
28.54/8.43	o 668911
28.54/8.43	o 669281
28.54/8.43	o 669383
28.54/8.43	o 669478
28.54/8.43	o 669617
28.54/8.45	o 670089
28.54/8.45	o 670184
28.54/8.45	o 670638
28.54/8.45	o 671150
28.54/8.45	o 671966
28.54/8.45	o 672061
28.54/8.45	o 672438
28.54/8.45	o 672533
28.54/8.45	o 672540
28.54/8.45	o 672635
28.54/8.49	o 672643
28.54/8.50	o 673602
28.54/8.50	o 674418
28.54/8.50	o 674890
28.54/8.50	o 674992
28.54/8.50	o 675087
29.32/8.51	o 675276
29.32/8.51	o 675378
29.32/8.51	o 675748
29.32/8.51	o 675850
29.32/8.51	o 676092
29.32/8.51	o 676194
29.32/8.51	o 676564
29.32/8.51	o 676666
29.32/8.51	o 676761
29.32/8.51	o 676769
29.32/8.51	o 677064
29.32/8.51	o 677735
29.32/8.52	o 678207
29.32/8.52	o 678551
29.32/8.52	o 679023
29.32/8.52	o 679118
29.32/8.52	o 679125
29.32/8.52	o 679220
29.32/8.53	o 679325
29.32/8.53	o 679615
29.32/8.53	o 680087
29.32/8.53	o 681148
29.32/8.53	o 681620
29.32/8.53	o 681964
29.32/8.53	o 682436
29.32/8.53	o 682772
29.32/8.53	o 683162
29.32/8.53	o 684305
29.32/8.53	o 684355
29.32/8.54	o 685121
29.32/8.54	o 685593
29.32/8.54	o 685695
29.32/8.54	o 685790
29.32/8.57	o 686011
29.32/8.57	o 686106
29.32/8.59	o 686113
29.32/8.59	o 686208
29.32/8.59	o 686493
29.32/8.59	o 686595
29.32/8.59	o 686603
29.32/8.60	o 686993
29.32/8.60	o 688136
29.32/8.60	o 688186
29.32/8.60	o 688952
29.32/8.60	o 689054
29.32/8.60	o 689424
29.32/8.60	o 689526
29.32/8.60	o 689650
29.32/8.60	o 689760
29.32/8.60	o 690150
29.32/8.60	o 691293
29.32/8.60	o 692109
29.32/8.60	o 692581
29.32/8.60	o 692683
30.12/8.61	o 692778
30.92/8.77	o 693174
30.92/8.77	o 693276
30.92/8.78	o 693371
30.92/8.79	o 693457
30.92/8.79	o 693706
30.92/8.79	o 694178
30.92/8.79	o 694273
30.92/8.79	o 694574
30.92/8.79	o 694669
30.92/8.79	o 695299
30.92/8.79	o 696115
30.92/8.79	o 696210
30.92/8.79	o 696587
30.92/8.79	o 696682
30.92/8.79	o 696813
30.92/8.79	o 697285
30.92/8.79	o 697313
30.92/8.79	o 698129
30.92/8.79	o 698456
31.71/8.80	o 699272
31.71/8.80	o 699744
31.71/8.80	o 699839
31.71/8.80	o 699846
31.71/8.80	o 699941
34.12/9.16	o 700152
34.12/9.17	o 700247
34.12/9.17	o 700254
34.12/9.17	o 700349
34.12/9.17	o 700624
34.12/9.17	o 700726
34.12/9.17	o 700821
34.12/9.17	o 700914
34.12/9.17	o 700921
34.12/9.17	o 701016
34.12/9.18	o 701291
34.12/9.18	o 701393
34.12/9.18	o 701488
34.12/9.18	o 701536
34.12/9.18	o 701606
34.12/9.18	o 702422
34.12/9.18	o 702749
34.12/9.18	o 703565
34.12/9.19	o 703660
34.12/9.19	o 703729
34.12/9.19	o 703782
34.12/9.19	o 703877
34.12/9.19	o 704763
34.12/9.19	o 705906
34.12/9.19	o 706001
34.12/9.19	o 706722
34.12/9.19	o 706817
34.12/9.19	o 706824
34.12/9.19	o 706919
34.12/9.19	o 707194
34.12/9.19	o 707296
34.12/9.19	o 707391
36.50/9.47	o 707589
36.50/9.48	o 707684
36.50/9.48	o 708151
36.50/9.48	o 708246
36.50/9.48	o 708253
36.50/9.48	o 708348
36.50/9.48	o 708405
36.50/9.48	o 708967
36.50/9.48	o 709069
36.50/9.48	o 709164
36.50/9.48	o 709439
36.50/9.48	o 709541
36.50/9.48	o 709636
36.50/9.48	o 709733
36.50/9.48	o 709828
36.50/9.50	o 709835
36.50/9.50	o 709930
36.50/9.50	o 710205
36.50/9.50	o 710307
36.50/9.50	o 710402
45.91/10.65	o 710765
45.91/10.66	o 710860
45.91/10.66	o 710867
45.91/10.66	o 710962
45.91/10.66	o 711327
45.91/10.66	o 711429
45.91/10.66	o 711524
45.91/10.66	o 711799
45.91/10.66	o 711894
45.91/10.66	o 711901
45.91/10.66	o 711996
45.91/10.66	o 712093
45.91/10.66	o 712195
45.91/10.66	o 712290
45.91/10.66	o 712565
45.91/10.66	o 712660
45.91/10.66	o 712667
45.91/10.66	o 712762
52.28/11.47	o 712828
52.28/11.49	o 712930
52.28/11.49	o 713025
52.28/11.49	o 713122
52.28/11.49	o 713217
52.28/11.49	o 713224
52.28/11.49	o 713319
52.28/11.49	o 713594
52.28/11.49	o 713696
52.28/11.49	o 713791
53.89/11.65	o 713806
53.89/11.65	o 713901
53.89/11.66	o 714368
53.89/11.66	o 714463
53.89/11.66	o 714840
53.89/11.66	o 714935
53.89/11.66	o 715047
53.89/11.66	o 715301
53.89/11.66	o 715863
53.89/11.66	o 716444
53.89/11.66	o 717006
53.89/11.66	o 717402
53.89/11.66	o 717800
53.89/11.66	o 718127
53.89/11.66	o 718943
53.89/11.66	o 719505
53.89/11.66	o 719600
53.89/11.67	o 719977
53.89/11.67	o 720072
53.89/11.67	o 720271
53.89/11.67	o 720366
53.89/11.67	o 720743
53.89/11.67	o 720838
53.89/11.67	o 720889
53.89/11.68	o 720935
53.89/11.68	o 721037
53.89/11.68	o 721354
53.89/11.68	o 721916
53.89/11.68	o 722243
53.89/11.68	o 722497
53.89/11.68	o 723059
53.89/11.68	o 723161
53.89/11.68	o 723256
53.89/11.68	o 723531
53.89/11.68	o 723626
53.89/11.68	o 723633
53.89/11.69	o 723728
53.89/11.69	o 723825
53.89/11.69	o 723927
53.89/11.69	o 724022
53.89/11.69	o 724297
53.89/11.69	o 724392
53.89/11.69	o 724399
53.89/11.69	o 724494
55.48/11.88	o 724517
55.48/11.88	o 724612
55.48/11.89	o 725079
55.48/11.89	o 725174
55.48/11.89	o 725551
55.48/11.89	o 725646
55.48/11.90	o 725845
55.48/11.90	o 725940
55.48/11.90	o 726317
55.48/11.90	o 726412
61.05/12.59	o 726928
61.05/12.60	o 727255
61.05/12.60	o 728071
61.05/12.60	o 728633
61.05/12.60	o 728735
61.05/12.60	o 728830
61.05/12.60	o 729105
61.05/12.60	o 729200
61.05/12.60	o 729207
61.05/12.60	o 729302
62.64/12.74	o 729399
62.64/12.74	o 729501
62.64/12.74	o 729596
62.64/12.74	o 729871
62.64/12.74	o 729966
62.64/12.74	o 729973
62.64/12.74	o 730068
71.42/13.85	o 730106
71.42/13.85	o 730208
71.42/13.86	o 730303
71.42/13.86	o 730346
71.42/13.86	o 730505
71.42/13.86	o 730600
71.42/13.86	o 731067
71.42/13.86	o 731162
71.42/13.86	o 731169
71.42/13.86	o 731264
71.42/13.86	o 731539
71.42/13.86	o 731641
71.42/13.86	o 731736
71.42/13.86	o 731786
71.42/13.86	o 731881
71.42/13.87	o 732040
71.42/13.87	o 732602
71.42/13.87	o 732697
71.42/13.87	o 733183
71.42/13.87	o 733278
71.42/13.87	o 733745
71.42/13.87	o 733840
71.42/13.87	o 734080
71.42/13.87	o 734101
71.42/13.87	o 734663
71.42/13.87	o 734826
71.42/13.87	o 735642
71.42/13.87	o 736204
71.42/13.87	o 736299
71.42/13.87	o 736306
71.42/13.88	o 736401
71.42/13.88	o 736676
71.42/13.88	o 736778
71.42/13.88	o 736873
72.21/13.91	o 736970
72.21/13.93	o 737065
72.21/13.93	o 737072
72.21/13.93	o 737167
72.21/13.93	o 737442
72.21/13.93	o 737544
72.21/13.93	o 737639
98.62/17.35	o 738115
98.62/17.36	o 738210
98.62/17.36	o 738677
98.62/17.36	o 738772
98.62/17.36	o 738779
98.62/17.36	o 738874
98.62/17.36	o 739149
98.62/17.36	o 739251
98.62/17.36	o 739346
98.62/17.36	o 739443
98.62/17.36	o 739538
98.62/17.36	o 739545
98.62/17.36	o 739640
98.62/17.36	o 739915
98.62/17.36	o 740017
98.62/17.36	o 740112
99.34/17.40	o 740141
99.34/17.40	o 740236
99.34/17.41	o 740703
99.34/17.41	o 740798
99.34/17.41	o 740805
99.34/17.41	o 740900
99.34/17.41	o 741175
99.34/17.41	o 741277
99.34/17.41	o 741372
99.34/17.41	o 741400
99.34/17.41	o 741867
99.34/17.41	o 741962
99.34/17.41	o 742121
99.34/17.41	o 742683
99.34/17.41	o 742778
99.34/17.41	o 742918
99.34/17.41	o 743013
99.34/17.41	o 743154
99.34/17.41	o 743319
99.34/17.42	o 744135
99.34/17.42	o 744462
99.34/17.42	o 745278
99.34/17.42	o 745373
99.34/17.42	o 745840
99.34/17.42	o 745935
99.34/17.42	o 745942
99.34/17.42	o 746037
99.34/17.42	o 746312
99.34/17.42	o 746414
99.34/17.42	o 746509
99.34/17.44	o 746606
99.34/17.45	o 746701
99.34/17.45	o 746708
99.34/17.45	o 746803
99.34/17.45	o 747078
99.34/17.45	o 747180
99.34/17.45	o 747275
101.74/17.79	o 747476
101.74/17.80	o 747571
101.74/17.80	o 747578
101.74/17.80	o 747673
101.74/17.80	o 747708
101.74/17.80	o 748168
101.74/17.80	o 748270
101.74/17.80	o 748422
101.74/17.80	o 748984
101.74/17.80	o 749086
101.74/17.80	o 749170
101.74/17.80	o 749272
101.74/17.80	o 749455
101.74/17.80	o 749620
101.74/17.80	o 750436
101.74/17.80	o 750763
101.74/17.80	o 751579
101.74/17.80	o 751681
102.55/17.81	o 752141
102.55/17.81	o 752243
102.55/17.81	o 752338
102.55/17.81	o 752613
102.55/17.81	o 752708
102.55/17.81	o 752715
102.55/17.81	o 752810
102.55/17.81	o 752907
102.55/17.81	o 753009
102.55/17.81	o 753104
102.55/17.81	o 753379
102.55/17.81	o 753474
102.55/17.81	o 753481
102.55/17.81	o 753576
110.44/18.87	o 753676
110.44/18.88	o 753771
110.44/18.88	o 754046
110.44/18.88	o 754148
110.44/18.88	o 754243
110.44/18.88	o 754411
110.44/18.88	o 754506
110.44/18.88	o 754738
110.44/18.88	o 754992
110.44/18.88	o 755554
110.44/18.88	o 755649
110.44/18.88	o 755789
110.44/18.88	o 755884
110.44/18.88	o 756025
110.44/18.88	o 756190
110.44/18.88	o 757006
110.44/18.88	o 757333
110.44/18.88	o 758149
110.44/18.88	o 758244
110.44/18.88	o 758711
110.44/18.88	o 758806
110.44/18.88	o 758813
110.44/18.88	o 758908
110.44/18.88	o 759183
110.44/18.88	o 759285
110.44/18.89	o 759380
110.44/18.89	o 759477
110.44/18.89	o 759572
110.44/18.89	o 759579
110.44/18.89	o 759674
110.44/18.89	o 759949
110.44/18.89	o 760051
110.44/18.89	o 760146
151.88/24.02	o 760164
151.88/24.03	o 760259
151.88/24.03	o 760266
151.88/24.03	o 760361
151.88/24.03	o 760726
151.88/24.03	o 760828
151.88/24.03	o 760923
151.88/24.03	o 761198
151.88/24.03	o 761293
151.88/24.03	o 761300
151.88/24.03	o 761395
151.88/24.04	o 761492
151.88/24.04	o 761594
151.88/24.04	o 761689
151.88/24.04	o 761964
151.88/24.04	o 762059
151.88/24.04	o 762066
151.88/24.04	o 762161
183.78/28.05	o 762315
183.78/28.05	o 762410
183.78/28.06	o 762417
183.78/28.06	o 762512
183.78/28.06	o 762580
183.78/28.06	o 763040
183.78/28.06	o 763142
183.78/28.06	o 763294
183.78/28.06	o 763856
183.78/28.06	o 763958
183.78/28.06	o 764053
183.78/28.06	o 764328
183.78/28.06	o 764430
183.78/28.06	o 764525
183.78/28.06	o 764622
183.78/28.06	o 764717
183.78/28.06	o 764724
183.78/28.07	o 764819
183.78/28.07	o 765094
183.78/28.07	o 765196
183.78/28.07	o 765291
219.64/32.54	o 765301
219.64/32.55	o 765396
219.64/32.55	o 765403
219.64/32.55	o 765498
239.57/35.06	o 765546
239.57/35.06	o 765821
239.57/35.07	o 765923
239.57/35.07	o 766018
239.57/35.07	o 766387
239.57/35.07	o 766482
239.57/35.07	o 766949
239.57/35.07	o 767044
239.57/35.07	o 767051
239.57/35.07	o 767146
239.57/35.07	o 767421
239.57/35.07	o 767523
239.57/35.07	o 767618
239.57/35.07	o 767715
239.57/35.07	o 767810
239.57/35.07	o 767817
239.57/35.07	o 767912
239.57/35.07	o 768187
239.57/35.07	o 768289
239.57/35.08	o 768384
239.57/35.10	o 768428
240.37/35.11	o 768435
240.37/35.11	o 768530
240.37/35.11	o 769364
240.37/35.11	o 769466
240.37/35.11	o 770180
240.37/35.11	o 770282
240.37/35.11	o 770742
240.37/35.11	o 770844
240.37/35.11	o 770939
240.37/35.11	o 771214
240.37/35.11	o 771309
240.37/35.11	o 771316
240.37/35.11	o 771411
240.37/35.11	o 771508
240.37/35.11	o 771610
240.37/35.11	o 771705
240.37/35.11	o 771980
240.37/35.12	o 772075
240.37/35.12	o 772082
240.37/35.12	o 772177
256.30/37.12	o 772234
256.30/37.12	o 772329
256.30/37.13	o 772604
256.30/37.13	o 772706
256.30/37.13	o 772801
256.30/37.13	o 773454
256.30/37.13	o 773549
256.30/37.13	o 773781
256.30/37.13	o 774597
256.30/37.13	o 774692
256.30/37.13	o 775159
256.30/37.13	o 775254
256.30/37.13	o 775261
256.30/37.13	o 775356
256.30/37.13	o 775631
256.30/37.13	o 775733
256.30/37.15	o 775828
256.30/37.15	o 775925
256.30/37.15	o 776020
256.30/37.15	o 776027
256.30/37.15	o 776122
256.30/37.15	o 776397
256.30/37.15	o 776499
256.30/37.15	o 776594
276.23/39.69	o 776615
277.02/39.70	o 776710
277.02/39.70	o 777509
277.02/39.70	o 778325
277.02/39.70	o 778887
277.02/39.70	o 778982
277.02/39.70	o 778989
277.02/39.70	o 779084
277.02/39.70	o 779359
277.02/39.70	o 779461
277.02/39.70	o 779556
298.56/42.42	o 779653
298.56/42.43	o 779748
298.56/42.43	o 779755
298.56/42.43	o 779850
298.56/42.43	o 780125
298.56/42.43	o 780227
298.56/42.43	o 780322
359.92/50.16	o 780486
359.92/50.16	o 781048
359.92/50.17	o 781520
359.92/50.17	o 781941
359.92/50.17	o 782413
359.92/50.17	o 783530
359.92/50.17	o 784002
359.92/50.17	o 784092
359.92/50.17	o 784564
386.95/53.52	o 784716
386.95/53.53	o 784811
386.95/53.53	o 784899
386.95/53.58	o 784996
386.95/53.59	o 785098
386.95/53.59	o 785193
386.95/53.59	o 785468
386.95/53.59	o 785563
386.95/53.59	o 785570
386.95/53.59	o 785665
401.39/55.36	o 785722
401.39/55.37	o 785817
401.39/55.37	o 786092
401.39/55.37	o 786194
401.39/55.37	o 786289
401.39/55.37	o 786382
401.39/55.37	o 786632
401.39/55.37	o 786727
401.39/55.37	o 787106
401.39/55.37	o 787269
401.39/55.37	o 788085
401.39/55.37	o 788647
401.39/55.37	o 788742
401.39/55.38	o 788749
401.39/55.38	o 788844
401.39/55.38	o 789119
401.39/55.38	o 789221
401.39/55.38	o 789316
401.39/55.38	o 789413
401.39/55.38	o 789508
401.39/55.38	o 789515
401.39/55.38	o 789610
401.39/55.38	o 789885
401.39/55.38	o 789987
401.39/55.38	o 790082
599.89/80.26	o 790152
599.89/80.27	o 790180
599.89/80.27	o 790275
599.89/80.27	o 790282
599.89/80.27	o 790377
599.89/80.27	o 790763
599.89/80.27	o 790865
599.89/80.27	o 790926
599.89/80.27	o 791742
599.89/80.27	o 792304
599.89/80.27	o 792406
599.89/80.27	o 792501
599.89/80.27	o 792776
599.89/80.27	o 792878
599.89/80.27	o 792973
599.89/80.27	o 793070
599.89/80.27	o 793165
599.89/80.28	o 793172
599.89/80.28	o 793267
599.89/80.28	o 793542
599.89/80.28	o 793644
599.89/80.28	o 793739
660.37/87.84	o 793776
660.37/87.84	o 793816
660.37/87.84	o 794686
660.37/87.84	o 795132
660.37/87.84	o 796275
660.37/87.84	o 796837
660.37/87.84	o 797309
894.81/117.24	o 797342
894.81/117.24	o 798485
894.81/117.24	o 798957
894.81/117.24	o 798958
894.81/117.24	o 800499
894.81/117.24	o 800971
894.81/117.24	o 801642
894.81/117.24	o 802114
894.81/117.24	o 802204
894.81/117.24	o 802676
911.56/119.38	o 803083
911.56/119.39	o 803555
1498.14/192.95	o 803623
1498.14/192.96	o 803718
1498.14/192.96	o 803725
1498.14/192.96	o 803820
1498.14/192.96	o 803917
1498.14/192.96	o 804019
1498.14/192.96	o 804114
1498.14/192.96	o 804389
1498.14/192.96	o 804484
1498.14/192.96	o 804491
1498.14/192.96	o 804586
1553.97/199.95	o 805019
1553.97/199.96	o 805121
1553.97/199.96	o 805346
1553.97/199.96	o 805600
1553.97/199.96	o 806162
1553.97/199.96	o 806264
1553.97/199.96	o 806359
1553.97/199.96	o 806634
1553.97/199.96	o 806729
1553.97/199.96	o 806736
1553.97/199.96	o 806831
1581.86/203.49	o 806928
1582.67/203.51	o 807030
1582.67/203.51	o 807125
1582.67/203.51	o 807400
1582.67/203.51	o 807495
1582.67/203.51	o 807502
1582.67/203.51	o 807597
1680.72/215.81	o 807741
1680.72/215.81	o 807843
1680.72/215.81	o 807938
1876.07/240.33	o 807958
1876.07/240.33	o 808053
1876.07/240.34	o 808060
1876.07/240.34	o 808155
1876.07/240.34	o 808252
1876.07/240.34	o 808354
1876.07/240.34	o 808449
1876.07/240.34	o 808724
1876.07/240.34	o 808819
1876.07/240.34	o 808826
1876.07/240.34	o 808921
1878.38/240.63	o 809065
1878.38/240.63	o 809167
1878.38/240.64	o 809262
1984.39/253.90	o 809311
1984.39/253.90	o 809783
1984.39/253.91	o 810042
1984.39/253.91	o 810514
1984.39/253.91	o 810578
1984.39/253.91	o 810747
1984.39/253.91	o 811309
1984.39/253.91	o 811781
2009.89/257.15	o 811893
2009.89/257.16	o 812365
2009.89/257.16	o 812455
2009.89/257.16	o 812927
2009.89/257.18	o 813335
2009.89/257.18	o 813807
2009.89/257.19	o 814184
2009.89/257.19	o 814746
2009.89/257.19	o 815218
2009.89/257.19	o 815535
2009.89/257.19	o 815794
2009.89/257.19	o 816266
2009.89/257.19	o 816474
2009.89/257.19	o 816643
2009.89/257.19	o 817205
2009.89/257.19	o 817677
2009.89/257.19	o 817910
2009.89/257.19	o 818382
2009.89/257.19	o 818472
2009.89/257.19	o 818944
2024.25/258.98	o 819277
2024.25/258.99	o 819858
2024.25/258.99	o 820420
2024.25/258.99	o 820892
2024.25/258.99	o 821125
2024.25/258.99	o 821597
2024.25/258.99	o 821687
2024.25/258.99	o 822159
2534.31/322.95	o 822385
2534.31/322.97	o 822475
2534.31/322.97	o 822947
2534.31/322.98	o 823354
2534.31/322.98	o 823826
2804.29/356.89	o 823867
2804.29/356.90	o 823962
2804.29/356.90	o 824030
2804.29/356.90	o 824846
2804.29/356.90	o 825408
2804.29/356.90	o 825503
2804.29/356.90	o 825880
2804.29/356.90	o 825975
2804.29/356.90	o 826174
2804.29/356.90	o 826269
2804.29/356.90	o 826646
2804.29/356.90	o 826741
2805.10/356.94	o 826829
3277.37/416.29	o 827328
3277.37/416.30	o 827423
3277.37/416.30	o 827430
3277.37/416.30	o 827525
3277.37/416.30	o 827890
3277.37/416.30	o 827992
3277.37/416.30	o 828087
3277.37/416.30	o 828362
3277.37/416.30	o 828457
3277.37/416.30	o 828464
3277.37/416.30	o 828559
3278.25/416.33	o 828656
3278.25/416.33	o 828758
3278.25/416.34	o 828853
3278.25/416.34	o 829128
3278.25/416.34	o 829223
3278.25/416.34	o 829230
3278.25/416.34	o 829325
3286.08/417.34	o 829410
3286.08/417.35	o 829787
3286.08/417.35	o 829882
3286.08/417.37	o 830353
3286.08/417.38	o 830915
3286.08/417.38	o 831010
3286.08/417.38	o 831387
3286.08/417.38	o 831482
3286.81/417.41	o 831681
3286.81/417.41	o 831776
3286.81/417.41	o 832153
3286.81/417.41	o 832248
3286.81/417.43	o 832336
3404.59/432.31	o 832586
3405.39/432.32	o 832688
3405.39/432.32	o 832783
3405.39/432.34	o 832852
3405.39/432.35	o 833032
3405.39/432.35	o 833127
3405.39/432.35	o 833286
3405.39/432.35	o 833848
3405.39/432.35	o 833943
3405.39/432.35	o 833950
3405.39/432.35	o 834045
3405.39/432.35	o 834320
3405.39/432.35	o 834422
3405.39/432.35	o 834517
3405.39/432.37	o 834614
3405.39/432.37	o 834709
3405.39/432.37	o 834716
3405.39/432.37	o 834811
3405.39/432.37	o 835086
3405.39/432.37	o 835188
3405.39/432.37	o 835283
3407.69/432.60	o 835427
3407.69/432.61	o 835522
3407.69/432.61	o 835529
3407.69/432.61	o 835624
3574.25/453.64	o 835667
3583.83/454.82	o 835875
3583.83/454.83	o 835970
3583.83/454.83	o 836169
3583.83/454.83	o 836264
3583.83/454.83	o 836641
3583.83/454.83	o 836736
3583.83/454.83	o 837341
3583.83/454.83	o 837903
3583.83/454.83	o 837998
3583.83/454.83	o 838375
3583.83/454.84	o 838470
3583.83/454.84	o 838669
3583.83/454.84	o 838764
3583.83/454.84	o 839141
3583.83/454.84	o 839236
3586.13/455.19	o 839324
4788.05/606.90	o 839478
4788.85/606.91	o 839580
4788.85/606.91	o 839675
4788.85/606.92	o 839819
4788.85/606.92	o 839914
4788.85/606.92	o 839921
4788.85/606.92	o 840016
4794.38/607.69	o 840109
4794.38/607.69	o 840204
4794.38/607.70	o 840581
4794.38/607.70	o 840676
4795.98/607.87	o 840764
4805.44/609.01	o 840782
4805.44/609.03	o 840875
4805.44/609.03	o 840970
4805.44/609.03	o 841347
4805.44/609.03	o 841442
4805.44/609.04	o 841530
5464.32/692.29	o 841868
5464.32/692.29	o 841958
5464.32/692.29	o 842430
5914.31/749.07	o 842683
5914.31/749.08	o 842778
5914.31/749.08	o 843155
5914.31/749.08	o 843250
5914.31/749.09	o 843338
5922.27/750.04	o 843358
5922.27/750.04	o 843460
5922.27/750.04	o 843555
5922.27/750.04	o 843830
5922.27/750.04	o 843925
5922.27/750.04	o 843932
5922.27/750.04	o 844027
5922.27/750.04	o 844105
5922.27/750.04	o 844200
5922.27/750.05	o 844475
5922.27/750.05	o 844577
5922.27/750.05	o 844672
5922.27/750.05	o 844759
5922.27/750.05	o 845226
5922.27/750.05	o 845321
5922.27/750.05	o 845807
5922.27/750.05	o 846369
5922.27/750.05	o 846464
5922.27/750.05	o 846471
5922.27/750.05	o 846566
5922.27/750.05	o 846841
5922.27/750.05	o 846943
5922.27/750.05	o 847038
5946.83/753.11	o 847131
5946.83/753.12	o 847226
5946.83/753.12	o 847603
5946.83/753.12	o 847698
5946.83/753.12	o 847786
6944.50/879.21	o 847804
6956.91/880.83	o 848014
6956.91/880.83	o 848116
6956.91/880.83	o 848211
6956.91/880.87	o 848369
6956.91/880.87	o 848464
6957.71/880.95	o 848552
8261.36/1045.65	o 848660
8261.36/1045.65	o 848762
8261.36/1045.66	o 849189
8261.36/1045.66	o 849751
8261.36/1045.66	o 849853
8261.36/1045.66	o 849948
8261.36/1045.66	o 850223
8261.36/1045.66	o 850318
8261.36/1045.66	o 850325
8261.36/1045.66	o 850420
8261.36/1045.66	o 850499
8261.36/1045.66	o 850601
8261.36/1045.67	o 850696
8261.36/1045.67	o 850971
8261.36/1045.67	o 851066
8261.36/1045.67	o 851073
8261.36/1045.67	o 851168
8296.01/1050.06	o 851565
8296.01/1050.06	o 851667
8296.01/1050.07	o 852200
8296.01/1050.07	o 852762
8296.01/1050.07	o 852864
8296.01/1050.07	o 852959
8296.01/1050.07	o 853234
8296.01/1050.07	o 853336
8296.01/1050.07	o 853431
8296.01/1050.07	o 853510
8296.01/1050.07	o 853605
8296.01/1050.07	o 853612
8296.01/1050.07	o 853707
8296.01/1050.07	o 853982
8296.01/1050.07	o 854084
8296.01/1050.08	o 854179
8415.57/1065.13	o 854566
8415.57/1065.13	o 854661
8415.57/1065.13	o 855128
8415.57/1065.13	o 855223
8415.57/1065.13	o 855230
8415.57/1065.13	o 855325
8415.57/1065.13	o 855600
8415.57/1065.13	o 855702
8415.57/1065.13	o 855797
8415.57/1065.14	o 855876
8415.57/1065.14	o 855971
8415.57/1065.14	o 855978
8415.57/1065.14	o 856073
8415.57/1065.14	o 856348
8415.57/1065.14	o 856450
8415.57/1065.14	o 856545
8709.95/1102.37	o 856563
8762.73/1109.06	o 856642
8762.73/1109.06	o 856737
8762.73/1109.07	o 856744
8762.73/1109.07	o 856839
8762.73/1109.07	o 857114
8762.73/1109.07	o 857216
8762.73/1109.07	o 857311
9144.53/1157.31	o 857365
9144.53/1157.31	o 857460
9144.53/1157.35	o 857641
9144.53/1157.35	o 857736
9144.53/1157.36	o 858113
9144.53/1157.36	o 858208
9245.72/1170.14	o 858303
9245.72/1170.14	o 858398
9245.72/1170.15	o 858626
9245.72/1170.16	o 858678
9245.72/1170.16	o 859769
9245.72/1170.16	o 860331
9245.72/1170.16	o 860426
9245.72/1170.16	o 860803
9245.72/1170.16	o 860898
9245.72/1170.17	o 861079
9245.72/1170.17	o 861174
9245.72/1170.17	o 861551
9245.72/1170.17	o 861646
9251.28/1170.84	o 861664
9251.28/1170.85	o 861845
9251.28/1170.86	o 861940
9251.28/1170.86	o 862317
9251.28/1170.86	o 862412
9265.55/1172.61	o 862697
9265.55/1172.62	o 862792
9265.55/1172.62	o 863169
9265.55/1172.62	o 863264
9265.55/1172.62	o 863463
9265.55/1172.62	o 863558
9265.55/1172.62	o 863935
9265.55/1172.62	o 864030
9265.55/1172.62	o 864211
9265.55/1172.62	o 864306
9265.55/1172.62	o 864683
9265.55/1172.62	o 864778
9588.43/1213.41	o 865835
9588.43/1213.41	o 866397
9588.43/1213.42	o 866492
9588.43/1213.42	o 866869
9588.43/1213.42	o 866964
9588.43/1213.42	o 867163
9588.43/1213.42	o 867258
9588.43/1213.42	o 867635
9588.43/1213.42	o 867730
9588.43/1213.44	o 867911
9588.43/1213.45	o 868006
9588.43/1213.45	o 868383
9588.43/1213.45	o 868478
10228.61/1294.36	o 868572
10228.61/1294.36	o 868797
10228.61/1294.37	o 868949
10228.61/1294.37	o 869044
10228.61/1294.37	o 869091
10228.61/1294.37	o 869186
10228.61/1294.37	o 869243
10228.61/1294.37	o 869338
10228.61/1294.37	o 869563
10228.61/1294.37	o 869715
10228.61/1294.37	o 869810
10229.33/1294.43	o 869839
10229.33/1294.43	o 869934
10229.33/1294.43	o 869991
10229.33/1294.43	o 870086
10229.33/1294.43	o 870311
10229.33/1294.43	o 870463
10229.33/1294.43	o 870558
10230.90/1294.64	o 870590
10230.90/1294.65	o 870625
10230.90/1294.65	o 870720
10230.90/1294.65	o 871023
10230.90/1294.65	o 871604
10230.90/1294.65	o 872166
10230.90/1294.65	o 872261
10230.90/1294.65	o 872638
10230.90/1294.66	o 872733
10230.90/1294.66	o 872932
10230.90/1294.66	o 873027
10230.90/1294.66	o 873404
10230.90/1294.66	o 873499
10230.90/1294.66	o 873680
10230.90/1294.66	o 873775
10230.90/1294.66	o 874152
10230.90/1294.66	o 874247
10552.21/1335.27	o 874262
10552.21/1335.28	o 874519
10552.21/1335.28	o 874614
10552.21/1335.28	o 875081
10552.21/1335.28	o 875176
10552.21/1335.28	o 875553
10552.21/1335.28	o 875648
10552.21/1335.29	o 875847
10552.21/1335.29	o 875942
10552.21/1335.29	o 876319
10552.21/1335.29	o 876414
10553.06/1335.37	o 876566
10553.06/1335.38	o 877095
10553.06/1335.38	o 877657
10553.06/1335.38	o 877752
10553.06/1335.38	o 878129
10553.06/1335.38	o 878224
10553.06/1335.38	o 878423
10553.06/1335.38	o 878518
10553.06/1335.38	o 878895
10553.06/1335.38	o 878990
10555.31/1335.66	o 879171
10555.31/1335.66	o 879266
10555.31/1335.68	o 879643
10555.31/1335.68	o 879738
10753.61/1360.76	o 879776
10753.61/1360.77	o 879871
10753.61/1360.77	o 880052
10753.61/1360.77	o 880147
10753.61/1360.77	o 880524
10753.61/1360.77	o 880619
10753.61/1360.77	o 880662
10753.61/1360.77	o 881095
10753.61/1360.77	o 881676
10753.61/1360.77	o 882238
10753.61/1360.77	o 882333
10753.61/1360.78	o 882710
10753.61/1360.78	o 882805
10753.61/1360.78	o 882986
10753.61/1360.78	o 883081
10753.61/1360.78	o 883458
10753.61/1360.78	o 883553
10753.61/1360.78	o 883571
10753.61/1360.78	o 883752
10753.61/1360.78	o 883847
10753.61/1360.78	o 884224
10753.61/1360.78	o 884319
10765.60/1362.26	o 884703
10765.60/1362.26	o 884798
10765.60/1362.27	o 885175
10765.60/1362.27	o 885270
10765.60/1362.27	o 885469
10765.60/1362.27	o 885564
10765.60/1362.27	o 885941
10765.60/1362.27	o 886036
10765.60/1362.27	o 886217
10765.60/1362.27	o 886312
10765.60/1362.27	o 886689
10765.60/1362.28	o 886784
10767.90/1362.53	o 887798
10767.90/1362.53	o 888360
10767.90/1362.53	o 888455
10767.90/1362.53	o 888832
10767.90/1362.53	o 888927
10767.90/1362.53	o 889108
10767.90/1362.53	o 889203
10767.90/1362.53	o 889580
10767.90/1362.53	o 889675
10767.90/1362.54	o 889693
10767.90/1362.54	o 889874
10767.90/1362.54	o 889969
10767.90/1362.54	o 890346
10767.90/1362.54	o 890441
12584.61/1591.96	o 890537
12584.61/1591.97	o 890632
13077.31/1654.15	o 890939
13077.31/1654.15	o 891501
13077.31/1654.16	o 892136
13077.31/1654.16	o 892698
13077.31/1654.16	o 893170
13170.79/1665.96	o 893235
13170.79/1665.97	o 893797
13170.79/1665.97	o 894269
13170.79/1665.97	o 894337
13215.94/1671.67	o 895280
13215.94/1671.67	o 895842
13215.94/1671.67	o 896314
13215.94/1671.67	o 896793
13215.94/1671.67	o 897355
13215.94/1671.67	o 897827
13215.94/1671.67	o 898189
13215.94/1671.67	o 898237
13215.94/1671.67	o 898635
13215.94/1671.67	o 899778
13215.94/1671.67	o 900340
13215.94/1671.67	o 900812
13215.94/1671.69	o 900880
15618.91/1975.36	o 901003
15627.55/1976.42	o 901071
17098.25/2162.28	o 901256
17098.25/2162.28	o 901447
17098.25/2162.29	o 901542
17099.76/2162.45	o 901550
17099.76/2162.45	o 901645
17099.76/2162.46	o 901741
17099.76/2162.46	o 901836
17099.76/2162.46	o 902022
17099.76/2162.46	o 902213
17099.76/2162.46	o 902308
17127.37/2165.91	o 902393
17127.37/2165.92	o 902489
17127.37/2165.92	o 902584
17127.37/2165.92	o 902770
17127.37/2165.92	o 902961
17127.37/2165.92	o 903056
18548.32/2345.41	o 903231
18548.32/2345.42	o 903793
18548.32/2345.42	o 903984
18548.32/2345.42	o 904374
18548.32/2345.42	o 904565
18548.32/2345.42	o 904936
18548.32/2345.42	o 905127
18548.32/2345.42	o 905408
18548.32/2345.42	o 905599
18548.32/2345.42	o 905770
18548.32/2345.42	o 906332
18548.32/2345.42	o 907359
18548.32/2345.42	o 907921
18548.32/2345.42	o 908112
18548.32/2345.42	o 908393
18548.32/2345.43	o 908584
18548.32/2345.43	o 908652
19930.43/2520.10	s SATISFIABLE
19930.43/2520.10	v <instantiation>
19930.43/2520.10	v 	<list>
19930.43/2520.10	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]
19930.43/2520.10	v 	</list>
19930.43/2520.10	v 	<values>
19930.43/2520.10	v 		0 0 1 0 1 1 0 1 1 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 1 0 1 0 1 0 1 0 1 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 1 0 0 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
19930.43/2520.10	v 	</values>
19930.43/2520.10	v </instantiation>

Verifier Data 

OK	908652

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309266-1534362078/watcher-4309266-1534362078 -o /tmp/evaluation-result-4309266-1534362078/solver-4309266-1534362078 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1534362078-21470 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 914643773 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309266-1534362078.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=21487, runsolver pid=21484

[startup+0.100111 s]*
/proc/loadavg: 8.52 8.70 8.74 3/199 21507
/proc/meminfo: memFree=24056196/32770624 swapFree=67059136/67108860
[pid=21487] ppid=21484 vsize=26103420 memory=29868 CPUtime=0.11 cores=0-7
/proc/21487/stat : 21487 (java) S 21484 21487 21443 0 -1 1077944320 6967 0 0 0 10 1 0 0 20 0 20 0 253770986 26729902080 7467 33554432000 4194304 4196468 140736752358416 140736752340960 139790390480631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
/proc/21487/statm: 6525855 7467 3134 1 0 6487932 0
[pid=21487/tid=21489] ppid=21484 vsize=26103420 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/21487/task/21489/stat : 21489 (java) R 21484 21487 21443 0 -1 4202560 5042 0 0 0 8 1 0 0 20 0 20 0 253770986 26729902080 7533 33554432000 4194304 4196468 140736752358416 139790394683760 139790370756391 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21490] ppid=21484 vsize=26103420 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/21487/task/21490/stat : 21490 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 7533 33554432000 4194304 4196468 140736752358416 139790343100688 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21491] ppid=21484 vsize=26103420 memory=139669420222080 CPUtime=0 cores=0-7
/proc/21487/task/21491/stat : 21491 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 7533 33554432000 4194304 4196468 140736752358416 139790342048144 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21492] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21492/stat : 21492 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 7533 33554432000 4194304 4196468 140736752358416 139790340995600 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21493] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21493/stat : 21493 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 7533 33554432000 4194304 4196468 140736752358416 139790339943056 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21494] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21494/stat : 21494 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 7533 33554432000 4194304 4196468 140736752358416 139790338890512 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21495] ppid=21484 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/21487/task/21495/stat : 21495 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 7533 33554432000 4194304 4196468 140736752358416 139790337837968 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21496] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21496/stat : 21496 (java) S 21484 21487 21443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 7533 33554432000 4194304 4196468 140736752358416 139790336785424 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21497] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21497/stat : 21497 (java) S 21484 21487 21443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 7533 33554432000 4194304 4196468 140736752358416 139790335732880 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21498] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21498/stat : 21498 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770989 26729902080 7599 33554432000 4194304 4196468 140736752358416 139789134022640 139790390491778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21499] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21499/stat : 21499 (java) S 21484 21487 21443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253770989 26729902080 7599 33554432000 4194304 4196468 140736752358416 139789132968864 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21500] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21500/stat : 21500 (java) S 21484 21487 21443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253770989 26729902080 7599 33554432000 4194304 4196468 140736752358416 139789131916272 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21501] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21501/stat : 21501 (java) S 21484 21487 21443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253770992 26729902080 7599 33554432000 4194304 4196468 140736752358416 139789130864848 139790390499227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21502] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21502/stat : 21502 (java) S 21484 21487 21443 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 253770992 26729902080 7599 33554432000 4194304 4196468 140736752358416 139789129812464 139790390491778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21503] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21503/stat : 21503 (java) S 21484 21487 21443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253770992 26729902080 7599 33554432000 4194304 4196468 140736752358416 139789128759920 139790390491778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21504] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21504/stat : 21504 (java) S 21484 21487 21443 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 253770992 26729902080 7599 33554432000 4194304 4196468 140736752358416 139789127707376 139790390491778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21505] ppid=21484 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/21487/task/21505/stat : 21505 (java) S 21484 21487 21443 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 20 0 253770992 26729902080 7599 33554432000 4194304 4196468 140736752358416 139789126654832 139790390491778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21506] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21506/stat : 21506 (java) S 21484 21487 21443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253770992 26729902080 7599 33554432000 4194304 4196468 140736752358416 139789125601504 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21507] ppid=21484 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/21487/task/21507/stat : 21507 (java) S 21484 21487 21443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253770992 26729902080 7599 33554432000 4194304 4196468 140736752358416 139789124549040 139790390491778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 29868 KiB

[startup+0.210032 s]*
/proc/loadavg: 8.52 8.70 8.74 4/199 21507
/proc/meminfo: memFree=24042624/32770624 swapFree=67059136/67108860
[pid=21487] ppid=21484 vsize=26103420 memory=43224 CPUtime=0.29 cores=0-7
/proc/21487/stat : 21487 (java) S 21484 21487 21443 0 -1 1077944320 10522 0 0 0 27 2 0 0 20 0 20 0 253770986 26729902080 10806 33554432000 4194304 4196468 140736752358416 140736752340960 139790390480631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
/proc/21487/statm: 6525855 10806 3268 1 0 6487932 0
[pid=21487/tid=21489] ppid=21484 vsize=26103420 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/21487/task/21489/stat : 21489 (java) R 21484 21487 21443 0 -1 4202560 8308 0 0 0 18 2 0 0 20 0 20 0 253770986 26729902080 10806 33554432000 4194304 4196468 140736752358416 139790394704192 139790390492566 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21490] ppid=21484 vsize=26103420 memory=12994 CPUtime=0 cores=0-7
/proc/21487/task/21490/stat : 21490 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 10806 33554432000 4194304 4196468 140736752358416 139790343100688 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21491] ppid=21484 vsize=26103420 memory=3616588689950484128 CPUtime=0 cores=0-7
/proc/21487/task/21491/stat : 21491 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 10806 33554432000 4194304 4196468 140736752358416 139790342048144 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21492] ppid=21484 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/21487/task/21492/stat : 21492 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 10806 33554432000 4194304 4196468 140736752358416 139790340995600 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21493] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21493/stat : 21493 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 10806 33554432000 4194304 4196468 140736752358416 139790339943056 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21494] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21494/stat : 21494 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 10806 33554432000 4194304 4196468 140736752358416 139790338890512 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21495] ppid=21484 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/21487/task/21495/stat : 21495 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 10806 33554432000 4194304 4196468 140736752358416 139790337837968 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21496] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21496/stat : 21496 (java) S 21484 21487 21443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 10806 33554432000 4194304 4196468 140736752358416 139790336785424 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21497] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21497/stat : 21497 (java) S 21484 21487 21443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 10806 33554432000 4194304 4196468 140736752358416 139790335732880 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21498] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21498/stat : 21498 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770989 26729902080 10806 33554432000 4194304 4196468 140736752358416 139789134022640 139790390491778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21499] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21499/stat : 21499 (java) S 21484 21487 21443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253770989 26729902080 10806 33554432000 4194304 4196468 140736752358416 139789132968864 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21500] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21500/stat : 21500 (java) S 21484 21487 21443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253770989 26729902080 10806 33554432000 4194304 4196468 140736752358416 139789131916272 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21501] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21501/stat : 21501 (java) S 21484 21487 21443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253770992 26729902080 10806 33554432000 4194304 4196468 140736752358416 139789130864848 139790390499227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21502] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21502/stat : 21502 (java) S 21484 21487 21443 0 -1 1077944384 363 0 0 0 0 0 0 0 20 0 20 0 253770992 26729902080 10806 33554432000 4194304 4196468 140736752358416 139789129812464 139790390491778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21503] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21503/stat : 21503 (java) S 21484 21487 21443 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 20 0 253770992 26729902080 10806 33554432000 4194304 4196468 140736752358416 139789128759920 139790390491778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21504] ppid=21484 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/21487/task/21504/stat : 21504 (java) R 21484 21487 21443 0 -1 4202560 45 0 0 0 1 0 0 0 20 0 20 0 253770992 26729902080 10806 33554432000 4194304 4196468 140736752358416 139789127707672 139790375409089 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21505] ppid=21484 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/21487/task/21505/stat : 21505 (java) R 21484 21487 21443 0 -1 4202560 287 0 0 0 6 0 0 0 20 0 20 0 253770992 26729902080 10806 33554432000 4194304 4196468 140736752358416 139789126654832 139790369431633 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21506] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21506/stat : 21506 (java) S 21484 21487 21443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253770992 26729902080 10806 33554432000 4194304 4196468 140736752358416 139789125601504 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21507] ppid=21484 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/21487/task/21507/stat : 21507 (java) S 21484 21487 21443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253770992 26729902080 10806 33554432000 4194304 4196468 140736752358416 139789124549040 139790390491778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 43224 KiB

[startup+0.309256 s]*
/proc/loadavg: 8.52 8.70 8.74 3/199 21507
/proc/meminfo: memFree=24039948/32770624 swapFree=67059136/67108860
[pid=21487] ppid=21484 vsize=26103420 memory=47044 CPUtime=0.43 cores=0-7
/proc/21487/stat : 21487 (java) S 21484 21487 21443 0 -1 1077944320 10955 0 0 0 40 3 0 0 20 0 20 0 253770986 26729902080 11761 33554432000 4194304 4196468 140736752358416 140736752340960 139790390480631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
/proc/21487/statm: 6525855 11761 3365 1 0 6487932 0
[pid=21487/tid=21489] ppid=21484 vsize=26103420 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/21487/task/21489/stat : 21489 (java) R 21484 21487 21443 0 -1 4202560 8643 0 0 0 28 2 0 0 20 0 20 0 253770986 26729902080 11761 33554432000 4194304 4196468 140736752358416 139790394642368 139790374561118 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21490] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21490/stat : 21490 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 11761 33554432000 4194304 4196468 140736752358416 139790343100688 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21491] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21491/stat : 21491 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 11761 33554432000 4194304 4196468 140736752358416 139790342048144 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21492] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21492/stat : 21492 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 11761 33554432000 4194304 4196468 140736752358416 139790340995600 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21493] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21493/stat : 21493 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 11761 33554432000 4194304 4196468 140736752358416 139790339943056 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21494] ppid=21484 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/21487/task/21494/stat : 21494 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 11761 33554432000 4194304 4196468 140736752358416 139790338890512 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21495] ppid=21484 vsize=26103420 memory=139669316662191 CPUtime=0 cores=0-7
/proc/21487/task/21495/stat : 21495 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 11761 33554432000 4194304 4196468 140736752358416 139790337837968 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21496] ppid=21484 vsize=26103420 memory=139669316664496 CPUtime=0 cores=0-7
/proc/21487/task/21496/stat : 21496 (java) S 21484 21487 21443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 11761 33554432000 4194304 4196468 140736752358416 139790336785424 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21497] ppid=21484 vsize=26103420 memory=139669316666800 CPUtime=0 cores=0-7
/proc/21487/task/21497/stat : 21497 (java) S 21484 21487 21443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253770987 26729902080 11761 33554432000 4194304 4196468 140736752358416 139790335732880 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21498] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21498/stat : 21498 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770989 26729902080 11761 33554432000 4194304 4196468 140736752358416 139789134022640 139790390491778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21499] ppid=21484 vsize=26103420 memory=279338633340560 CPUtime=0 cores=0-7
/proc/21487/task/21499/stat : 21499 (java) S 21484 21487 21443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253770989 26729902080 11761 33554432000 4194304 4196468 140736752358416 139789132968864 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21500] ppid=21484 vsize=26103420 memory=279338633347472 CPUtime=0 cores=0-7
/proc/21487/task/21500/stat : 21500 (java) S 21484 21487 21443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253770989 26729902080 11761 33554432000 4194304 4196468 140736752358416 139789131916272 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21501] ppid=21484 vsize=26103420 memory=279338633288752 CPUtime=0 cores=0-7
/proc/21487/task/21501/stat : 21501 (java) S 21484 21487 21443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253770992 26729902080 11761 33554432000 4194304 4196468 140736752358416 139789130864848 139790390499227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21502] ppid=21484 vsize=26103420 memory=279338633361296 CPUtime=0.01 cores=0-7
/proc/21487/task/21502/stat : 21502 (java) S 21484 21487 21443 0 -1 1077944384 363 0 0 0 1 0 0 0 20 0 20 0 253770992 26729902080 11761 33554432000 4194304 4196468 140736752358416 139789129812464 139790390491778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21503] ppid=21484 vsize=26103420 memory=279338633368208 CPUtime=0.01 cores=0-7
/proc/21487/task/21503/stat : 21503 (java) S 21484 21487 21443 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 20 0 253770992 26729902080 11761 33554432000 4194304 4196468 140736752358416 139789128759920 139790390491778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21504] ppid=21484 vsize=26103420 memory=279338633365904 CPUtime=0.01 cores=0-7
/proc/21487/task/21504/stat : 21504 (java) S 21484 21487 21443 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 253770992 26729902080 11761 33554432000 4194304 4196468 140736752358416 139789127707376 139790390491778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21505] ppid=21484 vsize=26103420 memory=279338633382512 CPUtime=0.08 cores=0-7
/proc/21487/task/21505/stat : 21505 (java) S 21484 21487 21443 0 -1 1077944384 296 0 0 0 8 0 0 0 20 0 20 0 253770992 26729902080 11761 33554432000 4194304 4196468 140736752358416 139789126654832 139790390491778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21506] ppid=21484 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21506/stat : 21506 (java) S 21484 21487 21443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253770992 26729902080 11761 33554432000 4194304 4196468 140736752358416 139789125601504 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21507] ppid=21484 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/21487/task/21507/stat : 21507 (java) S 21484 21487 21443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253770992 26729902080 11761 33554432000 4194304 4196468 140736752358416 139789124549040 139790390491778 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 47044 KiB

[startup+0.700789 s]
/proc/loadavg: 8.52 8.70 8.74 2/199 21507
/proc/meminfo: memFree=24015764/32770624 swapFree=67059136/67108860
[pid=21487] ppid=21484 vsize=26105488 memory=85736 CPUtime=0.99 cores=0-7
/proc/21487/stat : 21487 (java) S 21484 21487 21443 0 -1 1077944320 17819 0 0 0 93 6 0 0 20 0 20 0 253770986 26732019712 21434 33554432000 4194304 4196468 140736752358416 140736752340960 139790390480631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
/proc/21487/statm: 6526372 21434 3501 1 0 6488444 0
[pid=21487/tid=21489] ppid=21484 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7
/proc/21487/task/21489/stat : 21489 (java) R 21484 21487 21443 0 -1 4202560 15020 0 0 0 63 4 0 0 20 0 20 0 253770986 26732019712 21434 33554432000 4194304 4196468 140736752358416 139790394695600 139790390501978 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21490] ppid=21484 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21490/stat : 21490 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26732019712 21434 33554432000 4194304 4196468 140736752358416 139790343100688 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21491] ppid=21484 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21491/stat : 21491 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26732019712 21434 33554432000 4194304 4196468 140736752358416 139790342048144 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21492] ppid=21484 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/21487/task/21492/stat : 21492 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26732019712 21434 33554432000 4194304 4196468 140736752358416 139790340995600 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21493] ppid=21484 vsize=26105488 memory=736 CPUtime=0 cores=0-7
/proc/21487/task/21493/stat : 21493 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26732019712 21434 33554432000 4194304 4196468 140736752358416 139790339943056 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21494] ppid=21484 vsize=26105488 memory=1520 CPUtime=0 cores=0-7
/proc/21487/task/21494/stat : 21494 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26732019712 21434 33554432000 4194304 4196468 140736752358416 139790338890512 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21495] ppid=21484 vsize=26105488 memory=1708 CPUtime=0 cores=0-7
/proc/21487/task/21495/stat : 21495 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770987 26732019712 21434 33554432000 4194304 4196468 140736752358416 139790337837968 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21496] ppid=21484 vsize=26105488 memory=5192 CPUtime=0 cores=0-7
/proc/21487/task/21496/stat : 21496 (java) S 21484 21487 21443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253770987 26732019712 21434 33554432000 4194304 4196468 140736752358416 139790336785424 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21497] ppid=21484 vsize=26105488 memory=13608 CPUtime=0 cores=0-7
/proc/21487/task/21497/stat : 21497 (java) S 21484 21487 21443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253770987 26732019712 21434 33554432000 4194304 4196468 140736752358416 139790335732880 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21498] ppid=21484 vsize=26105488 memory=1860 CPUtime=0 cores=0-7
/proc/21487/task/21498/stat : 21498 (java) S 21484 21487 21443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253770989 26732019712 21434 33554432000 4194304 4196468 140736752358416 139789134022640 139790390491778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0

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

/proc/21487/task/21513/stat : 21513 (java) S 21484 21487 21443 0 -1 1077944384 483 0 0 0 6 0 0 0 20 0 46 0 253771586 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789033518864 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21514] ppid=21484 vsize=27850524 memory=7740400671154984295 CPUtime=0.06 cores=0-7
/proc/21487/task/21514/stat : 21514 (java) S 21484 21487 21443 0 -1 1077944384 584 0 0 0 6 0 0 0 20 0 46 0 253771586 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789032465296 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21515] ppid=21484 vsize=27850524 memory=7740955928753956717 CPUtime=2477.32 cores=0-7
/proc/21487/task/21515/stat : 21515 (java) R 21484 21487 21443 0 -1 4202560 75761 0 0 0 247665 67 0 0 20 0 46 0 253771586 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789031405432 139790002200554 0 4 0 16800975 0 0 0 -1 7 0 0 46 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21516] ppid=21484 vsize=27850524 memory=7740955928753956717 CPUtime=2477.28 cores=0-7
/proc/21487/task/21516/stat : 21516 (java) R 21484 21487 21443 0 -1 4202560 75766 0 0 0 247659 69 0 0 20 0 46 0 253771586 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789030355264 139790002200543 0 4 0 16800975 0 0 0 -1 1 0 0 47 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21517] ppid=21484 vsize=27850524 memory=7378975732978641773 CPUtime=0.08 cores=0-7
/proc/21487/task/21517/stat : 21517 (java) S 21484 21487 21443 0 -1 1077944384 394 0 0 0 8 0 0 0 20 0 46 0 253771586 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789029307664 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21518] ppid=21484 vsize=27850524 memory=7740400671154984295 CPUtime=2477.44 cores=0-7
/proc/21487/task/21518/stat : 21518 (java) R 21484 21487 21443 0 -1 4202560 74903 0 0 0 247684 60 0 0 20 0 46 0 253771586 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789028249120 139790004237390 0 4 0 16800975 0 0 0 -1 4 0 0 38 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21519] ppid=21484 vsize=27850524 memory=6154849949896304483 CPUtime=2478.16 cores=0-7
/proc/21487/task/21519/stat : 21519 (java) R 21484 21487 21443 0 -1 4202560 75171 0 0 0 247754 62 0 0 20 0 46 0 253771586 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789027196632 139790002199722 0 4 0 16800975 0 0 0 -1 2 0 0 38 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21520] ppid=21484 vsize=27850524 memory=7883101874090896745 CPUtime=2472.89 cores=0-7
/proc/21487/task/21520/stat : 21520 (java) R 21484 21487 21443 0 -1 4202560 83708 0 0 0 247215 74 0 0 20 0 46 0 253771595 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789026142584 139790002201850 0 4 0 16800975 0 0 0 -1 0 0 0 41 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21521] ppid=21484 vsize=27850524 memory=7740400671154984298 CPUtime=2474.56 cores=0-7
/proc/21487/task/21521/stat : 21521 (java) R 21484 21487 21443 0 -1 4202560 78215 0 0 0 247392 64 0 0 20 0 46 0 253771596 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789025091408 139790003449683 0 4 0 16800975 0 0 0 -1 5 0 0 47 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21522] ppid=21484 vsize=27850524 memory=7740400671154984298 CPUtime=0.01 cores=0-7
/proc/21487/task/21522/stat : 21522 (java) S 21484 21487 21443 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 46 0 253771654 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789021909904 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21523] ppid=21484 vsize=27850524 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/21487/task/21523/stat : 21523 (java) S 21484 21487 21443 0 -1 1077944384 394 0 0 0 1 0 0 0 20 0 46 0 253771655 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789020857360 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21524] ppid=21484 vsize=27850524 memory=912 CPUtime=0.01 cores=0-7
/proc/21487/task/21524/stat : 21524 (java) S 21484 21487 21443 0 -1 1077944384 496 0 0 0 1 0 0 0 20 0 46 0 253771655 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789019804816 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21525] ppid=21484 vsize=27850524 memory=3912 CPUtime=0.01 cores=0-7
/proc/21487/task/21525/stat : 21525 (java) S 21484 21487 21443 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 46 0 253771656 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789018752272 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21526] ppid=21484 vsize=27850524 memory=1408 CPUtime=0.01 cores=0-7
/proc/21487/task/21526/stat : 21526 (java) S 21484 21487 21443 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 46 0 253771658 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789017699728 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21527] ppid=21484 vsize=27850524 memory=4636 CPUtime=0.01 cores=0-7
/proc/21487/task/21527/stat : 21527 (java) S 21484 21487 21443 0 -1 1077944384 233 0 0 0 1 0 0 0 20 0 46 0 253771660 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789016647184 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21528] ppid=21484 vsize=27850524 memory=4839148 CPUtime=0.01 cores=0-7
/proc/21487/task/21528/stat : 21528 (java) S 21484 21487 21443 0 -1 1077944384 376 0 0 0 1 0 0 0 20 0 46 0 253771662 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789015594640 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21529] ppid=21484 vsize=27850524 memory=4104 CPUtime=0.01 cores=0-7
/proc/21487/task/21529/stat : 21529 (java) S 21484 21487 21443 0 -1 1077944384 305 0 0 0 1 0 0 0 20 0 46 0 253771663 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789014542096 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21530] ppid=21484 vsize=27850524 memory=1398720917958146503 CPUtime=0.01 cores=0-7
/proc/21487/task/21530/stat : 21530 (java) S 21484 21487 21443 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 46 0 253771665 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789013488528 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21531] ppid=21484 vsize=27850524 memory=-7003737579269690708 CPUtime=0.01 cores=0-7
/proc/21487/task/21531/stat : 21531 (java) S 21484 21487 21443 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 46 0 253771669 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789012435984 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21532] ppid=21484 vsize=27850524 memory=8514701219730523551 CPUtime=0.01 cores=0-7
/proc/21487/task/21532/stat : 21532 (java) S 21484 21487 21443 0 -1 1077944384 339 0 0 0 1 0 0 0 20 0 46 0 253771669 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789011383440 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21533] ppid=21484 vsize=27850524 memory=8226496019563508123 CPUtime=0.01 cores=0-7
/proc/21487/task/21533/stat : 21533 (java) S 21484 21487 21443 0 -1 1077944384 378 0 0 0 1 0 0 0 20 0 46 0 253771669 28518936576 1209787 33554432000 4194304 4196468 140736752358416 139789010330896 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
Current children cumulated CPU time: 19930.4 s
Current children cumulated vsize: 27850524 KiB
Current children cumulated memory: 4839148 KiB

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

[startup+2520.32 s]
# the end of solver process 21487 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19920.9 s, system=11.6586 s

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

[startup+2520.2 s]*
/proc/loadavg: 8.58 8.70 8.74 3/227 21594
/proc/meminfo: memFree=19234784/32770624 swapFree=67059136/67108860
[pid=21487] ppid=21484 vsize=28050216 memory=4840360 CPUtime=19932.1 cores=0-7
/proc/21487/stat : 21487 (java) S 21484 21487 21443 0 -1 1077944320 1978731 0 0 0 1992045 1161 0 0 20 0 48 0 253770986 28723421184 1210090 33554432000 4194304 4196468 140736752358416 140736752340960 139790390480631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
/proc/21487/statm: 7012554 1210090 3628 1 0 6974105 0
[pid=21487/tid=21489] ppid=21484 vsize=28050216 memory=1398720917958146503 CPUtime=5.86 cores=0-7
/proc/21487/task/21489/stat : 21489 (java) S 21484 21487 21443 0 -1 1077944384 21819 0 0 0 576 10 0 0 20 0 48 0 253770986 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139790394718096 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21490] ppid=21484 vsize=28050216 memory=-7003737579269690708 CPUtime=12.05 cores=0-7
/proc/21487/task/21490/stat : 21490 (java) S 21484 21487 21443 0 -1 1077944384 125107 0 0 0 1133 72 0 0 20 0 48 0 253770987 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139790343100688 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 55 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21491] ppid=21484 vsize=28050216 memory=6944656575208382560 CPUtime=12.09 cores=0-7
/proc/21487/task/21491/stat : 21491 (java) S 21484 21487 21443 0 -1 1077944384 133141 0 0 0 1137 72 0 0 20 0 48 0 253770987 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139790342048144 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 57 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21492] ppid=21484 vsize=28050216 memory=6944656592455359580 CPUtime=12.1 cores=0-7
/proc/21487/task/21492/stat : 21492 (java) S 21484 21487 21443 0 -1 1077944384 114722 0 0 0 1139 71 0 0 20 0 48 0 253770987 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139790340995600 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 57 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21493] ppid=21484 vsize=28050216 memory=6944656592387989600 CPUtime=11.98 cores=0-7
/proc/21487/task/21493/stat : 21493 (java) S 21484 21487 21443 0 -1 1077944384 141165 0 0 0 1123 75 0 0 20 0 48 0 253770987 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139790339943056 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 57 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21494] ppid=21484 vsize=28050216 memory=6655300316396806240 CPUtime=12.09 cores=0-7
/proc/21487/task/21494/stat : 21494 (java) S 21484 21487 21443 0 -1 1077944384 134750 0 0 0 1136 73 0 0 20 0 48 0 253770987 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139790338890512 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 57 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21495] ppid=21484 vsize=28050216 memory=7237398200207235428 CPUtime=12.13 cores=0-7
/proc/21487/task/21495/stat : 21495 (java) S 21484 21487 21443 0 -1 1077944384 142236 0 0 0 1136 77 0 0 20 0 48 0 253770987 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139790337837968 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 56 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21496] ppid=21484 vsize=28050216 memory=6791534058613427641 CPUtime=12.09 cores=0-7
/proc/21487/task/21496/stat : 21496 (java) S 21484 21487 21443 0 -1 1077944384 139294 0 0 0 1136 73 0 0 20 0 48 0 253770987 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139790336785424 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 56 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21497] ppid=21484 vsize=28050216 memory=288230596050944315 CPUtime=12.03 cores=0-7
/proc/21487/task/21497/stat : 21497 (java) S 21484 21487 21443 0 -1 1077944384 139558 0 0 0 1123 80 0 0 20 0 48 0 253770987 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139790335732880 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 54 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21498] ppid=21484 vsize=28050216 memory=16097095916459195 CPUtime=6.98 cores=0-7
/proc/21487/task/21498/stat : 21498 (java) S 21484 21487 21443 0 -1 1077944384 194408 0 0 0 634 64 0 0 20 0 48 0 253770989 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789134022640 139790390491778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21499] ppid=21484 vsize=28050216 memory=768 CPUtime=0 cores=0-7
/proc/21487/task/21499/stat : 21499 (java) S 21484 21487 21443 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 48 0 253770989 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789132968928 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21500] ppid=21484 vsize=28050216 memory=736 CPUtime=0 cores=0-7
/proc/21487/task/21500/stat : 21500 (java) S 21484 21487 21443 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 48 0 253770989 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789131916288 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21501] ppid=21484 vsize=28050216 memory=1520 CPUtime=0 cores=0-7
/proc/21487/task/21501/stat : 21501 (java) S 21484 21487 21443 0 -1 1077944384 201 0 0 0 0 0 0 0 20 0 48 0 253770992 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789130864848 139790390499227 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21502] ppid=21484 vsize=28050216 memory=1708 CPUtime=1.71 cores=0-7
/proc/21487/task/21502/stat : 21502 (java) R 21484 21487 21443 0 -1 1077944384 9022 0 0 0 168 3 0 0 20 0 48 0 253770992 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789129791904 139790390490837 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21503] ppid=21484 vsize=28050216 memory=6791534058613427641 CPUtime=1.82 cores=0-7
/proc/21487/task/21503/stat : 21503 (java) S 21484 21487 21443 0 -1 1077944384 6053 0 0 0 181 1 0 0 20 0 48 0 253770992 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789128759680 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21504] ppid=21484 vsize=28050216 memory=1932 CPUtime=1.82 cores=0-7
/proc/21487/task/21504/stat : 21504 (java) S 21484 21487 21443 0 -1 1077944384 11413 0 0 0 180 2 0 0 20 0 48 0 253770992 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789127695024 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21505] ppid=21484 vsize=28050216 memory=2076 CPUtime=1.23 cores=0-7
/proc/21487/task/21505/stat : 21505 (java) S 21484 21487 21443 0 -1 1077944384 14272 0 0 0 120 3 0 0 20 0 48 0 253770992 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789126648816 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21506] ppid=21484 vsize=28050216 memory=1840 CPUtime=0 cores=0-7
/proc/21487/task/21506/stat : 21506 (java) S 21484 21487 21443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 253770992 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789125601504 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21507] ppid=21484 vsize=28050216 memory=7904 CPUtime=0.72 cores=0-7
/proc/21487/task/21507/stat : 21507 (java) S 21484 21487 21443 0 -1 1077944384 9764 0 0 0 27 45 0 0 20 0 48 0 253770992 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789124549040 139790390491778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21508] ppid=21484 vsize=28050216 memory=800 CPUtime=0.03 cores=0-7
/proc/21487/task/21508/stat : 21508 (java) S 21484 21487 21443 0 -1 1077944384 2496 0 0 0 3 0 0 0 20 0 48 0 253771538 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789113205456 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21509] ppid=21484 vsize=28050216 memory=1796 CPUtime=2.17 cores=0-7
/proc/21487/task/21509/stat : 21509 (java) S 21484 21487 21443 0 -1 1077944384 17479 0 0 0 76 141 0 0 20 0 48 0 253771555 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789110055984 139790390491778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21510] ppid=21484 vsize=28050216 memory=5192 CPUtime=2476.52 cores=0-7
/proc/21487/task/21510/stat : 21510 (java) S 21484 21487 21443 0 -1 1077944384 75583 0 0 0 247585 67 0 0 20 0 48 0 253771577 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789038767568 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21511] ppid=21484 vsize=28050216 memory=13608 CPUtime=2477.15 cores=0-7
/proc/21487/task/21511/stat : 21511 (java) R 21484 21487 21443 0 -1 4202560 72164 0 0 0 247642 73 0 0 20 0 48 0 253771578 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789037715104 139790002500208 0 4 0 16800975 0 0 0 -1 6 0 0 42 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21512] ppid=21484 vsize=28050216 memory=1860 CPUtime=0.05 cores=0-7
/proc/21487/task/21512/stat : 21512 (java) S 21484 21487 21443 0 -1 1077944384 314 0 0 0 5 0 0 0 20 0 48 0 253771578 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789036668560 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21513] ppid=21484 vsize=28050216 memory=36744 CPUtime=0.06 cores=0-7
/proc/21487/task/21513/stat : 21513 (java) S 21484 21487 21443 0 -1 1077944384 535 0 0 0 6 0 0 0 20 0 48 0 253771586 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789033515088 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21514] ppid=21484 vsize=28050216 memory=13808 CPUtime=0.07 cores=0-7
/proc/21487/task/21514/stat : 21514 (java) S 21484 21487 21443 0 -1 1077944384 615 0 0 0 7 0 0 0 20 0 48 0 253771586 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789032460656 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21515] ppid=21484 vsize=28050216 memory=524 CPUtime=2477.5 cores=0-7
/proc/21487/task/21515/stat : 21515 (java) R 21484 21487 21443 0 -1 4202560 75761 0 0 0 247683 67 0 0 20 0 48 0 253771586 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789031404672 139789996215626 0 4 0 16800975 0 0 0 -1 0 0 0 46 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21516] ppid=21484 vsize=28050216 memory=1528 CPUtime=2477.47 cores=0-7
/proc/21487/task/21516/stat : 21516 (java) R 21484 21487 21443 0 -1 4202560 75766 0 0 0 247678 69 0 0 20 0 48 0 253771586 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789030352752 139790002200649 0 4 0 16800975 0 0 0 -1 1 0 0 47 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21517] ppid=21484 vsize=28050216 memory=924 CPUtime=0.08 cores=0-7
/proc/21487/task/21517/stat : 21517 (java) S 21484 21487 21443 0 -1 1077944384 428 0 0 0 8 0 0 0 20 0 48 0 253771586 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789029305696 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21518] ppid=21484 vsize=28050216 memory=1140 CPUtime=2477.61 cores=0-7
/proc/21487/task/21518/stat : 21518 (java) R 21484 21487 21443 0 -1 4202560 74903 0 0 0 247701 60 0 0 20 0 48 0 253771586 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789028247536 139790004249102 0 4 0 16800975 0 0 0 -1 3 0 0 38 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21519] ppid=21484 vsize=28050216 memory=1548 CPUtime=2478.36 cores=0-7
/proc/21487/task/21519/stat : 21519 (java) R 21484 21487 21443 0 -1 4202560 75171 0 0 0 247774 62 0 0 20 0 48 0 253771586 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789027196576 139790002952777 0 4 0 16800975 0 0 0 -1 4 0 0 38 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21520] ppid=21484 vsize=28050216 memory=1432 CPUtime=2473.09 cores=0-7
/proc/21487/task/21520/stat : 21520 (java) R 21484 21487 21443 0 -1 4202560 83709 0 0 0 247235 74 0 0 20 0 48 0 253771595 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789026142448 139790003449851 0 4 0 16800975 0 0 0 -1 2 0 0 41 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21521] ppid=21484 vsize=28050216 memory=816 CPUtime=2474.72 cores=0-7
/proc/21487/task/21521/stat : 21521 (java) R 21484 21487 21443 0 -1 4202560 78216 0 0 0 247408 64 0 0 20 0 48 0 253771596 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789025090032 139790004237341 0 4 0 16800975 0 0 0 -1 5 0 0 47 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21522] ppid=21484 vsize=28050216 memory=1932 CPUtime=0.01 cores=0-7
/proc/21487/task/21522/stat : 21522 (java) S 21484 21487 21443 0 -1 1077944384 453 0 0 0 1 0 0 0 20 0 48 0 253771654 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789021909904 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21523] ppid=21484 vsize=28050216 memory=2076 CPUtime=0.01 cores=0-7
/proc/21487/task/21523/stat : 21523 (java) S 21484 21487 21443 0 -1 1077944384 416 0 0 0 1 0 0 0 20 0 48 0 253771655 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789020856880 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21524] ppid=21484 vsize=28050216 memory=1840 CPUtime=0.02 cores=0-7
/proc/21487/task/21524/stat : 21524 (java) S 21484 21487 21443 0 -1 1077944384 909 0 0 0 2 0 0 0 20 0 48 0 253771655 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789019800384 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21525] ppid=21484 vsize=28050216 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/21487/task/21525/stat : 21525 (java) S 21484 21487 21443 0 -1 1077944384 469 0 0 0 1 0 0 0 20 0 48 0 253771656 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789018752272 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21526] ppid=21484 vsize=28050216 memory=800 CPUtime=0.01 cores=0-7
/proc/21487/task/21526/stat : 21526 (java) S 21484 21487 21443 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 48 0 253771658 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789017699728 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21527] ppid=21484 vsize=28050216 memory=4839148 CPUtime=0.01 cores=0-7
/proc/21487/task/21527/stat : 21527 (java) S 21484 21487 21443 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 48 0 253771660 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789016646704 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21528] ppid=21484 vsize=28050216 memory=912 CPUtime=0.01 cores=0-7
/proc/21487/task/21528/stat : 21528 (java) S 21484 21487 21443 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 48 0 253771662 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789015585728 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21529] ppid=21484 vsize=28050216 memory=3912 CPUtime=0.01 cores=0-7
/proc/21487/task/21529/stat : 21529 (java) S 21484 21487 21443 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 48 0 253771663 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789014542096 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21530] ppid=21484 vsize=28050216 memory=1408 CPUtime=0.03 cores=0-7
/proc/21487/task/21530/stat : 21530 (java) S 21484 21487 21443 0 -1 1077944384 869 0 0 0 3 0 0 0 20 0 48 0 253771665 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789013482640 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21531] ppid=21484 vsize=28050216 memory=4636 CPUtime=0.01 cores=0-7
/proc/21487/task/21531/stat : 21531 (java) S 21484 21487 21443 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 48 0 253771669 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789012435984 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21532] ppid=21484 vsize=28050216 memory=4839148 CPUtime=0.01 cores=0-7
/proc/21487/task/21532/stat : 21532 (java) S 21484 21487 21443 0 -1 1077944384 366 0 0 0 1 0 0 0 20 0 48 0 253771669 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789011383440 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21533] ppid=21484 vsize=28050216 memory=4104 CPUtime=0.01 cores=0-7
/proc/21487/task/21533/stat : 21533 (java) S 21484 21487 21443 0 -1 1077944384 378 0 0 0 1 0 0 0 20 0 48 0 253771669 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789010330896 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21592] ppid=21484 vsize=28050216 memory=1398720917958146503 CPUtime=0 cores=0-7
/proc/21487/task/21592/stat : 21592 (java) S 21484 21487 21443 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 48 0 254022990 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789009277424 139790390490837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
[pid=21487/tid=21594] ppid=21484 vsize=28050216 memory=816 CPUtime=0 cores=0-7
/proc/21487/task/21594/stat : 21594 (java) S 21484 21487 21443 0 -1 1077944384 1319 0 0 0 0 0 0 0 20 0 48 0 254022995 28723421184 1210090 33554432000 4194304 4196468 140736752358416 139789007172096 139790390491778 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140736752366670 140736752366853 140736752366853 140736752369615 0
Current children cumulated CPU time: 19932.1 s
Current children cumulated vsize: 28050216 KiB
Current children cumulated memory: 4840360 KiB

Child status: 143
Real time (s): 2520.32
CPU time (s): 19932.5
CPU user time (s): 19920.9
CPU system time (s): 11.6586
CPU usage (%): 790.874
Max. virtual memory (cumulated for all children) (KiB): 28050216
Max. memory (cumulated for all children) (KiB): 5161228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19920.9
system time used= 11.6586
maximum resident set size= 5163276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1980887
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 715950
involuntary context switches= 422321


# summary of solver processes directly reported to runsolver:
#   pid: 21487
#   total CPU time (s): 19932.5
#   total CPU user time (s): 19920.9
#   total CPU system time (s): 11.6586

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.269 second user time and 36.0492 second system time

The end

Launcher Data 

Begin job on node103 at 2018-08-15 21:41:18
IDJOB=4309266
IDBENCH=141160
IDSOLVER=2793
FILE ID=node103/4309266-1534362078
RUNJOBID= node103-1534362078-21470
PBS_JOBID= 21038265
Free space on /tmp= 38636 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay400_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309266-1534362078/watcher-4309266-1534362078 -o /tmp/evaluation-result-4309266-1534362078/solver-4309266-1534362078 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node103-1534362078-21470 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 914643773 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309266-1534362078.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= ef5bf96e0ba9cc2c7a758eef92479658
RANDOM SEED=914643773

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24073420 kB
MemAvailable:   31934908 kB
Buffers:          202980 kB
Cached:          7863264 kB
SwapCached:         5140 kB
Active:          4327560 kB
Inactive:        3749800 kB
Active(anon):       3300 kB
Inactive(anon):    67480 kB
Active(file):    4324260 kB
Inactive(file):  3682320 kB
Unevictable:        7772 kB
Mlocked:            7772 kB
SwapTotal:      67108860 kB
SwapFree:       67059136 kB
Dirty:             35720 kB
Writeback:             0 kB
AnonPages:         14448 kB
Mapped:            54104 kB
Shmem:             56924 kB
Slab:             312196 kB
SReclaimable:     283368 kB
SUnreclaim:        28828 kB
KernelStack:        3152 kB
PageTables:         4868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     357224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 38600 MiB
End job on node103 at 2018-08-15 22:23:18