Trace number 4309272

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)829826 19922.7 2520.22

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay300_c18.xml
MD5SUM125d0999a88baf20181d93552da446ae
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1778468
Best CPU time to get the best result obtained on this benchmark19807.9
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints300
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree32
Distribution of variable degrees[{"degree":2,"count":246},{"degree":3,"count":424},{"degree":4,"count":324},{"degree":5,"count":234},{"degree":6,"count":177},{"degree":7,"count":133},{"degree":8,"count":113},{"degree":9,"count":81},{"degree":10,"count":53},{"degree":11,"count":33},{"degree":12,"count":38},{"degree":13,"count":40},{"degree":14,"count":26},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":11},{"degree":18,"count":9},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":4},{"degree":25,"count":2},{"degree":26,"count":3},{"degree":27,"count":2},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":32,"count":1}]
Minimum constraint arity17
Maximum constraint arity46
Distribution of constraint arities[{"arity":17,"count":1},{"arity":19,"count":3},{"arity":20,"count":2},{"arity":21,"count":2},{"arity":22,"count":4},{"arity":23,"count":5},{"arity":24,"count":9},{"arity":25,"count":14},{"arity":26,"count":7},{"arity":27,"count":15},{"arity":28,"count":18},{"arity":29,"count":21},{"arity":30,"count":20},{"arity":31,"count":26},{"arity":32,"count":22},{"arity":33,"count":26},{"arity":34,"count":14},{"arity":35,"count":17},{"arity":36,"count":11},{"arity":37,"count":14},{"arity":38,"count":15},{"arity":39,"count":10},{"arity":40,"count":5},{"arity":41,"count":6},{"arity":42,"count":4},{"arity":43,"count":5},{"arity":45,"count":2},{"arity":46,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":300}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.66/0.55	c version: 2018-08-14
0.66/0.55	c seed: 160271076
0.66/0.55	c timeout: 20160
0.66/0.55	c memlimit: 22000
0.66/0.55	c nbcore: 8
0.66/0.58	c Parsing instance...
2.11/1.10	c Parsing done, starting search...
12.73/6.17	o 4173
12.73/6.19	o 31782
13.37/6.26	o 39929
13.37/6.29	o 44065
14.15/6.30	o 50520
14.15/6.30	o 58667
14.15/6.30	o 62803
14.15/6.31	o 67551
14.15/6.31	o 79286
14.15/6.32	o 84034
14.15/6.32	o 94417
14.15/6.32	o 98617
14.15/6.32	o 110900
14.15/6.34	o 111512
14.15/6.34	o 115648
14.15/6.34	o 122376
14.15/6.34	o 127124
14.15/6.34	o 131260
14.15/6.34	o 135392
14.15/6.35	o 138721
14.15/6.35	o 146868
14.15/6.35	o 151004
14.15/6.35	o 155752
14.15/6.35	o 157822
14.15/6.37	o 166061
14.15/6.37	o 168131
14.15/6.38	o 169058
14.15/6.38	o 176415
14.15/6.38	o 180551
14.15/6.38	o 181478
14.15/6.38	o 182621
14.15/6.39	o 183548
14.15/6.39	o 187577
14.15/6.39	o 189784
14.15/6.39	o 197931
14.15/6.39	o 202067
14.15/6.39	o 202994
14.15/6.39	o 205974
14.15/6.40	o 206901
14.15/6.40	o 212696
14.15/6.40	o 216832
14.15/6.40	o 220739
14.15/6.40	o 221666
14.15/6.40	o 223600
14.15/6.40	o 224527
14.15/6.40	o 234519
14.15/6.40	o 238426
14.15/6.40	o 241287
14.15/6.40	o 242214
14.95/6.42	o 243211
14.95/6.42	o 244138
14.95/6.42	o 244429
14.95/6.42	o 248565
14.95/6.42	o 250489
14.95/6.42	o 252472
14.95/6.42	o 254396
14.95/6.42	o 255333
14.95/6.43	o 257257
14.95/6.43	o 258184
14.95/6.43	o 261218
14.95/6.43	o 265125
14.95/6.43	o 267986
14.95/6.43	o 268913
14.95/6.44	o 269910
14.95/6.44	o 270837
14.95/6.44	o 271972
14.95/6.44	o 273896
14.95/6.44	o 274823
14.95/6.45	o 276439
14.95/6.45	o 280346
14.95/6.45	o 283207
14.95/6.45	o 285131
14.95/6.46	o 285210
14.95/6.46	o 286256
14.95/6.46	o 287193
14.95/6.46	o 289117
14.95/6.46	o 290044
14.95/6.47	o 291849
14.95/6.47	o 292776
14.95/6.47	o 293773
14.95/6.47	o 294700
14.95/6.48	o 296161
14.95/6.48	o 297088
14.95/6.48	o 297130
14.95/6.48	o 298057
14.95/6.49	o 298255
14.95/6.49	o 301116
14.95/6.49	o 302043
15.68/6.54	o 303040
15.68/6.54	o 303967
15.68/6.54	o 305428
15.68/6.54	o 306355
15.68/6.54	o 306699
15.68/6.54	o 308160
15.68/6.54	o 309087
15.68/6.54	o 310084
15.68/6.56	o 311011
15.68/6.56	o 311718
15.68/6.56	o 313092
15.68/6.56	o 314138
15.68/6.56	o 315075
15.68/6.57	o 316999
15.68/6.57	o 318597
15.68/6.57	o 319061
15.68/6.57	o 320985
15.68/6.57	o 321329
15.68/6.57	o 323717
15.68/6.57	o 325641
15.68/6.57	o 326568
15.68/6.58	o 326697
15.68/6.58	o 327634
15.68/6.58	o 329558
15.68/6.58	o 332290
15.68/6.58	o 334214
15.68/6.59	o 335141
15.68/6.59	o 335605
15.68/6.59	o 336602
15.68/6.59	o 337529
15.68/6.60	o 337972
16.47/6.61	o 339965
16.47/6.61	o 340635
16.47/6.61	o 341760
16.47/6.61	o 344621
16.47/6.61	o 347009
16.47/6.61	o 348933
16.47/6.61	o 349860
16.47/6.63	o 350900
16.47/6.64	o 352824
16.47/6.64	o 353751
16.47/6.64	o 353761
16.47/6.64	o 354688
16.47/6.64	o 355685
16.47/6.64	o 356612
16.47/6.65	o 356933
16.47/6.65	o 357062
16.47/6.65	o 357526
16.47/6.65	o 359450
16.47/6.65	o 359794
16.47/6.65	o 362182
16.47/6.65	o 364106
16.47/6.65	o 365033
16.47/6.65	o 365506
16.47/6.65	o 366967
16.47/6.65	o 367894
16.47/6.65	o 367935
16.47/6.65	o 369396
16.47/6.65	o 370323
16.47/6.66	o 371320
16.47/6.66	o 372247
16.47/6.66	o 373617
16.47/6.66	o 374554
16.47/6.66	o 376478
16.47/6.66	o 376574
16.47/6.67	o 377094
16.47/6.67	o 377323
16.47/6.67	o 378369
16.47/6.67	o 378842
16.47/6.67	o 381230
16.47/6.67	o 383154
16.47/6.67	o 384081
16.47/6.67	o 384699
16.47/6.67	o 386160
16.47/6.67	o 387087
16.47/6.67	o 387381
16.47/6.68	o 388308
16.47/6.68	o 388882
16.47/6.68	o 390103
16.47/6.68	o 391030
16.47/6.68	o 391402
16.47/6.68	o 391696
16.47/6.68	o 392623
16.47/6.70	o 393109
16.47/6.70	o 394036
16.47/6.70	o 394186
16.47/6.70	o 394378
16.47/6.70	o 394672
16.47/6.70	o 395599
17.23/6.71	o 395704
17.23/6.71	o 396925
17.23/6.71	o 397852
17.23/6.71	o 398041
17.23/6.71	o 399262
17.23/6.71	o 400189
17.23/6.72	o 401075
17.23/6.72	o 401304
17.23/6.72	o 401602
17.23/6.72	o 401896
17.23/6.72	o 402823
17.23/6.72	o 403063
17.23/6.72	o 404284
17.23/6.72	o 405211
17.23/6.72	o 405739
17.23/6.73	o 406666
17.23/6.73	o 406960
17.23/6.73	o 407887
17.23/6.74	o 407996
17.23/6.74	o 408075
17.23/6.74	o 409121
17.23/6.74	o 409594
17.23/6.74	o 410761
17.23/6.74	o 411982
17.23/6.74	o 412909
17.23/6.74	o 412973
17.23/6.74	o 413334
17.23/6.74	o 414897
17.23/6.75	o 415824
17.23/6.75	o 416118
17.23/6.75	o 417045
17.23/6.75	o 417531
17.23/6.75	o 418458
17.23/6.79	o 418494
17.23/6.79	o 419715
17.23/6.79	o 420642
17.23/6.79	o 421263
17.23/6.79	o 422190
17.23/6.79	o 422782
17.23/6.79	o 423577
17.23/6.79	o 423607
17.23/6.80	o 425170
17.23/6.80	o 426097
17.23/6.80	o 426391
17.23/6.80	o 427318
17.23/6.80	o 427804
17.23/6.80	o 428731
17.23/6.80	o 428934
17.23/6.80	o 428964
17.23/6.80	o 429306
17.23/6.80	o 430527
17.23/6.80	o 431454
18.02/6.82	o 431646
18.02/6.82	o 431940
18.02/6.82	o 432867
18.02/6.82	o 433524
18.02/6.82	o 433855
18.02/6.82	o 433885
18.02/6.82	o 434227
18.02/6.82	o 435448
18.02/6.82	o 436375
18.02/6.83	o 436606
18.02/6.83	o 437533
18.02/6.83	o 437827
18.02/6.84	o 438754
18.02/6.84	o 439267
18.02/6.84	o 440088
18.02/6.84	o 440883
18.02/6.84	o 440913
18.02/6.84	o 441255
18.02/6.84	o 442476
18.02/6.84	o 443403
18.02/6.84	o 444032
18.02/6.84	o 445046
18.02/6.84	o 446092
18.02/6.84	o 446565
18.02/6.85	o 447029
18.02/6.85	o 447360
18.02/6.85	o 447390
18.02/6.85	o 448953
18.02/6.85	o 449880
18.02/6.85	o 450174
18.02/6.85	o 451101
18.02/6.85	o 451165
18.02/6.85	o 451496
18.02/6.85	o 451526
18.02/6.85	o 453089
18.02/6.85	o 454310
18.02/6.85	o 455237
18.02/6.87	o 455696
18.02/6.87	o 456027
18.02/6.87	o 457620
18.02/6.87	o 458841
18.02/6.87	o 459768
18.02/6.87	o 460110
18.02/6.87	o 460404
18.02/6.87	o 461331
18.02/6.88	o 461679
18.02/6.88	o 462152
18.02/6.88	o 462977
18.02/6.88	o 463319
18.02/6.88	o 464540
18.02/6.88	o 465467
18.02/6.89	o 465475
18.02/6.89	o 465769
18.02/6.89	o 466696
18.02/6.90	o 466749
18.02/6.90	o 467091
18.02/6.90	o 468312
18.02/6.90	o 468684
18.02/6.90	o 469905
18.02/6.90	o 470832
18.02/6.90	o 471081
18.86/6.91	o 472008
18.86/6.91	o 472315
18.86/6.92	o 472839
18.86/6.92	o 474432
18.86/6.92	o 475653
18.86/6.92	o 476580
18.86/6.92	o 476644
18.86/6.92	o 476975
18.86/6.92	o 478568
18.86/6.92	o 479495
18.86/6.92	o 479789
18.86/6.92	o 480716
18.86/6.92	o 481397
18.86/6.92	o 482618
18.86/6.92	o 483545
18.86/6.93	o 483733
18.86/6.93	o 484954
18.86/6.93	o 485881
18.86/6.93	o 485928
18.86/6.93	o 486594
18.86/6.93	o 487521
18.86/6.94	o 487815
18.86/6.94	o 488742
18.86/6.94	o 489378
18.86/6.94	o 490305
18.86/6.94	o 490358
18.86/6.95	o 490730
18.86/6.95	o 491951
18.86/6.95	o 492293
18.86/6.95	o 493514
18.86/6.95	o 494441
18.86/6.96	o 494604
18.86/6.96	o 496167
18.86/6.96	o 497094
18.86/6.96	o 497388
18.86/6.96	o 498315
18.86/6.97	o 498469
18.86/6.97	o 499396
18.86/6.97	o 499412
18.86/6.98	o 500339
18.86/6.99	o 500444
18.86/6.99	o 501371
18.86/6.99	o 501964
18.86/6.99	o 502306
18.86/6.99	o 503527
18.86/6.99	o 504454
18.86/6.99	o 504951
18.86/6.99	o 505878
18.86/6.99	o 506172
18.86/6.99	o 507099
18.86/6.99	o 507663
18.86/6.99	o 508590
18.86/7.01	o 508745
18.86/7.01	o 509087
18.86/7.01	o 510308
18.86/7.01	o 511235
18.86/7.01	o 511473
18.86/7.01	o 511845
18.86/7.01	o 513066
18.86/7.01	o 513993
18.86/7.02	o 514674
19.66/7.03	o 515601
19.66/7.03	o 515895
19.66/7.03	o 516822
19.66/7.04	o 517449
19.66/7.05	o 517806
19.66/7.05	o 518472
19.66/7.05	o 519399
19.66/7.05	o 520396
19.66/7.05	o 521323
19.66/7.10	o 521383
19.66/7.11	o 521744
19.66/7.11	o 522086
19.66/7.11	o 522380
19.66/7.11	o 523307
19.66/7.11	o 523659
19.66/7.12	o 524361
20.59/7.14	o 525237
20.59/7.14	o 526164
20.59/7.15	o 526928
20.59/7.15	o 527222
20.59/7.15	o 528149
20.59/7.15	o 528395
20.59/7.15	o 528767
20.59/7.15	o 529988
20.59/7.16	o 530915
20.59/7.16	o 531387
20.59/7.16	o 532314
20.59/7.16	o 532950
20.59/7.16	o 533877
20.59/7.17	o 534229
20.59/7.17	o 534515
20.59/7.18	o 534728
20.59/7.18	o 535949
20.59/7.19	o 536876
21.19/7.22	o 537249
21.19/7.22	o 538176
21.19/7.23	o 538287
21.19/7.23	o 538648
21.19/7.23	o 538990
21.19/7.23	o 540211
21.19/7.23	o 541138
21.19/7.23	o 541635
21.19/7.24	o 541977
21.19/7.24	o 542271
21.19/7.24	o 543198
21.19/7.25	o 544012
21.19/7.25	o 545233
21.19/7.25	o 546160
21.19/7.25	o 546512
21.94/7.37	o 547400
21.94/7.38	o 548125
21.94/7.38	o 548244
21.94/7.38	o 549465
21.94/7.38	o 550392
21.94/7.38	o 550734
21.94/7.38	o 551028
21.94/7.38	o 551955
22.74/7.48	o 552538
22.74/7.49	o 553465
22.74/7.49	o 554477
22.74/7.49	o 554819
22.74/7.49	o 556040
22.74/7.49	o 556967
22.74/7.49	o 557781
22.74/7.49	o 558708
22.74/7.49	o 559002
22.74/7.49	o 559929
23.56/7.50	o 560281
24.33/7.65	o 560473
24.33/7.66	o 561400
24.33/7.66	o 562397
24.33/7.66	o 563324
25.14/7.76	o 563435
25.14/7.77	o 563796
25.14/7.77	o 564138
25.14/7.77	o 565359
25.14/7.77	o 566286
25.14/7.77	o 566638
27.56/8.01	o 567093
27.56/8.02	o 567729
27.56/8.02	o 568656
27.56/8.02	o 569008
27.56/8.06	o 569185
27.56/8.07	o 569427
27.56/8.07	o 570130
27.56/8.07	o 571351
27.56/8.07	o 571693
27.56/8.07	o 572914
27.56/8.07	o 573841
27.56/8.08	o 574019
27.56/8.08	o 574655
27.56/8.08	o 575582
27.56/8.08	o 575876
27.56/8.08	o 576803
27.56/8.09	o 577155
28.36/8.13	o 577977
28.36/8.14	o 578088
28.36/8.14	o 578791
28.36/8.14	o 580012
28.36/8.14	o 580939
28.36/8.14	o 581291
30.68/8.44	o 581832
30.68/8.45	o 582184
30.68/8.46	o 582355
30.68/8.46	o 583282
30.68/8.46	o 583524
30.68/8.46	o 583866
30.68/8.46	o 585087
30.68/8.46	o 585790
30.68/8.46	o 587011
30.68/8.47	o 587938
30.68/8.47	o 588078
30.68/8.47	o 588421
30.68/8.47	o 588782
30.68/8.47	o 590345
30.68/8.47	o 591272
30.68/8.47	o 591566
30.68/8.47	o 592493
32.26/8.65	o 593309
32.26/8.65	o 594236
33.06/8.75	o 594602
33.06/8.76	o 595371
33.06/8.76	o 596296
33.06/8.76	o 597110
33.06/8.76	o 598331
33.06/8.76	o 599258
33.06/8.76	o 599610
36.98/9.21	o 599997
36.98/9.22	o 600349
43.41/10.04	o 600756
43.41/10.05	o 601610
43.41/10.05	o 602349
43.41/10.05	o 602460
43.41/10.05	o 603645
43.41/10.05	o 604384
43.41/10.05	o 604572
43.41/10.06	o 605311
43.41/10.06	o 605497
43.41/10.06	o 606236
43.41/10.06	o 606311
43.41/10.06	o 607532
43.41/10.06	o 608459
43.41/10.07	o 609198
44.20/10.13	o 609550
73.54/13.81	o 609699
73.54/13.81	o 610438
73.54/13.82	o 610467
76.72/14.24	o 610872
76.72/14.25	o 611354
76.72/14.25	o 612093
86.29/15.45	o 612498
86.29/15.46	o 612527
87.09/15.50	o 612806
87.09/15.50	o 613500
87.09/15.51	o 613794
87.09/15.51	o 614721
87.09/15.51	o 615460
87.09/15.51	o 615812
87.09/15.54	o 615841
93.45/16.34	o 615906
93.45/16.35	o 616214
93.45/16.35	o 616378
93.45/16.35	o 617202
93.45/16.35	o 617941
93.45/16.35	o 618129
93.45/16.35	o 618868
93.45/16.36	o 618979
93.45/16.37	o 619673
93.45/16.37	o 620412
93.45/16.37	o 620894
93.45/16.37	o 621633
94.25/16.48	o 621985
98.24/16.91	o 622014
103.80/17.66	o 622265
103.80/17.66	o 623004
103.80/17.68	o 623356
103.80/17.68	o 623809
103.80/17.68	o 624548
103.80/17.68	o 625030
103.80/17.68	o 625769
103.80/17.68	o 626121
104.60/17.71	o 626150
107.06/18.07	o 626152
107.06/18.08	o 626891
107.06/18.08	o 627243
109.38/18.38	o 627272
130.97/21.05	o 627314
135.68/21.68	o 627631
135.68/21.70	o 628167
135.68/21.70	o 628753
135.68/21.70	o 628969
135.68/21.70	o 629555
135.68/21.70	o 629718
135.68/21.70	o 630108
135.68/21.70	o 630366
135.68/21.70	o 631293
136.50/21.71	o 632032
136.50/21.71	o 632698
136.50/21.71	o 632886
136.50/21.71	o 633625
136.50/21.71	o 634211
136.50/21.71	o 634747
136.50/21.71	o 635333
136.50/21.75	o 635362
136.50/21.79	o 635429
136.50/21.79	o 636168
137.27/21.80	o 637022
137.27/21.80	o 637761
137.27/21.80	o 638347
137.27/21.80	o 638376
137.27/21.80	o 638883
137.27/21.80	o 639469
137.27/21.80	o 639498
138.08/21.91	o 639796
138.08/21.91	o 639984
138.08/21.92	o 640723
138.08/21.92	o 641309
138.08/21.92	o 641338
138.08/21.92	o 641845
138.08/21.92	o 642431
138.08/21.92	o 642460
197.81/29.46	o 642746
197.81/29.47	o 643332
197.81/29.47	o 643361
198.61/29.57	o 643365
198.61/29.58	o 643847
198.61/29.58	o 644586
198.61/29.58	o 645172
198.61/29.58	o 645201
198.61/29.58	o 645708
198.61/29.58	o 646294
198.61/29.59	o 646323
200.20/29.74	o 646611
200.20/29.75	o 647277
200.20/29.75	o 647465
200.20/29.75	o 648204
200.20/29.75	o 648790
200.20/29.75	o 649326
200.20/29.75	o 649912
200.20/29.75	o 650427
200.20/29.75	o 651166
200.20/29.75	o 651752
200.20/29.75	o 652288
200.20/29.75	o 652874
200.20/29.76	o 652903
208.17/30.70	o 653141
208.17/30.71	o 653170
208.97/30.80	o 653411
208.97/30.81	o 653440
208.97/30.83	o 653558
208.97/30.83	o 654297
208.97/30.84	o 654779
208.97/30.84	o 655518
208.97/30.84	o 655675
208.97/30.84	o 655793
208.97/30.84	o 656135
208.97/30.84	o 656617
208.97/30.84	o 657356
208.97/30.84	o 657544
208.97/30.84	o 658283
208.97/30.85	o 658666
208.97/30.85	o 659405
208.97/30.86	o 659991
208.97/30.88	o 660020
245.62/35.50	o 660394
245.62/35.51	o 660980
257.58/37.00	o 661247
257.58/37.00	o 661986
258.44/37.01	o 662572
258.44/37.09	o 663108
258.44/37.10	o 663694
259.24/37.19	o 664282
259.24/37.19	o 664868
259.97/37.28	o 665320
259.97/37.29	o 665681
259.97/37.29	o 666505
259.97/37.29	o 667244
259.97/37.29	o 667830
282.35/40.03	o 667968
282.35/40.04	o 668634
282.35/40.04	o 668822
282.35/40.04	o 669561
282.35/40.04	o 670147
282.35/40.04	o 670683
282.35/40.04	o 671269
282.35/40.06	o 671784
282.35/40.07	o 672523
282.35/40.07	o 673109
282.35/40.08	o 673645
282.35/40.08	o 674231
342.05/47.59	o 674469
342.05/47.60	o 675085
342.05/47.60	o 675427
342.05/47.60	o 675909
342.05/47.60	o 676648
342.05/47.60	o 677234
342.86/47.65	o 677280
342.86/47.66	o 678019
342.86/47.66	o 678605
342.86/47.67	o 679118
342.86/47.68	o 680045
342.86/47.68	o 680784
342.86/47.68	o 681370
344.44/47.83	o 681906
344.44/47.83	o 682492
467.12/63.25	o 682978
476.69/64.40	o 683675
476.69/64.41	o 683969
476.69/64.41	o 684157
476.69/64.41	o 684896
476.69/64.41	o 684900
487.84/65.82	o 685393
487.84/65.83	o 686132
487.84/65.83	o 686136
487.84/65.83	o 686161
487.84/65.83	o 686479
487.84/65.83	o 687476
487.84/65.83	o 688403
487.84/65.83	o 689142
487.84/65.86	o 689350
487.84/65.86	o 689538
487.84/65.87	o 690277
487.84/65.87	o 690281
487.84/65.87	o 690431
487.84/65.87	o 690624
487.84/65.87	o 691327
487.84/65.87	o 691621
487.84/65.87	o 692548
487.84/65.87	o 693287
574.68/76.77	o 693309
574.68/76.78	o 693627
574.68/76.78	o 694812
574.68/76.78	o 695551
574.68/76.78	o 695739
574.68/76.78	o 696478
900.82/117.86	o 696956
900.82/117.87	o 697144
900.82/117.87	o 697883
900.82/117.87	o 698095
900.82/117.88	o 699022
900.82/117.88	o 699141
900.82/117.88	o 700362
900.82/117.88	o 701289
900.82/117.88	o 702028
904.00/118.26	o 702502
904.00/118.27	o 702581
904.00/118.27	o 703320
904.00/118.27	o 703866
904.00/118.29	o 705056
904.00/118.29	o 705983
904.00/118.29	o 706980
904.00/118.29	o 707907
904.00/118.29	o 708646
904.00/118.29	o 708940
904.00/118.29	o 709128
904.00/118.29	o 709867
1189.19/154.25	o 710271
1189.19/154.26	o 711010
1189.19/154.26	o 711014
1189.19/154.26	o 711596
1189.19/154.26	o 711600
1228.75/159.21	o 711870
1243.06/161.04	o 711974
1243.06/161.05	o 712901
1243.06/161.05	o 713640
1243.06/161.05	o 713898
1243.06/161.05	o 714637
1243.06/161.05	o 714825
1243.06/161.05	o 715564
1243.85/161.15	o 715802
1243.85/161.16	o 715835
1243.85/161.16	o 716109
1243.85/161.16	o 716848
1243.85/161.16	o 717046
1243.85/161.16	o 718043
1243.85/161.16	o 718970
1243.85/161.16	o 719709
1348.89/174.46	o 720015
1348.89/174.46	o 720019
1348.89/174.46	o 720601
1348.89/174.46	o 720605
1761.12/226.65	o 720914
1761.12/226.66	o 721197
1761.12/226.66	o 721911
1761.12/226.66	o 722838
1761.12/226.66	o 723121
1761.12/226.66	o 724028
1761.12/226.66	o 724311
1761.12/226.66	o 724955
1761.12/226.66	o 725238
1761.12/226.66	o 725945
1761.12/226.66	o 726872
1761.12/226.66	o 727155
1761.92/226.79	o 727411
1762.71/226.80	o 728055
1762.71/226.80	o 728338
1762.71/226.80	o 728589
1762.71/226.80	o 729233
1762.71/226.80	o 729516
1762.71/226.80	o 729972
1762.71/226.80	o 730255
2061.31/264.60	o 730437
2061.31/264.61	o 731133
2061.31/264.61	o 731615
2061.31/264.61	o 732354
2588.80/331.39	o 732530
2588.80/331.41	o 732534
2588.80/331.41	o 733269
2588.80/331.41	o 733273
2731.03/349.33	o 733286
2731.03/349.34	o 733768
2731.03/349.34	o 734507
2731.03/349.34	o 734511
2764.15/353.52	o 734555
2764.15/353.53	o 734559
2764.15/353.53	o 735294
2764.15/353.53	o 735298
2764.15/353.54	o 735369
2764.15/353.54	o 736108
2764.15/353.54	o 736296
2764.15/353.54	o 737035
2764.15/353.54	o 737039
2764.15/353.54	o 737859
2764.15/353.54	o 737863
2764.15/353.54	o 738598
2764.15/353.54	o 738602
2764.15/353.54	o 738628
2764.15/353.54	o 738922
2764.15/353.55	o 739110
2764.15/353.55	o 739849
2764.15/353.55	o 739853
2864.49/366.26	o 740182
2864.49/366.27	o 740339
2864.49/366.27	o 740633
2864.49/366.27	o 741560
2864.49/366.27	o 742299
2864.49/366.30	o 742550
2864.49/366.30	o 743289
2864.49/366.30	o 743477
2864.49/366.30	o 744216
3741.65/477.22	o 745077
3741.65/477.23	o 745816
3758.89/479.48	o 746351
3758.89/479.49	o 747090
3758.89/479.49	o 747341
3758.89/479.49	o 748268
3758.89/479.49	o 749007
4166.82/531.04	o 749022
4166.82/531.04	o 749761
4166.82/531.04	o 750044
4166.82/531.06	o 750183
4166.82/531.06	o 750922
4166.82/531.06	o 751404
4166.82/531.06	o 752143
4188.90/533.86	o 752394
4188.90/533.87	o 753133
4188.90/533.87	o 753321
4188.90/533.87	o 754060
4912.69/625.48	o 754212
4912.69/625.49	o 754951
4915.10/625.74	o 755143
4915.10/625.74	o 755426
4915.10/625.74	o 755565
4915.10/625.74	o 755859
4915.10/625.74	o 756786
4915.10/625.74	o 757525
4915.10/625.76	o 758268
4915.10/625.77	o 759007
4915.10/625.77	o 759195
4915.10/625.77	o 759934
4915.10/625.77	o 760217
4915.10/625.77	o 760356
4915.10/625.77	o 760650
4915.10/625.77	o 761577
4915.10/625.77	o 762316
5129.28/652.86	o 762567
5129.28/652.87	o 763306
5129.28/652.87	o 763494
5129.28/652.87	o 764233
7507.87/953.42	o 765001
7507.87/953.43	o 765928
7507.87/953.43	o 765932
7507.87/953.49	o 766057
7508.67/953.50	o 766061
7508.67/953.50	o 766232
7508.67/953.50	o 766935
7508.67/953.50	o 767229
7508.67/953.50	o 768156
7508.67/953.50	o 768160
7508.67/953.57	o 769146
7508.67/953.57	o 769150
7508.67/953.57	o 770073
7508.67/953.57	o 770077
7775.93/987.39	o 770517
7775.93/987.40	o 771256
7775.93/987.40	o 771260
7787.92/988.83	o 771507
7787.92/988.83	o 772434
7787.92/988.84	o 772438
7787.92/988.84	o 773173
7787.92/988.84	o 773177
7985.15/1013.74	o 773830
7985.15/1013.74	o 773834
7985.15/1013.78	o 774526
7985.15/1013.78	o 775008
7985.15/1013.79	o 775747
7985.15/1013.79	o 775751
8029.58/1019.38	o 776393
8029.58/1019.40	o 776397
8043.84/1021.19	o 776522
8043.84/1021.19	o 776526
8044.56/1021.20	o 776697
8044.56/1021.20	o 777400
8044.56/1021.20	o 777694
8044.56/1021.20	o 777882
8044.56/1021.20	o 778621
8044.56/1021.20	o 778625
8045.34/1021.34	o 778872
8045.34/1021.34	o 779799
8045.34/1021.36	o 780538
8045.34/1021.36	o 780542
8475.52/1075.69	o 780603
8475.52/1075.69	o 781342
8475.52/1075.70	o 781346
8475.52/1075.70	o 781625
8475.52/1075.70	o 781629
8476.33/1075.76	o 782205
8476.33/1075.77	o 782499
8476.33/1075.77	o 782687
8476.33/1075.77	o 783426
8476.33/1075.77	o 783430
8476.33/1075.77	o 783709
8476.33/1075.77	o 783713
8476.33/1075.77	o 783774
8476.33/1075.77	o 783962
8476.33/1075.77	o 784701
8476.33/1075.77	o 784899
8476.33/1075.77	o 785602
8476.33/1075.77	o 785896
8476.33/1075.77	o 786823
8476.33/1075.77	o 787562
8476.33/1075.77	o 787566
8476.33/1075.77	o 787845
8476.33/1075.78	o 787849
8688.38/1102.58	o 787897
8688.38/1102.59	o 788636
8688.38/1102.59	o 788640
8688.38/1102.59	o 788919
8688.38/1102.59	o 788923
8688.38/1102.59	o 789027
8688.38/1102.59	o 789215
8688.38/1102.59	o 789954
8688.38/1102.59	o 790436
8688.38/1102.59	o 791175
8688.38/1102.59	o 791332
8688.38/1102.59	o 791626
8688.38/1102.59	o 792553
8688.38/1102.59	o 793292
8688.38/1102.59	o 793296
8688.38/1102.59	o 793575
8688.38/1102.59	o 793579
8731.97/1108.02	o 793645
8731.97/1108.02	o 794572
8731.97/1108.04	o 795311
8731.97/1108.04	o 795762
8731.97/1108.04	o 796501
8731.97/1108.04	o 796689
8731.97/1108.04	o 797428
8731.97/1108.04	o 797432
8731.97/1108.04	o 797711
8731.97/1108.04	o 797715
9109.91/1155.77	o 797990
9109.91/1155.78	o 798729
9109.91/1155.78	o 798917
9109.91/1155.78	o 799656
9109.91/1155.78	o 799660
9109.91/1155.78	o 799939
9109.91/1155.78	o 799943
9113.87/1156.26	o 800352
9113.87/1156.27	o 800356
9113.87/1156.27	o 800834
9113.87/1156.27	o 801573
9113.87/1156.27	o 801577
9113.87/1156.27	o 801856
9113.87/1156.27	o 801860
11268.99/1428.14	o 802029
11268.99/1428.14	o 802033
11268.99/1428.14	o 802312
11268.99/1428.14	o 802316
11268.99/1428.14	o 802591
11268.99/1428.15	o 803330
11268.99/1428.15	o 803518
11268.99/1428.15	o 804257
11268.99/1428.15	o 804261
11268.99/1428.15	o 804540
11268.99/1428.15	o 804544
11268.99/1428.15	o 805247
11268.99/1428.15	o 805435
11268.99/1428.15	o 806174
11268.99/1428.16	o 806178
11268.99/1428.17	o 806457
11268.99/1428.17	o 806461
14952.40/1892.87	o 806470
14952.40/1892.87	o 806474
14952.40/1892.88	o 807397
14952.40/1892.88	o 807401
14952.40/1892.88	o 807680
14952.40/1892.88	o 807684
14955.56/1893.24	o 808395
14955.56/1893.25	o 808689
14955.56/1893.25	o 809616
14955.56/1893.25	o 809620
14955.56/1893.25	o 809899
14955.56/1893.25	o 809903
14955.56/1893.25	o 810312
14955.56/1893.25	o 810606
14955.56/1893.25	o 811533
14955.56/1893.25	o 811537
14955.56/1893.25	o 811816
14955.56/1893.25	o 811820
15573.49/1971.01	o 811977
15573.49/1971.03	o 811981
15573.49/1971.03	o 812716
15573.49/1971.03	o 812720
15573.49/1971.03	o 812999
15573.49/1971.03	o 813003
15573.49/1971.03	o 813412
15573.49/1971.03	o 813706
15573.49/1971.03	o 813894
15573.49/1971.03	o 814633
15573.49/1971.03	o 814637
15573.49/1971.03	o 814916
15573.49/1971.03	o 814920
19032.20/2407.62	o 814926
19032.20/2407.62	o 814930
19032.20/2407.63	o 815049
19032.20/2407.63	o 815053
19032.20/2407.63	o 815209
19032.20/2407.63	o 815213
19074.14/2412.98	o 815667
19074.14/2412.99	o 815671
19074.14/2412.99	o 815950
19074.14/2412.99	o 815954
19075.79/2413.14	o 815983
19075.79/2413.14	o 815987
19075.79/2413.14	o 816234
19075.79/2413.14	o 817231
19075.79/2413.14	o 818158
19075.79/2413.14	o 818162
19075.79/2413.14	o 818441
19075.79/2413.14	o 818445
19075.79/2413.14	o 818806
19075.79/2413.14	o 819100
19075.79/2413.14	o 820027
19075.79/2413.15	o 820146
19075.79/2413.15	o 821367
19075.79/2413.15	o 822294
19075.79/2413.15	o 822298
19075.79/2413.15	o 822577
19075.79/2413.15	o 822581
19075.79/2413.15	o 822731
19075.79/2413.15	o 823434
19075.79/2413.15	o 823728
19075.79/2413.15	o 824655
19075.79/2413.15	o 825394
19075.79/2413.15	o 825398
19075.79/2413.15	o 825677
19075.79/2413.15	o 825681
19101.06/2416.39	o 825701
19101.06/2416.40	o 825705
19101.06/2416.40	o 825884
19101.06/2416.40	o 825888
19101.06/2416.40	o 826167
19101.06/2416.40	o 826171
19101.06/2416.40	o 826408
19101.06/2416.40	o 826596
19101.06/2416.40	o 827335
19101.06/2416.40	o 827339
19101.06/2416.40	o 827618
19101.06/2416.40	o 827622
19104.17/2416.76	o 827626
19104.17/2416.76	o 827905
19104.17/2416.76	o 827909
19104.17/2416.76	o 828800
19104.17/2416.76	o 829539
19104.17/2416.76	o 829543
19104.17/2416.76	o 829822
19104.17/2416.76	o 829826
19921.29/2520.08	s SATISFIABLE
19921.29/2520.09	v <instantiation>
19921.29/2520.09	v 	<list>
19921.29/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]
19921.29/2520.09	v 	</list>
19921.29/2520.09	v 	<values>
19921.29/2520.09	v 		0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 1 0 0 1 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 
19921.29/2520.09	v 	</values>
19921.29/2520.09	v </instantiation>

Verifier Data 

OK	829826

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309272-1534361052/watcher-4309272-1534361052 -o /tmp/evaluation-result-4309272-1534361052/solver-4309272-1534361052 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1534353239-28103 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 160271076 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309272-1534361052.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=28849, runsolver pid=28846

[startup+0.100138 s]*
/proc/loadavg: 8.44 8.60 8.72 2/199 28869
/proc/meminfo: memFree=24796180/32770624 swapFree=67108524/67108860
[pid=28849] ppid=28846 vsize=26103420 memory=31528 CPUtime=0.11 cores=0-7
/proc/28849/stat : 28849 (java) S 28846 28849 28076 0 -1 1077944320 7339 0 0 0 10 1 0 0 20 0 20 0 253668418 26729902080 7882 33554432000 4194304 4196468 140723751193216 140723751175760 140380881735415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
/proc/28849/statm: 6525855 7882 3116 1 0 6487932 0
[pid=28849/tid=28851] ppid=28846 vsize=26103420 memory=8258646724318241435 CPUtime=0.09 cores=0-7
/proc/28849/task/28851/stat : 28851 (java) R 28846 28849 28076 0 -1 4202560 5440 0 0 0 8 1 0 0 20 0 20 0 253668418 26729902080 7948 33554432000 4194304 4196468 140723751193216 140380885938544 140380873972542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28852] ppid=28846 vsize=26103420 memory=732370641456905189 CPUtime=0 cores=0-7
/proc/28849/task/28852/stat : 28852 (java) S 28846 28849 28076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 7948 33554432000 4194304 4196468 140723751193216 140380834356240 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28853] ppid=28846 vsize=26103420 memory=140503119451776 CPUtime=0 cores=0-7
/proc/28849/task/28853/stat : 28853 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 7948 33554432000 4194304 4196468 140723751193216 140380833303696 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28854] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28854/stat : 28854 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 7948 33554432000 4194304 4196468 140723751193216 140380832250640 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28855] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28855/stat : 28855 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 7948 33554432000 4194304 4196468 140723751193216 140380831198096 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28856] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28856/stat : 28856 (java) S 28846 28849 28076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 7948 33554432000 4194304 4196468 140723751193216 140380830145040 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28857] ppid=28846 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28849/task/28857/stat : 28857 (java) S 28846 28849 28076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 7948 33554432000 4194304 4196468 140723751193216 140380829092496 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28858] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28858/stat : 28858 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 7948 33554432000 4194304 4196468 140723751193216 140380828039440 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28859] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28859/stat : 28859 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 7948 33554432000 4194304 4196468 140723751193216 140380826986896 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28860] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28860/stat : 28860 (java) S 28846 28849 28076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253668420 26729902080 7948 33554432000 4194304 4196468 140723751193216 140379199847152 140380881746562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28861] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28861/stat : 28861 (java) S 28846 28849 28076 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 253668421 26729902080 7948 33554432000 4194304 4196468 140723751193216 140379198793376 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28862] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28862/stat : 28862 (java) S 28846 28849 28076 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253668421 26729902080 8014 33554432000 4194304 4196468 140723751193216 140379197740272 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28863] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28863/stat : 28863 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668423 26729902080 8014 33554432000 4194304 4196468 140723751193216 140379196688848 140380881754011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28864] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28864/stat : 28864 (java) S 28846 28849 28076 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 253668423 26729902080 8014 33554432000 4194304 4196468 140723751193216 140379195635952 140380881746562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28865] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28865/stat : 28865 (java) S 28846 28849 28076 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 20 0 253668423 26729902080 8014 33554432000 4194304 4196468 140723751193216 140379081959792 140380881746562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28866] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28866/stat : 28866 (java) S 28846 28849 28076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253668423 26729902080 8014 33554432000 4194304 4196468 140723751193216 140379080906736 140380881746562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28867] ppid=28846 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/28849/task/28867/stat : 28867 (java) S 28846 28849 28076 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 20 0 253668423 26729902080 8014 33554432000 4194304 4196468 140723751193216 140379079854192 140380881746562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28868] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28868/stat : 28868 (java) S 28846 28849 28076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253668424 26729902080 8014 33554432000 4194304 4196468 140723751193216 140379078802400 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28869] ppid=28846 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28849/task/28869/stat : 28869 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668424 26729902080 8014 33554432000 4194304 4196468 140723751193216 140379077749936 140380881746562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 31528 KiB

[startup+0.21014 s]*
/proc/loadavg: 8.44 8.60 8.72 4/199 28869
/proc/meminfo: memFree=24783096/32770624 swapFree=67108524/67108860
[pid=28849] ppid=28846 vsize=26103420 memory=43144 CPUtime=0.3 cores=0-7
/proc/28849/stat : 28849 (java) S 28846 28849 28076 0 -1 1077944320 10500 0 0 0 28 2 0 0 20 0 20 0 253668418 26729902080 10786 33554432000 4194304 4196468 140723751193216 140723751175760 140380881735415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
/proc/28849/statm: 6525855 10786 3337 1 0 6487932 0
[pid=28849/tid=28851] ppid=28846 vsize=26103420 memory=32758254098972862 CPUtime=0.19 cores=0-7
/proc/28849/task/28851/stat : 28851 (java) R 28846 28849 28076 0 -1 4202560 8241 0 0 0 18 1 0 0 20 0 20 0 253668418 26729902080 10786 33554432000 4194304 4196468 140723751193216 140380885956544 140380881757341 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28852] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28852/stat : 28852 (java) S 28846 28849 28076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 10786 33554432000 4194304 4196468 140723751193216 140380834356240 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28853] ppid=28846 vsize=26103420 memory=140503120822430 CPUtime=0 cores=0-7
/proc/28849/task/28853/stat : 28853 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 10786 33554432000 4194304 4196468 140723751193216 140380833303696 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28854] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28854/stat : 28854 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 10786 33554432000 4194304 4196468 140723751193216 140380832250640 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28855] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28855/stat : 28855 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 10786 33554432000 4194304 4196468 140723751193216 140380831198096 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28856] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28856/stat : 28856 (java) S 28846 28849 28076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 10786 33554432000 4194304 4196468 140723751193216 140380830145040 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28857] ppid=28846 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28849/task/28857/stat : 28857 (java) S 28846 28849 28076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 10786 33554432000 4194304 4196468 140723751193216 140380829092496 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28858] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28858/stat : 28858 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 10786 33554432000 4194304 4196468 140723751193216 140380828039440 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28859] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28859/stat : 28859 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 10786 33554432000 4194304 4196468 140723751193216 140380826986896 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28860] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28860/stat : 28860 (java) S 28846 28849 28076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253668420 26729902080 10786 33554432000 4194304 4196468 140723751193216 140379199847152 140380881746562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28861] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28861/stat : 28861 (java) S 28846 28849 28076 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 253668421 26729902080 10786 33554432000 4194304 4196468 140723751193216 140379198793376 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28862] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28862/stat : 28862 (java) S 28846 28849 28076 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253668421 26729902080 10786 33554432000 4194304 4196468 140723751193216 140379197740272 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28863] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28863/stat : 28863 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668423 26729902080 10786 33554432000 4194304 4196468 140723751193216 140379196688848 140380881754011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28864] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28864/stat : 28864 (java) S 28846 28849 28076 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 20 0 253668423 26729902080 10786 33554432000 4194304 4196468 140723751193216 140379195635952 140380881746562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28865] ppid=28846 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/28849/task/28865/stat : 28865 (java) S 28846 28849 28076 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 20 0 253668423 26729902080 10786 33554432000 4194304 4196468 140723751193216 140379081959792 140380881746562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28866] ppid=28846 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/28849/task/28866/stat : 28866 (java) S 28846 28849 28076 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 253668423 26729902080 10786 33554432000 4194304 4196468 140723751193216 140379080906736 140380881746562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28867] ppid=28846 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/28849/task/28867/stat : 28867 (java) S 28846 28849 28076 0 -1 1077944384 294 0 0 0 6 0 0 0 20 0 20 0 253668423 26729902080 10786 33554432000 4194304 4196468 140723751193216 140379079854192 140380881746562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28868] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28868/stat : 28868 (java) S 28846 28849 28076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253668424 26729902080 10786 33554432000 4194304 4196468 140723751193216 140379078802400 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28869] ppid=28846 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28849/task/28869/stat : 28869 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668424 26729902080 10786 33554432000 4194304 4196468 140723751193216 140379077749936 140380881746562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 43144 KiB

[startup+0.310214 s]*
/proc/loadavg: 8.44 8.60 8.72 2/199 28869
/proc/meminfo: memFree=24779808/32770624 swapFree=67108524/67108860
[pid=28849] ppid=28846 vsize=26103420 memory=46700 CPUtime=0.42 cores=0-7
/proc/28849/stat : 28849 (java) S 28846 28849 28076 0 -1 1077944320 10891 0 0 0 40 2 0 0 20 0 20 0 253668418 26729902080 11675 33554432000 4194304 4196468 140723751193216 140723751175760 140380881735415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
/proc/28849/statm: 6525855 11675 3377 1 0 6487932 0
[pid=28849/tid=28851] ppid=28846 vsize=26103420 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/28849/task/28851/stat : 28851 (java) R 28846 28849 28076 0 -1 4202560 8580 0 0 0 28 1 0 0 20 0 20 0 253668418 26729902080 11675 33554432000 4194304 4196468 140723751193216 140380885897152 140380865815902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28852] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28852/stat : 28852 (java) S 28846 28849 28076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 11675 33554432000 4194304 4196468 140723751193216 140380834356240 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28853] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28853/stat : 28853 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 11675 33554432000 4194304 4196468 140723751193216 140380833303696 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28854] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28854/stat : 28854 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 11675 33554432000 4194304 4196468 140723751193216 140380832250640 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28855] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28855/stat : 28855 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 11675 33554432000 4194304 4196468 140723751193216 140380831198096 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28856] ppid=28846 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/28849/task/28856/stat : 28856 (java) S 28846 28849 28076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 11675 33554432000 4194304 4196468 140723751193216 140380830145040 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28857] ppid=28846 vsize=26103420 memory=140503010079663 CPUtime=0 cores=0-7
/proc/28849/task/28857/stat : 28857 (java) S 28846 28849 28076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 11675 33554432000 4194304 4196468 140723751193216 140380829092496 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28858] ppid=28846 vsize=26103420 memory=140503010081968 CPUtime=0 cores=0-7
/proc/28849/task/28858/stat : 28858 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 11675 33554432000 4194304 4196468 140723751193216 140380828039440 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28859] ppid=28846 vsize=26103420 memory=140503010084272 CPUtime=0 cores=0-7
/proc/28849/task/28859/stat : 28859 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26729902080 11675 33554432000 4194304 4196468 140723751193216 140380826986896 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28860] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28860/stat : 28860 (java) S 28846 28849 28076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253668420 26729902080 11675 33554432000 4194304 4196468 140723751193216 140379199847152 140380881746562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28861] ppid=28846 vsize=26103420 memory=281006020175504 CPUtime=0 cores=0-7
/proc/28849/task/28861/stat : 28861 (java) S 28846 28849 28076 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 253668421 26729902080 11675 33554432000 4194304 4196468 140723751193216 140379198793376 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28862] ppid=28846 vsize=26103420 memory=281006020182416 CPUtime=0 cores=0-7
/proc/28849/task/28862/stat : 28862 (java) S 28846 28849 28076 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 253668421 26729902080 11675 33554432000 4194304 4196468 140723751193216 140379197740272 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28863] ppid=28846 vsize=26103420 memory=281006020123696 CPUtime=0 cores=0-7
/proc/28849/task/28863/stat : 28863 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668423 26729902080 11675 33554432000 4194304 4196468 140723751193216 140379196688848 140380881754011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28864] ppid=28846 vsize=26103420 memory=281006020196240 CPUtime=0.01 cores=0-7
/proc/28849/task/28864/stat : 28864 (java) S 28846 28849 28076 0 -1 1077944384 227 0 0 0 1 0 0 0 20 0 20 0 253668423 26729902080 11675 33554432000 4194304 4196468 140723751193216 140379195635952 140380881746562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28865] ppid=28846 vsize=26103420 memory=281006020203152 CPUtime=0.01 cores=0-7
/proc/28849/task/28865/stat : 28865 (java) S 28846 28849 28076 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 20 0 253668423 26729902080 11675 33554432000 4194304 4196468 140723751193216 140379081959792 140380881746562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28866] ppid=28846 vsize=26103420 memory=281006020200848 CPUtime=0.01 cores=0-7
/proc/28849/task/28866/stat : 28866 (java) S 28846 28849 28076 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 253668423 26729902080 11675 33554432000 4194304 4196468 140723751193216 140379080906736 140380881746562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28867] ppid=28846 vsize=26103420 memory=281006020217408 CPUtime=0.07 cores=0-7
/proc/28849/task/28867/stat : 28867 (java) S 28846 28849 28076 0 -1 1077944384 300 0 0 0 7 0 0 0 20 0 20 0 253668423 26729902080 11675 33554432000 4194304 4196468 140723751193216 140379079854192 140380881746562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28868] ppid=28846 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28868/stat : 28868 (java) S 28846 28849 28076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253668424 26729902080 11675 33554432000 4194304 4196468 140723751193216 140379078802400 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28869] ppid=28846 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/28849/task/28869/stat : 28869 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668424 26729902080 11675 33554432000 4194304 4196468 140723751193216 140379077749936 140380881746562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 46700 KiB

[startup+0.700899 s]
/proc/loadavg: 8.44 8.60 8.72 2/199 28869
/proc/meminfo: memFree=24755748/32770624 swapFree=67108524/67108860
[pid=28849] ppid=28846 vsize=26105488 memory=87592 CPUtime=0.99 cores=0-7
/proc/28849/stat : 28849 (java) S 28846 28849 28076 0 -1 1077944320 17818 0 0 0 95 4 0 0 20 0 20 0 253668418 26732019712 21898 33554432000 4194304 4196468 140723751193216 140723751175760 140380881735415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
/proc/28849/statm: 6526372 21898 3486 1 0 6488444 0
[pid=28849/tid=28851] ppid=28846 vsize=26105488 memory=5936659516314964578 CPUtime=0.67 cores=0-7
/proc/28849/task/28851/stat : 28851 (java) R 28846 28849 28076 0 -1 4202560 15060 0 0 0 64 3 0 0 20 0 20 0 253668418 26732019712 21898 33554432000 4194304 4196468 140723751193216 140380885958736 140380881757341 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28852] ppid=28846 vsize=26105488 memory=123987115958664 CPUtime=0 cores=0-7
/proc/28849/task/28852/stat : 28852 (java) S 28846 28849 28076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253668419 26732019712 21898 33554432000 4194304 4196468 140723751193216 140380834356240 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28853] ppid=28846 vsize=26105488 memory=140503010110698 CPUtime=0 cores=0-7
/proc/28849/task/28853/stat : 28853 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26732019712 21898 33554432000 4194304 4196468 140723751193216 140380833303696 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28854] ppid=28846 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28854/stat : 28854 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26732019712 21898 33554432000 4194304 4196468 140723751193216 140380832250640 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28855] ppid=28846 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28855/stat : 28855 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26732019712 21898 33554432000 4194304 4196468 140723751193216 140380831198096 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28856] ppid=28846 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28856/stat : 28856 (java) S 28846 28849 28076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253668419 26732019712 21898 33554432000 4194304 4196468 140723751193216 140380830145040 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28857] ppid=28846 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28857/stat : 28857 (java) S 28846 28849 28076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 253668419 26732019712 21898 33554432000 4194304 4196468 140723751193216 140380829092496 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28858] ppid=28846 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/28849/task/28858/stat : 28858 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26732019712 21898 33554432000 4194304 4196468 140723751193216 140380828039440 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28859] ppid=28846 vsize=26105488 memory=1740 CPUtime=0 cores=0-7
/proc/28849/task/28859/stat : 28859 (java) S 28846 28849 28076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 253668419 26732019712 21898 33554432000 4194304 4196468 140723751193216 140380826986896 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28860] ppid=28846 vsize=26105488 memory=11192 CPUtime=0 cores=0-7
/proc/28849/task/28860/stat : 28860 (java) S 28846 28849 28076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 253668420 26732019712 21898 33554432000 4194304 4196468 140723751193216 140379199847152 140380881746562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0

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

/proc/28849/task/28870/stat : 28870 (java) S 28846 28849 28076 0 -1 1077944384 2340 0 0 0 2 0 0 0 20 0 46 0 253668934 28518936576 746004 33554432000 4194304 4196468 140723751193216 140379066405840 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28871] ppid=28846 vsize=27850524 memory=4644 CPUtime=1.93 cores=0-7
/proc/28849/task/28871/stat : 28871 (java) R 28846 28849 28076 0 -1 1077944384 18649 0 0 0 66 127 0 0 20 0 46 0 253668950 28518936576 746004 33554432000 4194304 4196468 140723751193216 140379063256480 140380881746562 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28872] ppid=28846 vsize=27850524 memory=2984016 CPUtime=0.07 cores=0-7
/proc/28849/task/28872/stat : 28872 (java) S 28846 28849 28076 0 -1 1077944384 512 0 0 0 7 0 0 0 20 0 46 0 253668972 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378752504976 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28873] ppid=28846 vsize=27850524 memory=6791534058613427641 CPUtime=0.07 cores=0-7
/proc/28849/task/28873/stat : 28873 (java) S 28846 28849 28076 0 -1 1077944384 431 0 0 0 7 0 0 0 20 0 46 0 253668973 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378751452432 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28874] ppid=28846 vsize=27850524 memory=-7003737579269690708 CPUtime=2478.05 cores=0-7
/proc/28849/task/28874/stat : 28874 (java) R 28846 28849 28076 0 -1 4202560 70551 0 0 0 247751 54 0 0 20 0 46 0 253668973 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378750391880 140380492024203 0 4 0 16800975 0 0 0 -1 0 0 0 33 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28875] ppid=28846 vsize=27850524 memory=2984016 CPUtime=2476.75 cores=0-7
/proc/28849/task/28875/stat : 28875 (java) R 28846 28849 28076 0 -1 4202560 69256 0 0 0 247624 51 0 0 20 0 46 0 253668980 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378747243784 140380493989522 0 4 0 16800975 0 0 0 -1 1 0 0 39 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28876] ppid=28846 vsize=27850524 memory=4636 CPUtime=2480.16 cores=0-7
/proc/28849/task/28876/stat : 28876 (java) R 28846 28849 28076 0 -1 4202560 67860 0 0 0 247972 44 0 0 20 0 46 0 253668980 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378746191944 140380493062743 0 4 0 16800975 0 0 0 -1 3 0 0 38 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28877] ppid=28846 vsize=27850524 memory=2984016 CPUtime=2476.34 cores=0-7
/proc/28849/task/28877/stat : 28877 (java) R 28846 28849 28076 0 -1 4202560 63552 0 0 0 247588 46 0 0 20 0 46 0 253668980 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378745137912 140380492024175 0 4 0 16800975 0 0 0 -1 4 0 0 33 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28878] ppid=28846 vsize=27850524 memory=6791534058613427641 CPUtime=2478.3 cores=0-7
/proc/28849/task/28878/stat : 28878 (java) R 28846 28849 28076 0 -1 4202560 65585 0 0 0 247783 47 0 0 20 0 46 0 253668981 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378744086152 140380493062880 0 4 0 16800975 0 0 0 -1 2 0 0 35 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28879] ppid=28846 vsize=27850524 memory=-7003737579269690708 CPUtime=2479.56 cores=0-7
/proc/28849/task/28879/stat : 28879 (java) R 28846 28849 28076 0 -1 4202560 61652 0 0 0 247908 48 0 0 20 0 46 0 253668981 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378743033608 140380493061773 0 4 0 16800975 0 0 0 -1 7 0 0 30 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28880] ppid=28846 vsize=27850524 memory=4104 CPUtime=0.01 cores=0-7
/proc/28849/task/28880/stat : 28880 (java) S 28846 28849 28076 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 46 0 253668981 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378741986448 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28881] ppid=28846 vsize=27850524 memory=1408 CPUtime=2476.32 cores=0-7
/proc/28849/task/28881/stat : 28881 (java) R 28846 28849 28076 0 -1 4202560 61481 0 0 0 247583 49 0 0 20 0 46 0 253668981 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378740927952 140380493002529 0 4 0 16800975 0 0 0 -1 6 0 0 37 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28882] ppid=28846 vsize=27850524 memory=4636 CPUtime=2478.86 cores=0-7
/proc/28849/task/28882/stat : 28882 (java) R 28846 28849 28076 0 -1 4202560 62890 0 0 0 247839 47 0 0 20 0 46 0 253668990 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378739875568 140380489555551 0 4 0 16800975 0 0 0 -1 5 0 0 38 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28883] ppid=28846 vsize=27850524 memory=2984016 CPUtime=0.01 cores=0-7
/proc/28849/task/28883/stat : 28883 (java) S 28846 28849 28076 0 -1 1077944384 384 0 0 0 1 0 0 0 20 0 46 0 253668990 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378738828304 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28884] ppid=28846 vsize=27850524 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/28849/task/28884/stat : 28884 (java) S 28846 28849 28076 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 46 0 253669035 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378735642256 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28885] ppid=28846 vsize=27850524 memory=2984016 CPUtime=0.01 cores=0-7
/proc/28849/task/28885/stat : 28885 (java) S 28846 28849 28076 0 -1 1077944384 513 0 0 0 1 0 0 0 20 0 46 0 253669036 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378734589712 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28886] ppid=28846 vsize=27850524 memory=924 CPUtime=0.01 cores=0-7
/proc/28849/task/28886/stat : 28886 (java) S 28846 28849 28076 0 -1 1077944384 477 0 0 0 1 0 0 0 20 0 46 0 253669036 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378733536656 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28887] ppid=28846 vsize=27850524 memory=1168 CPUtime=0.01 cores=0-7
/proc/28849/task/28887/stat : 28887 (java) S 28846 28849 28076 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 46 0 253669036 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378732484112 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28888] ppid=28846 vsize=27850524 memory=2132 CPUtime=0.01 cores=0-7
/proc/28849/task/28888/stat : 28888 (java) S 28846 28849 28076 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 46 0 253669036 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378731431056 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28889] ppid=28846 vsize=27850524 memory=6791534058613427641 CPUtime=0.01 cores=0-7
/proc/28849/task/28889/stat : 28889 (java) S 28846 28849 28076 0 -1 1077944384 298 0 0 0 1 0 0 0 20 0 46 0 253669038 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378730378512 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28890] ppid=28846 vsize=27850524 memory=1932 CPUtime=0.01 cores=0-7
/proc/28849/task/28890/stat : 28890 (java) S 28846 28849 28076 0 -1 1077944384 456 0 0 0 1 0 0 0 20 0 46 0 253669039 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378729325456 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28891] ppid=28846 vsize=27850524 memory=7288 CPUtime=0 cores=0-7
/proc/28849/task/28891/stat : 28891 (java) S 28846 28849 28076 0 -1 1077944384 549 0 0 0 0 0 0 0 20 0 46 0 253669041 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378728272912 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28892] ppid=28846 vsize=27850524 memory=804 CPUtime=0.01 cores=0-7
/proc/28849/task/28892/stat : 28892 (java) S 28846 28849 28076 0 -1 1077944384 421 0 0 0 0 1 0 0 20 0 46 0 253669042 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378727220880 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28893] ppid=28846 vsize=27850524 memory=1800 CPUtime=0 cores=0-7
/proc/28849/task/28893/stat : 28893 (java) S 28846 28849 28076 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 46 0 253669048 28518936576 746004 33554432000 4194304 4196468 140723751193216 140378726168336 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28894] ppid=28846 vsize=27850524 memory=920 CPUtime=0.01 cores=0-7
/proc/28849/task/28894/stat : 28894 (java) S 28846 28849 28076 0 -1 1077944384 545 0 0 0 1 0 0 0 20 0 46 0 253669048 28518936576 746004 33554432000 4194304 4196468 140723751193216 140376778204560 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28895] ppid=28846 vsize=27850524 memory=5804 CPUtime=0.01 cores=0-7
/proc/28849/task/28895/stat : 28895 (java) S 28846 28849 28076 0 -1 1077944384 431 0 0 0 1 0 0 0 20 0 46 0 253669048 28518936576 746004 33554432000 4194304 4196468 140723751193216 140376777152016 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
Current children cumulated CPU time: 19921.3 s
Current children cumulated vsize: 27850524 KiB
Current children cumulated memory: 2984016 KiB

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

[startup+2520.22 s]
# the end of solver process 28849 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19913 s, system=9.70926 s

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

[startup+2520.2 s]
/proc/loadavg: 8.71 8.91 8.83 10/224 28954
/proc/meminfo: memFree=21835288/32770624 swapFree=67108524/67108860
[pid=28849] ppid=28846 vsize=27984680 memory=2984820 CPUtime=19922.7 cores=0-7
/proc/28849/stat : 28849 (java) S 28846 28849 28076 0 -1 1077944320 1660189 0 0 0 1991298 968 0 0 20 0 44 0 253668418 28656312320 746205 33554432000 4194304 4196468 140723751193216 140723751175760 140380881735415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
/proc/28849/statm: 6996170 746205 3625 1 0 6957721 0
[pid=28849/tid=28851] ppid=28846 vsize=27984680 memory=1408 CPUtime=5.5 cores=0-7
/proc/28849/task/28851/stat : 28851 (java) S 28846 28849 28076 0 -1 1077944384 22019 0 0 0 544 6 0 0 20 0 44 0 253668418 28656312320 746205 33554432000 4194304 4196468 140723751193216 140380885972400 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28852] ppid=28846 vsize=27984680 memory=2984016 CPUtime=9.27 cores=0-7
/proc/28849/task/28852/stat : 28852 (java) S 28846 28849 28076 0 -1 1077944384 99360 0 0 0 871 56 0 0 20 0 44 0 253668419 28656312320 746205 33554432000 4194304 4196468 140723751193216 140380834356240 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 51 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28853] ppid=28846 vsize=27984680 memory=2984016 CPUtime=9.29 cores=0-7
/proc/28849/task/28853/stat : 28853 (java) S 28846 28849 28076 0 -1 1077944384 102540 0 0 0 868 61 0 0 20 0 44 0 253668419 28656312320 746205 33554432000 4194304 4196468 140723751193216 140380833303696 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 50 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28854] ppid=28846 vsize=27984680 memory=1740 CPUtime=9.27 cores=0-7
/proc/28849/task/28854/stat : 28854 (java) S 28846 28849 28076 0 -1 1077944384 99544 0 0 0 869 58 0 0 20 0 44 0 253668419 28656312320 746205 33554432000 4194304 4196468 140723751193216 140380832250640 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28855] ppid=28846 vsize=27984680 memory=11192 CPUtime=9.33 cores=0-7
/proc/28849/task/28855/stat : 28855 (java) S 28846 28849 28076 0 -1 1077944384 111650 0 0 0 871 62 0 0 20 0 44 0 253668419 28656312320 746205 33554432000 4194304 4196468 140723751193216 140380831198096 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 49 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28856] ppid=28846 vsize=27984680 memory=2984016 CPUtime=9.28 cores=0-7
/proc/28849/task/28856/stat : 28856 (java) S 28846 28849 28076 0 -1 1077944384 108786 0 0 0 869 59 0 0 20 0 44 0 253668419 28656312320 746205 33554432000 4194304 4196468 140723751193216 140380830145040 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 51 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28857] ppid=28846 vsize=27984680 memory=2984016 CPUtime=9.25 cores=0-7
/proc/28849/task/28857/stat : 28857 (java) S 28846 28849 28076 0 -1 1077944384 110885 0 0 0 864 61 0 0 20 0 44 0 253668419 28656312320 746205 33554432000 4194304 4196468 140723751193216 140380829092496 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 51 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28858] ppid=28846 vsize=27984680 memory=6791534058613427641 CPUtime=9.25 cores=0-7
/proc/28849/task/28858/stat : 28858 (java) S 28846 28849 28076 0 -1 1077944384 115174 0 0 0 863 62 0 0 20 0 44 0 253668419 28656312320 746205 33554432000 4194304 4196468 140723751193216 140380828039440 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28859] ppid=28846 vsize=27984680 memory=-7003737579269690708 CPUtime=9.31 cores=0-7
/proc/28849/task/28859/stat : 28859 (java) S 28846 28849 28076 0 -1 1077944384 107121 0 0 0 871 60 0 0 20 0 44 0 253668419 28656312320 746205 33554432000 4194304 4196468 140723751193216 140380826986896 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 51 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28860] ppid=28846 vsize=27984680 memory=3712 CPUtime=7.73 cores=0-7
/proc/28849/task/28860/stat : 28860 (java) S 28846 28849 28076 0 -1 1077944384 175209 0 0 0 663 110 0 0 20 0 44 0 253668420 28656312320 746205 33554432000 4194304 4196468 140723751193216 140379199846656 140380881746562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28861] ppid=28846 vsize=27984680 memory=69048 CPUtime=0 cores=0-7
/proc/28849/task/28861/stat : 28861 (java) S 28846 28849 28076 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 44 0 253668421 28656312320 746205 33554432000 4194304 4196468 140723751193216 140379198793440 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28862] ppid=28846 vsize=27984680 memory=1064 CPUtime=0 cores=0-7
/proc/28849/task/28862/stat : 28862 (java) S 28846 28849 28076 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 44 0 253668421 28656312320 746205 33554432000 4194304 4196468 140723751193216 140379197740288 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28864] ppid=28846 vsize=27984680 memory=1740 CPUtime=1.77 cores=0-7
/proc/28849/task/28864/stat : 28864 (java) S 28846 28849 28076 0 -1 1077944384 10943 0 0 0 175 2 0 0 20 0 44 0 253668423 28656312320 746205 33554432000 4194304 4196468 140723751193216 140379195620464 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28865] ppid=28846 vsize=27984680 memory=11192 CPUtime=1.7 cores=0-7
/proc/28849/task/28865/stat : 28865 (java) S 28846 28849 28076 0 -1 1077944384 9554 0 0 0 168 2 0 0 20 0 44 0 253668423 28656312320 746205 33554432000 4194304 4196468 140723751193216 140379081938832 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28866] ppid=28846 vsize=27984680 memory=752 CPUtime=1.68 cores=0-7
/proc/28849/task/28866/stat : 28866 (java) S 28846 28849 28076 0 -1 1077944384 5948 0 0 0 168 0 0 0 20 0 44 0 253668423 28656312320 746205 33554432000 4194304 4196468 140723751193216 140379080891248 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28867] ppid=28846 vsize=27984680 memory=1828 CPUtime=1.18 cores=0-7
/proc/28849/task/28867/stat : 28867 (java) S 28846 28849 28076 0 -1 1077944384 18466 0 0 0 113 5 0 0 20 0 44 0 253668423 28656312320 746205 33554432000 4194304 4196468 140723751193216 140379079850624 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28868] ppid=28846 vsize=27984680 memory=1120 CPUtime=0 cores=0-7
/proc/28849/task/28868/stat : 28868 (java) S 28846 28849 28076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 44 0 253668424 28656312320 746205 33554432000 4194304 4196468 140723751193216 140379078802400 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28870] ppid=28846 vsize=27984680 memory=288230596050944315 CPUtime=0.02 cores=0-7
/proc/28849/task/28870/stat : 28870 (java) S 28846 28849 28076 0 -1 1077944384 2340 0 0 0 2 0 0 0 20 0 44 0 253668934 28656312320 746205 33554432000 4194304 4196468 140723751193216 140379066405840 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28872] ppid=28846 vsize=27984680 memory=1408 CPUtime=0.07 cores=0-7
/proc/28849/task/28872/stat : 28872 (java) S 28846 28849 28076 0 -1 1077944384 534 0 0 0 7 0 0 0 20 0 44 0 253668972 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378752504976 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28873] ppid=28846 vsize=27984680 memory=3712 CPUtime=0.07 cores=0-7
/proc/28849/task/28873/stat : 28873 (java) S 28846 28849 28076 0 -1 1077944384 431 0 0 0 7 0 0 0 20 0 44 0 253668973 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378751452432 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28874] ppid=28846 vsize=27984680 memory=69048 CPUtime=2478.2 cores=0-7
/proc/28849/task/28874/stat : 28874 (java) S 28846 28849 28076 0 -1 1077944384 70553 0 0 0 247766 54 0 0 20 0 44 0 253668973 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378750393344 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 33 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28875] ppid=28846 vsize=27984680 memory=1064 CPUtime=2476.88 cores=0-7
/proc/28849/task/28875/stat : 28875 (java) S 28846 28849 28076 0 -1 1077944384 69257 0 0 0 247637 51 0 0 20 0 44 0 253668980 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378747243648 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 39 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28876] ppid=28846 vsize=27984680 memory=2072 CPUtime=2480.3 cores=0-7
/proc/28849/task/28876/stat : 28876 (java) S 28846 28849 28076 0 -1 1077944384 67864 0 0 0 247986 44 0 0 20 0 44 0 253668980 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378746191808 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28877] ppid=28846 vsize=27984680 memory=1740 CPUtime=2476.5 cores=0-7
/proc/28849/task/28877/stat : 28877 (java) S 28846 28849 28076 0 -1 1077944384 63554 0 0 0 247604 46 0 0 20 0 44 0 253668980 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378745139072 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28878] ppid=28846 vsize=27984680 memory=11192 CPUtime=2478.45 cores=0-7
/proc/28849/task/28878/stat : 28878 (java) S 28846 28849 28076 0 -1 1077944384 65585 0 0 0 247798 47 0 0 20 0 44 0 253668981 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378744084416 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28879] ppid=28846 vsize=27984680 memory=752 CPUtime=2479.72 cores=0-7
/proc/28849/task/28879/stat : 28879 (java) S 28846 28849 28076 0 -1 1077944384 61653 0 0 0 247924 48 0 0 20 0 44 0 253668981 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378743033472 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28880] ppid=28846 vsize=27984680 memory=1828 CPUtime=0.03 cores=0-7
/proc/28849/task/28880/stat : 28880 (java) S 28846 28849 28076 0 -1 1077944384 620 0 0 0 3 0 0 0 20 0 44 0 253668981 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378741985968 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28881] ppid=28846 vsize=27984680 memory=1120 CPUtime=2476.48 cores=0-7
/proc/28849/task/28881/stat : 28881 (java) S 28846 28849 28076 0 -1 1077944384 61483 0 0 0 247599 49 0 0 20 0 44 0 253668981 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378740927872 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28882] ppid=28846 vsize=27984680 memory=6076 CPUtime=2479 cores=0-7
/proc/28849/task/28882/stat : 28882 (java) S 28846 28849 28076 0 -1 1077944384 62891 0 0 0 247853 47 0 0 20 0 44 0 253668990 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378739873216 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28883] ppid=28846 vsize=27984680 memory=303430223234596890 CPUtime=0.02 cores=0-7
/proc/28849/task/28883/stat : 28883 (java) S 28846 28849 28076 0 -1 1077944384 573 0 0 0 2 0 0 0 20 0 44 0 253668990 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378738828304 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28884] ppid=28846 vsize=27984680 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/28849/task/28884/stat : 28884 (java) S 28846 28849 28076 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 44 0 253669035 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378735642256 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28885] ppid=28846 vsize=27984680 memory=15258134151170443 CPUtime=0.01 cores=0-7
/proc/28849/task/28885/stat : 28885 (java) S 28846 28849 28076 0 -1 1077944384 534 0 0 0 1 0 0 0 20 0 44 0 253669036 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378734589712 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28886] ppid=28846 vsize=27984680 memory=1408 CPUtime=0.01 cores=0-7
/proc/28849/task/28886/stat : 28886 (java) S 28846 28849 28076 0 -1 1077944384 498 0 0 0 1 0 0 0 20 0 44 0 253669036 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378733536656 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28887] ppid=28846 vsize=27984680 memory=4644 CPUtime=0.01 cores=0-7
/proc/28849/task/28887/stat : 28887 (java) S 28846 28849 28076 0 -1 1077944384 286 0 0 0 1 0 0 0 20 0 44 0 253669036 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378732484112 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28888] ppid=28846 vsize=27984680 memory=2984016 CPUtime=0.01 cores=0-7
/proc/28849/task/28888/stat : 28888 (java) S 28846 28849 28076 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 44 0 253669036 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378731431056 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28889] ppid=28846 vsize=27984680 memory=2984016 CPUtime=0.01 cores=0-7
/proc/28849/task/28889/stat : 28889 (java) S 28846 28849 28076 0 -1 1077944384 320 0 0 0 1 0 0 0 20 0 44 0 253669038 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378730378512 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28890] ppid=28846 vsize=27984680 memory=11192 CPUtime=0.02 cores=0-7
/proc/28849/task/28890/stat : 28890 (java) S 28846 28849 28076 0 -1 1077944384 654 0 0 0 2 0 0 0 20 0 44 0 253669039 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378729325456 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28891] ppid=28846 vsize=27984680 memory=752 CPUtime=0 cores=0-7
/proc/28849/task/28891/stat : 28891 (java) S 28846 28849 28076 0 -1 1077944384 571 0 0 0 0 0 0 0 20 0 44 0 253669041 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378728272912 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28892] ppid=28846 vsize=27984680 memory=1828 CPUtime=0.01 cores=0-7
/proc/28849/task/28892/stat : 28892 (java) S 28846 28849 28076 0 -1 1077944384 442 0 0 0 0 1 0 0 20 0 44 0 253669042 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378727220880 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28893] ppid=28846 vsize=27984680 memory=1120 CPUtime=0 cores=0-7
/proc/28849/task/28893/stat : 28893 (java) S 28846 28849 28076 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 44 0 253669048 28656312320 746205 33554432000 4194304 4196468 140723751193216 140378726168336 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28894] ppid=28846 vsize=27984680 memory=6076 CPUtime=0.01 cores=0-7
/proc/28849/task/28894/stat : 28894 (java) S 28846 28849 28076 0 -1 1077944384 572 0 0 0 1 0 0 0 20 0 44 0 253669048 28656312320 746205 33554432000 4194304 4196468 140723751193216 140376778204560 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
[pid=28849/tid=28895] ppid=28846 vsize=27984680 memory=1724 CPUtime=0.01 cores=0-7
/proc/28849/task/28895/stat : 28895 (java) S 28846 28849 28076 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 44 0 253669048 28656312320 746205 33554432000 4194304 4196468 140723751193216 140376777151536 140380881745621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18223104 140723751199822 140723751200005 140723751200005 140723751202767 0
Current children cumulated CPU time: 19922.7 s
Current children cumulated vsize: 27984680 KiB
Current children cumulated memory: 2984820 KiB

Child status: 143
Real time (s): 2520.22
CPU time (s): 19922.7
CPU user time (s): 19913
CPU system time (s): 9.70926
CPU usage (%): 790.513
Max. virtual memory (cumulated for all children) (KiB): 27984680
Max. memory (cumulated for all children) (KiB): 2994032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19913
system time used= 9.70926
maximum resident set size= 2994084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1660213
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 768032
involuntary context switches= 427941


# summary of solver processes directly reported to runsolver:
#   pid: 28849
#   total CPU time (s): 19922.7
#   total CPU user time (s): 19913
#   total CPU system time (s): 9.70926

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.833 second user time and 36.9763 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-15 21:24:12
IDJOB=4309272
IDBENCH=141154
IDSOLVER=2793
FILE ID=node107/4309272-1534361052
RUNJOBID= node107-1534353239-28103
PBS_JOBID= 21038260
Free space on /tmp= 50628 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_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-4309272-1534361052/watcher-4309272-1534361052 -o /tmp/evaluation-result-4309272-1534361052/solver-4309272-1534361052 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1534353239-28103 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 160271076 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309272-1534361052.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=160271076

node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24812696 kB
MemAvailable:   31891452 kB
Buffers:          220628 kB
Cached:          7108952 kB
SwapCached:           20 kB
Active:          3961752 kB
Inactive:        3423948 kB
Active(anon):       5916 kB
Inactive(anon):   111348 kB
Active(file):    3955836 kB
Inactive(file):  3312600 kB
Unevictable:        6980 kB
Mlocked:            6980 kB
SwapTotal:      67108860 kB
SwapFree:       67108524 kB
Dirty:             35988 kB
Writeback:            32 kB
AnonPages:         64316 kB
Mapped:            55244 kB
Shmem:             57824 kB
Slab:             267124 kB
SReclaimable:     238780 kB
SUnreclaim:        28344 kB
KernelStack:        3184 kB
PageTables:         5284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     358520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 50592 MiB
End job on node107 at 2018-08-15 22:06:13