Trace number 4310563

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)45496100 252.139 242.34

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 benchmark45496100
Best CPU time to get the best result obtained on this benchmark252.139
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.66/0.56	c version: 2018-08-14
0.98/0.77	c seed: 1518423666
0.98/0.77	c timeout: 252
0.98/0.77	c memlimit: 11000
0.98/0.77	c nbcore: 4
0.98/0.77	c Parsing instance...
3.26/1.93	c Parsing done, starting first complete search...
3.73/2.17	o 0
3.73/2.17	o 641197
3.73/2.17	o 712441
3.73/2.18	o 929580
3.73/2.18	o 1506658
3.73/2.18	o 1642021
3.73/2.19	o 2089401
3.73/2.19	o 2159120
3.73/2.19	o 2391515
3.73/2.19	o 2462759
3.95/2.21	o 3323040
3.95/2.21	o 3528225
3.95/2.21	o 3599469
3.95/2.22	o 3662215
3.95/2.22	o 3731934
3.95/2.23	o 3759144
3.95/2.23	o 3964329
4.26/2.31	o 4004886
4.26/2.31	o 4076130
4.26/2.31	o 4237281
4.26/2.31	o 4308525
4.26/2.32	o 4513710
5.10/2.62	o 4565152
5.10/2.62	o 4702497
5.10/2.63	o 4773741
5.10/2.63	o 4834962
5.10/2.63	o 4906206
5.10/2.67	o 4967761
5.10/2.67	o 5040481
5.10/2.68	o 5103227
5.10/2.68	o 5172946
5.38/2.84	o 5189709
5.38/2.85	o 5267996
5.38/2.85	o 5405341
6.74/4.10	o 5408088
6.84/4.11	o 5520698
6.84/4.12	o 5535074
6.84/4.12	o 5606318
6.84/4.13	o 5673190
6.84/4.13	o 5824854
6.84/4.13	o 5896098
7.75/5.09	o 5937302
7.75/5.09	o 6074647
12.36/9.63	c First complete search done, starting ALNS search...
13.40/10.32	o 6256585
13.40/10.32	o 6637302
13.40/10.32	o 6831940
13.40/10.32	o 6897782
13.40/10.32	o 6920741
13.40/10.32	o 7023926
13.40/10.33	o 7283901
13.40/10.33	o 7349743
13.40/10.33	o 7376278
13.40/10.33	o 7391534
13.40/10.33	o 7636253
13.40/10.33	o 7651509
13.40/10.33	o 7684538
13.40/10.33	o 7805280
13.40/10.33	o 8065255
13.40/10.34	o 8131097
13.40/10.34	o 8142154
13.40/10.34	o 8207046
13.40/10.34	o 8268987
13.40/10.34	o 8649704
13.40/10.34	o 8682733
13.40/10.34	o 8803475
13.40/10.34	o 9063450
13.40/10.35	o 9129292
13.40/10.35	o 9133539
13.40/10.35	o 9504371
13.40/10.35	o 9570213
13.40/10.36	o 9652135
13.40/10.36	o 9717977
13.40/10.36	o 9722211
13.40/10.36	o 9734044
13.40/10.36	o 9799886
13.40/10.37	o 9804133
13.40/10.37	o 9869975
13.40/10.37	o 9927382
13.40/10.37	o 10027201
13.40/10.37	o 10093043
13.40/10.37	o 10174965
13.40/10.37	o 10240807
13.40/10.38	o 10251328
13.56/10.40	o 10374195
13.56/10.40	o 10384716
13.56/10.40	o 10474014
13.56/10.40	o 10484535
13.56/10.44	o 10530269
14.34/10.89	o 10627002
14.34/10.89	o 10697091
14.34/10.89	o 10721504
14.34/10.89	o 10791593
14.34/10.89	o 10851694
14.45/10.90	o 10937270
14.45/10.90	o 10972131
14.45/10.90	o 11071469
14.45/10.90	o 11131570
14.45/10.91	o 11141558
14.45/10.91	o 11201659
14.45/10.92	o 11506985
14.45/10.92	o 11577074
14.45/10.92	o 11637175
14.45/10.96	o 11818653
14.45/10.96	o 12025812
14.45/10.97	o 12085913
14.45/11.00	o 12135773
14.56/11.03	o 12295600
14.56/11.03	o 12562860
14.75/11.21	o 12679815
14.91/11.31	o 12708621
14.91/11.31	o 12798825
14.91/11.31	o 12915780
14.91/11.33	o 12975881
14.91/11.36	o 12978144
14.91/11.36	o 13095099
15.04/11.43	o 13240183
15.04/11.46	o 13300284
15.25/11.62	o 13393774
16.21/12.44	o 13436855
16.43/12.68	o 13508851
16.43/12.69	o 13608189
16.43/12.69	o 13610183
16.43/12.69	o 13786255
16.43/12.69	o 14209747
16.43/12.69	o 14309085
16.43/12.69	o 14365557
16.43/12.69	o 14389707
16.43/12.69	o 14404289
16.43/12.69	o 14912537
16.43/12.69	o 14969009
16.43/12.69	o 15031755
16.43/12.69	o 15280440
16.43/12.70	o 15324337
16.55/12.70	o 15348899
16.55/12.70	o 15757213
16.55/12.70	o 16049795
18.91/15.10	o 16364432
19.03/15.11	o 16435525
19.03/15.11	o 16888294
19.03/15.14	o 16915551
19.03/15.14	o 16947375
19.03/15.14	o 16958201
19.03/15.14	o 16990025
19.03/15.14	o 17016291
19.03/15.14	o 17080059
19.03/15.14	o 17195641
19.03/15.14	o 17221907
19.03/15.15	o 17512855
19.03/15.15	o 17539121
19.03/15.16	o 17718471
19.03/15.17	o 17744737
19.03/15.17	o 17816393
19.03/15.17	o 17930470
19.03/15.18	o 18255129
19.03/15.18	o 18573375
19.03/15.18	o 18663409
19.03/15.18	o 18778991
19.03/15.18	o 18805257
19.13/15.22	o 18878179
19.13/15.22	o 18899028
19.13/15.22	o 19291925
19.13/15.22	o 19318191
19.13/15.23	o 19422890
19.13/15.23	o 19449156
19.13/15.26	o 19517392
19.13/15.28	o 19597525
19.13/15.28	o 19623791
19.92/15.93	o 19806477
19.92/15.94	o 19831736
19.92/15.94	o 20236450
19.92/15.94	o 20447976
19.92/15.96	o 20630544
19.92/15.96	o 20842070
19.92/15.97	o 20955100
19.92/16.00	o 21112603
20.04/16.01	o 21225633
20.04/16.01	o 21230750
20.04/16.01	o 21343780
20.04/16.01	o 21438122
20.04/16.02	o 21551152
20.04/16.04	o 21605544
20.04/16.06	o 21699886
20.04/16.06	o 21812916
20.04/16.07	o 21813879
20.04/16.07	o 21926909
20.04/16.08	o 22025405
20.04/16.08	o 22138435
20.14/16.19	o 22163915
20.14/16.19	o 22171315
20.14/16.19	o 22276945
20.14/16.19	o 22284345
20.23/16.20	o 22371287
20.23/16.20	o 22378687
20.23/16.20	o 22484317
20.23/16.21	o 22491717
20.23/16.29	o 23021725
20.23/16.29	o 23256708
20.23/16.30	o 23358348
20.23/16.30	o 23360780
20.23/16.30	o 23945631
20.39/16.30	o 24218104
20.39/16.30	o 24802955
20.39/16.30	o 25317996
20.39/16.30	o 25374342
20.39/16.30	o 25444152
20.39/16.30	o 25959193
20.39/16.30	o 25972995
20.39/16.31	o 26105728
20.39/16.31	o 26119530
20.39/16.31	o 26472767
20.39/16.32	o 26619302
20.39/16.32	o 26633104
20.39/16.40	o 26658906
20.39/16.40	o 26726268
20.50/16.40	o 26730271
20.50/16.40	o 26756861
20.50/16.40	o 26790789
20.50/16.40	o 26869467
20.50/16.40	o 26949457
20.50/16.41	o 26994677
20.50/16.42	o 27074667
20.50/16.42	o 27142029
20.50/16.44	o 27509134
20.50/16.44	o 27634344
20.50/16.44	o 27698770
20.50/16.44	o 27793012
20.50/16.45	o 27860374
20.50/16.46	o 27864754
20.50/16.46	o 28023422
20.50/16.46	o 28057326
20.50/16.46	o 28215994
20.63/16.50	o 28280372
20.63/16.52	o 28405582
20.63/16.53	o 28472944
20.63/16.56	o 28651204
20.63/16.56	o 28776414
20.63/16.57	o 28843776
20.94/16.80	o 28892473
20.94/16.81	o 28986715
20.94/16.81	o 29052818
21.04/16.94	o 29069525
21.04/16.95	o 29135628
21.15/17.02	o 29173042
21.15/17.02	o 29331710
21.15/17.03	o 29397813
21.15/17.06	o 29411700
21.15/17.06	o 29477803
25.07/20.54	o 29563688
25.07/20.54	o 29849135
25.07/20.55	o 29864709
25.07/20.58	o 30045734
25.31/20.76	o 30057575
25.31/20.76	o 30124556
25.31/20.77	o 30254174
25.31/20.77	o 30321155
29.75/24.80	o 30581939
29.75/24.80	o 30625114
29.75/24.80	o 30913706
29.75/24.81	o 31297559
34.28/29.21	o 31651964
34.28/29.22	o 31710692
34.28/29.22	o 31736552
34.28/29.24	o 32237979
34.28/29.25	o 32322567
34.39/29.33	o 32407768
34.39/29.34	o 32557883
34.39/29.36	o 33080713
34.39/29.39	o 33335472
34.39/29.39	o 33592998
34.39/29.39	o 33781693
41.43/36.27	o 33791228
41.43/36.27	o 34248760
41.43/36.27	o 34304802
45.33/40.01	o 34304858
45.62/40.35	o 34536558
47.49/42.14	o 34886041
53.17/47.73	o 35597828
53.28/47.81	o 35613548
53.28/47.83	o 35785557
53.28/47.83	o 36197357
53.28/47.84	o 36276158
53.38/47.95	o 36698031
53.38/47.95	o 37020960
53.38/47.95	o 37543790
57.35/51.83	o 37612376
57.35/51.84	o 37756352
57.45/51.92	o 37947369
57.95/52.33	o 38079811
58.25/52.62	o 38242292
58.25/52.63	o 38284536
58.25/52.63	o 38347254
58.25/52.64	o 38512345
61.37/55.78	o 38519602
61.47/55.83	o 38609462
62.07/56.44	o 38710212
62.84/57.12	o 38713651
62.93/57.26	o 38961549
69.19/63.43	o 39125533
71.60/65.72	o 39260596
71.60/65.72	o 39306695
71.71/65.86	o 39354610
71.81/65.95	o 39354683
71.81/65.95	o 39612175
72.22/66.34	o 39822024
72.32/66.46	o 40089418
72.93/67.02	o 40229338
75.06/69.11	o 40315691
77.26/71.31	o 40357828
77.50/71.54	o 40618438
78.80/72.85	o 40623345
79.12/73.18	o 40687282
79.21/73.23	o 40735879
79.31/73.32	o 40762720
79.31/73.32	o 40850204
79.31/73.34	o 40898801
79.61/73.62	o 41042777
82.14/76.11	o 41159237
83.45/77.43	o 41329309
83.45/77.46	o 41468092
83.45/77.47	o 41510229
83.95/77.91	o 41884785
96.07/89.95	o 42151136
97.58/91.43	o 42221794
103.44/97.29	o 42261064
105.95/99.72	o 42266692
106.56/100.39	o 42286217
106.97/100.70	o 42508225
113.63/107.39	o 42523036
113.84/107.56	o 42524103
117.16/110.80	o 42705128
118.28/112.00	o 42806381
118.39/112.02	o 43023116
118.89/112.55	o 43038928
119.09/112.74	o 43229805
120.30/113.94	o 43237962
121.01/114.66	o 43453949
122.45/116.10	o 43456470
124.17/117.76	o 43631749
124.17/117.77	o 43863994
125.20/118.71	o 43887655
125.20/118.71	o 44295179
138.80/132.05	o 44473835
138.80/132.05	o 44613538
138.99/132.26	o 44622368
141.76/134.99	o 44684180
152.76/145.64	o 44847720
153.37/146.27	o 45017436
153.37/146.27	o 45065351
161.57/154.23	o 45125170
199.05/190.69	o 45306546
199.15/190.70	o 45390050
203.46/194.97	o 45440058
203.46/194.97	o 45496100
252.09/242.30	s SATISFIABLE
252.09/242.31	v <instantiation>
252.09/242.31	v 	<list>
252.09/242.31	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]
252.09/242.31	v 	</list>
252.09/242.31	v 	<values>
252.09/242.31	v 		0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 
252.09/242.31	v 	</values>
252.09/242.31	v </instantiation>

Verifier Data 

OK	45496100

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310563-1534328717/watcher-4310563-1534328717 -o /tmp/evaluation-result-4310563-1534328717/solver-4310563-1534328717 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534323825-25434 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1518423666 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310563-1534328717.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=29084, runsolver pid=29081

[startup+0.100061 s]*
/proc/loadavg: 2.09 2.17 1.90 4/215 29099
/proc/meminfo: memFree=23102940/32770624 swapFree=67108172/67108860
[pid=29084] ppid=29081 vsize=14082736 memory=29932 CPUtime=0.1 cores=1,3,5,7
/proc/29084/stat : 29084 (java) S 29081 29084 21905 0 -1 1077944320 6458 0 0 0 10 0 0 0 20 0 15 0 250434907 14420721664 7483 33554432000 4194304 4196468 140721232665840 140721232648384 140591777595127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
/proc/29084/statm: 3520684 7483 3133 1 0 3482761 0
[pid=29084/tid=29086] ppid=29081 vsize=14082736 memory=-8125511277465604730 CPUtime=0.08 cores=1,3,5,7
/proc/29084/task/29086/stat : 29086 (java) R 29081 29084 21905 0 -1 4202560 4520 0 0 0 8 0 0 0 20 0 15 0 250434907 14420721664 7483 33554432000 4194304 4196468 140721232665840 140591781789920 140591760798198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29087] ppid=29081 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29087/stat : 29087 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434908 14420721664 7483 33554432000 4194304 4196468 140721232665840 140591730215568 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29088] ppid=29081 vsize=14082736 memory=139782665156224 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29088/stat : 29088 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434908 14420721664 7483 33554432000 4194304 4196468 140721232665840 140591729162768 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29089] ppid=29081 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29089/stat : 29089 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434908 14420721664 7483 33554432000 4194304 4196468 140721232665840 140591371577744 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29090] ppid=29081 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29090/stat : 29090 (java) S 29081 29084 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250434908 14420721664 7483 33554432000 4194304 4196468 140721232665840 140591370524944 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29091] ppid=29081 vsize=14082736 memory=139782665156224 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29091/stat : 29091 (java) S 29081 29084 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250434909 14420721664 7483 33554432000 4194304 4196468 140721232665840 140591251819376 140591777606274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29092] ppid=29081 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29092/stat : 29092 (java) S 29081 29084 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250434910 14420721664 7483 33554432000 4194304 4196468 140721232665840 140591250765344 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29093] ppid=29081 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29093/stat : 29093 (java) S 29081 29084 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250434910 14420721664 7483 33554432000 4194304 4196468 140721232665840 140591249712496 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29094] ppid=29081 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29094/stat : 29094 (java) S 29081 29084 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250434912 14420721664 7483 33554432000 4194304 4196468 140721232665840 140591248660816 140591777613723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29095] ppid=29081 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29095/stat : 29095 (java) S 29081 29084 21905 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 250434913 14420721664 7483 33554432000 4194304 4196468 140721232665840 140591247608176 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29096] ppid=29081 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29096/stat : 29096 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434913 14420721664 7483 33554432000 4194304 4196468 140721232665840 140591246555376 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29097] ppid=29081 vsize=14082736 memory=139782665156224 CPUtime=0.01 cores=1,3,5,7
/proc/29084/task/29097/stat : 29097 (java) S 29081 29084 21905 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 15 0 250434913 14420721664 7483 33554432000 4194304 4196468 140721232665840 140591245502576 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29098] ppid=29081 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29098/stat : 29098 (java) S 29081 29084 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250434913 14420721664 7549 33554432000 4194304 4196468 140721232665840 140591244450016 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29099] ppid=29081 vsize=14082736 memory=139782665156224 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29099/stat : 29099 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434914 14420721664 7549 33554432000 4194304 4196468 140721232665840 140591243398320 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 29932 KiB

[startup+0.214362 s]*
/proc/loadavg: 2.09 2.17 1.90 5/215 29099
/proc/meminfo: memFree=23086816/32770624 swapFree=67108172/67108860
[pid=29084] ppid=29081 vsize=14082736 memory=46476 CPUtime=0.28 cores=1,3,5,7
/proc/29084/stat : 29084 (java) S 29081 29084 21905 0 -1 1077944320 10224 0 0 0 27 1 0 0 20 0 15 0 250434907 14420721664 11619 33554432000 4194304 4196468 140721232665840 140721232648384 140591777595127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
/proc/29084/statm: 3520684 11619 3322 1 0 3482761 0
[pid=29084/tid=29086] ppid=29081 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/29084/task/29086/stat : 29086 (java) R 29081 29084 21905 0 -1 4202560 8032 0 0 0 18 1 0 0 20 0 15 0 250434907 14420721664 11619 33554432000 4194304 4196468 140721232665840 140591781821952 140591777607062 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29087] ppid=29081 vsize=14082736 memory=343 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29087/stat : 29087 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434908 14420721664 11619 33554432000 4194304 4196468 140721232665840 140591730215568 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29088] ppid=29081 vsize=14082736 memory=139782665179733 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29088/stat : 29088 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434908 14420721664 11619 33554432000 4194304 4196468 140721232665840 140591729162768 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29089] ppid=29081 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29089/stat : 29089 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434908 14420721664 11619 33554432000 4194304 4196468 140721232665840 140591371577744 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29090] ppid=29081 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29090/stat : 29090 (java) S 29081 29084 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250434908 14420721664 11619 33554432000 4194304 4196468 140721232665840 140591370524944 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29091] ppid=29081 vsize=14082736 memory=139782665156224 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29091/stat : 29091 (java) S 29081 29084 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250434909 14420721664 11619 33554432000 4194304 4196468 140721232665840 140591251819376 140591777606274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29092] ppid=29081 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29092/stat : 29092 (java) S 29081 29084 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250434910 14420721664 11619 33554432000 4194304 4196468 140721232665840 140591250765344 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29093] ppid=29081 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29093/stat : 29093 (java) S 29081 29084 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250434910 14420721664 11619 33554432000 4194304 4196468 140721232665840 140591249712496 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29094] ppid=29081 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29094/stat : 29094 (java) S 29081 29084 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250434912 14420721664 11619 33554432000 4194304 4196468 140721232665840 140591248660816 140591777613723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29095] ppid=29081 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29084/task/29095/stat : 29095 (java) R 29081 29084 21905 0 -1 4202560 432 0 0 0 1 0 0 0 20 0 15 0 250434913 14420721664 11619 33554432000 4194304 4196468 140721232665840 140591247608176 140591762760702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29096] ppid=29081 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/29084/task/29096/stat : 29096 (java) R 29081 29084 21905 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 250434913 14420721664 11619 33554432000 4194304 4196468 140721232665840 140591246555376 140591777606274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29097] ppid=29081 vsize=14082736 memory=139782665156224 CPUtime=0.05 cores=1,3,5,7
/proc/29084/task/29097/stat : 29097 (java) R 29081 29084 21905 0 -1 4202560 296 0 0 0 5 0 0 0 20 0 15 0 250434913 14420721664 11619 33554432000 4194304 4196468 140721232665840 140591245498304 140591756278688 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29098] ppid=29081 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29098/stat : 29098 (java) S 29081 29084 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250434913 14420721664 11619 33554432000 4194304 4196468 140721232665840 140591244450016 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29099] ppid=29081 vsize=14082736 memory=139782665156224 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29099/stat : 29099 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434914 14420721664 11619 33554432000 4194304 4196468 140721232665840 140591243398320 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46476 KiB

[startup+0.310556 s]*
/proc/loadavg: 2.09 2.17 1.90 3/215 29099
/proc/meminfo: memFree=23083360/32770624 swapFree=67108172/67108860
[pid=29084] ppid=29081 vsize=14082736 memory=50072 CPUtime=0.42 cores=1,3,5,7
/proc/29084/stat : 29084 (java) S 29081 29084 21905 0 -1 1077944320 10688 0 0 0 40 2 0 0 20 0 15 0 250434907 14420721664 12518 33554432000 4194304 4196468 140721232665840 140721232648384 140591777595127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
/proc/29084/statm: 3520684 12518 3369 1 0 3482761 0
[pid=29084/tid=29086] ppid=29081 vsize=14082736 memory=7022364594140610616 CPUtime=0.28 cores=1,3,5,7
/proc/29084/task/29086/stat : 29086 (java) R 29081 29084 21905 0 -1 4202560 8384 0 0 0 27 1 0 0 20 0 15 0 250434907 14420721664 12518 33554432000 4194304 4196468 140721232665840 140591781756864 140591757870863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29087] ppid=29081 vsize=14082736 memory=4294977828 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29087/stat : 29087 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434908 14420721664 12518 33554432000 4194304 4196468 140721232665840 140591730215568 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29088] ppid=29081 vsize=14082736 memory=139782665179563 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29088/stat : 29088 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434908 14420721664 12518 33554432000 4194304 4196468 140721232665840 140591729162768 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29089] ppid=29081 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29089/stat : 29089 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434908 14420721664 12518 33554432000 4194304 4196468 140721232665840 140591371577744 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29090] ppid=29081 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29090/stat : 29090 (java) S 29081 29084 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250434908 14420721664 12518 33554432000 4194304 4196468 140721232665840 140591370524944 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29091] ppid=29081 vsize=14082736 memory=139782665156224 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29091/stat : 29091 (java) S 29081 29084 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250434909 14420721664 12518 33554432000 4194304 4196468 140721232665840 140591251819376 140591777606274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29092] ppid=29081 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29092/stat : 29092 (java) S 29081 29084 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250434910 14420721664 12518 33554432000 4194304 4196468 140721232665840 140591250765344 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29093] ppid=29081 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29093/stat : 29093 (java) S 29081 29084 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250434910 14420721664 12518 33554432000 4194304 4196468 140721232665840 140591249712496 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29094] ppid=29081 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29094/stat : 29094 (java) S 29081 29084 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250434912 14420721664 12518 33554432000 4194304 4196468 140721232665840 140591248660816 140591777613723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29095] ppid=29081 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29084/task/29095/stat : 29095 (java) S 29081 29084 21905 0 -1 1077944384 520 0 0 0 2 0 0 0 20 0 15 0 250434913 14420721664 12518 33554432000 4194304 4196468 140721232665840 140591247608176 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29096] ppid=29081 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/29084/task/29096/stat : 29096 (java) S 29081 29084 21905 0 -1 1077944384 90 0 0 0 2 0 0 0 20 0 15 0 250434913 14420721664 12518 33554432000 4194304 4196468 140721232665840 140591246555376 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29097] ppid=29081 vsize=14082736 memory=139782665156224 CPUtime=0.07 cores=1,3,5,7
/proc/29084/task/29097/stat : 29097 (java) S 29081 29084 21905 0 -1 1077944384 312 0 0 0 7 0 0 0 20 0 15 0 250434913 14420721664 12518 33554432000 4194304 4196468 140721232665840 140591245502576 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29098] ppid=29081 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29098/stat : 29098 (java) S 29081 29084 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250434913 14420721664 12518 33554432000 4194304 4196468 140721232665840 140591244450016 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29099] ppid=29081 vsize=14082736 memory=139782665156224 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29099/stat : 29099 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434914 14420721664 12518 33554432000 4194304 4196468 140721232665840 140591243398320 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50072 KiB

[startup+0.70072 s]
/proc/loadavg: 2.09 2.17 1.90 3/215 29099
/proc/meminfo: memFree=23051972/32770624 swapFree=67108172/67108860
[pid=29084] ppid=29081 vsize=14084804 memory=86628 CPUtime=0.98 cores=1,3,5,7
/proc/29084/stat : 29084 (java) S 29081 29084 21905 0 -1 1077944320 17553 0 0 0 94 4 0 0 20 0 15 0 250434907 14422839296 21657 33554432000 4194304 4196468 140721232665840 140721232648384 140591777595127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
/proc/29084/statm: 3521201 21657 3496 1 0 3483273 0
[pid=29084/tid=29086] ppid=29081 vsize=14084804 memory=264727422862594 CPUtime=0.66 cores=1,3,5,7
/proc/29084/task/29086/stat : 29086 (java) R 29081 29084 21905 0 -1 4202560 14811 0 0 0 63 3 0 0 20 0 15 0 250434907 14422839296 21657 33554432000 4194304 4196468 140721232665840 140591781820224 140591777617053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29087] ppid=29081 vsize=14084804 memory=288230376153010010 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29087/stat : 29087 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434908 14422839296 21657 33554432000 4194304 4196468 140721232665840 140591730215568 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29088] ppid=29081 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29088/stat : 29088 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434908 14422839296 21657 33554432000 4194304 4196468 140721232665840 140591729162768 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29089] ppid=29081 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29089/stat : 29089 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434908 14422839296 21657 33554432000 4194304 4196468 140721232665840 140591371577744 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29090] ppid=29081 vsize=14084804 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29090/stat : 29090 (java) S 29081 29084 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250434908 14422839296 21657 33554432000 4194304 4196468 140721232665840 140591370524944 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29091] ppid=29081 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29091/stat : 29091 (java) S 29081 29084 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250434909 14422839296 21657 33554432000 4194304 4196468 140721232665840 140591251819376 140591777606274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29092] ppid=29081 vsize=14084804 memory=-3535359994705172066 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29092/stat : 29092 (java) S 29081 29084 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250434910 14422839296 21657 33554432000 4194304 4196468 140721232665840 140591250765344 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29093] ppid=29081 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29093/stat : 29093 (java) S 29081 29084 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250434910 14422839296 21657 33554432000 4194304 4196468 140721232665840 140591249712496 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29094] ppid=29081 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29094/stat : 29094 (java) S 29081 29084 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250434912 14422839296 21657 33554432000 4194304 4196468 140721232665840 140591248660816 140591777613723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29095] ppid=29081 vsize=14084804 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/29084/task/29095/stat : 29095 (java) S 29081 29084 21905 0 -1 1077944384 685 0 0 0 7 0 0 0 20 0 15 0 250434913 14422839296 21657 33554432000 4194304 4196468 140721232665840 140591247608176 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29096] ppid=29081 vsize=14084804 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29084/task/29096/stat : 29096 (java) S 29081 29084 21905 0 -1 1077944384 256 0 0 0 7 0 0 0 20 0 15 0 250434913 14422839296 21657 33554432000 4194304 4196468 140721232665840 140591246555376 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29097] ppid=29081 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/29084/task/29097/stat : 29097 (java) S 29081 29084 21905 0 -1 1077944384 419 0 0 0 15 0 0 0 20 0 15 0 250434913 14422839296 21657 33554432000 4194304 4196468 140721232665840 140591245502576 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29098] ppid=29081 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29098/stat : 29098 (java) S 29081 29084 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250434913 14422839296 21657 33554432000 4194304 4196468 140721232665840 140591244450016 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29099] ppid=29081 vsize=14084804 memory=12552 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29099/stat : 29099 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434914 14422839296 21657 33554432000 4194304 4196468 140721232665840 140591243398320 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 86628 KiB

[startup+1.50074 s]
/proc/loadavg: 2.09 2.17 1.90 5/215 29099
/proc/meminfo: memFree=23029628/32770624 swapFree=67108172/67108860
[pid=29084] ppid=29081 vsize=14086852 memory=174452 CPUtime=2.55 cores=1,3,5,7
/proc/29084/stat : 29084 (java) S 29081 29084 21905 0 -1 1077944320 22653 0 0 0 248 7 0 0 20 0 15 0 250434907 14424936448 43613 33554432000 4194304 4196468 140721232665840 140721232648384 140591777595127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
/proc/29084/statm: 3521713 43613 3546 1 0 3483785 0
[pid=29084/tid=29086] ppid=29081 vsize=14086852 memory=10759 CPUtime=1.39 cores=1,3,5,7
/proc/29084/task/29086/stat : 29086 (java) R 29081 29084 21905 0 -1 4202560 17343 0 0 0 134 5 0 0 20 0 15 0 250434907 14424936448 43613 33554432000 4194304 4196468 140721232665840 140591781830928 140591413796098 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29087] ppid=29081 vsize=14086852 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29087/stat : 29087 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434908 14424936448 43613 33554432000 4194304 4196468 140721232665840 140591730215568 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29088] ppid=29081 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29088/stat : 29088 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434908 14424936448 43613 33554432000 4194304 4196468 140721232665840 140591729162768 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29089] ppid=29081 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29089/stat : 29089 (java) S 29081 29084 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250434908 14424936448 43613 33554432000 4194304 4196468 140721232665840 140591371577744 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29090] ppid=29081 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29090/stat : 29090 (java) S 29081 29084 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250434908 14424936448 43613 33554432000 4194304 4196468 140721232665840 140591370524944 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29091] ppid=29081 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29091/stat : 29091 (java) S 29081 29084 21905 0 -1 1077944384 249 0 0 0 0 0 0 0 20 0 15 0 250434909 14424936448 43613 33554432000 4194304 4196468 140721232665840 140591251819376 140591777606274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0

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

/proc/29084/task/29086/stat : 29086 (java) R 29081 29084 21905 0 -1 4202560 37466 0 0 0 16093 38 0 0 20 0 15 0 250434907 14431227904 608110 33554432000 4194304 4196468 140721232665840 140591781832528 140591413241696 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29087] ppid=29081 vsize=14092996 memory=2418360 CPUtime=0.65 cores=1,3,5,7
/proc/29084/task/29087/stat : 29087 (java) S 29081 29084 21905 0 -1 1077944384 751 0 0 0 51 14 0 0 20 0 15 0 250434908 14431227904 608110 33554432000 4194304 4196468 140721232665840 140591730215568 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29088] ppid=29081 vsize=14092996 memory=3752 CPUtime=0.64 cores=1,3,5,7
/proc/29084/task/29088/stat : 29088 (java) S 29081 29084 21905 0 -1 1077944384 1479 0 0 0 51 13 0 0 20 0 15 0 250434908 14431227904 608110 33554432000 4194304 4196468 140721232665840 140591729162768 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29089] ppid=29081 vsize=14092996 memory=68096 CPUtime=0.64 cores=1,3,5,7
/proc/29084/task/29089/stat : 29089 (java) S 29081 29084 21905 0 -1 1077944384 2372 0 0 0 51 13 0 0 20 0 15 0 250434908 14431227904 608110 33554432000 4194304 4196468 140721232665840 140591371577744 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29090] ppid=29081 vsize=14092996 memory=2428332 CPUtime=0.64 cores=1,3,5,7
/proc/29084/task/29090/stat : 29090 (java) S 29081 29084 21905 0 -1 1077944384 2485 0 0 0 51 13 0 0 20 0 15 0 250434908 14431227904 608110 33554432000 4194304 4196468 140721232665840 140591370524944 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29091] ppid=29081 vsize=14092996 memory=2428332 CPUtime=0.15 cores=1,3,5,7
/proc/29084/task/29091/stat : 29091 (java) S 29081 29084 21905 0 -1 1077944384 2873 0 0 0 12 3 0 0 20 0 15 0 250434909 14431227904 608110 33554432000 4194304 4196468 140721232665840 140591251819376 140591777606274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29092] ppid=29081 vsize=14092996 memory=2426284 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29092/stat : 29092 (java) S 29081 29084 21905 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 250434910 14431227904 608110 33554432000 4194304 4196468 140721232665840 140591250765408 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29093] ppid=29081 vsize=14092996 memory=2423216 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29093/stat : 29093 (java) S 29081 29084 21905 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 250434910 14431227904 608110 33554432000 4194304 4196468 140721232665840 140591249712512 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29094] ppid=29081 vsize=14092996 memory=2418356 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29094/stat : 29094 (java) S 29081 29084 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250434912 14431227904 608110 33554432000 4194304 4196468 140721232665840 140591248660816 140591777613723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29095] ppid=29081 vsize=14092996 memory=2416308 CPUtime=2.39 cores=1,3,5,7
/proc/29084/task/29095/stat : 29095 (java) S 29081 29084 21905 0 -1 1077944384 9189 0 0 0 237 2 0 0 20 0 15 0 250434913 14431227904 608110 33554432000 4194304 4196468 140721232665840 140591247608176 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29096] ppid=29081 vsize=14092996 memory=2425260 CPUtime=2.21 cores=1,3,5,7
/proc/29084/task/29096/stat : 29096 (java) S 29081 29084 21905 0 -1 1077944384 8790 0 0 0 220 1 0 0 20 0 15 0 250434913 14431227904 608110 33554432000 4194304 4196468 140721232665840 140591246555376 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29097] ppid=29081 vsize=14092996 memory=2423216 CPUtime=1.1 cores=1,3,5,7
/proc/29084/task/29097/stat : 29097 (java) S 29081 29084 21905 0 -1 1077944384 12649 0 0 0 108 2 0 0 20 0 15 0 250434913 14431227904 608110 33554432000 4194304 4196468 140721232665840 140591245502576 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29098] ppid=29081 vsize=14092996 memory=2422196 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29098/stat : 29098 (java) S 29081 29084 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250434913 14431227904 608110 33554432000 4194304 4196468 140721232665840 140591244450016 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29099] ppid=29081 vsize=14092996 memory=2401352 CPUtime=0.09 cores=1,3,5,7
/proc/29084/task/29099/stat : 29099 (java) S 29081 29084 21905 0 -1 1077944384 724 0 0 0 4 5 0 0 20 0 15 0 250434914 14431227904 608110 33554432000 4194304 4196468 140721232665840 140591243398320 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
Current children cumulated CPU time: 169.92 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2432440 KiB

[startup+222.301 s]
/proc/loadavg: 1.31 1.67 1.76 3/215 29180
/proc/meminfo: memFree=21819040/32770624 swapFree=67108172/67108860
[pid=29084] ppid=29081 vsize=14092996 memory=2495592 CPUtime=231.58 cores=1,3,5,7
/proc/29084/stat : 29084 (java) S 29081 29084 21905 0 -1 1077944320 99042 0 0 0 23033 125 0 0 20 0 15 0 250434907 14431227904 623898 33554432000 4194304 4196468 140721232665840 140721232648384 140591777595127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
/proc/29084/statm: 3523249 623898 3598 1 0 3485321 0
[pid=29084/tid=29086] ppid=29081 vsize=14092996 memory=2486588 CPUtime=220.7 cores=1,3,5,7
/proc/29084/task/29086/stat : 29086 (java) R 29081 29084 21905 0 -1 4202560 43238 0 0 0 22031 39 0 0 20 0 15 0 250434907 14431227904 623898 33554432000 4194304 4196468 140721232665840 140591781832208 140591418847344 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29087] ppid=29081 vsize=14092996 memory=2478184 CPUtime=1.11 cores=1,3,5,7
/proc/29084/task/29087/stat : 29087 (java) S 29081 29084 21905 0 -1 1077944384 1918 0 0 0 94 17 0 0 20 0 15 0 250434908 14431227904 623898 33554432000 4194304 4196468 140721232665840 140591730215568 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29088] ppid=29081 vsize=14092996 memory=2481460 CPUtime=1.11 cores=1,3,5,7
/proc/29084/task/29088/stat : 29088 (java) S 29081 29084 21905 0 -1 1077944384 1805 0 0 0 94 17 0 0 20 0 15 0 250434908 14431227904 623898 33554432000 4194304 4196468 140721232665840 140591729162768 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29089] ppid=29081 vsize=14092996 memory=2490988 CPUtime=1.11 cores=1,3,5,7
/proc/29084/task/29089/stat : 29089 (java) S 29081 29084 21905 0 -1 1077944384 3536 0 0 0 93 18 0 0 20 0 15 0 250434908 14431227904 623898 33554432000 4194304 4196468 140721232665840 140591371577744 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29090] ppid=29081 vsize=14092996 memory=0 CPUtime=1.11 cores=1,3,5,7
/proc/29084/task/29090/stat : 29090 (java) S 29081 29084 21905 0 -1 1077944384 2785 0 0 0 93 18 0 0 20 0 15 0 250434908 14431227904 623898 33554432000 4194304 4196468 140721232665840 140591370524944 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29091] ppid=29081 vsize=14092996 memory=7886766292050587702 CPUtime=0.23 cores=1,3,5,7
/proc/29084/task/29091/stat : 29091 (java) S 29081 29084 21905 0 -1 1077944384 3394 0 0 0 19 4 0 0 20 0 15 0 250434909 14431227904 623898 33554432000 4194304 4196468 140721232665840 140591251819376 140591777606274 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29092] ppid=29081 vsize=14092996 memory=2473504 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29092/stat : 29092 (java) S 29081 29084 21905 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 250434910 14431227904 623898 33554432000 4194304 4196468 140721232665840 140591250765408 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29093] ppid=29081 vsize=14092996 memory=2495592 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29093/stat : 29093 (java) S 29081 29084 21905 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 250434910 14431227904 623898 33554432000 4194304 4196468 140721232665840 140591249712512 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29094] ppid=29081 vsize=14092996 memory=2495592 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29094/stat : 29094 (java) S 29081 29084 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250434912 14431227904 623898 33554432000 4194304 4196468 140721232665840 140591248660816 140591777613723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29095] ppid=29081 vsize=14092996 memory=2492520 CPUtime=2.46 cores=1,3,5,7
/proc/29084/task/29095/stat : 29095 (java) S 29081 29084 21905 0 -1 1077944384 12588 0 0 0 244 2 0 0 20 0 15 0 250434913 14431227904 623898 33554432000 4194304 4196468 140721232665840 140591247608176 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29096] ppid=29081 vsize=14092996 memory=2148 CPUtime=2.4 cores=1,3,5,7
/proc/29084/task/29096/stat : 29096 (java) S 29081 29084 21905 0 -1 1077944384 11724 0 0 0 238 2 0 0 20 0 15 0 250434913 14431227904 623898 33554432000 4194304 4196468 140721232665840 140591246555376 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29097] ppid=29081 vsize=14092996 memory=1196 CPUtime=1.13 cores=1,3,5,7
/proc/29084/task/29097/stat : 29097 (java) S 29081 29084 21905 0 -1 1077944384 15839 0 0 0 111 2 0 0 20 0 15 0 250434913 14431227904 623898 33554432000 4194304 4196468 140721232665840 140591245502576 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29098] ppid=29081 vsize=14092996 memory=3752 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29098/stat : 29098 (java) S 29081 29084 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250434913 14431227904 623898 33554432000 4194304 4196468 140721232665840 140591244450016 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29099] ppid=29081 vsize=14092996 memory=68100 CPUtime=0.12 cores=1,3,5,7
/proc/29084/task/29099/stat : 29099 (java) S 29081 29084 21905 0 -1 1077944384 780 0 0 0 6 6 0 0 20 0 15 0 250434914 14431227904 623898 33554432000 4194304 4196468 140721232665840 140591243398320 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
Current children cumulated CPU time: 231.58 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2495592 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+242.301 s]
/proc/loadavg: 1.37 1.66 1.75 3/215 29180
/proc/meminfo: memFree=20348716/32770624 swapFree=67108172/67108860
[pid=29084] ppid=29081 vsize=14092996 memory=2517944 CPUtime=252.09 cores=1,3,5,7
/proc/29084/stat : 29084 (java) S 29081 29084 21905 0 -1 1077944320 103778 0 0 0 25076 133 0 0 20 0 15 0 250434907 14431227904 629486 33554432000 4194304 4196468 140721232665840 140721232648384 140591777595127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
/proc/29084/statm: 3523249 629486 3598 1 0 3485321 0
[pid=29084/tid=29086] ppid=29081 vsize=14092996 memory=2503752 CPUtime=240.49 cores=1,3,5,7
/proc/29084/task/29086/stat : 29086 (java) R 29081 29084 21905 0 -1 4202560 44833 0 0 0 24010 39 0 0 20 0 15 0 250434907 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591781832144 140591418017732 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29087] ppid=29081 vsize=14092996 memory=2504268 CPUtime=1.28 cores=1,3,5,7
/proc/29084/task/29087/stat : 29087 (java) S 29081 29084 21905 0 -1 1077944384 2691 0 0 0 109 19 0 0 20 0 15 0 250434908 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591730215568 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29088] ppid=29081 vsize=14092996 memory=2510224 CPUtime=1.28 cores=1,3,5,7
/proc/29084/task/29088/stat : 29088 (java) S 29081 29084 21905 0 -1 1077944384 2064 0 0 0 109 19 0 0 20 0 15 0 250434908 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591729162768 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29089] ppid=29081 vsize=14092996 memory=2514880 CPUtime=1.28 cores=1,3,5,7
/proc/29084/task/29089/stat : 29089 (java) S 29081 29084 21905 0 -1 1077944384 3617 0 0 0 108 20 0 0 20 0 15 0 250434908 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591371577744 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29090] ppid=29081 vsize=14092996 memory=2512316 CPUtime=1.28 cores=1,3,5,7
/proc/29084/task/29090/stat : 29090 (java) S 29081 29084 21905 0 -1 1077944384 2984 0 0 0 108 20 0 0 20 0 15 0 250434908 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591370524944 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29091] ppid=29081 vsize=14092996 memory=2512316 CPUtime=0.27 cores=1,3,5,7
/proc/29084/task/29091/stat : 29091 (java) S 29081 29084 21905 0 -1 1077944384 3658 0 0 0 22 5 0 0 20 0 15 0 250434909 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591251819376 140591777606274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29092] ppid=29081 vsize=14092996 memory=2517944 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29092/stat : 29092 (java) S 29081 29084 21905 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 250434910 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591250765408 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29093] ppid=29081 vsize=14092996 memory=2514880 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29093/stat : 29093 (java) S 29081 29084 21905 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 250434910 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591249712512 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29094] ppid=29081 vsize=14092996 memory=3752 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29094/stat : 29094 (java) S 29081 29084 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250434912 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591248660816 140591777613723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29095] ppid=29081 vsize=14092996 memory=2500692 CPUtime=2.46 cores=1,3,5,7
/proc/29084/task/29095/stat : 29095 (java) S 29081 29084 21905 0 -1 1077944384 12761 0 0 0 244 2 0 0 20 0 15 0 250434913 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591247608176 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29096] ppid=29081 vsize=14092996 memory=2497124 CPUtime=2.4 cores=1,3,5,7
/proc/29084/task/29096/stat : 29096 (java) S 29081 29084 21905 0 -1 1077944384 11865 0 0 0 238 2 0 0 20 0 15 0 250434913 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591246555376 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29097] ppid=29081 vsize=14092996 memory=2511240 CPUtime=1.14 cores=1,3,5,7
/proc/29084/task/29097/stat : 29097 (java) S 29081 29084 21905 0 -1 1077944384 17073 0 0 0 112 2 0 0 20 0 15 0 250434913 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591245502576 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29098] ppid=29081 vsize=14092996 memory=3752 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29098/stat : 29098 (java) S 29081 29084 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250434913 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591244450016 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29099] ppid=29081 vsize=14092996 memory=2514364 CPUtime=0.13 cores=1,3,5,7
/proc/29084/task/29099/stat : 29099 (java) S 29081 29084 21905 0 -1 1077944384 797 0 0 0 6 7 0 0 20 0 15 0 250434914 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591243398320 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2517944 KiB

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

[startup+242.34 s]
# the end of solver process 29084 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.789 s, system=1.3505 s

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

[startup+242.301 s]
/proc/loadavg: 1.37 1.66 1.75 3/215 29180
/proc/meminfo: memFree=20348716/32770624 swapFree=67108172/67108860
[pid=29084] ppid=29081 vsize=14092996 memory=2517944 CPUtime=252.09 cores=1,3,5,7
/proc/29084/stat : 29084 (java) S 29081 29084 21905 0 -1 1077944320 103778 0 0 0 25076 133 0 0 20 0 15 0 250434907 14431227904 629486 33554432000 4194304 4196468 140721232665840 140721232648384 140591777595127 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
/proc/29084/statm: 3523249 629486 3598 1 0 3485321 0
[pid=29084/tid=29086] ppid=29081 vsize=14092996 memory=2503752 CPUtime=240.49 cores=1,3,5,7
/proc/29084/task/29086/stat : 29086 (java) R 29081 29084 21905 0 -1 4202560 44833 0 0 0 24010 39 0 0 20 0 15 0 250434907 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591781832144 140591418017732 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29087] ppid=29081 vsize=14092996 memory=2504268 CPUtime=1.28 cores=1,3,5,7
/proc/29084/task/29087/stat : 29087 (java) S 29081 29084 21905 0 -1 1077944384 2691 0 0 0 109 19 0 0 20 0 15 0 250434908 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591730215568 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29088] ppid=29081 vsize=14092996 memory=2510224 CPUtime=1.28 cores=1,3,5,7
/proc/29084/task/29088/stat : 29088 (java) S 29081 29084 21905 0 -1 1077944384 2064 0 0 0 109 19 0 0 20 0 15 0 250434908 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591729162768 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29089] ppid=29081 vsize=14092996 memory=2514880 CPUtime=1.28 cores=1,3,5,7
/proc/29084/task/29089/stat : 29089 (java) S 29081 29084 21905 0 -1 1077944384 3617 0 0 0 108 20 0 0 20 0 15 0 250434908 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591371577744 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29090] ppid=29081 vsize=14092996 memory=2512316 CPUtime=1.28 cores=1,3,5,7
/proc/29084/task/29090/stat : 29090 (java) S 29081 29084 21905 0 -1 1077944384 2984 0 0 0 108 20 0 0 20 0 15 0 250434908 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591370524944 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29091] ppid=29081 vsize=14092996 memory=2512316 CPUtime=0.27 cores=1,3,5,7
/proc/29084/task/29091/stat : 29091 (java) S 29081 29084 21905 0 -1 1077944384 3658 0 0 0 22 5 0 0 20 0 15 0 250434909 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591251819376 140591777606274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29092] ppid=29081 vsize=14092996 memory=2517944 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29092/stat : 29092 (java) S 29081 29084 21905 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 250434910 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591250765408 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29093] ppid=29081 vsize=14092996 memory=2514880 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29093/stat : 29093 (java) S 29081 29084 21905 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 250434910 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591249712512 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29094] ppid=29081 vsize=14092996 memory=3752 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29094/stat : 29094 (java) S 29081 29084 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250434912 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591248660816 140591777613723 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29095] ppid=29081 vsize=14092996 memory=2500692 CPUtime=2.46 cores=1,3,5,7
/proc/29084/task/29095/stat : 29095 (java) S 29081 29084 21905 0 -1 1077944384 12761 0 0 0 244 2 0 0 20 0 15 0 250434913 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591247608176 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29096] ppid=29081 vsize=14092996 memory=2497124 CPUtime=2.4 cores=1,3,5,7
/proc/29084/task/29096/stat : 29096 (java) S 29081 29084 21905 0 -1 1077944384 11865 0 0 0 238 2 0 0 20 0 15 0 250434913 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591246555376 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29097] ppid=29081 vsize=14092996 memory=2511240 CPUtime=1.14 cores=1,3,5,7
/proc/29084/task/29097/stat : 29097 (java) S 29081 29084 21905 0 -1 1077944384 17073 0 0 0 112 2 0 0 20 0 15 0 250434913 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591245502576 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29098] ppid=29081 vsize=14092996 memory=3752 CPUtime=0 cores=1,3,5,7
/proc/29084/task/29098/stat : 29098 (java) S 29081 29084 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250434913 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591244450016 140591777605333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
[pid=29084/tid=29099] ppid=29081 vsize=14092996 memory=2514364 CPUtime=0.13 cores=1,3,5,7
/proc/29084/task/29099/stat : 29099 (java) S 29081 29084 21905 0 -1 1077944384 797 0 0 0 6 7 0 0 20 0 15 0 250434914 14431227904 629486 33554432000 4194304 4196468 140721232665840 140591243398320 140591777606274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10461184 140721232667738 140721232667918 140721232667918 140721232670671 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2517944 KiB

Child status: 143
Real time (s): 242.34
CPU time (s): 252.139
CPU user time (s): 250.789
CPU system time (s): 1.3505
CPU usage (%): 104.044
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 2517944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.789
system time used= 1.3505
maximum resident set size= 2518612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105075
page faults= 0
swaps= 0
block input operations= 8
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15867
involuntary context switches= 511


# summary of solver processes directly reported to runsolver:
#   pid: 29084
#   total CPU time (s): 252.139
#   total CPU user time (s): 250.789
#   total CPU system time (s): 1.3505

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42866 second user time and 2.40478 second system time

The end

Launcher Data 

Begin job on node136 at 2018-08-15 12:25:17
IDJOB=4310563
IDBENCH=141146
IDSOLVER=2796
FILE ID=node136/4310563-1534328717
RUNJOBID= node136-1534323825-25434
PBS_JOBID= 21038144
Free space on /tmp= 38992 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-4310563-1534328717/watcher-4310563-1534328717 -o /tmp/evaluation-result-4310563-1534328717/solver-4310563-1534328717 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534323825-25434 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1518423666 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310563-1534328717.xml

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

MD5SUM BENCH= 8abf4f1f4dc00a8da6097f5555605512
RANDOM SEED=1518423666

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23120932 kB
MemAvailable:   30453868 kB
Buffers:          130928 kB
Cached:          7430704 kB
SwapCached:           16 kB
Active:          5320116 kB
Inactive:        3737892 kB
Active(anon):    1447784 kB
Inactive(anon):   109076 kB
Active(file):    3872332 kB
Inactive(file):  3628816 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108860 kB
SwapFree:       67108172 kB
Dirty:             35896 kB
Writeback:             0 kB
AnonPages:       1523352 kB
Mapped:            68468 kB
Shmem:             57768 kB
Slab:             288576 kB
SReclaimable:     260248 kB
SUnreclaim:        28328 kB
KernelStack:        3792 kB
PageTables:         8568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2441252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1380352 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= 38956 MiB
End job on node136 at 2018-08-15 12:29:20