Trace number 4298543

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
Solver of Xavier Schul & Yvhan Smal 2018-04-28SAT (TO)597293 2520.12 2514.04

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.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: -1
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
2.60/1.50	o 0
2.60/1.51	o 1525
2.60/1.51	o 20929
2.60/1.51	o 22454
2.60/1.52	o 29546
2.60/1.52	o 31071
2.60/1.53	o 32196
2.60/1.53	o 33721
2.60/1.53	o 53125
2.60/1.53	o 54650
2.60/1.53	o 61742
2.60/1.53	o 63267
2.60/1.54	o 66951
2.60/1.54	o 75568
2.60/1.54	o 80070
2.60/1.54	o 81595
2.60/1.55	o 88687
2.60/1.55	o 90212
2.60/1.55	o 93896
2.60/1.55	o 102513
2.60/1.55	o 103476
2.60/1.55	o 112093
2.60/1.55	o 114499
2.60/1.56	o 115462
2.60/1.56	o 124079
2.60/1.56	o 126143
2.60/1.56	o 134760
2.60/1.56	o 141313
2.60/1.57	o 141840
2.60/1.57	o 147714
2.60/1.58	o 148241
2.60/1.59	o 148372
2.60/1.59	o 153411
2.60/1.59	o 153938
2.87/1.60	o 159812
2.87/1.60	o 160339
2.87/1.61	o 160470
2.87/1.61	o 161973
2.87/1.62	o 162500
2.87/1.62	o 162631
2.87/1.63	o 167670
2.87/1.63	o 168197
2.87/1.63	o 174071
2.87/1.63	o 174598
2.87/1.64	o 174729
2.87/1.65	o 178614
2.87/1.65	o 179141
2.87/1.65	o 185015
2.87/1.65	o 185542
2.87/1.67	o 185702
2.87/1.69	o 186093
2.87/1.70	o 191967
2.87/1.70	o 192494
3.13/1.71	o 192654
3.13/1.73	o 193284
3.13/1.74	o 193811
3.13/1.74	o 199685
3.13/1.74	o 200212
3.13/1.75	o 200372
3.13/1.77	o 200763
3.13/1.77	o 206637
3.13/1.77	o 207164
3.13/1.78	o 207324
3.24/1.86	o 212931
3.24/1.86	o 213458
3.24/1.87	o 213618
3.36/1.91	o 217509
3.36/1.91	o 218036
3.36/1.93	o 218826
3.36/1.93	o 219353
3.36/1.93	o 225227
3.36/1.93	o 225754
3.36/1.95	o 225778
3.36/1.95	o 226305
3.36/1.95	o 232179
3.36/1.95	o 232706
3.36/2.00	o 238473
3.36/2.00	o 239000
3.47/2.04	o 239989
3.47/2.04	o 240516
3.47/2.09	o 246283
3.47/2.09	o 246810
3.47/2.10	o 248832
3.47/2.10	o 249359
3.57/2.16	o 249726
3.57/2.19	o 250715
3.57/2.19	o 251242
3.66/2.24	o 257009
3.66/2.24	o 257536
3.66/2.25	o 259558
3.66/2.25	o 260085
3.66/2.27	o 264959
3.66/2.27	o 265486
3.66/2.28	o 266475
3.66/2.28	o 267002
3.66/2.29	o 272769
3.66/2.29	o 273296
3.66/2.29	o 275318
3.66/2.29	o 275845
3.76/2.31	o 276212
3.76/2.32	o 277201
3.76/2.32	o 277728
3.76/2.33	o 283495
3.76/2.33	o 284022
3.76/2.33	o 286044
3.76/2.33	o 286571
3.76/2.38	o 287193
3.76/2.38	o 287720
3.91/2.46	o 291568
3.91/2.46	o 292095
3.91/2.46	o 294117
3.91/2.46	o 294644
3.91/2.48	o 295011
3.91/2.48	o 296000
3.91/2.49	o 296527
3.91/2.49	o 302294
3.91/2.50	o 302821
4.08/2.50	o 304843
4.08/2.50	o 305370
4.08/2.54	o 305992
4.08/2.54	o 306519
4.08/2.58	o 306747
4.20/2.67	o 307282
4.20/2.67	o 307809
4.30/2.71	o 308431
4.30/2.71	o 308958
4.30/2.74	o 309186
4.40/2.87	o 312044
4.40/2.87	o 312571
4.40/2.88	o 313560
4.40/2.88	o 314087
4.40/2.89	o 319854
4.40/2.89	o 320381
4.50/2.90	o 322403
4.50/2.90	o 322930
4.50/2.94	o 323552
4.50/2.94	o 324079
4.62/3.01	o 324842
4.62/3.01	o 325369
4.62/3.05	o 325991
4.62/3.05	o 326518
5.01/3.45	o 326774
5.01/3.46	o 327105
5.01/3.46	o 327632
5.01/3.46	o 327656
5.01/3.46	o 328183
5.01/3.46	o 334057
5.01/3.46	o 334584
5.01/3.46	o 336606
5.01/3.46	o 337133
5.01/3.48	o 337755
5.01/3.48	o 338282
5.11/3.51	o 339045
5.11/3.51	o 339572
5.11/3.53	o 340194
5.11/3.53	o 340721
5.21/3.67	o 341235
5.21/3.67	o 341762
5.21/3.67	o 342384
5.21/3.67	o 342911
5.31/3.70	o 343167
5.31/3.70	o 343498
5.31/3.70	o 344025
5.31/3.70	o 344049
5.31/3.70	o 344576
5.31/3.70	o 350450
5.31/3.70	o 350977
5.31/3.70	o 352999
5.31/3.70	o 353526
5.31/3.70	o 354148
5.31/3.70	o 354675
5.31/3.70	o 355438
5.31/3.70	o 355965
5.31/3.71	o 356587
5.31/3.71	o 357114
5.62/4.10	o 361790
5.62/4.10	o 362317
5.62/4.10	o 364339
5.62/4.10	o 364866
5.62/4.10	o 365488
5.62/4.10	o 366015
5.62/4.10	o 366778
5.62/4.10	o 367305
5.62/4.10	o 367927
5.62/4.10	o 368454
6.12/4.53	o 368769
6.12/4.53	o 369391
6.12/4.53	o 369918
6.12/4.53	o 370681
6.12/4.53	o 371208
6.12/4.53	o 371830
6.12/4.53	o 372357
6.82/5.20	o 372778
6.82/5.20	o 373034
6.82/5.20	o 373365
6.82/5.20	o 373892
6.82/5.20	o 373916
6.82/5.20	o 374443
6.82/5.20	o 380317
6.82/5.20	o 380844
6.82/5.20	o 382866
6.82/5.20	o 383393
6.82/5.20	o 384015
6.82/5.20	o 384542
6.82/5.21	o 385305
6.82/5.21	o 385832
6.82/5.21	o 386454
6.82/5.21	o 386981
7.03/5.42	o 391657
7.03/5.42	o 392184
7.03/5.42	o 394206
7.03/5.42	o 394733
7.03/5.42	o 395355
7.03/5.42	o 395882
7.03/5.42	o 396645
7.03/5.42	o 397172
7.03/5.42	o 397794
7.03/5.42	o 398321
7.23/5.62	o 398636
7.23/5.62	o 399258
7.23/5.62	o 399785
7.23/5.62	o 400548
7.23/5.62	o 401075
7.23/5.62	o 401697
7.23/5.62	o 402224
8.05/6.43	o 402349
8.05/6.43	o 402876
8.05/6.43	o 403498
8.05/6.43	o 404025
8.46/6.89	o 406332
8.46/6.90	o 406859
8.56/6.90	o 408881
8.56/6.90	o 409408
8.56/6.90	o 410030
8.56/6.90	o 410557
8.56/6.91	o 411320
8.56/6.91	o 411847
8.56/6.91	o 412469
8.56/6.91	o 412996
8.56/7.00	o 413311
8.67/7.01	o 413933
8.67/7.01	o 414460
8.67/7.01	o 415223
8.67/7.01	o 415750
8.67/7.02	o 416372
8.67/7.02	o 416899
9.06/7.45	o 417455
9.06/7.45	o 417982
9.06/7.45	o 420004
9.06/7.45	o 420531
9.06/7.45	o 421153
9.06/7.45	o 421680
9.06/7.45	o 422443
9.06/7.45	o 422970
9.06/7.45	o 423592
9.06/7.45	o 424119
9.06/7.45	o 424434
9.06/7.46	o 425056
9.06/7.46	o 425583
9.06/7.46	o 426346
9.06/7.46	o 426873
9.06/7.46	o 427495
9.06/7.46	o 428022
9.06/7.49	o 430329
9.06/7.49	o 430856
9.06/7.49	o 432878
9.06/7.49	o 433405
9.06/7.49	o 434027
9.06/7.49	o 434554
9.06/7.49	o 435317
9.06/7.49	o 435844
9.06/7.49	o 436466
9.06/7.49	o 436993
9.17/7.50	o 437308
9.17/7.50	o 437930
9.17/7.50	o 438457
9.17/7.50	o 439220
9.17/7.50	o 439747
9.17/7.50	o 440369
9.17/7.50	o 440896
10.87/9.20	o 440972
10.87/9.20	o 441499
10.87/9.20	o 442262
10.87/9.20	o 442789
10.87/9.20	o 443411
10.87/9.20	o 443938
10.87/9.21	o 444253
10.87/9.21	o 444875
10.87/9.21	o 445402
10.87/9.21	o 446165
10.87/9.21	o 446692
10.87/9.21	o 447314
10.87/9.21	o 447841
11.68/10.07	o 447988
13.58/11.91	o 448245
13.58/11.91	o 448867
13.58/11.91	o 449394
13.58/11.91	o 450157
13.58/11.91	o 450684
13.58/11.91	o 451306
13.58/11.91	o 451833
15.79/14.12	o 453309
15.79/14.12	o 453836
15.79/14.12	o 454458
15.79/14.12	o 454985
15.79/14.12	o 455748
15.79/14.12	o 456275
15.79/14.12	o 456897
15.79/14.12	o 457424
15.79/14.14	o 457739
15.79/14.14	o 458361
15.79/14.14	o 458888
15.79/14.14	o 459651
15.79/14.14	o 460178
15.79/14.14	o 460800
15.79/14.14	o 461327
21.59/19.93	o 461776
21.59/19.95	o 462091
21.59/19.95	o 462713
21.59/19.95	o 463240
21.59/19.95	o 464003
21.59/19.95	o 464530
21.59/19.95	o 465152
21.59/19.95	o 465679
23.09/21.43	o 465813
23.09/21.43	o 466340
23.09/21.43	o 466962
23.09/21.43	o 467489
23.09/21.44	o 468252
23.09/21.44	o 468779
23.09/21.44	o 469401
23.09/21.44	o 469928
23.19/21.53	o 470243
23.19/21.53	o 470865
23.19/21.53	o 471392
23.19/21.54	o 472155
23.19/21.54	o 472682
23.19/21.54	o 473304
23.19/21.54	o 473831
24.71/23.02	o 474457
24.71/23.02	o 474984
24.71/23.02	o 475606
24.71/23.02	o 476133
24.71/23.02	o 476896
24.71/23.02	o 477423
24.71/23.02	o 478045
24.71/23.02	o 478572
24.71/23.04	o 478887
24.71/23.04	o 479509
24.71/23.04	o 480036
24.71/23.04	o 480799
24.71/23.04	o 481326
24.71/23.04	o 481948
24.71/23.04	o 482475
26.90/25.28	o 483951
26.90/25.28	o 484478
26.90/25.28	o 485100
26.90/25.28	o 485627
26.90/25.28	o 486390
26.90/25.28	o 486917
26.90/25.28	o 487539
26.90/25.28	o 488066
26.90/25.29	o 488381
26.90/25.30	o 489003
26.90/25.30	o 489530
27.00/25.30	o 490293
27.00/25.30	o 490820
27.00/25.30	o 491442
27.00/25.30	o 491969
30.82/29.16	o 491997
30.82/29.17	o 492312
30.82/29.17	o 492934
30.82/29.18	o 493461
30.82/29.18	o 494224
30.82/29.18	o 494751
30.82/29.18	o 495373
30.82/29.18	o 495900
31.61/29.98	o 497376
31.61/29.98	o 497903
31.61/29.98	o 498525
31.61/29.98	o 499052
31.61/29.98	o 499815
31.61/29.99	o 500342
31.61/29.99	o 500964
31.61/29.99	o 501491
31.61/30.00	o 501806
31.61/30.00	o 502428
31.61/30.00	o 502955
31.72/30.01	o 503718
31.72/30.01	o 504245
31.72/30.01	o 504867
31.72/30.01	o 505394
39.02/37.35	o 505473
39.02/37.35	o 506000
39.02/37.36	o 506763
39.02/37.36	o 507290
39.02/37.36	o 507912
39.02/37.36	o 508439
39.02/37.37	o 508754
39.02/37.37	o 509376
39.02/37.37	o 509903
39.02/37.37	o 510666
39.02/37.37	o 511193
39.02/37.37	o 511815
39.02/37.38	o 512342
42.43/40.70	o 512370
42.43/40.71	o 512685
42.43/40.72	o 513307
42.43/40.72	o 513834
42.43/40.72	o 514597
42.43/40.72	o 515124
42.43/40.72	o 515746
42.43/40.72	o 516273
43.13/41.48	o 517749
43.13/41.48	o 518276
43.13/41.48	o 518898
43.13/41.48	o 519425
43.13/41.48	o 520188
43.13/41.48	o 520715
43.13/41.49	o 521337
43.13/41.49	o 521864
43.23/41.50	o 522179
43.23/41.50	o 522801
43.23/41.50	o 523328
43.23/41.51	o 524091
43.23/41.51	o 524618
43.23/41.51	o 525240
43.23/41.51	o 525767
48.84/47.16	o 526329
48.84/47.16	o 526856
48.84/47.16	o 527478
48.84/47.16	o 528005
58.06/56.35	o 528086
58.06/56.35	o 528613
58.06/56.36	o 529376
58.06/56.36	o 529903
58.06/56.36	o 530525
58.06/56.36	o 531052
63.78/62.03	o 531614
63.78/62.03	o 532141
63.78/62.03	o 532763
63.78/62.03	o 533290
92.30/90.50	o 533543
92.30/90.51	o 534165
92.30/90.51	o 534692
97.60/95.87	o 535254
97.60/95.87	o 535781
97.60/95.88	o 536403
97.60/95.88	o 536930
115.72/113.94	o 537447
115.72/113.94	o 538069
115.72/113.94	o 538596
116.02/114.26	o 540072
116.02/114.26	o 540599
116.02/114.26	o 541221
116.02/114.26	o 541748
116.02/114.26	o 542511
116.02/114.26	o 543038
116.02/114.27	o 543660
116.02/114.27	o 544187
116.02/114.27	o 544502
116.02/114.27	o 545124
116.02/114.28	o 545651
116.02/114.28	o 546414
116.02/114.28	o 546941
116.02/114.28	o 547563
116.02/114.28	o 548090
118.52/116.79	o 548652
118.52/116.79	o 549179
118.52/116.79	o 549801
118.52/116.79	o 550328
122.33/120.57	o 550409
122.33/120.57	o 550936
122.33/120.58	o 551699
122.33/120.58	o 552226
122.33/120.58	o 552848
122.33/120.58	o 553375
124.84/123.09	o 553937
124.84/123.09	o 554464
124.84/123.10	o 555086
124.84/123.10	o 555613
133.74/131.93	o 555866
133.74/131.93	o 556488
133.74/131.93	o 557015
136.24/134.42	o 557577
136.24/134.42	o 558104
136.24/134.42	o 558726
136.24/134.42	o 559253
217.42/215.57	o 559466
217.42/215.58	o 560088
217.42/215.58	o 560615
317.43/315.44	o 560917
317.43/315.48	o 561064
356.58/354.58	o 561295
356.58/354.58	o 561917
356.58/354.58	o 562444
356.78/354.72	o 562591
358.28/356.21	o 562939
358.38/356.30	o 563086
358.58/356.58	o 563533
358.58/356.58	o 564155
358.58/356.58	o 564682
358.68/356.66	o 564829
365.59/363.51	o 564935
365.59/363.51	o 565557
365.59/363.51	o 566084
365.69/363.65	o 566231
367.20/365.12	o 566579
367.30/365.20	o 566726
367.50/365.48	o 567173
367.50/365.48	o 567795
367.50/365.48	o 568322
367.60/365.56	o 568469
445.63/443.45	o 568535
445.63/443.45	o 569157
445.63/443.45	o 569684
445.72/443.53	o 569831
898.59/895.66	o 570113
898.69/895.70	o 570260
898.79/895.82	o 570707
898.79/895.82	o 571329
898.79/895.82	o 571856
898.79/895.86	o 572003
899.90/896.94	o 572109
899.90/896.94	o 572731
899.90/896.94	o 573258
899.90/897.00	o 573405
900.50/897.57	o 573753
900.60/897.61	o 573900
900.70/897.73	o 574347
900.70/897.73	o 574969
900.70/897.73	o 575496
900.70/897.77	o 575643
914.54/911.57	o 575709
914.54/911.57	o 576331
914.54/911.57	o 576858
914.64/911.61	o 577005
1070.46/1067.13	o 577352
1070.46/1067.13	o 577499
1591.04/1586.72	o 577898
1591.04/1586.72	o 578520
1591.04/1586.72	o 579047
1665.59/1661.14	o 579260
1665.59/1661.14	o 579882
1665.59/1661.14	o 580409
1757.57/1753.00	o 580711
1757.68/1753.05	o 580858
1794.34/1789.61	o 581089
1794.34/1789.61	o 581711
1794.34/1789.61	o 582238
1794.44/1789.75	o 582385
1795.85/1791.13	o 582733
1795.94/1791.22	o 582880
1796.14/1791.49	o 583327
1796.14/1791.49	o 583949
1796.14/1791.49	o 584476
1796.24/1791.57	o 584623
1802.76/1798.02	o 584729
1802.76/1798.02	o 585351
1802.76/1798.02	o 585878
1802.86/1798.16	o 586025
1804.25/1799.54	o 586373
1804.35/1799.63	o 586520
1804.55/1799.89	o 586967
1804.55/1799.89	o 587589
1804.55/1799.89	o 588116
1804.65/1799.98	o 588263
1876.59/1871.74	o 588329
1876.59/1871.74	o 588951
1876.59/1871.74	o 589478
1876.69/1871.81	o 589625
2281.33/2275.72	o 589907
2281.33/2275.76	o 590054
2281.43/2275.88	o 590501
2281.43/2275.88	o 591123
2281.43/2275.88	o 591650
2281.53/2275.92	o 591797
2282.53/2277.00	o 591903
2282.53/2277.00	o 592525
2282.53/2277.00	o 593052
2282.64/2277.07	o 593199
2283.23/2277.63	o 593547
2283.23/2277.67	o 593694
2283.33/2277.79	o 594141
2283.33/2277.79	o 594763
2283.33/2277.79	o 595290
2283.43/2277.83	o 595437
2297.26/2291.60	o 595503
2297.26/2291.61	o 596125
2297.26/2291.61	o 596652
2297.26/2291.64	o 596799
2441.94/2436.08	o 597146
2441.94/2436.08	o 597293
2520.08/2514.01	s SATISFIABLE
2520.08/2514.02	v <instantiation>
2520.08/2514.02	v 	<list>
2520.08/2514.02	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.08/2514.02	v 	</list>
2520.08/2514.02	v 	<values>
2520.08/2514.02	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 1 1 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.08/2514.02	v 	</values>
2520.08/2514.02	v </instantiation>

Verifier Data 

OK	597293

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298543-1532761593/watcher-4298543-1532761593 -o /tmp/evaluation-result-4298543-1532761593/solver-4298543-1532761593 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532741422-28016 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298543-1532761593.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
Current StackSize limit: 8192 KiB

solver pid=31132, runsolver pid=31129

[startup+0.100092 s]*
/proc/loadavg: 1.62 1.52 1.46 3/215 31147
/proc/meminfo: memFree=22884212/32770624 swapFree=67108860/67108860
[pid=31132] ppid=31129 vsize=10661052 memory=27592 CPUtime=0.13 cores=0,2,4,6
/proc/31132/stat : 31132 (java) S 31129 31132 27985 0 -1 1077944320 5268 0 0 0 12 1 0 0 20 0 15 0 93722519 10916917248 6898 33554432000 4194304 4196468 140732617893168 140732617875712 140264921140983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
/proc/31132/statm: 2665263 6898 2844 1 0 2627263 0
[pid=31132/tid=31134] ppid=31129 vsize=10661052 memory=-8269626465541459070 CPUtime=0.09 cores=0,2,4,6
/proc/31132/task/31134/stat : 31134 (java) R 31129 31132 27985 0 -1 4202560 3136 0 0 0 9 0 0 0 20 0 15 0 93722519 10916917248 6898 33554432000 4194304 4196468 140732617893168 140264925370464 140264921152918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31135] ppid=31129 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31135/stat : 31135 (java) S 31129 31132 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93722520 10916917248 6898 33554432000 4194304 4196468 140732617893168 140264847215248 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31136] ppid=31129 vsize=10661052 memory=139984543000192 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31136/stat : 31136 (java) S 31129 31132 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93722520 10916917248 6898 33554432000 4194304 4196468 140732617893168 140264846162448 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31137] ppid=31129 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31137/stat : 31137 (java) S 31129 31132 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93722520 10916917248 6898 33554432000 4194304 4196468 140732617893168 140264845109648 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31138] ppid=31129 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31138/stat : 31138 (java) S 31129 31132 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93722520 10916917248 6898 33554432000 4194304 4196468 140732617893168 140264844056848 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31139] ppid=31129 vsize=10661052 memory=139984543000192 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31139/stat : 31139 (java) S 31129 31132 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93722522 10916917248 6898 33554432000 4194304 4196468 140732617893168 140263956773744 140264921152130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31140] ppid=31129 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31140/stat : 31140 (java) S 31129 31132 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93722522 10916917248 6898 33554432000 4194304 4196468 140732617893168 140263955719712 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31141] ppid=31129 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31141/stat : 31141 (java) S 31129 31132 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93722522 10916917248 6898 33554432000 4194304 4196468 140732617893168 140263954666864 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31142] ppid=31129 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31142/stat : 31142 (java) S 31129 31132 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93722525 10916917248 6898 33554432000 4194304 4196468 140732617893168 140263953615184 140264921159579 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31143] ppid=31129 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31143/stat : 31143 (java) S 31129 31132 27985 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 93722525 10916917248 6898 33554432000 4194304 4196468 140732617893168 140263952562544 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31144] ppid=31129 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31144/stat : 31144 (java) S 31129 31132 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93722525 10916917248 6898 33554432000 4194304 4196468 140732617893168 140263951509744 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31145] ppid=31129 vsize=10661052 memory=139984543000192 CPUtime=0.01 cores=0,2,4,6
/proc/31132/task/31145/stat : 31145 (java) R 31129 31132 27985 0 -1 4202560 334 0 0 0 1 0 0 0 20 0 15 0 93722525 10916917248 6898 33554432000 4194304 4196468 140732617893168 140263950456944 140264905221470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31146] ppid=31129 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31146/stat : 31146 (java) S 31129 31132 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93722525 10916917248 6898 33554432000 4194304 4196468 140732617893168 140263949404384 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31147] ppid=31129 vsize=10661052 memory=139984543000192 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31147/stat : 31147 (java) S 31129 31132 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93722525 10916917248 6898 33554432000 4194304 4196468 140732617893168 140263948352688 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 27592 KiB

[startup+0.210583 s]*
/proc/loadavg: 1.62 1.52 1.46 4/215 31147
/proc/meminfo: memFree=22872760/32770624 swapFree=67108860/67108860
[pid=31132] ppid=31129 vsize=10661052 memory=40936 CPUtime=0.35 cores=0,2,4,6
/proc/31132/stat : 31132 (java) S 31129 31132 27985 0 -1 1077944320 8299 0 0 0 33 2 0 0 20 0 15 0 93722519 10916917248 10234 33554432000 4194304 4196468 140732617893168 140732617875712 140264921140983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
/proc/31132/statm: 2665263 10234 3007 1 0 2627263 0
[pid=31132/tid=31134] ppid=31129 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31132/task/31134/stat : 31134 (java) R 31129 31132 27985 0 -1 4202560 5095 0 0 0 19 1 0 0 20 0 15 0 93722519 10916917248 10234 33554432000 4194304 4196468 140732617893168 140264925379088 140264522007434 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31135] ppid=31129 vsize=10661052 memory=345 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31135/stat : 31135 (java) S 31129 31132 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93722520 10916917248 10234 33554432000 4194304 4196468 140732617893168 140264847215248 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31136] ppid=31129 vsize=10661052 memory=3905095354365355680 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31136/stat : 31136 (java) S 31129 31132 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93722520 10916917248 10234 33554432000 4194304 4196468 140732617893168 140264846162448 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31137] ppid=31129 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31137/stat : 31137 (java) S 31129 31132 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93722520 10916917248 10234 33554432000 4194304 4196468 140732617893168 140264845109648 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31138] ppid=31129 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31138/stat : 31138 (java) S 31129 31132 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93722520 10916917248 10234 33554432000 4194304 4196468 140732617893168 140264844056848 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31139] ppid=31129 vsize=10661052 memory=139984543000192 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31139/stat : 31139 (java) S 31129 31132 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93722522 10916917248 10234 33554432000 4194304 4196468 140732617893168 140263956773744 140264921152130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31140] ppid=31129 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31140/stat : 31140 (java) S 31129 31132 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93722522 10916917248 10234 33554432000 4194304 4196468 140732617893168 140263955719712 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31141] ppid=31129 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31141/stat : 31141 (java) S 31129 31132 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93722522 10916917248 10234 33554432000 4194304 4196468 140732617893168 140263954666864 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31142] ppid=31129 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31142/stat : 31142 (java) S 31129 31132 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93722525 10916917248 10234 33554432000 4194304 4196468 140732617893168 140263953615184 140264921159579 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31143] ppid=31129 vsize=10661052 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31132/task/31143/stat : 31143 (java) R 31129 31132 27985 0 -1 1077944384 807 0 0 0 3 0 0 0 20 0 15 0 93722525 10916917248 10234 33554432000 4194304 4196468 140732617893168 140263952552464 140264921151189 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31144] ppid=31129 vsize=10661052 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31132/task/31144/stat : 31144 (java) R 31129 31132 27985 0 -1 4202560 141 0 0 0 2 0 0 0 20 0 15 0 93722525 10916917248 10234 33554432000 4194304 4196468 140732617893168 140263951490648 140264905044064 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31145] ppid=31129 vsize=10661052 memory=139984543000192 CPUtime=0.08 cores=0,2,4,6
/proc/31132/task/31145/stat : 31145 (java) R 31129 31132 27985 0 -1 4202560 890 0 0 0 8 0 0 0 20 0 15 0 93722525 10916917248 10234 33554432000 4194304 4196468 140732617893168 140263950453688 140264913378110 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31146] ppid=31129 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31146/stat : 31146 (java) S 31129 31132 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93722525 10916917248 10234 33554432000 4194304 4196468 140732617893168 140263949404384 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31147] ppid=31129 vsize=10661052 memory=139984543000192 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31147/stat : 31147 (java) S 31129 31132 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93722525 10916917248 10234 33554432000 4194304 4196468 140732617893168 140263948352688 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 40936 KiB

[startup+0.31083 s]*
/proc/loadavg: 1.62 1.52 1.46 6/215 31147
/proc/meminfo: memFree=22865300/32770624 swapFree=67108860/67108860
[pid=31132] ppid=31129 vsize=10661128 memory=47896 CPUtime=0.6 cores=0,2,4,6
/proc/31132/stat : 31132 (java) S 31129 31132 27985 0 -1 1077944320 9013 0 0 0 58 2 0 0 20 0 15 0 93722519 10916995072 11974 33554432000 4194304 4196468 140732617893168 140732617875712 140264921140983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
/proc/31132/statm: 2665282 11974 3068 1 0 2627263 0
[pid=31132/tid=31134] ppid=31129 vsize=10661128 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/31132/task/31134/stat : 31134 (java) R 31129 31132 27985 0 -1 4202560 5414 0 0 0 29 1 0 0 20 0 15 0 93722519 10916995072 11974 33554432000 4194304 4196468 140732617893168 140264925377184 140264921162330 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31135] ppid=31129 vsize=10661128 memory=304556157652172823 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31135/stat : 31135 (java) S 31129 31132 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93722520 10916995072 11974 33554432000 4194304 4196468 140732617893168 140264847215248 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31136] ppid=31129 vsize=10661128 memory=3544807384175716000 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31136/stat : 31136 (java) S 31129 31132 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93722520 10916995072 11974 33554432000 4194304 4196468 140732617893168 140264846162448 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31137] ppid=31129 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31137/stat : 31137 (java) S 31129 31132 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93722520 10916995072 11974 33554432000 4194304 4196468 140732617893168 140264845109648 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31138] ppid=31129 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31138/stat : 31138 (java) S 31129 31132 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93722520 10916995072 11974 33554432000 4194304 4196468 140732617893168 140264844056848 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31139] ppid=31129 vsize=10661128 memory=139984543000192 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31139/stat : 31139 (java) S 31129 31132 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93722522 10916995072 11974 33554432000 4194304 4196468 140732617893168 140263956773744 140264921152130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31140] ppid=31129 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31140/stat : 31140 (java) S 31129 31132 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93722522 10916995072 11974 33554432000 4194304 4196468 140732617893168 140263955719712 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31141] ppid=31129 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31141/stat : 31141 (java) S 31129 31132 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93722522 10916995072 11974 33554432000 4194304 4196468 140732617893168 140263954666864 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31142] ppid=31129 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31142/stat : 31142 (java) S 31129 31132 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93722525 10916995072 11974 33554432000 4194304 4196468 140732617893168 140263953615184 140264921159579 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31143] ppid=31129 vsize=10661128 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31132/task/31143/stat : 31143 (java) R 31129 31132 27985 0 -1 4202560 1000 0 0 0 7 0 0 0 20 0 15 0 93722525 10916995072 11974 33554432000 4194304 4196468 140732617893168 140263952548568 140264900387165 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31144] ppid=31129 vsize=10661128 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/31132/task/31144/stat : 31144 (java) R 31129 31132 27985 0 -1 4202560 213 0 0 0 6 0 0 0 20 0 15 0 93722525 10916995072 11974 33554432000 4194304 4196468 140732617893168 140263951508144 140264902670542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31145] ppid=31129 vsize=10661128 memory=139984543000192 CPUtime=0.15 cores=0,2,4,6
/proc/31132/task/31145/stat : 31145 (java) R 31129 31132 27985 0 -1 4202560 1022 0 0 0 15 0 0 0 20 0 15 0 93722525 10916995072 11974 33554432000 4194304 4196468 140732617893168 140263950451984 140264900059568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31146] ppid=31129 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31146/stat : 31146 (java) S 31129 31132 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93722525 10916995072 11974 33554432000 4194304 4196468 140732617893168 140263949404384 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31147] ppid=31129 vsize=10661128 memory=139984543000192 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31147/stat : 31147 (java) S 31129 31132 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93722525 10916995072 11974 33554432000 4194304 4196468 140732617893168 140263948352688 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 47896 KiB

[startup+0.700817 s]
/proc/loadavg: 1.62 1.52 1.46 4/215 31147
/proc/meminfo: memFree=22632032/32770624 swapFree=67108860/67108860
[pid=31132] ppid=31129 vsize=10661128 memory=280664 CPUtime=1.64 cores=0,2,4,6
/proc/31132/stat : 31132 (java) S 31129 31132 27985 0 -1 1077944320 10990 0 0 0 158 6 0 0 20 0 15 0 93722519 10916995072 70166 33554432000 4194304 4196468 140732617893168 140732617875712 140264921140983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
/proc/31132/statm: 2665282 70166 3112 1 0 2627263 0
[pid=31132/tid=31134] ppid=31129 vsize=10661128 memory=1836 CPUtime=0.68 cores=0,2,4,6
/proc/31132/task/31134/stat : 31134 (java) R 31129 31132 27985 0 -1 4202560 5683 0 0 0 63 5 0 0 20 0 15 0 93722519 10916995072 70166 33554432000 4194304 4196468 140732617893168 140264925371728 140264525401777 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31135] ppid=31129 vsize=10661128 memory=13044 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31135/stat : 31135 (java) S 31129 31132 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93722520 10916995072 70166 33554432000 4194304 4196468 140732617893168 140264847215248 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31136] ppid=31129 vsize=10661128 memory=792 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31136/stat : 31136 (java) S 31129 31132 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93722520 10916995072 70166 33554432000 4194304 4196468 140732617893168 140264846162448 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31137] ppid=31129 vsize=10661128 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31137/stat : 31137 (java) S 31129 31132 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93722520 10916995072 70166 33554432000 4194304 4196468 140732617893168 140264845109648 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31138] ppid=31129 vsize=10661128 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31138/stat : 31138 (java) S 31129 31132 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93722520 10916995072 70166 33554432000 4194304 4196468 140732617893168 140264844056848 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31139] ppid=31129 vsize=10661128 memory=8556 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31139/stat : 31139 (java) S 31129 31132 27985 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93722522 10916995072 70166 33554432000 4194304 4196468 140732617893168 140263956773744 140264921152130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31140] ppid=31129 vsize=10661128 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31140/stat : 31140 (java) S 31129 31132 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93722522 10916995072 70166 33554432000 4194304 4196468 140732617893168 140263955719712 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31141] ppid=31129 vsize=10661128 memory=5412 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31141/stat : 31141 (java) S 31129 31132 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93722522 10916995072 70166 33554432000 4194304 4196468 140732617893168 140263954666864 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31142] ppid=31129 vsize=10661128 memory=7668879548562892096 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31142/stat : 31142 (java) S 31129 31132 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93722525 10916995072 70166 33554432000 4194304 4196468 140732617893168 140263953615184 140264921159579 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31143] ppid=31129 vsize=10661128 memory=7881696724453321575 CPUtime=0.33 cores=0,2,4,6
/proc/31132/task/31143/stat : 31143 (java) S 31129 31132 27985 0 -1 1077944384 1620 0 0 0 33 0 0 0 20 0 15 0 93722525 10916995072 70166 33554432000 4194304 4196468 140732617893168 140263952562544 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31144] ppid=31129 vsize=10661128 memory=5787213827163908199 CPUtime=0.32 cores=0,2,4,6
/proc/31132/task/31144/stat : 31144 (java) S 31129 31132 27985 0 -1 1077944384 785 0 0 0 32 0 0 0 20 0 15 0 93722525 10916995072 70166 33554432000 4194304 4196468 140732617893168 140263951509744 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31145] ppid=31129 vsize=10661128 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/31132/task/31145/stat : 31145 (java) S 31129 31132 27985 0 -1 1077944384 1532 0 0 0 28 0 0 0 20 0 15 0 93722525 10916995072 70166 33554432000 4194304 4196468 140732617893168 140263950456944 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31146] ppid=31129 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31146/stat : 31146 (java) S 31129 31132 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93722525 10916995072 70166 33554432000 4194304 4196468 140732617893168 140263949404384 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31147] ppid=31129 vsize=10661128 memory=33 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31147/stat : 31147 (java) S 31129 31132 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93722525 10916995072 70166 33554432000 4194304 4196468 140732617893168 140263948352688 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 280664 KiB

[startup+1.50077 s]
/proc/loadavg: 1.62 1.52 1.46 3/215 31147
/proc/meminfo: memFree=22631900/32770624 swapFree=67108860/67108860
[pid=31132] ppid=31129 vsize=10661128 memory=283112 CPUtime=2.6 cores=0,2,4,6
/proc/31132/stat : 31132 (java) S 31129 31132 27985 0 -1 1077944320 11145 0 0 0 254 6 0 0 20 0 15 0 93722519 10916995072 70778 33554432000 4194304 4196468 140732617893168 140732617875712 140264921140983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
/proc/31132/statm: 2665282 70778 3124 1 0 2627263 0
[pid=31132/tid=31134] ppid=31129 vsize=10661128 memory=6791534058613427641 CPUtime=1.48 cores=0,2,4,6
/proc/31132/task/31134/stat : 31134 (java) R 31129 31132 27985 0 -1 4202560 5751 0 0 0 143 5 0 0 20 0 15 0 93722519 10916995072 70778 33554432000 4194304 4196468 140732617893168 140264925371728 140264525482554 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31135] ppid=31129 vsize=10661128 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31135/stat : 31135 (java) S 31129 31132 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93722520 10916995072 70778 33554432000 4194304 4196468 140732617893168 140264847215248 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31136] ppid=31129 vsize=10661128 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31136/stat : 31136 (java) S 31129 31132 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93722520 10916995072 70778 33554432000 4194304 4196468 140732617893168 140264846162448 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31137] ppid=31129 vsize=10661128 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31137/stat : 31137 (java) S 31129 31132 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93722520 10916995072 70778 33554432000 4194304 4196468 140732617893168 140264845109648 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31138] ppid=31129 vsize=10661128 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31138/stat : 31138 (java) S 31129 31132 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93722520 10916995072 70778 33554432000 4194304 4196468 140732617893168 140264844056848 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31139] ppid=31129 vsize=10661128 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31139/stat : 31139 (java) S 31129 31132 27985 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93722522 10916995072 70778 33554432000 4194304 4196468 140732617893168 140263956773744 140264921152130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0

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

/proc/31132/task/31134/stat : 31134 (java) R 31129 31132 27985 0 -1 4202560 15644 0 0 0 238060 7 0 0 20 0 15 0 93722519 10916995072 88600 33554432000 4194304 4196468 140732617893168 140264925380352 140264525807210 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31135] ppid=31129 vsize=10661128 memory=279968787120736 CPUtime=1.17 cores=0,2,4,6
/proc/31132/task/31135/stat : 31135 (java) S 31129 31132 27985 0 -1 1077944384 6939 0 0 0 114 3 0 0 20 0 15 0 93722520 10916995072 88600 33554432000 4194304 4196468 140732617893168 140264847215248 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31136] ppid=31129 vsize=10661128 memory=354400 CPUtime=1.16 cores=0,2,4,6
/proc/31132/task/31136/stat : 31136 (java) S 31129 31132 27985 0 -1 1077944384 5925 0 0 0 113 3 0 0 20 0 15 0 93722520 10916995072 88600 33554432000 4194304 4196468 140732617893168 140264846162448 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31137] ppid=31129 vsize=10661128 memory=354400 CPUtime=1.16 cores=0,2,4,6
/proc/31132/task/31137/stat : 31137 (java) S 31129 31132 27985 0 -1 1077944384 7927 0 0 0 114 2 0 0 20 0 15 0 93722520 10916995072 88600 33554432000 4194304 4196468 140732617893168 140264845109648 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31138] ppid=31129 vsize=10661128 memory=354400 CPUtime=1.16 cores=0,2,4,6
/proc/31132/task/31138/stat : 31138 (java) S 31129 31132 27985 0 -1 1077944384 6903 0 0 0 114 2 0 0 20 0 15 0 93722520 10916995072 88600 33554432000 4194304 4196468 140732617893168 140264844056848 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31139] ppid=31129 vsize=10661128 memory=354400 CPUtime=0.35 cores=0,2,4,6
/proc/31132/task/31139/stat : 31139 (java) S 31129 31132 27985 0 -1 1077944384 8444 0 0 0 31 4 0 0 20 0 15 0 93722522 10916995072 88600 33554432000 4194304 4196468 140732617893168 140263956773744 140264921152130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31140] ppid=31129 vsize=10661128 memory=354400 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31140/stat : 31140 (java) S 31129 31132 27985 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 93722522 10916995072 88600 33554432000 4194304 4196468 140732617893168 140263955719712 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31141] ppid=31129 vsize=10661128 memory=354400 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31141/stat : 31141 (java) S 31129 31132 27985 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 93722522 10916995072 88600 33554432000 4194304 4196468 140732617893168 140263954666864 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31142] ppid=31129 vsize=10661128 memory=354400 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31142/stat : 31142 (java) S 31129 31132 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93722525 10916995072 88600 33554432000 4194304 4196468 140732617893168 140263953615184 140264921159579 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31143] ppid=31129 vsize=10661128 memory=354400 CPUtime=0.74 cores=0,2,4,6
/proc/31132/task/31143/stat : 31143 (java) S 31129 31132 27985 0 -1 1077944384 3857 0 0 0 74 0 0 0 20 0 15 0 93722525 10916995072 88600 33554432000 4194304 4196468 140732617893168 140263952562544 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31144] ppid=31129 vsize=10661128 memory=352332 CPUtime=0.57 cores=0,2,4,6
/proc/31132/task/31144/stat : 31144 (java) S 31129 31132 27985 0 -1 1077944384 2019 0 0 0 57 0 0 0 20 0 15 0 93722525 10916995072 88600 33554432000 4194304 4196468 140732617893168 140263951509744 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31145] ppid=31129 vsize=10661128 memory=354400 CPUtime=0.38 cores=0,2,4,6
/proc/31132/task/31145/stat : 31145 (java) S 31129 31132 27985 0 -1 1077944384 3678 0 0 0 37 1 0 0 20 0 15 0 93722525 10916995072 88600 33554432000 4194304 4196468 140732617893168 140263950456944 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31146] ppid=31129 vsize=10661128 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31146/stat : 31146 (java) S 31129 31132 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93722525 10916995072 88600 33554432000 4194304 4196468 140732617893168 140263949404384 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31147] ppid=31129 vsize=10661128 memory=4140 CPUtime=0.68 cores=0,2,4,6
/proc/31132/task/31147/stat : 31147 (java) S 31129 31132 27985 0 -1 1077944384 1391 0 0 0 28 40 0 0 20 0 15 0 93722525 10916995072 88600 33554432000 4194304 4196468 140732617893168 140263948352688 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
Current children cumulated CPU time: 2388.14 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 354400 KiB

[startup+2442.3 s]
/proc/loadavg: 1.76 1.72 1.69 3/215 31296
/proc/meminfo: memFree=22748080/32770624 swapFree=67108860/67108860
[pid=31132] ppid=31129 vsize=10661128 memory=354416 CPUtime=2448.24 cores=0,2,4,6
/proc/31132/stat : 31132 (java) S 31129 31132 27985 0 -1 1077944320 65132 0 0 0 244774 50 0 0 20 0 15 0 93722519 10916995072 88604 33554432000 4194304 4196468 140732617893168 140732617875712 140264921140983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
/proc/31132/statm: 2665282 88604 3158 1 0 2627263 0
[pid=31132/tid=31134] ppid=31129 vsize=10661128 memory=354416 CPUtime=2440.62 cores=0,2,4,6
/proc/31132/task/31134/stat : 31134 (java) R 31129 31132 27985 0 -1 4202560 15827 0 0 0 244054 8 0 0 20 0 15 0 93722519 10916995072 88604 33554432000 4194304 4196468 140732617893168 140264925380352 140264525806535 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31135] ppid=31129 vsize=10661128 memory=354416 CPUtime=1.2 cores=0,2,4,6
/proc/31132/task/31135/stat : 31135 (java) S 31129 31132 27985 0 -1 1077944384 7048 0 0 0 117 3 0 0 20 0 15 0 93722520 10916995072 88604 33554432000 4194304 4196468 140732617893168 140264847215248 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31136] ppid=31129 vsize=10661128 memory=354416 CPUtime=1.2 cores=0,2,4,6
/proc/31132/task/31136/stat : 31136 (java) S 31129 31132 27985 0 -1 1077944384 6035 0 0 0 117 3 0 0 20 0 15 0 93722520 10916995072 88604 33554432000 4194304 4196468 140732617893168 140264846162448 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31137] ppid=31129 vsize=10661128 memory=69 CPUtime=1.2 cores=0,2,4,6
/proc/31132/task/31137/stat : 31137 (java) S 31129 31132 27985 0 -1 1077944384 8242 0 0 0 118 2 0 0 20 0 15 0 93722520 10916995072 88604 33554432000 4194304 4196468 140732617893168 140264845109648 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31138] ppid=31129 vsize=10661128 memory=279968786668128 CPUtime=1.21 cores=0,2,4,6
/proc/31132/task/31138/stat : 31138 (java) S 31129 31132 27985 0 -1 1077944384 6963 0 0 0 118 3 0 0 20 0 15 0 93722520 10916995072 88604 33554432000 4194304 4196468 140732617893168 140264844056848 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31139] ppid=31129 vsize=10661128 memory=354416 CPUtime=0.36 cores=0,2,4,6
/proc/31132/task/31139/stat : 31139 (java) S 31129 31132 27985 0 -1 1077944384 8612 0 0 0 32 4 0 0 20 0 15 0 93722522 10916995072 88604 33554432000 4194304 4196468 140732617893168 140263956773744 140264921152130 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31140] ppid=31129 vsize=10661128 memory=354416 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31140/stat : 31140 (java) S 31129 31132 27985 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 93722522 10916995072 88604 33554432000 4194304 4196468 140732617893168 140263955719712 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31141] ppid=31129 vsize=10661128 memory=354416 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31141/stat : 31141 (java) S 31129 31132 27985 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 93722522 10916995072 88604 33554432000 4194304 4196468 140732617893168 140263954666864 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31142] ppid=31129 vsize=10661128 memory=354416 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31142/stat : 31142 (java) S 31129 31132 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93722525 10916995072 88604 33554432000 4194304 4196468 140732617893168 140263953615184 140264921159579 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31143] ppid=31129 vsize=10661128 memory=1836 CPUtime=0.74 cores=0,2,4,6
/proc/31132/task/31143/stat : 31143 (java) S 31129 31132 27985 0 -1 1077944384 3859 0 0 0 74 0 0 0 20 0 15 0 93722525 10916995072 88604 33554432000 4194304 4196468 140732617893168 140263952562544 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31144] ppid=31129 vsize=10661128 memory=354416 CPUtime=0.57 cores=0,2,4,6
/proc/31132/task/31144/stat : 31144 (java) S 31129 31132 27985 0 -1 1077944384 2022 0 0 0 57 0 0 0 20 0 15 0 93722525 10916995072 88604 33554432000 4194304 4196468 140732617893168 140263951509744 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31145] ppid=31129 vsize=10661128 memory=354416 CPUtime=0.38 cores=0,2,4,6
/proc/31132/task/31145/stat : 31145 (java) S 31129 31132 27985 0 -1 1077944384 3680 0 0 0 37 1 0 0 20 0 15 0 93722525 10916995072 88604 33554432000 4194304 4196468 140732617893168 140263950456944 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31146] ppid=31129 vsize=10661128 memory=354416 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31146/stat : 31146 (java) S 31129 31132 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93722525 10916995072 88604 33554432000 4194304 4196468 140732617893168 140263949404384 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31147] ppid=31129 vsize=10661128 memory=354416 CPUtime=0.7 cores=0,2,4,6
/proc/31132/task/31147/stat : 31147 (java) S 31129 31132 27985 0 -1 1077944384 1412 0 0 0 28 42 0 0 20 0 15 0 93722525 10916995072 88604 33554432000 4194304 4196468 140732617893168 140263948352688 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
Current children cumulated CPU time: 2448.24 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 354416 KiB

[startup+2502.3 s]
/proc/loadavg: 1.65 1.71 1.69 3/215 31297
/proc/meminfo: memFree=22743756/32770624 swapFree=67108860/67108860
[pid=31132] ppid=31129 vsize=10661128 memory=354436 CPUtime=2508.35 cores=0,2,4,6
/proc/31132/stat : 31132 (java) S 31129 31132 27985 0 -1 1077944320 65994 0 0 0 250784 51 0 0 20 0 15 0 93722519 10916995072 88609 33554432000 4194304 4196468 140732617893168 140732617875712 140264921140983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
/proc/31132/statm: 2665282 88609 3158 1 0 2627263 0
[pid=31132/tid=31134] ppid=31129 vsize=10661128 memory=354436 CPUtime=2500.57 cores=0,2,4,6
/proc/31132/task/31134/stat : 31134 (java) R 31129 31132 27985 0 -1 4202560 15962 0 0 0 250049 8 0 0 20 0 15 0 93722519 10916995072 88609 33554432000 4194304 4196468 140732617893168 140264925380528 140264525806566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31135] ppid=31129 vsize=10661128 memory=354436 CPUtime=1.23 cores=0,2,4,6
/proc/31132/task/31135/stat : 31135 (java) S 31129 31132 27985 0 -1 1077944384 7157 0 0 0 120 3 0 0 20 0 15 0 93722520 10916995072 88609 33554432000 4194304 4196468 140732617893168 140264847215248 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31136] ppid=31129 vsize=10661128 memory=354436 CPUtime=1.23 cores=0,2,4,6
/proc/31132/task/31136/stat : 31136 (java) S 31129 31132 27985 0 -1 1077944384 6145 0 0 0 120 3 0 0 20 0 15 0 93722520 10916995072 88609 33554432000 4194304 4196468 140732617893168 140264846162448 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31137] ppid=31129 vsize=10661128 memory=354436 CPUtime=1.23 cores=0,2,4,6
/proc/31132/task/31137/stat : 31137 (java) S 31129 31132 27985 0 -1 1077944384 8479 0 0 0 121 2 0 0 20 0 15 0 93722520 10916995072 88609 33554432000 4194304 4196468 140732617893168 140264845109648 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31138] ppid=31129 vsize=10661128 memory=354436 CPUtime=1.24 cores=0,2,4,6
/proc/31132/task/31138/stat : 31138 (java) S 31129 31132 27985 0 -1 1077944384 7039 0 0 0 121 3 0 0 20 0 15 0 93722520 10916995072 88609 33554432000 4194304 4196468 140732617893168 140264844056848 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31139] ppid=31129 vsize=10661128 memory=354436 CPUtime=0.37 cores=0,2,4,6
/proc/31132/task/31139/stat : 31139 (java) S 31129 31132 27985 0 -1 1077944384 8780 0 0 0 33 4 0 0 20 0 15 0 93722522 10916995072 88609 33554432000 4194304 4196468 140732617893168 140263956773744 140264921152130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31140] ppid=31129 vsize=10661128 memory=354436 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31140/stat : 31140 (java) S 31129 31132 27985 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 93722522 10916995072 88609 33554432000 4194304 4196468 140732617893168 140263955719712 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31141] ppid=31129 vsize=10661128 memory=354436 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31141/stat : 31141 (java) S 31129 31132 27985 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 93722522 10916995072 88609 33554432000 4194304 4196468 140732617893168 140263954666864 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31142] ppid=31129 vsize=10661128 memory=354436 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31142/stat : 31142 (java) S 31129 31132 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93722525 10916995072 88609 33554432000 4194304 4196468 140732617893168 140263953615184 140264921159579 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31143] ppid=31129 vsize=10661128 memory=354436 CPUtime=0.74 cores=0,2,4,6
/proc/31132/task/31143/stat : 31143 (java) S 31129 31132 27985 0 -1 1077944384 3861 0 0 0 74 0 0 0 20 0 15 0 93722525 10916995072 88609 33554432000 4194304 4196468 140732617893168 140263952562544 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31144] ppid=31129 vsize=10661128 memory=354436 CPUtime=0.57 cores=0,2,4,6
/proc/31132/task/31144/stat : 31144 (java) S 31129 31132 27985 0 -1 1077944384 2024 0 0 0 57 0 0 0 20 0 15 0 93722525 10916995072 88609 33554432000 4194304 4196468 140732617893168 140263951509744 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31145] ppid=31129 vsize=10661128 memory=27284 CPUtime=0.38 cores=0,2,4,6
/proc/31132/task/31145/stat : 31145 (java) S 31129 31132 27985 0 -1 1077944384 3682 0 0 0 37 1 0 0 20 0 15 0 93722525 10916995072 88609 33554432000 4194304 4196468 140732617893168 140263950456944 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31146] ppid=31129 vsize=10661128 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31146/stat : 31146 (java) S 31129 31132 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93722525 10916995072 88609 33554432000 4194304 4196468 140732617893168 140263949404384 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31147] ppid=31129 vsize=10661128 memory=354436 CPUtime=0.71 cores=0,2,4,6
/proc/31132/task/31147/stat : 31147 (java) S 31129 31132 27985 0 -1 1077944384 1433 0 0 0 28 43 0 0 20 0 15 0 93722525 10916995072 88609 33554432000 4194304 4196468 140732617893168 140263948352688 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
Current children cumulated CPU time: 2508.35 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 354436 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2514 s]*
/proc/loadavg: 1.65 1.71 1.69 3/215 31297
/proc/meminfo: memFree=22743756/32770624 swapFree=67108860/67108860
[pid=31132] ppid=31129 vsize=10661128 memory=354448 CPUtime=2520.08 cores=0,2,4,6
/proc/31132/stat : 31132 (java) S 31129 31132 27985 0 -1 1077944320 66809 0 0 0 251957 51 0 0 20 0 15 0 93722519 10916995072 88612 33554432000 4194304 4196468 140732617893168 140732617875712 140264921140983 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
/proc/31132/statm: 2665282 88612 3158 1 0 2627263 0
[pid=31132/tid=31134] ppid=31129 vsize=10661128 memory=6791534058613427641 CPUtime=2512.27 cores=0,2,4,6
/proc/31132/task/31134/stat : 31134 (java) R 31129 31132 27985 0 -1 4202560 16080 0 0 0 251219 8 0 0 20 0 15 0 93722519 10916995072 88612 33554432000 4194304 4196468 140732617893168 140264925380288 140264525807210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31135] ppid=31129 vsize=10661128 memory=2724 CPUtime=1.24 cores=0,2,4,6
/proc/31132/task/31135/stat : 31135 (java) S 31129 31132 27985 0 -1 1077944384 7263 0 0 0 121 3 0 0 20 0 15 0 93722520 10916995072 88612 33554432000 4194304 4196468 140732617893168 140264847215248 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31136] ppid=31129 vsize=10661128 memory=4108 CPUtime=1.24 cores=0,2,4,6
/proc/31132/task/31136/stat : 31136 (java) S 31129 31132 27985 0 -1 1077944384 6251 0 0 0 121 3 0 0 20 0 15 0 93722520 10916995072 88612 33554432000 4194304 4196468 140732617893168 140264846162448 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31137] ppid=31129 vsize=10661128 memory=1408 CPUtime=1.24 cores=0,2,4,6
/proc/31132/task/31137/stat : 31137 (java) S 31129 31132 27985 0 -1 1077944384 8749 0 0 0 122 2 0 0 20 0 15 0 93722520 10916995072 88612 33554432000 4194304 4196468 140732617893168 140264845109648 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31138] ppid=31129 vsize=10661128 memory=4872558044660077418 CPUtime=1.24 cores=0,2,4,6
/proc/31132/task/31138/stat : 31138 (java) S 31129 31132 27985 0 -1 1077944384 7058 0 0 0 121 3 0 0 20 0 15 0 93722520 10916995072 88612 33554432000 4194304 4196468 140732617893168 140264844056848 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31139] ppid=31129 vsize=10661128 memory=7811331273996003428 CPUtime=0.37 cores=0,2,4,6
/proc/31132/task/31139/stat : 31139 (java) S 31129 31132 27985 0 -1 1077944384 8942 0 0 0 33 4 0 0 20 0 15 0 93722522 10916995072 88612 33554432000 4194304 4196468 140732617893168 140263956773744 140264921152130 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31140] ppid=31129 vsize=10661128 memory=5938387991745029990 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31140/stat : 31140 (java) S 31129 31132 27985 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 93722522 10916995072 88612 33554432000 4194304 4196468 140732617893168 140263955719712 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31141] ppid=31129 vsize=10661128 memory=5787500903046145365 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31141/stat : 31141 (java) S 31129 31132 27985 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 93722522 10916995072 88612 33554432000 4194304 4196468 140732617893168 140263954666864 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31142] ppid=31129 vsize=10661128 memory=5787213827113576551 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31142/stat : 31142 (java) S 31129 31132 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93722525 10916995072 88612 33554432000 4194304 4196468 140732617893168 140263953615184 140264921159579 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31143] ppid=31129 vsize=10661128 memory=6010987533042733139 CPUtime=0.74 cores=0,2,4,6
/proc/31132/task/31143/stat : 31143 (java) S 31129 31132 27985 0 -1 1077944384 3864 0 0 0 74 0 0 0 20 0 15 0 93722525 10916995072 88612 33554432000 4194304 4196468 140732617893168 140263952562544 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31144] ppid=31129 vsize=10661128 memory=6076878065162868073 CPUtime=0.57 cores=0,2,4,6
/proc/31132/task/31144/stat : 31144 (java) S 31129 31132 27985 0 -1 1077944384 2026 0 0 0 57 0 0 0 20 0 15 0 93722525 10916995072 88612 33554432000 4194304 4196468 140732617893168 140263951509744 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31145] ppid=31129 vsize=10661128 memory=6791534058613427641 CPUtime=0.38 cores=0,2,4,6
/proc/31132/task/31145/stat : 31145 (java) S 31129 31132 27985 0 -1 1077944384 3684 0 0 0 37 1 0 0 20 0 15 0 93722525 10916995072 88612 33554432000 4194304 4196468 140732617893168 140263950456944 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31146] ppid=31129 vsize=10661128 memory=7236547281622689387 CPUtime=0 cores=0,2,4,6
/proc/31132/task/31146/stat : 31146 (java) S 31129 31132 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93722525 10916995072 88612 33554432000 4194304 4196468 140732617893168 140263949404384 140264921151189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
[pid=31132/tid=31147] ppid=31129 vsize=10661128 memory=6293050847276651881 CPUtime=0.72 cores=0,2,4,6
/proc/31132/task/31147/stat : 31147 (java) S 31129 31132 27985 0 -1 1077944384 1460 0 0 0 29 43 0 0 20 0 15 0 93722525 10916995072 88612 33554432000 4194304 4196468 140732617893168 140263948352688 140264921152130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36581376 140732617897133 140732617897225 140732617897225 140732617899983 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 354448 KiB

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

[startup+2514.04 s]
# the end of solver process 31132 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.6 s, system=0.522172 s

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

Child status: 143
Real time (s): 2514.04
CPU time (s): 2520.12
CPU user time (s): 2519.6
CPU system time (s): 0.522172
CPU usage (%): 100.242
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 394248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.6
system time used= 0.522172
maximum resident set size= 398352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67248
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65586
involuntary context switches= 3213


# summary of solver processes directly reported to runsolver:
#   pid: 31132
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2519.6
#   total CPU system time (s): 0.522172

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9139 second user time and 23.0728 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-28 09:06:33
IDJOB=4298543
IDBENCH=141154
IDSOLVER=2766
FILE ID=node107/4298543-1532761593
RUNJOBID= node107-1532741422-28016
PBS_JOBID= 21022454
Free space on /tmp= 54468 MiB

SOLVER NAME= Solver of Xavier Schul & Yvhan Smal 2018-04-28
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298543-1532761593/watcher-4298543-1532761593 -o /tmp/evaluation-result-4298543-1532761593/solver-4298543-1532761593 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532741422-28016 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4298543-1532761593.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=1253260727

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22900080 kB
MemAvailable:   31558208 kB
Buffers:          225160 kB
Cached:          8669300 kB
SwapCached:            0 kB
Active:          4194684 kB
Inactive:        5131564 kB
Active(anon):     380860 kB
Inactive(anon):    78596 kB
Active(file):    3813824 kB
Inactive(file):  5052968 kB
Unevictable:        7164 kB
Mlocked:            7164 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1080 kB
Writeback:             0 kB
AnonPages:        591380 kB
Mapped:            54900 kB
Shmem:             25228 kB
Slab:             242608 kB
SReclaimable:     214340 kB
SUnreclaim:        28268 kB
KernelStack:        3792 kB
PageTables:         5748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1139568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    497664 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 54468 MiB
End job on node107 at 2018-07-28 09:48:27