Trace number 4291786

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-07-02SAT (TO)45437910 2400.41 2317.72

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.66/0.55	c version: 2018-07-02
0.66/0.55	c seed: 1881604498
0.66/0.55	c timeout: 2400
0.66/0.55	c memlimit: 11000
0.66/0.55	c nbcore: 4
0.66/0.58	c Parsing instance...
3.36/1.93	c Parsing done, starting first complete search...
3.90/2.16	o 0
3.90/2.17	o 641197
3.90/2.17	o 712441
3.90/2.17	o 929580
3.90/2.17	o 1506658
3.90/2.18	o 1642021
3.90/2.18	o 2089401
3.90/2.19	o 2159120
3.90/2.19	o 2391515
3.90/2.19	o 2462759
4.11/2.21	o 3323040
4.11/2.21	o 3528225
4.11/2.21	o 3599469
4.11/2.22	o 3662215
4.11/2.22	o 3731934
4.11/2.22	o 3759144
4.11/2.23	o 3964329
4.42/2.31	o 4004886
4.42/2.31	o 4076130
4.42/2.31	o 4237281
4.42/2.31	o 4308525
4.42/2.33	o 4513710
5.33/2.68	o 4565152
5.33/2.68	o 4702497
5.33/2.68	o 4773741
5.33/2.69	o 4834962
5.33/2.69	o 4906206
5.46/2.73	o 4967761
5.46/2.74	o 5040481
5.46/2.74	o 5103227
5.46/2.74	o 5172946
5.71/2.93	o 5189709
5.71/2.93	o 5267996
5.71/2.94	o 5405341
7.41/4.47	o 5408088
7.51/4.53	o 5520698
7.51/4.53	o 5535074
7.51/4.53	o 5606318
7.51/4.53	o 5673190
7.51/4.53	o 5824854
7.51/4.53	o 5896098
8.72/5.71	o 5937302
8.72/5.71	o 6074647
13.85/10.87	c First complete search done, starting ALNS search...
14.24/11.15	o 6764063
14.24/11.15	o 6971559
14.24/11.16	o 7304497
14.24/11.16	o 7511993
14.24/11.16	o 7671568
14.24/11.16	o 7879064
14.24/11.16	o 8140918
14.24/11.16	o 8177625
14.24/11.16	o 8263729
14.24/11.16	o 8269264
14.24/11.16	o 8636335
14.24/11.17	o 8722439
14.24/11.17	o 8741094
14.24/11.17	o 8746629
14.24/11.17	o 8901243
14.24/11.17	o 9199804
14.24/11.17	o 9233365
14.24/11.17	o 9440861
14.24/11.17	o 9739422
14.24/11.17	o 9792462
14.24/11.17	o 9837825
14.24/11.17	o 9890865
14.24/11.17	o 10136386
14.24/11.18	o 10189426
14.24/11.18	o 10383718
14.24/11.18	o 10682279
14.24/11.18	o 10733246
14.24/11.18	o 10794711
14.24/11.18	o 10880815
14.24/11.18	o 11002207
14.24/11.18	o 11088311
14.24/11.19	o 11267872
14.24/11.19	o 11427447
14.24/11.19	o 11634943
14.24/11.19	o 11721047
14.24/11.19	o 11849206
14.24/11.19	o 11935310
14.24/11.19	o 11991539
14.38/11.20	o 12121173
14.38/11.20	o 12177402
14.38/11.20	o 12207277
14.38/11.20	o 12263506
14.38/11.20	o 12335436
14.38/11.20	o 12391665
14.38/11.20	o 12421540
14.38/11.21	o 12477769
14.38/11.21	o 12481547
14.38/11.21	o 12689043
14.38/11.21	o 12745272
14.38/11.21	o 12775147
14.38/11.21	o 12831376
14.38/11.22	o 12873238
14.38/11.22	o 13020807
14.38/11.22	o 13077036
14.38/11.22	o 13117685
14.38/11.22	o 13173914
14.38/11.22	o 13331948
14.38/11.22	o 13388177
14.38/11.22	o 13418052
14.38/11.22	o 13474281
14.38/11.24	o 13522953
14.38/11.25	o 13523472
14.38/11.25	o 13628373
14.38/11.25	o 13686780
14.38/11.25	o 13861869
14.38/11.25	o 13894276
14.38/11.25	o 14069365
14.38/11.25	o 14174266
14.38/11.25	o 14260370
14.38/11.27	o 14277728
14.38/11.27	o 14363832
14.38/11.27	o 14532640
14.38/11.27	o 14588869
14.38/11.28	o 14618744
14.38/11.28	o 14674973
14.38/11.28	o 14685051
14.38/11.28	o 14746303
14.38/11.28	o 14996192
14.38/11.28	o 15082296
14.38/11.28	o 15083552
14.38/11.28	o 15308589
14.38/11.28	o 15394693
14.50/11.30	o 15422037
14.50/11.33	o 15452289
14.50/11.33	o 15555751
14.50/11.33	o 15659785
14.50/11.33	o 15763247
14.50/11.33	o 15811919
14.50/11.33	o 15849351
15.41/11.80	o 16165964
15.41/11.80	o 16466922
15.41/11.80	o 16646330
15.41/11.80	o 16685578
15.41/11.80	o 16986536
15.41/11.80	o 17026673
15.41/11.80	o 17047129
15.41/11.80	o 17366879
15.41/11.81	o 17683646
15.41/11.81	o 17702438
15.41/11.81	o 18063989
15.41/11.81	o 18082781
15.41/11.81	o 18383739
15.41/11.81	o 18651610
15.41/11.81	o 18971360
15.41/11.81	o 19150715
15.41/11.81	o 19470465
15.41/11.81	o 19579601
15.41/11.81	o 19831382
15.41/11.81	o 19879738
15.41/11.81	o 20199488
15.41/11.82	o 20308624
15.41/11.82	o 20495536
15.41/11.82	o 20583095
15.41/11.82	o 20878242
15.41/11.82	o 20926598
15.41/11.82	o 21246348
15.41/11.82	o 21355484
15.41/11.82	o 21441273
15.41/11.82	o 21522997
15.41/11.82	o 21897754
15.41/11.82	o 22359821
15.41/11.83	o 22623665
15.41/11.83	o 22661194
15.41/11.84	o 22703975
15.41/11.84	o 22707124
15.41/11.84	o 22749905
15.41/11.85	o 22903928
15.41/11.85	o 22925447
15.41/11.85	o 23179864
15.41/11.85	o 23374789
15.41/11.86	o 23420719
15.41/11.89	o 23467072
15.41/11.89	o 23513002
15.41/11.89	o 23730916
15.41/11.89	o 23776846
15.69/12.10	o 23783528
15.69/12.10	o 23819737
15.69/12.10	o 24014390
15.69/12.10	o 24297102
15.69/12.10	o 24350142
16.00/12.12	o 24492323
16.00/12.12	o 24562801
16.00/12.13	o 24615841
16.00/12.13	o 24893920
16.00/12.13	o 24946960
16.00/12.13	o 24988229
16.00/12.14	o 25017438
16.00/12.16	o 25116401
16.00/12.16	o 25157670
16.00/12.17	o 25186879
16.00/12.18	o 25480558
16.00/12.18	o 25520127
16.00/12.18	o 25534609
16.00/12.18	o 25646806
16.00/12.19	o 25717284
16.15/12.21	o 25824353
16.15/12.21	o 25951032
16.15/12.22	o 25971319
16.15/12.22	o 25976288
16.15/12.22	o 25979349
16.15/12.22	o 26375045
16.15/12.22	o 26501724
16.15/12.22	o 26602495
16.15/12.22	o 26729174
16.15/12.24	o 26767908
16.15/12.24	o 26797117
16.15/12.29	o 26889141
16.27/12.30	o 26918350
16.27/12.34	o 26971613
16.27/12.34	o 27077830
16.27/12.34	o 27199063
16.27/12.35	o 27228272
16.64/12.64	o 27554883
16.64/12.64	o 27767651
16.64/12.65	o 27864805
16.64/12.65	o 27869774
16.64/12.65	o 27870077
16.64/12.65	o 28077573
16.74/12.70	o 28090445
16.74/12.75	o 28106782
16.74/12.76	o 28119654
19.41/15.02	o 28140243
19.41/15.06	o 28181485
19.41/15.07	o 28204786
19.41/15.07	o 28291229
19.41/15.07	o 28389276
19.41/15.07	o 28475719
19.41/15.07	o 28555827
19.41/15.08	o 28607213
19.41/15.09	o 28649713
19.41/15.09	o 28701099
19.41/15.10	o 28780568
19.41/15.10	o 28860676
19.51/15.11	o 28912062
19.51/15.11	o 28951280
19.51/15.11	o 29002666
19.51/15.12	o 29045166
19.51/15.12	o 29096552
19.51/15.13	o 29121890
19.51/15.14	o 29164390
19.51/15.15	o 29215776
19.61/15.25	o 29223470
19.61/15.25	o 29262688
19.61/15.25	o 29314074
19.61/15.26	o 29356574
19.61/15.26	o 29407960
19.61/15.27	o 29415231
19.61/15.27	o 29509117
19.61/15.29	o 29560503
19.72/15.32	o 29564730
19.72/15.32	o 29566816
19.72/15.33	o 29618202
19.90/15.40	o 29658616
19.90/15.42	o 29660702
19.90/15.42	o 29712088
20.00/15.53	o 29964875
20.00/15.53	o 30016261
20.00/15.54	o 30149365
20.00/15.54	o 30200751
20.10/15.60	o 30202837
20.10/15.61	o 30254223
26.70/21.91	o 30276588
26.70/21.92	o 30501619
26.70/21.92	o 30729563
39.72/34.34	o 30858056
39.72/34.34	o 31668397
39.87/34.40	o 32673970
63.71/57.89	o 33422334
63.82/57.99	o 33799720
65.77/59.71	o 33951058
67.58/61.56	o 33970339
92.76/86.57	o 34062867
92.76/86.57	o 34068038
99.29/93.06	o 34140508
99.29/93.06	o 34545501
99.40/93.13	o 34656818
99.49/93.28	o 34721605
99.49/93.29	o 34762539
99.61/93.30	o 34919257
99.61/93.30	o 34992079
117.79/111.46	o 35144588
117.89/111.53	o 35152454
137.50/131.06	o 35364695
177.65/170.33	o 35655178
178.06/170.78	o 35750938
178.06/170.79	o 35813241
178.16/170.80	o 36025016
179.32/171.90	o 36033565
179.73/172.38	o 36523555
179.93/172.54	o 36654649
180.75/173.37	o 37008964
180.85/173.46	o 37181244
180.95/173.52	o 37434847
180.95/173.53	o 37474808
180.95/173.54	o 37647088
180.95/173.56	o 37798420
182.70/175.20	o 38107128
203.60/195.67	o 38263689
203.60/195.67	o 38698035
203.71/195.77	o 38761484
203.71/195.77	o 38766378
203.91/195.91	o 38822288
204.02/196.08	o 38869152
204.83/196.80	o 38942523
204.83/196.80	o 39047304
204.83/196.90	o 39214615
204.94/196.90	o 39332689
212.01/203.87	o 39382060
219.70/211.39	o 39414853
222.11/213.61	o 39469677
222.32/213.81	o 39601782
222.63/214.14	o 39764704
222.82/214.33	o 39772861
225.09/216.56	o 39981387
226.00/217.45	o 40069860
226.30/217.79	o 40426926
227.21/218.65	o 40685278
227.31/218.72	o 40692236
227.31/218.72	o 40703342
229.57/220.90	o 40883459
229.57/220.90	o 41148085
229.57/220.90	o 41287589
230.09/221.43	o 41656796
230.09/221.48	o 41721075
235.02/226.26	o 41945867
235.02/226.26	o 41954024
244.13/235.11	o 41956414
244.53/235.52	o 42088398
244.53/235.52	o 42257814
244.63/235.63	o 42287828
244.75/235.77	o 42430161
245.25/236.27	o 42472729
245.45/236.40	o 42552476
245.96/236.90	o 42628628
245.96/236.98	o 42636785
248.97/239.80	o 42788719
250.50/241.31	o 42819744
251.03/241.84	o 43060690
254.32/245.04	o 43327656
254.32/245.04	o 43472371
254.32/245.06	o 43527850
257.50/248.16	o 43548937
257.79/248.44	o 43752905
258.13/248.73	o 43867956
265.49/255.95	o 44006709
271.96/262.20	o 44068345
278.35/268.46	o 44084700
288.98/278.80	o 44224403
303.05/292.57	o 44290013
369.71/357.14	o 44401343
417.66/403.94	o 44507090
417.76/404.04	o 44589735
417.76/404.04	o 44695785
418.49/404.73	o 45210504
477.51/461.99	o 45232770
669.60/648.00	o 45437910
2400.05/2317.68	s SATISFIABLE
2400.05/2317.68	v <instantiation>
2400.05/2317.68	v 	<list>
2400.05/2317.68	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]
2400.05/2317.68	v 	</list>
2400.05/2317.68	v 	<values>
2400.05/2317.68	v 		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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 
2400.05/2317.68	v 	</values>
2400.05/2317.68	v </instantiation>

Verifier Data 

OK	45437910

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291786-1532262202/watcher-4291786-1532262202 -o /tmp/evaluation-result-4291786-1532262202/solver-4291786-1532262202 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532262189-32666 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1881604498 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291786-1532262202.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.107659 s]*
/proc/loadavg: 2.47 2.13 2.00 3/222 343
/proc/meminfo: memFree=23075676/32770624 swapFree=67108860/67108860
[pid=327] ppid=321 vsize=14082740 memory=33192 CPUtime=0.12 cores=1,3,5,7
/proc/327/stat : 327 (java) S 321 327 32634 0 -1 1077944320 7235 0 0 0 11 1 0 0 20 0 15 0 43783361 14420725760 8298 33554432000 4194304 4196468 140733018665840 140733018648384 140315417108215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
/proc/327/statm: 3520685 8298 3140 1 0 3482761 0
[pid=327/tid=329] ppid=321 vsize=14082740 memory=7022364594140610616 CPUtime=0.1 cores=1,3,5,7
/proc/327/task/329/stat : 329 (java) R 321 327 32634 0 -1 4202560 5351 0 0 0 9 1 0 0 20 0 15 0 43783361 14420725760 8364 33554432000 4194304 4196468 140733018665840 140315421329792 140315417120150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=330] ppid=321 vsize=14082740 memory=365 CPUtime=0 cores=1,3,5,7
/proc/327/task/330/stat : 330 (java) S 321 327 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43783362 14420725760 8364 33554432000 4194304 4196468 140733018665840 140315013343504 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=331] ppid=321 vsize=14082740 memory=3762960788020606624 CPUtime=0 cores=1,3,5,7
/proc/327/task/331/stat : 331 (java) S 321 327 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43783362 14420725760 8364 33554432000 4194304 4196468 140733018665840 140315012290960 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=332] ppid=321 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/327/task/332/stat : 332 (java) S 321 327 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43783362 14420725760 8364 33554432000 4194304 4196468 140733018665840 140315011238416 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=333] ppid=321 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/327/task/333/stat : 333 (java) S 321 327 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43783362 14420725760 8364 33554432000 4194304 4196468 140733018665840 140315010185872 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=334] ppid=321 vsize=14082740 memory=140390127449728 CPUtime=0 cores=1,3,5,7
/proc/327/task/334/stat : 334 (java) S 321 327 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43783363 14420725760 8364 33554432000 4194304 4196468 140733018665840 140314329426416 140315417119362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=335] ppid=321 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/327/task/335/stat : 335 (java) S 321 327 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43783364 14420725760 8364 33554432000 4194304 4196468 140733018665840 140314328372640 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=336] ppid=321 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/327/task/336/stat : 336 (java) S 321 327 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43783364 14420725760 8364 33554432000 4194304 4196468 140733018665840 140314327320048 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=337] ppid=321 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/327/task/337/stat : 337 (java) S 321 327 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43783366 14420725760 8364 33554432000 4194304 4196468 140733018665840 140314326268624 140315417126811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=338] ppid=321 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/327/task/338/stat : 338 (java) S 321 327 32634 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 43783366 14420725760 8364 33554432000 4194304 4196468 140733018665840 140314325215216 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=339] ppid=321 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/327/task/339/stat : 339 (java) S 321 327 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43783366 14420725760 8364 33554432000 4194304 4196468 140733018665840 140314324162672 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=340] ppid=321 vsize=14082740 memory=140390127449728 CPUtime=0.01 cores=1,3,5,7
/proc/327/task/340/stat : 340 (java) R 321 327 32634 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 15 0 43783366 14420725760 8364 33554432000 4194304 4196468 140733018665840 140314323110128 140315417129562 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=341] ppid=321 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/327/task/341/stat : 341 (java) S 321 327 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43783367 14420725760 8364 33554432000 4194304 4196468 140733018665840 140314322057824 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=342] ppid=321 vsize=14082740 memory=140390127449728 CPUtime=0 cores=1,3,5,7
/proc/327/task/342/stat : 342 (java) S 321 327 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43783367 14420725760 8364 33554432000 4194304 4196468 140733018665840 140314321005360 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33192 KiB

[startup+0.210718 s]*
/proc/loadavg: 2.47 2.13 2.00 4/222 343
/proc/meminfo: memFree=23062032/32770624 swapFree=67108860/67108860
[pid=327] ppid=321 vsize=14082740 memory=46592 CPUtime=0.29 cores=1,3,5,7
/proc/327/stat : 327 (java) S 321 327 32634 0 -1 1077944320 10248 0 0 0 28 1 0 0 20 0 15 0 43783361 14420725760 11648 33554432000 4194304 4196468 140733018665840 140733018648384 140315417108215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
/proc/327/statm: 3520685 11648 3337 1 0 3482761 0
[pid=327/tid=329] ppid=321 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/327/task/329/stat : 329 (java) R 321 327 32634 0 -1 4202560 8040 0 0 0 19 1 0 0 20 0 15 0 43783361 14420725760 11714 33554432000 4194304 4196468 140733018665840 140315421335408 140315401151845 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=330] ppid=321 vsize=14082740 memory=365 CPUtime=0 cores=1,3,5,7
/proc/327/task/330/stat : 330 (java) S 321 327 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43783362 14420725760 11714 33554432000 4194304 4196468 140733018665840 140315013343504 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=331] ppid=321 vsize=14082740 memory=3762960788020606624 CPUtime=0 cores=1,3,5,7
/proc/327/task/331/stat : 331 (java) S 321 327 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43783362 14420725760 11714 33554432000 4194304 4196468 140733018665840 140315012290960 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=332] ppid=321 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/327/task/332/stat : 332 (java) S 321 327 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43783362 14420725760 11714 33554432000 4194304 4196468 140733018665840 140315011238416 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=333] ppid=321 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/327/task/333/stat : 333 (java) S 321 327 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43783362 14420725760 11714 33554432000 4194304 4196468 140733018665840 140315010185872 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=334] ppid=321 vsize=14082740 memory=140390127449728 CPUtime=0 cores=1,3,5,7
/proc/327/task/334/stat : 334 (java) S 321 327 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43783363 14420725760 11714 33554432000 4194304 4196468 140733018665840 140314329426416 140315417119362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=335] ppid=321 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/327/task/335/stat : 335 (java) S 321 327 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43783364 14420725760 11714 33554432000 4194304 4196468 140733018665840 140314328372640 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=336] ppid=321 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/327/task/336/stat : 336 (java) S 321 327 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43783364 14420725760 11714 33554432000 4194304 4196468 140733018665840 140314327320048 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=337] ppid=321 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/327/task/337/stat : 337 (java) S 321 327 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43783366 14420725760 11714 33554432000 4194304 4196468 140733018665840 140314326268624 140315417126811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=338] ppid=321 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/327/task/338/stat : 338 (java) R 321 327 32634 0 -1 4202560 503 0 0 0 2 0 0 0 20 0 15 0 43783366 14420725760 11714 33554432000 4194304 4196468 140733018665840 140314325201240 140315394371856 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=339] ppid=321 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/327/task/339/stat : 339 (java) R 321 327 32634 0 -1 4202560 96 0 0 0 1 0 0 0 20 0 15 0 43783366 14420725760 11714 33554432000 4194304 4196468 140733018665840 140314324162672 140315398478528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=340] ppid=321 vsize=14082740 memory=140390127449728 CPUtime=0.06 cores=1,3,5,7
/proc/327/task/340/stat : 340 (java) R 321 327 32634 0 -1 4202560 306 0 0 0 6 0 0 0 20 0 15 0 43783366 14420725760 11714 33554432000 4194304 4196468 140733018665840 140314323107664 140315398693735 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=341] ppid=321 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/327/task/341/stat : 341 (java) S 321 327 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43783367 14420725760 11714 33554432000 4194304 4196468 140733018665840 140314322057824 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=342] ppid=321 vsize=14082740 memory=140390127449728 CPUtime=0 cores=1,3,5,7
/proc/327/task/342/stat : 342 (java) S 321 327 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43783367 14420725760 11714 33554432000 4194304 4196468 140733018665840 140314321005360 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46592 KiB

[startup+0.310803 s]*
/proc/loadavg: 2.47 2.13 2.00 3/222 343
/proc/meminfo: memFree=23058604/32770624 swapFree=67108860/67108860
[pid=327] ppid=321 vsize=14082740 memory=50140 CPUtime=0.43 cores=1,3,5,7
/proc/327/stat : 327 (java) S 321 327 32634 0 -1 1077944320 10735 0 0 0 41 2 0 0 20 0 15 0 43783361 14420725760 12535 33554432000 4194304 4196468 140733018665840 140733018648384 140315417108215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
/proc/327/statm: 3520685 12535 3378 1 0 3482761 0
[pid=327/tid=329] ppid=321 vsize=14082740 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/327/task/329/stat : 329 (java) R 321 327 32634 0 -1 4202560 8419 0 0 0 28 2 0 0 20 0 15 0 43783361 14420725760 12535 33554432000 4194304 4196468 140733018665840 140315421296048 140315398671759 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=330] ppid=321 vsize=14082740 memory=288293255295271336 CPUtime=0 cores=1,3,5,7
/proc/327/task/330/stat : 330 (java) S 321 327 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43783362 14420725760 12535 33554432000 4194304 4196468 140733018665840 140315013343504 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=331] ppid=321 vsize=14082740 memory=4051050774044868640 CPUtime=0 cores=1,3,5,7
/proc/327/task/331/stat : 331 (java) S 321 327 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43783362 14420725760 12535 33554432000 4194304 4196468 140733018665840 140315012290960 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=332] ppid=321 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/327/task/332/stat : 332 (java) S 321 327 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43783362 14420725760 12535 33554432000 4194304 4196468 140733018665840 140315011238416 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=333] ppid=321 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/327/task/333/stat : 333 (java) S 321 327 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43783362 14420725760 12535 33554432000 4194304 4196468 140733018665840 140315010185872 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=334] ppid=321 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/327/task/334/stat : 334 (java) S 321 327 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43783363 14420725760 12535 33554432000 4194304 4196468 140733018665840 140314329426416 140315417119362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=335] ppid=321 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/327/task/335/stat : 335 (java) S 321 327 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43783364 14420725760 12535 33554432000 4194304 4196468 140733018665840 140314328372640 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=336] ppid=321 vsize=14082740 memory=140390127449728 CPUtime=0 cores=1,3,5,7
/proc/327/task/336/stat : 336 (java) S 321 327 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43783364 14420725760 12535 33554432000 4194304 4196468 140733018665840 140314327320048 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=337] ppid=321 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/327/task/337/stat : 337 (java) S 321 327 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43783366 14420725760 12535 33554432000 4194304 4196468 140733018665840 140314326268624 140315417126811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=338] ppid=321 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/327/task/338/stat : 338 (java) S 321 327 32634 0 -1 1077944384 516 0 0 0 2 0 0 0 20 0 15 0 43783366 14420725760 12535 33554432000 4194304 4196468 140733018665840 140314325215216 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=339] ppid=321 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/327/task/339/stat : 339 (java) S 321 327 32634 0 -1 1077944384 97 0 0 0 2 0 0 0 20 0 15 0 43783366 14420725760 12535 33554432000 4194304 4196468 140733018665840 140314324162672 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=340] ppid=321 vsize=14082740 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/327/task/340/stat : 340 (java) S 321 327 32634 0 -1 1077944384 326 0 0 0 8 0 0 0 20 0 15 0 43783366 14420725760 12535 33554432000 4194304 4196468 140733018665840 140314323110128 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=341] ppid=321 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/327/task/341/stat : 341 (java) S 321 327 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43783367 14420725760 12535 33554432000 4194304 4196468 140733018665840 140314322057824 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=342] ppid=321 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/327/task/342/stat : 342 (java) S 321 327 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43783367 14420725760 12535 33554432000 4194304 4196468 140733018665840 140314321005360 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50140 KiB

[startup+0.70077 s]
/proc/loadavg: 2.47 2.13 2.00 3/222 343
/proc/meminfo: memFree=23036096/32770624 swapFree=67108860/67108860
[pid=327] ppid=321 vsize=14084808 memory=89112 CPUtime=0.99 cores=1,3,5,7
/proc/327/stat : 327 (java) S 321 327 32634 0 -1 1077944320 17583 0 0 0 95 4 0 0 20 0 15 0 43783361 14422843392 22278 33554432000 4194304 4196468 140733018665840 140733018648384 140315417108215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
/proc/327/statm: 3521202 22278 3505 1 0 3483273 0
[pid=327/tid=329] ppid=321 vsize=14084808 memory=3 CPUtime=0.67 cores=1,3,5,7
/proc/327/task/329/stat : 329 (java) R 321 327 32634 0 -1 4202560 14839 0 0 0 64 3 0 0 20 0 15 0 43783361 14422843392 22278 33554432000 4194304 4196468 140733018665840 140315421332208 140315400300571 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=330] ppid=321 vsize=14084808 memory=66 CPUtime=0 cores=1,3,5,7
/proc/327/task/330/stat : 330 (java) S 321 327 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43783362 14422843392 22278 33554432000 4194304 4196468 140733018665840 140315013343504 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=331] ppid=321 vsize=14084808 memory=3828 CPUtime=0 cores=1,3,5,7
/proc/327/task/331/stat : 331 (java) S 321 327 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43783362 14422843392 22278 33554432000 4194304 4196468 140733018665840 140315012290960 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=332] ppid=321 vsize=14084808 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/327/task/332/stat : 332 (java) S 321 327 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43783362 14422843392 22278 33554432000 4194304 4196468 140733018665840 140315011238416 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=333] ppid=321 vsize=14084808 memory=131819 CPUtime=0 cores=1,3,5,7
/proc/327/task/333/stat : 333 (java) S 321 327 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43783362 14422843392 22278 33554432000 4194304 4196468 140733018665840 140315010185872 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=334] ppid=321 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/327/task/334/stat : 334 (java) S 321 327 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43783363 14422843392 22278 33554432000 4194304 4196468 140733018665840 140314329426416 140315417119362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=335] ppid=321 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/327/task/335/stat : 335 (java) S 321 327 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43783364 14422843392 22278 33554432000 4194304 4196468 140733018665840 140314328372640 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=336] ppid=321 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/327/task/336/stat : 336 (java) S 321 327 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43783364 14422843392 22278 33554432000 4194304 4196468 140733018665840 140314327320048 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=337] ppid=321 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/327/task/337/stat : 337 (java) S 321 327 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43783366 14422843392 22278 33554432000 4194304 4196468 140733018665840 140314326268624 140315417126811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=338] ppid=321 vsize=14084808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/327/task/338/stat : 338 (java) S 321 327 32634 0 -1 1077944384 663 0 0 0 7 0 0 0 20 0 15 0 43783366 14422843392 22278 33554432000 4194304 4196468 140733018665840 140314325215216 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=339] ppid=321 vsize=14084808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/327/task/339/stat : 339 (java) S 321 327 32634 0 -1 1077944384 270 0 0 0 7 0 0 0 20 0 15 0 43783366 14422843392 22278 33554432000 4194304 4196468 140733018665840 140314324162672 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=340] ppid=321 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/327/task/340/stat : 340 (java) S 321 327 32634 0 -1 1077944384 429 0 0 0 15 0 0 0 20 0 15 0 43783366 14422843392 22278 33554432000 4194304 4196468 140733018665840 140314323110128 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=341] ppid=321 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/327/task/341/stat : 341 (java) S 321 327 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43783367 14422843392 22278 33554432000 4194304 4196468 140733018665840 140314322057824 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=342] ppid=321 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/327/task/342/stat : 342 (java) S 321 327 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43783367 14422843392 22278 33554432000 4194304 4196468 140733018665840 140314321005360 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 89112 KiB

[startup+1.50076 s]
/proc/loadavg: 2.47 2.13 2.00 4/222 343
/proc/meminfo: memFree=23002904/32770624 swapFree=67108860/67108860
[pid=327] ppid=321 vsize=14086856 memory=182536 CPUtime=2.61 cores=1,3,5,7
/proc/327/stat : 327 (java) S 321 327 32634 0 -1 1077944320 20677 0 0 0 254 7 0 0 20 0 15 0 43783361 14424940544 45634 33554432000 4194304 4196468 140733018665840 140733018648384 140315417108215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
/proc/327/statm: 3521714 45634 3544 1 0 3483785 0
[pid=327/tid=329] ppid=321 vsize=14086856 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/327/task/329/stat : 329 (java) R 321 327 32634 0 -1 4202560 16042 0 0 0 142 5 0 0 20 0 15 0 43783361 14424940544 45634 33554432000 4194304 4196468 140733018665840 140315421344528 140315059782312 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=330] ppid=321 vsize=14086856 memory=89112 CPUtime=0 cores=1,3,5,7
/proc/327/task/330/stat : 330 (java) S 321 327 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43783362 14424940544 45634 33554432000 4194304 4196468 140733018665840 140315013343504 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=331] ppid=321 vsize=14086856 memory=3 CPUtime=0 cores=1,3,5,7
/proc/327/task/331/stat : 331 (java) S 321 327 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43783362 14424940544 45634 33554432000 4194304 4196468 140733018665840 140315012290960 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=332] ppid=321 vsize=14086856 memory=66 CPUtime=0 cores=1,3,5,7
/proc/327/task/332/stat : 332 (java) S 321 327 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43783362 14424940544 45634 33554432000 4194304 4196468 140733018665840 140315011238416 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=333] ppid=321 vsize=14086856 memory=0 CPUtime=0 cores=1,3,5,7
/proc/327/task/333/stat : 333 (java) S 321 327 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43783362 14424940544 45634 33554432000 4194304 4196468 140733018665840 140315010185872 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=334] ppid=321 vsize=14086856 memory=288230617492240660 CPUtime=0 cores=1,3,5,7
/proc/327/task/334/stat : 334 (java) S 321 327 32634 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 43783363 14424940544 45634 33554432000 4194304 4196468 140733018665840 140314329426416 140315417119362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0

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

/proc/327/task/329/stat : 329 (java) R 321 327 32634 0 -1 4202560 223677 0 0 0 211797 99 0 0 20 0 15 0 43783361 14431232000 1072829 33554432000 4194304 4196468 140733018665840 140315421345168 140315065001539 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=330] ppid=321 vsize=14093000 memory=4291316 CPUtime=22.02 cores=1,3,5,7
/proc/327/task/330/stat : 330 (java) S 321 327 32634 0 -1 1077944384 20213 0 0 0 2163 39 0 0 20 0 15 0 43783362 14431232000 1072829 33554432000 4194304 4196468 140733018665840 140315013343504 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=331] ppid=321 vsize=14093000 memory=4291316 CPUtime=22.08 cores=1,3,5,7
/proc/327/task/331/stat : 331 (java) S 321 327 32634 0 -1 1077944384 17132 0 0 0 2168 40 0 0 20 0 15 0 43783362 14431232000 1072829 33554432000 4194304 4196468 140733018665840 140315012290960 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=332] ppid=321 vsize=14093000 memory=4291316 CPUtime=22.05 cores=1,3,5,7
/proc/327/task/332/stat : 332 (java) S 321 327 32634 0 -1 1077944384 21305 0 0 0 2163 42 0 0 20 0 15 0 43783362 14431232000 1072829 33554432000 4194304 4196468 140733018665840 140315011238416 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=333] ppid=321 vsize=14093000 memory=4291316 CPUtime=22.06 cores=1,3,5,7
/proc/327/task/333/stat : 333 (java) S 321 327 32634 0 -1 1077944384 18984 0 0 0 2165 41 0 0 20 0 15 0 43783362 14431232000 1072829 33554432000 4194304 4196468 140733018665840 140315010185872 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=334] ppid=321 vsize=14093000 memory=1008 CPUtime=0.86 cores=1,3,5,7
/proc/327/task/334/stat : 334 (java) S 321 327 32634 0 -1 1077944384 42385 0 0 0 72 14 0 0 20 0 15 0 43783363 14431232000 1072829 33554432000 4194304 4196468 140733018665840 140314329426416 140315417119362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=335] ppid=321 vsize=14093000 memory=4291316 CPUtime=0 cores=1,3,5,7
/proc/327/task/335/stat : 335 (java) S 321 327 32634 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 43783364 14431232000 1072829 33554432000 4194304 4196468 140733018665840 140314328372704 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=336] ppid=321 vsize=14093000 memory=4291316 CPUtime=0 cores=1,3,5,7
/proc/327/task/336/stat : 336 (java) S 321 327 32634 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 43783364 14431232000 1072829 33554432000 4194304 4196468 140733018665840 140314327320064 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=337] ppid=321 vsize=14093000 memory=4291316 CPUtime=0 cores=1,3,5,7
/proc/327/task/337/stat : 337 (java) S 321 327 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43783366 14431232000 1072829 33554432000 4194304 4196468 140733018665840 140314326268624 140315417126811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=338] ppid=321 vsize=14093000 memory=1404 CPUtime=3.3 cores=1,3,5,7
/proc/327/task/338/stat : 338 (java) S 321 327 32634 0 -1 1077944384 36776 0 0 0 326 4 0 0 20 0 15 0 43783366 14431232000 1072829 33554432000 4194304 4196468 140733018665840 140314325215216 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=339] ppid=321 vsize=14093000 memory=3252 CPUtime=2.61 cores=1,3,5,7
/proc/327/task/339/stat : 339 (java) S 321 327 32634 0 -1 1077944384 31701 0 0 0 257 4 0 0 20 0 15 0 43783366 14431232000 1072829 33554432000 4194304 4196468 140733018665840 140314324162672 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=340] ppid=321 vsize=14093000 memory=4291316 CPUtime=1.25 cores=1,3,5,7
/proc/327/task/340/stat : 340 (java) S 321 327 32634 0 -1 1077944384 33548 0 0 0 120 5 0 0 20 0 15 0 43783366 14431232000 1072829 33554432000 4194304 4196468 140733018665840 140314323110128 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=341] ppid=321 vsize=14093000 memory=4291316 CPUtime=0 cores=1,3,5,7
/proc/327/task/341/stat : 341 (java) S 321 327 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43783367 14431232000 1072829 33554432000 4194304 4196468 140733018665840 140314322057824 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=342] ppid=321 vsize=14093000 memory=3248 CPUtime=1.24 cores=1,3,5,7
/proc/327/task/342/stat : 342 (java) S 321 327 32634 0 -1 1077944384 1782 0 0 0 59 65 0 0 20 0 15 0 43783367 14431232000 1072829 33554432000 4194304 4196468 140733018665840 140314321005360 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
Current children cumulated CPU time: 2216.53 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4291316 KiB

[startup+2202.3 s]
/proc/loadavg: 1.42 1.58 1.64 3/219 423
/proc/meminfo: memFree=18023664/32770624 swapFree=67108860/67108860
[pid=327] ppid=321 vsize=14093000 memory=4290540 CPUtime=2279.26 cores=1,3,5,7
/proc/327/stat : 327 (java) S 321 327 32634 0 -1 1077944320 457642 0 0 0 227585 341 0 0 20 0 15 0 43783361 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140733018648384 140315417108215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
/proc/327/statm: 3523250 1072635 3618 1 0 3485321 0
[pid=327/tid=329] ppid=321 vsize=14093000 memory=4290540 CPUtime=2178.05 cores=1,3,5,7
/proc/327/task/329/stat : 329 (java) R 321 327 32634 0 -1 4202560 230503 0 0 0 217705 100 0 0 20 0 15 0 43783361 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140315421345296 140315062428841 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=330] ppid=321 vsize=14093000 memory=4290540 CPUtime=22.93 cores=1,3,5,7
/proc/327/task/330/stat : 330 (java) S 321 327 32634 0 -1 1077944384 20432 0 0 0 2254 39 0 0 20 0 15 0 43783362 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140315013343504 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=331] ppid=321 vsize=14093000 memory=4291316 CPUtime=22.97 cores=1,3,5,7
/proc/327/task/331/stat : 331 (java) S 321 327 32634 0 -1 1077944384 17446 0 0 0 2257 40 0 0 20 0 15 0 43783362 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140315012290960 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=332] ppid=321 vsize=14093000 memory=4291316 CPUtime=22.95 cores=1,3,5,7
/proc/327/task/332/stat : 332 (java) S 321 327 32634 0 -1 1077944384 21442 0 0 0 2253 42 0 0 20 0 15 0 43783362 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140315011238416 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=333] ppid=321 vsize=14093000 memory=4290540 CPUtime=22.96 cores=1,3,5,7
/proc/327/task/333/stat : 333 (java) S 321 327 32634 0 -1 1077944384 19874 0 0 0 2255 41 0 0 20 0 15 0 43783362 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140315010185872 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=334] ppid=321 vsize=14093000 memory=4290540 CPUtime=0.86 cores=1,3,5,7
/proc/327/task/334/stat : 334 (java) S 321 327 32634 0 -1 1077944384 42642 0 0 0 72 14 0 0 20 0 15 0 43783363 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140314329426416 140315417119362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=335] ppid=321 vsize=14093000 memory=4290984 CPUtime=0 cores=1,3,5,7
/proc/327/task/335/stat : 335 (java) S 321 327 32634 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 43783364 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140314328372704 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=336] ppid=321 vsize=14093000 memory=4291316 CPUtime=0 cores=1,3,5,7
/proc/327/task/336/stat : 336 (java) S 321 327 32634 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 43783364 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140314327320064 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=337] ppid=321 vsize=14093000 memory=7440055768127131728 CPUtime=0 cores=1,3,5,7
/proc/327/task/337/stat : 337 (java) S 321 327 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43783366 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140314326268624 140315417126811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=338] ppid=321 vsize=14093000 memory=4290540 CPUtime=3.3 cores=1,3,5,7
/proc/327/task/338/stat : 338 (java) S 321 327 32634 0 -1 1077944384 36784 0 0 0 326 4 0 0 20 0 15 0 43783366 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140314325215216 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=339] ppid=321 vsize=14093000 memory=4290540 CPUtime=2.61 cores=1,3,5,7
/proc/327/task/339/stat : 339 (java) S 321 327 32634 0 -1 1077944384 31704 0 0 0 257 4 0 0 20 0 15 0 43783366 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140314324162672 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=340] ppid=321 vsize=14093000 memory=4291316 CPUtime=1.25 cores=1,3,5,7
/proc/327/task/340/stat : 340 (java) S 321 327 32634 0 -1 1077944384 33552 0 0 0 120 5 0 0 20 0 15 0 43783366 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140314323110128 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=341] ppid=321 vsize=14093000 memory=1948 CPUtime=0 cores=1,3,5,7
/proc/327/task/341/stat : 341 (java) S 321 327 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43783367 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140314322057824 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=342] ppid=321 vsize=14093000 memory=4290540 CPUtime=1.28 cores=1,3,5,7
/proc/327/task/342/stat : 342 (java) S 321 327 32634 0 -1 1077944384 1821 0 0 0 62 66 0 0 20 0 15 0 43783367 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140314321005360 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 40 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
Current children cumulated CPU time: 2279.26 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4290540 KiB

[startup+2262.3 s]
/proc/loadavg: 1.48 1.56 1.64 3/219 447
/proc/meminfo: memFree=18072900/32770624 swapFree=67108860/67108860
[pid=327] ppid=321 vsize=14093000 memory=4290540 CPUtime=2342.02 cores=1,3,5,7
/proc/327/stat : 327 (java) S 321 327 32634 0 -1 1077944320 467152 0 0 0 233858 344 0 0 20 0 15 0 43783361 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140733018648384 140315417108215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
/proc/327/statm: 3523250 1072635 3618 1 0 3485321 0
[pid=327/tid=329] ppid=321 vsize=14093000 memory=4290540 CPUtime=2237.12 cores=1,3,5,7
/proc/327/task/329/stat : 329 (java) R 321 327 32634 0 -1 4202560 236670 0 0 0 223611 101 0 0 20 0 15 0 43783361 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140315421345248 140315062428846 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=330] ppid=321 vsize=14093000 memory=4290540 CPUtime=23.84 cores=1,3,5,7
/proc/327/task/330/stat : 330 (java) S 321 327 32634 0 -1 1077944384 21535 0 0 0 2345 39 0 0 20 0 15 0 43783362 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140315013343504 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=331] ppid=321 vsize=14093000 memory=4290540 CPUtime=23.87 cores=1,3,5,7
/proc/327/task/331/stat : 331 (java) S 321 327 32634 0 -1 1077944384 18092 0 0 0 2347 40 0 0 20 0 15 0 43783362 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140315012290960 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=332] ppid=321 vsize=14093000 memory=4291316 CPUtime=23.87 cores=1,3,5,7
/proc/327/task/332/stat : 332 (java) S 321 327 32634 0 -1 1077944384 21730 0 0 0 2345 42 0 0 20 0 15 0 43783362 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140315011238416 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=333] ppid=321 vsize=14093000 memory=4290540 CPUtime=23.86 cores=1,3,5,7
/proc/327/task/333/stat : 333 (java) S 321 327 32634 0 -1 1077944384 20307 0 0 0 2345 41 0 0 20 0 15 0 43783362 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140315010185872 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=334] ppid=321 vsize=14093000 memory=4290540 CPUtime=0.87 cores=1,3,5,7
/proc/327/task/334/stat : 334 (java) S 321 327 32634 0 -1 1077944384 42906 0 0 0 73 14 0 0 20 0 15 0 43783363 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140314329426416 140315417119362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=335] ppid=321 vsize=14093000 memory=4290540 CPUtime=0 cores=1,3,5,7
/proc/327/task/335/stat : 335 (java) S 321 327 32634 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 43783364 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140314328372704 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=336] ppid=321 vsize=14093000 memory=4290540 CPUtime=0 cores=1,3,5,7
/proc/327/task/336/stat : 336 (java) S 321 327 32634 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 43783364 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140314327320064 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=337] ppid=321 vsize=14093000 memory=4290540 CPUtime=0 cores=1,3,5,7
/proc/327/task/337/stat : 337 (java) S 321 327 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43783366 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140314326268624 140315417126811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=338] ppid=321 vsize=14093000 memory=4290540 CPUtime=3.31 cores=1,3,5,7
/proc/327/task/338/stat : 338 (java) S 321 327 32634 0 -1 1077944384 37346 0 0 0 327 4 0 0 20 0 15 0 43783366 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140314325215216 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=339] ppid=321 vsize=14093000 memory=54 CPUtime=2.61 cores=1,3,5,7
/proc/327/task/339/stat : 339 (java) S 321 327 32634 0 -1 1077944384 31707 0 0 0 257 4 0 0 20 0 15 0 43783366 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140314324162672 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=340] ppid=321 vsize=14093000 memory=316096644481548589 CPUtime=1.25 cores=1,3,5,7
/proc/327/task/340/stat : 340 (java) S 321 327 32634 0 -1 1077944384 33555 0 0 0 120 5 0 0 20 0 15 0 43783366 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140314323110128 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=341] ppid=321 vsize=14093000 memory=3272 CPUtime=0 cores=1,3,5,7
/proc/327/task/341/stat : 341 (java) S 321 327 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43783367 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140314322057824 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=342] ppid=321 vsize=14093000 memory=4290540 CPUtime=1.31 cores=1,3,5,7
/proc/327/task/342/stat : 342 (java) S 321 327 32634 0 -1 1077944384 1862 0 0 0 63 68 0 0 20 0 15 0 43783367 14431232000 1072635 33554432000 4194304 4196468 140733018665840 140314321005360 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 40 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
Current children cumulated CPU time: 2342.02 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4290540 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2317.6 s]
/proc/loadavg: 1.35 1.50 1.61 3/220 449
/proc/meminfo: memFree=17965144/32770624 swapFree=67108860/67108860
[pid=327] ppid=321 vsize=14093000 memory=4291320 CPUtime=2400.05 cores=1,3,5,7
/proc/327/stat : 327 (java) S 321 327 32634 0 -1 1077944320 480109 0 0 0 239659 346 0 0 20 0 15 0 43783361 14431232000 1072830 33554432000 4194304 4196468 140733018665840 140733018648384 140315417108215 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
/proc/327/statm: 3523250 1072830 3618 1 0 3485321 0
[pid=327/tid=329] ppid=321 vsize=14093000 memory=3828 CPUtime=2291.55 cores=1,3,5,7
/proc/327/task/329/stat : 329 (java) R 321 327 32634 0 -1 4202560 241727 0 0 0 229053 102 0 0 20 0 15 0 43783361 14431232000 1072830 33554432000 4194304 4196468 140733018665840 140315421345248 140315065001768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=330] ppid=321 vsize=14093000 memory=1408 CPUtime=24.7 cores=1,3,5,7
/proc/327/task/330/stat : 330 (java) S 321 327 32634 0 -1 1077944384 21866 0 0 0 2431 39 0 0 20 0 15 0 43783362 14431232000 1072830 33554432000 4194304 4196468 140733018665840 140315013343504 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=331] ppid=321 vsize=14093000 memory=3248 CPUtime=24.74 cores=1,3,5,7
/proc/327/task/331/stat : 331 (java) S 321 327 32634 0 -1 1077944384 19373 0 0 0 2433 41 0 0 20 0 15 0 43783362 14431232000 1072830 33554432000 4194304 4196468 140733018665840 140315012290960 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=332] ppid=321 vsize=14093000 memory=4291320 CPUtime=24.71 cores=1,3,5,7
/proc/327/task/332/stat : 332 (java) S 321 327 32634 0 -1 1077944384 22399 0 0 0 2429 42 0 0 20 0 15 0 43783362 14431232000 1072830 33554432000 4194304 4196468 140733018665840 140315011238416 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=333] ppid=321 vsize=14093000 memory=4100 CPUtime=24.73 cores=1,3,5,7
/proc/327/task/333/stat : 333 (java) S 321 327 32634 0 -1 1077944384 20615 0 0 0 2432 41 0 0 20 0 15 0 43783362 14431232000 1072830 33554432000 4194304 4196468 140733018665840 140315010185872 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=334] ppid=321 vsize=14093000 memory=14884 CPUtime=0.88 cores=1,3,5,7
/proc/327/task/334/stat : 334 (java) S 321 327 32634 0 -1 1077944384 43166 0 0 0 74 14 0 0 20 0 15 0 43783363 14431232000 1072830 33554432000 4194304 4196468 140733018665840 140314329426416 140315417119362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=335] ppid=321 vsize=14093000 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/327/task/335/stat : 335 (java) S 321 327 32634 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 43783364 14431232000 1072830 33554432000 4194304 4196468 140733018665840 140314328372704 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=336] ppid=321 vsize=14093000 memory=2448 CPUtime=0 cores=1,3,5,7
/proc/327/task/336/stat : 336 (java) S 321 327 32634 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 43783364 14431232000 1072830 33554432000 4194304 4196468 140733018665840 140314327320064 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=337] ppid=321 vsize=14093000 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/327/task/337/stat : 337 (java) S 321 327 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43783366 14431232000 1072830 33554432000 4194304 4196468 140733018665840 140314326268624 140315417126811 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=338] ppid=321 vsize=14093000 memory=792 CPUtime=3.37 cores=1,3,5,7
/proc/327/task/338/stat : 338 (java) S 321 327 32634 0 -1 1077944384 39508 0 0 0 333 4 0 0 20 0 15 0 43783366 14431232000 1072830 33554432000 4194304 4196468 140733018665840 140314325215216 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=339] ppid=321 vsize=14093000 memory=1228 CPUtime=2.68 cores=1,3,5,7
/proc/327/task/339/stat : 339 (java) S 321 327 32634 0 -1 1077944384 34552 0 0 0 264 4 0 0 20 0 15 0 43783366 14431232000 1072830 33554432000 4194304 4196468 140733018665840 140314324162672 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=340] ppid=321 vsize=14093000 memory=1948 CPUtime=1.25 cores=1,3,5,7
/proc/327/task/340/stat : 340 (java) S 321 327 32634 0 -1 1077944384 33563 0 0 0 120 5 0 0 20 0 15 0 43783366 14431232000 1072830 33554432000 4194304 4196468 140733018665840 140314323110128 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=341] ppid=321 vsize=14093000 memory=11968 CPUtime=0 cores=1,3,5,7
/proc/327/task/341/stat : 341 (java) S 321 327 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43783367 14431232000 1072830 33554432000 4194304 4196468 140733018665840 140314322057824 140315417118421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
[pid=327/tid=342] ppid=321 vsize=14093000 memory=1696 CPUtime=1.35 cores=1,3,5,7
/proc/327/task/342/stat : 342 (java) S 321 327 32634 0 -1 1077944384 1898 0 0 0 65 70 0 0 20 0 15 0 43783367 14431232000 1072830 33554432000 4194304 4196468 140733018665840 140314321005360 140315417119362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 36384768 140733018674260 140733018674441 140733018674441 140733018677199 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 4291320 KiB

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

[startup+2317.72 s]
# the end of solver process 327 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.92 s, system=3.49156 s

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

Child status: 143
Real time (s): 2317.72
CPU time (s): 2400.41
CPU user time (s): 2396.92
CPU system time (s): 3.49156
CPU usage (%): 103.568
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 4291564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.92
system time used= 3.49156
maximum resident set size= 4292052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 481065
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71527
involuntary context switches= 3778


# summary of solver processes directly reported to runsolver:
#   pid: 327
#   total CPU time (s): 2400.41
#   total CPU user time (s): 2396.92
#   total CPU system time (s): 3.49156

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.8621 second user time and 23.0657 second system time

The end

Launcher Data 

Begin job on node135 at 2018-07-22 14:23:22
IDJOB=4291786
IDBENCH=141163
IDSOLVER=2746
FILE ID=node135/4291786-1532262202
RUNJOBID= node135-1532262189-32666
PBS_JOBID= 21018977
Free space on /tmp= 52900 MiB

SOLVER NAME= OscaR - Hybrid 2018-07-02
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-4291786-1532262202/watcher-4291786-1532262202 -o /tmp/evaluation-result-4291786-1532262202/solver-4291786-1532262202 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532262189-32666 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1881604498 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291786-1532262202.xml

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

MD5SUM BENCH= 1c5d38a24e9bc38d89c13541019d4118
RANDOM SEED=1881604498

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23095480 kB
MemAvailable:   31656752 kB
Buffers:          158904 kB
Cached:          8606860 kB
SwapCached:            0 kB
Active:          1717028 kB
Inactive:        7383800 kB
Active(anon):     285036 kB
Inactive(anon):    69912 kB
Active(file):    1431992 kB
Inactive(file):  7313888 kB
Unevictable:        7188 kB
Mlocked:            7188 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             36236 kB
Writeback:             0 kB
AnonPages:        348196 kB
Mapped:            49140 kB
Shmem:             17056 kB
Slab:             270952 kB
SReclaimable:     243852 kB
SUnreclaim:        27100 kB
KernelStack:        3888 kB
PageTables:         5808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1422488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 52864 MiB
End job on node135 at 2018-07-22 15:02:00