Trace number 4308675

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)49734878 2520.08 2458.82

General information on the benchmark

NameAuction/Auction-cnt/
Auction-cnt-matching080_c18.xml
MD5SUM1c5d38a24e9bc38d89c13541019d4118
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark49734878
Best CPU time to get the best result obtained on this benchmark2520.08
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints318
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree4
Maximum variable degree4
Distribution of variable degrees[{"degree":4,"count":2000}]
Minimum constraint arity3
Maximum constraint arity76
Distribution of constraint arities[{"arity":3,"count":9},{"arity":5,"count":1},{"arity":6,"count":29},{"arity":8,"count":1},{"arity":9,"count":2},{"arity":10,"count":181},{"arity":11,"count":1},{"arity":15,"count":4},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":19,"count":2},{"arity":21,"count":1},{"arity":23,"count":3},{"arity":24,"count":3},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":2},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":3},{"arity":33,"count":2},{"arity":34,"count":1},{"arity":35,"count":2},{"arity":36,"count":5},"...",{"arity":45,"count":4}, {"arity":46,"count":6}, {"arity":47,"count":2}, {"arity":48,"count":3}, {"arity":49,"count":2}, {"arity":50,"count":1}, {"arity":51,"count":2}, {"arity":52,"count":2}, {"arity":54,"count":1}, {"arity":55,"count":2}, {"arity":56,"count":2}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":4}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":71,"count":1}, {"arity":76,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":318}]
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.55	c version: 2018-08-14
0.68/0.55	c seed: 1473156320
0.68/0.55	c timeout: 2520
0.68/0.55	c memlimit: 11000
0.68/0.55	c nbcore: 4
0.68/0.57	c Parsing instance...
3.11/2.39	c Parsing done, starting first complete search...
3.81/2.62	o 0
3.81/2.62	o 641197
3.81/2.63	o 712441
3.81/2.63	o 929580
3.81/2.63	o 1506658
3.81/2.63	o 1642021
3.81/2.64	o 2089401
3.81/2.65	o 2159120
3.81/2.65	o 2391515
3.81/2.65	o 2462759
3.81/2.66	o 3323040
3.81/2.67	o 3528225
3.81/2.67	o 3599469
3.81/2.68	o 3662215
3.81/2.68	o 3731934
3.81/2.68	o 3759144
3.81/2.69	o 3964329
4.10/2.77	o 4004886
4.10/2.77	o 4076130
4.10/2.77	o 4237281
4.10/2.77	o 4308525
4.10/2.78	o 4513710
5.28/3.15	o 4565152
5.28/3.15	o 4702497
5.28/3.16	o 4773741
5.28/3.16	o 4834962
5.28/3.16	o 4906206
5.40/3.20	o 4967761
5.40/3.21	o 5040481
5.40/3.21	o 5103227
5.40/3.21	o 5172946
5.64/3.41	o 5189709
5.64/3.41	o 5267996
5.64/3.41	o 5405341
7.33/4.97	o 5408088
7.33/4.97	o 5520698
7.33/4.99	o 5535074
7.33/4.99	o 5606318
7.33/4.99	o 5673190
7.33/4.99	o 5824854
7.33/5.00	o 5896098
8.55/6.19	o 5937302
8.64/6.20	o 6074647
14.29/11.85	c First complete search done, starting ALNS search...
15.38/12.44	o 6289380
15.38/12.44	o 6326463
15.38/12.44	o 6367667
15.38/12.44	o 6432442
15.38/12.45	o 6521775
15.38/12.45	o 6558858
15.38/12.45	o 6586550
15.38/12.45	o 6623633
15.38/12.45	o 6664837
15.38/12.46	o 6695605
15.38/12.46	o 6736809
15.38/12.49	o 6782856
15.38/12.50	o 7084970
15.48/12.50	o 7116605
15.48/12.50	o 7418719
15.48/12.50	o 7497006
15.48/12.53	o 7641627
15.48/12.53	o 7719914
15.84/12.88	o 7946122
15.84/12.88	o 8317036
15.84/12.89	o 8361946
15.84/12.89	o 8385785
15.84/12.89	o 8756699
15.84/12.89	o 8968207
15.84/12.89	o 9127531
15.84/12.89	o 9262320
15.84/12.89	o 9394964
15.84/12.89	o 9630393
15.84/12.89	o 9789717
15.84/12.89	o 9818537
15.84/12.89	o 9896861
15.84/12.89	o 9951181
15.84/12.90	o 10029505
15.84/12.90	o 10345934
15.97/12.90	o 10424258
15.97/12.90	o 10465462
15.97/12.90	o 10514942
15.97/12.90	o 10556146
15.97/12.90	o 10655410
15.97/12.90	o 10696614
15.97/12.90	o 10733734
15.97/12.91	o 10774938
15.97/12.91	o 10847750
15.97/12.91	o 10888954
15.97/12.91	o 10942914
15.97/12.91	o 10984118
15.97/12.91	o 11216061
15.97/12.91	o 11257265
15.97/12.92	o 11356529
15.97/12.92	o 11397733
15.97/12.92	o 11470545
15.97/12.92	o 11511749
15.97/12.92	o 11541339
15.97/12.92	o 11655355
15.97/12.92	o 11743323
15.97/12.92	o 11784299
15.97/12.92	o 11928502
15.97/12.92	o 12068970
15.97/12.93	o 12182986
15.97/12.93	o 12220256
15.97/12.93	o 12224190
16.20/13.15	o 12249185
16.20/13.16	o 12459991
16.20/13.17	o 12501195
16.20/13.17	o 12525097
16.20/13.17	o 12743889
16.20/13.18	o 12777107
16.20/13.18	o 12995899
16.29/13.21	o 13017451
16.29/13.22	o 13215148
16.29/13.23	o 13275437
16.29/13.23	o 13494229
16.29/13.24	o 13596855
16.41/13.36	o 13893355
16.41/13.36	o 14149523
16.41/13.36	o 14400936
16.41/13.36	o 14520437
16.41/13.36	o 14771850
16.41/13.36	o 14836254
16.41/13.39	o 15030287
16.41/13.39	o 15092422
16.41/13.39	o 15286455
16.41/13.39	o 15537868
16.41/13.39	o 15775909
16.41/13.39	o 16027322
16.41/13.39	o 16110292
16.41/13.39	o 16155399
16.41/13.39	o 16282169
16.41/13.40	o 16396915
16.41/13.40	o 16653083
16.59/13.40	o 16736053
16.59/13.40	o 16941155
16.59/13.40	o 17197323
16.59/13.40	o 17228055
16.59/13.40	o 17280293
16.59/13.40	o 17293036
16.59/13.40	o 17549204
16.59/13.40	o 17569598
16.59/13.40	o 17632174
16.59/13.40	o 17684412
16.59/13.41	o 17744438
16.59/13.41	o 18000606
16.59/13.41	o 18012432
16.59/13.41	o 18052844
16.59/13.41	o 18083576
16.59/13.41	o 18095402
16.59/13.41	o 18135814
16.59/13.41	o 18146152
16.59/13.41	o 18157978
16.59/13.41	o 18198390
16.59/13.41	o 18267280
16.59/13.41	o 18523448
16.59/13.41	o 18596957
16.59/13.42	o 18679927
16.59/13.42	o 18742503
16.59/13.42	o 18756734
16.59/13.42	o 19012902
16.59/13.42	o 19095872
16.59/13.42	o 19158448
16.59/13.42	o 19198860
16.59/13.42	o 19369343
16.59/13.42	o 19431919
16.59/13.42	o 19484157
16.59/13.42	o 19529120
16.59/13.42	o 19785288
16.59/13.43	o 19847864
16.59/13.43	o 19964895
16.59/13.43	o 20027471
16.59/13.43	o 20079709
16.59/13.43	o 20124672
16.59/13.43	o 20380840
16.59/13.43	o 20443416
16.59/13.43	o 20445852
16.59/13.43	o 20508428
16.59/13.44	o 20542648
16.59/13.44	o 20607660
16.59/13.44	o 20670236
16.59/13.44	o 20794061
16.59/13.44	o 20856637
16.59/13.44	o 20859073
16.59/13.44	o 20921649
16.59/13.45	o 20972649
16.59/13.45	o 21037661
16.59/13.45	o 21100237
16.59/13.47	o 21146922
16.59/13.47	o 21211934
16.59/13.47	o 21285100
16.59/13.47	o 21350112
16.59/13.49	o 21353844
16.59/13.49	o 21467079
16.59/13.49	o 21605257
16.59/13.49	o 21670269
16.70/13.50	o 21742632
16.70/13.50	o 21807644
16.70/13.55	o 21838706
17.77/14.27	o 21883627
17.77/14.27	o 22373706
17.77/14.27	o 22763988
17.77/14.27	o 22771448
17.77/14.27	o 23637107
17.77/14.28	o 23941324
17.77/14.28	o 24331606
17.77/14.28	o 24809135
17.77/14.28	o 25013555
17.77/14.28	o 25503634
17.77/14.28	o 25893916
17.77/14.28	o 25985586
17.77/14.28	o 26000288
17.77/14.28	o 26171448
17.77/14.28	o 26865947
17.77/14.28	o 26940228
17.96/14.33	o 26964059
17.96/14.33	o 27371618
17.96/14.33	o 27648888
17.96/14.34	o 27730783
17.96/14.34	o 27861072
17.96/14.34	o 28138342
19.78/15.98	o 28148643
19.78/15.98	o 28512350
19.78/15.99	o 28648533
19.78/15.99	o 28876515
19.78/15.99	o 28917735
19.78/15.99	o 29053460
19.78/15.99	o 29136798
19.78/15.99	o 29281442
24.29/19.72	o 29347140
24.29/19.75	o 29358357
24.29/19.75	o 29640293
24.29/19.76	o 29642966
24.29/19.77	o 29821854
24.29/19.78	o 29878348
24.29/19.79	o 29901938
24.44/19.84	o 30124707
24.44/19.84	o 30181201
24.44/19.84	o 30183874
24.54/20.00	o 30461116
24.75/20.12	o 30521422
24.75/20.12	o 30556344
24.84/20.22	o 30770454
24.84/20.23	o 30826948
25.14/20.54	o 30908270
25.14/20.56	o 30986311
25.24/20.62	o 31042805
25.58/20.96	o 31137556
25.68/21.02	o 31161146
25.68/21.03	o 31172478
25.79/21.11	o 31189680
25.79/21.11	o 31234964
28.94/24.29	o 31319958
28.94/24.29	o 31433327
28.94/24.29	o 31616426
28.94/24.29	o 31620178
28.94/24.29	o 31661465
28.94/24.29	o 31778586
28.94/24.29	o 31961685
29.04/24.34	o 32367401
29.04/24.34	o 32404962
33.57/28.61	o 32464174
44.17/39.08	o 32543664
44.17/39.08	o 32743622
44.17/39.08	o 33139631
61.22/55.96	o 33785064
70.07/64.71	o 33906368
70.07/64.78	o 34388945
70.07/64.78	o 34878399
70.17/64.86	o 34913140
70.40/65.01	o 35007593
70.40/65.01	o 35207798
92.13/86.53	o 35279164
92.23/86.62	o 35460971
92.23/86.64	o 35587330
92.23/86.65	o 35865738
92.23/86.65	o 35992097
92.34/86.71	o 36052490
96.37/90.74	o 36100883
96.47/90.87	o 36112244
96.47/90.87	o 36496892
97.47/91.87	o 36505141
101.72/96.03	o 36819539
122.88/117.11	o 37119639
144.13/138.30	o 37194039
144.13/138.31	o 37299038
144.34/138.56	o 37307868
144.34/138.59	o 37308749
144.34/138.59	o 37317579
144.74/138.93	o 37595219
146.16/140.38	o 37806733
146.56/140.73	o 37884818
146.67/140.84	o 37958561
146.67/140.84	o 38177334
146.77/140.94	o 38190409
147.18/141.32	o 38252609
147.18/141.36	o 38332659
148.28/142.44	o 38432697
169.83/163.85	o 38625305
170.58/164.59	o 38952959
180.30/174.03	o 38955555
180.90/174.61	o 39049887
202.21/195.89	o 39107429
202.21/195.89	o 39264179
212.34/205.83	o 39317476
234.21/227.30	o 39569478
234.21/227.36	o 39580518
235.32/228.31	o 39890688
235.32/228.37	o 39972868
256.72/249.54	o 40095480
256.72/249.54	o 40327725
257.02/249.83	o 40350763
258.24/251.10	o 40400134
260.17/252.91	o 40424644
260.47/253.23	o 40496010
264.65/257.30	o 40596760
273.22/265.74	o 40846007
275.99/268.47	o 40899520
275.99/268.47	o 40988972
276.19/268.63	o 41099917
276.50/268.91	o 41234621
281.93/274.22	o 41388601
281.93/274.23	o 41429915
285.82/278.05	o 41491703
288.17/280.39	o 41750638
288.17/280.40	o 41978494
288.68/280.88	o 42178126
296.95/288.99	o 42245672
299.20/291.14	o 42334545
301.55/293.43	o 42441725
304.24/296.03	o 42467595
304.24/296.08	o 42481066
306.88/298.70	o 42951857
307.40/299.15	o 43085000
307.40/299.17	o 43203710
313.35/304.95	o 43239501
314.08/305.61	o 43239574
320.61/312.06	o 43264414
321.54/312.93	o 43469339
335.54/326.66	o 43838851
335.64/326.71	o 43900246
374.00/364.22	o 43916574
375.44/365.67	o 43925018
375.44/365.67	o 44190019
378.30/368.43	o 44400209
395.82/385.51	o 44406816
397.05/386.71	o 44523386
397.05/386.71	o 44634716
404.77/394.11	o 44651673
404.77/394.11	o 44661122
405.28/394.62	o 44852525
406.00/395.37	o 44852698
431.45/420.33	o 44873212
431.45/420.39	o 44942150
444.97/433.50	o 45002286
444.97/433.50	o 45183308
444.97/433.53	o 45272760
450.28/438.75	o 45282036
473.77/461.78	o 45561839
486.40/474.15	o 45622820
539.69/526.31	o 45627715
575.53/561.33	o 45707939
619.80/604.52	o 45766655
620.72/605.42	o 45775485
688.31/671.36	o 45963236
746.14/727.83	o 45979591
790.84/771.96	o 45990071
839.50/819.51	o 46021525
855.15/834.87	o 46197206
857.60/837.23	o 46230555
858.93/838.54	o 46386961
870.95/850.23	o 46533242
871.05/850.35	o 46615422
889.50/868.38	o 47093242
1075.93/1050.41	o 47162771
1075.93/1050.49	o 47284921
1079.00/1053.49	o 47355010
1098.76/1072.76	o 47429356
1100.91/1074.80	o 47453630
1100.91/1074.80	o 47626858
1259.55/1229.30	o 47731436
1276.25/1245.61	o 47808930
1282.50/1251.79	o 47851067
1330.26/1298.25	o 48083056
1331.09/1299.01	o 48441070
1439.52/1404.91	o 48962743
1583.16/1545.21	o 49206323
1622.33/1583.34	o 49734878
2520.05/2458.80	s SATISFIABLE
2520.05/2458.80	v <instantiation>
2520.05/2458.80	v 	<list>
2520.05/2458.80	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.05/2458.80	v 	</list>
2520.05/2458.80	v 	<values>
2520.05/2458.80	v 		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 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 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 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 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 1 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 1 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 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 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 1 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 
2520.05/2458.80	v 	</values>
2520.05/2458.80	v </instantiation>

Verifier Data

OK	49734878

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

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

[startup+0.100058 s]*
/proc/loadavg: 1.86 1.70 1.63 4/216 20906
/proc/meminfo: memFree=23980968/32770624 swapFree=67108372/67108860
[pid=20891] ppid=20888 vsize=14082736 memory=34172 CPUtime=0.12 cores=0,2,4,6
/proc/20891/stat : 20891 (java) S 20888 20891 17830 0 -1 1077944320 6952 0 0 0 10 2 0 0 20 0 15 0 245916199 14420721664 8543 33554432000 4194304 4196468 140724855413936 140724855396480 140050825441015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
/proc/20891/statm: 3520684 8543 3139 1 0 3482761 0
[pid=20891/tid=20893] ppid=20888 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=0,2,4,6
/proc/20891/task/20893/stat : 20893 (java) R 20888 20891 17830 0 -1 4202560 5041 0 0 0 8 1 0 0 20 0 15 0 245916199 14420721664 8543 33554432000 4194304 4196468 140724855413936 140050829643072 140050806085893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20894] ppid=20888 vsize=14082736 memory=5793855861656533433 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20894/stat : 20894 (java) S 20888 20891 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245916200 14420721664 8543 33554432000 4194304 4196468 140724855413936 140050778061584 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20895] ppid=20888 vsize=14082736 memory=140610646640256 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20895/stat : 20895 (java) S 20888 20891 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245916200 14420721664 8543 33554432000 4194304 4196468 140724855413936 140050777009040 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20896] ppid=20888 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20896/stat : 20896 (java) S 20888 20891 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245916200 14420721664 8543 33554432000 4194304 4196468 140724855413936 140050775956496 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20897] ppid=20888 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20897/stat : 20897 (java) S 20888 20891 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245916200 14420721664 8543 33554432000 4194304 4196468 140724855413936 140050774903952 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20898] ppid=20888 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20898/stat : 20898 (java) S 20888 20891 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245916201 14420721664 8543 33554432000 4194304 4196468 140724855413936 140050366769136 140050825452162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20899] ppid=20888 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20899/stat : 20899 (java) S 20888 20891 17830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245916202 14420721664 8543 33554432000 4194304 4196468 140724855413936 140050365715360 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20900] ppid=20888 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20900/stat : 20900 (java) S 20888 20891 17830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245916202 14420721664 8543 33554432000 4194304 4196468 140724855413936 140050364662768 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20901] ppid=20888 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20901/stat : 20901 (java) S 20888 20891 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245916204 14420721664 8543 33554432000 4194304 4196468 140724855413936 140050363611344 140050825459611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20902] ppid=20888 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20902/stat : 20902 (java) S 20888 20891 17830 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 245916204 14420721664 8543 33554432000 4194304 4196468 140724855413936 140050362558960 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20903] ppid=20888 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20903/stat : 20903 (java) S 20888 20891 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245916204 14420721664 8543 33554432000 4194304 4196468 140724855413936 140050293582448 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20904] ppid=20888 vsize=14082736 memory=140610646640256 CPUtime=0.01 cores=0,2,4,6
/proc/20891/task/20904/stat : 20904 (java) R 20888 20891 17830 0 -1 4202560 248 0 0 0 1 0 0 0 20 0 15 0 245916204 14420721664 8543 33554432000 4194304 4196468 140724855413936 140050292529904 140050810606568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20905] ppid=20888 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20905/stat : 20905 (java) S 20888 20891 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245916204 14420721664 8543 33554432000 4194304 4196468 140724855413936 140050291477600 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20906] ppid=20888 vsize=14082736 memory=140610646640256 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20906/stat : 20906 (java) S 20888 20891 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245916205 14420721664 8543 33554432000 4194304 4196468 140724855413936 140050290424112 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 34172 KiB

[startup+0.217547 s]*
/proc/loadavg: 1.86 1.70 1.63 6/216 20906
/proc/meminfo: memFree=23965836/32770624 swapFree=67108372/67108860
[pid=20891] ppid=20888 vsize=14082736 memory=47860 CPUtime=0.33 cores=0,2,4,6
/proc/20891/stat : 20891 (java) S 20888 20891 17830 0 -1 1077944320 10048 0 0 0 30 3 0 0 20 0 15 0 245916199 14420721664 11965 33554432000 4194304 4196468 140724855413936 140724855396480 140050825441015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
/proc/20891/statm: 3520684 11965 3387 1 0 3482761 0
[pid=20891/tid=20893] ppid=20888 vsize=14082736 memory=6735269665583770266 CPUtime=0.21 cores=0,2,4,6
/proc/20891/task/20893/stat : 20893 (java) R 20888 20891 17830 0 -1 4202560 7785 0 0 0 19 2 0 0 20 0 15 0 245916199 14420721664 11965 33554432000 4194304 4196468 140724855413936 140050829662480 140050817678142 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20894] ppid=20888 vsize=14082736 memory=4211974336851430794 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20894/stat : 20894 (java) S 20888 20891 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245916200 14420721664 11965 33554432000 4194304 4196468 140724855413936 140050778061584 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20895] ppid=20888 vsize=14082736 memory=140610646640256 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20895/stat : 20895 (java) S 20888 20891 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245916200 14420721664 11965 33554432000 4194304 4196468 140724855413936 140050777009040 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20896] ppid=20888 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20896/stat : 20896 (java) S 20888 20891 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245916200 14420721664 11965 33554432000 4194304 4196468 140724855413936 140050775956496 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20897] ppid=20888 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20897/stat : 20897 (java) S 20888 20891 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245916200 14420721664 11965 33554432000 4194304 4196468 140724855413936 140050774903952 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20898] ppid=20888 vsize=14082736 memory=140610646640256 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20898/stat : 20898 (java) S 20888 20891 17830 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245916201 14420721664 11965 33554432000 4194304 4196468 140724855413936 140050366769136 140050825452162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20899] ppid=20888 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20899/stat : 20899 (java) S 20888 20891 17830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245916202 14420721664 11965 33554432000 4194304 4196468 140724855413936 140050365715360 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20900] ppid=20888 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20900/stat : 20900 (java) S 20888 20891 17830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245916202 14420721664 11965 33554432000 4194304 4196468 140724855413936 140050364662768 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20901] ppid=20888 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20901/stat : 20901 (java) S 20888 20891 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245916204 14420721664 11965 33554432000 4194304 4196468 140724855413936 140050363611344 140050825459611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20902] ppid=20888 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20891/task/20902/stat : 20902 (java) S 20888 20891 17830 0 -1 1077944384 513 0 0 0 2 0 0 0 20 0 15 0 245916204 14420721664 11965 33554432000 4194304 4196468 140724855413936 140050362558960 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20903] ppid=20888 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20891/task/20903/stat : 20903 (java) S 20888 20891 17830 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 15 0 245916204 14420721664 11965 33554432000 4194304 4196468 140724855413936 140050293582448 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20904] ppid=20888 vsize=14082736 memory=140610646640256 CPUtime=0.06 cores=0,2,4,6
/proc/20891/task/20904/stat : 20904 (java) R 20888 20891 17830 0 -1 4202560 280 0 0 0 6 0 0 0 20 0 15 0 245916204 14420721664 11965 33554432000 4194304 4196468 140724855413936 140050292529904 140050804128832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20905] ppid=20888 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20905/stat : 20905 (java) S 20888 20891 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245916204 14420721664 11965 33554432000 4194304 4196468 140724855413936 140050291477600 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20906] ppid=20888 vsize=14082736 memory=140610646640256 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20906/stat : 20906 (java) S 20888 20891 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245916205 14420721664 11965 33554432000 4194304 4196468 140724855413936 140050290424112 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47860 KiB

[startup+0.310374 s]*
/proc/loadavg: 1.86 1.70 1.63 3/216 20906
/proc/meminfo: memFree=23962280/32770624 swapFree=67108372/67108860
[pid=20891] ppid=20888 vsize=14082736 memory=51044 CPUtime=0.43 cores=0,2,4,6
/proc/20891/stat : 20891 (java) S 20888 20891 17830 0 -1 1077944320 10358 0 0 0 40 3 0 0 20 0 15 0 245916199 14420721664 12761 33554432000 4194304 4196468 140724855413936 140724855396480 140050825441015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
/proc/20891/statm: 3520684 12761 3389 1 0 3482761 0
[pid=20891/tid=20893] ppid=20888 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6
/proc/20891/task/20893/stat : 20893 (java) R 20888 20891 17830 0 -1 4202560 8090 0 0 0 28 2 0 0 20 0 15 0 245916199 14420721664 12761 33554432000 4194304 4196468 140724855413936 140050829662112 140050807004544 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20894] ppid=20888 vsize=14082736 memory=4211974336851430794 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20894/stat : 20894 (java) S 20888 20891 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245916200 14420721664 12761 33554432000 4194304 4196468 140724855413936 140050778061584 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20895] ppid=20888 vsize=14082736 memory=140610646642613 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20895/stat : 20895 (java) S 20888 20891 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245916200 14420721664 12761 33554432000 4194304 4196468 140724855413936 140050777009040 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20896] ppid=20888 vsize=14082736 memory=140610518511542 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20896/stat : 20896 (java) S 20888 20891 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245916200 14420721664 12761 33554432000 4194304 4196468 140724855413936 140050775956496 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20897] ppid=20888 vsize=14082736 memory=140610518502863 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20897/stat : 20897 (java) S 20888 20891 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245916200 14420721664 12761 33554432000 4194304 4196468 140724855413936 140050774903952 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20898] ppid=20888 vsize=14082736 memory=140610646658113 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20898/stat : 20898 (java) S 20888 20891 17830 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245916201 14420721664 12761 33554432000 4194304 4196468 140724855413936 140050366769136 140050825452162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20899] ppid=20888 vsize=14082736 memory=140610518512047 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20899/stat : 20899 (java) S 20888 20891 17830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245916202 14420721664 12761 33554432000 4194304 4196468 140724855413936 140050365715360 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20900] ppid=20888 vsize=14082736 memory=281221037014928 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20900/stat : 20900 (java) S 20888 20891 17830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245916202 14420721664 12761 33554432000 4194304 4196468 140724855413936 140050364662768 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20901] ppid=20888 vsize=14082736 memory=281221037012624 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20901/stat : 20901 (java) S 20888 20891 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245916204 14420721664 12761 33554432000 4194304 4196468 140724855413936 140050363611344 140050825459611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20902] ppid=20888 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20891/task/20902/stat : 20902 (java) S 20888 20891 17830 0 -1 1077944384 513 0 0 0 2 0 0 0 20 0 15 0 245916204 14420721664 12761 33554432000 4194304 4196468 140724855413936 140050362558960 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20903] ppid=20888 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20891/task/20903/stat : 20903 (java) S 20888 20891 17830 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 15 0 245916204 14420721664 12761 33554432000 4194304 4196468 140724855413936 140050293582448 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20904] ppid=20888 vsize=14082736 memory=140610646640256 CPUtime=0.07 cores=0,2,4,6
/proc/20891/task/20904/stat : 20904 (java) S 20888 20891 17830 0 -1 1077944384 284 0 0 0 7 0 0 0 20 0 15 0 245916204 14420721664 12761 33554432000 4194304 4196468 140724855413936 140050292529904 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20905] ppid=20888 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20905/stat : 20905 (java) S 20888 20891 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245916204 14420721664 12761 33554432000 4194304 4196468 140724855413936 140050291477600 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20906] ppid=20888 vsize=14082736 memory=140610646640256 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20906/stat : 20906 (java) S 20888 20891 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245916205 14420721664 12761 33554432000 4194304 4196468 140724855413936 140050290424112 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51044 KiB

[startup+0.700881 s]
/proc/loadavg: 1.86 1.70 1.63 3/216 20906
/proc/meminfo: memFree=23938592/32770624 swapFree=67108372/67108860
[pid=20891] ppid=20888 vsize=14084804 memory=88892 CPUtime=1 cores=0,2,4,6
/proc/20891/stat : 20891 (java) S 20888 20891 17830 0 -1 1077944320 17097 0 0 0 95 5 0 0 20 0 15 0 245916199 14422839296 22223 33554432000 4194304 4196468 140724855413936 140724855396480 140050825441015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
/proc/20891/statm: 3521201 22223 3501 1 0 3483273 0
[pid=20891/tid=20893] ppid=20888 vsize=14084804 memory=1220 CPUtime=0.67 cores=0,2,4,6
/proc/20891/task/20893/stat : 20893 (java) R 20888 20891 17830 0 -1 4202560 14428 0 0 0 64 3 0 0 20 0 15 0 245916199 14422839296 22223 33554432000 4194304 4196468 140724855413936 140050829666320 140050825462941 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20894] ppid=20888 vsize=14084804 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20894/stat : 20894 (java) S 20888 20891 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245916200 14422839296 22223 33554432000 4194304 4196468 140724855413936 140050778061584 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20895] ppid=20888 vsize=14084804 memory=868 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20895/stat : 20895 (java) S 20888 20891 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245916200 14422839296 22223 33554432000 4194304 4196468 140724855413936 140050777009040 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20896] ppid=20888 vsize=14084804 memory=7307747153392788800 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20896/stat : 20896 (java) S 20888 20891 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245916200 14422839296 22223 33554432000 4194304 4196468 140724855413936 140050775956496 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20897] ppid=20888 vsize=14084804 memory=8025788831224522324 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20897/stat : 20897 (java) S 20888 20891 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245916200 14422839296 22223 33554432000 4194304 4196468 140724855413936 140050774903952 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20898] ppid=20888 vsize=14084804 memory=6370994028255662162 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20898/stat : 20898 (java) S 20888 20891 17830 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245916201 14422839296 22223 33554432000 4194304 4196468 140724855413936 140050366769136 140050825452162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20899] ppid=20888 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20899/stat : 20899 (java) S 20888 20891 17830 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245916202 14422839296 22223 33554432000 4194304 4196468 140724855413936 140050365715360 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20900] ppid=20888 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20900/stat : 20900 (java) S 20888 20891 17830 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245916202 14422839296 22223 33554432000 4194304 4196468 140724855413936 140050364662768 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20901] ppid=20888 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20901/stat : 20901 (java) S 20888 20891 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245916204 14422839296 22223 33554432000 4194304 4196468 140724855413936 140050363611344 140050825459611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20902] ppid=20888 vsize=14084804 memory=227 CPUtime=0.09 cores=0,2,4,6
/proc/20891/task/20902/stat : 20902 (java) S 20888 20891 17830 0 -1 1077944384 662 0 0 0 9 0 0 0 20 0 15 0 245916204 14422839296 22223 33554432000 4194304 4196468 140724855413936 140050362558960 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20903] ppid=20888 vsize=14084804 memory=7 CPUtime=0.06 cores=0,2,4,6
/proc/20891/task/20903/stat : 20903 (java) S 20888 20891 17830 0 -1 1077944384 252 0 0 0 6 0 0 0 20 0 15 0 245916204 14422839296 22223 33554432000 4194304 4196468 140724855413936 140050293582448 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20904] ppid=20888 vsize=14084804 memory=700 CPUtime=0.15 cores=0,2,4,6
/proc/20891/task/20904/stat : 20904 (java) R 20888 20891 17830 0 -1 1077944384 370 0 0 0 15 0 0 0 20 0 15 0 245916204 14422839296 22223 33554432000 4194304 4196468 140724855413936 140050292529904 140050825452162 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20905] ppid=20888 vsize=14084804 memory=281221037198832 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20905/stat : 20905 (java) S 20888 20891 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245916204 14422839296 22223 33554432000 4194304 4196468 140724855413936 140050291477600 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20906] ppid=20888 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20906/stat : 20906 (java) S 20888 20891 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245916205 14422839296 22223 33554432000 4194304 4196468 140724855413936 140050290424112 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88892 KiB

[startup+1.50081 s]
/proc/loadavg: 1.86 1.70 1.63 6/216 20906
/proc/meminfo: memFree=23907264/32770624 swapFree=67108372/67108860
[pid=20891] ppid=20888 vsize=14086852 memory=183792 CPUtime=2.56 cores=0,2,4,6
/proc/20891/stat : 20891 (java) S 20888 20891 17830 0 -1 1077944320 22000 0 0 0 249 7 0 0 20 0 15 0 245916199 14424936448 45948 33554432000 4194304 4196468 140724855413936 140724855396480 140050825441015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
/proc/20891/statm: 3521713 45948 3546 1 0 3483785 0
[pid=20891/tid=20893] ppid=20888 vsize=14086852 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/20891/task/20893/stat : 20893 (java) R 20888 20891 17830 0 -1 4202560 16151 0 0 0 142 5 0 0 20 0 15 0 245916199 14424936448 45948 33554432000 4194304 4196468 140724855413936 140050829677152 140050449495354 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20894] ppid=20888 vsize=14086852 memory=4946806831359826816 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20894/stat : 20894 (java) S 20888 20891 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245916200 14424936448 45948 33554432000 4194304 4196468 140724855413936 140050778061584 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20895] ppid=20888 vsize=14086852 memory=-6079119013371668831 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20895/stat : 20895 (java) S 20888 20891 17830 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245916200 14424936448 45948 33554432000 4194304 4196468 140724855413936 140050777009040 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20896] ppid=20888 vsize=14086852 memory=-6585528546044026665 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20896/stat : 20896 (java) S 20888 20891 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245916200 14424936448 45948 33554432000 4194304 4196468 140724855413936 140050775956496 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20897] ppid=20888 vsize=14086852 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20897/stat : 20897 (java) S 20888 20891 17830 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245916200 14424936448 45948 33554432000 4194304 4196468 140724855413936 140050774903952 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20898] ppid=20888 vsize=14086852 memory=-7665805348313190958 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20898/stat : 20898 (java) S 20888 20891 17830 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 15 0 245916201 14424936448 45948 33554432000 4194304 4196468 140724855413936 140050366769136 140050825452162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0

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

/proc/20891/task/20893/stat : 20893 (java) R 20888 20891 17830 0 -1 4202560 130808 0 0 0 229921 50 0 0 20 0 15 0 245916199 14431227904 156652 33554432000 4194304 4196468 140724855413936 140050829678192 140050449943233 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20894] ppid=20888 vsize=14092996 memory=4400 CPUtime=17.16 cores=0,2,4,6
/proc/20891/task/20894/stat : 20894 (java) S 20888 20891 17830 0 -1 1077944384 28297 0 0 0 1659 57 0 0 20 0 15 0 245916200 14431227904 156652 33554432000 4194304 4196468 140724855413936 140050778061584 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20895] ppid=20888 vsize=14092996 memory=597216 CPUtime=17.2 cores=0,2,4,6
/proc/20891/task/20895/stat : 20895 (java) S 20888 20891 17830 0 -1 1077944384 28364 0 0 0 1662 58 0 0 20 0 15 0 245916200 14431227904 156652 33554432000 4194304 4196468 140724855413936 140050777009040 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20896] ppid=20888 vsize=14092996 memory=594016 CPUtime=17.14 cores=0,2,4,6
/proc/20891/task/20896/stat : 20896 (java) S 20888 20891 17830 0 -1 1077944384 29198 0 0 0 1656 58 0 0 20 0 15 0 245916200 14431227904 156652 33554432000 4194304 4196468 140724855413936 140050775956496 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20897] ppid=20888 vsize=14092996 memory=602224 CPUtime=17.2 cores=0,2,4,6
/proc/20891/task/20897/stat : 20897 (java) S 20888 20891 17830 0 -1 1077944384 32538 0 0 0 1663 57 0 0 20 0 15 0 245916200 14431227904 156652 33554432000 4194304 4196468 140724855413936 140050774903952 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20898] ppid=20888 vsize=14092996 memory=634620 CPUtime=3.13 cores=0,2,4,6
/proc/20891/task/20898/stat : 20898 (java) S 20888 20891 17830 0 -1 1077944384 98992 0 0 0 270 43 0 0 20 0 15 0 245916201 14431227904 156652 33554432000 4194304 4196468 140724855413936 140050366769136 140050825452162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 48 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20899] ppid=20888 vsize=14092996 memory=638724 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20899/stat : 20899 (java) S 20888 20891 17830 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 245916202 14431227904 156652 33554432000 4194304 4196468 140724855413936 140050365715424 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20900] ppid=20888 vsize=14092996 memory=228129 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20900/stat : 20900 (java) S 20888 20891 17830 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 245916202 14431227904 156652 33554432000 4194304 4196468 140724855413936 140050364662784 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20901] ppid=20888 vsize=14092996 memory=598120 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20901/stat : 20901 (java) S 20888 20891 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245916204 14431227904 156652 33554432000 4194304 4196468 140724855413936 140050363611344 140050825459611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20902] ppid=20888 vsize=14092996 memory=594016 CPUtime=2.94 cores=0,2,4,6
/proc/20891/task/20902/stat : 20902 (java) S 20888 20891 17830 0 -1 1077944384 32916 0 0 0 290 4 0 0 20 0 15 0 245916204 14431227904 156652 33554432000 4194304 4196468 140724855413936 140050362558960 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20903] ppid=20888 vsize=14092996 memory=215109 CPUtime=2.79 cores=0,2,4,6
/proc/20891/task/20903/stat : 20903 (java) S 20888 20891 17830 0 -1 1077944384 32128 0 0 0 276 3 0 0 20 0 15 0 245916204 14431227904 156652 33554432000 4194304 4196468 140724855413936 140050293582448 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20904] ppid=20888 vsize=14092996 memory=589912 CPUtime=1.24 cores=0,2,4,6
/proc/20891/task/20904/stat : 20904 (java) S 20888 20891 17830 0 -1 1077944384 33216 0 0 0 119 5 0 0 20 0 15 0 245916204 14431227904 156652 33554432000 4194304 4196468 140724855413936 140050292529904 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20905] ppid=20888 vsize=14092996 memory=585808 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20905/stat : 20905 (java) S 20888 20891 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245916204 14431227904 156652 33554432000 4194304 4196468 140724855413936 140050291477600 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20906] ppid=20888 vsize=14092996 memory=621480 CPUtime=1.37 cores=0,2,4,6
/proc/20891/task/20906/stat : 20906 (java) S 20888 20891 17830 0 -1 1077944384 2181 0 0 0 68 69 0 0 20 0 15 0 245916205 14431227904 156652 33554432000 4194304 4196468 140724855413936 140050290424112 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 57 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
Current children cumulated CPU time: 2379.98 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 626608 KiB

[startup+2382.3 s]
/proc/loadavg: 1.56 1.54 1.51 3/215 21097
/proc/meminfo: memFree=21552540/32770624 swapFree=67108372/67108860
[pid=20891] ppid=20888 vsize=14092996 memory=612992 CPUtime=2441.55 cores=0,2,4,6
/proc/20891/stat : 20891 (java) S 20888 20891 17830 0 -1 1077944320 457252 0 0 0 243769 386 0 0 20 0 15 0 245916199 14431227904 153248 33554432000 4194304 4196468 140724855413936 140724855396480 140050825441015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
/proc/20891/statm: 3523249 153248 3615 1 0 3485321 0
[pid=20891/tid=20893] ppid=20888 vsize=14092996 memory=636988 CPUtime=2359.08 cores=0,2,4,6
/proc/20891/task/20893/stat : 20893 (java) R 20888 20891 17830 0 -1 4202560 133153 0 0 0 235857 51 0 0 20 0 15 0 245916199 14431227904 153248 33554432000 4194304 4196468 140724855413936 140050829678080 140050448712759 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20894] ppid=20888 vsize=14092996 memory=664420 CPUtime=17.68 cores=0,2,4,6
/proc/20891/task/20894/stat : 20894 (java) S 20888 20891 17830 0 -1 1077944384 29087 0 0 0 1710 58 0 0 20 0 15 0 245916200 14431227904 153248 33554432000 4194304 4196468 140724855413936 140050778061584 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20895] ppid=20888 vsize=14092996 memory=228129 CPUtime=17.72 cores=0,2,4,6
/proc/20891/task/20895/stat : 20895 (java) S 20888 20891 17830 0 -1 1077944384 28807 0 0 0 1713 59 0 0 20 0 15 0 245916200 14431227904 153248 33554432000 4194304 4196468 140724855413936 140050777009040 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20896] ppid=20888 vsize=14092996 memory=281221037790800 CPUtime=17.66 cores=0,2,4,6
/proc/20891/task/20896/stat : 20896 (java) S 20888 20891 17830 0 -1 1077944384 29877 0 0 0 1707 59 0 0 20 0 15 0 245916200 14431227904 153248 33554432000 4194304 4196468 140724855413936 140050775956496 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20897] ppid=20888 vsize=14092996 memory=629408 CPUtime=17.73 cores=0,2,4,6
/proc/20891/task/20897/stat : 20897 (java) S 20888 20891 17830 0 -1 1077944384 33050 0 0 0 1714 59 0 0 20 0 15 0 245916200 14431227904 153248 33554432000 4194304 4196468 140724855413936 140050774903952 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20898] ppid=20888 vsize=14092996 memory=629408 CPUtime=3.19 cores=0,2,4,6
/proc/20891/task/20898/stat : 20898 (java) S 20888 20891 17830 0 -1 1077944384 101380 0 0 0 275 44 0 0 20 0 15 0 245916201 14431227904 153248 33554432000 4194304 4196468 140724855413936 140050366769136 140050825452162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 48 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20899] ppid=20888 vsize=14092996 memory=617096 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20899/stat : 20899 (java) S 20888 20891 17830 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 245916202 14431227904 153248 33554432000 4194304 4196468 140724855413936 140050365715424 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20900] ppid=20888 vsize=14092996 memory=617096 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20900/stat : 20900 (java) S 20888 20891 17830 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 245916202 14431227904 153248 33554432000 4194304 4196468 140724855413936 140050364662784 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20901] ppid=20888 vsize=14092996 memory=612992 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20901/stat : 20901 (java) S 20888 20891 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245916204 14431227904 153248 33554432000 4194304 4196468 140724855413936 140050363611344 140050825459611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20902] ppid=20888 vsize=14092996 memory=612992 CPUtime=2.94 cores=0,2,4,6
/proc/20891/task/20902/stat : 20902 (java) S 20888 20891 17830 0 -1 1077944384 32918 0 0 0 290 4 0 0 20 0 15 0 245916204 14431227904 153248 33554432000 4194304 4196468 140724855413936 140050362558960 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20903] ppid=20888 vsize=14092996 memory=612992 CPUtime=2.8 cores=0,2,4,6
/proc/20891/task/20903/stat : 20903 (java) S 20888 20891 17830 0 -1 1077944384 32130 0 0 0 277 3 0 0 20 0 15 0 245916204 14431227904 153248 33554432000 4194304 4196468 140724855413936 140050293582448 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20904] ppid=20888 vsize=14092996 memory=621200 CPUtime=1.25 cores=0,2,4,6
/proc/20891/task/20904/stat : 20904 (java) S 20888 20891 17830 0 -1 1077944384 33218 0 0 0 119 6 0 0 20 0 15 0 245916204 14431227904 153248 33554432000 4194304 4196468 140724855413936 140050292529904 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20905] ppid=20888 vsize=14092996 memory=1276 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20905/stat : 20905 (java) S 20888 20891 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245916204 14431227904 153248 33554432000 4194304 4196468 140724855413936 140050291477600 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20906] ppid=20888 vsize=14092996 memory=1068 CPUtime=1.4 cores=0,2,4,6
/proc/20891/task/20906/stat : 20906 (java) S 20888 20891 17830 0 -1 1077944384 2196 0 0 0 69 71 0 0 20 0 15 0 245916205 14431227904 153248 33554432000 4194304 4196468 140724855413936 140050290424112 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 57 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
Current children cumulated CPU time: 2441.55 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 612992 KiB

[startup+2442.3 s]
/proc/loadavg: 1.74 1.59 1.53 3/215 21098
/proc/meminfo: memFree=21555524/32770624 swapFree=67108372/67108860
[pid=20891] ppid=20888 vsize=14092996 memory=601192 CPUtime=2503.14 cores=0,2,4,6
/proc/20891/stat : 20891 (java) S 20888 20891 17830 0 -1 1077944320 462074 0 0 0 249923 391 0 0 20 0 15 0 245916199 14431227904 150298 33554432000 4194304 4196468 140724855413936 140724855396480 140050825441015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
/proc/20891/statm: 3523249 150298 3615 1 0 3485321 0
[pid=20891/tid=20893] ppid=20888 vsize=14092996 memory=601192 CPUtime=2418.47 cores=0,2,4,6
/proc/20891/task/20893/stat : 20893 (java) R 20888 20891 17830 0 -1 4202560 134728 0 0 0 241795 52 0 0 20 0 15 0 245916199 14431227904 150298 33554432000 4194304 4196468 140724855413936 140050829678032 140050448712759 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20894] ppid=20888 vsize=14092996 memory=609400 CPUtime=18.21 cores=0,2,4,6
/proc/20891/task/20894/stat : 20894 (java) S 20888 20891 17830 0 -1 1077944384 29174 0 0 0 1762 59 0 0 20 0 15 0 245916200 14431227904 150298 33554432000 4194304 4196468 140724855413936 140050778061584 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20895] ppid=20888 vsize=14092996 memory=609400 CPUtime=18.25 cores=0,2,4,6
/proc/20891/task/20895/stat : 20895 (java) S 20888 20891 17830 0 -1 1077944384 29218 0 0 0 1765 60 0 0 20 0 15 0 245916200 14431227904 150298 33554432000 4194304 4196468 140724855413936 140050777009040 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20896] ppid=20888 vsize=14092996 memory=228129 CPUtime=18.19 cores=0,2,4,6
/proc/20891/task/20896/stat : 20896 (java) S 20888 20891 17830 0 -1 1077944384 29945 0 0 0 1759 60 0 0 20 0 15 0 245916200 14431227904 150298 33554432000 4194304 4196468 140724855413936 140050775956496 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20897] ppid=20888 vsize=14092996 memory=281221037790800 CPUtime=18.25 cores=0,2,4,6
/proc/20891/task/20897/stat : 20897 (java) S 20888 20891 17830 0 -1 1077944384 33310 0 0 0 1766 59 0 0 20 0 15 0 245916200 14431227904 150298 33554432000 4194304 4196468 140724855413936 140050774903952 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20898] ppid=20888 vsize=14092996 memory=617096 CPUtime=3.26 cores=0,2,4,6
/proc/20891/task/20898/stat : 20898 (java) S 20888 20891 17830 0 -1 1077944384 103780 0 0 0 281 45 0 0 20 0 15 0 245916201 14431227904 150298 33554432000 4194304 4196468 140724855413936 140050366769136 140050825452162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 48 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20899] ppid=20888 vsize=14092996 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20899/stat : 20899 (java) S 20888 20891 17830 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 245916202 14431227904 150298 33554432000 4194304 4196468 140724855413936 140050365715424 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20900] ppid=20888 vsize=14092996 memory=582212 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20900/stat : 20900 (java) S 20888 20891 17830 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 245916202 14431227904 150298 33554432000 4194304 4196468 140724855413936 140050364662784 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20901] ppid=20888 vsize=14092996 memory=633984 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20901/stat : 20901 (java) S 20888 20891 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245916204 14431227904 150298 33554432000 4194304 4196468 140724855413936 140050363611344 140050825459611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20902] ppid=20888 vsize=14092996 memory=633984 CPUtime=2.94 cores=0,2,4,6
/proc/20891/task/20902/stat : 20902 (java) S 20888 20891 17830 0 -1 1077944384 32920 0 0 0 290 4 0 0 20 0 15 0 245916204 14431227904 150298 33554432000 4194304 4196468 140724855413936 140050362558960 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20903] ppid=20888 vsize=14092996 memory=625776 CPUtime=2.8 cores=0,2,4,6
/proc/20891/task/20903/stat : 20903 (java) S 20888 20891 17830 0 -1 1077944384 32132 0 0 0 277 3 0 0 20 0 15 0 245916204 14431227904 150298 33554432000 4194304 4196468 140724855413936 140050293582448 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20904] ppid=20888 vsize=14092996 memory=621672 CPUtime=1.25 cores=0,2,4,6
/proc/20891/task/20904/stat : 20904 (java) S 20888 20891 17830 0 -1 1077944384 33220 0 0 0 119 6 0 0 20 0 15 0 245916204 14431227904 150298 33554432000 4194304 4196468 140724855413936 140050292529904 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20905] ppid=20888 vsize=14092996 memory=601192 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20905/stat : 20905 (java) S 20888 20891 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245916204 14431227904 150298 33554432000 4194304 4196468 140724855413936 140050291477600 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20906] ppid=20888 vsize=14092996 memory=601192 CPUtime=1.43 cores=0,2,4,6
/proc/20891/task/20906/stat : 20906 (java) S 20888 20891 17830 0 -1 1077944384 2211 0 0 0 71 72 0 0 20 0 15 0 245916205 14431227904 150298 33554432000 4194304 4196468 140724855413936 140050290424112 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 57 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
Current children cumulated CPU time: 2503.14 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 601192 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2458.8 s]
/proc/loadavg: 1.80 1.61 1.54 3/215 21098
/proc/meminfo: memFree=21570600/32770624 swapFree=67108372/67108860
[pid=20891] ppid=20888 vsize=14092996 memory=609504 CPUtime=2520.05 cores=0,2,4,6
/proc/20891/stat : 20891 (java) S 20888 20891 17830 0 -1 1077944320 463436 0 0 0 251611 394 0 0 20 0 15 0 245916199 14431227904 152376 33554432000 4194304 4196468 140724855413936 140724855396480 140050825441015 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
/proc/20891/statm: 3523249 152376 3615 1 0 3485321 0
[pid=20891/tid=20893] ppid=20888 vsize=14092996 memory=1100 CPUtime=2434.81 cores=0,2,4,6
/proc/20891/task/20893/stat : 20893 (java) R 20888 20891 17830 0 -1 4202560 135601 0 0 0 243429 52 0 0 20 0 15 0 245916199 14431227904 152376 33554432000 4194304 4196468 140724855413936 140050829678128 140050448712750 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20894] ppid=20888 vsize=14092996 memory=2144 CPUtime=18.34 cores=0,2,4,6
/proc/20891/task/20894/stat : 20894 (java) S 20888 20891 17830 0 -1 1077944384 29395 0 0 0 1775 59 0 0 20 0 15 0 245916200 14431227904 152376 33554432000 4194304 4196468 140724855413936 140050778061584 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20895] ppid=20888 vsize=14092996 memory=1752 CPUtime=18.38 cores=0,2,4,6
/proc/20891/task/20895/stat : 20895 (java) S 20888 20891 17830 0 -1 1077944384 29286 0 0 0 1778 60 0 0 20 0 15 0 245916200 14431227904 152376 33554432000 4194304 4196468 140724855413936 140050777009040 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20896] ppid=20888 vsize=14092996 memory=6791534058613427641 CPUtime=18.32 cores=0,2,4,6
/proc/20891/task/20896/stat : 20896 (java) S 20888 20891 17830 0 -1 1077944384 29982 0 0 0 1772 60 0 0 20 0 15 0 245916200 14431227904 152376 33554432000 4194304 4196468 140724855413936 140050775956496 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20897] ppid=20888 vsize=14092996 memory=928 CPUtime=18.39 cores=0,2,4,6
/proc/20891/task/20897/stat : 20897 (java) S 20888 20891 17830 0 -1 1077944384 33375 0 0 0 1779 60 0 0 20 0 15 0 245916200 14431227904 152376 33554432000 4194304 4196468 140724855413936 140050774903952 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20898] ppid=20888 vsize=14092996 memory=5540 CPUtime=3.28 cores=0,2,4,6
/proc/20891/task/20898/stat : 20898 (java) S 20888 20891 17830 0 -1 1077944384 103833 0 0 0 283 45 0 0 20 0 15 0 245916201 14431227904 152376 33554432000 4194304 4196468 140724855413936 140050366769136 140050825452162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 48 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20899] ppid=20888 vsize=14092996 memory=4400 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20899/stat : 20899 (java) S 20888 20891 17830 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 245916202 14431227904 152376 33554432000 4194304 4196468 140724855413936 140050365715424 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20900] ppid=20888 vsize=14092996 memory=633984 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20900/stat : 20900 (java) S 20888 20891 17830 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 245916202 14431227904 152376 33554432000 4194304 4196468 140724855413936 140050364662784 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20901] ppid=20888 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20901/stat : 20901 (java) S 20888 20891 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245916204 14431227904 152376 33554432000 4194304 4196468 140724855413936 140050363611344 140050825459611 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20902] ppid=20888 vsize=14092996 memory=4104 CPUtime=2.94 cores=0,2,4,6
/proc/20891/task/20902/stat : 20902 (java) S 20888 20891 17830 0 -1 1077944384 32920 0 0 0 290 4 0 0 20 0 15 0 245916204 14431227904 152376 33554432000 4194304 4196468 140724855413936 140050362558960 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20903] ppid=20888 vsize=14092996 memory=1408 CPUtime=2.8 cores=0,2,4,6
/proc/20891/task/20903/stat : 20903 (java) S 20888 20891 17830 0 -1 1077944384 32175 0 0 0 277 3 0 0 20 0 15 0 245916204 14431227904 152376 33554432000 4194304 4196468 140724855413936 140050293582448 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20904] ppid=20888 vsize=14092996 memory=3100 CPUtime=1.25 cores=0,2,4,6
/proc/20891/task/20904/stat : 20904 (java) S 20888 20891 17830 0 -1 1077944384 33220 0 0 0 119 6 0 0 20 0 15 0 245916204 14431227904 152376 33554432000 4194304 4196468 140724855413936 140050292529904 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20905] ppid=20888 vsize=14092996 memory=3762535611533638385 CPUtime=0 cores=0,2,4,6
/proc/20891/task/20905/stat : 20905 (java) S 20888 20891 17830 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245916204 14431227904 152376 33554432000 4194304 4196468 140724855413936 140050291477600 140050825451221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
[pid=20891/tid=20906] ppid=20888 vsize=14092996 memory=577596 CPUtime=1.44 cores=0,2,4,6
/proc/20891/task/20906/stat : 20906 (java) S 20888 20891 17830 0 -1 1077944384 2213 0 0 0 71 73 0 0 20 0 15 0 245916205 14431227904 152376 33554432000 4194304 4196468 140724855413936 140050290424112 140050825452162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 57 0 0 6293624 6294260 33923072 140724855415892 140724855416073 140724855416073 140724855418831 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 609504 KiB

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

[startup+2458.82 s]
# the end of solver process 20891 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.13 s, system=3.95037 s

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

Child status: 143
Real time (s): 2458.82
CPU time (s): 2520.08
CPU user time (s): 2516.13
CPU system time (s): 3.95037
CPU usage (%): 102.492
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 2591052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.13
system time used= 3.95037
maximum resident set size= 2608356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 463590
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125307
involuntary context switches= 5370


# summary of solver processes directly reported to runsolver:
#   pid: 20891
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2516.13
#   total CPU system time (s): 3.95037

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6898 second user time and 24.4052 second system time

The end

Launcher Data

Begin job on node137 at 2018-08-14 23:52:10
IDJOB=4308675
IDBENCH=141163
IDSOLVER=2792
FILE ID=node137/4308675-1534283530
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-cnt/Auction-cnt-matching080_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-4308675-1534283530/watcher-4308675-1534283530 -o /tmp/evaluation-result-4308675-1534283530/solver-4308675-1534283530 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534271111-19513 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1473156320 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308675-1534283530.xml

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

MD5SUM BENCH= 1c5d38a24e9bc38d89c13541019d4118
RANDOM SEED=1473156320

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:        24000248 kB
MemAvailable:   31480480 kB
Buffers:          145604 kB
Cached:          7544432 kB
SwapCached:            8 kB
Active:          4417420 kB
Inactive:        3750544 kB
Active(anon):     425216 kB
Inactive(anon):   105164 kB
Active(file):    3992204 kB
Inactive(file):  3645380 kB
Unevictable:        7432 kB
Mlocked:            7432 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:             35832 kB
Writeback:             0 kB
AnonPages:        495716 kB
Mapped:            68952 kB
Shmem:             49624 kB
Slab:             299968 kB
SReclaimable:     271108 kB
SUnreclaim:        28860 kB
KernelStack:        3808 kB
PageTables:         6124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1507680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    362496 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= 29216 MiB
End job on node137 at 2018-08-15 00:33:09