Trace number 4308688

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)750618 2520.06 2458.54

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay100_c18.xml
MD5SUMd8b461fac2d17be3b89e017753091d4e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark750618
Best CPU time to get the best result obtained on this benchmark2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints100
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree27
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":416},{"degree":4,"count":329},{"degree":5,"count":277},{"degree":6,"count":189},{"degree":7,"count":160},{"degree":8,"count":116},{"degree":9,"count":93},{"degree":10,"count":77},{"degree":11,"count":48},{"degree":12,"count":46},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":17},{"degree":16,"count":13},{"degree":17,"count":17},{"degree":18,"count":7},{"degree":19,"count":5},{"degree":20,"count":7},{"degree":21,"count":7},{"degree":22,"count":3},{"degree":23,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":3},{"degree":27,"count":2}]
Minimum constraint arity83
Maximum constraint arity128
Distribution of constraint arities[{"arity":83,"count":1},{"arity":85,"count":1},{"arity":86,"count":3},{"arity":87,"count":1},{"arity":88,"count":1},{"arity":89,"count":2},{"arity":90,"count":1},{"arity":92,"count":2},{"arity":93,"count":1},{"arity":94,"count":2},{"arity":95,"count":2},{"arity":96,"count":3},{"arity":97,"count":3},{"arity":98,"count":4},{"arity":99,"count":1},{"arity":100,"count":3},{"arity":101,"count":5},{"arity":102,"count":4},{"arity":103,"count":4},{"arity":104,"count":4},{"arity":105,"count":7},{"arity":106,"count":6},{"arity":107,"count":6},{"arity":108,"count":1},{"arity":109,"count":4},{"arity":110,"count":3},{"arity":111,"count":2},{"arity":112,"count":2},{"arity":113,"count":1},{"arity":114,"count":2},{"arity":115,"count":2},{"arity":116,"count":3},{"arity":118,"count":1},{"arity":119,"count":2},{"arity":120,"count":2},{"arity":121,"count":2},{"arity":122,"count":2},{"arity":123,"count":1},{"arity":126,"count":1},{"arity":128,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":100}]
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.68/0.56	c version: 2018-08-14
0.68/0.56	c seed: 165912337
0.68/0.56	c timeout: 2520
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
3.37/1.88	c Parsing done, starting first complete search...
4.10/2.13	o 0
4.10/2.13	o 6527
4.10/2.13	o 18807
4.10/2.13	o 25334
4.10/2.14	o 35323
4.10/2.14	o 47975
4.10/2.14	o 64491
4.10/2.14	o 66925
4.10/2.15	o 80776
4.10/2.15	o 83210
4.10/2.15	o 87313
4.10/2.15	o 89747
4.10/2.15	o 90894
4.10/2.15	o 93328
4.10/2.16	o 108372
4.10/2.16	o 110806
4.10/2.16	o 130788
4.10/2.17	o 133222
4.10/2.17	o 140375
4.10/2.17	o 142809
4.10/2.17	o 146478
4.10/2.17	o 148912
4.10/2.17	o 163909
4.10/2.17	o 166343
4.10/2.18	o 177636
4.10/2.18	o 180070
4.10/2.18	o 185576
4.10/2.18	o 188010
4.10/2.18	o 189023
4.10/2.18	o 191457
4.10/2.18	o 191805
4.10/2.18	o 192536
4.10/2.19	o 199073
4.10/2.19	o 207013
4.10/2.19	o 209447
4.10/2.19	o 211141
4.10/2.19	o 213422
4.10/2.19	o 222324
4.10/2.19	o 224044
4.10/2.19	o 224392
4.10/2.20	o 226478
4.36/2.20	o 226826
4.36/2.20	o 228520
4.36/2.20	o 237280
4.36/2.20	o 246683
4.36/2.21	o 250130
4.36/2.21	o 251648
4.36/2.21	o 253342
4.36/2.21	o 254977
4.36/2.21	o 255393
4.36/2.22	o 258974
4.36/2.22	o 263510
4.36/2.22	o 265145
4.36/2.22	o 265561
4.36/2.22	o 269142
4.36/2.24	o 269540
4.36/2.24	o 271974
4.36/2.24	o 273668
4.36/2.25	o 278016
4.36/2.25	o 282863
4.36/2.25	o 284498
4.36/2.25	o 284914
4.36/2.25	o 288495
4.36/2.26	o 289631
4.36/2.26	o 292065
4.36/2.26	o 293021
4.36/2.27	o 293360
4.36/2.27	o 295054
4.36/2.28	o 296190
4.36/2.28	o 298624
4.36/2.28	o 299580
4.68/2.30	o 301188
4.68/2.30	o 302882
4.68/2.30	o 302939
4.68/2.30	o 306092
4.68/2.30	o 307786
4.68/2.30	o 309421
4.68/2.31	o 309837
4.68/2.32	o 311065
4.68/2.33	o 312021
4.68/2.36	o 312417
4.68/2.36	o 312818
4.68/2.36	o 315252
4.68/2.36	o 316138
4.68/2.37	o 316208
4.68/2.37	o 317094
4.98/2.48	o 318527
4.98/2.48	o 320961
4.98/2.48	o 321917
4.98/2.48	o 323194
4.98/2.48	o 324150
5.58/2.67	o 324428
5.58/2.67	o 324940
5.58/2.67	o 325552
5.58/2.67	o 328387
5.58/2.67	o 331489
5.58/2.67	o 334324
5.58/2.67	o 336557
5.87/2.71	o 336947
5.97/2.82	o 338053
5.97/2.82	o 338137
5.97/2.82	o 338527
5.97/2.82	o 339831
5.97/2.82	o 340221
6.07/2.94	o 340385
6.07/2.94	o 341689
6.07/2.94	o 342079
6.28/3.15	o 342275
6.28/3.16	o 342714
6.28/3.16	o 343855
6.28/3.16	o 345549
6.47/3.30	o 345713
6.47/3.30	o 347407
6.77/3.65	o 348741
6.77/3.65	o 350435
6.77/3.65	o 351576
6.77/3.65	o 353270
6.77/3.66	o 353809
6.77/3.66	o 355503
6.88/3.77	o 356544
6.88/3.77	o 357083
6.88/3.77	o 358777
7.20/4.08	o 358941
7.20/4.08	o 360635
7.93/4.74	o 363297
7.93/4.74	o 367446
7.93/4.74	o 374155
9.44/6.25	o 374333
9.44/6.25	o 376027
9.44/6.26	o 377221
9.44/6.26	o 378915
10.04/6.82	o 378940
11.64/8.47	o 379187
11.64/8.49	o 379798
11.64/8.49	o 379823
11.64/8.49	o 383947
11.64/8.49	o 383972
11.96/8.71	o 385510
11.96/8.71	o 385535
13.66/10.42	o 386024
13.66/10.42	o 386049
13.66/10.42	o 386461
13.66/10.42	o 386486
13.66/10.46	o 387614
13.66/10.46	o 387639
13.66/10.46	o 391061
13.66/10.46	o 391086
14.37/11.16	o 391512
14.37/11.16	o 391537
16.98/13.71	o 392526
16.98/13.71	o 395973
16.98/13.71	o 397139
16.98/13.71	o 397164
16.98/13.71	o 398231
16.98/13.71	o 399397
16.98/13.71	o 399422
16.98/13.72	o 401066
16.98/13.72	o 401091
16.98/13.72	o 402232
16.98/13.73	o 402257
16.98/13.79	o 402683
16.98/13.79	o 402708
17.48/14.28	o 403385
17.48/14.28	o 403408
17.48/14.29	o 404574
17.48/14.29	o 405666
17.48/14.29	o 406832
17.48/14.29	o 406857
18.31/15.05	o 407898
18.31/15.05	o 407923
18.41/15.15	o 408349
18.41/15.15	o 408374
19.60/16.36	o 408708
19.60/16.36	o 408733
19.90/16.68	o 408758
19.90/16.68	o 411016
19.90/16.68	o 411041
20.50/17.28	o 411164
20.50/17.28	o 411189
20.50/17.28	o 413999
20.50/17.28	o 414024
20.50/17.28	o 415165
20.50/17.28	o 415190
21.63/18.32	o 415616
21.63/18.32	o 415641
26.36/23.08	o 416658
26.36/23.09	o 418175
26.36/23.09	o 418200
26.36/23.09	o 419341
26.36/23.09	o 419366
26.36/23.09	o 419792
26.36/23.09	o 419817
31.76/28.49	o 420127
31.76/28.49	o 420152
31.76/28.50	o 424276
31.76/28.50	o 424301
33.66/30.35	o 425099
33.66/30.35	o 425124
50.88/47.57	o 425712
50.88/47.57	o 425737
79.41/76.09	o 426964
79.41/76.09	o 427577
79.41/76.09	o 427602
79.41/76.09	o 429799
79.41/76.09	o 429824
79.41/76.09	o 430412
79.41/76.09	o 430437
137.45/134.02	o 432259
137.45/134.02	o 432284
137.45/134.03	o 433082
137.45/134.03	o 433107
206.22/202.70	o 433840
206.22/202.70	o 433865
206.22/202.71	o 434663
206.22/202.71	o 434688
206.42/202.91	o 435357
206.42/202.91	o 435382
206.42/202.91	o 436180
206.42/202.91	o 436205
222.75/219.20	o 436785
222.95/219.48	o 437804
222.95/219.49	o 437829
222.95/219.49	o 439498
222.95/219.49	o 439523
222.95/219.49	o 439841
222.95/219.49	o 439866
222.95/219.49	o 440664
222.95/219.49	o 440689
256.79/253.23	c First complete search done, starting ALNS search...
257.58/253.80	o 441333
257.58/253.80	o 441358
257.58/253.80	o 441564
257.58/253.81	o 444222
257.58/253.81	o 444247
257.58/253.81	o 444754
257.58/253.81	o 444779
257.58/253.81	o 447412
257.58/253.81	o 447437
257.58/253.81	o 449771
257.58/253.81	o 450161
257.58/253.81	o 450241
257.58/253.81	o 450472
257.58/253.81	o 453130
257.58/253.82	o 453155
257.58/253.82	o 453264
257.58/253.82	o 453289
257.58/253.82	o 454694
257.58/253.82	o 455084
257.58/253.82	o 455395
257.58/253.82	o 458053
257.58/253.82	o 458078
257.58/253.82	o 459600
257.58/253.82	o 461731
257.58/253.83	o 464389
257.58/253.83	o 464424
257.58/253.83	o 465468
257.58/253.83	o 467094
257.58/253.83	o 467550
257.58/253.83	o 470023
257.58/253.84	o 471649
257.58/253.84	o 473251
257.58/253.84	o 474221
257.58/253.84	o 474246
257.58/253.84	o 474839
257.58/253.84	o 475768
257.58/253.84	o 476273
257.58/253.84	o 478931
257.58/253.84	o 480557
257.58/253.86	o 481385
257.58/253.86	o 482355
257.58/253.86	o 482380
257.58/253.86	o 484407
257.58/253.86	o 487065
257.58/253.86	o 488691
257.58/253.87	o 489358
257.58/253.88	o 490946
257.58/253.88	o 491875
257.58/253.88	o 492380
257.58/253.88	o 495038
257.58/253.88	o 496664
257.58/253.89	o 497391
257.58/253.89	o 497416
257.58/253.89	o 498804
257.58/253.89	o 498938
257.58/253.90	o 499132
257.58/253.90	o 499443
257.71/253.90	o 502101
257.71/253.90	o 503727
257.71/253.90	o 505985
257.71/253.90	o 507611
257.71/253.90	o 508116
257.71/253.91	o 510774
257.71/253.91	o 512400
257.71/253.92	o 512425
257.71/253.92	o 514918
257.71/253.92	o 517049
257.71/253.92	o 519707
257.71/253.92	o 521333
257.71/253.94	o 521354
257.88/254.02	o 521866
257.88/254.02	o 521921
257.88/254.02	o 523442
257.88/254.02	o 524258
257.88/254.02	o 524418
259.36/255.13	o 524445
259.36/255.13	o 525611
259.36/255.13	o 526671
259.36/255.13	o 527654
259.36/255.13	o 529710
259.36/255.13	o 530876
259.36/255.14	o 530966
259.36/255.14	o 531048
259.36/255.14	o 531831
259.36/255.14	o 532561
259.36/255.14	o 535600
259.36/255.14	o 536766
259.36/255.18	o 538039
259.36/255.18	o 539022
259.36/255.19	o 541078
259.36/255.19	o 541227
259.36/255.19	o 542058
259.36/255.19	o 542182
259.36/255.19	o 543179
259.36/255.19	o 543929
259.36/255.19	o 544569
259.36/255.19	o 546968
259.36/255.19	o 547117
259.36/255.19	o 547948
259.36/255.19	o 547982
259.36/255.19	o 549128
259.36/255.19	o 549878
259.36/255.19	o 552917
259.47/255.21	o 553302
259.47/255.21	o 557091
261.21/256.38	o 557162
261.21/256.38	o 559857
261.21/256.38	o 560521
261.21/256.38	o 563711
261.21/256.38	o 567070
261.21/256.38	o 567734
270.86/264.90	o 570924
270.86/264.90	o 578428
270.86/264.90	o 585695
270.86/264.90	o 591435
270.86/264.90	o 598702
270.86/264.98	o 599946
270.86/264.98	o 600182
270.86/264.98	o 600900
270.86/264.98	o 604259
270.86/264.98	o 608113
270.86/264.98	o 611472
270.86/264.99	o 615176
270.86/264.99	o 618535
271.01/265.05	o 619525
271.01/265.05	o 620321
271.01/265.06	o 621100
271.01/265.06	o 624787
271.01/265.06	o 625583
271.01/265.06	o 626535
271.01/265.07	o 627331
271.01/265.07	o 630627
271.01/265.07	o 633982
271.01/265.07	o 637690
271.01/265.07	o 638486
271.41/265.32	o 638591
271.41/265.33	o 639808
271.41/265.33	o 640983
271.41/265.34	o 641570
271.41/265.35	o 641999
271.41/265.35	o 643216
271.41/265.35	o 644391
271.41/265.38	o 644512
271.41/265.38	o 645729
271.41/265.38	o 646904
271.41/265.39	o 647596
271.41/265.39	o 648025
271.41/265.39	o 649242
271.41/265.39	o 650417
271.61/265.50	o 650539
271.61/265.50	o 651714
271.61/265.51	o 652730
271.61/265.51	o 653947
271.61/265.51	o 655122
271.61/265.55	o 655227
271.61/265.55	o 655814
271.61/265.56	o 656243
271.61/265.56	o 657460
271.61/265.56	o 658635
274.81/268.63	o 660321
274.81/268.63	o 661117
274.81/268.64	o 661228
274.81/268.64	o 666385
274.81/268.65	o 667181
274.81/268.66	o 672103
274.81/268.67	o 672899
275.05/268.82	o 674423
275.05/268.82	o 676002
275.05/268.88	o 676131
275.05/268.88	o 681288
289.78/283.35	o 684517
289.78/283.35	o 691742
309.37/302.49	o 695153
312.01/304.99	o 696155
312.13/305.02	o 700385
312.85/305.73	o 701134
312.85/305.73	o 701596
312.85/305.77	o 706155
313.06/305.91	o 707098
313.06/305.92	o 711817
313.06/305.92	o 715264
316.10/309.00	o 717320
317.13/309.94	o 718987
317.13/310.00	o 722454
381.19/372.69	o 722984
418.91/409.47	o 723497
419.01/409.53	o 725226
526.19/514.19	o 729180
578.55/565.28	o 731042
610.83/596.68	o 732406
640.56/625.64	o 733462
640.86/625.92	o 734987
640.86/625.92	o 736378
640.86/625.92	o 738434
668.18/652.53	o 739028
792.60/773.89	o 739520
835.06/815.32	o 739679
835.06/815.33	o 742863
835.06/815.33	o 745349
1034.39/1009.58	o 745516
1034.39/1009.58	o 746939
1034.39/1009.58	o 748002
1464.31/1429.01	o 748005
1464.42/1429.05	o 748830
1464.42/1429.05	o 749893
2142.48/2090.59	o 750618
2520.01/2458.50	s SATISFIABLE
2520.01/2458.51	v <instantiation>
2520.01/2458.51	v 	<list>
2520.01/2458.51	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.01/2458.51	v 	</list>
2520.01/2458.51	v 	<values>
2520.01/2458.51	v 		0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 
2520.01/2458.51	v 	</values>
2520.01/2458.51	v </instantiation>

Verifier Data 

OK	750618

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308688-1534281068/watcher-4308688-1534281068 -o /tmp/evaluation-result-4308688-1534281068/solver-4308688-1534281068 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534271111-19513 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 165912337 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308688-1534281068.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=20565, runsolver pid=20562

[startup+0.102887 s]*
/proc/loadavg: 1.46 1.46 1.41 3/216 20580
/proc/meminfo: memFree=19775264/32770624 swapFree=67108372/67108860
[pid=20565] ppid=20562 vsize=14082736 memory=32752 CPUtime=0.12 cores=0,2,4,6
/proc/20565/stat : 20565 (java) S 20562 20565 17830 0 -1 1077944320 7125 0 0 0 11 1 0 0 20 0 15 0 245669992 14420721664 8188 33554432000 4194304 4196468 140724528150528 140724528133072 140082277609207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
/proc/20565/statm: 3520684 8188 3137 1 0 3482761 0
[pid=20565/tid=20567] ppid=20562 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=0,2,4,6
/proc/20565/task/20567/stat : 20567 (java) R 20562 20565 17830 0 -1 4202560 5194 0 0 0 8 1 0 0 20 0 15 0 245669992 14420721664 8188 33554432000 4194304 4196468 140724528150528 140082281808328 140082277621142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20568] ppid=20562 vsize=14082736 memory=5793855363958860217 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20568/stat : 20568 (java) S 20562 20565 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245669993 14420721664 8188 33554432000 4194304 4196468 140724528150528 140082238568976 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20569] ppid=20562 vsize=14082736 memory=140112948967040 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20569/stat : 20569 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669993 14420721664 8188 33554432000 4194304 4196468 140724528150528 140081872743056 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20570] ppid=20562 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20570/stat : 20570 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669993 14420721664 8188 33554432000 4194304 4196468 140724528150528 140081871690000 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20571] ppid=20562 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20571/stat : 20571 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669993 14420721664 8188 33554432000 4194304 4196468 140724528150528 140081870637456 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20572] ppid=20562 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20572/stat : 20572 (java) S 20562 20565 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245669994 14420721664 8188 33554432000 4194304 4196468 140724528150528 140081391401712 140082277620354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20573] ppid=20562 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20573/stat : 20573 (java) S 20562 20565 17830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245669995 14420721664 8188 33554432000 4194304 4196468 140724528150528 140081390347936 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20574] ppid=20562 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20574/stat : 20574 (java) S 20562 20565 17830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245669995 14420721664 8188 33554432000 4194304 4196468 140724528150528 140081389294832 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20575] ppid=20562 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20575/stat : 20575 (java) S 20562 20565 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245669998 14420721664 8188 33554432000 4194304 4196468 140724528150528 140081388243408 140082277627803 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20576] ppid=20562 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20576/stat : 20576 (java) S 20562 20565 17830 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 245669998 14420721664 8188 33554432000 4194304 4196468 140724528150528 140081387190512 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20577] ppid=20562 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20577/stat : 20577 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669998 14420721664 8188 33554432000 4194304 4196468 140724528150528 140081386137968 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20578] ppid=20562 vsize=14082736 memory=140112948967040 CPUtime=0.01 cores=0,2,4,6
/proc/20565/task/20578/stat : 20578 (java) R 20562 20565 17830 0 -1 4202560 256 0 0 0 1 0 0 0 20 0 15 0 245669998 14420721664 8188 33554432000 4194304 4196468 140724528150528 140081385084912 140082261856734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20579] ppid=20562 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20579/stat : 20579 (java) S 20562 20565 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245669998 14420721664 8188 33554432000 4194304 4196468 140724528150528 140081384032608 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20580] ppid=20562 vsize=14082736 memory=140112948967040 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20580/stat : 20580 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669998 14420721664 8188 33554432000 4194304 4196468 140724528150528 140081382980656 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32752 KiB

[startup+0.212247 s]*
/proc/loadavg: 1.46 1.46 1.41 5/216 20580
/proc/meminfo: memFree=19760132/32770624 swapFree=67108372/67108860
[pid=20565] ppid=20562 vsize=14082736 memory=46652 CPUtime=0.3 cores=0,2,4,6
/proc/20565/stat : 20565 (java) S 20562 20565 17830 0 -1 1077944320 10276 0 0 0 28 2 0 0 20 0 15 0 245669992 14420721664 11663 33554432000 4194304 4196468 140724528150528 140724528133072 140082277609207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
/proc/20565/statm: 3520684 11663 3331 1 0 3482761 0
[pid=20565/tid=20567] ppid=20562 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/20565/task/20567/stat : 20567 (java) R 20562 20565 17830 0 -1 4202560 8053 0 0 0 19 1 0 0 20 0 15 0 245669992 14420721664 11663 33554432000 4194304 4196468 140724528150528 140082281836736 140082269846334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20568] ppid=20562 vsize=14082736 memory=4211973839153757578 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20568/stat : 20568 (java) S 20562 20565 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245669993 14420721664 11663 33554432000 4194304 4196468 140724528150528 140082238568976 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20569] ppid=20562 vsize=14082736 memory=140112948967040 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20569/stat : 20569 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669993 14420721664 11663 33554432000 4194304 4196468 140724528150528 140081872743056 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20570] ppid=20562 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20570/stat : 20570 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669993 14420721664 11663 33554432000 4194304 4196468 140724528150528 140081871690000 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20571] ppid=20562 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20571/stat : 20571 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669993 14420721664 11663 33554432000 4194304 4196468 140724528150528 140081870637456 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20572] ppid=20562 vsize=14082736 memory=140112948967040 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20572/stat : 20572 (java) S 20562 20565 17830 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245669994 14420721664 11663 33554432000 4194304 4196468 140724528150528 140081391401712 140082277620354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20573] ppid=20562 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20573/stat : 20573 (java) S 20562 20565 17830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245669995 14420721664 11663 33554432000 4194304 4196468 140724528150528 140081390347936 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20574] ppid=20562 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20574/stat : 20574 (java) S 20562 20565 17830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245669995 14420721664 11663 33554432000 4194304 4196468 140724528150528 140081389294832 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20575] ppid=20562 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20575/stat : 20575 (java) S 20562 20565 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245669998 14420721664 11663 33554432000 4194304 4196468 140724528150528 140081388243408 140082277627803 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20576] ppid=20562 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20565/task/20576/stat : 20576 (java) R 20562 20565 17830 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 15 0 245669998 14420721664 11663 33554432000 4194304 4196468 140724528150528 140081387190512 140082277620354 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20577] ppid=20562 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20565/task/20577/stat : 20577 (java) S 20562 20565 17830 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 15 0 245669998 14420721664 11663 33554432000 4194304 4196468 140724528150528 140081386137968 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20578] ppid=20562 vsize=14082736 memory=140112948967040 CPUtime=0.06 cores=0,2,4,6
/proc/20565/task/20578/stat : 20578 (java) R 20562 20565 17830 0 -1 4202560 319 0 0 0 6 0 0 0 20 0 15 0 245669998 14420721664 11663 33554432000 4194304 4196468 140724528150528 140081385082720 140082263304322 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20579] ppid=20562 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20579/stat : 20579 (java) S 20562 20565 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245669998 14420721664 11663 33554432000 4194304 4196468 140724528150528 140081384032608 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20580] ppid=20562 vsize=14082736 memory=140112948967040 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20580/stat : 20580 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669998 14420721664 11663 33554432000 4194304 4196468 140724528150528 140081382980656 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46652 KiB

[startup+0.310593 s]*
/proc/loadavg: 1.46 1.46 1.41 3/216 20580
/proc/meminfo: memFree=19756216/32770624 swapFree=67108372/67108860
[pid=20565] ppid=20562 vsize=14082736 memory=50612 CPUtime=0.43 cores=0,2,4,6
/proc/20565/stat : 20565 (java) S 20562 20565 17830 0 -1 1077944320 10761 0 0 0 41 2 0 0 20 0 15 0 245669992 14420721664 12653 33554432000 4194304 4196468 140724528150528 140724528133072 140082277609207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
/proc/20565/statm: 3520684 12653 3369 1 0 3482761 0
[pid=20565/tid=20567] ppid=20562 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6
/proc/20565/task/20567/stat : 20567 (java) R 20562 20565 17830 0 -1 4202560 8426 0 0 0 28 1 0 0 20 0 15 0 245669992 14420721664 12653 33554432000 4194304 4196468 140724528150528 140082281830128 140082262774789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20568] ppid=20562 vsize=14082736 memory=4211973839153757578 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20568/stat : 20568 (java) S 20562 20565 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245669993 14420721664 12653 33554432000 4194304 4196468 140724528150528 140082238568976 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20569] ppid=20562 vsize=14082736 memory=140112948969397 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20569/stat : 20569 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669993 14420721664 12653 33554432000 4194304 4196468 140724528150528 140081872743056 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20570] ppid=20562 vsize=14082736 memory=140112839176118 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20570/stat : 20570 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669993 14420721664 12653 33554432000 4194304 4196468 140724528150528 140081871690000 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20571] ppid=20562 vsize=14082736 memory=140112839167439 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20571/stat : 20571 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669993 14420721664 12653 33554432000 4194304 4196468 140724528150528 140081870637456 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20572] ppid=20562 vsize=14082736 memory=140112948984897 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20572/stat : 20572 (java) S 20562 20565 17830 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245669994 14420721664 12653 33554432000 4194304 4196468 140724528150528 140081391401712 140082277620354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20573] ppid=20562 vsize=14082736 memory=140112839176623 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20573/stat : 20573 (java) S 20562 20565 17830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245669995 14420721664 12653 33554432000 4194304 4196468 140724528150528 140081390347936 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20574] ppid=20562 vsize=14082736 memory=280225678344080 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20574/stat : 20574 (java) S 20562 20565 17830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245669995 14420721664 12653 33554432000 4194304 4196468 140724528150528 140081389294832 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20575] ppid=20562 vsize=14082736 memory=280225678341776 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20575/stat : 20575 (java) S 20562 20565 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245669998 14420721664 12653 33554432000 4194304 4196468 140724528150528 140081388243408 140082277627803 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20576] ppid=20562 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20565/task/20576/stat : 20576 (java) S 20562 20565 17830 0 -1 1077944384 380 0 0 0 2 0 0 0 20 0 15 0 245669998 14420721664 12653 33554432000 4194304 4196468 140724528150528 140081387190512 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20577] ppid=20562 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/20565/task/20577/stat : 20577 (java) S 20562 20565 17830 0 -1 1077944384 234 0 0 0 2 0 0 0 20 0 15 0 245669998 14420721664 12653 33554432000 4194304 4196468 140724528150528 140081386137968 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20578] ppid=20562 vsize=14082736 memory=140112948967040 CPUtime=0.08 cores=0,2,4,6
/proc/20565/task/20578/stat : 20578 (java) S 20562 20565 17830 0 -1 1077944384 339 0 0 0 8 0 0 0 20 0 15 0 245669998 14420721664 12653 33554432000 4194304 4196468 140724528150528 140081385084912 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20579] ppid=20562 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20579/stat : 20579 (java) S 20562 20565 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245669998 14420721664 12653 33554432000 4194304 4196468 140724528150528 140081384032608 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20580] ppid=20562 vsize=14082736 memory=140112948967040 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20580/stat : 20580 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669998 14420721664 12653 33554432000 4194304 4196468 140724528150528 140081382980656 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50612 KiB

[startup+0.700727 s]
/proc/loadavg: 1.46 1.46 1.41 3/216 20580
/proc/meminfo: memFree=19734296/32770624 swapFree=67108372/67108860
[pid=20565] ppid=20562 vsize=14084804 memory=86676 CPUtime=0.99 cores=0,2,4,6
/proc/20565/stat : 20565 (java) S 20562 20565 17830 0 -1 1077944320 17536 0 0 0 95 4 0 0 20 0 15 0 245669992 14422839296 21669 33554432000 4194304 4196468 140724528150528 140724528133072 140082277609207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
/proc/20565/statm: 3521201 21669 3494 1 0 3483273 0
[pid=20565/tid=20567] ppid=20562 vsize=14084804 memory=1220 CPUtime=0.67 cores=0,2,4,6
/proc/20565/task/20567/stat : 20567 (java) R 20562 20565 17830 0 -1 4202560 14833 0 0 0 64 3 0 0 20 0 15 0 245669992 14422839296 21669 33554432000 4194304 4196468 140724528150528 140082281844688 140081914569514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20568] ppid=20562 vsize=14084804 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20568/stat : 20568 (java) S 20562 20565 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245669993 14422839296 21669 33554432000 4194304 4196468 140724528150528 140082238568976 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20569] ppid=20562 vsize=14084804 memory=868 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20569/stat : 20569 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669993 14422839296 21669 33554432000 4194304 4196468 140724528150528 140081872743056 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20570] ppid=20562 vsize=14084804 memory=7307747153392788800 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20570/stat : 20570 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669993 14422839296 21669 33554432000 4194304 4196468 140724528150528 140081871690000 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20571] ppid=20562 vsize=14084804 memory=8025788831224522324 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20571/stat : 20571 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669993 14422839296 21669 33554432000 4194304 4196468 140724528150528 140081870637456 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20572] ppid=20562 vsize=14084804 memory=6370994028255662164 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20572/stat : 20572 (java) S 20562 20565 17830 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245669994 14422839296 22181 33554432000 4194304 4196468 140724528150528 140081391401712 140082277620354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20573] ppid=20562 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20573/stat : 20573 (java) S 20562 20565 17830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245669995 14422839296 22181 33554432000 4194304 4196468 140724528150528 140081390347936 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20574] ppid=20562 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20574/stat : 20574 (java) S 20562 20565 17830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245669995 14422839296 22181 33554432000 4194304 4196468 140724528150528 140081389294832 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20575] ppid=20562 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20575/stat : 20575 (java) S 20562 20565 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245669998 14422839296 22181 33554432000 4194304 4196468 140724528150528 140081388243408 140082277627803 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20576] ppid=20562 vsize=14084804 memory=226 CPUtime=0.06 cores=0,2,4,6
/proc/20565/task/20576/stat : 20576 (java) S 20562 20565 17830 0 -1 1077944384 542 0 0 0 6 0 0 0 20 0 15 0 245669998 14422839296 22181 33554432000 4194304 4196468 140724528150528 140081387190512 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20577] ppid=20562 vsize=14084804 memory=7 CPUtime=0.08 cores=0,2,4,6
/proc/20565/task/20577/stat : 20577 (java) S 20562 20565 17830 0 -1 1077944384 374 0 0 0 8 0 0 0 20 0 15 0 245669998 14422839296 22181 33554432000 4194304 4196468 140724528150528 140081386137968 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20578] ppid=20562 vsize=14084804 memory=700 CPUtime=0.15 cores=0,2,4,6
/proc/20565/task/20578/stat : 20578 (java) S 20562 20565 17830 0 -1 1077944384 406 0 0 0 15 0 0 0 20 0 15 0 245669998 14422839296 22181 33554432000 4194304 4196468 140724528150528 140081385084912 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20579] ppid=20562 vsize=14084804 memory=280225678527984 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20579/stat : 20579 (java) S 20562 20565 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245669998 14422839296 22181 33554432000 4194304 4196468 140724528150528 140081384032608 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20580] ppid=20562 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20580/stat : 20580 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669998 14422839296 22181 33554432000 4194304 4196468 140724528150528 140081382980656 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 86676 KiB

[startup+1.50082 s]
/proc/loadavg: 1.46 1.46 1.41 5/216 20580
/proc/meminfo: memFree=19690052/32770624 swapFree=67108372/67108860
[pid=20565] ppid=20562 vsize=14086852 memory=191180 CPUtime=2.87 cores=0,2,4,6
/proc/20565/stat : 20565 (java) S 20562 20565 17830 0 -1 1077944320 22147 0 0 0 278 9 0 0 20 0 15 0 245669992 14424936448 47795 33554432000 4194304 4196468 140724528150528 140724528133072 140082277609207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
/proc/20565/statm: 3521713 47795 3545 1 0 3483785 0
[pid=20565/tid=20567] ppid=20562 vsize=14086852 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/20565/task/20567/stat : 20567 (java) R 20562 20565 17830 0 -1 4202560 16071 0 0 0 140 6 0 0 20 0 15 0 245669992 14424936448 47795 33554432000 4194304 4196468 140724528150528 140082281843008 140081918883724 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20568] ppid=20562 vsize=14086852 memory=4947937159528881024 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20568/stat : 20568 (java) S 20562 20565 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245669993 14424936448 47795 33554432000 4194304 4196468 140724528150528 140082238568976 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20569] ppid=20562 vsize=14086852 memory=-6079119013371405410 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20569/stat : 20569 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669993 14424936448 47795 33554432000 4194304 4196468 140724528150528 140081872743056 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20570] ppid=20562 vsize=14086852 memory=-6585528546044026665 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20570/stat : 20570 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669993 14424936448 47795 33554432000 4194304 4196468 140724528150528 140081871690000 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20571] ppid=20562 vsize=14086852 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20571/stat : 20571 (java) S 20562 20565 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245669993 14424936448 47795 33554432000 4194304 4196468 140724528150528 140081870637456 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20572] ppid=20562 vsize=14086852 memory=-7016725151530045998 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20572/stat : 20572 (java) S 20562 20565 17830 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 245669994 14424936448 47795 33554432000 4194304 4196468 140724528150528 140081391401712 140082277620354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0

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

/proc/20565/task/20567/stat : 20567 (java) R 20562 20565 17830 0 -1 4202560 225627 0 0 0 235817 63 0 0 20 0 15 0 245669992 14431227904 196265 33554432000 4194304 4196468 140724528150528 140082281846272 140081924031077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20568] ppid=20562 vsize=14092996 memory=779332 CPUtime=17.8 cores=0,2,4,6
/proc/20565/task/20568/stat : 20568 (java) S 20562 20565 17830 0 -1 1077944384 22582 0 0 0 1717 63 0 0 20 0 15 0 245669993 14431227904 196265 33554432000 4194304 4196468 140724528150528 140082238568976 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20569] ppid=20562 vsize=14092996 memory=785604 CPUtime=17.84 cores=0,2,4,6
/proc/20565/task/20569/stat : 20569 (java) S 20562 20565 17830 0 -1 1077944384 25381 0 0 0 1721 63 0 0 20 0 15 0 245669993 14431227904 196265 33554432000 4194304 4196468 140724528150528 140081872743056 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20570] ppid=20562 vsize=14092996 memory=781492 CPUtime=17.83 cores=0,2,4,6
/proc/20565/task/20570/stat : 20570 (java) S 20562 20565 17830 0 -1 1077944384 22749 0 0 0 1718 65 0 0 20 0 15 0 245669993 14431227904 196265 33554432000 4194304 4196468 140724528150528 140081871690000 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20571] ppid=20562 vsize=14092996 memory=785068 CPUtime=17.8 cores=0,2,4,6
/proc/20565/task/20571/stat : 20571 (java) S 20562 20565 17830 0 -1 1077944384 22290 0 0 0 1716 64 0 0 20 0 15 0 245669993 14431227904 196265 33554432000 4194304 4196468 140724528150528 140081870637456 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20572] ppid=20562 vsize=14092996 memory=785612 CPUtime=3.42 cores=0,2,4,6
/proc/20565/task/20572/stat : 20572 (java) S 20562 20565 17830 0 -1 1077944384 88929 0 0 0 300 42 0 0 20 0 15 0 245669994 14431227904 196265 33554432000 4194304 4196468 140724528150528 140081391401712 140082277620354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20573] ppid=20562 vsize=14092996 memory=785060 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20573/stat : 20573 (java) S 20562 20565 17830 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 245669995 14431227904 196265 33554432000 4194304 4196468 140724528150528 140081390348000 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20574] ppid=20562 vsize=14092996 memory=3812 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20574/stat : 20574 (java) S 20562 20565 17830 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 245669995 14431227904 196265 33554432000 4194304 4196468 140724528150528 140081389294848 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20575] ppid=20562 vsize=14092996 memory=785060 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20575/stat : 20575 (java) S 20562 20565 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245669998 14431227904 196265 33554432000 4194304 4196468 140724528150528 140081388243408 140082277627803 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20576] ppid=20562 vsize=14092996 memory=3812 CPUtime=2.82 cores=0,2,4,6
/proc/20565/task/20576/stat : 20576 (java) S 20562 20565 17830 0 -1 1077944384 18669 0 0 0 279 3 0 0 20 0 15 0 245669998 14431227904 196265 33554432000 4194304 4196468 140724528150528 140081387190512 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20577] ppid=20562 vsize=14092996 memory=3988 CPUtime=2.95 cores=0,2,4,6
/proc/20565/task/20577/stat : 20577 (java) S 20562 20565 17830 0 -1 1077944384 19307 0 0 0 292 3 0 0 20 0 15 0 245669998 14431227904 196265 33554432000 4194304 4196468 140724528150528 140081386137968 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20578] ppid=20562 vsize=14092996 memory=1924 CPUtime=1.21 cores=0,2,4,6
/proc/20565/task/20578/stat : 20578 (java) S 20562 20565 17830 0 -1 1077944384 20353 0 0 0 117 4 0 0 20 0 15 0 245669998 14431227904 196265 33554432000 4194304 4196468 140724528150528 140081385084912 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 57 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20579] ppid=20562 vsize=14092996 memory=785068 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20579/stat : 20579 (java) S 20562 20565 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245669998 14431227904 196265 33554432000 4194304 4196468 140724528150528 140081384032608 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20580] ppid=20562 vsize=14092996 memory=785068 CPUtime=1.38 cores=0,2,4,6
/proc/20565/task/20580/stat : 20580 (java) S 20562 20565 17830 0 -1 1077944384 1217 0 0 0 67 71 0 0 20 0 15 0 245669998 14431227904 196265 33554432000 4194304 4196468 140724528150528 140081382980656 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 55 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
Current children cumulated CPU time: 2441.96 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 785060 KiB

[startup+2442.3 s]
/proc/loadavg: 1.81 1.68 1.62 3/216 20753
/proc/meminfo: memFree=23251676/32770624 swapFree=67108372/67108860
[pid=20565] ppid=20562 vsize=14092996 memory=761592 CPUtime=2503.42 cores=0,2,4,6
/proc/20565/stat : 20565 (java) S 20562 20565 17830 0 -1 1077944320 481938 0 0 0 249923 419 0 0 20 0 15 0 245669992 14431227904 190398 33554432000 4194304 4196468 140724528150528 140724528133072 140082277609207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
/proc/20565/statm: 3523249 190398 3617 1 0 3485321 0
[pid=20565/tid=20567] ppid=20562 vsize=14092996 memory=66728 CPUtime=2418.2 cores=0,2,4,6
/proc/20565/task/20567/stat : 20567 (java) R 20562 20565 17830 0 -1 4202560 234958 0 0 0 241756 64 0 0 20 0 15 0 245669992 14431227904 190398 33554432000 4194304 4196468 140724528150528 140082281846304 140081924031051 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20568] ppid=20562 vsize=14092996 memory=761592 CPUtime=18.3 cores=0,2,4,6
/proc/20565/task/20568/stat : 20568 (java) S 20562 20565 17830 0 -1 1077944384 23159 0 0 0 1765 65 0 0 20 0 15 0 245669993 14431227904 190398 33554432000 4194304 4196468 140724528150528 140082238568976 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20569] ppid=20562 vsize=14092996 memory=765696 CPUtime=18.34 cores=0,2,4,6
/proc/20565/task/20569/stat : 20569 (java) S 20562 20565 17830 0 -1 1077944384 26253 0 0 0 1769 65 0 0 20 0 15 0 245669993 14431227904 190398 33554432000 4194304 4196468 140724528150528 140081872743056 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20570] ppid=20562 vsize=14092996 memory=785060 CPUtime=18.32 cores=0,2,4,6
/proc/20565/task/20570/stat : 20570 (java) S 20562 20565 17830 0 -1 1077944384 24166 0 0 0 1766 66 0 0 20 0 15 0 245669993 14431227904 190398 33554432000 4194304 4196468 140724528150528 140081871690000 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20571] ppid=20562 vsize=14092996 memory=797452 CPUtime=18.28 cores=0,2,4,6
/proc/20565/task/20571/stat : 20571 (java) S 20562 20565 17830 0 -1 1077944384 22864 0 0 0 1763 65 0 0 20 0 15 0 245669993 14431227904 190398 33554432000 4194304 4196468 140724528150528 140081870637456 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20572] ppid=20562 vsize=14092996 memory=772828 CPUtime=3.49 cores=0,2,4,6
/proc/20565/task/20572/stat : 20572 (java) S 20562 20565 17830 0 -1 1077944384 89227 0 0 0 306 43 0 0 20 0 15 0 245669994 14431227904 190398 33554432000 4194304 4196468 140724528150528 140081391401712 140082277620354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20573] ppid=20562 vsize=14092996 memory=761592 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20573/stat : 20573 (java) S 20562 20565 17830 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 245669995 14431227904 190398 33554432000 4194304 4196468 140724528150528 140081390348000 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20574] ppid=20562 vsize=14092996 memory=761592 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20574/stat : 20574 (java) S 20562 20565 17830 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 245669995 14431227904 190398 33554432000 4194304 4196468 140724528150528 140081389294848 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20575] ppid=20562 vsize=14092996 memory=761592 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20575/stat : 20575 (java) S 20562 20565 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245669998 14431227904 190398 33554432000 4194304 4196468 140724528150528 140081388243408 140082277627803 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20576] ppid=20562 vsize=14092996 memory=772828 CPUtime=2.83 cores=0,2,4,6
/proc/20565/task/20576/stat : 20576 (java) S 20562 20565 17830 0 -1 1077944384 18784 0 0 0 280 3 0 0 20 0 15 0 245669998 14431227904 190398 33554432000 4194304 4196468 140724528150528 140081387190512 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20577] ppid=20562 vsize=14092996 memory=735892 CPUtime=2.95 cores=0,2,4,6
/proc/20565/task/20577/stat : 20577 (java) S 20562 20565 17830 0 -1 1077944384 19310 0 0 0 292 3 0 0 20 0 15 0 245669998 14431227904 190398 33554432000 4194304 4196468 140724528150528 140081386137968 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20578] ppid=20562 vsize=14092996 memory=761592 CPUtime=1.21 cores=0,2,4,6
/proc/20565/task/20578/stat : 20578 (java) S 20562 20565 17830 0 -1 1077944384 20494 0 0 0 117 4 0 0 20 0 15 0 245669998 14431227904 190398 33554432000 4194304 4196468 140724528150528 140081385084912 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 57 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20579] ppid=20562 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20579/stat : 20579 (java) S 20562 20565 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245669998 14431227904 190398 33554432000 4194304 4196468 140724528150528 140081384032608 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20580] ppid=20562 vsize=14092996 memory=769800 CPUtime=1.41 cores=0,2,4,6
/proc/20565/task/20580/stat : 20580 (java) S 20562 20565 17830 0 -1 1077944384 1291 0 0 0 69 72 0 0 20 0 15 0 245669998 14431227904 190398 33554432000 4194304 4196468 140724528150528 140081382980656 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 55 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
Current children cumulated CPU time: 2503.42 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 761592 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2458.5 s]
/proc/loadavg: 1.85 1.69 1.63 3/216 20753
/proc/meminfo: memFree=23239932/32770624 swapFree=67108372/67108860
[pid=20565] ppid=20562 vsize=14092996 memory=809692 CPUtime=2520.01 cores=0,2,4,6
/proc/20565/stat : 20565 (java) S 20562 20565 17830 0 -1 1077944320 482753 0 0 0 251579 422 0 0 20 0 15 0 245669992 14431227904 202423 33554432000 4194304 4196468 140724528150528 140724528133072 140082277609207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
/proc/20565/statm: 3523249 202423 3617 1 0 3485321 0
[pid=20565/tid=20567] ppid=20562 vsize=14092996 memory=741556 CPUtime=2434.24 cores=0,2,4,6
/proc/20565/task/20567/stat : 20567 (java) R 20562 20565 17830 0 -1 4202560 235379 0 0 0 243358 66 0 0 20 0 15 0 245669992 14431227904 202423 33554432000 4194304 4196468 140724528150528 140082281846304 140081924031077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20568] ppid=20562 vsize=14092996 memory=350 CPUtime=18.42 cores=0,2,4,6
/proc/20565/task/20568/stat : 20568 (java) S 20562 20565 17830 0 -1 1077944384 23175 0 0 0 1777 65 0 0 20 0 15 0 245669993 14431227904 202423 33554432000 4194304 4196468 140724528150528 140082238568976 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20569] ppid=20562 vsize=14092996 memory=741556 CPUtime=18.47 cores=0,2,4,6
/proc/20565/task/20569/stat : 20569 (java) S 20562 20565 17830 0 -1 1077944384 26342 0 0 0 1782 65 0 0 20 0 15 0 245669993 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081872743056 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20570] ppid=20562 vsize=14092996 memory=33 CPUtime=18.46 cores=0,2,4,6
/proc/20565/task/20570/stat : 20570 (java) S 20562 20565 17830 0 -1 1077944384 24208 0 0 0 1779 67 0 0 20 0 15 0 245669993 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081871690000 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20571] ppid=20562 vsize=14092996 memory=737460 CPUtime=18.42 cores=0,2,4,6
/proc/20565/task/20571/stat : 20571 (java) S 20562 20565 17830 0 -1 1077944384 23010 0 0 0 1776 66 0 0 20 0 15 0 245669993 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081870637456 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20572] ppid=20562 vsize=14092996 memory=1276 CPUtime=3.5 cores=0,2,4,6
/proc/20565/task/20572/stat : 20572 (java) S 20562 20565 17830 0 -1 1077944384 89326 0 0 0 307 43 0 0 20 0 15 0 245669994 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081391401712 140082277620354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20573] ppid=20562 vsize=14092996 memory=3812 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20573/stat : 20573 (java) S 20562 20565 17830 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 245669995 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081390348000 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20574] ppid=20562 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20574/stat : 20574 (java) S 20562 20565 17830 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 245669995 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081389294848 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20575] ppid=20562 vsize=14092996 memory=809692 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20575/stat : 20575 (java) S 20562 20565 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245669998 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081388243408 140082277627803 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20576] ppid=20562 vsize=14092996 memory=752308 CPUtime=2.83 cores=0,2,4,6
/proc/20565/task/20576/stat : 20576 (java) S 20562 20565 17830 0 -1 1077944384 18784 0 0 0 280 3 0 0 20 0 15 0 245669998 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081387190512 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20577] ppid=20562 vsize=14092996 memory=745256 CPUtime=2.95 cores=0,2,4,6
/proc/20565/task/20577/stat : 20577 (java) S 20562 20565 17830 0 -1 1077944384 19310 0 0 0 292 3 0 0 20 0 15 0 245669998 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081386137968 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20578] ppid=20562 vsize=14092996 memory=753464 CPUtime=1.21 cores=0,2,4,6
/proc/20565/task/20578/stat : 20578 (java) S 20562 20565 17830 0 -1 1077944384 20494 0 0 0 117 4 0 0 20 0 15 0 245669998 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081385084912 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 57 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20579] ppid=20562 vsize=14092996 memory=1774 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20579/stat : 20579 (java) S 20562 20565 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245669998 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081384032608 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20580] ppid=20562 vsize=14092996 memory=1778 CPUtime=1.42 cores=0,2,4,6
/proc/20565/task/20580/stat : 20580 (java) S 20562 20565 17830 0 -1 1077944384 1293 0 0 0 70 72 0 0 20 0 15 0 245669998 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081382980656 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 55 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 809692 KiB

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

[startup+2458.54 s]
# the end of solver process 20565 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.82 s, system=4.24229 s

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

[startup+2458.5 s]
/proc/loadavg: 1.85 1.69 1.63 3/216 20753
/proc/meminfo: memFree=23239932/32770624 swapFree=67108372/67108860
[pid=20565] ppid=20562 vsize=14092996 memory=809692 CPUtime=2520.01 cores=0,2,4,6
/proc/20565/stat : 20565 (java) S 20562 20565 17830 0 -1 1077944320 482753 0 0 0 251579 422 0 0 20 0 15 0 245669992 14431227904 202423 33554432000 4194304 4196468 140724528150528 140724528133072 140082277609207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
/proc/20565/statm: 3523249 202423 3617 1 0 3485321 0
[pid=20565/tid=20567] ppid=20562 vsize=14092996 memory=741556 CPUtime=2434.24 cores=0,2,4,6
/proc/20565/task/20567/stat : 20567 (java) R 20562 20565 17830 0 -1 4202560 235379 0 0 0 243358 66 0 0 20 0 15 0 245669992 14431227904 202423 33554432000 4194304 4196468 140724528150528 140082281846304 140081924031077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20568] ppid=20562 vsize=14092996 memory=350 CPUtime=18.42 cores=0,2,4,6
/proc/20565/task/20568/stat : 20568 (java) S 20562 20565 17830 0 -1 1077944384 23175 0 0 0 1777 65 0 0 20 0 15 0 245669993 14431227904 202423 33554432000 4194304 4196468 140724528150528 140082238568976 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20569] ppid=20562 vsize=14092996 memory=741556 CPUtime=18.47 cores=0,2,4,6
/proc/20565/task/20569/stat : 20569 (java) S 20562 20565 17830 0 -1 1077944384 26342 0 0 0 1782 65 0 0 20 0 15 0 245669993 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081872743056 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20570] ppid=20562 vsize=14092996 memory=33 CPUtime=18.46 cores=0,2,4,6
/proc/20565/task/20570/stat : 20570 (java) S 20562 20565 17830 0 -1 1077944384 24208 0 0 0 1779 67 0 0 20 0 15 0 245669993 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081871690000 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20571] ppid=20562 vsize=14092996 memory=737460 CPUtime=18.42 cores=0,2,4,6
/proc/20565/task/20571/stat : 20571 (java) S 20562 20565 17830 0 -1 1077944384 23010 0 0 0 1776 66 0 0 20 0 15 0 245669993 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081870637456 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20572] ppid=20562 vsize=14092996 memory=1276 CPUtime=3.5 cores=0,2,4,6
/proc/20565/task/20572/stat : 20572 (java) S 20562 20565 17830 0 -1 1077944384 89326 0 0 0 307 43 0 0 20 0 15 0 245669994 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081391401712 140082277620354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20573] ppid=20562 vsize=14092996 memory=3812 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20573/stat : 20573 (java) S 20562 20565 17830 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 245669995 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081390348000 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20574] ppid=20562 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20574/stat : 20574 (java) S 20562 20565 17830 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 245669995 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081389294848 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20575] ppid=20562 vsize=14092996 memory=809692 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20575/stat : 20575 (java) S 20562 20565 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245669998 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081388243408 140082277627803 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20576] ppid=20562 vsize=14092996 memory=752308 CPUtime=2.83 cores=0,2,4,6
/proc/20565/task/20576/stat : 20576 (java) S 20562 20565 17830 0 -1 1077944384 18784 0 0 0 280 3 0 0 20 0 15 0 245669998 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081387190512 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20577] ppid=20562 vsize=14092996 memory=745256 CPUtime=2.95 cores=0,2,4,6
/proc/20565/task/20577/stat : 20577 (java) S 20562 20565 17830 0 -1 1077944384 19310 0 0 0 292 3 0 0 20 0 15 0 245669998 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081386137968 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20578] ppid=20562 vsize=14092996 memory=753464 CPUtime=1.21 cores=0,2,4,6
/proc/20565/task/20578/stat : 20578 (java) S 20562 20565 17830 0 -1 1077944384 20494 0 0 0 117 4 0 0 20 0 15 0 245669998 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081385084912 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 57 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20579] ppid=20562 vsize=14092996 memory=1774 CPUtime=0 cores=0,2,4,6
/proc/20565/task/20579/stat : 20579 (java) S 20562 20565 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245669998 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081384032608 140082277619413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
[pid=20565/tid=20580] ppid=20562 vsize=14092996 memory=1778 CPUtime=1.42 cores=0,2,4,6
/proc/20565/task/20580/stat : 20580 (java) S 20562 20565 17830 0 -1 1077944384 1293 0 0 0 70 72 0 0 20 0 15 0 245669998 14431227904 202423 33554432000 4194304 4196468 140724528150528 140081382980656 140082277620354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 55 0 0 6293624 6294260 30543872 140724528157781 140724528157961 140724528157961 140724528160719 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 809692 KiB

Child status: 143
Real time (s): 2458.54
CPU time (s): 2520.06
CPU user time (s): 2515.82
CPU system time (s): 4.24229
CPU usage (%): 102.503
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 851456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.82
system time used= 4.24229
maximum resident set size= 854672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 484379
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132487
involuntary context switches= 5928


# summary of solver processes directly reported to runsolver:
#   pid: 20565
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2515.82
#   total CPU system time (s): 4.24229

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5958 second user time and 24.7662 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-14 23:11:08
IDJOB=4308688
IDBENCH=141145
IDSOLVER=2792
FILE ID=node137/4308688-1534281068
RUNJOBID= node137-1534271111-19513
PBS_JOBID= 21038120
Free space on /tmp= 29252 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay100_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308688-1534281068/watcher-4308688-1534281068 -o /tmp/evaluation-result-4308688-1534281068/solver-4308688-1534281068 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534271111-19513 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 165912337 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308688-1534281068.xml

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

MD5SUM BENCH= d8b461fac2d17be3b89e017753091d4e
RANDOM SEED=165912337

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        19792848 kB
MemAvailable:   27271648 kB
Buffers:          144384 kB
Cached:          7544144 kB
SwapCached:            8 kB
Active:          8619576 kB
Inactive:        3748916 kB
Active(anon):    4627156 kB
Inactive(anon):   105164 kB
Active(file):    3992420 kB
Inactive(file):  3643752 kB
Unevictable:        7432 kB
Mlocked:            7432 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:             35704 kB
Writeback:             0 kB
AnonPages:       4848640 kB
Mapped:            68972 kB
Shmem:             49624 kB
Slab:             299756 kB
SReclaimable:     271088 kB
SUnreclaim:        28668 kB
KernelStack:        3856 kB
PageTables:        14856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5904432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4648960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 29220 MiB
End job on node137 at 2018-08-14 23:52:07