Trace number 4309268

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)959629 19926.6 2520.35

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.67/0.55	c version: 2018-08-14
0.67/0.55	c seed: 309820183
0.67/0.55	c timeout: 20160
0.67/0.55	c memlimit: 22000
0.67/0.55	c nbcore: 8
0.67/0.58	c Parsing instance...
2.59/1.13	c Parsing done, starting search...
16.39/6.69	o 1056
17.06/6.70	o 17182
17.06/6.72	o 24612
17.06/6.72	o 35785
17.06/6.75	o 37904
17.06/6.75	o 49077
17.06/6.75	o 53835
17.06/6.75	o 54430
17.06/6.76	o 60292
17.06/6.76	o 67722
17.06/6.76	o 72480
17.06/6.76	o 76223
17.06/6.78	o 78895
17.06/6.78	o 83653
17.06/6.78	o 87637
17.89/6.81	o 90198
17.89/6.81	o 94182
17.89/6.81	o 94956
17.89/6.81	o 98940
17.89/6.85	o 99068
17.89/6.85	o 105613
17.89/6.85	o 110371
17.89/6.85	o 114355
17.89/6.85	o 117970
17.89/6.86	o 119254
17.89/6.86	o 122869
17.89/6.86	o 123238
17.89/6.86	o 126853
17.89/6.86	o 127480
17.89/6.86	o 134669
17.89/6.86	o 138653
17.89/6.88	o 142268
17.89/6.88	o 143042
17.89/6.88	o 143411
17.89/6.88	o 147026
17.89/6.88	o 149498
17.89/6.89	o 153113
18.65/6.90	o 155516
18.65/6.90	o 159131
18.65/6.90	o 161693
18.65/6.90	o 165308
18.65/6.91	o 168312
18.65/6.91	o 168676
18.65/6.91	o 172291
18.65/6.91	o 173017
18.65/6.91	o 177129
18.65/6.92	o 181138
18.65/6.92	o 183674
18.65/6.92	o 183985
18.65/6.93	o 188432
18.65/6.93	o 192411
18.65/6.93	o 196026
18.65/6.93	o 197666
18.65/6.93	o 198498
18.65/6.93	o 202113
18.65/6.93	o 202309
18.65/6.94	o 205714
18.65/6.94	o 205910
18.65/6.94	o 206078
18.65/6.94	o 209693
18.65/6.94	o 209889
18.65/6.94	o 212165
18.65/6.94	o 212361
18.65/6.94	o 215780
18.65/6.94	o 215976
18.65/6.94	o 217369
18.65/6.94	o 217565
18.65/6.95	o 217879
18.65/6.95	o 218243
18.65/6.95	o 218535
18.65/6.95	o 219059
18.65/6.95	o 221858
18.65/6.96	o 221960
18.65/6.96	o 222127
18.65/6.96	o 226407
18.65/6.96	o 227427
18.65/6.96	o 227623
18.65/6.97	o 228392
18.65/6.97	o 229899
18.65/6.97	o 230386
18.65/6.98	o 230582
18.65/6.98	o 230676
18.65/6.98	o 232265
18.65/6.99	o 233514
18.65/6.99	o 233710
18.65/6.99	o 234237
18.65/6.99	o 234433
18.65/6.99	o 235566
18.65/6.99	o 235877
18.65/6.99	o 236345
18.65/6.99	o 236709
18.65/6.99	o 240324
18.65/6.99	o 240520
18.65/7.00	o 241884
18.65/7.00	o 242080
18.65/7.00	o 242874
18.65/7.00	o 244053
18.65/7.00	o 244249
18.65/7.01	o 245713
19.40/7.01	o 245909
19.40/7.01	o 246575
19.40/7.02	o 247326
19.40/7.02	o 247757
19.40/7.02	o 247953
19.40/7.02	o 248512
19.40/7.02	o 248708
19.40/7.02	o 248738
19.40/7.03	o 251800
19.40/7.03	o 251996
19.40/7.03	o 253413
19.40/7.03	o 253844
19.40/7.04	o 254040
19.40/7.04	o 256731
19.40/7.04	o 259352
19.40/7.05	o 262818
19.40/7.05	o 264016
19.40/7.05	o 266728
19.40/7.06	o 267766
19.40/7.06	o 269596
19.40/7.06	o 272341
19.40/7.07	o 274702
19.40/7.07	o 275474
19.40/7.07	o 275683
19.40/7.07	o 278578
19.40/7.08	o 280172
19.40/7.08	o 281128
19.40/7.09	o 284645
19.40/7.09	o 288091
19.40/7.10	o 288497
19.40/7.10	o 288750
19.40/7.10	o 289582
19.40/7.10	o 291757
19.40/7.11	o 293991
19.69/7.11	o 294214
19.69/7.11	o 296092
19.69/7.11	o 299465
19.69/7.12	o 299661
19.69/7.12	o 299689
19.69/7.12	o 299775
19.69/7.12	o 301864
19.69/7.12	o 302360
19.69/7.13	o 305096
19.69/7.13	o 307119
19.69/7.14	o 310994
19.69/7.14	o 312175
19.69/7.14	o 312654
19.69/7.14	o 314255
19.69/7.15	o 316101
19.69/7.15	o 316380
19.69/7.15	o 319091
19.69/7.16	o 320079
19.69/7.16	o 322974
19.69/7.16	o 324233
19.69/7.16	o 324442
19.69/7.16	o 326869
19.69/7.17	o 328992
19.69/7.17	o 329241
19.69/7.17	o 329961
19.69/7.17	o 332856
19.69/7.18	o 334275
19.69/7.18	o 335079
19.69/7.18	o 335650
19.69/7.18	o 337197
19.69/7.18	o 337391
19.69/7.19	o 337583
19.69/7.19	o 340286
19.69/7.19	o 340703
19.69/7.19	o 341403
19.69/7.19	o 344298
19.69/7.19	o 345496
19.69/7.19	o 349111
19.88/7.20	o 351362
19.88/7.20	o 352006
19.88/7.20	o 352785
19.88/7.21	o 352816
19.88/7.21	o 352888
19.88/7.21	o 353052
19.88/7.21	o 356248
19.88/7.21	o 357335
19.88/7.21	o 359956
19.88/7.21	o 362851
19.88/7.22	o 363422
19.88/7.22	o 365674
19.88/7.22	o 366287
19.88/7.22	o 367401
19.88/7.23	o 367920
19.88/7.23	o 368949
19.88/7.23	o 371844
19.88/7.23	o 373306
19.88/7.23	o 375067
19.88/7.24	o 375553
19.88/7.24	o 377314
19.88/7.24	o 377560
19.88/7.24	o 379321
19.88/7.24	o 379712
19.88/7.25	o 381271
19.88/7.25	o 382225
19.88/7.25	o 382329
19.88/7.25	o 382744
19.88/7.25	o 383947
19.88/7.26	o 384781
19.88/7.26	o 385871
19.88/7.26	o 386741
19.88/7.26	o 386842
19.88/7.26	o 387721
19.88/7.26	o 390616
19.88/7.26	o 392377
19.88/7.27	o 392731
19.88/7.27	o 394492
19.88/7.27	o 394584
19.88/7.27	o 396345
19.88/7.28	o 397901
19.88/7.28	o 397941
19.88/7.28	o 399702
19.88/7.28	o 401399
19.88/7.29	o 401576
19.88/7.29	o 403337
19.88/7.29	o 403988
19.88/7.29	o 405562
19.88/7.29	o 406468
19.88/7.29	o 406470
19.88/7.29	o 407710
19.88/7.30	o 408428
20.10/7.30	o 408763
20.10/7.30	o 409811
20.10/7.30	o 409860
20.10/7.30	o 411100
20.10/7.31	o 411605
20.10/7.31	o 412845
20.10/7.31	o 414448
20.10/7.31	o 415553
20.10/7.31	o 416928
20.10/7.32	o 417127
20.10/7.32	o 418888
20.10/7.32	o 419579
20.10/7.32	o 421056
20.10/7.32	o 422887
20.10/7.32	o 424648
20.10/7.33	o 426088
20.10/7.33	o 426739
20.10/7.33	o 427245
20.10/7.33	o 427848
20.10/7.33	o 427979
20.10/7.33	o 429245
20.10/7.33	o 429537
20.10/7.34	o 431298
20.10/7.34	o 432538
20.10/7.34	o 433034
20.10/7.34	o 434274
20.10/7.35	o 434888
20.10/7.35	o 435049
20.10/7.35	o 435320
20.10/7.35	o 436305
20.10/7.35	o 437545
20.10/7.35	o 438066
20.10/7.35	o 439306
20.10/7.36	o 439826
20.10/7.36	o 440269
20.10/7.36	o 441456
20.10/7.36	o 442696
20.10/7.36	o 442930
20.10/7.36	o 443769
20.10/7.36	o 444290
20.10/7.36	o 445530
20.10/7.37	o 446181
20.10/7.37	o 446322
20.10/7.37	o 446508
20.10/7.38	o 447069
20.10/7.38	o 447280
20.10/7.38	o 448309
20.10/7.38	o 448520
20.10/7.38	o 448918
20.10/7.38	o 450703
20.10/7.38	o 450765
20.10/7.38	o 451118
20.10/7.39	o 451299
20.10/7.39	o 451407
20.10/7.39	o 451538
20.10/7.39	o 452464
20.10/7.39	o 452851
20.10/7.39	o 454091
20.10/7.39	o 454302
20.10/7.40	o 454430
20.10/7.40	o 455020
20.10/7.40	o 455708
20.10/7.40	o 455919
20.10/7.41	o 456148
20.42/7.41	o 456711
20.42/7.41	o 458750
20.42/7.41	o 459268
20.42/7.41	o 459479
20.42/7.42	o 459538
20.42/7.42	o 460273
20.42/7.42	o 462729
20.42/7.42	o 462962
20.42/7.42	o 464490
20.42/7.42	o 464723
20.42/7.43	o 464763
20.42/7.43	o 464974
20.42/7.43	o 466153
20.42/7.43	o 467138
20.42/7.43	o 468378
20.42/7.43	o 468589
20.42/7.44	o 468624
20.42/7.44	o 468835
20.42/7.44	o 469207
20.42/7.44	o 470447
20.42/7.45	o 470724
20.42/7.45	o 471653
20.42/7.45	o 471864
20.42/7.45	o 473189
20.42/7.46	o 473217
20.42/7.46	o 473613
20.42/7.46	o 473824
20.42/7.46	o 474711
20.42/7.46	o 475701
20.42/7.46	o 475912
20.42/7.46	o 476630
20.42/7.47	o 476841
20.42/7.47	o 477151
20.42/7.47	o 477462
20.42/7.47	o 478391
20.42/7.47	o 478602
20.42/7.48	o 478789
20.42/7.48	o 479129
20.42/7.48	o 479936
20.42/7.48	o 480169
20.42/7.48	o 480369
20.42/7.48	o 480580
20.42/7.48	o 481104
20.42/7.48	o 481315
20.42/7.49	o 481479
20.42/7.49	o 481690
20.42/7.49	o 481790
20.42/7.49	o 482719
20.42/7.49	o 482930
20.42/7.50	o 483228
20.42/7.50	o 483439
20.42/7.50	o 484213
20.63/7.50	o 485016
20.63/7.50	o 485249
20.63/7.50	o 485480
20.63/7.50	o 485713
20.63/7.50	o 487241
20.63/7.50	o 487474
20.63/7.51	o 487606
20.63/7.51	o 488276
20.63/7.51	o 488332
20.63/7.51	o 489261
20.63/7.52	o 489277
20.63/7.52	o 489798
20.63/7.52	o 491038
20.63/7.52	o 491208
20.63/7.52	o 491672
20.63/7.52	o 493433
20.63/7.52	o 494673
20.63/7.52	o 495604
20.63/7.52	o 496994
20.63/7.52	o 497458
20.63/7.52	o 499219
20.63/7.53	o 499452
20.63/7.53	o 500082
20.63/7.53	o 500293
20.63/7.53	o 500459
20.63/7.54	o 500518
20.63/7.54	o 500574
20.63/7.54	o 501814
20.63/7.54	o 502743
20.63/7.54	o 502954
20.63/7.54	o 503849
20.63/7.54	o 504082
20.63/7.55	o 504129
20.63/7.55	o 504340
20.63/7.55	o 504707
20.63/7.55	o 504764
20.63/7.55	o 504811
20.63/7.55	o 505643
20.63/7.55	o 506188
20.63/7.55	o 506577
20.63/7.55	o 508338
20.63/7.56	o 508510
20.63/7.56	o 508721
20.63/7.56	o 508821
20.63/7.56	o 509750
20.63/7.56	o 509961
20.63/7.57	o 510582
20.63/7.57	o 510793
20.63/7.57	o 511511
20.63/7.57	o 511722
20.63/7.57	o 512553
20.63/7.57	o 513171
20.63/7.57	o 513363
20.63/7.58	o 513836
20.63/7.58	o 514032
20.63/7.58	o 514147
20.63/7.58	o 515076
20.63/7.58	o 515272
20.63/7.58	o 515287
20.63/7.59	o 515483
20.63/7.59	o 515546
20.63/7.59	o 515857
20.63/7.59	o 516786
20.63/7.59	o 517349
20.63/7.60	o 517560
20.63/7.60	o 518240
20.98/7.60	o 518241
20.98/7.60	o 518298
20.98/7.60	o 518533
20.98/7.60	o 519462
20.98/7.61	o 519616
20.98/7.61	o 519849
20.98/7.61	o 520001
20.98/7.61	o 520930
20.98/7.61	o 521141
20.98/7.62	o 521561
20.98/7.62	o 521892
20.98/7.62	o 521948
20.98/7.62	o 522877
20.98/7.62	o 523188
20.98/7.62	o 524117
20.98/7.62	o 524261
20.98/7.62	o 524783
20.98/7.62	o 524979
20.98/7.62	o 524994
20.98/7.62	o 525190
20.98/7.63	o 526003
20.98/7.63	o 526214
20.98/7.63	o 526524
20.98/7.63	o 526835
20.98/7.63	o 527764
20.98/7.64	o 527785
20.98/7.64	o 528518
20.98/7.64	o 529447
20.98/7.64	o 529968
20.98/7.64	o 530279
20.98/7.64	o 531208
20.98/7.64	o 531419
20.98/7.65	o 531439
20.98/7.65	o 532368
20.98/7.65	o 532579
20.98/7.65	o 532679
20.98/7.65	o 532890
20.98/7.65	o 533608
20.98/7.65	o 533819
20.98/7.65	o 534007
20.98/7.65	o 534781
20.98/7.65	o 536021
20.98/7.66	o 536232
20.98/7.66	o 536950
20.98/7.66	o 537161
20.98/7.66	o 538207
20.98/7.66	o 539136
20.98/7.66	o 539369
20.98/7.67	o 539482
20.98/7.67	o 539693
20.98/7.67	o 539932
20.98/7.67	o 540143
20.98/7.67	o 540376
20.98/7.67	o 540609
20.98/7.67	o 540937
20.98/7.67	o 541133
20.98/7.67	o 541521
20.98/7.68	o 542987
20.98/7.68	o 544227
20.98/7.68	o 545156
20.98/7.68	o 545352
20.98/7.68	o 545991
20.98/7.69	o 546202
20.98/7.69	o 546512
20.98/7.69	o 546823
20.98/7.69	o 547752
20.98/7.69	o 547963
20.98/7.69	o 547994
20.98/7.69	o 549755
20.98/7.69	o 550995
20.98/7.69	o 551191
20.98/7.70	o 551647
20.98/7.70	o 552576
21.49/7.70	o 553408
21.49/7.70	o 554337
21.49/7.70	o 554548
21.49/7.70	o 554612
21.49/7.71	o 555541
21.49/7.71	o 555752
21.49/7.71	o 555797
21.49/7.71	o 556008
21.49/7.71	o 556030
21.49/7.71	o 556241
21.49/7.71	o 556962
21.49/7.71	o 557173
21.49/7.71	o 557273
21.49/7.71	o 557484
21.49/7.72	o 558202
21.49/7.72	o 558413
21.49/7.72	o 558511
21.49/7.72	o 558722
21.49/7.72	o 559125
21.49/7.72	o 559436
21.49/7.72	o 560365
21.49/7.72	o 561197
21.49/7.72	o 562126
21.49/7.73	o 562337
21.49/7.73	o 563132
21.49/7.73	o 563343
21.49/7.73	o 563365
21.49/7.73	o 563576
21.49/7.73	o 563653
21.49/7.73	o 563886
21.49/7.73	o 563964
21.49/7.73	o 564893
21.49/7.73	o 565126
21.49/7.74	o 565337
21.49/7.74	o 565441
21.49/7.74	o 566215
21.49/7.74	o 566526
21.49/7.74	o 567455
21.49/7.74	o 567666
21.49/7.74	o 567688
21.49/7.74	o 567899
21.49/7.75	o 567976
21.49/7.75	o 568287
21.49/7.75	o 569216
21.49/7.75	o 569449
21.49/7.75	o 569660
21.49/7.76	o 569682
21.49/7.76	o 570400
21.49/7.76	o 570611
21.49/7.76	o 571076
21.49/7.76	o 571287
21.49/7.76	o 571309
21.49/7.76	o 571520
21.49/7.76	o 571698
21.49/7.77	o 571776
21.49/7.77	o 572009
21.49/7.77	o 572705
21.49/7.77	o 572938
21.49/7.77	o 573413
21.49/7.77	o 573563
21.49/7.77	o 573874
21.49/7.77	o 574803
21.49/7.77	o 574859
21.49/7.77	o 576099
21.49/7.77	o 577028
21.49/7.77	o 577261
21.49/7.78	o 577830
21.49/7.78	o 578041
21.49/7.78	o 578237
21.49/7.78	o 578753
21.49/7.78	o 578949
21.49/7.78	o 579064
21.49/7.78	o 579993
21.49/7.78	o 580331
21.49/7.78	o 581627
21.49/7.78	o 582556
21.49/7.78	o 582767
21.49/7.79	o 582789
21.49/7.79	o 583000
21.49/7.79	o 583796
21.49/7.79	o 584029
21.49/7.79	o 584240
21.49/7.79	o 584628
21.49/7.79	o 584861
22.25/7.80	o 585072
22.25/7.80	o 585557
22.25/7.80	o 585768
22.25/7.80	o 585790
22.25/7.80	o 586001
22.25/7.81	o 586094
22.25/7.81	o 586327
22.25/7.81	o 586538
22.25/7.81	o 586554
22.25/7.81	o 586654
22.25/7.81	o 586865
22.25/7.81	o 587122
22.25/7.81	o 587486
22.25/7.81	o 588932
22.25/7.81	o 589861
22.25/7.81	o 590172
22.25/7.81	o 591101
22.25/7.81	o 591312
22.25/7.81	o 591334
22.25/7.81	o 591545
22.25/7.81	o 591622
22.25/7.81	o 591855
22.25/7.81	o 591933
22.25/7.81	o 592862
22.25/7.82	o 593095
22.25/7.82	o 593306
22.25/7.82	o 593799
22.25/7.82	o 594032
22.25/7.82	o 594243
22.25/7.82	o 594728
22.25/7.82	o 594939
22.25/7.83	o 594961
22.25/7.83	o 595172
22.25/7.83	o 595249
22.25/7.83	o 595482
22.25/7.83	o 595560
22.25/7.83	o 596489
22.25/7.83	o 596722
22.25/7.83	o 596933
22.25/7.83	o 597000
22.25/7.83	o 597071
22.25/7.83	o 598311
22.25/7.83	o 599240
22.25/7.83	o 599451
22.25/7.84	o 599554
22.25/7.84	o 600219
22.25/7.84	o 600415
22.25/7.84	o 601251
22.25/7.84	o 601447
22.25/7.84	o 601462
22.25/7.84	o 602447
22.25/7.84	o 602658
22.25/7.85	o 602680
22.25/7.85	o 602891
22.25/7.85	o 603376
22.25/7.85	o 603609
22.25/7.85	o 603820
22.25/7.86	o 604208
22.25/7.86	o 604419
22.25/7.86	o 605137
22.25/7.86	o 605348
22.25/7.86	o 605370
22.25/7.86	o 605581
22.25/7.86	o 606082
22.25/7.86	o 606315
22.25/7.86	o 606526
22.25/7.86	o 606642
22.25/7.86	o 606853
22.25/7.86	o 607474
22.25/7.86	o 608920
22.25/7.86	o 609849
22.25/7.86	o 610160
22.25/7.86	o 611089
22.25/7.86	o 611300
22.25/7.86	o 611322
22.25/7.86	o 611533
22.25/7.86	o 611610
22.25/7.86	o 611843
22.25/7.87	o 611921
22.25/7.87	o 612850
22.25/7.87	o 613083
22.25/7.87	o 613294
22.25/7.87	o 613370
22.25/7.88	o 613386
22.25/7.88	o 613871
22.25/7.88	o 614104
22.25/7.88	o 614315
22.25/7.88	o 614331
22.25/7.88	o 614555
22.25/7.88	o 614954
22.25/7.88	o 615724
22.25/7.88	o 616653
22.25/7.88	o 616709
22.25/7.88	o 617949
22.25/7.88	o 618878
22.25/7.88	o 619089
22.25/7.88	o 619111
22.25/7.89	o 619322
22.25/7.89	o 619710
22.25/7.89	o 620639
22.25/7.89	o 620872
22.25/7.89	o 621083
22.99/7.91	o 622010
22.99/7.91	o 622243
22.99/7.91	o 622454
22.99/7.91	o 622939
22.99/7.91	o 623150
22.99/7.91	o 623172
22.99/7.91	o 623383
22.99/7.91	o 623771
22.99/7.91	o 624004
22.99/7.91	o 624700
22.99/7.91	o 624933
22.99/7.97	o 625144
22.99/7.97	o 625732
22.99/7.97	o 625943
22.99/7.97	o 625965
22.99/7.97	o 626176
22.99/8.00	o 626443
23.77/8.01	o 626654
23.77/8.01	o 626902
23.77/8.01	o 628198
23.77/8.01	o 629127
23.77/8.01	o 629438
23.77/8.01	o 630367
23.77/8.01	o 630578
23.77/8.01	o 631199
23.77/8.01	o 631410
23.77/8.01	o 632128
23.77/8.01	o 632339
23.77/8.01	o 633160
23.77/8.01	o 633371
23.77/8.03	o 634289
23.77/8.03	o 634345
23.77/8.04	o 635274
23.77/8.04	o 635585
23.77/8.04	o 636514
23.77/8.04	o 636725
23.77/8.04	o 637346
23.77/8.04	o 637557
23.77/8.04	o 638275
23.77/8.04	o 638486
23.77/8.04	o 638605
23.77/8.04	o 638915
23.77/8.04	o 639226
23.77/8.04	o 640155
23.77/8.04	o 640366
23.77/8.04	o 640465
23.77/8.04	o 640520
23.77/8.04	o 640768
23.77/8.05	o 642008
23.77/8.05	o 642219
23.77/8.05	o 642993
23.77/8.05	o 643204
23.77/8.05	o 644233
23.77/8.05	o 644444
23.77/8.05	o 645162
23.77/8.05	o 645373
23.77/8.05	o 645994
23.77/8.05	o 646923
23.77/8.05	o 647134
23.77/8.05	o 647150
23.77/8.05	o 647868
23.77/8.05	o 648079
23.77/8.05	o 648552
23.77/8.06	o 648896
23.77/8.06	o 648951
23.77/8.06	o 649260
23.77/8.06	o 649410
23.77/8.06	o 649721
23.77/8.06	o 650650
23.77/8.06	o 650706
23.77/8.06	o 651946
23.77/8.06	o 652875
23.77/8.06	o 653086
23.77/8.06	o 653396
23.77/8.06	o 653607
23.77/8.06	o 653707
23.77/8.06	o 654636
23.77/8.06	o 654847
23.77/8.07	o 654950
23.77/8.07	o 655668
23.77/8.07	o 655879
24.57/8.15	o 656549
24.57/8.16	o 656760
24.57/8.16	o 657995
24.57/8.16	o 658924
24.57/8.16	o 659235
24.57/8.16	o 660164
24.57/8.16	o 660375
24.57/8.16	o 660996
24.57/8.16	o 661207
24.57/8.16	o 661925
24.57/8.16	o 662136
24.57/8.16	o 662596
24.57/8.16	o 662907
24.57/8.16	o 663836
24.57/8.16	o 664047
25.32/8.21	o 664065
25.32/8.21	o 664994
25.32/8.21	o 665205
25.32/8.21	o 665308
25.32/8.21	o 666026
25.32/8.21	o 666237
25.32/8.28	o 666275
25.32/8.29	o 666486
25.32/8.29	o 667204
25.32/8.29	o 667415
26.13/8.33	o 667519
26.13/8.34	o 667619
26.13/8.34	o 668548
26.13/8.34	o 668759
26.13/8.34	o 669144
26.13/8.34	o 669355
26.13/8.34	o 669380
26.13/8.34	o 670309
26.13/8.34	o 670905
26.13/8.34	o 671116
26.13/8.35	o 671156
26.13/8.35	o 671874
26.13/8.35	o 672085
26.13/8.35	o 672395
26.13/8.35	o 672706
26.13/8.35	o 673635
26.13/8.35	o 673846
26.13/8.37	o 673949
26.13/8.37	o 674667
26.13/8.38	o 674878
28.48/8.68	o 675110
28.48/8.69	o 675321
28.48/8.69	o 675631
28.48/8.69	o 675942
28.48/8.69	o 676871
28.48/8.69	o 677082
28.48/8.69	o 677185
28.48/8.69	o 677903
28.48/8.69	o 678114
29.27/8.70	o 678246
29.27/8.73	o 678342
29.27/8.74	o 678652
29.27/8.74	o 678963
29.27/8.74	o 679892
29.27/8.74	o 680103
29.27/8.74	o 680206
29.27/8.75	o 680924
29.27/8.75	o 681135
30.08/8.83	o 681229
30.08/8.84	o 681440
30.08/8.84	o 681750
30.08/8.84	o 682061
30.08/8.84	o 682990
30.08/8.84	o 683201
30.08/8.84	o 683511
30.08/8.84	o 683722
30.08/8.84	o 683760
30.08/8.84	o 684539
30.08/8.84	o 684903
30.08/8.84	o 686349
30.08/8.84	o 687589
30.08/8.84	o 688518
30.08/8.84	o 688729
30.08/8.84	o 689039
30.08/8.84	o 689250
30.08/8.84	o 689350
30.08/8.85	o 690279
30.08/8.85	o 690490
30.08/8.86	o 690622
30.88/8.93	o 691311
30.88/8.94	o 691522
30.88/8.94	o 691654
31.74/9.05	o 691718
31.74/9.05	o 691914
31.74/9.05	o 692747
31.74/9.05	o 692958
31.74/9.05	o 693154
31.74/9.05	o 693676
31.74/9.05	o 693872
31.74/9.05	o 693887
31.74/9.05	o 694083
31.74/9.09	o 694171
31.74/9.11	o 694382
31.74/9.11	o 695305
31.74/9.11	o 696137
31.74/9.11	o 697066
31.74/9.11	o 697277
31.74/9.11	o 697473
33.26/9.23	o 697665
33.26/9.24	o 697876
33.26/9.24	o 698040
33.26/9.24	o 698712
33.26/9.24	o 698923
33.26/9.24	o 699578
33.26/9.24	o 699889
33.26/9.24	o 700818
33.26/9.24	o 701029
33.26/9.24	o 701279
33.26/9.24	o 701490
33.26/9.24	o 702264
33.26/9.24	o 703504
33.26/9.24	o 703715
33.26/9.24	o 704433
33.26/9.24	o 704644
34.86/9.48	o 704698
34.86/9.48	o 705009
34.86/9.49	o 705938
34.86/9.49	o 706003
34.86/9.49	o 707243
34.86/9.49	o 708172
34.86/9.49	o 708383
35.65/9.57	o 708408
35.65/9.58	o 708619
35.65/9.58	o 709240
35.65/9.58	o 710169
35.65/9.58	o 710380
35.65/9.58	o 711201
35.65/9.58	o 711412
37.23/9.72	o 712191
37.23/9.72	o 712402
37.23/9.75	o 713223
37.23/9.76	o 713434
40.48/10.12	o 714160
40.48/10.13	o 714371
42.00/10.38	o 714661
42.00/10.38	o 714972
42.00/10.39	o 715901
42.00/10.39	o 716112
42.00/10.39	o 716733
42.00/10.39	o 716944
42.00/10.39	o 717662
42.00/10.39	o 717873
42.00/10.39	o 718745
42.00/10.39	o 719054
42.00/10.39	o 719433
42.00/10.39	o 719515
42.00/10.39	o 720444
42.00/10.39	o 720500
42.00/10.39	o 721740
42.00/10.39	o 722669
42.00/10.41	o 722880
42.00/10.41	o 723501
42.00/10.41	o 723712
42.00/10.41	o 724430
42.00/10.41	o 724641
48.46/11.11	o 724984
48.46/11.11	o 725040
48.46/11.12	o 725969
48.46/11.12	o 726280
48.46/11.12	o 727209
48.46/11.12	o 727420
48.46/11.12	o 728041
48.46/11.12	o 728252
48.46/11.12	o 728970
48.46/11.12	o 729181
53.97/11.87	o 729375
53.97/11.88	o 729586
53.97/11.88	o 729929
53.97/11.88	o 729985
53.97/11.88	o 730914
53.97/11.88	o 731225
53.97/11.88	o 732154
53.97/11.88	o 732365
53.97/11.88	o 732986
53.97/11.88	o 733197
53.97/11.88	o 733915
53.97/11.88	o 734126
62.75/12.97	o 734195
62.75/12.98	o 734506
62.75/12.98	o 735435
62.75/12.98	o 735646
62.75/12.98	o 736267
62.75/12.98	o 736478
62.75/12.98	o 737196
62.75/12.98	o 737407
88.30/16.14	o 738145
88.30/16.14	o 738356
89.04/16.22	o 738853
89.04/16.23	o 739121
89.04/16.23	o 740050
89.04/16.23	o 740261
108.94/18.90	o 740411
109.74/18.91	o 740679
109.74/18.91	o 741608
109.74/18.91	o 741819
112.06/19.29	o 741839
112.06/19.30	o 742050
114.44/19.59	o 742940
115.24/19.60	o 743404
115.24/19.60	o 743925
115.24/19.60	o 743968
115.24/19.60	o 744236
115.24/19.60	o 745165
115.24/19.60	o 745376
130.39/21.56	o 745496
130.39/21.57	o 745707
130.39/21.57	o 746425
130.39/21.57	o 746636
130.39/21.57	o 746804
130.39/21.57	o 747039
130.39/21.57	o 747082
130.39/21.57	o 747350
130.39/21.57	o 748279
130.39/21.57	o 749111
130.39/21.57	o 750040
130.39/21.57	o 750251
138.31/22.55	o 750436
138.31/22.56	o 750647
138.31/22.56	o 750978
138.31/22.56	o 751499
138.31/22.56	o 751542
138.31/22.56	o 751810
138.31/22.56	o 752739
138.31/22.56	o 752950
138.31/22.56	o 753181
138.31/22.56	o 753392
138.31/22.56	o 754110
138.31/22.56	o 754321
138.31/22.57	o 754571
138.31/22.57	o 755500
138.31/22.57	o 755556
138.31/22.57	o 755599
138.31/22.57	o 756796
138.31/22.57	o 757725
138.31/22.57	o 757936
141.56/23.01	o 758623
141.56/23.01	o 758834
152.68/24.38	o 758944
152.68/24.40	o 759662
152.68/24.40	o 759873
152.68/24.40	o 760183
152.68/24.40	o 760226
152.68/24.40	o 760494
152.68/24.40	o 761423
152.68/24.40	o 761634
172.58/26.85	o 762376
172.58/26.86	o 762587
174.38/27.05	o 762670
174.38/27.05	o 763023
174.38/27.05	o 764220
174.38/27.05	o 764431
174.38/27.09	o 764921
174.38/27.10	o 765132
174.38/27.10	o 765442
174.38/27.10	o 765485
174.38/27.10	o 766682
174.38/27.10	o 766893
174.38/27.11	o 767520
174.38/27.11	o 767731
174.38/27.11	o 768041
174.38/27.11	o 768084
174.38/27.11	o 769281
174.38/27.11	o 769492
174.38/27.11	o 770256
174.38/27.11	o 770467
174.38/27.11	o 771266
174.38/27.11	o 771309
174.38/27.11	o 772506
174.38/27.11	o 772717
174.38/27.11	o 773070
174.38/27.12	o 773281
174.38/27.12	o 774267
174.38/27.12	o 774478
175.24/27.14	o 774537
175.24/27.14	o 774748
175.24/27.14	o 775369
175.24/27.14	o 776298
175.24/27.14	o 776509
194.89/29.60	o 776619
194.89/29.61	o 777337
194.89/29.61	o 777548
194.89/29.61	o 777901
194.89/29.61	o 778169
194.89/29.61	o 779098
194.89/29.61	o 779309
248.29/36.37	o 779830
248.29/36.38	o 780041
275.41/39.78	o 780686
275.41/39.78	o 780954
275.41/39.80	o 781883
275.41/39.80	o 782094
275.41/39.80	o 782859
275.41/39.80	o 783070
275.41/39.80	o 783788
275.41/39.80	o 783999
276.28/39.85	o 784402
276.28/39.85	o 784445
276.28/39.86	o 784713
276.28/39.86	o 785642
276.28/39.86	o 785853
284.18/40.83	o 786487
284.18/40.84	o 786698
284.18/40.84	o 786929
284.18/40.84	o 787858
284.18/40.84	o 788069
284.18/40.84	o 788319
284.18/40.84	o 788530
284.18/40.84	o 789304
284.18/40.84	o 789347
284.18/40.84	o 790544
284.18/40.84	o 790755
284.18/40.84	o 791473
284.18/40.84	o 791684
284.18/40.84	o 792398
284.18/40.84	o 793327
284.18/40.84	o 793538
328.77/46.47	o 794154
328.77/46.48	o 794365
328.77/46.48	o 795083
328.77/46.48	o 795294
328.77/46.48	o 795697
328.77/46.48	o 795740
328.77/46.48	o 796008
328.77/46.48	o 796937
328.77/46.48	o 797148
422.77/58.21	o 797317
441.09/60.55	o 797609
441.09/60.55	o 797820
441.09/60.55	o 798516
441.09/60.56	o 798980
441.09/60.56	o 799501
441.09/60.56	o 799812
441.09/60.56	o 800741
441.09/60.56	o 800952
441.09/60.56	o 801666
441.09/60.56	o 801877
441.09/60.56	o 802595
441.09/60.56	o 802806
453.92/62.19	o 803537
453.92/62.20	o 803748
453.92/62.20	o 804101
453.92/62.20	o 805298
453.92/62.20	o 805509
454.64/62.21	o 805575
454.64/62.21	o 805786
454.64/62.21	o 806815
454.64/62.21	o 807026
454.64/62.21	o 807336
454.64/62.21	o 807379
454.64/62.22	o 808576
454.64/62.22	o 808787
454.64/62.22	o 809197
454.64/62.23	o 809408
454.64/62.23	o 809586
454.64/62.23	o 809629
454.64/62.23	o 810826
454.64/62.23	o 811037
454.64/62.23	o 811390
454.64/62.23	o 811601
454.64/62.23	o 812587
454.64/62.23	o 812798
464.21/63.41	o 812883
464.21/63.41	o 813094
467.41/63.83	o 813371
467.41/63.84	o 813582
467.41/63.84	o 813781
467.41/63.84	o 813824
467.41/63.84	o 815021
467.41/63.84	o 815232
467.41/63.84	o 815585
467.41/63.84	o 815796
467.41/63.84	o 816782
467.41/63.85	o 816993
467.41/63.86	o 817214
467.41/63.86	o 818411
467.41/63.86	o 818622
467.41/63.86	o 818975
467.41/63.86	o 819186
467.41/63.86	o 820172
467.41/63.86	o 820383
476.18/64.92	o 820442
476.18/64.93	o 820653
476.18/64.93	o 821274
476.18/64.93	o 822203
476.18/64.93	o 822414
508.93/69.09	o 822622
508.93/69.09	o 823143
508.93/69.10	o 823186
508.93/69.10	o 823454
508.93/69.10	o 824383
508.93/69.10	o 824594
508.93/69.10	o 825359
508.93/69.10	o 825570
508.93/69.10	o 826288
508.93/69.10	o 826499
509.72/69.11	o 826902
509.72/69.11	o 826945
509.72/69.11	o 827213
509.72/69.11	o 828142
509.72/69.11	o 828353
581.49/78.11	o 828937
581.49/78.11	o 829148
653.93/87.26	o 829481
653.93/87.27	o 829692
662.70/88.33	o 829870
662.70/88.35	o 830081
662.70/88.35	o 831110
662.70/88.35	o 831321
662.70/88.35	o 831674
662.70/88.35	o 831885
662.70/88.35	o 832871
662.70/88.35	o 833082
669.26/89.20	o 833703
669.92/89.21	o 833914
669.92/89.26	o 833973
669.92/89.26	o 834184
669.92/89.27	o 834902
669.92/89.27	o 835113
716.18/95.03	o 836149
716.18/95.03	o 836360
716.18/95.04	o 837251
716.18/95.04	o 837462
716.18/95.05	o 838180
716.18/95.05	o 838391
716.18/95.10	o 838961
716.97/95.11	o 839172
716.97/95.11	o 840063
716.97/95.11	o 840274
716.97/95.11	o 840992
716.97/95.11	o 841203
716.97/95.11	o 841262
716.97/95.11	o 841473
716.97/95.11	o 842191
716.97/95.12	o 842402
1074.75/140.02	o 842742
1074.75/140.03	o 842953
1074.75/140.03	o 843263
1074.75/140.03	o 843306
1074.75/140.03	o 844503
1074.75/140.03	o 844714
1074.75/140.08	o 845605
1074.75/140.09	o 845816
1074.75/140.09	o 846534
1074.75/140.09	o 846745
1167.13/151.66	o 846753
1167.13/151.66	o 846964
1167.13/151.67	o 847274
1167.13/151.67	o 847317
1167.13/151.67	o 848514
1167.13/151.67	o 848725
1167.13/151.67	o 849616
1167.13/151.67	o 849827
1167.13/151.67	o 850545
1167.13/151.67	o 850756
1579.18/203.39	o 850845
1579.18/203.39	o 851563
1579.18/203.40	o 851774
1851.02/237.42	o 852783
1851.02/237.43	o 852994
1854.21/237.80	o 853709
1854.21/237.81	o 853920
1854.21/237.81	o 854638
1854.21/237.81	o 854849
1857.40/238.26	o 855025
1879.80/241.07	o 855647
1879.80/241.08	o 855858
1879.80/241.08	o 856435
1879.80/241.08	o 856614
1879.80/241.08	o 857632
1879.80/241.08	o 857854
1879.80/241.08	o 858872
1879.80/241.08	o 859083
1879.80/241.08	o 859436
1879.80/241.08	o 859647
1879.80/241.08	o 860633
1879.80/241.08	o 860844
1879.80/241.08	o 861735
1879.80/241.08	o 861946
1879.80/241.08	o 862664
1879.80/241.08	o 862875
1980.96/253.79	o 862934
1981.75/253.80	o 863145
1981.75/253.80	o 863863
1981.75/253.80	o 864074
2853.90/363.22	o 864170
2853.90/363.22	o 864381
2853.90/363.23	o 864577
3160.77/401.73	o 865337
3160.77/401.73	o 865548
3160.77/401.73	o 865801
3160.77/401.73	o 866365
3160.77/401.73	o 866633
3160.77/401.73	o 867562
3160.77/401.73	o 867773
3160.77/401.73	o 867969
3555.74/451.33	o 868781
3555.74/451.33	o 868992
3555.74/451.33	o 869188
3555.74/451.33	o 870021
3555.74/451.33	o 870217
3555.74/451.33	o 870232
3555.74/451.33	o 870428
3555.74/451.33	o 870950
3555.74/451.33	o 871161
3555.74/451.33	o 871357
3973.73/504.15	o 871552
3973.73/504.15	o 871567
3973.73/504.15	o 871763
3973.73/504.15	o 872596
3973.73/504.15	o 872807
3973.73/504.15	o 873003
3973.73/504.15	o 873117
3973.73/504.15	o 873313
3973.73/504.15	o 874357
3973.73/504.15	o 874553
3973.73/504.15	o 874568
3973.73/504.15	o 874764
3973.73/504.15	o 874827
3973.73/504.15	o 874870
3973.73/504.15	o 876067
3973.73/504.15	o 876278
3973.73/504.15	o 876474
3978.43/504.70	o 876605
3979.23/504.71	o 876816
3979.23/504.71	o 877297
3979.23/504.71	o 878315
3979.23/504.71	o 878526
3982.47/505.16	o 878707
3982.47/505.17	o 879514
3982.47/505.17	o 879725
3999.08/507.23	o 880016
3999.08/507.23	o 880059
3999.08/507.24	o 880238
3999.08/507.24	o 881256
3999.08/507.24	o 881467
3999.08/507.24	o 881999
3999.08/507.24	o 882210
3999.08/507.24	o 883017
3999.08/507.24	o 883228
4561.58/578.35	o 883379
4561.58/578.36	o 883590
4872.16/617.56	o 883770
4872.16/617.57	o 883785
4872.16/617.57	o 883981
4911.71/622.54	o 884419
4911.71/622.56	o 884630
4911.71/622.56	o 885447
4911.71/622.56	o 885626
4911.71/622.56	o 886644
4911.71/622.56	o 886855
4911.71/622.56	o 887051
4911.71/622.56	o 887387
4911.71/622.56	o 887598
4911.71/622.56	o 887794
4911.71/622.56	o 888405
4911.71/622.56	o 888601
4911.71/622.56	o 888616
4911.71/622.56	o 888812
4916.56/623.18	o 888907
4916.56/623.19	o 889118
4916.56/623.19	o 889428
4916.56/623.19	o 889650
4916.56/623.19	o 890668
4916.56/623.19	o 890879
6496.22/822.78	o 891052
6534.28/827.53	o 891147
6534.28/827.54	o 891358
6534.28/827.54	o 892344
6534.28/827.54	o 892555
7386.60/935.25	o 892713
8241.48/1043.33	o 892772
8241.48/1043.33	o 893421
8241.48/1043.33	o 893632
8241.48/1043.33	o 893790
10034.60/1269.99	o 893947
10034.60/1269.99	o 893985
10034.60/1270.00	o 894143
10034.60/1270.00	o 894196
10034.60/1270.00	o 894354
10034.60/1270.00	o 894473
10034.60/1270.00	o 894631
10034.60/1270.00	o 894684
10034.60/1270.00	o 894842
10034.60/1270.00	o 895550
10034.60/1270.00	o 895761
10034.60/1270.00	o 895919
10034.60/1270.01	o 895957
10034.60/1270.01	o 896115
10035.46/1270.07	o 896325
10035.46/1270.08	o 896521
10035.46/1270.08	o 896679
10412.33/1317.64	o 896827
10412.33/1317.65	o 896985
10412.33/1317.65	o 897006
10412.33/1317.65	o 897813
10412.33/1317.65	o 898024
10412.33/1317.65	o 898182
12002.87/1518.55	o 898259
12002.87/1518.55	o 898455
12002.87/1518.56	o 898613
12002.87/1518.56	o 898628
12002.87/1518.56	o 898666
12002.87/1518.56	o 898824
12007.69/1519.15	o 898925
12007.69/1519.16	o 898940
12007.69/1519.16	o 899136
12007.69/1519.16	o 899162
12007.69/1519.16	o 899969
12007.69/1519.16	o 900180
12007.69/1519.16	o 900376
12007.69/1519.16	o 900534
12036.95/1522.82	o 900629
12036.95/1522.83	o 900682
12036.95/1522.83	o 900840
12036.95/1522.83	o 900992
12036.95/1522.83	o 901203
12036.95/1522.83	o 901214
12036.95/1522.83	o 902232
12036.95/1522.83	o 902443
12036.95/1522.83	o 902601
13070.00/1653.54	o 902956
13070.00/1653.55	o 903167
13070.00/1653.55	o 903363
13070.00/1653.55	o 903521
13143.65/1662.81	o 903578
13143.65/1662.82	o 903736
13143.65/1662.82	o 904655
13143.65/1662.82	o 904813
13143.65/1662.82	o 904866
13143.65/1662.82	o 905024
13752.84/1739.82	o 905116
13752.84/1739.83	o 905327
13752.84/1739.83	o 905485
13989.65/1769.75	o 905927
13989.65/1769.76	o 906085
13989.65/1769.76	o 906146
13989.65/1769.76	o 907223
13989.65/1769.76	o 908152
13989.65/1769.76	o 908310
13989.65/1769.76	o 908363
13989.65/1769.76	o 908521
13989.65/1769.76	o 908850
13989.65/1769.76	o 909061
13989.65/1769.76	o 909219
13989.65/1769.77	o 909235
13989.65/1769.78	o 910006
13989.65/1769.78	o 910164
13989.65/1769.78	o 910217
13989.65/1769.78	o 910375
13989.65/1769.78	o 910704
13989.65/1769.78	o 910915
13989.65/1769.78	o 911073
13992.09/1770.05	o 911167
13992.09/1770.06	o 911277
13992.09/1770.06	o 912206
13992.09/1770.06	o 912364
13992.09/1770.06	o 913038
13992.09/1770.06	o 913196
13992.09/1770.06	o 913967
13992.09/1770.06	o 914125
13992.09/1770.06	o 914178
13992.09/1770.06	o 914336
13992.09/1770.06	o 914665
13992.09/1770.06	o 914876
13992.09/1770.06	o 915034
13992.09/1770.07	o 915050
13992.09/1770.07	o 915821
13992.09/1770.07	o 915979
13992.09/1770.07	o 916032
13992.09/1770.07	o 916190
13992.09/1770.07	o 916519
13992.09/1770.07	o 916730
13992.09/1770.07	o 916888
14341.63/1814.26	o 917009
14341.63/1814.27	o 917167
14341.63/1814.27	o 917220
14341.63/1814.27	o 917378
14341.63/1814.27	o 917623
14341.63/1814.27	o 917834
14341.63/1814.27	o 917934
14341.63/1814.27	o 918863
14341.63/1814.27	o 919074
14341.63/1814.27	o 919232
14376.50/1818.70	o 919561
14376.50/1818.70	o 919719
14377.30/1818.70	o 919772
14377.30/1818.70	o 919930
14393.97/1820.85	o 920419
14393.97/1820.85	o 920630
14393.97/1820.86	o 920788
14393.97/1820.86	o 921117
14393.97/1820.86	o 921275
14393.97/1820.86	o 921328
14393.97/1820.86	o 921486
14394.74/1820.92	o 921555
14394.74/1820.93	o 922273
14394.74/1820.93	o 922484
14394.74/1820.93	o 922642
14394.74/1820.95	o 922971
14394.74/1820.95	o 923129
14394.74/1820.95	o 923182
14394.74/1820.95	o 923340
14747.61/1865.58	o 923487
14747.61/1865.58	o 923607
14747.61/1865.58	o 923755
14747.61/1865.60	o 924473
14747.61/1865.60	o 924684
14747.61/1865.60	o 924994
14747.61/1865.60	o 925037
14747.61/1865.60	o 925157
14747.61/1865.60	o 925305
14747.61/1865.60	o 926234
14747.61/1865.60	o 926445
14747.61/1865.60	o 926603
14747.61/1865.60	o 927159
14747.61/1865.60	o 927317
14747.61/1865.60	o 927370
14747.61/1865.60	o 927528
14747.61/1865.60	o 928088
14747.61/1865.60	o 928299
14747.61/1865.60	o 928457
14748.43/1865.62	o 928786
14748.43/1865.62	o 928944
14748.43/1865.62	o 928997
14748.43/1865.62	o 929155
15964.70/2019.50	o 930152
15965.50/2019.50	o 930363
15965.50/2019.50	o 930559
15965.50/2019.50	o 930717
16457.45/2081.78	o 930767
16458.29/2081.83	o 930977
16458.29/2081.84	o 931173
16458.29/2081.84	o 931331
16458.29/2081.84	o 931383
16458.29/2081.84	o 931594
16458.29/2081.84	o 931752
16458.29/2081.84	o 932580
16458.29/2081.84	o 932738
16458.29/2081.84	o 932791
16458.29/2081.84	o 932949
16458.29/2081.84	o 933016
16458.29/2081.84	o 933227
16458.29/2081.84	o 934256
16458.29/2081.84	o 934467
16458.29/2081.84	o 934625
16458.29/2081.84	o 934663
16458.29/2081.84	o 934821
16458.29/2081.85	o 934988
16458.29/2081.85	o 935151
16458.29/2081.85	o 936017
16458.29/2081.85	o 936228
16458.29/2081.85	o 936424
16458.29/2081.85	o 936582
16627.05/2103.12	o 937421
16627.05/2103.13	o 937617
16627.05/2103.13	o 937775
16627.05/2103.13	o 937790
16627.05/2103.13	o 937828
16627.05/2103.13	o 937986
17465.19/2209.10	o 938496
17465.19/2209.12	o 938654
17465.19/2209.12	o 938692
17465.19/2209.12	o 938850
17465.19/2209.12	o 939425
17465.19/2209.12	o 939621
17465.19/2209.12	o 939779
17465.19/2209.12	o 940502
17465.19/2209.12	o 940660
17465.19/2209.12	o 940698
17465.19/2209.12	o 940856
17465.19/2209.12	o 940909
17465.19/2209.12	o 941067
17744.56/2244.31	o 941080
17900.89/2264.16	o 941408
17900.89/2264.17	o 941619
17900.89/2264.17	o 942648
17900.89/2264.17	o 942859
17900.89/2264.17	o 943017
17900.89/2264.17	o 943332
17900.89/2264.17	o 943490
17900.89/2264.17	o 943543
17900.89/2264.17	o 943701
17900.89/2264.17	o 944409
17900.89/2264.17	o 944620
17900.89/2264.17	o 944778
17901.63/2264.20	o 945649
17901.63/2264.20	o 945807
17901.63/2264.20	o 945845
17901.63/2264.20	o 946003
17901.63/2264.20	o 946056
17901.63/2264.21	o 946214
17902.42/2264.35	o 946306
17902.42/2264.36	o 947139
17902.42/2264.36	o 947335
17902.42/2264.36	o 947350
17902.42/2264.36	o 947546
17902.42/2264.36	o 947704
19171.28/2424.89	o 947758
19171.28/2424.91	o 948047
19171.28/2424.91	o 948258
19171.28/2424.91	o 948416
19171.28/2424.91	o 949065
19171.28/2424.91	o 949223
19171.28/2424.91	o 949276
19171.28/2424.91	o 949434
19172.13/2424.94	o 950034
19172.13/2424.95	o 950245
19172.13/2424.95	o 950441
19172.13/2424.95	o 950599
19172.13/2424.95	o 950766
19172.13/2424.95	o 950924
19172.13/2424.95	o 950935
19172.13/2424.95	o 951795
19172.13/2424.95	o 951953
19172.13/2424.95	o 952006
19172.13/2424.95	o 952164
19172.13/2424.95	o 952202
19172.13/2424.95	o 952360
19343.26/2446.57	o 952459
19343.26/2446.58	o 952617
19343.26/2446.58	o 952736
19343.26/2446.58	o 952947
19343.26/2446.58	o 953143
19343.26/2446.58	o 953813
19343.26/2446.58	o 954009
19343.26/2446.58	o 954024
19343.26/2446.58	o 954220
19343.26/2446.58	o 954378
19343.26/2446.58	o 954880
19343.26/2446.58	o 955091
19343.26/2446.58	o 955249
19343.26/2446.58	o 956106
19343.26/2446.58	o 956264
19343.26/2446.58	o 957303
19343.26/2446.58	o 957461
19343.26/2446.59	o 957514
19343.26/2446.59	o 957672
19343.26/2446.59	o 957710
19343.26/2446.59	o 957868
19343.26/2446.59	o 958020
19343.26/2446.59	o 959064
19343.26/2446.59	o 959260
19343.26/2446.59	o 959275
19343.26/2446.59	o 959471
19343.26/2446.59	o 959629
19924.26/2520.09	s SATISFIABLE
19924.26/2520.09	v <instantiation>
19924.26/2520.09	v 	<list>
19924.26/2520.09	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]
19924.26/2520.09	v 	</list>
19924.26/2520.09	v 	<values>
19924.26/2520.09	v 		0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 1 1 0 0 1 0 1 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 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 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 
19924.26/2520.09	v 	</values>
19924.26/2520.09	v </instantiation>

Verifier Data 

OK	959629

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309268-1534362080/watcher-4309268-1534362080 -o /tmp/evaluation-result-4309268-1534362080/solver-4309268-1534362080 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1534362080-24077 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 309820183 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309268-1534362080.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=24094, runsolver pid=24091

[startup+0.100133 s]*
/proc/loadavg: 9.34 8.95 8.91 2/203 24114
/proc/meminfo: memFree=24007900/32770624 swapFree=67108852/67108860
[pid=24094] ppid=24091 vsize=26103420 memory=32148 CPUtime=0.11 cores=0-7
/proc/24094/stat : 24094 (java) S 24091 24094 24050 0 -1 1077944320 7461 0 0 0 10 1 0 0 20 0 20 0 253771149 26729902080 8037 33554432000 4194304 4196468 140727857553184 140727857535728 139757927083767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
/proc/24094/statm: 6525855 8037 3143 1 0 6487932 0
[pid=24094/tid=24096] ppid=24091 vsize=26103420 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/24094/task/24096/stat : 24096 (java) R 24091 24094 24050 0 -1 4202560 5530 0 0 0 8 1 0 0 20 0 20 0 253771149 26729902080 8037 33554432000 4194304 4196468 140727857553184 139757931268720 139757911164254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24097] ppid=24091 vsize=26103420 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/24094/task/24097/stat : 24097 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 8037 33554432000 4194304 4196468 140727857553184 139757834643856 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24098] ppid=24091 vsize=26103420 memory=140119740712576 CPUtime=0 cores=0-7
/proc/24094/task/24098/stat : 24098 (java) S 24091 24094 24050 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 8037 33554432000 4194304 4196468 140727857553184 139757484345616 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24099] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24099/stat : 24099 (java) S 24091 24094 24050 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 8037 33554432000 4194304 4196468 140727857553184 139757483293328 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24100] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24100/stat : 24100 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 8037 33554432000 4194304 4196468 140727857553184 139757482240528 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24101] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24101/stat : 24101 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 8037 33554432000 4194304 4196468 140727857553184 139757481188240 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24102] ppid=24091 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/24094/task/24102/stat : 24102 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 8037 33554432000 4194304 4196468 140727857553184 139757480135440 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24103] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24103/stat : 24103 (java) S 24091 24094 24050 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 8037 33554432000 4194304 4196468 140727857553184 139757479083152 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24104] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24104/stat : 24104 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 8037 33554432000 4194304 4196468 140727857553184 139757478030352 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24105] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24105/stat : 24105 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771151 26729902080 8037 33554432000 4194304 4196468 140727857553184 139757436467312 139757927094914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24106] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24106/stat : 24106 (java) S 24091 24094 24050 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253771152 26729902080 8037 33554432000 4194304 4196468 140727857553184 139757435413280 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24107] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24107/stat : 24107 (java) S 24091 24094 24050 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253771152 26729902080 8037 33554432000 4194304 4196468 140727857553184 139757434360944 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24108] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24108/stat : 24108 (java) S 24091 24094 24050 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253771154 26729902080 8037 33554432000 4194304 4196468 140727857553184 139757433309264 139757927102363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24109] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24109/stat : 24109 (java) S 24091 24094 24050 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 253771154 26729902080 8037 33554432000 4194304 4196468 140727857553184 139757432257136 139757927094914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24110] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24110/stat : 24110 (java) S 24091 24094 24050 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253771154 26729902080 8037 33554432000 4194304 4196468 140727857553184 139757184117232 139757927094914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24111] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24111/stat : 24111 (java) S 24091 24094 24050 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253771154 26729902080 8037 33554432000 4194304 4196468 140727857553184 139757183064944 139757927094914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24112] ppid=24091 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/24094/task/24112/stat : 24112 (java) R 24091 24094 24050 0 -1 4202560 242 0 0 0 1 0 0 0 20 0 20 0 253771154 26729902080 8037 33554432000 4194304 4196468 140727857553184 139757182012144 139757905714225 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24113] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24113/stat : 24113 (java) S 24091 24094 24050 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253771155 26729902080 8037 33554432000 4194304 4196468 140727857553184 139757180959072 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24114] ppid=24091 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/24094/task/24114/stat : 24114 (java) S 24091 24094 24050 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253771155 26729902080 8037 33554432000 4194304 4196468 140727857553184 139757179906352 139757927094914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 32148 KiB

[startup+0.210563 s]*
/proc/loadavg: 9.34 8.95 8.91 4/203 24114
/proc/meminfo: memFree=23995096/32770624 swapFree=67108852/67108860
[pid=24094] ppid=24091 vsize=26103420 memory=43056 CPUtime=0.3 cores=0-7
/proc/24094/stat : 24094 (java) S 24091 24094 24050 0 -1 1077944320 10432 0 0 0 28 2 0 0 20 0 20 0 253771149 26729902080 10699 33554432000 4194304 4196468 140727857553184 140727857535728 139757927083767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
/proc/24094/statm: 6525855 10699 3309 1 0 6487932 0
[pid=24094/tid=24096] ppid=24091 vsize=26103420 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/24094/task/24096/stat : 24096 (java) R 24091 24094 24050 0 -1 4202560 8229 0 0 0 18 1 0 0 20 0 20 0 253771149 26729902080 10764 33554432000 4194304 4196468 140727857553184 139757931310464 139757911127397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24097] ppid=24091 vsize=26103420 memory=9261 CPUtime=0 cores=0-7
/proc/24094/task/24097/stat : 24097 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 10764 33554432000 4194304 4196468 140727857553184 139757834643856 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24098] ppid=24091 vsize=26103420 memory=140119742083711 CPUtime=0 cores=0-7
/proc/24094/task/24098/stat : 24098 (java) S 24091 24094 24050 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 10764 33554432000 4194304 4196468 140727857553184 139757484345616 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24099] ppid=24091 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/24094/task/24099/stat : 24099 (java) S 24091 24094 24050 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 10764 33554432000 4194304 4196468 140727857553184 139757483293328 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24100] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24100/stat : 24100 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 10764 33554432000 4194304 4196468 140727857553184 139757482240528 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24101] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24101/stat : 24101 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 10764 33554432000 4194304 4196468 140727857553184 139757481188240 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24102] ppid=24091 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/24094/task/24102/stat : 24102 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 10764 33554432000 4194304 4196468 140727857553184 139757480135440 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24103] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24103/stat : 24103 (java) S 24091 24094 24050 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 10764 33554432000 4194304 4196468 140727857553184 139757479083152 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24104] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24104/stat : 24104 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 10764 33554432000 4194304 4196468 140727857553184 139757478030352 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24105] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24105/stat : 24105 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771151 26729902080 10764 33554432000 4194304 4196468 140727857553184 139757436467312 139757927094914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24106] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24106/stat : 24106 (java) S 24091 24094 24050 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253771152 26729902080 10764 33554432000 4194304 4196468 140727857553184 139757435413280 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24107] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24107/stat : 24107 (java) S 24091 24094 24050 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253771152 26729902080 10764 33554432000 4194304 4196468 140727857553184 139757434360944 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24108] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24108/stat : 24108 (java) S 24091 24094 24050 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253771154 26729902080 10764 33554432000 4194304 4196468 140727857553184 139757433309264 139757927102363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24109] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24109/stat : 24109 (java) S 24091 24094 24050 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 253771154 26729902080 10764 33554432000 4194304 4196468 140727857553184 139757432257136 139757927094914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24110] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24110/stat : 24110 (java) S 24091 24094 24050 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 20 0 253771154 26729902080 10764 33554432000 4194304 4196468 140727857553184 139757184117232 139757927094914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24111] ppid=24091 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/24094/task/24111/stat : 24111 (java) S 24091 24094 24050 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 20 0 253771154 26729902080 10764 33554432000 4194304 4196468 140727857553184 139757183064944 139757927094914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24112] ppid=24091 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/24094/task/24112/stat : 24112 (java) S 24091 24094 24050 0 -1 1077944384 275 0 0 0 6 0 0 0 20 0 20 0 253771154 26729902080 10764 33554432000 4194304 4196468 140727857553184 139757182012144 139757927094914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24113] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24113/stat : 24113 (java) S 24091 24094 24050 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253771155 26729902080 10764 33554432000 4194304 4196468 140727857553184 139757180959072 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24114] ppid=24091 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/24094/task/24114/stat : 24114 (java) S 24091 24094 24050 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253771155 26729902080 10764 33554432000 4194304 4196468 140727857553184 139757179906352 139757927094914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 43056 KiB

[startup+0.310737 s]*
/proc/loadavg: 9.34 8.95 8.91 2/203 24114
/proc/meminfo: memFree=23992056/32770624 swapFree=67108852/67108860
[pid=24094] ppid=24091 vsize=26103420 memory=46384 CPUtime=0.43 cores=0-7
/proc/24094/stat : 24094 (java) S 24091 24094 24050 0 -1 1077944320 10876 0 0 0 40 3 0 0 20 0 20 0 253771149 26729902080 11596 33554432000 4194304 4196468 140727857553184 140727857535728 139757927083767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
/proc/24094/statm: 6525855 11596 3361 1 0 6487932 0
[pid=24094/tid=24096] ppid=24091 vsize=26103420 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/24094/task/24096/stat : 24096 (java) R 24091 24094 24050 0 -1 4202560 8568 0 0 0 28 2 0 0 20 0 20 0 253771149 26729902080 11596 33554432000 4194304 4196468 140727857553184 139757931292496 139757911164254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24097] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24097/stat : 24097 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 11596 33554432000 4194304 4196468 140727857553184 139757834643856 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24098] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24098/stat : 24098 (java) S 24091 24094 24050 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 11596 33554432000 4194304 4196468 140727857553184 139757484345616 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24099] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24099/stat : 24099 (java) S 24091 24094 24050 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 11596 33554432000 4194304 4196468 140727857553184 139757483293328 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24100] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24100/stat : 24100 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 11596 33554432000 4194304 4196468 140727857553184 139757482240528 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24101] ppid=24091 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/24094/task/24101/stat : 24101 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 11596 33554432000 4194304 4196468 140727857553184 139757481188240 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24102] ppid=24091 vsize=26103420 memory=140119617139631 CPUtime=0 cores=0-7
/proc/24094/task/24102/stat : 24102 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 11596 33554432000 4194304 4196468 140727857553184 139757480135440 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24103] ppid=24091 vsize=26103420 memory=140119617141936 CPUtime=0 cores=0-7
/proc/24094/task/24103/stat : 24103 (java) S 24091 24094 24050 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 11596 33554432000 4194304 4196468 140727857553184 139757479083152 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24104] ppid=24091 vsize=26103420 memory=140119617144240 CPUtime=0 cores=0-7
/proc/24094/task/24104/stat : 24104 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26729902080 11596 33554432000 4194304 4196468 140727857553184 139757478030352 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24105] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24105/stat : 24105 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771151 26729902080 11596 33554432000 4194304 4196468 140727857553184 139757436467312 139757927094914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24106] ppid=24091 vsize=26103420 memory=280239234295440 CPUtime=0 cores=0-7
/proc/24094/task/24106/stat : 24106 (java) S 24091 24094 24050 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 253771152 26729902080 11596 33554432000 4194304 4196468 140727857553184 139757435413280 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24107] ppid=24091 vsize=26103420 memory=280239234302352 CPUtime=0 cores=0-7
/proc/24094/task/24107/stat : 24107 (java) S 24091 24094 24050 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253771152 26729902080 11596 33554432000 4194304 4196468 140727857553184 139757434360944 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24108] ppid=24091 vsize=26103420 memory=280239234243632 CPUtime=0 cores=0-7
/proc/24094/task/24108/stat : 24108 (java) S 24091 24094 24050 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253771154 26729902080 11596 33554432000 4194304 4196468 140727857553184 139757433309264 139757927102363 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24109] ppid=24091 vsize=26103420 memory=280239234316176 CPUtime=0 cores=0-7
/proc/24094/task/24109/stat : 24109 (java) S 24091 24094 24050 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 253771154 26729902080 11596 33554432000 4194304 4196468 140727857553184 139757432257136 139757927094914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24110] ppid=24091 vsize=26103420 memory=280239234323088 CPUtime=0.01 cores=0-7
/proc/24094/task/24110/stat : 24110 (java) S 24091 24094 24050 0 -1 1077944384 255 0 0 0 1 0 0 0 20 0 20 0 253771154 26729902080 11596 33554432000 4194304 4196468 140727857553184 139757184117232 139757927094914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24111] ppid=24091 vsize=26103420 memory=280239234320784 CPUtime=0.01 cores=0-7
/proc/24094/task/24111/stat : 24111 (java) S 24091 24094 24050 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 253771154 26729902080 11596 33554432000 4194304 4196468 140727857553184 139757183064944 139757927094914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24112] ppid=24091 vsize=26103420 memory=280239234337392 CPUtime=0.07 cores=0-7
/proc/24094/task/24112/stat : 24112 (java) S 24091 24094 24050 0 -1 1077944384 290 0 0 0 7 0 0 0 20 0 20 0 253771154 26729902080 11596 33554432000 4194304 4196468 140727857553184 139757182012144 139757927094914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24113] ppid=24091 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24113/stat : 24113 (java) S 24091 24094 24050 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253771155 26729902080 11596 33554432000 4194304 4196468 140727857553184 139757180959072 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24114] ppid=24091 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/24094/task/24114/stat : 24114 (java) S 24091 24094 24050 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253771155 26729902080 11596 33554432000 4194304 4196468 140727857553184 139757179906352 139757927094914 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 46384 KiB

[startup+0.700935 s]
/proc/loadavg: 9.34 8.95 8.91 2/203 24114
/proc/meminfo: memFree=23968120/32770624 swapFree=67108852/67108860
[pid=24094] ppid=24091 vsize=26105488 memory=87556 CPUtime=0.99 cores=0-7
/proc/24094/stat : 24094 (java) S 24091 24094 24050 0 -1 1077944320 17803 0 0 0 94 5 0 0 20 0 20 0 253771149 26732019712 21889 33554432000 4194304 4196468 140727857553184 140727857535728 139757927083767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
/proc/24094/statm: 6526372 21889 3502 1 0 6488444 0
[pid=24094/tid=24096] ppid=24091 vsize=26105488 memory=0 CPUtime=0.68 cores=0-7
/proc/24094/task/24096/stat : 24096 (java) R 24091 24094 24050 0 -1 4202560 15044 0 0 0 64 4 0 0 20 0 20 0 253771149 26732019712 21889 33554432000 4194304 4196468 140727857553184 139757931307088 139757927105114 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24097] ppid=24091 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24097/stat : 24097 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26732019712 21889 33554432000 4194304 4196468 140727857553184 139757834643856 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24098] ppid=24091 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24098/stat : 24098 (java) S 24091 24094 24050 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253771150 26732019712 21889 33554432000 4194304 4196468 140727857553184 139757484345616 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24099] ppid=24091 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/24094/task/24099/stat : 24099 (java) S 24091 24094 24050 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253771150 26732019712 21889 33554432000 4194304 4196468 140727857553184 139757483293328 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24100] ppid=24091 vsize=26105488 memory=876 CPUtime=0 cores=0-7
/proc/24094/task/24100/stat : 24100 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26732019712 21889 33554432000 4194304 4196468 140727857553184 139757482240528 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24101] ppid=24091 vsize=26105488 memory=1912 CPUtime=0 cores=0-7
/proc/24094/task/24101/stat : 24101 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26732019712 21889 33554432000 4194304 4196468 140727857553184 139757481188240 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24102] ppid=24091 vsize=26105488 memory=1120 CPUtime=0 cores=0-7
/proc/24094/task/24102/stat : 24102 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26732019712 21889 33554432000 4194304 4196468 140727857553184 139757480135440 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24103] ppid=24091 vsize=26105488 memory=6436 CPUtime=0 cores=0-7
/proc/24094/task/24103/stat : 24103 (java) S 24091 24094 24050 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253771150 26732019712 21889 33554432000 4194304 4196468 140727857553184 139757479083152 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24104] ppid=24091 vsize=26105488 memory=14892 CPUtime=0 cores=0-7
/proc/24094/task/24104/stat : 24104 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771150 26732019712 21889 33554432000 4194304 4196468 140727857553184 139757478030352 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24105] ppid=24091 vsize=26105488 memory=13920 CPUtime=0 cores=0-7
/proc/24094/task/24105/stat : 24105 (java) S 24091 24094 24050 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253771151 26732019712 21889 33554432000 4194304 4196468 140727857553184 139757436467312 139757927094914 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0

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

[pid=24094/tid=24111] ppid=24091 vsize=27984680 memory=280239234089200 CPUtime=1.63 cores=0-7
/proc/24094/task/24111/stat : 24111 (java) S 24091 24094 24050 0 -1 1077944384 4382 0 0 0 162 1 0 0 20 0 48 0 253771154 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757183064944 139757927094914 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24112] ppid=24091 vsize=27984680 memory=288230574492221466 CPUtime=1.19 cores=0-7
/proc/24094/task/24112/stat : 24112 (java) S 24091 24094 24050 0 -1 1077944384 13156 0 0 0 117 2 0 0 20 0 48 0 253771154 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757182012144 139757927094914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24113] ppid=24091 vsize=27984680 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/24094/task/24113/stat : 24113 (java) S 24091 24094 24050 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 253771155 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757180959072 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24114] ppid=24091 vsize=27984680 memory=13855174477220093 CPUtime=0.7 cores=0-7
/proc/24094/task/24114/stat : 24114 (java) R 24091 24094 24050 0 -1 1077944384 9815 0 0 0 44 26 0 0 20 0 48 0 253771155 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757179906352 139757927094914 0 4 0 16800975 0 0 0 -1 0 0 0 52 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24115] ppid=24091 vsize=27984680 memory=288230583166042426 CPUtime=0.03 cores=0-7
/proc/24094/task/24115/stat : 24115 (java) S 24091 24094 24050 0 -1 1077944384 1950 0 0 0 3 0 0 0 20 0 48 0 253771678 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757168563024 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24116] ppid=24091 vsize=27984680 memory=13855174477220093 CPUtime=2.04 cores=0-7
/proc/24094/task/24116/stat : 24116 (java) R 24091 24094 24050 0 -1 1077944384 17971 0 0 0 76 128 0 0 20 0 48 0 253771695 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757165413296 139757927094914 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24117] ppid=24091 vsize=27984680 memory=2 CPUtime=2477.68 cores=0-7
/proc/24094/task/24117/stat : 24117 (java) R 24091 24094 24050 0 -1 4202560 73652 0 0 0 247699 69 0 0 20 0 48 0 253771717 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757094948760 139757522148523 0 4 0 16800975 0 0 0 -1 2 0 0 47 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24118] ppid=24091 vsize=27984680 memory=2 CPUtime=2473.2 cores=0-7
/proc/24094/task/24118/stat : 24118 (java) R 24091 24094 24050 0 -1 4202560 71045 0 0 0 247242 78 0 0 20 0 48 0 253771718 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757093895960 139757523681545 0 4 0 16800975 0 0 0 -1 7 0 0 45 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24119] ppid=24091 vsize=27984680 memory=1 CPUtime=2476.66 cores=0-7
/proc/24094/task/24119/stat : 24119 (java) R 24091 24094 24050 0 -1 4202560 74540 0 0 0 247594 72 0 0 20 0 48 0 253771718 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757092843480 139757523006893 0 4 0 16800975 0 0 0 -1 1 0 0 44 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24120] ppid=24091 vsize=27984680 memory=1148 CPUtime=2477.43 cores=0-7
/proc/24094/task/24120/stat : 24120 (java) R 24091 24094 24050 0 -1 4202560 74321 0 0 0 247663 80 0 0 20 0 48 0 253771725 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757089693392 139757515525194 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24121] ppid=24091 vsize=27984680 memory=1141 CPUtime=0.11 cores=0-7
/proc/24094/task/24121/stat : 24121 (java) S 24091 24094 24050 0 -1 1077944384 1178 0 0 0 11 0 0 0 20 0 48 0 253771725 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757088642144 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24122] ppid=24091 vsize=27984680 memory=1138 CPUtime=2475.55 cores=0-7
/proc/24094/task/24122/stat : 24122 (java) R 24091 24094 24050 0 -1 4202560 71601 0 0 0 247482 73 0 0 20 0 48 0 253771725 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757087587416 139757521574418 0 4 0 16800975 0 0 0 -1 0 0 0 43 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24123] ppid=24091 vsize=27984680 memory=703 CPUtime=2479.97 cores=0-7
/proc/24094/task/24123/stat : 24123 (java) R 24091 24094 24050 0 -1 4202560 73991 0 0 0 247923 74 0 0 20 0 48 0 253771725 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757086533816 139757522041910 0 4 0 16800975 0 0 0 -1 5 0 0 46 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24124] ppid=24091 vsize=27984680 memory=0 CPUtime=2476.75 cores=0-7
/proc/24094/task/24124/stat : 24124 (java) R 24091 24094 24050 0 -1 4202560 77442 0 0 0 247598 77 0 0 20 0 48 0 253771725 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757085482272 139757521241290 0 4 0 16800975 0 0 0 -1 1 0 0 48 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24125] ppid=24091 vsize=27984680 memory=0 CPUtime=0.03 cores=0-7
/proc/24094/task/24125/stat : 24125 (java) S 24091 24094 24050 0 -1 1077944384 791 0 0 0 3 0 0 0 20 0 48 0 253771726 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757084428336 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24126] ppid=24091 vsize=27984680 memory=5954560 CPUtime=2473.72 cores=0-7
/proc/24094/task/24126/stat : 24126 (java) R 24091 24094 24050 0 -1 4202560 75003 0 0 0 247301 71 0 0 20 0 48 0 253771740 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757083377240 139757522292141 0 4 0 16800975 0 0 0 -1 6 0 0 33 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24127] ppid=24091 vsize=27984680 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/24094/task/24127/stat : 24127 (java) S 24091 24094 24050 0 -1 1077944384 461 0 0 0 1 0 0 0 20 0 48 0 253771742 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757082330768 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24128] ppid=24091 vsize=27984680 memory=5954560 CPUtime=0.01 cores=0-7
/proc/24094/task/24128/stat : 24128 (java) S 24091 24094 24050 0 -1 1077944384 549 0 0 0 1 0 0 0 20 0 48 0 253771819 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757079139744 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24129] ppid=24091 vsize=27984680 memory=105656799464170 CPUtime=0.01 cores=0-7
/proc/24094/task/24129/stat : 24129 (java) S 24091 24094 24050 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 48 0 253771820 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757078086432 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24130] ppid=24091 vsize=27984680 memory=105656799464170 CPUtime=0.02 cores=0-7
/proc/24094/task/24130/stat : 24130 (java) S 24091 24094 24050 0 -1 1077944384 400 0 0 0 2 0 0 0 20 0 48 0 253771820 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757077037840 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24131] ppid=24091 vsize=27984680 memory=105656799463914 CPUtime=0.02 cores=0-7
/proc/24094/task/24131/stat : 24131 (java) S 24091 24094 24050 0 -1 1077944384 579 0 0 0 2 0 0 0 20 0 48 0 253771820 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757075985552 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24132] ppid=24091 vsize=27984680 memory=105656799463914 CPUtime=0.02 cores=0-7
/proc/24094/task/24132/stat : 24132 (java) S 24091 24094 24050 0 -1 1077944384 612 0 0 0 2 0 0 0 20 0 48 0 253771820 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757074928544 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24133] ppid=24091 vsize=27984680 memory=105656799463658 CPUtime=0.01 cores=0-7
/proc/24094/task/24133/stat : 24133 (java) S 24091 24094 24050 0 -1 1077944384 534 0 0 0 1 0 0 0 20 0 48 0 253771821 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757073876256 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24134] ppid=24091 vsize=27984680 memory=280239236719168 CPUtime=0.01 cores=0-7
/proc/24094/task/24134/stat : 24134 (java) R 24091 24094 24050 0 -1 4202560 307 0 0 0 1 0 0 0 20 0 48 0 253771821 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757072827552 139757919322732 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24135] ppid=24091 vsize=27984680 memory=4055053108993 CPUtime=0.02 cores=0-7
/proc/24094/task/24135/stat : 24135 (java) S 24091 24094 24050 0 -1 1077944384 243 0 0 0 2 0 0 0 20 0 48 0 253771822 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757071775376 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24136] ppid=24091 vsize=27984680 memory=4171017225985 CPUtime=0.01 cores=0-7
/proc/24094/task/24136/stat : 24136 (java) S 24091 24094 24050 0 -1 1077944384 296 0 0 0 1 0 0 0 20 0 48 0 253771823 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757070718368 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24137] ppid=24091 vsize=27984680 memory=4269801473793 CPUtime=0.01 cores=0-7
/proc/24094/task/24137/stat : 24137 (java) S 24091 24094 24050 0 -1 1077944384 377 0 0 0 1 0 0 0 20 0 48 0 253771824 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757069665056 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24138] ppid=24091 vsize=27984680 memory=4557564282625 CPUtime=0.02 cores=0-7
/proc/24094/task/24138/stat : 24138 (java) S 24091 24094 24050 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 48 0 253771828 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757068616464 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24139] ppid=24091 vsize=27984680 memory=6833896949505 CPUtime=0.02 cores=0-7
/proc/24094/task/24139/stat : 24139 (java) S 24091 24094 24050 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 48 0 253771831 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757067564176 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24140] ppid=24091 vsize=27984680 memory=8676437919489 CPUtime=0.01 cores=0-7
/proc/24094/task/24140/stat : 24140 (java) S 24091 24094 24050 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 48 0 253771832 28656312320 1489076 33554432000 4194304 4196468 140727857553184 139757066507168 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
Current children cumulated CPU time: 19925.7 s
Current children cumulated vsize: 27984680 KiB
Current children cumulated memory: 5956304 KiB

[startup+2520.31 s]
/proc/loadavg: 8.66 8.85 8.86 10/230 24203
/proc/meminfo: memFree=18072064/32770624 swapFree=67108852/67108860
[pid=24094] ppid=24091 vsize=27984680 memory=5957460 CPUtime=19926.5 cores=0-7
/proc/24094/stat : 24094 (java) S 24091 24094 24050 0 -1 1077944320 1869172 0 0 0 1991541 1113 0 0 20 0 45 0 253771149 28656312320 1489365 33554432000 4194304 4196468 140727857553184 140727857535728 139757927083767 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
/proc/24094/statm: 6996170 1489365 3627 1 0 6957721 0
[pid=24094/tid=24096] ppid=24091 vsize=27984680 memory=5954560 CPUtime=5.62 cores=0-7
/proc/24094/task/24096/stat : 24096 (java) S 24091 24094 24050 0 -1 1077944384 23392 0 0 0 553 9 0 0 20 0 45 0 253771149 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757931322448 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24097] ppid=24091 vsize=27984680 memory=5954560 CPUtime=11.45 cores=0-7
/proc/24094/task/24097/stat : 24097 (java) S 24091 24094 24050 0 -1 1077944384 127355 0 0 0 1091 54 0 0 20 0 45 0 253771150 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757834643856 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24098] ppid=24091 vsize=27984680 memory=5954560 CPUtime=11.5 cores=0-7
/proc/24094/task/24098/stat : 24098 (java) S 24091 24094 24050 0 -1 1077944384 115627 0 0 0 1096 54 0 0 20 0 45 0 253771150 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757484345616 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24099] ppid=24091 vsize=27984680 memory=5954560 CPUtime=11.44 cores=0-7
/proc/24094/task/24099/stat : 24099 (java) S 24091 24094 24050 0 -1 1077944384 117792 0 0 0 1089 55 0 0 20 0 45 0 253771150 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757483293328 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24100] ppid=24091 vsize=27984680 memory=5954908 CPUtime=11.51 cores=0-7
/proc/24094/task/24100/stat : 24100 (java) S 24091 24094 24050 0 -1 1077944384 135263 0 0 0 1099 52 0 0 20 0 45 0 253771150 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757482240528 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24101] ppid=24091 vsize=27984680 memory=31588 CPUtime=11.51 cores=0-7
/proc/24094/task/24101/stat : 24101 (java) S 24091 24094 24050 0 -1 1077944384 122347 0 0 0 1100 51 0 0 20 0 45 0 253771150 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757481188240 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24102] ppid=24091 vsize=27984680 memory=0 CPUtime=11.54 cores=0-7
/proc/24094/task/24102/stat : 24102 (java) S 24091 24094 24050 0 -1 1077944384 118093 0 0 0 1105 49 0 0 20 0 45 0 253771150 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757480135440 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24103] ppid=24091 vsize=27984680 memory=0 CPUtime=11.48 cores=0-7
/proc/24094/task/24103/stat : 24103 (java) S 24091 24094 24050 0 -1 1077944384 132850 0 0 0 1094 54 0 0 20 0 45 0 253771150 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757479083152 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24104] ppid=24091 vsize=27984680 memory=6944656575208382560 CPUtime=11.43 cores=0-7
/proc/24094/task/24104/stat : 24104 (java) S 24091 24094 24050 0 -1 1077944384 112457 0 0 0 1091 52 0 0 20 0 45 0 253771150 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757478030352 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24105] ppid=24091 vsize=27984680 memory=1920 CPUtime=7.06 cores=0-7
/proc/24094/task/24105/stat : 24105 (java) S 24091 24094 24050 0 -1 1077944384 191695 0 0 0 627 79 0 0 20 0 45 0 253771151 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757436466816 139757927094914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24106] ppid=24091 vsize=27984680 memory=7380 CPUtime=0 cores=0-7
/proc/24094/task/24106/stat : 24106 (java) S 24091 24094 24050 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 45 0 253771152 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757435413344 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24107] ppid=24091 vsize=27984680 memory=69164 CPUtime=0 cores=0-7
/proc/24094/task/24107/stat : 24107 (java) S 24091 24094 24050 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 45 0 253771152 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757434360960 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24108] ppid=24091 vsize=27984680 memory=1100 CPUtime=0 cores=0-7
/proc/24094/task/24108/stat : 24108 (java) S 24091 24094 24050 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 45 0 253771154 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757433308912 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24109] ppid=24091 vsize=27984680 memory=69164 CPUtime=1.81 cores=0-7
/proc/24094/task/24109/stat : 24109 (java) S 24091 24094 24050 0 -1 1077944384 10472 0 0 0 179 2 0 0 20 0 45 0 253771154 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757432257136 139757927094914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24110] ppid=24091 vsize=27984680 memory=5952512 CPUtime=2.17 cores=0-7
/proc/24094/task/24110/stat : 24110 (java) S 24091 24094 24050 0 -1 1077944384 10134 0 0 0 216 1 0 0 20 0 45 0 253771154 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757184117232 139757927094914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 45 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24111] ppid=24091 vsize=27984680 memory=6791534058613427641 CPUtime=1.65 cores=0-7
/proc/24094/task/24111/stat : 24111 (java) S 24091 24094 24050 0 -1 1077944384 4621 0 0 0 164 1 0 0 20 0 45 0 253771154 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757183050064 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24112] ppid=24091 vsize=27984680 memory=288284485057208745 CPUtime=1.21 cores=0-7
/proc/24094/task/24112/stat : 24112 (java) S 24091 24094 24050 0 -1 1077944384 13644 0 0 0 119 2 0 0 20 0 45 0 253771154 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757182012144 139757927094914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24113] ppid=24091 vsize=27984680 memory=5950464 CPUtime=0 cores=0-7
/proc/24094/task/24113/stat : 24113 (java) S 24091 24094 24050 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 253771155 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757180959072 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24115] ppid=24091 vsize=27984680 memory=928 CPUtime=0.03 cores=0-7
/proc/24094/task/24115/stat : 24115 (java) S 24091 24094 24050 0 -1 1077944384 1950 0 0 0 3 0 0 0 20 0 45 0 253771678 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757168563024 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24117] ppid=24091 vsize=27984680 memory=5954560 CPUtime=2477.77 cores=0-7
/proc/24094/task/24117/stat : 24117 (java) S 24091 24094 24050 0 -1 1077944384 73653 0 0 0 247708 69 0 0 20 0 45 0 253771717 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757094948624 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 47 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24118] ppid=24091 vsize=27984680 memory=4096 CPUtime=2473.29 cores=0-7
/proc/24094/task/24118/stat : 24118 (java) S 24091 24094 24050 0 -1 1077944384 71046 0 0 0 247251 78 0 0 20 0 45 0 253771718 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757093895824 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 45 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24119] ppid=24091 vsize=27984680 memory=5954560 CPUtime=2476.74 cores=0-7
/proc/24094/task/24119/stat : 24119 (java) S 24091 24094 24050 0 -1 1077944384 74541 0 0 0 247602 72 0 0 20 0 45 0 253771718 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757092841216 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24120] ppid=24091 vsize=27984680 memory=0 CPUtime=2477.54 cores=0-7
/proc/24094/task/24120/stat : 24120 (java) S 24091 24094 24050 0 -1 1077944384 74322 0 0 0 247674 80 0 0 20 0 45 0 253771725 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757089693392 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24121] ppid=24091 vsize=27984680 memory=7956002841161460049 CPUtime=0.12 cores=0-7
/proc/24094/task/24121/stat : 24121 (java) S 24091 24094 24050 0 -1 1077944384 1345 0 0 0 12 0 0 0 20 0 45 0 253771725 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757088646032 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24122] ppid=24091 vsize=27984680 memory=7883922144561157736 CPUtime=2475.64 cores=0-7
/proc/24094/task/24122/stat : 24122 (java) S 24091 24094 24050 0 -1 1077944384 71601 0 0 0 247491 73 0 0 20 0 45 0 253771725 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757087585968 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24123] ppid=24091 vsize=27984680 memory=928 CPUtime=2480.05 cores=0-7
/proc/24094/task/24123/stat : 24123 (java) S 24091 24094 24050 0 -1 1077944384 73991 0 0 0 247931 74 0 0 20 0 45 0 253771725 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757086534992 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24124] ppid=24091 vsize=27984680 memory=2248 CPUtime=2476.8 cores=0-7
/proc/24094/task/24124/stat : 24124 (java) S 24091 24094 24050 0 -1 1077944384 77443 0 0 0 247603 77 0 0 20 0 45 0 253771725 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757085480832 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 48 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24125] ppid=24091 vsize=27984680 memory=7954596544230408292 CPUtime=0.04 cores=0-7
/proc/24094/task/24125/stat : 24125 (java) S 24091 24094 24050 0 -1 1077944384 905 0 0 0 4 0 0 0 20 0 45 0 253771726 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757084435856 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24126] ppid=24091 vsize=27984680 memory=1616 CPUtime=2473.8 cores=0-7
/proc/24094/task/24126/stat : 24126 (java) S 24091 24094 24050 0 -1 1077944384 75003 0 0 0 247309 71 0 0 20 0 45 0 253771740 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757083375792 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24127] ppid=24091 vsize=27984680 memory=11584 CPUtime=0.01 cores=0-7
/proc/24094/task/24127/stat : 24127 (java) S 24091 24094 24050 0 -1 1077944384 461 0 0 0 1 0 0 0 20 0 45 0 253771742 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757082330768 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24128] ppid=24091 vsize=27984680 memory=4960 CPUtime=0.01 cores=0-7
/proc/24094/task/24128/stat : 24128 (java) S 24091 24094 24050 0 -1 1077944384 560 0 0 0 1 0 0 0 20 0 45 0 253771819 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757079143952 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24129] ppid=24091 vsize=27984680 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/24094/task/24129/stat : 24129 (java) S 24091 24094 24050 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 45 0 253771820 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757078090640 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24130] ppid=24091 vsize=27984680 memory=11584 CPUtime=0.02 cores=0-7
/proc/24094/task/24130/stat : 24130 (java) S 24091 24094 24050 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 45 0 253771820 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757077037840 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24131] ppid=24091 vsize=27984680 memory=5952512 CPUtime=0.02 cores=0-7
/proc/24094/task/24131/stat : 24131 (java) S 24091 24094 24050 0 -1 1077944384 579 0 0 0 2 0 0 0 20 0 45 0 253771820 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757075985552 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24132] ppid=24091 vsize=27984680 memory=5952512 CPUtime=0.02 cores=0-7
/proc/24094/task/24132/stat : 24132 (java) S 24091 24094 24050 0 -1 1077944384 692 0 0 0 2 0 0 0 20 0 45 0 253771820 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757074932752 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24133] ppid=24091 vsize=27984680 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/24094/task/24133/stat : 24133 (java) S 24091 24094 24050 0 -1 1077944384 535 0 0 0 1 0 0 0 20 0 45 0 253771821 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757073880464 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24134] ppid=24091 vsize=27984680 memory=7595711529067573098 CPUtime=0.01 cores=0-7
/proc/24094/task/24134/stat : 24134 (java) S 24091 24094 24050 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 45 0 253771821 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757072827664 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24135] ppid=24091 vsize=27984680 memory=3708 CPUtime=0.02 cores=0-7
/proc/24094/task/24135/stat : 24135 (java) S 24091 24094 24050 0 -1 1077944384 243 0 0 0 2 0 0 0 20 0 45 0 253771822 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757071775376 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24136] ppid=24091 vsize=27984680 memory=69164 CPUtime=0.01 cores=0-7
/proc/24094/task/24136/stat : 24136 (java) S 24091 24094 24050 0 -1 1077944384 296 0 0 0 1 0 0 0 20 0 45 0 253771823 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757070722576 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24137] ppid=24091 vsize=27984680 memory=5952512 CPUtime=0.02 cores=0-7
/proc/24094/task/24137/stat : 24137 (java) S 24091 24094 24050 0 -1 1077944384 377 0 0 0 2 0 0 0 20 0 45 0 253771824 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757069669264 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24138] ppid=24091 vsize=27984680 memory=1172 CPUtime=0.02 cores=0-7
/proc/24094/task/24138/stat : 24138 (java) S 24091 24094 24050 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 45 0 253771828 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757068616464 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24139] ppid=24091 vsize=27984680 memory=5954560 CPUtime=0.02 cores=0-7
/proc/24094/task/24139/stat : 24139 (java) S 24091 24094 24050 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 45 0 253771831 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757067564176 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
[pid=24094/tid=24140] ppid=24091 vsize=27984680 memory=5954560 CPUtime=0.01 cores=0-7
/proc/24094/task/24140/stat : 24140 (java) S 24091 24094 24050 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 45 0 253771832 28656312320 1489365 33554432000 4194304 4196468 140727857553184 139757066511376 139757927093973 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14032896 140727857554510 140727857554693 140727857554693 140727857557455 0
Current children cumulated CPU time: 19926.5 s
Current children cumulated vsize: 27984680 KiB
Current children cumulated memory: 5957460 KiB

Child status: 143
Real time (s): 2520.35
CPU time (s): 19926.6
CPU user time (s): 19915.4
CPU system time (s): 11.1758
CPU usage (%): 790.627
Max. virtual memory (cumulated for all children) (KiB): 27984680
Max. memory (cumulated for all children) (KiB): 6223796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19915.4
system time used= 11.1758
maximum resident set size= 6232564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1869202
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 731879
involuntary context switches= 450096


# summary of solver processes directly reported to runsolver:
#   pid: 24094
#   total CPU time (s): 19926.6
#   total CPU user time (s): 19915.4
#   total CPU system time (s): 11.1758

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.3723 second user time and 38.0611 second system time

The end

Launcher Data 

Begin job on node133 at 2018-08-15 21:41:20
IDJOB=4309268
IDBENCH=141161
IDSOLVER=2793
FILE ID=node133/4309268-1534362080
RUNJOBID= node133-1534362080-24077
PBS_JOBID= 21038266
Free space on /tmp= 45648 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay500_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-4309268-1534362080/watcher-4309268-1534362080 -o /tmp/evaluation-result-4309268-1534362080/solver-4309268-1534362080 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1534362080-24077 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 309820183 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309268-1534362080.xml

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

MD5SUM BENCH= f56a4553a90e1a028ece3fd7f833aea7
RANDOM SEED=309820183

node133.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.24
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.24
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.24
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.24
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:        24024872 kB
MemAvailable:   31893704 kB
Buffers:          174112 kB
Cached:          7958440 kB
SwapCached:            4 kB
Active:          4301564 kB
Inactive:        3884264 kB
Active(anon):       4056 kB
Inactive(anon):   109916 kB
Active(file):    4297508 kB
Inactive(file):  3774348 kB
Unevictable:        7072 kB
Mlocked:            7072 kB
SwapTotal:      67108860 kB
SwapFree:       67108852 kB
Dirty:             35652 kB
Writeback:             0 kB
AnonPages:         60136 kB
Mapped:            56596 kB
Shmem:             58008 kB
Slab:             253304 kB
SReclaimable:     225436 kB
SUnreclaim:        27868 kB
KernelStack:        3168 kB
PageTables:         4940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     357688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 45612 MiB
End job on node133 at 2018-08-15 22:23:20