Trace number 4308691

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Hybrid 2018-08-14SAT (TO)46256429 2520.05 2449.33

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-matching080_c18.xml
MD5SUM8abf4f1f4dc00a8da6097f5555605512
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark46256429
Best CPU time to get the best result obtained on this benchmark2520.05
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":"sum","count":318}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.68/0.55	c version: 2018-08-14
0.68/0.56	c seed: 107484310
0.68/0.56	c timeout: 2520
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
3.29/1.92	c Parsing done, starting first complete search...
3.77/2.16	o 0
3.77/2.17	o 641197
3.77/2.17	o 712441
3.77/2.17	o 929580
3.77/2.17	o 1506658
3.77/2.18	o 1642021
3.77/2.19	o 2089401
3.77/2.19	o 2159120
3.77/2.19	o 2391515
3.77/2.19	o 2462759
3.98/2.21	o 3323040
3.98/2.21	o 3528225
3.98/2.21	o 3599469
3.98/2.22	o 3662215
3.98/2.22	o 3731934
3.98/2.22	o 3759144
3.98/2.23	o 3964329
4.29/2.30	o 4004886
4.29/2.31	o 4076130
4.29/2.31	o 4237281
4.29/2.31	o 4308525
4.29/2.32	o 4513710
5.14/2.62	o 4565152
5.14/2.62	o 4702497
5.14/2.63	o 4773741
5.14/2.63	o 4834962
5.14/2.63	o 4906206
5.14/2.66	o 4967761
5.14/2.67	o 5040481
5.14/2.68	o 5103227
5.14/2.68	o 5172946
5.43/2.85	o 5189709
5.43/2.85	o 5267996
5.43/2.85	o 5405341
6.89/4.14	o 5408088
6.89/4.14	o 5520698
6.89/4.16	o 5535074
6.89/4.16	o 5606318
6.89/4.16	o 5673190
6.89/4.16	o 5824854
6.89/4.16	o 5896098
7.90/5.15	o 5937302
8.19/5.44	o 6074647
12.52/9.75	c First complete search done, starting ALNS search...
12.83/9.96	o 6352192
12.83/9.96	o 6960763
12.83/9.96	o 7372542
12.83/9.96	o 7419473
12.83/9.96	o 7831252
12.83/9.96	o 7882219
12.83/9.96	o 8106036
12.83/9.96	o 8436047
12.83/9.96	o 8659864
12.83/9.96	o 8805721
12.83/9.96	o 9029538
12.83/9.97	o 9079091
12.83/9.97	o 9302908
12.83/9.97	o 9575492
12.83/9.97	o 9626459
12.83/9.97	o 9799309
12.83/9.97	o 9850276
12.83/9.97	o 9938010
12.83/9.97	o 10115704
12.83/9.97	o 10261561
12.83/9.97	o 10485378
12.83/9.97	o 10536345
12.83/9.97	o 10581392
12.83/9.97	o 10632359
12.83/9.98	o 10713633
12.83/9.98	o 10855682
12.83/9.98	o 10897787
12.83/9.98	o 11267461
12.83/9.98	o 11318428
12.83/9.98	o 11491278
12.83/9.98	o 11542245
12.83/9.98	o 11729528
12.83/9.98	o 11953345
12.83/9.98	o 12004312
13.64/10.42	o 12140062
13.64/10.42	o 12304462
13.64/10.42	o 12408109
13.64/10.43	o 12501203
13.87/10.64	o 12589958
13.87/10.64	o 12693605
13.87/10.66	o 12742931
13.87/10.66	o 12846578
13.87/10.66	o 12924836
13.87/10.67	o 13049540
13.87/10.67	o 13127798
13.87/10.67	o 13153187
13.87/10.67	o 13231445
13.87/10.68	o 13334692
13.87/10.68	o 13412950
13.87/10.69	o 13706926
13.98/10.73	o 13800020
13.98/10.77	o 13821334
13.98/10.78	o 13893179
13.98/10.78	o 14033983
13.98/10.78	o 14127077
13.98/10.79	o 14199788
13.98/10.79	o 14340592
13.98/10.79	o 14433686
14.09/10.81	o 14511944
14.23/10.94	o 14927804
14.23/10.94	o 15164390
14.23/10.94	o 15580250
14.23/10.94	o 16025001
14.23/10.94	o 16440861
14.23/10.94	o 16850003
14.23/10.95	o 17265863
14.23/10.95	o 17608922
14.23/10.95	o 18024782
14.23/10.95	o 18028353
14.23/10.95	o 18444213
14.23/10.95	o 18787272
14.23/10.95	o 19203132
14.23/10.95	o 19580982
14.23/10.95	o 19996842
14.23/10.96	o 20329825
14.23/10.96	o 20745685
14.23/10.96	o 20989621
14.23/10.96	o 21073815
14.23/10.96	o 21174776
14.23/10.96	o 21502906
14.23/10.97	o 21584953
14.23/10.97	o 21587100
14.23/10.97	o 21691058
14.23/10.97	o 21775252
14.23/10.97	o 21777399
14.23/10.98	o 21852605
14.23/10.98	o 21854752
14.23/11.00	o 21859986
14.23/11.01	o 21880357
14.35/11.01	o 21964551
14.35/11.01	o 22200108
14.35/11.01	o 22220479
14.35/11.01	o 22304673
14.35/11.02	o 22410778
14.35/11.02	o 22494972
14.35/11.03	o 22572325
14.35/11.04	o 22574472
14.35/11.04	o 22576233
14.35/11.04	o 22660427
14.35/11.05	o 22737780
14.35/11.06	o 22933818
14.35/11.06	o 23011171
14.35/11.06	o 23276087
14.35/11.06	o 23353440
14.35/11.08	o 23360281
14.35/11.08	o 23437634
14.35/11.09	o 23479218
14.35/11.10	o 23657793
14.35/11.10	o 23735146
14.45/11.11	o 23741987
14.45/11.11	o 23819340
14.45/11.11	o 23821487
14.45/11.14	o 23904560
14.45/11.14	o 23981913
14.45/11.16	o 23984060
14.45/11.17	o 23988754
14.45/11.18	o 23990901
14.45/11.18	o 24068254
14.58/11.29	o 24078150
14.73/11.30	o 24162344
14.73/11.33	o 24228854
14.73/11.33	o 24251461
14.73/11.36	o 24253608
14.73/11.37	o 24293454
14.73/11.37	o 24556161
14.73/11.38	o 24576621
14.73/11.38	o 24578768
14.73/11.39	o 24638208
14.73/11.39	o 24660815
14.73/11.39	o 24662962
14.95/11.52	o 24734271
14.95/11.52	o 24800781
14.95/11.52	o 24823388
14.95/11.56	o 24825535
14.95/11.57	o 24884975
14.95/11.57	o 24887122
14.95/11.58	o 24907582
14.95/11.58	o 24909729
15.87/12.37	o 24979604
15.87/12.37	o 24995962
15.87/12.38	o 25002211
15.87/12.39	o 25018569
15.97/12.40	o 25063798
15.97/12.40	o 25086405
15.97/12.42	o 25102763
18.00/13.73	o 25125233
18.00/13.73	o 25241267
18.00/13.73	o 25382803
18.00/13.73	o 25728743
18.00/13.73	o 25844777
18.00/13.74	o 25904968
18.00/13.74	o 26251151
18.00/13.74	o 26367185
18.00/13.75	o 26552522
18.00/13.75	o 26631311
18.00/13.75	o 26675673
18.13/13.81	o 26811877
22.13/17.64	o 27004049
26.82/21.97	o 27330518
26.82/21.98	o 27377460
33.24/28.15	o 27408739
33.24/28.15	o 27697751
33.24/28.15	o 27785787
33.24/28.15	o 27819012
33.24/28.16	o 27945249
33.24/28.17	o 28033285
34.16/29.08	o 28365442
34.16/29.08	o 28623794
37.20/31.93	o 28863454
38.72/33.40	o 29257850
38.72/33.41	o 29427357
38.72/33.41	o 29595680
38.72/33.42	o 29847974
38.72/33.43	o 30016297
38.72/33.44	o 30057102
38.72/33.44	o 30226811
40.04/34.60	o 30879257
40.38/34.91	o 30970085
40.38/34.91	o 31118237
40.38/34.91	o 31254977
56.21/50.65	o 31486763
56.21/50.67	o 31745115
56.21/50.68	o 31774963
56.21/50.68	o 31939739
56.21/50.68	o 32243484
56.21/50.68	o 32347231
56.21/50.69	o 32405871
56.21/50.70	o 32442816
56.21/50.70	o 32501456
73.24/67.53	o 32642303
73.24/67.53	o 32760354
73.24/67.54	o 32954864
73.24/67.55	o 33246839
73.24/67.55	o 33273211
73.24/67.55	o 33364890
73.24/67.56	o 33391262
73.24/67.59	o 33601483
73.24/67.59	o 33712198
73.24/67.59	o 33719534
73.64/67.90	o 33753351
73.64/67.91	o 33792909
73.64/67.96	o 33821576
73.64/67.96	o 33861134
73.64/67.99	o 34101318
73.86/68.19	o 34131469
73.86/68.19	o 34314568
73.96/68.22	o 34368124
74.66/68.94	o 34650491
74.87/69.13	o 34655050
75.27/69.54	o 34661659
75.27/69.55	o 34836989
75.27/69.55	o 35145477
75.38/69.68	o 35541252
75.58/69.86	o 35645007
75.68/69.95	o 35705685
75.68/69.97	o 35729860
75.68/69.98	o 35789234
75.79/70.03	o 36219486
75.89/70.18	o 36347732
76.10/70.31	o 36580897
76.33/70.54	o 36721400
76.33/70.58	o 36882690
76.33/70.58	o 37184937
77.15/71.36	o 37255337
77.15/71.36	o 37354881
79.16/73.31	o 37485774
79.16/73.31	o 37547222
79.26/73.44	o 37888013
79.26/73.45	o 38017370
79.26/73.48	o 38021015
79.46/73.63	o 38227671
79.46/73.63	o 38244029
79.46/73.63	o 38357028
79.66/73.80	o 38363353
79.66/73.84	o 38484455
79.76/73.96	o 38572560
80.38/74.54	o 38602488
80.48/74.60	o 38670739
80.48/74.61	o 38730734
100.08/94.15	o 38806894
121.66/115.34	o 39020443
121.66/115.36	o 39204933
144.65/137.87	o 39217443
144.75/137.95	o 39254626
144.96/138.12	o 39358172
149.57/142.62	o 39420704
149.57/142.63	o 39589874
199.46/191.49	o 39602234
204.98/196.85	o 39646200
205.08/196.92	o 39752887
206.53/198.38	o 40230707
213.49/205.13	o 40591831
236.19/227.33	o 40768701
241.20/232.24	o 40776950
242.23/233.27	o 40835712
247.04/237.95	o 40974793
247.96/238.88	o 41039618
248.06/238.90	o 41354449
249.42/240.20	o 41522818
249.42/240.20	o 41716169
249.42/240.25	o 41747039
260.87/251.45	o 41808675
264.24/254.77	o 41836178
264.24/254.77	o 41873361
265.79/256.22	o 41932641
268.67/259.10	o 42030605
268.77/259.16	o 42073642
268.77/259.19	o 42139076
268.77/259.20	o 42333796
269.07/259.44	o 42391141
269.07/259.44	o 42398482
271.52/261.85	o 42412754
275.62/265.85	o 42544181
275.62/265.89	o 42672427
277.57/267.76	o 42712504
278.08/268.27	o 42840750
284.75/274.75	o 42952080
289.18/279.06	o 43042754
290.81/280.66	o 43194014
328.72/317.66	o 43396427
350.53/338.90	o 43478746
352.96/341.36	o 43499318
352.96/341.37	o 43503877
356.96/345.26	o 43763712
424.72/411.25	o 43795957
424.82/411.33	o 43833140
442.01/428.07	o 43862685
470.53/455.87	o 43922022
485.74/470.62	o 44010127
493.99/478.50	o 44374364
494.09/478.62	o 44502610
505.24/489.53	o 44611506
507.07/491.34	o 44674046
541.08/524.40	o 44747476
566.48/549.13	o 44813941
590.61/572.21	o 44822771
702.98/681.55	o 45002247
859.73/834.07	o 45044384
1243.34/1207.48	o 45072073
1243.95/1208.06	o 45085546
1312.87/1275.08	o 45166580
1366.03/1326.64	o 45207961
1417.02/1376.47	o 45295554
1445.65/1404.43	o 45437620
1666.87/1619.49	o 45599513
2329.08/2263.76	o 45963433
2329.34/2263.93	o 46256429
2520.02/2449.30	s SATISFIABLE
2520.02/2449.30	v <instantiation>
2520.02/2449.30	v 	<list>
2520.02/2449.30	v 		b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999]
2520.02/2449.30	v 	</list>
2520.02/2449.30	v 	<values>
2520.02/2449.30	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 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 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 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 
2520.02/2449.30	v 	</values>
2520.02/2449.30	v </instantiation>

Verifier Data 

OK	46256429

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308691-1534281392/watcher-4308691-1534281392 -o /tmp/evaluation-result-4308691-1534281392/solver-4308691-1534281392 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534270673-20077 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 107484310 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308691-1534281392.xml 

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

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

solver pid=21379, runsolver pid=21376

[startup+0.100164 s]*
/proc/loadavg: 3.96 3.60 2.85 3/215 21394
/proc/meminfo: memFree=24113184/32770624 swapFree=67108796/67108860
[pid=21379] ppid=21376 vsize=14082736 memory=33172 CPUtime=0.11 cores=0,2,4,6
/proc/21379/stat : 21379 (java) S 21376 21379 18471 0 -1 1077944320 7225 0 0 0 10 1 0 0 20 0 15 0 245702372 14420721664 8293 33554432000 4194304 4196468 140721812935552 140721812918096 139674259246839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
/proc/21379/statm: 3520684 8293 3132 1 0 3482761 0
[pid=21379/tid=21381] ppid=21376 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=0,2,4,6
/proc/21379/task/21381/stat : 21381 (java) R 21376 21379 18471 0 -1 4202560 5302 0 0 0 8 1 0 0 20 0 15 0 245702372 14420721664 8293 33554432000 4194304 4196468 140721812935552 139674263472528 139674259258774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21382] ppid=21376 vsize=14082736 memory=5793855819579169209 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21382/stat : 21382 (java) S 21376 21379 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245702373 14420721664 8293 33554432000 4194304 4196468 140721812935552 139673855257360 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21383] ppid=21376 vsize=14082736 memory=140568569276032 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21383/stat : 21383 (java) S 21376 21379 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245702373 14420721664 8293 33554432000 4194304 4196468 140721812935552 139673854204816 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21384] ppid=21376 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21384/stat : 21384 (java) S 21376 21379 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245702373 14420721664 8293 33554432000 4194304 4196468 140721812935552 139673853152272 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21385] ppid=21376 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21385/stat : 21385 (java) S 21376 21379 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245702373 14420721664 8293 33554432000 4194304 4196468 140721812935552 139673852099728 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21386] ppid=21376 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21386/stat : 21386 (java) S 21376 21379 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245702374 14420721664 8293 33554432000 4194304 4196468 140721812935552 139673733113840 139674259257986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21387] ppid=21376 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21387/stat : 21387 (java) S 21376 21379 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245702375 14420721664 8293 33554432000 4194304 4196468 140721812935552 139673732060064 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21388] ppid=21376 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21388/stat : 21388 (java) S 21376 21379 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245702375 14420721664 8293 33554432000 4194304 4196468 140721812935552 139673731007472 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21389] ppid=21376 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21389/stat : 21389 (java) S 21376 21379 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245702377 14420721664 8293 33554432000 4194304 4196468 140721812935552 139673729956048 139674259265435 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21390] ppid=21376 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21390/stat : 21390 (java) S 21376 21379 18471 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 245702377 14420721664 8293 33554432000 4194304 4196468 140721812935552 139673728903664 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21391] ppid=21376 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21391/stat : 21391 (java) S 21376 21379 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245702377 14420721664 8293 33554432000 4194304 4196468 140721812935552 139673727851120 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21392] ppid=21376 vsize=14082736 memory=140568569276032 CPUtime=0.01 cores=0,2,4,6
/proc/21379/task/21392/stat : 21392 (java) R 21376 21379 18471 0 -1 4202560 252 0 0 0 1 0 0 0 20 0 15 0 245702377 14420721664 8293 33554432000 4194304 4196468 140721812935552 139673726798576 139674243494249 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21393] ppid=21376 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21393/stat : 21393 (java) S 21376 21379 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245702377 14420721664 8293 33554432000 4194304 4196468 140721812935552 139673725746272 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21394] ppid=21376 vsize=14082736 memory=140568569276032 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21394/stat : 21394 (java) S 21376 21379 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245702378 14420721664 8293 33554432000 4194304 4196468 140721812935552 139673724692784 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33172 KiB

[startup+0.215607 s]*
/proc/loadavg: 3.96 3.60 2.85 6/215 21394
/proc/meminfo: memFree=24098144/32770624 swapFree=67108796/67108860
[pid=21379] ppid=21376 vsize=14082736 memory=46860 CPUtime=0.32 cores=0,2,4,6
/proc/21379/stat : 21379 (java) S 21376 21379 18471 0 -1 1077944320 10366 0 0 0 30 2 0 0 20 0 15 0 245702372 14420721664 11715 33554432000 4194304 4196468 140721812935552 140721812918096 139674259246839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
/proc/21379/statm: 3520684 11715 3381 1 0 3482761 0
[pid=21379/tid=21381] ppid=21376 vsize=14082736 memory=6735269665583770266 CPUtime=0.21 cores=0,2,4,6
/proc/21379/task/21381/stat : 21381 (java) R 21376 21379 18471 0 -1 4202560 8078 0 0 0 19 2 0 0 20 0 15 0 245702372 14420721664 11715 33554432000 4194304 4196468 140721812935552 139674263475232 139674259258774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21382] ppid=21376 vsize=14082736 memory=4211974294774066570 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21382/stat : 21382 (java) S 21376 21379 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245702373 14420721664 11715 33554432000 4194304 4196468 140721812935552 139673855257360 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21383] ppid=21376 vsize=14082736 memory=140568569276032 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21383/stat : 21383 (java) S 21376 21379 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245702373 14420721664 11715 33554432000 4194304 4196468 140721812935552 139673854204816 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21384] ppid=21376 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21384/stat : 21384 (java) S 21376 21379 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245702373 14420721664 11715 33554432000 4194304 4196468 140721812935552 139673853152272 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21385] ppid=21376 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21385/stat : 21385 (java) S 21376 21379 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245702373 14420721664 11715 33554432000 4194304 4196468 140721812935552 139673852099728 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21386] ppid=21376 vsize=14082736 memory=140568569276032 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21386/stat : 21386 (java) S 21376 21379 18471 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245702374 14420721664 11715 33554432000 4194304 4196468 140721812935552 139673733113840 139674259257986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21387] ppid=21376 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21387/stat : 21387 (java) S 21376 21379 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245702375 14420721664 11715 33554432000 4194304 4196468 140721812935552 139673732060064 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21388] ppid=21376 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21388/stat : 21388 (java) S 21376 21379 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245702375 14420721664 11715 33554432000 4194304 4196468 140721812935552 139673731007472 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21389] ppid=21376 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21389/stat : 21389 (java) S 21376 21379 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245702377 14420721664 11715 33554432000 4194304 4196468 140721812935552 139673729956048 139674259265435 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21390] ppid=21376 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21379/task/21390/stat : 21390 (java) S 21376 21379 18471 0 -1 1077944384 546 0 0 0 2 0 0 0 20 0 15 0 245702377 14420721664 11715 33554432000 4194304 4196468 140721812935552 139673728903664 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21391] ppid=21376 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/21379/task/21391/stat : 21391 (java) S 21376 21379 18471 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 15 0 245702377 14420721664 11715 33554432000 4194304 4196468 140721812935552 139673727851120 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21392] ppid=21376 vsize=14082736 memory=140568569276032 CPUtime=0.06 cores=0,2,4,6
/proc/21379/task/21392/stat : 21392 (java) R 21376 21379 18471 0 -1 4202560 302 0 0 0 6 0 0 0 20 0 15 0 245702377 14420721664 11715 33554432000 4194304 4196468 140721812935552 139673726798576 139674237615198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21393] ppid=21376 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21393/stat : 21393 (java) S 21376 21379 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245702377 14420721664 11715 33554432000 4194304 4196468 140721812935552 139673725746272 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21394] ppid=21376 vsize=14082736 memory=140568569276032 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21394/stat : 21394 (java) S 21376 21379 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245702378 14420721664 11715 33554432000 4194304 4196468 140721812935552 139673724692784 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46860 KiB

[startup+0.310514 s]*
/proc/loadavg: 3.96 3.60 2.85 3/215 21394
/proc/meminfo: memFree=24094856/32770624 swapFree=67108796/67108860
[pid=21379] ppid=21376 vsize=14082736 memory=50076 CPUtime=0.43 cores=0,2,4,6
/proc/21379/stat : 21379 (java) S 21376 21379 18471 0 -1 1077944320 10699 0 0 0 41 2 0 0 20 0 15 0 245702372 14420721664 12519 33554432000 4194304 4196468 140721812935552 140721812918096 139674259246839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
/proc/21379/statm: 3520684 12519 3382 1 0 3482761 0
[pid=21379/tid=21381] ppid=21376 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6
/proc/21379/task/21381/stat : 21381 (java) R 21376 21379 18471 0 -1 4202560 8393 0 0 0 28 2 0 0 20 0 15 0 245702372 14420721664 12519 33554432000 4194304 4196468 140721812935552 139674263466072 139674240810368 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21382] ppid=21376 vsize=14082736 memory=4211974294774066570 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21382/stat : 21382 (java) S 21376 21379 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245702373 14420721664 12519 33554432000 4194304 4196468 140721812935552 139673855257360 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21383] ppid=21376 vsize=14082736 memory=140568569278396 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21383/stat : 21383 (java) S 21376 21379 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245702373 14420721664 12519 33554432000 4194304 4196468 140721812935552 139673854204816 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21384] ppid=21376 vsize=14082736 memory=140568441254455 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21384/stat : 21384 (java) S 21376 21379 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245702373 14420721664 12519 33554432000 4194304 4196468 140721812935552 139673853152272 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21385] ppid=21376 vsize=14082736 memory=140568441245135 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21385/stat : 21385 (java) S 21376 21379 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245702373 14420721664 12519 33554432000 4194304 4196468 140721812935552 139673852099728 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21386] ppid=21376 vsize=14082736 memory=140568569294530 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21386/stat : 21386 (java) S 21376 21379 18471 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245702374 14420721664 12519 33554432000 4194304 4196468 140721812935552 139673733113840 139674259257986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21387] ppid=21376 vsize=14082736 memory=140568441254319 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21387/stat : 21387 (java) S 21376 21379 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245702375 14420721664 12519 33554432000 4194304 4196468 140721812935552 139673732060064 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21388] ppid=21376 vsize=14082736 memory=281136882499472 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21388/stat : 21388 (java) S 21376 21379 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245702375 14420721664 12519 33554432000 4194304 4196468 140721812935552 139673731007472 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21389] ppid=21376 vsize=14082736 memory=281136882497168 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21389/stat : 21389 (java) S 21376 21379 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245702377 14420721664 12519 33554432000 4194304 4196468 140721812935552 139673729956048 139674259265435 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21390] ppid=21376 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21379/task/21390/stat : 21390 (java) S 21376 21379 18471 0 -1 1077944384 546 0 0 0 2 0 0 0 20 0 15 0 245702377 14420721664 12519 33554432000 4194304 4196468 140721812935552 139673728903664 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21391] ppid=21376 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/21379/task/21391/stat : 21391 (java) S 21376 21379 18471 0 -1 1077944384 62 0 0 0 2 0 0 0 20 0 15 0 245702377 14420721664 12519 33554432000 4194304 4196468 140721812935552 139673727851120 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21392] ppid=21376 vsize=14082736 memory=140568569276032 CPUtime=0.08 cores=0,2,4,6
/proc/21379/task/21392/stat : 21392 (java) S 21376 21379 18471 0 -1 1077944384 314 0 0 0 8 0 0 0 20 0 15 0 245702377 14420721664 12519 33554432000 4194304 4196468 140721812935552 139673726798576 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21393] ppid=21376 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21393/stat : 21393 (java) S 21376 21379 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245702377 14420721664 12519 33554432000 4194304 4196468 140721812935552 139673725746272 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21394] ppid=21376 vsize=14082736 memory=140568569276032 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21394/stat : 21394 (java) S 21376 21379 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245702378 14420721664 12519 33554432000 4194304 4196468 140721812935552 139673724692784 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50076 KiB

[startup+0.700787 s]
/proc/loadavg: 3.96 3.60 2.85 4/215 21394
/proc/meminfo: memFree=24072704/32770624 swapFree=67108796/67108860
[pid=21379] ppid=21376 vsize=14084804 memory=88708 CPUtime=1 cores=0,2,4,6
/proc/21379/stat : 21379 (java) S 21376 21379 18471 0 -1 1077944320 17583 0 0 0 95 5 0 0 20 0 15 0 245702372 14422839296 22177 33554432000 4194304 4196468 140721812935552 140721812918096 139674259246839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
/proc/21379/statm: 3521201 22177 3488 1 0 3483273 0
[pid=21379/tid=21381] ppid=21376 vsize=14084804 memory=796 CPUtime=0.68 cores=0,2,4,6
/proc/21379/task/21381/stat : 21381 (java) R 21376 21379 18471 0 -1 4202560 14844 0 0 0 64 4 0 0 20 0 15 0 245702372 14422839296 22217 33554432000 4194304 4196468 140721812935552 139674263475456 139674243327326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21382] ppid=21376 vsize=14084804 memory=1592 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21382/stat : 21382 (java) S 21376 21379 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245702373 14422839296 22217 33554432000 4194304 4196468 140721812935552 139673855257360 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21383] ppid=21376 vsize=14084804 memory=3780 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21383/stat : 21383 (java) S 21376 21379 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245702373 14422839296 22217 33554432000 4194304 4196468 140721812935552 139673854204816 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21384] ppid=21376 vsize=14084804 memory=7236533984234661184 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21384/stat : 21384 (java) S 21376 21379 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245702373 14422839296 22217 33554432000 4194304 4196468 140721812935552 139673853152272 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21385] ppid=21376 vsize=14084804 memory=8099279071866868837 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21385/stat : 21385 (java) S 21376 21379 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245702373 14422839296 22217 33554432000 4194304 4196468 140721812935552 139673852099728 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21386] ppid=21376 vsize=14084804 memory=4641330296368681045 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21386/stat : 21386 (java) S 21376 21379 18471 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245702374 14422839296 22217 33554432000 4194304 4196468 140721812935552 139673733113840 139674259257986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21387] ppid=21376 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21387/stat : 21387 (java) S 21376 21379 18471 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245702375 14422839296 22217 33554432000 4194304 4196468 140721812935552 139673732060064 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21388] ppid=21376 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21388/stat : 21388 (java) S 21376 21379 18471 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245702375 14422839296 22217 33554432000 4194304 4196468 140721812935552 139673731007472 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21389] ppid=21376 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21389/stat : 21389 (java) S 21376 21379 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245702377 14422839296 22217 33554432000 4194304 4196468 140721812935552 139673729956048 139674259265435 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21390] ppid=21376 vsize=14084804 memory=572 CPUtime=0.09 cores=0,2,4,6
/proc/21379/task/21390/stat : 21390 (java) S 21376 21379 18471 0 -1 1077944384 710 0 0 0 9 0 0 0 20 0 15 0 245702377 14422839296 22217 33554432000 4194304 4196468 140721812935552 139673728903664 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21391] ppid=21376 vsize=14084804 memory=7 CPUtime=0.06 cores=0,2,4,6
/proc/21379/task/21391/stat : 21391 (java) S 21376 21379 18471 0 -1 1077944384 216 0 0 0 6 0 0 0 20 0 15 0 245702377 14422839296 22217 33554432000 4194304 4196468 140721812935552 139673727851120 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21392] ppid=21376 vsize=14084804 memory=703 CPUtime=0.15 cores=0,2,4,6
/proc/21379/task/21392/stat : 21392 (java) S 21376 21379 18471 0 -1 1077944384 430 0 0 0 15 0 0 0 20 0 15 0 245702377 14422839296 22217 33554432000 4194304 4196468 140721812935552 139673726798576 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21393] ppid=21376 vsize=14084804 memory=281136882683376 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21393/stat : 21393 (java) S 21376 21379 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245702377 14422839296 22217 33554432000 4194304 4196468 140721812935552 139673725746272 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21394] ppid=21376 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21394/stat : 21394 (java) S 21376 21379 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245702378 14422839296 22217 33554432000 4194304 4196468 140721812935552 139673724692784 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88708 KiB

[startup+1.50072 s]
/proc/loadavg: 3.96 3.60 2.85 4/215 21394
/proc/meminfo: memFree=24037540/32770624 swapFree=67108796/67108860
[pid=21379] ppid=21376 vsize=14086852 memory=173912 CPUtime=2.58 cores=0,2,4,6
/proc/21379/stat : 21379 (java) S 21376 21379 18471 0 -1 1077944320 22518 0 0 0 251 7 0 0 20 0 15 0 245702372 14424936448 43478 33554432000 4194304 4196468 140721812935552 140721812918096 139674259246839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
/proc/21379/statm: 3521713 43478 3546 1 0 3483785 0
[pid=21379/tid=21381] ppid=21376 vsize=14086852 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/21379/task/21381/stat : 21381 (java) R 21376 21379 18471 0 -1 4202560 17378 0 0 0 142 5 0 0 20 0 15 0 245702372 14424936448 43478 33554432000 4194304 4196468 140721812935552 139674263481936 139673901582765 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21382] ppid=21376 vsize=14086852 memory=-2746958450906831424 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21382/stat : 21382 (java) S 21376 21379 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245702373 14424936448 43478 33554432000 4194304 4196468 140721812935552 139673855257360 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21383] ppid=21376 vsize=14086852 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21383/stat : 21383 (java) S 21376 21379 18471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245702373 14424936448 43478 33554432000 4194304 4196468 140721812935552 139673854204816 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21384] ppid=21376 vsize=14086852 memory=4946242773455772544 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21384/stat : 21384 (java) S 21376 21379 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245702373 14424936448 43478 33554432000 4194304 4196468 140721812935552 139673853152272 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21385] ppid=21376 vsize=14086852 memory=-3472574513799858003 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21385/stat : 21385 (java) S 21376 21379 18471 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245702373 14424936448 43478 33554432000 4194304 4196468 140721812935552 139673852099728 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21386] ppid=21376 vsize=14086852 memory=-6305710598706914432 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21386/stat : 21386 (java) S 21376 21379 18471 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 15 0 245702374 14424936448 43478 33554432000 4194304 4196468 140721812935552 139673733113840 139674259257986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0

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

/proc/21379/task/21381/stat : 21381 (java) R 21376 21379 18471 0 -1 4202560 165210 0 0 0 235817 86 0 0 20 0 15 0 245702372 14431227904 481174 33554432000 4194304 4196468 140721812935552 139674263483920 139673905097824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21382] ppid=21376 vsize=14092996 memory=2057048 CPUtime=20.62 cores=0,2,4,6
/proc/21379/task/21382/stat : 21382 (java) S 21376 21379 18471 0 -1 1077944384 17618 0 0 0 1999 63 0 0 20 0 15 0 245702373 14431227904 481174 33554432000 4194304 4196468 140721812935552 139673855257360 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21383] ppid=21376 vsize=14092996 memory=281136882323816 CPUtime=20.63 cores=0,2,4,6
/proc/21379/task/21383/stat : 21383 (java) S 21376 21379 18471 0 -1 1077944384 18625 0 0 0 2001 62 0 0 20 0 15 0 245702373 14431227904 481174 33554432000 4194304 4196468 140721812935552 139673854204816 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21384] ppid=21376 vsize=14092996 memory=1964708 CPUtime=20.61 cores=0,2,4,6
/proc/21379/task/21384/stat : 21384 (java) S 21376 21379 18471 0 -1 1077944384 21834 0 0 0 1998 63 0 0 20 0 15 0 245702373 14431227904 481174 33554432000 4194304 4196468 140721812935552 139673853152272 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21385] ppid=21376 vsize=14092996 memory=1937008 CPUtime=20.63 cores=0,2,4,6
/proc/21379/task/21385/stat : 21385 (java) S 21376 21379 18471 0 -1 1077944384 17944 0 0 0 2001 62 0 0 20 0 15 0 245702373 14431227904 481174 33554432000 4194304 4196468 140721812935552 139673852099728 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21386] ppid=21376 vsize=14092996 memory=3632 CPUtime=1.6 cores=0,2,4,6
/proc/21379/task/21386/stat : 21386 (java) S 21376 21379 18471 0 -1 1077944384 86013 0 0 0 137 23 0 0 20 0 15 0 245702374 14431227904 481174 33554432000 4194304 4196468 140721812935552 139673733113840 139674259257986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21387] ppid=21376 vsize=14092996 memory=1924696 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21387/stat : 21387 (java) S 21376 21379 18471 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 245702375 14431227904 481174 33554432000 4194304 4196468 140721812935552 139673732060128 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21388] ppid=21376 vsize=14092996 memory=1937128 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21388/stat : 21388 (java) S 21376 21379 18471 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 245702375 14431227904 481174 33554432000 4194304 4196468 140721812935552 139673731007488 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21389] ppid=21376 vsize=14092996 memory=1924696 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21389/stat : 21389 (java) S 21376 21379 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245702377 14431227904 481174 33554432000 4194304 4196468 140721812935552 139673729956048 139674259265435 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21390] ppid=21376 vsize=14092996 memory=1924696 CPUtime=2.73 cores=0,2,4,6
/proc/21379/task/21390/stat : 21390 (java) S 21376 21379 18471 0 -1 1077944384 27989 0 0 0 269 4 0 0 20 0 15 0 245702377 14431227904 481174 33554432000 4194304 4196468 140721812935552 139673728903664 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21391] ppid=21376 vsize=14092996 memory=1924696 CPUtime=2.78 cores=0,2,4,6
/proc/21379/task/21391/stat : 21391 (java) S 21376 21379 18471 0 -1 1077944384 23689 0 0 0 274 4 0 0 20 0 15 0 245702377 14431227904 481174 33554432000 4194304 4196468 140721812935552 139673727851120 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21392] ppid=21376 vsize=14092996 memory=8628 CPUtime=1.21 cores=0,2,4,6
/proc/21379/task/21392/stat : 21392 (java) S 21376 21379 18471 0 -1 1077944384 27720 0 0 0 118 3 0 0 20 0 15 0 245702377 14431227904 481174 33554432000 4194304 4196468 140721812935552 139673726798576 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21393] ppid=21376 vsize=14092996 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21393/stat : 21393 (java) S 21376 21379 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245702377 14431227904 481174 33554432000 4194304 4196468 140721812935552 139673725746272 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21394] ppid=21376 vsize=14092996 memory=1924696 CPUtime=1.42 cores=0,2,4,6
/proc/21379/task/21394/stat : 21394 (java) S 21376 21379 18471 0 -1 1077944384 1632 0 0 0 73 69 0 0 20 0 15 0 245702378 14431227904 481174 33554432000 4194304 4196468 140721812935552 139673724692784 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
Current children cumulated CPU time: 2451.35 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 1924696 KiB

[startup+2442.3 s]
/proc/loadavg: 1.53 1.66 1.69 3/216 21559
/proc/meminfo: memFree=20108164/32770624 swapFree=67108796/67108860
[pid=21379] ppid=21376 vsize=14092996 memory=2288924 CPUtime=2512.9 cores=0,2,4,6
/proc/21379/stat : 21379 (java) S 21376 21379 18471 0 -1 1077944320 414580 0 0 0 250856 434 0 0 20 0 15 0 245702372 14431227904 572231 33554432000 4194304 4196468 140721812935552 140721812918096 139674259246839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
/proc/21379/statm: 3523249 572231 3615 1 0 3485321 0
[pid=21379/tid=21381] ppid=21376 vsize=14092996 memory=2308932 CPUtime=2418.5 cores=0,2,4,6
/proc/21379/task/21381/stat : 21381 (java) R 21376 21379 18471 0 -1 4202560 168281 0 0 0 241759 91 0 0 20 0 15 0 245702372 14431227904 572231 33554432000 4194304 4196468 140721812935552 139674263484032 139673906007391 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21382] ppid=21376 vsize=14092996 memory=2350976 CPUtime=21.13 cores=0,2,4,6
/proc/21379/task/21382/stat : 21382 (java) S 21376 21379 18471 0 -1 1077944384 17917 0 0 0 2047 66 0 0 20 0 15 0 245702373 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673855257360 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21383] ppid=21376 vsize=14092996 memory=2329944 CPUtime=21.14 cores=0,2,4,6
/proc/21379/task/21383/stat : 21383 (java) S 21376 21379 18471 0 -1 1077944384 18818 0 0 0 2049 65 0 0 20 0 15 0 245702373 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673854204816 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21384] ppid=21376 vsize=14092996 memory=2308932 CPUtime=21.11 cores=0,2,4,6
/proc/21379/task/21384/stat : 21384 (java) S 21376 21379 18471 0 -1 1077944384 22011 0 0 0 2045 66 0 0 20 0 15 0 245702373 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673853152272 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21385] ppid=21376 vsize=14092996 memory=1776 CPUtime=21.13 cores=0,2,4,6
/proc/21379/task/21385/stat : 21385 (java) S 21376 21379 18471 0 -1 1077944384 18322 0 0 0 2049 64 0 0 20 0 15 0 245702373 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673852099728 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21386] ppid=21376 vsize=14092996 memory=2056 CPUtime=1.62 cores=0,2,4,6
/proc/21379/task/21386/stat : 21386 (java) S 21376 21379 18471 0 -1 1077944384 86419 0 0 0 138 24 0 0 20 0 15 0 245702374 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673733113840 139674259257986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21387] ppid=21376 vsize=14092996 memory=932 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21387/stat : 21387 (java) S 21376 21379 18471 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 245702375 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673732060128 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21388] ppid=21376 vsize=14092996 memory=2288924 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21388/stat : 21388 (java) S 21376 21379 18471 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 245702375 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673731007488 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21389] ppid=21376 vsize=14092996 memory=3632 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21389/stat : 21389 (java) S 21376 21379 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245702377 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673729956048 139674259265435 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21390] ppid=21376 vsize=14092996 memory=2288924 CPUtime=2.73 cores=0,2,4,6
/proc/21379/task/21390/stat : 21390 (java) S 21376 21379 18471 0 -1 1077944384 28193 0 0 0 269 4 0 0 20 0 15 0 245702377 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673728903664 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21391] ppid=21376 vsize=14092996 memory=2288924 CPUtime=2.78 cores=0,2,4,6
/proc/21379/task/21391/stat : 21391 (java) S 21376 21379 18471 0 -1 1077944384 23804 0 0 0 274 4 0 0 20 0 15 0 245702377 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673727851120 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21392] ppid=21376 vsize=14092996 memory=2288924 CPUtime=1.21 cores=0,2,4,6
/proc/21379/task/21392/stat : 21392 (java) S 21376 21379 18471 0 -1 1077944384 27722 0 0 0 118 3 0 0 20 0 15 0 245702377 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673726798576 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21393] ppid=21376 vsize=14092996 memory=2288924 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21393/stat : 21393 (java) S 21376 21379 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245702377 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673725746272 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21394] ppid=21376 vsize=14092996 memory=2328920 CPUtime=1.45 cores=0,2,4,6
/proc/21379/task/21394/stat : 21394 (java) S 21376 21379 18471 0 -1 1077944384 1666 0 0 0 75 70 0 0 20 0 15 0 245702378 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673724692784 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 42 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
Current children cumulated CPU time: 2512.9 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2288924 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2449.3 s]
/proc/loadavg: 1.37 1.62 1.68 3/216 21560
/proc/meminfo: memFree=20115572/32770624 swapFree=67108796/67108860
[pid=21379] ppid=21376 vsize=14092996 memory=2288924 CPUtime=2520.02 cores=0,2,4,6
/proc/21379/stat : 21379 (java) S 21376 21379 18471 0 -1 1077944320 414724 0 0 0 251567 435 0 0 20 0 15 0 245702372 14431227904 572231 33554432000 4194304 4196468 140721812935552 140721812918096 139674259246839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
/proc/21379/statm: 3523249 572231 3615 1 0 3485321 0
[pid=21379/tid=21381] ppid=21376 vsize=14092996 memory=2288924 CPUtime=2425.46 cores=0,2,4,6
/proc/21379/task/21381/stat : 21381 (java) R 21376 21379 18471 0 -1 4202560 168411 0 0 0 242455 91 0 0 20 0 15 0 245702372 14431227904 572231 33554432000 4194304 4196468 140721812935552 139674263483920 139673905504795 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21382] ppid=21376 vsize=14092996 memory=2288924 CPUtime=21.16 cores=0,2,4,6
/proc/21379/task/21382/stat : 21382 (java) S 21376 21379 18471 0 -1 1077944384 17922 0 0 0 2050 66 0 0 20 0 15 0 245702373 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673855257360 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21383] ppid=21376 vsize=14092996 memory=2288924 CPUtime=21.18 cores=0,2,4,6
/proc/21379/task/21383/stat : 21383 (java) S 21376 21379 18471 0 -1 1077944384 18827 0 0 0 2053 65 0 0 20 0 15 0 245702373 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673854204816 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21384] ppid=21376 vsize=14092996 memory=2308932 CPUtime=21.15 cores=0,2,4,6
/proc/21379/task/21384/stat : 21384 (java) S 21376 21379 18471 0 -1 1077944384 22011 0 0 0 2049 66 0 0 20 0 15 0 245702373 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673853152272 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21385] ppid=21376 vsize=14092996 memory=2329944 CPUtime=21.17 cores=0,2,4,6
/proc/21379/task/21385/stat : 21385 (java) S 21376 21379 18471 0 -1 1077944384 18322 0 0 0 2053 64 0 0 20 0 15 0 245702373 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673852099728 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21386] ppid=21376 vsize=14092996 memory=2350976 CPUtime=1.62 cores=0,2,4,6
/proc/21379/task/21386/stat : 21386 (java) S 21376 21379 18471 0 -1 1077944384 86419 0 0 0 138 24 0 0 20 0 15 0 245702374 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673733113840 139674259257986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21387] ppid=21376 vsize=14092996 memory=2288924 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21387/stat : 21387 (java) S 21376 21379 18471 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 245702375 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673732060128 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21388] ppid=21376 vsize=14092996 memory=2288924 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21388/stat : 21388 (java) S 21376 21379 18471 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 245702375 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673731007488 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21389] ppid=21376 vsize=14092996 memory=3632 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21389/stat : 21389 (java) S 21376 21379 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245702377 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673729956048 139674259265435 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21390] ppid=21376 vsize=14092996 memory=66696 CPUtime=2.73 cores=0,2,4,6
/proc/21379/task/21390/stat : 21390 (java) S 21376 21379 18471 0 -1 1077944384 28193 0 0 0 269 4 0 0 20 0 15 0 245702377 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673728903664 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21391] ppid=21376 vsize=14092996 memory=2288924 CPUtime=2.78 cores=0,2,4,6
/proc/21379/task/21391/stat : 21391 (java) S 21376 21379 18471 0 -1 1077944384 23804 0 0 0 274 4 0 0 20 0 15 0 245702377 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673727851120 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21392] ppid=21376 vsize=14092996 memory=2288924 CPUtime=1.21 cores=0,2,4,6
/proc/21379/task/21392/stat : 21392 (java) S 21376 21379 18471 0 -1 1077944384 27722 0 0 0 118 3 0 0 20 0 15 0 245702377 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673726798576 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21393] ppid=21376 vsize=14092996 memory=14772 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21393/stat : 21393 (java) S 21376 21379 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245702377 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673725746272 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21394] ppid=21376 vsize=14092996 memory=41632 CPUtime=1.45 cores=0,2,4,6
/proc/21379/task/21394/stat : 21394 (java) S 21376 21379 18471 0 -1 1077944384 1666 0 0 0 75 70 0 0 20 0 15 0 245702378 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673724692784 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2288924 KiB

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

[startup+2449.33 s]
# the end of solver process 21379 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.69 s, system=4.36338 s

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

[startup+2449.3 s]
/proc/loadavg: 1.37 1.62 1.68 3/216 21560
/proc/meminfo: memFree=20115572/32770624 swapFree=67108796/67108860
[pid=21379] ppid=21376 vsize=14092996 memory=2288924 CPUtime=2520.02 cores=0,2,4,6
/proc/21379/stat : 21379 (java) S 21376 21379 18471 0 -1 1077944320 414724 0 0 0 251567 435 0 0 20 0 15 0 245702372 14431227904 572231 33554432000 4194304 4196468 140721812935552 140721812918096 139674259246839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
/proc/21379/statm: 3523249 572231 3615 1 0 3485321 0
[pid=21379/tid=21381] ppid=21376 vsize=14092996 memory=2288924 CPUtime=2425.46 cores=0,2,4,6
/proc/21379/task/21381/stat : 21381 (java) R 21376 21379 18471 0 -1 4202560 168411 0 0 0 242455 91 0 0 20 0 15 0 245702372 14431227904 572231 33554432000 4194304 4196468 140721812935552 139674263483920 139673905504795 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21382] ppid=21376 vsize=14092996 memory=2288924 CPUtime=21.16 cores=0,2,4,6
/proc/21379/task/21382/stat : 21382 (java) S 21376 21379 18471 0 -1 1077944384 17922 0 0 0 2050 66 0 0 20 0 15 0 245702373 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673855257360 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21383] ppid=21376 vsize=14092996 memory=2288924 CPUtime=21.18 cores=0,2,4,6
/proc/21379/task/21383/stat : 21383 (java) S 21376 21379 18471 0 -1 1077944384 18827 0 0 0 2053 65 0 0 20 0 15 0 245702373 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673854204816 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21384] ppid=21376 vsize=14092996 memory=2308932 CPUtime=21.15 cores=0,2,4,6
/proc/21379/task/21384/stat : 21384 (java) S 21376 21379 18471 0 -1 1077944384 22011 0 0 0 2049 66 0 0 20 0 15 0 245702373 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673853152272 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21385] ppid=21376 vsize=14092996 memory=2329944 CPUtime=21.17 cores=0,2,4,6
/proc/21379/task/21385/stat : 21385 (java) S 21376 21379 18471 0 -1 1077944384 18322 0 0 0 2053 64 0 0 20 0 15 0 245702373 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673852099728 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21386] ppid=21376 vsize=14092996 memory=2350976 CPUtime=1.62 cores=0,2,4,6
/proc/21379/task/21386/stat : 21386 (java) S 21376 21379 18471 0 -1 1077944384 86419 0 0 0 138 24 0 0 20 0 15 0 245702374 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673733113840 139674259257986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21387] ppid=21376 vsize=14092996 memory=2288924 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21387/stat : 21387 (java) S 21376 21379 18471 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 245702375 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673732060128 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21388] ppid=21376 vsize=14092996 memory=2288924 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21388/stat : 21388 (java) S 21376 21379 18471 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 245702375 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673731007488 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21389] ppid=21376 vsize=14092996 memory=3632 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21389/stat : 21389 (java) S 21376 21379 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245702377 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673729956048 139674259265435 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21390] ppid=21376 vsize=14092996 memory=66696 CPUtime=2.73 cores=0,2,4,6
/proc/21379/task/21390/stat : 21390 (java) S 21376 21379 18471 0 -1 1077944384 28193 0 0 0 269 4 0 0 20 0 15 0 245702377 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673728903664 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21391] ppid=21376 vsize=14092996 memory=2288924 CPUtime=2.78 cores=0,2,4,6
/proc/21379/task/21391/stat : 21391 (java) S 21376 21379 18471 0 -1 1077944384 23804 0 0 0 274 4 0 0 20 0 15 0 245702377 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673727851120 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21392] ppid=21376 vsize=14092996 memory=2288924 CPUtime=1.21 cores=0,2,4,6
/proc/21379/task/21392/stat : 21392 (java) S 21376 21379 18471 0 -1 1077944384 27722 0 0 0 118 3 0 0 20 0 15 0 245702377 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673726798576 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21393] ppid=21376 vsize=14092996 memory=14772 CPUtime=0 cores=0,2,4,6
/proc/21379/task/21393/stat : 21393 (java) S 21376 21379 18471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245702377 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673725746272 139674259257045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
[pid=21379/tid=21394] ppid=21376 vsize=14092996 memory=41632 CPUtime=1.45 cores=0,2,4,6
/proc/21379/task/21394/stat : 21394 (java) S 21376 21379 18471 0 -1 1077944384 1666 0 0 0 75 70 0 0 20 0 15 0 245702378 14431227904 572231 33554432000 4194304 4196468 140721812935552 139673724692784 139674259257986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 35840000 140721812939861 140721812940041 140721812940041 140721812942799 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2288924 KiB

Child status: 143
Real time (s): 2449.33
CPU time (s): 2520.05
CPU user time (s): 2515.69
CPU system time (s): 4.36338
CPU usage (%): 102.887
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 2408700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.69
system time used= 4.36338
maximum resident set size= 2410832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 415004
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86672
involuntary context switches= 4902


# summary of solver processes directly reported to runsolver:
#   pid: 21379
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2515.69
#   total CPU system time (s): 4.36338

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.51 second user time and 24.0364 second system time

The end

Launcher Data 

Begin job on node138 at 2018-08-14 23:16:32
IDJOB=4308691
IDBENCH=141146
IDSOLVER=2792
FILE ID=node138/4308691-1534281392
RUNJOBID= node138-1534270673-20077
PBS_JOBID= 21038119
Free space on /tmp= 27360 MiB

SOLVER NAME= OscaR - Hybrid 2018-08-14
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-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-4308691-1534281392/watcher-4308691-1534281392 -o /tmp/evaluation-result-4308691-1534281392/solver-4308691-1534281392 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534270673-20077 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 107484310 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308691-1534281392.xml

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

MD5SUM BENCH= 8abf4f1f4dc00a8da6097f5555605512
RANDOM SEED=107484310

node138.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.71
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.71
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.71
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.71
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:        24131424 kB
MemAvailable:   31511168 kB
Buffers:          132036 kB
Cached:          7425308 kB
SwapCached:           12 kB
Active:          4338348 kB
Inactive:        3666376 kB
Active(anon):     391684 kB
Inactive(anon):   108392 kB
Active(file):    3946664 kB
Inactive(file):  3557984 kB
Unevictable:        7276 kB
Mlocked:            7276 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:             35896 kB
Writeback:           112 kB
AnonPages:        444512 kB
Mapped:            66652 kB
Shmem:             49740 kB
Slab:             332036 kB
SReclaimable:     303556 kB
SUnreclaim:        28480 kB
KernelStack:        3408 kB
PageTables:         6908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1224400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    342016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 27324 MiB
End job on node138 at 2018-08-14 23:57:22