Trace number 4298540

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
GG's minicp 2018-04-29SAT (TO)951699 2520.08 2508.43

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 benchmark1931334
Best CPU time to get the best result obtained on this benchmark2520.12
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.12/0.13	c version: 2018-04-11
0.12/0.13	c seed: 1811631
0.12/0.13	c timeout: -1
0.12/0.13	c memlimit: -1
0.12/0.13	c nbcore: -1
2.59/1.43	o 0
3.73/2.35	o 1525
3.73/2.35	o 20929
3.73/2.36	o 22454
3.73/2.36	o 29546
3.73/2.36	o 31071
3.73/2.37	o 32196
3.73/2.37	o 33721
3.73/2.37	o 53125
3.73/2.37	o 54650
3.73/2.37	o 61742
3.73/2.37	o 63267
3.73/2.38	o 80070
3.73/2.38	o 81595
3.73/2.38	o 88687
3.73/2.38	o 90212
3.73/2.39	o 92056
3.73/2.39	o 93581
3.73/2.39	o 100673
3.73/2.39	o 102198
3.73/2.39	o 102725
3.73/2.39	o 107074
3.73/2.40	o 108599
3.89/2.40	o 109126
3.89/2.40	o 112771
3.89/2.40	o 114296
3.89/2.40	o 114823
3.89/2.40	o 119172
3.89/2.41	o 120697
3.89/2.41	o 121224
3.89/2.41	o 121333
3.89/2.41	o 122858
3.89/2.41	o 123385
3.89/2.41	o 127030
3.89/2.41	o 128555
3.89/2.41	o 129082
3.89/2.42	o 133431
3.89/2.42	o 134956
3.89/2.42	o 135483
3.89/2.42	o 137974
3.89/2.42	o 139499
3.89/2.42	o 140026
3.89/2.43	o 144375
3.89/2.43	o 145900
3.89/2.43	o 146427
3.89/2.43	o 146451
3.89/2.44	o 146978
3.89/2.44	o 151327
3.89/2.44	o 152852
3.89/2.44	o 153379
3.89/2.44	o 156120
3.89/2.44	o 157645
3.89/2.44	o 158172
3.89/2.45	o 160663
3.89/2.45	o 162188
3.89/2.45	o 162715
3.89/2.45	o 167064
3.89/2.45	o 168589
3.89/2.45	o 169116
3.89/2.45	o 169140
3.89/2.45	o 169667
3.89/2.45	o 174016
3.89/2.45	o 175541
3.89/2.45	o 176068
3.89/2.46	o 176869
3.89/2.46	o 178394
3.89/2.46	o 178921
3.89/2.46	o 181662
3.89/2.47	o 183187
3.89/2.47	o 183714
3.89/2.47	o 186205
3.89/2.47	o 187730
3.89/2.47	o 188257
3.89/2.47	o 192606
3.89/2.47	o 194131
3.89/2.47	o 194658
3.89/2.47	o 194682
3.89/2.47	o 195209
3.89/2.47	o 199558
3.89/2.47	o 201083
3.89/2.47	o 201610
3.89/2.48	o 201941
3.89/2.48	o 202468
3.89/2.48	o 202492
3.89/2.48	o 203019
3.89/2.48	o 207368
3.89/2.48	o 208893
3.89/2.48	o 209420
4.13/2.50	o 209681
4.13/2.50	o 210208
4.13/2.50	o 210232
4.13/2.50	o 210759
4.13/2.50	o 216633
4.13/2.50	o 217160
4.13/2.51	o 218094
4.13/2.51	o 219619
4.13/2.51	o 220146
4.13/2.52	o 220407
4.13/2.52	o 220934
4.13/2.52	o 220958
4.13/2.52	o 221485
4.13/2.52	o 227359
4.13/2.52	o 227886
4.13/2.53	o 228508
4.13/2.53	o 229035
4.13/2.55	o 229798
4.13/2.55	o 230325
4.13/2.56	o 230947
4.13/2.56	o 231474
4.13/2.58	o 235654
4.13/2.58	o 237179
4.13/2.58	o 237706
4.13/2.58	o 237967
4.13/2.58	o 238494
4.13/2.58	o 238518
4.13/2.58	o 239045
4.13/2.58	o 244919
4.13/2.58	o 245446
4.13/2.59	o 246068
4.13/2.59	o 246595
4.36/2.60	o 247358
4.36/2.60	o 247885
4.36/2.60	o 248507
4.36/2.61	o 249034
4.36/2.66	o 249532
4.36/2.66	o 250295
4.36/2.66	o 250822
4.36/2.67	o 251444
4.36/2.67	o 251971
5.26/3.43	o 253845
5.26/3.43	o 254372
5.26/3.43	o 257091
5.26/3.43	o 257222
5.26/3.43	o 260139
5.26/3.43	o 260666
5.26/3.43	o 261288
5.26/3.43	o 261815
5.26/3.44	o 261918
5.26/3.44	o 262445
5.26/3.44	o 265164
5.26/3.44	o 265295
5.26/3.44	o 268212
5.26/3.44	o 268739
5.26/3.44	o 272644
5.26/3.44	o 273171
5.26/3.44	o 275890
5.26/3.44	o 276021
5.26/3.44	o 278938
5.26/3.44	o 279465
5.26/3.45	o 280087
5.26/3.45	o 280614
5.26/3.45	o 281377
5.26/3.45	o 281904
5.26/3.45	o 282526
5.26/3.45	o 283053
5.26/3.46	o 286189
5.26/3.46	o 286716
5.26/3.46	o 286740
5.26/3.46	o 287267
5.26/3.46	o 293141
5.26/3.46	o 293668
5.26/3.46	o 294290
5.26/3.46	o 294817
5.26/3.46	o 295580
5.26/3.46	o 296107
5.26/3.46	o 296729
5.26/3.46	o 297256
5.26/3.46	o 297571
5.26/3.46	o 298193
5.26/3.46	o 298720
5.26/3.46	o 299483
5.26/3.47	o 300010
5.26/3.47	o 300632
5.26/3.47	o 301159
5.26/3.47	o 304163
5.26/3.47	o 304690
5.26/3.47	o 305312
5.26/3.47	o 305839
5.26/3.48	o 306602
5.26/3.48	o 307129
5.26/3.48	o 307751
5.26/3.48	o 308278
5.26/3.48	o 308593
5.26/3.48	o 309215
5.26/3.48	o 309742
5.26/3.48	o 310505
5.26/3.48	o 311032
5.26/3.48	o 311654
5.26/3.48	o 312181
5.42/3.50	o 312908
5.42/3.50	o 313435
5.42/3.50	o 314057
5.42/3.50	o 314584
5.42/3.50	o 314671
5.42/3.50	o 317588
5.42/3.50	o 318115
5.42/3.51	o 318737
5.42/3.51	o 319264
5.42/3.51	o 320027
5.42/3.51	o 320554
5.42/3.51	o 321176
5.42/3.51	o 321703
5.42/3.52	o 322018
5.42/3.52	o 322640
5.42/3.52	o 323167
5.42/3.52	o 323930
5.42/3.52	o 324457
5.42/3.52	o 325079
5.42/3.52	o 325606
5.42/3.54	o 327009
5.42/3.54	o 327536
5.42/3.55	o 328158
5.42/3.55	o 328685
5.42/3.55	o 329448
5.42/3.55	o 329975
5.42/3.55	o 330597
5.42/3.55	o 331124
5.42/3.55	o 331439
5.42/3.56	o 332061
5.42/3.56	o 332588
5.42/3.56	o 333351
5.42/3.56	o 333878
5.42/3.56	o 334500
5.42/3.56	o 335027
5.42/3.58	o 335044
5.42/3.59	o 337961
5.42/3.59	o 338488
5.42/3.59	o 339110
5.42/3.59	o 339637
5.42/3.59	o 340400
5.42/3.59	o 340927
5.42/3.59	o 341549
5.42/3.59	o 342076
5.42/3.60	o 342391
5.52/3.60	o 343013
5.52/3.60	o 343540
5.52/3.60	o 344303
5.52/3.60	o 344830
5.52/3.60	o 345452
5.52/3.60	o 345979
5.52/3.62	o 347382
5.52/3.62	o 347909
5.52/3.63	o 348531
5.52/3.63	o 349058
5.52/3.63	o 349821
5.52/3.63	o 350348
5.52/3.63	o 350970
5.52/3.63	o 351497
5.52/3.63	o 351812
5.52/3.64	o 352434
5.52/3.64	o 352961
5.52/3.64	o 353724
5.52/3.64	o 354251
5.52/3.64	o 354873
5.52/3.64	o 355400
5.52/3.67	o 355452
5.52/3.67	o 356074
5.52/3.67	o 356601
5.52/3.68	o 357364
5.52/3.68	o 357891
5.52/3.68	o 358513
5.52/3.68	o 359040
6.44/4.50	o 363788
6.44/4.50	o 365304
6.44/4.50	o 371598
6.44/4.50	o 375501
6.44/4.51	o 379694
6.44/4.51	o 383597
6.44/4.51	o 383784
6.44/4.51	o 390078
6.44/4.51	o 391594
6.44/4.51	o 397888
6.44/4.51	o 401791
6.44/4.52	o 402240
6.44/4.52	o 406143
6.44/4.53	o 410336
6.44/4.53	o 414239
6.44/4.53	o 414426
6.44/4.53	o 420720
6.44/4.53	o 422236
6.44/4.53	o 428530
6.44/4.53	o 432433
6.44/4.55	o 434612
6.44/4.55	o 434799
6.44/4.55	o 441093
6.44/4.55	o 442609
6.44/4.55	o 448903
6.44/4.55	o 452806
6.44/4.56	o 455044
6.44/4.57	o 456446
6.44/4.58	o 458684
6.54/4.61	o 463416
6.54/4.61	o 464932
6.54/4.61	o 471226
6.54/4.61	o 475129
6.54/4.62	o 477367
6.54/4.63	o 478769
6.54/4.64	o 481007
6.54/4.66	o 484390
6.54/4.66	o 486628
6.54/4.66	o 488030
6.54/4.67	o 490268
6.66/4.71	o 491020
6.66/4.71	o 494923
6.66/4.72	o 497161
6.66/4.73	o 498563
6.66/4.74	o 500801
6.66/4.75	o 504184
6.66/4.75	o 506422
6.66/4.76	o 507824
6.66/4.76	o 510062
6.76/4.84	o 510410
6.76/4.84	o 512648
6.76/4.88	o 512816
6.76/4.88	o 515054
6.76/4.88	o 516456
6.76/4.89	o 518694
6.86/4.91	o 519042
6.86/4.91	o 521280
6.97/5.08	o 523445
8.07/6.19	o 523679
8.07/6.20	o 524895
8.07/6.20	o 525422
8.26/6.34	o 526257
8.26/6.34	o 526784
8.86/6.91	o 527481
8.86/6.92	o 528008
8.97/7.05	o 528843
8.97/7.05	o 529370
9.79/7.88	o 529562
9.79/7.88	o 530089
9.79/7.88	o 530342
9.79/7.88	o 530964
9.79/7.88	o 531491
9.79/7.88	o 531986
9.79/7.88	o 532053
9.79/7.88	o 532580
9.79/7.88	o 533202
9.79/7.88	o 533729
9.79/7.88	o 534017
9.79/7.88	o 534639
9.79/7.88	o 535166
9.79/7.88	o 535788
9.79/7.88	o 536315
9.79/7.88	o 536603
9.79/7.88	o 537225
9.79/7.89	o 537752
9.79/7.90	o 538310
9.89/7.90	o 538837
9.89/7.90	o 539600
9.89/7.90	o 540127
9.89/7.90	o 540749
9.89/7.90	o 541276
9.89/7.90	o 541343
9.89/7.90	o 541870
9.89/7.90	o 542492
9.89/7.90	o 543019
9.89/7.90	o 543514
9.89/7.90	o 543581
9.89/7.90	o 544108
9.89/7.90	o 544730
9.89/7.90	o 545257
9.89/7.90	o 545510
9.89/7.90	o 546132
9.89/7.90	o 546659
9.89/7.90	o 547154
9.89/7.90	o 547221
9.89/7.90	o 547748
9.89/7.90	o 548370
9.89/7.90	o 548897
9.89/7.91	o 549185
9.89/7.91	o 549807
9.89/7.91	o 550334
9.89/7.93	o 550773
9.89/7.93	o 551395
9.89/7.93	o 551922
9.89/7.93	o 551989
9.89/7.93	o 552516
9.89/7.93	o 553138
9.89/7.93	o 553665
9.89/7.93	o 554160
9.89/7.93	o 554227
9.89/7.93	o 554754
9.89/7.93	o 555376
9.89/7.93	o 555903
9.89/7.93	o 556156
9.89/7.93	o 556778
9.89/7.93	o 557305
9.89/7.93	o 557800
9.89/7.93	o 557867
9.89/7.93	o 558394
9.89/7.93	o 559016
9.89/7.93	o 559543
9.89/7.95	o 559911
9.89/7.95	o 560533
9.89/7.95	o 561060
9.89/7.95	o 561127
9.89/7.95	o 561654
9.89/7.95	o 562276
9.89/7.95	o 562803
9.89/7.95	o 563298
9.89/7.95	o 563365
9.89/7.95	o 563892
9.89/7.95	o 564514
9.89/7.95	o 565041
9.89/7.95	o 565294
9.89/7.95	o 565916
9.89/7.95	o 566443
9.89/7.96	o 566938
9.89/7.96	o 567005
9.89/7.96	o 567532
9.89/7.96	o 568154
9.89/7.96	o 568681
9.89/7.96	o 568969
9.89/7.96	o 569591
9.89/7.96	o 570118
9.89/7.97	o 570557
9.89/7.97	o 571179
9.89/7.97	o 571706
9.89/7.97	o 571773
9.89/7.97	o 572300
9.89/7.97	o 572922
9.89/7.97	o 573449
9.89/7.97	o 573944
9.89/7.97	o 574011
9.89/7.98	o 574538
9.89/7.98	o 575160
9.89/7.98	o 575687
9.89/7.98	o 575940
9.89/7.98	o 576562
9.89/7.98	o 577089
9.89/7.98	o 577584
9.89/7.98	o 577651
9.89/7.98	o 578178
9.89/7.98	o 578800
9.89/7.98	o 579327
10.00/8.02	o 579846
10.00/8.02	o 580067
10.00/8.02	o 580594
10.00/8.02	o 581216
10.00/8.02	o 581743
10.00/8.02	o 581810
10.00/8.02	o 582337
10.00/8.02	o 582959
10.00/8.02	o 583486
10.00/8.02	o 583774
10.00/8.02	o 584396
10.00/8.02	o 584923
10.00/8.04	o 585161
10.00/8.04	o 585783
10.00/8.04	o 586310
10.00/8.04	o 587073
10.00/8.04	o 587600
10.00/8.04	o 588222
10.00/8.04	o 588749
10.00/8.04	o 588816
10.00/8.04	o 589343
10.00/8.04	o 589965
10.00/8.04	o 590492
10.00/8.04	o 590713
10.00/8.04	o 591240
10.00/8.04	o 591862
10.00/8.04	o 592389
10.00/8.04	o 592456
10.00/8.04	o 592983
10.00/8.04	o 593605
10.00/8.04	o 594132
10.10/8.16	o 594427
10.10/8.16	o 594954
10.10/8.16	o 595175
10.10/8.16	o 595702
10.10/8.16	o 596324
10.10/8.16	o 596851
10.10/8.16	o 596918
10.10/8.16	o 597445
10.10/8.16	o 598067
10.10/8.17	o 598594
10.39/8.42	o 598993
10.39/8.42	o 599520
10.49/8.53	o 599815
10.49/8.53	o 600342
10.49/8.53	o 600563
10.49/8.53	o 601090
10.49/8.53	o 601712
10.49/8.53	o 602239
10.49/8.53	o 602306
10.49/8.54	o 602833
10.49/8.54	o 603455
10.49/8.54	o 603982
11.00/9.02	o 604488
11.00/9.02	o 605015
11.63/9.68	o 605038
11.63/9.68	o 605565
11.63/9.68	o 605793
11.63/9.68	o 606313
11.63/9.68	o 606935
11.63/9.68	o 607462
11.63/9.68	o 607690
11.63/9.68	o 608056
11.63/9.68	o 608678
11.63/9.68	o 609205
11.63/9.68	o 609433
12.23/10.24	o 609711
12.23/10.24	o 610238
12.23/10.24	o 610466
14.14/12.14	o 610592
14.14/12.14	o 611119
14.14/12.14	o 611186
14.14/12.14	o 611713
14.14/12.14	o 612335
14.14/12.14	o 612862
14.14/12.14	o 613357
14.14/12.14	o 613424
14.14/12.14	o 613951
14.14/12.14	o 614573
14.14/12.14	o 615100
14.14/12.18	o 615682
14.14/12.18	o 616209
14.14/12.18	o 616704
14.14/12.18	o 616771
14.14/12.18	o 617298
14.14/12.18	o 617920
14.14/12.18	o 618447
14.14/12.19	o 618602
14.14/12.19	o 619224
14.14/12.19	o 619751
14.14/12.19	o 619818
14.14/12.19	o 620345
14.14/12.19	o 620967
14.14/12.19	o 621494
14.14/12.19	o 621989
14.14/12.19	o 622056
14.14/12.19	o 622583
14.14/12.19	o 623205
14.14/12.19	o 623732
14.33/12.31	o 623834
14.33/12.31	o 624456
14.33/12.31	o 624983
14.33/12.31	o 625138
14.33/12.31	o 625760
14.33/12.31	o 626287
14.33/12.31	o 626354
14.33/12.31	o 626881
14.33/12.31	o 627503
14.33/12.31	o 628030
14.33/12.31	o 628525
14.33/12.31	o 628592
14.33/12.31	o 629119
14.33/12.31	o 629741
14.33/12.31	o 630268
14.33/12.35	o 630850
14.33/12.35	o 631377
14.33/12.35	o 631872
14.33/12.35	o 631939
14.33/12.35	o 632466
14.33/12.35	o 633088
14.33/12.35	o 633615
14.33/12.35	o 633770
14.33/12.36	o 634392
14.33/12.36	o 634919
14.33/12.36	o 634986
14.33/12.36	o 635513
14.33/12.36	o 636135
14.33/12.36	o 636662
14.33/12.36	o 637157
14.33/12.36	o 637224
14.33/12.36	o 637751
14.33/12.36	o 638373
14.33/12.36	o 638900
14.53/12.56	o 639241
14.53/12.56	o 639768
14.53/12.56	o 640263
14.53/12.56	o 640330
14.53/12.56	o 640857
14.53/12.56	o 641479
14.53/12.56	o 642006
14.53/12.57	o 642161
14.53/12.57	o 642783
14.53/12.57	o 643310
14.53/12.57	o 643377
14.53/12.57	o 643904
14.53/12.57	o 644526
14.53/12.57	o 645053
14.53/12.57	o 645548
14.53/12.57	o 645615
14.53/12.57	o 646142
14.53/12.57	o 646764
14.53/12.57	o 647291
14.83/12.85	o 647622
14.83/12.85	o 647689
14.83/12.85	o 648216
14.83/12.85	o 648838
14.83/12.85	o 649365
14.83/12.85	o 649860
14.83/12.85	o 649927
14.83/12.85	o 650454
14.83/12.85	o 651076
14.83/12.85	o 651603
15.23/13.29	o 651866
15.23/13.29	o 652460
15.23/13.29	o 653609
15.33/13.30	o 654104
15.33/13.30	o 654698
15.33/13.30	o 655847
15.53/13.55	o 656178
15.53/13.55	o 656772
15.53/13.55	o 657921
15.53/13.55	o 658416
15.53/13.55	o 659010
15.53/13.56	o 660159
15.96/13.97	o 660606
15.96/13.97	o 661755
16.07/14.05	o 662086
16.07/14.05	o 662680
16.07/14.05	o 663829
16.07/14.06	o 664324
16.07/14.06	o 664918
16.07/14.06	o 666067
16.37/14.30	o 666548
16.37/14.30	o 667075
16.57/14.58	o 667406
16.57/14.58	o 667473
16.57/14.58	o 668000
16.57/14.58	o 668622
16.57/14.58	o 669149
16.57/14.58	o 669644
16.57/14.58	o 669711
16.57/14.58	o 670238
16.57/14.58	o 670860
16.57/14.58	o 671387
17.08/15.02	o 671650
17.08/15.02	o 672244
17.08/15.02	o 673393
17.08/15.02	o 673888
17.08/15.02	o 674482
17.08/15.02	o 675631
17.27/15.27	o 675962
17.27/15.27	o 676556
17.27/15.28	o 677705
17.27/15.28	o 678200
17.27/15.28	o 678794
17.27/15.28	o 679943
17.67/15.68	o 680390
17.67/15.68	o 681539
17.77/15.76	o 681870
17.77/15.76	o 682464
17.77/15.76	o 683613
17.77/15.77	o 684108
17.77/15.77	o 684702
17.77/15.77	o 685851
20.08/18.04	o 687222
20.08/18.04	o 687369
20.27/18.24	o 688489
20.27/18.24	o 688636
20.37/18.34	o 689165
20.37/18.34	o 689312
20.37/18.35	o 690908
20.37/18.35	o 691055
20.37/18.35	o 691403
20.37/18.35	o 691550
20.37/18.35	o 693146
20.37/18.35	o 693293
20.37/18.35	o 694548
20.37/18.36	o 694695
20.37/18.36	o 695043
20.37/18.36	o 695190
20.37/18.36	o 696786
20.37/18.36	o 696933
20.47/18.44	o 697458
20.47/18.44	o 697605
20.47/18.44	o 698860
20.47/18.44	o 699007
20.47/18.45	o 699355
20.47/18.45	o 699502
20.47/18.45	o 701098
20.47/18.45	o 701245
20.67/18.60	o 702694
20.67/18.60	o 702841
20.67/18.67	o 703366
20.67/18.67	o 703513
20.67/18.67	o 704768
20.67/18.68	o 704915
20.67/18.68	o 705263
20.67/18.68	o 705410
20.67/18.68	o 707006
20.67/18.68	o 707153
21.08/19.10	o 707156
21.08/19.10	o 707303
21.18/19.17	o 707828
21.18/19.17	o 707975
21.18/19.17	o 709230
21.18/19.17	o 709377
21.18/19.17	o 709725
21.18/19.17	o 709872
21.18/19.18	o 711468
21.18/19.18	o 711615
21.67/19.61	o 712480
21.67/19.61	o 712627
21.67/19.68	o 713152
21.67/19.68	o 713299
21.67/19.68	o 714554
21.67/19.68	o 714701
21.67/19.69	o 715049
21.67/19.69	o 715196
21.67/19.69	o 716792
21.67/19.69	o 716939
22.08/20.10	o 716942
22.08/20.10	o 717089
22.18/20.17	o 717614
22.18/20.17	o 717761
22.18/20.17	o 719016
22.18/20.17	o 719163
22.18/20.17	o 719511
22.18/20.18	o 719658
22.18/20.18	o 721254
22.18/20.18	o 721401
23.44/21.33	o 721613
23.44/21.33	o 721760
23.54/21.40	o 722285
23.54/21.40	o 722432
23.54/21.40	o 723687
23.54/21.40	o 723834
23.54/21.40	o 724182
23.54/21.40	o 724329
23.54/21.41	o 725925
23.54/21.41	o 726072
23.94/21.82	o 726075
23.94/21.82	o 726222
23.94/21.89	o 726747
23.94/21.89	o 726894
24.04/21.90	o 728149
24.04/21.90	o 728296
24.04/21.90	o 728644
24.04/21.90	o 728791
24.04/21.90	o 730387
24.04/21.90	o 730534
24.51/22.34	o 731399
24.51/22.34	o 731546
24.61/22.40	o 732071
24.61/22.41	o 732218
24.61/22.41	o 733473
24.61/22.41	o 733620
24.61/22.41	o 733968
24.61/22.41	o 734115
24.61/22.41	o 735711
24.61/22.41	o 735858
25.01/22.83	o 735861
25.01/22.83	o 736008
25.01/22.89	o 736533
25.01/22.89	o 736680
25.01/22.90	o 737935
25.11/22.90	o 738082
25.11/22.90	o 738430
25.11/22.90	o 738577
25.11/22.90	o 740173
25.11/22.90	o 740320
27.76/25.58	o 740634
27.76/25.58	o 740781
27.76/25.58	o 741129
27.76/25.58	o 741276
27.76/25.58	o 742872
27.76/25.58	o 743019
30.17/27.96	o 744018
30.28/28.02	o 744602
30.28/28.02	o 745133
30.28/28.02	o 745803
30.28/28.02	o 747093
30.28/28.02	o 748242
30.28/28.07	o 749241
30.38/28.13	o 749316
30.38/28.13	o 749938
30.38/28.13	o 750465
30.38/28.14	o 752429
30.38/28.14	o 752956
30.38/28.14	o 753578
30.38/28.14	o 754105
30.38/28.14	o 754250
30.38/28.14	o 754777
30.38/28.14	o 756741
30.38/28.14	o 757268
30.38/28.14	o 757890
30.38/28.14	o 758417
30.38/28.15	o 758529
30.38/28.15	o 761020
30.38/28.15	o 762169
30.38/28.16	o 762841
30.38/28.16	o 765332
30.38/28.16	o 766481
30.38/28.18	o 767480
30.47/28.22	o 768064
30.47/28.22	o 768595
30.47/28.22	o 770555
30.47/28.22	o 771704
30.47/28.25	o 772703
30.67/28.41	o 772796
30.67/28.41	o 774756
30.67/28.41	o 775905
30.67/28.44	o 776904
30.97/28.71	o 777801
30.97/28.78	o 777894
30.97/28.78	o 779854
30.97/28.78	o 781003
30.97/28.79	o 782002
31.57/29.37	o 782194
31.67/29.43	o 782287
31.67/29.43	o 784247
31.67/29.43	o 785396
31.67/29.44	o 786395
31.97/29.72	o 786449
31.97/29.74	o 787448
32.07/29.80	o 787541
32.07/29.80	o 789501
32.07/29.80	o 790650
32.07/29.81	o 791649
32.28/30.10	o 791841
32.38/30.17	o 791934
32.38/30.17	o 793894
32.38/30.17	o 795043
32.38/30.18	o 796042
33.87/31.64	o 796875
34.17/31.90	o 797067
34.17/31.96	o 797160
34.17/31.96	o 799120
34.17/31.96	o 800269
34.17/31.96	o 801268
36.40/34.18	o 801703
41.29/39.06	o 801766
41.89/39.65	o 802869
41.89/39.66	o 803868
41.99/39.78	o 804060
42.10/39.80	o 804153
42.10/39.80	o 806113
42.10/39.80	o 807262
42.10/39.80	o 808261
42.10/39.86	o 808315
42.10/39.87	o 809314
42.10/39.88	o 809407
42.10/39.88	o 811367
42.10/39.88	o 812516
42.10/39.89	o 813515
42.20/39.95	o 813707
42.20/39.97	o 813800
42.20/39.97	o 815760
42.20/39.97	o 816909
42.20/39.97	o 817908
42.50/40.26	o 818741
42.60/40.31	o 818933
42.60/40.33	o 819026
42.60/40.33	o 820986
42.60/40.33	o 822135
42.60/40.33	o 823134
42.90/40.66	o 823569
43.70/41.47	o 823632
88.39/86.08	o 823756
88.49/86.16	o 824689
88.49/86.16	o 825818
88.49/86.19	o 826009
88.49/86.19	o 826603
88.49/86.19	o 827752
88.78/86.43	o 828503
88.78/86.44	o 829056
88.78/86.44	o 830205
88.78/86.44	o 830877
88.78/86.44	o 831625
88.78/86.44	o 832774
88.78/86.44	o 833368
88.78/86.44	o 834517
88.78/86.46	o 835593
88.78/86.46	o 836265
88.78/86.46	o 837013
88.78/86.46	o 838162
88.78/86.46	o 838756
88.78/86.46	o 839905
88.88/86.51	o 840838
88.88/86.51	o 841967
88.88/86.54	o 842158
88.88/86.54	o 842752
88.88/86.54	o 843901
88.98/86.63	o 844106
88.98/86.67	o 845039
88.98/86.67	o 846168
88.98/86.68	o 846359
88.98/86.68	o 846953
88.98/86.69	o 848102
89.18/86.86	o 848150
89.18/86.89	o 848355
89.29/86.90	o 849288
89.29/86.90	o 850417
89.29/86.90	o 850608
89.29/86.90	o 851202
89.29/86.90	o 852351
89.59/87.24	o 852495
89.79/87.41	o 852543
89.79/87.44	o 852748
89.79/87.45	o 853681
89.79/87.45	o 854810
89.79/87.46	o 855001
89.79/87.46	o 855595
89.79/87.46	o 856744
90.79/88.41	o 857612
90.79/88.41	o 858741
90.79/88.42	o 858932
90.79/88.42	o 859526
90.79/88.42	o 860675
92.41/90.06	o 861346
92.41/90.06	o 862475
92.41/90.06	o 862666
92.41/90.06	o 863260
92.41/90.06	o 864409
95.01/92.67	o 865148
95.91/93.59	o 865843
96.61/94.26	o 866582
102.23/99.83	o 866645
112.45/110.04	o 866887
112.45/110.04	o 868036
114.05/111.68	o 868707
114.05/111.68	o 869836
114.05/111.68	o 870027
114.05/111.68	o 870621
114.05/111.68	o 871770
116.65/114.28	o 872509
117.65/115.20	o 873204
118.25/115.87	o 873943
123.86/121.44	o 874006
231.93/229.29	o 874421
232.13/229.41	o 874882
232.13/229.41	o 875377
232.13/229.41	o 877120
239.54/236.85	o 878622
239.65/236.98	o 879083
239.65/236.98	o 879578
239.65/236.98	o 881321
343.11/340.02	o 881613
343.11/340.02	o 881744
367.77/364.60	o 882060
374.79/371.68	o 882094
374.89/371.72	o 883093
376.81/373.61	o 884282
376.81/373.61	o 886025
376.81/373.66	o 887024
379.42/376.24	o 887763
381.62/378.42	o 888198
400.48/397.24	o 888539
400.48/397.24	o 888670
401.78/398.58	o 888974
401.78/398.58	o 889105
537.60/533.99	o 889314
539.81/536.17	o 889749
558.66/555.00	o 890090
558.66/555.00	o 890221
560.07/556.35	o 890525
560.07/556.35	o 890656
756.28/751.92	o 891310
766.52/762.13	o 892049
780.68/776.21	o 892744
790.91/786.41	o 893483
834.16/829.54	o 893520
834.16/829.54	o 893651
835.87/831.29	o 894259
835.87/831.29	o 894390
890.25/885.40	o 894706
918.45/913.57	o 894937
920.45/915.58	o 895562
920.45/915.58	o 897522
920.45/915.58	o 898671
923.08/918.17	o 899410
926.48/921.55	o 900105
929.10/924.16	o 900844
939.94/934.90	o 900881
939.94/934.90	o 901012
940.34/935.32	o 901620
940.34/935.32	o 901751
1277.75/1271.48	o 901879
1277.75/1271.49	o 902010
1277.75/1271.49	o 902374
1277.75/1271.49	o 902505
1277.75/1271.49	o 904117
1277.75/1271.49	o 904248
1281.58/1275.24	o 905551
1281.58/1275.24	o 905682
1288.71/1282.36	o 905745
1339.73/1333.18	o 906774
1339.73/1333.18	o 906905
1352.88/1346.27	o 906968
1369.04/1362.35	o 907085
1369.04/1362.35	o 907216
1370.45/1363.73	o 907277
1370.45/1363.73	o 907408
1370.65/1363.99	o 907497
1370.65/1363.99	o 907628
1370.65/1363.99	o 909240
1370.65/1363.99	o 909371
1370.65/1363.99	o 909735
1370.65/1363.99	o 909866
1370.65/1363.99	o 911478
1370.65/1363.99	o 911609
1374.47/1367.73	o 912912
1374.47/1367.73	o 913043
1381.59/1374.88	o 913106
1435.24/1428.29	o 914614
1435.24/1428.29	o 914745
1435.24/1428.29	o 915109
1435.24/1428.29	o 915240
1435.24/1428.29	o 916852
1435.24/1428.30	o 916983
1436.34/1429.39	o 918286
1436.34/1429.39	o 918417
1438.85/1431.86	o 918480
1447.38/1440.39	o 919119
1447.38/1440.39	o 919250
1448.88/1441.82	o 920553
1448.88/1441.82	o 920684
1451.80/1444.73	o 920747
1455.23/1448.15	o 920864
1455.23/1448.15	o 920995
1455.72/1448.62	o 921056
1455.72/1448.62	o 921187
1455.82/1448.72	o 921276
1455.82/1448.72	o 921407
1455.82/1448.72	o 923019
1455.82/1448.72	o 923150
1455.82/1448.72	o 923514
1455.82/1448.72	o 923645
1455.82/1448.72	o 925257
1455.82/1448.72	o 925388
1456.62/1449.56	o 926691
1456.62/1449.56	o 926822
1458.43/1451.34	o 926885
1466.87/1459.79	o 927914
1466.87/1459.79	o 928045
1469.78/1462.68	o 928108
1473.30/1466.11	o 928225
1473.30/1466.11	o 928356
1473.70/1466.58	o 928417
1473.70/1466.58	o 928548
1473.80/1466.68	o 928637
1473.80/1466.68	o 928768
1473.80/1466.68	o 930380
1473.80/1466.68	o 930511
1473.80/1466.68	o 930875
1473.80/1466.68	o 931006
1473.80/1466.68	o 932618
1473.80/1466.68	o 932749
1474.70/1467.51	o 934052
1474.70/1467.51	o 934183
1476.41/1469.29	o 934246
1585.16/1577.53	o 935135
1585.16/1577.53	o 935266
1586.98/1579.30	o 935329
1595.41/1587.73	o 936358
1595.41/1587.73	o 936489
1598.32/1590.62	o 936552
1601.75/1594.05	o 936669
1601.75/1594.05	o 936800
1602.24/1594.52	o 936861
1602.24/1594.52	o 936992
1602.34/1594.62	o 937081
1602.34/1594.62	o 937212
1602.34/1594.62	o 938824
1602.34/1594.62	o 938955
1602.34/1594.62	o 939319
1602.34/1594.62	o 939450
1602.34/1594.62	o 941062
1602.34/1594.62	o 941193
1603.15/1595.45	o 942496
1603.15/1595.45	o 942627
1604.95/1597.22	o 942690
1733.23/1724.97	o 944014
1733.23/1724.97	o 944509
1733.23/1724.97	o 946252
1733.83/1725.58	o 947686
1735.35/1727.02	o 947749
2008.95/1999.45	o 947964
2008.95/1999.46	o 948459
2008.95/1999.46	o 950202
2009.45/1999.96	o 951636
2010.57/2001.07	o 951699
2520.03/2508.40	s SATISFIABLE
2520.03/2508.41	v <instantiation>
2520.03/2508.41	v 	<list>
2520.03/2508.41	v 		b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] 
2520.03/2508.41	v 	</list>
2520.03/2508.41	v 	<values>
2520.03/2508.41	v 		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 1 0 0 1 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 1 0 0 1 1 1 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
2520.03/2508.41	v 	</values>
2520.03/2508.41	v </instantiation>

Verifier Data 

OK	951699

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298540-1532765728/watcher-4298540-1532765728 -o /tmp/evaluation-result-4298540-1532765728/solver-4298540-1532765728 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532740752-11666 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298540-1532765728.xml 

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

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


[startup+0.10009 s]*
/proc/loadavg: 1.76 1.66 1.68 4/219 14740
/proc/meminfo: memFree=23337444/32770624 swapFree=67108860/67108860
[pid=14725] ppid=14722 vsize=10661056 memory=28380 CPUtime=0.12 cores=0,2,4,6
/proc/14725/stat : 14725 (java) S 14722 14725 11635 0 -1 1077944320 4985 0 0 0 11 1 0 0 20 0 15 0 94135940 10916921344 7095 33554432000 4194304 4196468 140723639180960 140723639163504 140038442897143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
/proc/14725/statm: 2665264 7095 2833 1 0 2627263 0
[pid=14725/tid=14727] ppid=14722 vsize=10661056 memory=-7254949987974015097 CPUtime=0.09 cores=0,2,4,6
/proc/14725/task/14727/stat : 14727 (java) R 14722 14725 11635 0 -1 4202560 2864 0 0 0 9 0 0 0 20 0 15 0 94135940 10916921344 7095 33554432000 4194304 4196468 140723639180960 140038447128032 140038442909078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14728] ppid=14722 vsize=10661056 memory=5793855799743809977 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14728/stat : 14728 (java) S 14722 14725 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94135941 10916921344 7095 33554432000 4194304 4196468 140723639180960 140038368971280 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14729] ppid=14722 vsize=10661056 memory=140548733916800 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14729/stat : 14729 (java) S 14722 14725 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94135941 10916921344 7095 33554432000 4194304 4196468 140723639180960 140038367918736 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14730] ppid=14722 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14730/stat : 14730 (java) S 14722 14725 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94135941 10916921344 7095 33554432000 4194304 4196468 140723639180960 140038366865680 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14731] ppid=14722 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14731/stat : 14731 (java) S 14722 14725 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94135941 10916921344 7095 33554432000 4194304 4196468 140723639180960 140038365813136 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14732] ppid=14722 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14732/stat : 14732 (java) S 14722 14725 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94135942 10916921344 7095 33554432000 4194304 4196468 140723639180960 140037546003184 140038442908290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14733] ppid=14722 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14733/stat : 14733 (java) S 14722 14725 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94135943 10916921344 7095 33554432000 4194304 4196468 140723639180960 140037544949408 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14734] ppid=14722 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14734/stat : 14734 (java) S 14722 14725 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94135943 10916921344 7095 33554432000 4194304 4196468 140723639180960 140037341570288 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14735] ppid=14722 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14735/stat : 14735 (java) S 14722 14725 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94135945 10916921344 7095 33554432000 4194304 4196468 140723639180960 140037340518864 140038442915739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14736] ppid=14722 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14736/stat : 14736 (java) S 14722 14725 11635 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 94135945 10916921344 7095 33554432000 4194304 4196468 140723639180960 140037339465968 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14737] ppid=14722 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14737/stat : 14737 (java) S 14722 14725 11635 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 15 0 94135945 10916921344 7095 33554432000 4194304 4196468 140723639180960 140037338413424 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14738] ppid=14722 vsize=10661056 memory=140548733916800 CPUtime=0.01 cores=0,2,4,6
/proc/14725/task/14738/stat : 14738 (java) R 14722 14725 11635 0 -1 4202560 317 0 0 0 1 0 0 0 20 0 15 0 94135945 10916921344 7095 33554432000 4194304 4196468 140723639180960 140037337360368 140038421261744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14739] ppid=14722 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14739/stat : 14739 (java) S 14722 14725 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94135946 10916921344 7095 33554432000 4194304 4196468 140723639180960 140037336308064 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14740] ppid=14722 vsize=10661056 memory=140548733916800 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14740/stat : 14740 (java) S 14722 14725 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94135946 10916921344 7095 33554432000 4194304 4196468 140723639180960 140037335256112 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 28380 KiB

[startup+0.211092 s]*
/proc/loadavg: 1.76 1.66 1.68 5/219 14740
/proc/meminfo: memFree=23323912/32770624 swapFree=67108860/67108860
[pid=14725] ppid=14722 vsize=10661056 memory=41128 CPUtime=0.35 cores=0,2,4,6
/proc/14725/stat : 14725 (java) S 14722 14725 11635 0 -1 1077944320 7839 0 0 0 33 2 0 0 20 0 15 0 94135940 10916921344 10282 33554432000 4194304 4196468 140723639180960 140723639163504 140038442897143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
/proc/14725/statm: 2665264 10282 3009 1 0 2627263 0
[pid=14725/tid=14727] ppid=14722 vsize=10661056 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/14725/task/14727/stat : 14727 (java) R 14722 14725 11635 0 -1 4202560 4628 0 0 0 19 1 0 0 20 0 15 0 94135940 10916921344 10282 33554432000 4194304 4196468 140723639180960 140038447135088 140038442919069 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14728] ppid=14722 vsize=10661056 memory=4211974274938707338 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14728/stat : 14728 (java) S 14722 14725 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94135941 10916921344 10282 33554432000 4194304 4196468 140723639180960 140038368971280 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14729] ppid=14722 vsize=10661056 memory=140548733916800 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14729/stat : 14729 (java) S 14722 14725 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94135941 10916921344 10282 33554432000 4194304 4196468 140723639180960 140038367918736 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14730] ppid=14722 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14730/stat : 14730 (java) S 14722 14725 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94135941 10916921344 10282 33554432000 4194304 4196468 140723639180960 140038366865680 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14731] ppid=14722 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14731/stat : 14731 (java) S 14722 14725 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94135941 10916921344 10282 33554432000 4194304 4196468 140723639180960 140038365813136 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14732] ppid=14722 vsize=10661056 memory=140548733916800 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14732/stat : 14732 (java) S 14722 14725 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94135942 10916921344 10282 33554432000 4194304 4196468 140723639180960 140037546003184 140038442908290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14733] ppid=14722 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14733/stat : 14733 (java) S 14722 14725 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94135943 10916921344 10282 33554432000 4194304 4196468 140723639180960 140037544949408 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14734] ppid=14722 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14734/stat : 14734 (java) S 14722 14725 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94135943 10916921344 10282 33554432000 4194304 4196468 140723639180960 140037341570288 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14735] ppid=14722 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14735/stat : 14735 (java) S 14722 14725 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94135945 10916921344 10282 33554432000 4194304 4196468 140723639180960 140037340518864 140038442915739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14736] ppid=14722 vsize=10661056 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14725/task/14736/stat : 14736 (java) R 14722 14725 11635 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 15 0 94135945 10916921344 10282 33554432000 4194304 4196468 140723639180960 140037339465968 140038442908290 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14737] ppid=14722 vsize=10661056 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/14725/task/14737/stat : 14737 (java) R 14722 14725 11635 0 -1 4202560 793 0 0 0 3 0 0 0 20 0 15 0 94135945 10916921344 10282 33554432000 4194304 4196468 140723639180960 140037338400272 140038426383081 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14738] ppid=14722 vsize=10661056 memory=140548733916800 CPUtime=0.08 cores=0,2,4,6
/proc/14725/task/14738/stat : 14738 (java) R 14722 14725 11635 0 -1 4202560 909 0 0 0 8 0 0 0 20 0 15 0 94135945 10916921344 10282 33554432000 4194304 4196468 140723639180960 140037337356736 140038421029013 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14739] ppid=14722 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14739/stat : 14739 (java) S 14722 14725 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94135946 10916921344 10282 33554432000 4194304 4196468 140723639180960 140037336308064 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14740] ppid=14722 vsize=10661056 memory=140548733916800 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14740/stat : 14740 (java) S 14722 14725 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94135946 10916921344 10282 33554432000 4194304 4196468 140723639180960 140037335256112 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 41128 KiB

[startup+0.311942 s]*
/proc/loadavg: 1.76 1.66 1.68 7/219 14740
/proc/meminfo: memFree=23316532/32770624 swapFree=67108860/67108860
[pid=14725] ppid=14722 vsize=10661132 memory=47588 CPUtime=0.61 cores=0,2,4,6
/proc/14725/stat : 14725 (java) S 14722 14725 11635 0 -1 1077944320 8510 0 0 0 59 2 0 0 20 0 15 0 94135940 10916999168 11897 33554432000 4194304 4196468 140723639180960 140723639163504 140038442897143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
/proc/14725/statm: 2665283 11897 3071 1 0 2627263 0
[pid=14725/tid=14727] ppid=14722 vsize=10661132 memory=6735269665583770266 CPUtime=0.3 cores=0,2,4,6
/proc/14725/task/14727/stat : 14727 (java) R 14722 14725 11635 0 -1 4202560 4945 0 0 0 29 1 0 0 20 0 15 0 94135940 10916999168 11897 33554432000 4194304 4196468 140723639180960 140038447130704 140038029567995 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14728] ppid=14722 vsize=10661132 memory=4211974274938707338 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14728/stat : 14728 (java) S 14722 14725 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94135941 10916999168 11897 33554432000 4194304 4196468 140723639180960 140038368971280 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14729] ppid=14722 vsize=10661132 memory=281097310931328 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14729/stat : 14729 (java) S 14722 14725 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94135941 10916999168 11897 33554432000 4194304 4196468 140723639180960 140038367918736 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14730] ppid=14722 vsize=10661132 memory=281097154056704 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14730/stat : 14730 (java) S 14722 14725 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94135941 10916999168 11897 33554432000 4194304 4196468 140723639180960 140038366865680 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14731] ppid=14722 vsize=10661132 memory=140548577014543 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14731/stat : 14731 (java) S 14722 14725 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94135941 10916999168 11897 33554432000 4194304 4196468 140723639180960 140038365813136 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14732] ppid=14722 vsize=10661132 memory=281097310940544 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14732/stat : 14732 (java) S 14722 14725 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94135942 10916999168 11897 33554432000 4194304 4196468 140723639180960 140037546003184 140038442908290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14733] ppid=14722 vsize=10661132 memory=140548577019151 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14733/stat : 14733 (java) S 14722 14725 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94135943 10916999168 11897 33554432000 4194304 4196468 140723639180960 140037544949408 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14734] ppid=14722 vsize=10661132 memory=140548577033123 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14734/stat : 14734 (java) S 14722 14725 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94135943 10916999168 11897 33554432000 4194304 4196468 140723639180960 140037341570288 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14735] ppid=14722 vsize=10661132 memory=140548577038068 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14735/stat : 14735 (java) S 14722 14725 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94135945 10916999168 11897 33554432000 4194304 4196468 140723639180960 140037340518864 140038442915739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14736] ppid=14722 vsize=10661132 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/14725/task/14736/stat : 14736 (java) R 14722 14725 11635 0 -1 4202560 320 0 0 0 6 0 0 0 20 0 15 0 94135945 10916999168 11897 33554432000 4194304 4196468 140723639180960 140037339451992 140038424418543 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14737] ppid=14722 vsize=10661132 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14725/task/14737/stat : 14737 (java) R 14722 14725 11635 0 -1 4202560 841 0 0 0 8 0 0 0 20 0 15 0 94135945 10916999168 11897 33554432000 4194304 4196468 140723639180960 140037338406448 140038424441327 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14738] ppid=14722 vsize=10661132 memory=140548733916800 CPUtime=0.16 cores=0,2,4,6
/proc/14725/task/14738/stat : 14738 (java) R 14722 14725 11635 0 -1 4202560 1040 0 0 0 16 0 0 0 20 0 15 0 94135945 10916999168 11897 33554432000 4194304 4196468 140723639180960 140037337360496 140038435993979 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14739] ppid=14722 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14739/stat : 14739 (java) S 14722 14725 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94135946 10916999168 11897 33554432000 4194304 4196468 140723639180960 140037336308064 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14740] ppid=14722 vsize=10661132 memory=140548733945180 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14740/stat : 14740 (java) S 14722 14725 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94135946 10916999168 11897 33554432000 4194304 4196468 140723639180960 140037335256112 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 47588 KiB

[startup+0.70084 s]
/proc/loadavg: 1.76 1.66 1.68 5/219 14740
/proc/meminfo: memFree=23083432/32770624 swapFree=67108860/67108860
[pid=14725] ppid=14722 vsize=10661132 memory=281204 CPUtime=1.73 cores=0,2,4,6
/proc/14725/stat : 14725 (java) S 14722 14725 11635 0 -1 1077944320 10635 0 0 0 166 7 0 0 20 0 15 0 94135940 10916999168 70301 33554432000 4194304 4196468 140723639180960 140723639163504 140038442897143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
/proc/14725/statm: 2665283 70301 3117 1 0 2627263 0
[pid=14725/tid=14727] ppid=14722 vsize=10661132 memory=56 CPUtime=0.68 cores=0,2,4,6
/proc/14725/task/14727/stat : 14727 (java) R 14722 14725 11635 0 -1 4202560 5202 0 0 0 63 5 0 0 20 0 15 0 94135940 10916999168 70301 33554432000 4194304 4196468 140723639180960 140038447133312 140038032907987 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14728] ppid=14722 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14728/stat : 14728 (java) S 14722 14725 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94135941 10916999168 70301 33554432000 4194304 4196468 140723639180960 140038368971280 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14729] ppid=14722 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14729/stat : 14729 (java) S 14722 14725 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94135941 10916999168 70301 33554432000 4194304 4196468 140723639180960 140038367918736 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14730] ppid=14722 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14730/stat : 14730 (java) S 14722 14725 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94135941 10916999168 70301 33554432000 4194304 4196468 140723639180960 140038366865680 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14731] ppid=14722 vsize=10661132 memory=8320808402719684661 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14731/stat : 14731 (java) S 14722 14725 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94135941 10916999168 70301 33554432000 4194304 4196468 140723639180960 140038365813136 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14732] ppid=14722 vsize=10661132 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14732/stat : 14732 (java) S 14722 14725 11635 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 94135942 10916999168 70301 33554432000 4194304 4196468 140723639180960 140037546003184 140038442908290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14733] ppid=14722 vsize=10661132 memory=796 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14733/stat : 14733 (java) S 14722 14725 11635 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94135943 10916999168 70301 33554432000 4194304 4196468 140723639180960 140037544949408 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14734] ppid=14722 vsize=10661132 memory=8452 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14734/stat : 14734 (java) S 14722 14725 11635 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94135943 10916999168 70301 33554432000 4194304 4196468 140723639180960 140037341570288 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14735] ppid=14722 vsize=10661132 memory=5776 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14735/stat : 14735 (java) S 14722 14725 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94135945 10916999168 70301 33554432000 4194304 4196468 140723639180960 140037340518864 140038442915739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14736] ppid=14722 vsize=10661132 memory=1200 CPUtime=0.33 cores=0,2,4,6
/proc/14725/task/14736/stat : 14736 (java) S 14722 14725 11635 0 -1 1077944384 918 0 0 0 33 0 0 0 20 0 15 0 94135945 10916999168 70301 33554432000 4194304 4196468 140723639180960 140037339465968 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14737] ppid=14722 vsize=10661132 memory=12136 CPUtime=0.4 cores=0,2,4,6
/proc/14725/task/14737/stat : 14737 (java) R 14722 14725 11635 0 -1 4202560 1573 0 0 0 40 0 0 0 20 0 15 0 94135945 10916999168 70301 33554432000 4194304 4196468 140723639180960 140037338413344 140038422142991 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14738] ppid=14722 vsize=10661132 memory=1008 CPUtime=0.28 cores=0,2,4,6
/proc/14725/task/14738/stat : 14738 (java) S 14722 14725 11635 0 -1 1077944384 1572 0 0 0 28 0 0 0 20 0 15 0 94135945 10916999168 70301 33554432000 4194304 4196468 140723639180960 140037337360368 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14739] ppid=14722 vsize=10661132 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14739/stat : 14739 (java) S 14722 14725 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94135946 10916999168 70301 33554432000 4194304 4196468 140723639180960 140037336308064 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14740] ppid=14722 vsize=10661132 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14740/stat : 14740 (java) S 14722 14725 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94135946 10916999168 70301 33554432000 4194304 4196468 140723639180960 140037335256112 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 281204 KiB

[startup+1.50088 s]
/proc/loadavg: 1.76 1.66 1.68 3/219 14740
/proc/meminfo: memFree=23082696/32770624 swapFree=67108860/67108860
[pid=14725] ppid=14722 vsize=10661132 memory=287068 CPUtime=2.79 cores=0,2,4,6
/proc/14725/stat : 14725 (java) S 14722 14725 11635 0 -1 1077944320 11116 0 0 0 272 7 0 0 20 0 15 0 94135940 10916999168 71767 33554432000 4194304 4196468 140723639180960 140723639163504 140038442897143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
/proc/14725/statm: 2665283 71767 3126 1 0 2627263 0
[pid=14725/tid=14727] ppid=14722 vsize=10661132 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/14725/task/14727/stat : 14727 (java) R 14722 14725 11635 0 -1 4202560 5297 0 0 0 143 5 0 0 20 0 15 0 94135940 10916999168 71767 33554432000 4194304 4196468 140723639180960 140038447127792 140038033335198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14728] ppid=14722 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14728/stat : 14728 (java) S 14722 14725 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94135941 10916999168 71767 33554432000 4194304 4196468 140723639180960 140038368971280 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14729] ppid=14722 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14729/stat : 14729 (java) S 14722 14725 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94135941 10916999168 71767 33554432000 4194304 4196468 140723639180960 140038367918736 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14730] ppid=14722 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14730/stat : 14730 (java) S 14722 14725 11635 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94135941 10916999168 71767 33554432000 4194304 4196468 140723639180960 140038366865680 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14731] ppid=14722 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14731/stat : 14731 (java) S 14722 14725 11635 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94135941 10916999168 71767 33554432000 4194304 4196468 140723639180960 140038365813136 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14732] ppid=14722 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14732/stat : 14732 (java) S 14722 14725 11635 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 94135942 10916999168 71767 33554432000 4194304 4196468 140723639180960 140037546003184 140038442908290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0

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

/proc/14725/task/14727/stat : 14727 (java) R 14722 14725 11635 0 -1 4202560 15500 0 0 0 237801 8 0 0 20 0 15 0 94135940 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038447136464 140038033735165 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14728] ppid=14722 vsize=10661132 memory=374972 CPUtime=2.91 cores=0,2,4,6
/proc/14725/task/14728/stat : 14728 (java) S 14722 14725 11635 0 -1 1077944384 5738 0 0 0 286 5 0 0 20 0 15 0 94135941 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038368971280 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14729] ppid=14722 vsize=10661132 memory=374972 CPUtime=2.88 cores=0,2,4,6
/proc/14725/task/14729/stat : 14729 (java) S 14722 14725 11635 0 -1 1077944384 4306 0 0 0 284 4 0 0 20 0 15 0 94135941 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038367918736 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14730] ppid=14722 vsize=10661132 memory=374972 CPUtime=2.88 cores=0,2,4,6
/proc/14725/task/14730/stat : 14730 (java) S 14722 14725 11635 0 -1 1077944384 5220 0 0 0 284 4 0 0 20 0 15 0 94135941 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038366865680 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14731] ppid=14722 vsize=10661132 memory=374972 CPUtime=2.88 cores=0,2,4,6
/proc/14725/task/14731/stat : 14731 (java) S 14722 14725 11635 0 -1 1077944384 5720 0 0 0 283 5 0 0 20 0 15 0 94135941 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038365813136 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14732] ppid=14722 vsize=10661132 memory=374972 CPUtime=0.81 cores=0,2,4,6
/proc/14725/task/14732/stat : 14732 (java) S 14722 14725 11635 0 -1 1077944384 6116 0 0 0 75 6 0 0 20 0 15 0 94135942 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037546003184 140038442908290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14733] ppid=14722 vsize=10661132 memory=374972 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14733/stat : 14733 (java) S 14722 14725 11635 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 94135943 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037544949408 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14734] ppid=14722 vsize=10661132 memory=374972 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14734/stat : 14734 (java) S 14722 14725 11635 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 94135943 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037341570288 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14735] ppid=14722 vsize=10661132 memory=374972 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14735/stat : 14735 (java) S 14722 14725 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94135945 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037340518864 140038442915739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14736] ppid=14722 vsize=10661132 memory=374972 CPUtime=1.03 cores=0,2,4,6
/proc/14725/task/14736/stat : 14736 (java) S 14722 14725 11635 0 -1 1077944384 6936 0 0 0 102 1 0 0 20 0 15 0 94135945 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037339465968 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14737] ppid=14722 vsize=10661132 memory=27400 CPUtime=0.82 cores=0,2,4,6
/proc/14725/task/14737/stat : 14737 (java) S 14722 14725 11635 0 -1 1077944384 5627 0 0 0 81 1 0 0 20 0 15 0 94135945 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037338413424 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14738] ppid=14722 vsize=10661132 memory=1292 CPUtime=0.37 cores=0,2,4,6
/proc/14725/task/14738/stat : 14738 (java) S 14722 14725 11635 0 -1 1077944384 2728 0 0 0 36 1 0 0 20 0 15 0 94135945 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037337360368 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14739] ppid=14722 vsize=10661132 memory=956 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14739/stat : 14739 (java) S 14722 14725 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94135946 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037336308064 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14740] ppid=14722 vsize=10661132 memory=2424 CPUtime=0.63 cores=0,2,4,6
/proc/14725/task/14740/stat : 14740 (java) S 14722 14725 11635 0 -1 1077944384 1035 0 0 0 26 37 0 0 20 0 15 0 94135946 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037335256112 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
Current children cumulated CPU time: 2393.41 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 374972 KiB

[startup+2442.3 s]
/proc/loadavg: 1.68 1.57 1.54 3/218 14973
/proc/meminfo: memFree=23033724/32770624 swapFree=67108860/67108860
[pid=14725] ppid=14722 vsize=10661132 memory=374972 CPUtime=2453.65 cores=0,2,4,6
/proc/14725/stat : 14725 (java) S 14722 14725 11635 0 -1 1077944320 60949 0 0 0 245305 60 0 0 20 0 15 0 94135940 10916999168 93743 33554432000 4194304 4196468 140723639180960 140723639163504 140038442897143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
/proc/14725/statm: 2665283 93743 3156 1 0 2627263 0
[pid=14725/tid=14727] ppid=14722 vsize=10661132 memory=374972 CPUtime=2437.99 cores=0,2,4,6
/proc/14725/task/14727/stat : 14727 (java) R 14722 14725 11635 0 -1 4202560 15652 0 0 0 243791 8 0 0 20 0 15 0 94135940 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038447136464 140038033740468 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14728] ppid=14722 vsize=10661132 memory=374972 CPUtime=2.99 cores=0,2,4,6
/proc/14725/task/14728/stat : 14728 (java) S 14722 14725 11635 0 -1 1077944384 5841 0 0 0 294 5 0 0 20 0 15 0 94135941 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038368971280 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14729] ppid=14722 vsize=10661132 memory=374972 CPUtime=2.96 cores=0,2,4,6
/proc/14725/task/14729/stat : 14729 (java) S 14722 14725 11635 0 -1 1077944384 4360 0 0 0 292 4 0 0 20 0 15 0 94135941 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038367918736 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14730] ppid=14722 vsize=10661132 memory=374972 CPUtime=2.95 cores=0,2,4,6
/proc/14725/task/14730/stat : 14730 (java) S 14722 14725 11635 0 -1 1077944384 5323 0 0 0 291 4 0 0 20 0 15 0 94135941 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038366865680 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14731] ppid=14722 vsize=10661132 memory=374972 CPUtime=2.95 cores=0,2,4,6
/proc/14725/task/14731/stat : 14731 (java) S 14722 14725 11635 0 -1 1077944384 5750 0 0 0 290 5 0 0 20 0 15 0 94135941 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038365813136 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14732] ppid=14722 vsize=10661132 memory=374972 CPUtime=0.84 cores=0,2,4,6
/proc/14725/task/14732/stat : 14732 (java) S 14722 14725 11635 0 -1 1077944384 6273 0 0 0 77 7 0 0 20 0 15 0 94135942 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037546003184 140038442908290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14733] ppid=14722 vsize=10661132 memory=374972 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14733/stat : 14733 (java) S 14722 14725 11635 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 94135943 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037544949408 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14734] ppid=14722 vsize=10661132 memory=374972 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14734/stat : 14734 (java) S 14722 14725 11635 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 94135943 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037341570288 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14735] ppid=14722 vsize=10661132 memory=374972 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14735/stat : 14735 (java) S 14722 14725 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94135945 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037340518864 140038442915739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14736] ppid=14722 vsize=10661132 memory=4132 CPUtime=1.03 cores=0,2,4,6
/proc/14725/task/14736/stat : 14736 (java) S 14722 14725 11635 0 -1 1077944384 6937 0 0 0 102 1 0 0 20 0 15 0 94135945 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037339465968 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14737] ppid=14722 vsize=10661132 memory=27400 CPUtime=0.82 cores=0,2,4,6
/proc/14725/task/14737/stat : 14737 (java) S 14722 14725 11635 0 -1 1077944384 5627 0 0 0 81 1 0 0 20 0 15 0 94135945 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037338413424 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14738] ppid=14722 vsize=10661132 memory=1292 CPUtime=0.37 cores=0,2,4,6
/proc/14725/task/14738/stat : 14738 (java) S 14722 14725 11635 0 -1 1077944384 2728 0 0 0 36 1 0 0 20 0 15 0 94135945 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037337360368 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14739] ppid=14722 vsize=10661132 memory=374972 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14739/stat : 14739 (java) S 14722 14725 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94135946 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037336308064 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14740] ppid=14722 vsize=10661132 memory=374972 CPUtime=0.64 cores=0,2,4,6
/proc/14725/task/14740/stat : 14740 (java) S 14722 14725 11635 0 -1 1077944384 1050 0 0 0 26 38 0 0 20 0 15 0 94135946 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037335256112 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
Current children cumulated CPU time: 2453.65 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 374972 KiB

[startup+2502.3 s]
/proc/loadavg: 1.41 1.50 1.52 3/218 14974
/proc/meminfo: memFree=23032128/32770624 swapFree=67108860/67108860
[pid=14725] ppid=14722 vsize=10661132 memory=374972 CPUtime=2513.9 cores=0,2,4,6
/proc/14725/stat : 14725 (java) S 14722 14725 11635 0 -1 1077944320 61866 0 0 0 251329 61 0 0 20 0 15 0 94135940 10916999168 93743 33554432000 4194304 4196468 140723639180960 140723639163504 140038442897143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
/proc/14725/statm: 2665283 93743 3156 1 0 2627263 0
[pid=14725/tid=14727] ppid=14722 vsize=10661132 memory=374972 CPUtime=2497.88 cores=0,2,4,6
/proc/14725/task/14727/stat : 14727 (java) R 14722 14725 11635 0 -1 4202560 15827 0 0 0 249780 8 0 0 20 0 15 0 94135940 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038447136352 140038033740448 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14728] ppid=14722 vsize=10661132 memory=374972 CPUtime=3.07 cores=0,2,4,6
/proc/14725/task/14728/stat : 14728 (java) S 14722 14725 11635 0 -1 1077944384 5946 0 0 0 302 5 0 0 20 0 15 0 94135941 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038368971280 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14729] ppid=14722 vsize=10661132 memory=374972 CPUtime=3.03 cores=0,2,4,6
/proc/14725/task/14729/stat : 14729 (java) S 14722 14725 11635 0 -1 1077944384 4462 0 0 0 299 4 0 0 20 0 15 0 94135941 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038367918736 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14730] ppid=14722 vsize=10661132 memory=374972 CPUtime=3.03 cores=0,2,4,6
/proc/14725/task/14730/stat : 14730 (java) S 14722 14725 11635 0 -1 1077944384 5396 0 0 0 299 4 0 0 20 0 15 0 94135941 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038366865680 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14731] ppid=14722 vsize=10661132 memory=374972 CPUtime=3.03 cores=0,2,4,6
/proc/14725/task/14731/stat : 14731 (java) S 14722 14725 11635 0 -1 1077944384 6018 0 0 0 298 5 0 0 20 0 15 0 94135941 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038365813136 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14732] ppid=14722 vsize=10661132 memory=374972 CPUtime=0.85 cores=0,2,4,6
/proc/14725/task/14732/stat : 14732 (java) S 14722 14725 11635 0 -1 1077944384 6443 0 0 0 78 7 0 0 20 0 15 0 94135942 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037546003184 140038442908290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14733] ppid=14722 vsize=10661132 memory=374972 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14733/stat : 14733 (java) S 14722 14725 11635 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 94135943 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037544949408 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14734] ppid=14722 vsize=10661132 memory=374972 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14734/stat : 14734 (java) S 14722 14725 11635 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 94135943 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037341570288 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14735] ppid=14722 vsize=10661132 memory=374972 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14735/stat : 14735 (java) S 14722 14725 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94135945 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037340518864 140038442915739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14736] ppid=14722 vsize=10661132 memory=281097154050080 CPUtime=1.03 cores=0,2,4,6
/proc/14725/task/14736/stat : 14736 (java) S 14722 14725 11635 0 -1 1077944384 6939 0 0 0 102 1 0 0 20 0 15 0 94135945 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037339465968 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14737] ppid=14722 vsize=10661132 memory=374972 CPUtime=0.82 cores=0,2,4,6
/proc/14725/task/14737/stat : 14737 (java) S 14722 14725 11635 0 -1 1077944384 5629 0 0 0 81 1 0 0 20 0 15 0 94135945 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037338413424 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14738] ppid=14722 vsize=10661132 memory=374972 CPUtime=0.38 cores=0,2,4,6
/proc/14725/task/14738/stat : 14738 (java) S 14722 14725 11635 0 -1 1077944384 2731 0 0 0 37 1 0 0 20 0 15 0 94135945 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037337360368 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14739] ppid=14722 vsize=10661132 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14739/stat : 14739 (java) S 14722 14725 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94135946 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037336308064 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14740] ppid=14722 vsize=10661132 memory=374972 CPUtime=0.66 cores=0,2,4,6
/proc/14725/task/14740/stat : 14740 (java) S 14722 14725 11635 0 -1 1077944384 1067 0 0 0 27 39 0 0 20 0 15 0 94135946 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037335256112 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
Current children cumulated CPU time: 2513.9 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 374972 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2508.4 s]
/proc/loadavg: 1.46 1.51 1.52 3/218 14974
/proc/meminfo: memFree=23030328/32770624 swapFree=67108860/67108860
[pid=14725] ppid=14722 vsize=10661132 memory=374972 CPUtime=2520.03 cores=0,2,4,6
/proc/14725/stat : 14725 (java) S 14722 14725 11635 0 -1 1077944320 61871 0 0 0 251941 62 0 0 20 0 15 0 94135940 10916999168 93743 33554432000 4194304 4196468 140723639180960 140723639163504 140038442897143 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
/proc/14725/statm: 2665283 93743 3156 1 0 2627263 0
[pid=14725/tid=14727] ppid=14722 vsize=10661132 memory=12136 CPUtime=2503.97 cores=0,2,4,6
/proc/14725/task/14727/stat : 14727 (java) R 14722 14725 11635 0 -1 4202560 15831 0 0 0 250389 8 0 0 20 0 15 0 94135940 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038447136336 140038033335198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14728] ppid=14722 vsize=10661132 memory=374972 CPUtime=3.08 cores=0,2,4,6
/proc/14725/task/14728/stat : 14728 (java) S 14722 14725 11635 0 -1 1077944384 5946 0 0 0 303 5 0 0 20 0 15 0 94135941 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038368971280 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14729] ppid=14722 vsize=10661132 memory=6791534058613427641 CPUtime=3.04 cores=0,2,4,6
/proc/14725/task/14729/stat : 14729 (java) S 14722 14725 11635 0 -1 1077944384 4462 0 0 0 300 4 0 0 20 0 15 0 94135941 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038367918736 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14730] ppid=14722 vsize=10661132 memory=7288 CPUtime=3.04 cores=0,2,4,6
/proc/14725/task/14730/stat : 14730 (java) S 14722 14725 11635 0 -1 1077944384 5396 0 0 0 300 4 0 0 20 0 15 0 94135941 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038366865680 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14731] ppid=14722 vsize=10661132 memory=836 CPUtime=3.04 cores=0,2,4,6
/proc/14725/task/14731/stat : 14731 (java) S 14722 14725 11635 0 -1 1077944384 6019 0 0 0 299 5 0 0 20 0 15 0 94135941 10916999168 93743 33554432000 4194304 4196468 140723639180960 140038365813136 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14732] ppid=14722 vsize=10661132 memory=1796 CPUtime=0.86 cores=0,2,4,6
/proc/14725/task/14732/stat : 14732 (java) S 14722 14725 11635 0 -1 1077944384 6443 0 0 0 79 7 0 0 20 0 15 0 94135942 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037546003184 140038442908290 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14733] ppid=14722 vsize=10661132 memory=912 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14733/stat : 14733 (java) S 14722 14725 11635 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 94135943 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037544949408 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14734] ppid=14722 vsize=10661132 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14734/stat : 14734 (java) S 14722 14725 11635 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 94135943 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037341570288 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14735] ppid=14722 vsize=10661132 memory=2620 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14735/stat : 14735 (java) S 14722 14725 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94135945 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037340518864 140038442915739 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14736] ppid=14722 vsize=10661132 memory=2684 CPUtime=1.04 cores=0,2,4,6
/proc/14725/task/14736/stat : 14736 (java) S 14722 14725 11635 0 -1 1077944384 6939 0 0 0 103 1 0 0 20 0 15 0 94135945 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037339465968 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14737] ppid=14722 vsize=10661132 memory=1408 CPUtime=0.82 cores=0,2,4,6
/proc/14725/task/14737/stat : 14737 (java) S 14722 14725 11635 0 -1 1077944384 5629 0 0 0 81 1 0 0 20 0 15 0 94135945 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037338413424 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14738] ppid=14722 vsize=10661132 memory=5336 CPUtime=0.38 cores=0,2,4,6
/proc/14725/task/14738/stat : 14738 (java) S 14722 14725 11635 0 -1 1077944384 2731 0 0 0 37 1 0 0 20 0 15 0 94135945 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037337360368 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14739] ppid=14722 vsize=10661132 memory=374972 CPUtime=0 cores=0,2,4,6
/proc/14725/task/14739/stat : 14739 (java) S 14722 14725 11635 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94135946 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037336308064 140038442907349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
[pid=14725/tid=14740] ppid=14722 vsize=10661132 memory=1408 CPUtime=0.67 cores=0,2,4,6
/proc/14725/task/14740/stat : 14740 (java) S 14722 14725 11635 0 -1 1077944384 1067 0 0 0 27 40 0 0 20 0 15 0 94135946 10916999168 93743 33554432000 4194304 4196468 140723639180960 140037335256112 140038442908290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24379392 140723639186549 140723639186697 140723639186697 140723639189455 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 374972 KiB

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

[startup+2508.43 s]
# the end of solver process 14725 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.46 s, system=0.624299 s

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

Child status: 143
Real time (s): 2508.43
CPU time (s): 2520.08
CPU user time (s): 2519.46
CPU system time (s): 0.624299
CPU usage (%): 100.464
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 403336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.46
system time used= 0.624299
maximum resident set size= 406236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62314
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79249
involuntary context switches= 3811


# summary of solver processes directly reported to runsolver:
#   pid: 14725
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2519.46
#   total CPU system time (s): 0.624299

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0758 second user time and 22.3362 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-28 10:15:28
IDJOB=4298540
IDBENCH=141154
IDSOLVER=2762
FILE ID=node132/4298540-1532765728
RUNJOBID= node132-1532740752-11666
PBS_JOBID= 21022446
Free space on /tmp= 52040 MiB

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

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=312202678

node132.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.65
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.65
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.65
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.65
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:        23354520 kB
MemAvailable:   31580432 kB
Buffers:          200100 kB
Cached:          8231384 kB
SwapCached:            0 kB
Active:          2940284 kB
Inactive:        5897048 kB
Active(anon):     355600 kB
Inactive(anon):    77852 kB
Active(file):    2584684 kB
Inactive(file):  5819196 kB
Unevictable:        6992 kB
Mlocked:            6992 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1108 kB
Writeback:             0 kB
AnonPages:        509712 kB
Mapped:            54676 kB
Shmem:             25248 kB
Slab:             277936 kB
SReclaimable:     250492 kB
SUnreclaim:        27444 kB
KernelStack:        3856 kB
PageTables:         6388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1069296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    438272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 52040 MiB
End job on node132 at 2018-07-28 10:57:16