Trace number 4304247

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
Concrete 3.9.2OPT39 1305.33 1264.62

General information on the benchmark

NameGraphColoring/
GraphColoring-qg-order40_c18.xml
MD5SUMd1aa36ddb66a988b2d6475ffc1d9c375
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark39
Best CPU time to get the best result obtained on this benchmark1305.33
Satisfiable
(Un)Satisfiability was proved
Number of variables1600
Number of constraints62400
Number of domains1
Minimum domain size1600
Maximum domain size1600
Distribution of domain sizes[{"size":1600,"count":1600}]
Minimum variable degree79
Maximum variable degree79
Distribution of variable degrees[{"degree":79,"count":1600}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":62400}]
Number of extensional constraints0
Number of intensional constraints62400
Distribution of constraint types[{"type":"intension","count":62400}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.98/0.73	c Concrete v3.9.2.1532736233296 running
39.40/22.91	o 1599
41.02/23.86	o 1598
42.15/24.62	o 1597
43.48/25.43	o 1596
44.26/26.15	o 1595
45.05/26.85	o 1594
45.89/27.51	o 1593
46.62/28.16	o 1592
47.50/28.83	o 1591
48.21/29.53	o 1590
49.00/30.23	o 1589
49.60/30.87	o 1588
50.30/31.53	o 1587
51.01/32.23	o 1586
51.61/32.88	o 1585
52.31/33.54	o 1584
53.14/34.26	o 1583
53.85/34.95	o 1582
54.55/35.67	o 1581
55.28/36.32	o 1580
56.01/37.01	o 1579
56.60/37.67	o 1578
57.30/38.33	o 1577
58.11/39.16	o 1576
59.03/39.90	o 1575
59.64/40.57	o 1574
60.34/41.22	o 1573
60.94/41.89	o 1572
61.64/42.55	o 1571
62.25/43.18	o 1570
62.99/43.83	o 1569
63.59/44.45	o 1568
64.57/45.14	o 1567
65.16/45.78	o 1566
65.87/46.43	o 1565
66.59/47.09	o 1564
67.29/47.70	o 1563
67.79/48.29	o 1562
68.49/48.94	o 1561
69.19/49.61	o 1560
69.89/50.32	o 1559
70.79/51.10	o 1558
71.48/51.74	o 1557
72.08/52.38	o 1556
72.79/53.06	o 1555
73.48/53.72	o 1554
74.08/54.39	o 1553
74.79/55.01	o 1552
75.38/55.69	o 1551
76.09/56.36	o 1550
76.89/57.10	o 1549
77.58/57.75	o 1548
78.18/58.37	o 1547
78.89/59.03	o 1546
79.48/59.66	o 1545
80.18/60.32	o 1544
80.78/60.95	o 1543
81.38/61.58	o 1542
82.08/62.21	o 1541
82.85/62.90	o 1540
83.45/63.52	o 1539
84.06/64.15	o 1538
84.65/64.79	o 1537
85.35/65.41	o 1536
85.97/66.06	o 1535
86.66/66.73	o 1534
87.36/67.42	o 1533
88.07/68.13	o 1532
88.84/68.81	o 1531
89.44/69.47	o 1530
90.15/70.13	o 1529
90.74/70.74	o 1528
91.34/71.35	o 1527
91.94/72.00	o 1526
92.65/72.63	o 1525
93.25/73.29	o 1524
93.95/73.92	o 1523
94.72/74.61	o 1522
95.33/75.29	o 1521
96.03/75.94	o 1520
96.73/76.60	o 1519
97.33/77.23	o 1518
98.03/77.90	o 1517
98.63/78.57	o 1516
99.34/79.21	o 1515
99.94/79.85	o 1514
100.73/80.55	o 1513
101.43/81.23	o 1512
102.03/81.89	o 1511
102.73/82.56	o 1510
103.35/83.19	o 1509
104.04/83.83	o 1508
104.65/84.48	o 1507
105.26/85.09	o 1506
105.95/85.73	o 1505
106.62/86.38	o 1504
107.35/87.02	o 1503
107.94/87.69	o 1502
108.65/88.36	o 1501
109.36/89.04	o 1500
109.95/89.68	o 1499
110.65/90.33	o 1498
111.36/91.01	o 1497
111.95/91.67	o 1496
112.73/92.35	o 1495
113.33/92.98	o 1494
114.03/93.64	o 1493
114.73/94.30	o 1492
115.33/94.92	o 1491
116.03/95.60	o 1490
116.64/96.25	o 1489
117.24/96.87	o 1488
117.94/97.53	o 1487
118.72/98.25	o 1486
119.32/98.88	o 1485
120.02/99.53	o 1484
120.63/100.17	o 1483
121.32/100.84	o 1482
122.02/101.51	o 1481
122.71/102.23	o 1480
123.42/102.90	o 1479
124.02/103.56	o 1478
124.79/104.24	o 1477
125.39/104.86	o 1476
126.09/105.51	o 1475
126.70/106.12	o 1474
127.29/106.74	o 1473
128.00/107.40	o 1472
128.61/108.06	o 1471
129.20/108.68	o 1470
129.91/109.32	o 1469
130.58/110.00	o 1468
131.28/110.66	o 1467
131.98/111.34	o 1466
132.69/112.02	o 1465
133.28/112.66	o 1464
133.98/113.31	o 1463
134.58/113.96	o 1462
135.18/114.59	o 1461
135.89/115.28	o 1460
136.64/115.99	o 1459
137.34/116.63	o 1458
137.94/117.27	o 1457
138.64/117.90	o 1456
139.24/118.57	o 1455
139.94/119.23	o 1454
140.64/119.91	o 1453
141.24/120.57	o 1452
141.94/121.20	o 1451
142.61/121.84	o 1450
143.21/122.48	o 1449
143.92/123.13	o 1448
144.52/123.78	o 1447
145.22/124.41	o 1446
145.83/125.04	o 1445
146.42/125.68	o 1444
147.12/126.32	o 1443
147.72/126.97	o 1442
148.46/127.60	o 1441
149.06/128.24	o 1440
149.66/128.90	o 1439
150.36/129.55	o 1438
151.13/130.18	o 1437
151.83/130.83	o 1436
152.44/131.47	o 1435
153.17/132.11	o 1434
153.86/132.80	o 1433
154.50/133.44	o 1432
155.21/134.11	o 1431
155.80/134.80	o 1430
156.50/135.45	o 1429
157.21/136.12	o 1428
157.81/136.79	o 1427
158.51/137.46	o 1426
159.22/138.11	o 1425
159.81/138.78	o 1424
160.60/139.41	o 1423
161.21/140.04	o 1422
161.80/140.68	o 1421
162.51/141.36	o 1420
163.22/142.02	o 1419
163.81/142.66	o 1418
164.41/143.30	o 1417
165.11/143.97	o 1416
165.89/144.64	o 1415
166.59/145.30	o 1414
167.19/145.91	o 1413
167.79/146.51	o 1412
168.40/147.18	o 1411
169.09/147.86	o 1410
169.79/148.50	o 1409
170.40/149.16	o 1408
171.10/149.82	o 1407
171.87/150.50	o 1406
172.48/151.17	o 1405
173.17/151.84	o 1404
173.87/152.53	o 1403
174.58/153.20	o 1402
175.18/153.85	o 1401
175.88/154.51	o 1400
176.49/155.16	o 1399
177.08/155.79	o 1398
177.85/156.44	o 1397
178.46/157.11	o 1396
179.16/157.74	o 1395
179.76/158.39	o 1394
180.36/159.00	o 1393
181.06/159.64	o 1392
181.66/160.28	o 1391
182.36/160.91	o 1390
182.96/161.56	o 1389
183.72/162.21	o 1388
184.32/162.87	o 1387
185.02/163.51	o 1386
185.63/164.18	o 1385
186.33/164.83	o 1384
186.93/165.49	o 1383
187.64/166.13	o 1382
188.23/166.76	o 1381
188.93/167.40	o 1380
189.61/168.05	o 1379
190.20/168.67	o 1378
190.91/169.32	o 1377
191.51/169.97	o 1376
192.11/170.59	o 1375
192.81/171.22	o 1374
193.42/171.87	o 1373
194.12/172.54	o 1372
194.82/173.20	o 1371
195.48/173.88	o 1370
196.18/174.52	o 1369
196.79/175.19	o 1368
197.48/175.84	o 1367
198.08/176.48	o 1366
198.69/177.10	o 1365
199.38/177.77	o 1364
200.08/178.41	o 1363
200.69/179.06	o 1362
201.44/179.78	o 1361
202.14/180.40	o 1360
202.75/181.07	o 1359
203.34/181.68	o 1358
204.04/182.32	o 1357
204.64/182.95	o 1356
205.24/183.59	o 1355
205.94/184.22	o 1354
206.54/184.89	o 1353
207.30/185.59	o 1352
208.00/186.21	o 1351
208.60/186.80	o 1350
209.20/187.42	o 1349
209.81/188.08	o 1348
210.50/188.73	o 1347
211.10/189.35	o 1346
211.70/189.95	o 1345
212.31/190.58	o 1344
213.08/191.23	o 1343
213.68/191.88	o 1342
214.38/192.56	o 1341
214.99/193.20	o 1340
215.69/193.81	o 1339
216.29/194.43	o 1338
216.90/195.06	o 1337
217.49/195.68	o 1336
218.19/196.34	o 1335
218.96/197.02	o 1334
219.65/197.70	o 1333
220.25/198.35	o 1332
220.85/198.97	o 1331
221.45/199.60	o 1330
222.15/200.20	o 1329
222.75/200.84	o 1328
223.35/201.48	o 1327
224.06/202.13	o 1326
224.83/202.82	o 1325
225.43/203.45	o 1324
226.04/204.04	o 1323
226.63/204.68	o 1322
227.33/205.31	o 1321
227.93/205.95	o 1320
228.53/206.59	o 1319
229.23/207.20	o 1318
229.83/207.84	o 1317
230.61/208.53	o 1316
231.22/209.18	o 1315
231.91/209.85	o 1314
232.51/210.47	o 1313
233.22/211.13	o 1312
233.81/211.76	o 1311
234.41/212.38	o 1310
235.12/213.04	o 1309
235.71/213.68	o 1308
236.48/214.36	o 1307
237.08/214.99	o 1306
237.78/215.60	o 1305
238.38/216.24	o 1304
238.98/216.85	o 1303
239.58/217.48	o 1302
240.19/218.08	o 1301
240.78/218.69	o 1300
241.48/219.34	o 1299
242.08/219.98	o 1298
242.83/220.65	o 1297
243.53/221.32	o 1296
244.13/221.96	o 1295
244.73/222.59	o 1294
245.43/223.24	o 1293
246.04/223.88	o 1292
246.74/224.50	o 1291
247.35/225.14	o 1290
247.94/225.74	o 1289
248.70/226.45	o 1288
249.31/227.09	o 1287
250.00/227.73	o 1286
250.60/228.31	o 1285
251.20/228.96	o 1284
251.80/229.59	o 1283
252.50/230.22	o 1282
253.10/230.85	o 1281
253.70/231.49	o 1280
254.46/232.17	o 1279
255.05/232.75	o 1278
255.65/233.39	o 1277
256.25/233.99	o 1276
256.95/234.62	o 1275
257.55/235.24	o 1274
258.15/235.89	o 1273
258.86/236.53	o 1272
259.47/237.16	o 1271
260.22/237.83	o 1270
260.82/238.49	o 1269
261.53/239.13	o 1268
262.12/239.79	o 1267
262.82/240.40	o 1266
263.43/241.04	o 1265
264.02/241.67	o 1264
264.72/242.31	o 1263
265.32/242.94	o 1262
266.10/243.65	o 1261
266.70/244.29	o 1260
267.41/244.92	o 1259
268.02/245.56	o 1258
268.63/246.18	o 1257
269.32/246.87	o 1256
270.02/247.54	o 1255
270.63/248.16	o 1254
271.22/248.77	o 1253
272.00/249.42	o 1252
272.60/250.10	o 1251
273.29/250.74	o 1250
273.99/251.41	o 1249
274.60/252.02	o 1248
275.19/252.62	o 1247
275.79/253.28	o 1246
276.39/253.88	o 1245
277.09/254.54	o 1244
277.88/255.21	o 1243
278.47/255.85	o 1242
279.07/256.48	o 1241
279.78/257.13	o 1240
280.38/257.75	o 1239
280.98/258.36	o 1238
281.68/259.01	o 1237
282.28/259.64	o 1236
282.98/260.30	o 1235
283.58/260.95	o 1234
284.22/261.59	o 1233
284.92/262.28	o 1232
285.62/262.91	o 1231
286.22/263.57	o 1230
286.92/264.20	o 1229
287.52/264.82	o 1228
288.12/265.44	o 1227
288.73/266.09	o 1226
289.42/266.78	o 1225
290.19/267.40	o 1224
290.80/268.05	o 1223
291.39/268.68	o 1222
291.99/269.28	o 1221
292.69/269.90	o 1220
293.29/270.52	o 1219
293.99/271.21	o 1218
294.59/271.82	o 1217
295.22/272.44	o 1216
295.88/273.08	o 1215
296.47/273.68	o 1214
297.17/274.31	o 1213
297.77/274.95	o 1212
298.47/275.60	o 1211
299.07/276.25	o 1210
299.77/276.90	o 1209
300.37/277.57	o 1208
301.07/278.20	o 1207
301.72/278.88	o 1206
302.42/279.54	o 1205
303.03/280.18	o 1204
303.62/280.77	o 1203
304.32/281.41	o 1202
304.93/282.06	o 1201
305.52/282.65	o 1200
306.12/283.27	o 1199
306.82/283.91	o 1198
307.49/284.56	o 1197
308.19/285.23	o 1196
308.79/285.89	o 1195
309.49/286.55	o 1194
310.10/287.17	o 1193
310.80/287.85	o 1192
311.50/288.51	o 1191
312.11/289.17	o 1190
312.80/289.81	o 1189
313.46/290.47	o 1188
314.07/291.10	o 1187
314.66/291.69	o 1186
315.44/292.35	o 1185
316.04/292.99	o 1184
316.74/293.66	o 1183
317.45/294.32	o 1182
318.05/294.92	o 1181
318.65/295.56	o 1180
319.41/296.24	o 1179
320.01/296.88	o 1178
320.71/297.52	o 1177
321.32/298.20	o 1176
322.01/298.90	o 1175
322.71/299.53	o 1174
323.32/300.15	o 1173
323.92/300.77	o 1172
324.62/301.41	o 1171
325.22/302.09	o 1170
325.99/302.73	o 1169
326.59/303.39	o 1168
327.30/304.07	o 1167
327.89/304.68	o 1166
328.59/305.37	o 1165
329.30/306.02	o 1164
329.90/306.66	o 1163
330.50/307.30	o 1162
331.19/308.01	o 1161
331.97/308.66	o 1160
332.57/309.29	o 1159
333.27/309.94	o 1158
333.87/310.59	o 1157
334.57/311.23	o 1156
335.27/311.91	o 1155
335.87/312.58	o 1154
336.57/313.22	o 1153
337.34/313.91	o 1152
337.94/314.57	o 1151
338.64/315.21	o 1150
339.25/315.82	o 1149
339.85/316.45	o 1148
340.46/317.07	o 1147
341.15/317.71	o 1146
341.75/318.34	o 1145
342.35/318.99	o 1144
343.05/319.65	o 1143
343.70/320.30	o 1142
344.40/320.92	o 1141
345.00/321.54	o 1140
345.61/322.19	o 1139
346.30/322.83	o 1138
346.90/323.46	o 1137
347.61/324.11	o 1136
348.20/324.78	o 1135
348.90/325.40	o 1134
349.56/326.09	o 1133
350.26/326.74	o 1132
350.87/327.38	o 1131
351.58/328.02	o 1130
352.17/328.67	o 1129
352.87/329.31	o 1128
353.47/329.95	o 1127
354.07/330.57	o 1126
354.77/331.22	o 1125
355.43/331.85	o 1124
356.03/332.47	o 1123
356.74/333.12	o 1122
357.33/333.78	o 1121
358.03/334.43	o 1120
358.64/335.04	o 1119
359.23/335.67	o 1118
359.93/336.30	o 1117
360.53/336.93	o 1116
361.20/337.58	o 1115
361.81/338.19	o 1114
362.50/338.83	o 1113
363.10/339.48	o 1112
363.71/340.08	o 1111
364.30/340.69	o 1110
365.01/341.31	o 1109
365.61/341.94	o 1108
366.31/342.61	o 1107
366.91/343.24	o 1106
367.55/343.86	o 1105
368.25/344.50	o 1104
368.86/345.18	o 1103
369.55/345.83	o 1102
370.16/346.46	o 1101
370.77/347.09	o 1100
371.46/347.71	o 1099
372.07/348.36	o 1098
372.84/349.03	o 1097
373.43/349.66	o 1096
374.13/350.30	o 1095
374.73/350.93	o 1094
375.33/351.57	o 1093
375.94/352.19	o 1092
376.63/352.82	o 1091
377.23/353.45	o 1090
377.84/354.07	o 1089
378.58/354.77	o 1088
379.28/355.40	o 1087
379.89/356.02	o 1086
380.48/356.63	o 1085
381.08/357.22	o 1084
381.68/357.85	o 1083
382.28/358.49	o 1082
382.99/359.12	o 1081
383.63/359.80	o 1080
384.34/360.45	o 1079
384.95/361.09	o 1078
385.64/361.70	o 1077
386.24/362.31	o 1076
386.84/362.92	o 1075
387.44/363.56	o 1074
388.21/364.20	o 1073
388.81/364.86	o 1072
389.41/365.47	o 1071
390.02/366.09	o 1070
390.71/366.75	o 1069
391.31/367.38	o 1068
392.02/368.01	o 1067
392.61/368.64	o 1066
393.35/369.30	o 1065
393.95/369.92	o 1064
394.55/370.53	o 1063
395.16/371.16	o 1062
395.75/371.78	o 1061
396.45/372.42	o 1060
397.06/373.06	o 1059
397.81/373.70	o 1058
398.41/374.31	o 1057
399.01/374.94	o 1056
399.71/375.60	o 1055
400.31/376.24	o 1054
400.91/376.88	o 1053
401.69/377.52	o 1052
402.30/378.17	o 1051
402.89/378.79	o 1050
403.59/379.44	o 1049
404.20/380.07	o 1048
404.90/380.73	o 1047
405.50/381.33	o 1046
406.17/381.97	o 1045
406.87/382.63	o 1044
407.47/383.26	o 1043
408.07/383.89	o 1042
408.77/384.50	o 1041
409.38/385.12	o 1040
409.97/385.77	o 1039
410.57/386.39	o 1038
411.32/387.04	o 1037
411.92/387.69	o 1036
412.62/388.33	o 1035
413.22/388.96	o 1034
413.82/389.56	o 1033
414.43/390.16	o 1032
415.02/390.78	o 1031
415.80/391.43	o 1030
416.41/392.07	o 1029
417.00/392.68	o 1028
417.70/393.35	o 1027
418.41/394.01	o 1026
419.00/394.67	o 1025
419.70/395.32	o 1024
420.30/395.92	o 1023
420.96/396.58	o 1022
421.66/397.21	o 1021
422.26/397.80	o 1020
422.86/398.41	o 1019
423.47/399.01	o 1018
424.06/399.64	o 1017
424.66/400.27	o 1016
425.26/400.88	o 1015
426.03/401.52	o 1014
426.54/402.11	o 1013
427.23/402.76	o 1012
427.93/403.42	o 1011
428.54/404.06	o 1010
429.13/404.68	o 1009
429.83/405.32	o 1008
430.43/405.92	o 1007
431.41/406.68	o 1006
432.12/407.34	o 1005
432.72/407.96	o 1004
433.42/408.64	o 1003
434.02/409.23	o 1002
434.62/409.89	o 1001
435.32/410.53	o 1000
435.93/411.17	o 999
436.62/411.81	o 998
437.37/412.51	o 997
437.98/413.13	o 996
438.57/413.76	o 995
439.27/414.42	o 994
439.88/415.05	o 993
440.47/415.68	o 992
441.18/416.31	o 991
441.78/416.92	o 990
442.51/417.59	o 989
443.21/418.22	o 988
443.81/418.84	o 987
444.41/419.48	o 986
445.02/420.09	o 985
445.72/420.74	o 984
446.32/421.36	o 983
446.92/422.01	o 982
447.62/422.63	o 981
448.32/423.29	o 980
449.02/423.91	o 979
449.62/424.56	o 978
450.23/425.15	o 977
450.82/425.76	o 976
451.42/426.36	o 975
452.02/426.98	o 974
452.72/427.63	o 973
453.32/428.25	o 972
454.13/428.92	o 971
454.73/429.56	o 970
455.43/430.20	o 969
456.03/430.86	o 968
456.63/431.45	o 967
457.24/432.07	o 966
457.83/432.69	o 965
458.43/433.28	o 964
459.12/433.93	o 963
460.05/434.67	o 962
460.65/435.26	o 961
461.25/435.88	o 960
461.97/436.51	o 959
462.48/437.07	o 958
463.17/437.71	o 957
463.77/438.31	o 956
464.27/438.89	o 955
464.97/439.50	o 954
465.58/440.15	o 953
466.42/440.85	o 952
467.12/441.52	o 951
467.73/442.13	o 950
468.32/442.73	o 949
468.92/443.37	o 948
469.52/443.99	o 947
470.22/444.60	o 946
470.73/445.19	o 945
471.42/445.83	o 944
472.19/446.50	o 943
472.90/447.13	o 942
473.49/447.73	o 941
474.09/448.33	o 940
474.69/448.99	o 939
475.29/449.59	o 938
475.99/450.22	o 937
476.59/450.86	o 936
477.19/451.50	o 935
478.22/452.21	o 934
478.82/452.82	o 933
479.42/453.42	o 932
480.03/454.08	o 931
480.72/454.71	o 930
481.32/455.36	o 929
481.92/456.00	o 928
482.63/456.62	o 927
483.23/457.25	o 926
483.93/457.92	o 925
484.58/458.57	o 924
485.19/459.16	o 923
485.78/459.76	o 922
486.38/460.35	o 921
486.98/460.97	o 920
487.68/461.60	o 919
488.28/462.25	o 918
488.88/462.86	o 917
489.48/463.49	o 916
490.26/464.16	o 915
490.95/464.80	o 914
491.55/465.43	o 913
492.16/466.04	o 912
492.85/466.70	o 911
493.45/467.34	o 910
494.05/467.95	o 909
494.65/468.59	o 908
495.35/469.25	o 907
496.12/469.93	o 906
496.72/470.57	o 905
497.42/471.20	o 904
498.03/471.84	o 903
498.63/472.47	o 902
499.24/473.10	o 901
499.93/473.76	o 900
500.53/474.38	o 899
501.24/475.01	o 898
501.83/475.63	o 897
502.48/476.28	o 896
503.18/476.90	o 895
503.68/477.49	o 894
504.39/478.11	o 893
504.98/478.75	o 892
505.58/479.37	o 891
506.18/479.97	o 890
506.88/480.60	o 889
507.48/481.24	o 888
508.24/481.90	o 887
508.84/482.51	o 886
509.45/483.14	o 885
510.03/483.76	o 884
510.74/484.41	o 883
511.34/485.05	o 882
511.94/485.68	o 881
512.64/486.31	o 880
513.24/486.92	o 879
513.89/487.56	o 878
514.59/488.22	o 877
515.19/488.87	o 876
515.89/489.51	o 875
516.50/490.16	o 874
517.09/490.78	o 873
517.80/491.43	o 872
518.41/492.05	o 871
519.17/492.73	o 870
519.77/493.35	o 869
520.37/493.96	o 868
521.07/494.60	o 867
521.67/495.25	o 866
522.28/495.85	o 865
522.87/496.49	o 864
523.58/497.11	o 863
524.22/497.79	o 862
524.95/498.40	o 861
525.56/499.04	o 860
526.15/499.69	o 859
526.75/500.29	o 858
527.45/500.94	o 857
528.05/501.55	o 856
528.65/502.19	o 855
529.41/502.84	o 854
530.01/503.49	o 853
530.72/504.12	o 852
531.32/504.75	o 851
531.92/505.35	o 850
532.52/505.98	o 849
533.12/506.58	o 848
533.82/507.21	o 847
534.57/507.91	o 846
535.17/508.55	o 845
535.87/509.20	o 844
536.47/509.82	o 843
537.07/510.47	o 842
537.68/511.10	o 841
538.37/511.77	o 840
539.04/512.37	o 839
539.65/512.98	o 838
540.34/513.61	o 837
540.94/514.21	o 836
541.54/514.82	o 835
542.14/515.47	o 834
542.93/516.12	o 833
543.52/516.78	o 832
544.14/517.39	o 831
544.85/518.01	o 830
545.44/518.69	o 829
546.14/519.33	o 828
546.74/519.93	o 827
547.40/520.59	o 826
548.09/521.21	o 825
548.80/521.91	o 824
549.39/522.55	o 823
550.00/523.18	o 822
550.60/523.79	o 821
551.35/524.43	o 820
551.96/525.10	o 819
552.65/525.74	o 818
553.25/526.39	o 817
553.96/527.02	o 816
554.55/527.66	o 815
555.20/528.29	o 814
555.90/528.91	o 813
556.50/529.55	o 812
557.11/530.15	o 811
557.70/530.73	o 810
558.30/531.37	o 809
558.95/531.98	o 808
559.55/532.58	o 807
560.25/533.23	o 806
560.85/533.87	o 805
561.45/534.48	o 804
562.22/535.13	o 803
562.81/535.75	o 802
563.41/536.34	o 801
564.01/536.95	o 800
564.61/537.56	o 799
565.39/538.21	o 798
565.99/538.82	o 797
566.59/539.46	o 796
567.20/540.07	o 795
567.79/540.68	o 794
568.39/541.27	o 793
569.14/541.98	o 792
569.74/542.60	o 791
570.44/543.22	o 790
571.04/543.86	o 789
571.72/544.49	o 788
572.43/545.12	o 787
573.02/545.72	o 786
573.62/546.33	o 785
574.22/546.95	o 784
575.00/547.65	o 783
575.60/548.28	o 782
576.30/548.90	o 781
576.90/549.52	o 780
577.51/550.15	o 779
578.10/550.78	o 778
578.85/551.45	o 777
579.56/552.12	o 776
580.15/552.74	o 775
580.75/553.31	o 774
581.35/553.98	o 773
582.11/554.66	o 772
582.82/555.33	o 771
583.42/555.94	o 770
584.01/556.55	o 769
584.72/557.20	o 768
585.32/557.84	o 767
586.07/558.51	o 766
586.68/559.16	o 765
587.27/559.77	o 764
587.87/560.37	o 763
588.47/560.99	o 762
589.17/561.67	o 761
589.93/562.33	o 760
590.53/563.00	o 759
591.23/563.62	o 758
591.84/564.27	o 757
592.54/564.91	o 756
593.22/565.55	o 755
593.83/566.15	o 754
594.42/566.78	o 753
595.13/567.43	o 752
595.73/568.06	o 751
596.33/568.68	o 750
596.93/569.29	o 749
597.68/569.97	o 748
598.28/570.59	o 747
598.98/571.20	o 746
599.59/571.82	o 745
600.18/572.45	o 744
600.79/573.09	o 743
601.55/573.75	o 742
602.15/574.38	o 741
602.86/575.01	o 740
603.45/575.66	o 739
604.05/576.29	o 738
604.75/576.94	o 737
605.42/577.57	o 736
606.03/578.18	o 735
606.72/578.84	o 734
607.43/579.50	o 733
608.04/580.12	o 732
608.63/580.78	o 731
609.39/581.43	o 730
610.00/582.06	o 729
610.69/582.70	o 728
611.29/583.36	o 727
611.89/583.98	o 726
612.69/584.64	o 725
613.28/585.21	o 724
613.88/585.82	o 723
614.48/586.44	o 722
615.09/587.07	o 721
615.68/587.69	o 720
616.47/588.35	o 719
617.07/588.97	o 718
617.77/589.61	o 717
618.37/590.24	o 716
618.97/590.89	o 715
619.67/591.58	o 714
620.47/592.25	o 713
621.07/592.90	o 712
621.77/593.51	o 711
622.38/594.17	o 710
623.07/594.81	o 709
623.67/595.44	o 708
624.28/596.07	o 707
625.03/596.73	o 706
625.63/597.34	o 705
626.23/597.95	o 704
626.93/598.62	o 703
627.53/599.26	o 702
628.23/599.90	o 701
629.01/600.61	o 700
629.61/601.26	o 699
630.21/601.90	o 698
630.91/602.55	o 697
631.61/603.21	o 696
632.21/603.85	o 695
632.81/604.46	o 694
633.61/605.12	o 693
634.20/605.75	o 692
634.90/606.41	o 691
635.51/607.03	o 690
636.20/607.71	o 689
636.80/608.35	o 688
637.41/608.97	o 687
638.11/609.62	o 686
638.76/610.27	o 685
639.46/610.91	o 684
640.07/611.51	o 683
640.67/612.12	o 682
641.27/612.76	o 681
641.87/613.39	o 680
642.47/614.00	o 679
643.24/614.64	o 678
643.84/615.27	o 677
644.44/615.89	o 676
645.14/616.50	o 675
645.64/617.10	o 674
646.34/617.72	o 673
646.94/618.33	o 672
647.60/618.94	o 671
648.20/619.56	o 670
648.81/620.19	o 669
649.50/620.83	o 668
650.10/621.48	o 667
650.81/622.13	o 666
651.59/622.80	o 665
652.19/623.45	o 664
652.80/624.03	o 663
653.39/624.65	o 662
653.99/625.23	o 661
654.59/625.87	o 660
655.19/626.50	o 659
655.96/627.18	o 658
656.65/627.84	o 657
657.25/628.47	o 656
657.96/629.11	o 655
658.55/629.73	o 654
659.15/630.39	o 653
659.94/631.02	o 652
660.53/631.65	o 651
661.13/632.29	o 650
661.84/632.93	o 649
662.44/633.59	o 648
663.22/634.24	o 647
663.92/634.92	o 646
664.52/635.54	o 645
665.12/636.19	o 644
665.82/636.84	o 643
666.50/637.47	o 642
667.21/638.11	o 641
667.80/638.74	o 640
668.40/639.36	o 639
669.00/639.99	o 638
669.70/640.62	o 637
670.39/641.25	o 636
670.99/641.88	o 635
671.69/642.52	o 634
672.30/643.19	o 633
672.99/643.83	o 632
673.59/644.49	o 631
674.37/645.17	o 630
675.06/645.82	o 629
675.66/646.45	o 628
676.27/647.06	o 627
676.86/647.69	o 626
677.56/648.31	o 625
678.16/649.00	o 624
678.95/649.66	o 623
679.65/650.31	o 622
680.25/650.92	o 621
680.85/651.55	o 620
681.46/652.18	o 619
682.05/652.78	o 618
682.83/653.44	o 617
683.44/654.07	o 616
684.03/654.67	o 615
684.73/655.31	o 614
685.33/655.95	o 613
685.93/656.58	o 612
686.63/657.23	o 611
687.29/657.88	o 610
687.99/658.51	o 609
688.60/659.16	o 608
689.29/659.82	o 607
689.89/660.50	o 606
690.60/661.14	o 605
691.38/661.81	o 604
691.97/662.44	o 603
692.58/663.08	o 602
693.27/663.73	o 601
693.87/664.38	o 600
694.58/665.03	o 599
695.25/665.69	o 598
695.95/666.32	o 597
696.55/666.93	o 596
697.15/667.57	o 595
697.76/668.18	o 594
698.35/668.79	o 593
699.11/669.41	o 592
699.61/669.97	o 591
700.31/670.60	o 590
700.91/671.24	o 589
701.51/671.88	o 588
702.21/672.51	o 587
702.88/673.17	o 586
703.57/673.80	o 585
704.17/674.46	o 584
704.78/675.10	o 583
705.47/675.71	o 582
706.14/676.33	o 581
706.75/676.96	o 580
707.45/677.61	o 579
708.05/678.25	o 578
708.65/678.89	o 577
709.42/679.51	o 576
710.03/680.15	o 575
710.62/680.78	o 574
711.32/681.41	o 573
711.93/682.05	o 572
712.70/682.70	o 571
713.30/683.35	o 570
713.90/683.96	o 569
714.50/684.59	o 568
715.20/685.24	o 567
715.89/685.89	o 566
716.58/686.52	o 565
717.19/687.18	o 564
717.88/687.81	o 563
718.48/688.45	o 562
719.09/689.10	o 561
719.84/689.78	o 560
720.54/690.43	o 559
721.15/691.07	o 558
721.84/691.73	o 557
722.44/692.36	o 556
723.22/693.02	o 555
723.81/693.68	o 554
724.51/694.30	o 553
725.11/694.95	o 552
725.71/695.59	o 551
726.41/696.21	o 550
727.09/696.84	o 549
727.69/697.47	o 548
728.40/698.13	o 547
729.09/698.81	o 546
729.69/699.46	o 545
730.30/700.08	o 544
731.05/700.75	o 543
731.75/701.41	o 542
732.36/702.02	o 541
732.95/702.65	o 540
733.65/703.36	o 539
734.43/704.03	o 538
735.02/704.68	o 537
735.72/705.32	o 536
736.32/705.92	o 535
736.92/706.54	o 534
737.53/707.11	o 533
738.18/707.78	o 532
738.88/708.41	o 531
739.49/709.03	o 530
740.08/709.66	o 529
740.78/710.31	o 528
741.43/710.97	o 527
742.13/711.61	o 526
742.73/712.28	o 525
743.43/712.93	o 524
744.11/713.57	o 523
744.72/714.19	o 522
745.41/714.81	o 521
746.01/715.45	o 520
746.72/716.11	o 519
747.38/716.75	o 518
747.98/717.38	o 517
748.58/718.00	o 516
749.28/718.65	o 515
749.99/719.32	o 514
750.64/719.96	o 513
751.24/720.57	o 512
751.85/721.17	o 511
752.54/721.81	o 510
753.14/722.44	o 509
753.79/723.07	o 508
754.49/723.70	o 507
755.09/724.33	o 506
755.69/724.99	o 505
756.45/725.64	o 504
757.05/726.26	o 503
757.65/726.87	o 502
758.25/727.48	o 501
758.96/728.13	o 500
759.60/728.78	o 499
760.20/729.39	o 498
760.91/730.04	o 497
761.50/730.68	o 496
762.25/731.31	o 495
762.85/731.91	o 494
763.45/732.51	o 493
764.06/733.13	o 492
764.70/733.76	o 491
765.30/734.36	o 490
766.01/735.01	o 489
766.60/735.63	o 488
767.24/736.28	o 487
767.84/736.89	o 486
768.54/737.54	o 485
769.32/738.20	o 484
769.92/738.85	o 483
770.52/739.46	o 482
771.22/740.14	o 481
771.98/740.83	o 480
772.68/741.52	o 479
773.29/742.12	o 478
773.88/742.77	o 477
774.65/743.42	o 476
775.26/744.05	o 475
775.85/744.68	o 474
776.55/745.33	o 473
777.23/745.96	o 472
777.83/746.57	o 471
778.44/747.16	o 470
779.03/747.78	o 469
779.73/748.41	o 468
780.40/749.08	o 467
781.09/749.72	o 466
781.69/750.34	o 465
782.29/750.95	o 464
782.89/751.56	o 463
783.65/752.21	o 462
784.24/752.82	o 461
784.85/753.46	o 460
785.55/754.11	o 459
786.15/754.74	o 458
786.92/755.43	o 457
787.53/756.08	o 456
788.13/756.68	o 455
788.73/757.28	o 454
789.33/757.89	o 453
790.09/758.51	o 452
790.70/759.14	o 451
791.29/759.74	o 450
791.89/760.38	o 449
792.49/760.96	o 448
793.29/761.63	o 447
793.89/762.20	o 446
794.49/762.81	o 445
795.09/763.42	o 444
795.70/764.06	o 443
796.29/764.68	o 442
797.09/765.30	o 441
797.69/765.93	o 440
798.29/766.53	o 439
798.90/767.17	o 438
799.49/767.77	o 437
800.19/768.44	o 436
800.86/769.05	o 435
801.45/769.67	o 434
802.05/770.29	o 433
802.75/770.91	o 432
803.35/771.52	o 431
804.06/772.19	o 430
804.65/772.79	o 429
805.35/773.41	o 428
805.96/774.02	o 427
806.55/774.67	o 426
807.25/775.31	o 425
807.94/775.97	o 424
808.54/776.59	o 423
809.25/777.21	o 422
809.85/777.84	o 421
810.45/778.46	o 420
811.06/779.09	o 419
811.84/779.78	o 418
812.53/780.41	o 417
813.14/781.06	o 416
813.83/781.70	o 415
814.43/782.35	o 414
815.03/782.98	o 413
815.81/783.65	o 412
816.41/784.29	o 411
817.11/784.94	o 410
817.71/785.58	o 409
818.41/786.20	o 408
818.91/786.79	o 407
819.72/787.47	o 406
820.33/788.10	o 405
821.02/788.73	o 404
821.62/789.35	o 403
822.33/790.01	o 402
822.92/790.65	o 401
823.52/791.29	o 400
824.28/791.97	o 399
824.88/792.59	o 398
825.58/793.23	o 397
826.18/793.86	o 396
826.78/794.49	o 395
827.49/795.14	o 394
828.28/795.80	o 393
828.88/796.46	o 392
829.49/797.10	o 391
830.18/797.71	o 390
830.78/798.32	o 389
831.39/798.95	o 388
831.99/799.58	o 387
832.77/800.24	o 386
833.47/800.91	o 385
834.07/801.51	o 384
834.58/802.10	o 383
835.27/802.75	o 382
835.87/803.36	o 381
836.58/804.02	o 380
837.26/804.68	o 379
837.96/805.32	o 378
838.56/805.95	o 377
839.26/806.60	o 376
839.85/807.27	o 375
840.56/807.92	o 374
841.16/808.55	o 373
841.93/809.24	o 372
842.53/809.89	o 371
843.26/810.55	o 370
843.87/811.15	o 369
844.46/811.78	o 368
845.16/812.40	o 367
845.83/813.05	o 366
846.52/813.71	o 365
847.12/814.36	o 364
847.72/814.97	o 363
848.32/815.59	o 362
849.02/816.20	o 361
849.69/816.89	o 360
850.39/817.51	o 359
851.00/818.11	o 358
851.59/818.74	o 357
852.19/819.36	o 356
852.90/820.01	o 355
853.55/820.66	o 354
854.25/821.30	o 353
854.85/821.93	o 352
855.45/822.55	o 351
856.06/823.15	o 350
856.65/823.75	o 349
857.43/824.42	o 348
858.04/825.06	o 347
858.63/825.68	o 346
859.33/826.30	o 345
859.93/826.92	o 344
860.53/827.53	o 343
861.18/828.18	o 342
861.87/828.81	o 341
862.47/829.42	o 340
863.08/830.06	o 339
863.77/830.73	o 338
864.42/831.37	o 337
865.02/831.99	o 336
865.72/832.61	o 335
866.32/833.22	o 334
866.92/833.84	o 333
867.58/834.47	o 332
868.19/835.08	o 331
868.88/835.71	o 330
869.48/836.35	o 329
870.08/836.96	o 328
870.73/837.57	o 327
871.33/838.18	o 326
872.02/838.84	o 325
872.63/839.43	o 324
873.30/840.08	o 323
873.99/840.73	o 322
874.59/841.36	o 321
875.30/842.01	o 320
875.89/842.67	o 319
876.64/843.34	o 318
877.24/843.97	o 317
877.84/844.59	o 316
878.54/845.24	o 315
879.19/845.89	o 314
879.89/846.53	o 313
880.50/847.15	o 312
881.09/847.77	o 311
881.84/848.45	o 310
882.45/849.09	o 309
883.14/849.71	o 308
883.74/850.33	o 307
884.39/850.97	o 306
885.09/851.60	o 305
885.69/852.20	o 304
886.29/852.84	o 303
886.96/853.48	o 302
887.67/854.13	o 301
888.26/854.74	o 300
888.86/855.39	o 299
889.64/856.02	o 298
890.24/856.64	o 297
890.84/857.24	o 296
891.54/857.92	o 295
892.19/858.56	o 294
892.80/859.19	o 293
893.49/859.84	o 292
894.09/860.48	o 291
894.85/861.13	o 290
895.44/861.75	o 289
896.04/862.37	o 288
896.64/863.00	o 287
897.35/863.62	o 286
897.99/864.26	o 285
898.69/864.91	o 284
899.29/865.53	o 283
899.90/866.15	o 282
900.56/866.79	o 281
901.26/867.43	o 280
901.87/868.07	o 279
902.56/868.72	o 278
903.23/869.37	o 277
903.83/870.01	o 276
904.53/870.64	o 275
905.13/871.27	o 274
905.84/871.91	o 273
906.48/872.56	o 272
907.09/873.17	o 271
907.78/873.80	o 270
908.38/874.41	o 269
909.05/875.04	o 268
909.64/875.66	o 267
910.24/876.28	o 266
910.84/876.89	o 265
911.61/877.55	o 264
912.22/878.17	o 263
912.81/878.79	o 262
913.51/879.41	o 261
914.12/880.05	o 260
914.87/880.73	o 259
915.47/881.31	o 258
916.07/881.95	o 257
916.78/882.63	o 256
917.45/883.29	o 255
918.15/883.90	o 254
918.75/884.54	o 253
919.36/885.17	o 252
920.05/885.81	o 251
920.71/886.47	o 250
921.32/887.08	o 249
922.04/887.70	o 248
922.64/888.32	o 247
923.24/888.93	o 246
924.01/889.61	o 245
924.61/890.26	o 244
925.21/890.86	o 243
925.81/891.44	o 242
926.42/892.06	o 241
927.95/892.93	o 240
928.67/893.54	o 239
929.28/894.15	o 238
929.87/894.76	o 237
930.47/895.35	o 236
931.07/895.97	o 235
931.82/896.60	o 234
932.42/897.22	o 233
933.02/897.85	o 232
933.62/898.47	o 231
934.23/899.10	o 230
934.98/899.74	o 229
935.58/900.35	o 228
936.18/900.93	o 227
936.78/901.57	o 226
937.48/902.22	o 225
938.08/902.83	o 224
938.83/903.51	o 223
939.43/904.16	o 222
940.12/904.82	o 221
940.82/905.50	o 220
941.33/906.09	o 219
942.12/906.73	o 218
942.72/907.32	o 217
943.32/907.96	o 216
944.02/908.60	o 215
944.62/909.23	o 214
945.22/909.88	o 213
946.01/910.52	o 212
946.62/911.15	o 211
947.21/911.77	o 210
947.81/912.39	o 209
948.52/913.03	o 208
949.12/913.62	o 207
949.80/914.23	o 206
950.40/914.85	o 205
951.00/915.44	o 204
951.61/916.01	o 203
952.20/916.61	o 202
952.80/917.25	o 201
953.41/917.87	o 200
954.17/918.55	o 199
954.78/919.17	o 198
955.37/919.78	o 197
955.97/920.39	o 196
956.57/921.00	o 195
957.27/921.63	o 194
957.96/922.26	o 193
958.56/922.89	o 192
959.26/923.50	o 191
959.77/924.08	o 190
960.46/924.73	o 189
961.06/925.35	o 188
961.78/926.01	o 187
962.43/926.66	o 186
963.13/927.30	o 185
963.73/927.92	o 184
964.33/928.56	o 183
965.03/929.22	o 182
965.64/929.84	o 181
966.44/930.52	o 180
967.05/931.17	o 179
967.64/931.80	o 178
968.34/932.41	o 177
968.95/933.06	o 176
969.54/933.68	o 175
970.14/934.28	o 174
970.84/934.98	o 173
971.65/935.63	o 172
972.25/936.29	o 171
972.95/936.93	o 170
973.55/937.55	o 169
974.16/938.16	o 168
974.75/938.78	o 167
975.45/939.45	o 166
976.12/940.10	o 165
976.81/940.71	o 164
977.41/941.34	o 163
978.02/941.97	o 162
978.62/942.57	o 161
979.32/943.20	o 160
979.92/943.85	o 159
980.70/944.50	o 158
981.31/945.13	o 157
981.90/945.77	o 156
982.60/946.41	o 155
983.21/947.02	o 154
983.80/947.68	o 153
984.50/948.32	o 152
985.10/948.94	o 151
985.77/949.58	o 150
986.38/950.19	o 149
987.07/950.84	o 148
987.67/951.46	o 147
988.28/952.09	o 146
988.99/952.71	o 145
989.59/953.38	o 144
990.34/954.07	o 143
991.21/954.80	o 142
992.11/955.77	o 141
993.11/956.73	o 140
994.21/957.88	o 139
995.52/959.19	o 138
997.33/960.80	o 137
999.54/963.09	o 136
1002.45/965.86	o 135
1005.45/968.82	o 134
1008.51/971.85	o 133
1011.81/975.08	o 132
1015.70/978.96	o 131
1019.47/982.64	o 130
1023.55/986.66	o 129
1027.73/990.76	o 128
1031.63/994.68	o 127
1035.43/998.43	o 126
1039.82/1002.73	o 125
1044.13/1007.09	o 124
1048.19/1011.08	o 123
1052.48/1015.30	o 122
1057.49/1020.36	o 121
1061.83/1024.61	o 120
1066.03/1028.85	o 119
1070.08/1032.88	o 118
1074.58/1037.34	o 117
1079.95/1042.64	o 116
1084.65/1047.30	o 115
1089.06/1051.72	o 114
1093.70/1056.39	o 113
1098.70/1061.36	o 112
1103.05/1065.68	o 111
1107.15/1069.71	o 110
1111.41/1074.01	o 109
1115.92/1078.49	o 108
1120.42/1082.96	o 107
1125.15/1087.52	o 106
1129.35/1091.78	o 105
1133.41/1095.76	o 104
1138.23/1100.55	o 103
1142.75/1105.06	o 102
1147.27/1109.54	o 101
1151.17/1113.42	o 100
1155.13/1117.30	o 99
1159.43/1121.67	o 98
1163.57/1125.70	o 97
1167.41/1129.59	o 96
1171.35/1133.43	o 95
1175.15/1137.24	o 94
1179.00/1140.90	o 93
1182.61/1144.59	o 92
1186.12/1148.07	o 91
1189.35/1151.29	o 90
1192.55/1154.46	o 89
1196.41/1158.28	o 88
1199.77/1161.53	o 87
1203.18/1165.00	o 86
1206.88/1168.64	o 85
1210.23/1171.97	o 84
1213.26/1174.90	o 83
1216.47/1178.18	o 82
1219.62/1181.26	o 81
1222.62/1184.23	o 80
1225.54/1187.18	o 79
1228.73/1190.36	o 78
1231.59/1193.18	o 77
1234.68/1196.29	o 76
1237.80/1199.32	o 75
1240.61/1202.16	o 74
1243.36/1204.86	o 73
1246.06/1207.51	o 72
1248.57/1210.03	o 71
1250.76/1212.28	o 70
1253.26/1214.74	o 69
1255.79/1217.29	o 68
1258.09/1219.58	o 67
1260.09/1221.60	o 66
1262.50/1223.96	o 65
1264.94/1226.38	o 64
1267.42/1228.72	o 63
1269.42/1230.76	o 62
1271.42/1232.74	o 61
1273.22/1234.59	o 60
1274.93/1236.23	o 59
1276.84/1238.17	o 58
1278.88/1240.12	o 57
1280.57/1241.84	o 56
1282.27/1243.52	o 55
1283.88/1245.19	o 54
1285.57/1246.82	o 53
1287.17/1248.46	o 52
1288.47/1249.77	o 51
1289.98/1251.24	o 50
1291.41/1252.69	o 49
1292.71/1253.94	o 48
1294.01/1255.27	o 47
1295.23/1256.44	o 46
1296.33/1257.53	o 45
1297.43/1258.69	o 44
1298.73/1259.93	o 43
1299.94/1261.09	o 42
1301.22/1262.26	o 41
1303.36/1263.51	o 40
1305.07/1264.52	o 39
1305.07/1264.58	v <instantiation cost="39">
1305.07/1264.58	v       <list>
1305.07/1264.58	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599]
1305.07/1264.58	v       </list>
1305.07/1264.58	v       <values>
1305.07/1264.58	v         35 10 16 11 0 36 17 31 13 15 3 32 14 6 4 27 39 18 9 24 26 22 20 12 2 23 25 38 1 5 37 33 19 21 7 30 29 28 8 34 13 30 11 19 6 34 14 25 23 1 18 29 35 27 33 8 2 16 24 31 7 17 37 3 20 39 38 36 32 4 10 15 5 12 28 26 22 21 0 9 18 36 33 14 3 1 30 27 34 29 23 16 21 12 26 15 13 5 31 19 4 7 0 24 35 9 2 28 37 10 22 20 38 11 32 25 8 17 39 6 1 26 30 18 24 11 32 34 14 17 35 37 20 10 23 36 33 9 29 39 15 27 6 28 3 7 5 19 12 8 16 21 0 22 25 2 31 13 4 38 23 16 24 37 13 28 7 5 15 3 26 25 34 2 1 21 22 31 27 4 19 36 18 0 11 32 17 30 38 12 8 9 10 20 39 35 33 29 6 14 38 2 19 30 5 21 34 6 8 26 33 24 31 37 28 9 12 22 14 20 16 23 1 27 15 25 18 7 10 0 17 3 29 36 13 32 4 39 35 11 33 31 13 5 37 8 36 24 0 6 28 38 32 15 34 14 16 2 26 35 10 9 22 1 30 20 3 4 17 19 23 7 12 39 21 27 25 18 11 29 27 3 17 20 32 0 25 35 2 8 12 34 26 38 5 30 19 4 21 22 28 37 33 6 10 11 15 9 16 14 13 31 7 18 29 39 1 24 23 36 21 33 9 2 20 17 11 39 31 38 24 30 19 23 37 13 32 15 3 8 27 0 25 26 12 16 22 14 5 6 28 35 36 10 34 29 18 4 1 7 31 22 32 9 23 7 12 36 37 19 5 0 29 3 14 26 25 27 33 15 18 39 30 10 34 6 1 11 24 28 21 13 2 8 35 17 16 38 20 4 29 39 1 33 10 26 3 21 28 20 11 2 0 5 8 19 30 23 13 27 34 35 16 17 22 14 6 31 9 38 15 25 18 4 36 24 12 7 37 32 17 24 5 32 27 23 13 30 25 39 22 4 7 20 19 16 37 8 34 11 6 14 28 38 0 15 35 29 31 33 18 1 9 3 2 36 26 10 12 21 24 11 26 28 12 38 20 17 10 22 27 21 16 1 2 5 7 0 32 36 33 6 39 34 29 31 30 8 25 9 14 18 4 19 15 3 23 35 13 37 12 19 0 25 33 37 29 26 35 4 9 13 15 11 20 39 31 28 30 17 23 18 36 7 1 22 34 6 8 2 5 32 27 38 10 21 24 16 14 3 14 29 23 0 21 31 1 18 12 24 2 35 37 7 13 17 38 11 19 32 5 34 4 30 9 28 8 26 22 16 20 39 33 6 27 10 36 15 3 25 16 6 3 27 7 24 8 32 26 13 30 20 4 19 35 18 1 34 39 14 0 31 21 29 5 36 28 12 23 11 25 2 17 15 37 22 10 9 38 33 34 14 15 4 25 3 10 37 6 33 32 17 11 30 9 38 21 35 20 2 22 28 24 8 39 18 12 1 13 29 31 26 23 5 0 7 27 36 16 19 39 21 4 1 18 33 2 10 24 28 20 31 13 8 25 34 23 38 12 26 36 30 11 16 6 37 19 32 15 35 9 17 3 29 22 0 7 14 5 27 11 12 7 31 17 39 19 16 32 37 15 18 2 21 0 20 29 36 23 25 35 5 14 33 38 8 27 24 4 1 3 28 13 34 30 9 6 26 22 10 10 25 35 6 38 20 15 11 3 30 7 12 27 16 22 33 17 29 36 0 37 19 31 13 26 2 39 21 34 23 4 5 1 14 8 28 9 32 24 18 37 7 25 34 2 9 4 28 16 11 39 3 33 36 21 29 18 1 15 13 24 8 5 14 27 35 31 22 19 32 6 38 20 0 17 23 30 12 10 26 0 27 38 36 4 35 16 15 9 7 34 19 3 13 32 6 26 12 8 28 21 29 23 20 25 33 11 10 30 22 1 14 24 2 18 31 39 37 17 5 32 8 31 13 22 2 27 38 33 9 1 28 30 25 29 24 6 7 11 23 39 21 3 37 19 10 0 5 35 15 12 4 14 26 20 18 17 34 36 16 26 9 10 7 11 16 38 29 39 36 19 14 6 17 18 1 8 25 5 3 20 13 2 35 4 24 33 34 21 30 27 23 31 32 12 37 28 22 15 0 3 4 34 24 35 30 0 2 22 14 21 36 10 18 15 25 9 37 17 5 13 12 8 31 28 38 7 27 29 26 39 19 16 33 6 20 11 1 32 23 28 15 27 29 36 25 33 14 4 21 10 22 18 0 31 35 5 6 16 1 8 32 19 9 13 12 23 39 26 17 24 34 30 37 3 11 38 2 7 20 30 13 6 8 16 22 5 33 20 32 17 15 38 29 3 31 24 39 18 12 9 25 26 19 23 27 10 2 11 7 36 37 28 35 14 4 21 0 34 1 15 37 29 22 31 10 21 8 7 0 6 1 23 14 12 32 27 30 4 9 25 16 35 18 36 17 24 20 39 3 19 11 26 13 38 34 2 5 33 28 19 18 22 39 30 29 31 23 17 2 16 7 25 4 6 0 3 14 37 33 11 10 38 32 21 1 36 15 28 27 35 12 8 9 5 13 34 20 26 24 36 34 21 17 29 18 35 22 5 12 0 9 28 31 11 37 10 26 6 30 14 38 13 2 32 4 20 16 3 39 33 24 25 7 1 8 19 23 27 15 2 1 28 15 9 13 24 12 19 23 38 11 22 39 27 4 14 20 10 21 31 3 34 36 7 0 16 35 33 25 29 8 32 30 26 5 37 6 18 17 20 32 18 12 14 6 9 7 30 5 29 8 1 24 36 23 11 3 2 38 17 4 10 39 31 13 21 25 0 37 26 22 34 27 16 19 15 33 28 35 6 5 8 3 15 14 37 1 27 18 25 26 39 28 38 7 20 10 0 29 32 11 12 22 17 21 9 33 2 24 34 36 35 23 4 16 13 19 30 31 25 17 2 21 1 5 18 19 38 16 14 27 8 26 7 28 36 24 35 10 3 20 29 15 33 34 4 37 6 13 30 0 39 31 23 12 32 11 9 22 4 0 39 23 26 12 6 20 1 34 37 10 17 32 24 11 35 21 28 7 2 33 27 5 16 30 13 18 14 36 38 29 22 25 9 15 3 31 19 8 5 28 14 10 34 15 26 9 21 27 31 23 36 33 39 12 0 13 22 16 29 1 7 4 37 19 32 3 18 20 11 30 6 17 24 38 35 8 25 2 22 35 12 16 19 27 23 13 36 25 8 33 24 9 17 3 4 32 7 6 38 26 15 21 18 5 29 0 20 34 2 10 37 28 11 1 14 30 31 39 9 38 36 35 39 19 22 0 11 31 4 5 12 34 10 2 28 17 25 37 1 24 32 23 8 29 26 13 27 18 7 6 15 16 33 14 20 3 21 30 7 20 37 26 8 32 28 4 29 35 13 39 9 22 16 10 34 33 38 18 30 15 17 11 24 3 14 23 36 31 0 27 21 1 19 6 5 25 2 12 8 23 20 38 28 4 39 3 18 10 36 6 5 35 30 22 15 19 1 34 12 2 9 25 14 26 37 17 7 21 32 16 11 24 31 33 0 27 29 13
1305.07/1264.58	v       </values>
1305.07/1264.58	v     </instantiation>
1305.07/1264.58	s OPTIMUM FOUND

Verifier Data 

OK	39

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304247-1534050979/watcher-4304247-1534050979 -o /tmp/evaluation-result-4304247-1534050979/solver-4304247-1534050979 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534041135-17409 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1740287258 HOME/instance-4304247-1534050979.xml 

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

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


[startup+0.10009 s]*
/proc/loadavg: 2.09 1.66 1.56 3/206 19087
/proc/meminfo: memFree=4393052/32770624 swapFree=67108404/67108860
[pid=19030] ppid=19027 vsize=10005480 memory=17340 CPUtime=0.08 cores=1,3,5,7
/proc/19030/stat : 19030 (java) S 19027 19030 15321 0 -1 1077944320 4468 13198 0 0 1 0 4 3 20 0 6 0 222661075 10245611520 4335 33554432000 4194304 4196468 140734684760896 140734684743440 140639706853111 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
/proc/19030/statm: 2501370 4335 1957 1 0 2489808 0
[pid=19030/tid=19083] ppid=19027 vsize=10021560 memory=4279135703913103502 CPUtime=0.08 cores=1,3,5,7
/proc/19030/task/19083/stat : 19083 (java) R 19027 19030 15321 0 -1 4202560 2315 13198 0 0 1 0 4 3 20 0 6 0 222661084 10262077440 4335 33554432000 4194304 4196468 140734684760896 140639678689872 140639692385024 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19084] ppid=19027 vsize=10021560 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19084/stat : 19084 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 6 0 222661085 10262077440 4335 33554432000 4194304 4196468 140734684760896 140639711095184 140639706863317 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19085] ppid=19027 vsize=10021560 memory=140066384946816 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19085/stat : 19085 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 6 0 222661085 10262077440 4335 33554432000 4194304 4196468 140734684760896 140639581743376 140639706863317 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19086] ppid=19027 vsize=10021560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19086/stat : 19086 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 6 0 222661085 10262077440 4335 33554432000 4194304 4196468 140734684760896 140639580691088 140639706863317 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19087] ppid=19027 vsize=10021560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19087/stat : 19087 (java) S 19027 19030 15321 0 -1 1077944384 2 13198 0 0 0 0 4 3 20 0 6 0 222661085 10262077440 4335 33554432000 4194304 4196468 140734684760896 140639579638288 140639706863317 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17340 KiB

[startup+0.209873 s]*
/proc/loadavg: 2.09 1.66 1.56 7/215 19096
/proc/meminfo: memFree=4346436/32770624 swapFree=67108404/67108860
[pid=19030] ppid=19027 vsize=10985364 memory=46608 CPUtime=0.26 cores=1,3,5,7
/proc/19030/stat : 19030 (java) S 19027 19030 15321 0 -1 1077944320 8760 13198 0 0 17 2 4 3 20 0 15 0 222661075 11249012736 11652 33554432000 4194304 4196468 140734684760896 140734684743440 140639706853111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
/proc/19030/statm: 2746341 11652 2946 1 0 2708764 0
[pid=19030/tid=19083] ppid=19027 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/19030/task/19083/stat : 19083 (java) R 19027 19030 15321 0 -1 4202560 5298 13198 0 0 11 1 4 3 20 0 15 0 222661084 11246329856 11404 33554432000 4194304 4196468 140734684760896 140639678677920 140639699531204 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19084] ppid=19027 vsize=10982776 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19084/stat : 19084 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661085 11246362624 11404 33554432000 4194304 4196468 140734684760896 140639711095184 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19085] ppid=19027 vsize=10982776 memory=4048933543041214112 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19085/stat : 19085 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661085 11246362624 11404 33554432000 4194304 4196468 140734684760896 140639581743376 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19086] ppid=19027 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19086/stat : 19086 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661085 11246362624 11404 33554432000 4194304 4196468 140734684760896 140639580691088 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19087] ppid=19027 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19087/stat : 19087 (java) S 19027 19030 15321 0 -1 1077944384 2 13198 0 0 0 0 4 3 20 0 15 0 222661085 11246362624 11469 33554432000 4194304 4196468 140734684760896 140639579638288 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19088] ppid=19027 vsize=10982776 memory=140066384946816 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19088/stat : 19088 (java) S 19027 19030 15321 0 -1 1077944384 2 13198 0 0 0 0 4 3 20 0 15 0 222661086 11246362624 11469 33554432000 4194304 4196468 140734684760896 140639131822704 140639706864258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19089] ppid=19027 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19089/stat : 19089 (java) S 19027 19030 15321 0 -1 1077944384 13 13198 0 0 0 0 4 3 20 0 15 0 222661087 11246362624 11469 33554432000 4194304 4196468 140734684760896 140638516405536 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19090] ppid=19027 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19090/stat : 19090 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661087 11246362624 11469 33554432000 4194304 4196468 140734684760896 140638368556656 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19091] ppid=19027 vsize=10982776 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19091/stat : 19091 (java) S 19027 19030 15321 0 -1 1077944384 3 13198 0 0 0 0 4 3 20 0 15 0 222661090 11246362624 11535 33554432000 4194304 4196468 140734684760896 140638061156944 140639706871707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19092] ppid=19027 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19030/task/19092/stat : 19092 (java) S 19027 19030 15321 0 -1 1077944384 365 13198 0 0 1 0 4 3 20 0 15 0 222661090 11246362624 11535 33554432000 4194304 4196468 140734684760896 140639130769520 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19093] ppid=19027 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19093/stat : 19093 (java) S 19027 19030 15321 0 -1 1077944384 261 13198 0 0 0 0 4 3 20 0 15 0 222661090 11246362624 11535 33554432000 4194304 4196468 140734684760896 140639129716720 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19094] ppid=19027 vsize=10982776 memory=140066384946816 CPUtime=0.1 cores=1,3,5,7
/proc/19030/task/19094/stat : 19094 (java) S 19027 19030 15321 0 -1 1077944384 615 13198 0 0 3 0 4 3 20 0 15 0 222661090 11246362624 11601 33554432000 4194304 4196468 140734684760896 140639128664432 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19095] ppid=19027 vsize=10982776 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19095/stat : 19095 (java) S 19027 19030 15321 0 -1 1077944384 3 13198 0 0 0 0 4 3 20 0 15 0 222661090 11246362624 11601 33554432000 4194304 4196468 140734684760896 140637630360032 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19096] ppid=19027 vsize=10982776 memory=140066384946816 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19096/stat : 19096 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661090 11246362624 11601 33554432000 4194304 4196468 140734684760896 140639127612336 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 46608 KiB

[startup+0.310474 s]*
/proc/loadavg: 2.09 1.66 1.56 6/215 19096
/proc/meminfo: memFree=4240508/32770624 swapFree=67108404/67108860
[pid=19030] ppid=19027 vsize=10983192 memory=56076 CPUtime=0.38 cores=1,3,5,7
/proc/19030/stat : 19030 (java) S 19027 19030 15321 0 -1 1077944320 10630 13198 0 0 29 2 4 3 20 0 15 0 222661075 11246788608 14019 33554432000 4194304 4196468 140734684760896 140734684743440 140639706853111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
/proc/19030/statm: 2745798 14019 3065 1 0 2708109 0
[pid=19030/tid=19083] ppid=19027 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/19030/task/19083/stat : 19083 (java) R 19027 19030 15321 0 -1 4202560 7160 13198 0 0 20 1 4 3 20 0 15 0 222661084 11246788608 14019 33554432000 4194304 4196468 140734684760896 140639678665120 140639690933598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19084] ppid=19027 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19084/stat : 19084 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661085 11246788608 14019 33554432000 4194304 4196468 140734684760896 140639711095184 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19085] ppid=19027 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19085/stat : 19085 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661085 11246788608 14019 33554432000 4194304 4196468 140734684760896 140639581743376 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19086] ppid=19027 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19086/stat : 19086 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661085 11246788608 14019 33554432000 4194304 4196468 140734684760896 140639580691088 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19087] ppid=19027 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19087/stat : 19087 (java) S 19027 19030 15321 0 -1 1077944384 2 13198 0 0 0 0 4 3 20 0 15 0 222661085 11246788608 14019 33554432000 4194304 4196468 140734684760896 140639579638288 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19088] ppid=19027 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19088/stat : 19088 (java) S 19027 19030 15321 0 -1 1077944384 2 13198 0 0 0 0 4 3 20 0 15 0 222661086 11246788608 14019 33554432000 4194304 4196468 140734684760896 140639131822704 140639706864258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19089] ppid=19027 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19089/stat : 19089 (java) S 19027 19030 15321 0 -1 1077944384 13 13198 0 0 0 0 4 3 20 0 15 0 222661087 11246788608 14019 33554432000 4194304 4196468 140734684760896 140638516405536 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19090] ppid=19027 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19090/stat : 19090 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661087 11246788608 14019 33554432000 4194304 4196468 140734684760896 140638368556656 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19091] ppid=19027 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19091/stat : 19091 (java) S 19027 19030 15321 0 -1 1077944384 3 13198 0 0 0 0 4 3 20 0 15 0 222661090 11246788608 14019 33554432000 4194304 4196468 140734684760896 140638061156944 140639706871707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19092] ppid=19027 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19030/task/19092/stat : 19092 (java) S 19027 19030 15321 0 -1 1077944384 365 13198 0 0 1 0 4 3 20 0 15 0 222661090 11246788608 14019 33554432000 4194304 4196468 140734684760896 140639130769520 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19093] ppid=19027 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19030/task/19093/stat : 19093 (java) S 19027 19030 15321 0 -1 1077944384 264 13198 0 0 1 0 4 3 20 0 15 0 222661090 11246788608 14019 33554432000 4194304 4196468 140734684760896 140639129716720 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19094] ppid=19027 vsize=10983192 memory=140066384946816 CPUtime=0.12 cores=1,3,5,7
/proc/19030/task/19094/stat : 19094 (java) S 19027 19030 15321 0 -1 1077944384 623 13198 0 0 5 0 4 3 20 0 15 0 222661090 11246788608 14019 33554432000 4194304 4196468 140734684760896 140639128664432 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19095] ppid=19027 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19095/stat : 19095 (java) S 19027 19030 15321 0 -1 1077944384 3 13198 0 0 0 0 4 3 20 0 15 0 222661090 11246788608 14019 33554432000 4194304 4196468 140734684760896 140637630360032 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19096] ppid=19027 vsize=10983192 memory=140066384946816 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19096/stat : 19096 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661090 11246788608 14019 33554432000 4194304 4196468 140734684760896 140639127612336 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56076 KiB

[startup+0.700763 s]
/proc/loadavg: 2.09 1.66 1.56 3/215 19096
/proc/meminfo: memFree=4204660/32770624 swapFree=67108404/67108860
[pid=19030] ppid=19027 vsize=10983192 memory=88708 CPUtime=0.98 cores=1,3,5,7
/proc/19030/stat : 19030 (java) S 19027 19030 15321 0 -1 1077944320 16765 13198 0 0 87 4 4 3 20 0 15 0 222661075 11246788608 22177 33554432000 4194304 4196468 140734684760896 140734684743440 140639706853111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
/proc/19030/statm: 2745798 22177 3247 1 0 2708109 0
[pid=19030/tid=19083] ppid=19027 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/19030/task/19083/stat : 19083 (java) R 19027 19030 15321 0 -1 4202560 12204 13198 0 0 57 2 4 3 20 0 15 0 222661084 11246788608 22177 33554432000 4194304 4196468 140734684760896 140639678673936 140639688416592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19084] ppid=19027 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19084/stat : 19084 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661085 11246788608 22177 33554432000 4194304 4196468 140734684760896 140639711095184 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19085] ppid=19027 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19085/stat : 19085 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661085 11246788608 22177 33554432000 4194304 4196468 140734684760896 140639581743376 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19086] ppid=19027 vsize=10983192 memory=140066265641776 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19086/stat : 19086 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661085 11246788608 22177 33554432000 4194304 4196468 140734684760896 140639580691088 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19087] ppid=19027 vsize=10983192 memory=140067473457740 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19087/stat : 19087 (java) S 19027 19030 15321 0 -1 1077944384 2 13198 0 0 0 0 4 3 20 0 15 0 222661085 11246788608 22177 33554432000 4194304 4196468 140734684760896 140639579638288 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19088] ppid=19027 vsize=10983192 memory=4000 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19088/stat : 19088 (java) S 19027 19030 15321 0 -1 1077944384 5 13198 0 0 0 0 4 3 20 0 15 0 222661086 11246788608 22177 33554432000 4194304 4196468 140734684760896 140639131822704 140639706864258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19089] ppid=19027 vsize=10983192 memory=4639098309541128813 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19089/stat : 19089 (java) S 19027 19030 15321 0 -1 1077944384 13 13198 0 0 0 0 4 3 20 0 15 0 222661087 11246788608 22177 33554432000 4194304 4196468 140734684760896 140638516405536 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19090] ppid=19027 vsize=10983192 memory=6082220498126138728 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19090/stat : 19090 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661087 11246788608 22177 33554432000 4194304 4196468 140734684760896 140638368556656 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19091] ppid=19027 vsize=10983192 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19091/stat : 19091 (java) S 19027 19030 15321 0 -1 1077944384 3 13198 0 0 0 0 4 3 20 0 15 0 222661090 11246788608 22177 33554432000 4194304 4196468 140734684760896 140638061156944 140639706871707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19092] ppid=19027 vsize=10983192 memory=33420 CPUtime=0.13 cores=1,3,5,7
/proc/19030/task/19092/stat : 19092 (java) S 19027 19030 15321 0 -1 1077944384 737 13198 0 0 6 0 4 3 20 0 15 0 222661090 11246788608 22177 33554432000 4194304 4196468 140734684760896 140639130769520 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19093] ppid=19027 vsize=10983192 memory=14644 CPUtime=0.16 cores=1,3,5,7
/proc/19030/task/19093/stat : 19093 (java) S 19027 19030 15321 0 -1 1077944384 904 13198 0 0 9 0 4 3 20 0 15 0 222661090 11246788608 22177 33554432000 4194304 4196468 140734684760896 140639129716720 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19094] ppid=19027 vsize=10983192 memory=1720 CPUtime=0.2 cores=1,3,5,7
/proc/19030/task/19094/stat : 19094 (java) S 19027 19030 15321 0 -1 1077944384 696 13198 0 0 13 0 4 3 20 0 15 0 222661090 11246788608 22177 33554432000 4194304 4196468 140734684760896 140639128664432 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19095] ppid=19027 vsize=10983192 memory=508 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19095/stat : 19095 (java) S 19027 19030 15321 0 -1 1077944384 3 13198 0 0 0 0 4 3 20 0 15 0 222661090 11246788608 22177 33554432000 4194304 4196468 140734684760896 140637630360032 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19096] ppid=19027 vsize=10983192 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19096/stat : 19096 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661090 11246788608 22177 33554432000 4194304 4196468 140734684760896 140639127612336 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88708 KiB

[startup+1.50164 s]
/proc/loadavg: 2.09 1.66 1.56 4/215 19096
/proc/meminfo: memFree=4158004/32770624 swapFree=67108404/67108860
[pid=19030] ppid=19027 vsize=10991948 memory=198228 CPUtime=3.03 cores=1,3,5,7
/proc/19030/stat : 19030 (java) S 19027 19030 15321 0 -1 1077944320 22850 13198 0 0 288 8 4 3 20 0 15 0 222661075 11255754752 49557 33554432000 4194304 4196468 140734684760896 140734684743440 140639706853111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
/proc/19030/statm: 2747987 49557 3449 1 0 2709645 0
[pid=19030/tid=19083] ppid=19027 vsize=10991948 memory=65184 CPUtime=1.46 cores=1,3,5,7
/proc/19030/task/19083/stat : 19083 (java) R 19027 19030 15321 0 -1 4202560 14926 13198 0 0 133 6 4 3 20 0 15 0 222661084 11255754752 49557 33554432000 4194304 4196468 140734684760896 140639678684248 140639686563552 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19084] ppid=19027 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19084/stat : 19084 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661085 11255754752 49557 33554432000 4194304 4196468 140734684760896 140639711095184 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19085] ppid=19027 vsize=10991948 memory=280132531314848 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19085/stat : 19085 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661085 11255754752 49557 33554432000 4194304 4196468 140734684760896 140639581743376 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19086] ppid=19027 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19086/stat : 19086 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661085 11255754752 49557 33554432000 4194304 4196468 140734684760896 140639580691088 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19087] ppid=19027 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19087/stat : 19087 (java) S 19027 19030 15321 0 -1 1077944384 2 13198 0 0 0 0 4 3 20 0 15 0 222661085 11255754752 49557 33554432000 4194304 4196468 140734684760896 140639579638288 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19088] ppid=19027 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19088/stat : 19088 (java) S 19027 19030 15321 0 -1 1077944384 13 13198 0 0 0 0 4 3 20 0 15 0 222661086 11255754752 49557 33554432000 4194304 4196468 140734684760896 140639131822704 140639706864258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19089] ppid=19027 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19089/stat : 19089 (java) S 19027 19030 15321 0 -1 1077944384 13 13198 0 0 0 0 4 3 20 0 15 0 222661087 11255754752 49557 33554432000 4194304 4196468 140734684760896 140638516405536 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19090] ppid=19027 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19090/stat : 19090 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661087 11255754752 49557 33554432000 4194304 4196468 140734684760896 140638368556656 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19091] ppid=19027 vsize=10991948 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19091/stat : 19091 (java) S 19027 19030 15321 0 -1 1077944384 3 13198 0 0 0 0 4 3 20 0 15 0 222661090 11255754752 49557 33554432000 4194304 4196468 140734684760896 140638061156944 140639706871707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19092] ppid=19027 vsize=10991948 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/19030/task/19092/stat : 19092 (java) R 19027 19030 15321 0 -1 4202560 2372 13198 0 0 55 0 4 3 20 0 15 0 222661090 11255754752 49557 33554432000 4194304 4196468 140734684760896 140639130749976 140639692881285 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19093] ppid=19027 vsize=10991948 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/19030/task/19093/stat : 19093 (java) R 19027 19030 15321 0 -1 4202560 1894 13198 0 0 56 0 4 3 20 0 15 0 222661090 11255754752 49557 33554432000 4194304 4196468 140734684760896 140639129702800 140639690756208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19094] ppid=19027 vsize=10991948 memory=6791534058613427641 CPUtime=0.49 cores=1,3,5,7
/proc/19030/task/19094/stat : 19094 (java) S 19027 19030 15321 0 -1 1077944384 1426 13198 0 0 42 0 4 3 20 0 15 0 222661090 11255754752 49557 33554432000 4194304 4196468 140734684760896 140639128664432 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19095] ppid=19027 vsize=10991948 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19095/stat : 19095 (java) S 19027 19030 15321 0 -1 1077944384 3 13198 0 0 0 0 4 3 20 0 15 0 222661090 11255754752 49557 33554432000 4194304 4196468 140734684760896 140637630360032 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19096] ppid=19027 vsize=10991948 memory=280132531559296 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19096/stat : 19096 (java) S 19027 19030 15321 0 -1 1077944384 1 13198 0 0 0 0 4 3 20 0 15 0 222661090 11255754752 49557 33554432000 4194304 4196468 140734684760896 140639127612336 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10991948 KiB

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


[startup+1260.8 s]
/proc/loadavg: 1.48 2.18 2.48 4/215 19262
/proc/meminfo: memFree=6125528/32770624 swapFree=67108404/67108860
[pid=19030] ppid=19027 vsize=11077984 memory=3145772 CPUtime=1299.73 cores=1,3,5,7
/proc/19030/stat : 19030 (java) S 19027 19030 15321 0 -1 1077944320 744624 13198 0 0 129463 503 4 3 20 0 15 0 222661075 11343855616 786443 33554432000 4194304 4196468 140734684760896 140734684743440 140639706853111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
/proc/19030/statm: 2769496 786443 3535 1 0 2731149 0
[pid=19030/tid=19083] ppid=19027 vsize=11077984 memory=0 CPUtime=1253.8 cores=1,3,5,7
/proc/19030/task/19083/stat : 19083 (java) R 19027 19030 15321 0 -1 4202560 414933 13198 0 0 125260 113 4 3 20 0 15 0 222661084 11343855616 786443 33554432000 4194304 4196468 140734684760896 140639678684960 140639264109963 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19084] ppid=19027 vsize=11077984 memory=6944656575208382560 CPUtime=6.37 cores=1,3,5,7
/proc/19030/task/19084/stat : 19084 (java) S 19027 19030 15321 0 -1 1077944384 42864 13198 0 0 548 82 4 3 20 0 15 0 222661085 11343855616 786443 33554432000 4194304 4196468 140734684760896 140639711095184 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19085] ppid=19027 vsize=11077984 memory=6655300316396806240 CPUtime=6.36 cores=1,3,5,7
/proc/19030/task/19085/stat : 19085 (java) S 19027 19030 15321 0 -1 1077944384 42317 13198 0 0 543 86 4 3 20 0 15 0 222661085 11343855616 786443 33554432000 4194304 4196468 140734684760896 140639581743376 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19086] ppid=19027 vsize=11077984 memory=1224 CPUtime=6.34 cores=1,3,5,7
/proc/19030/task/19086/stat : 19086 (java) S 19027 19030 15321 0 -1 1077944384 41247 13198 0 0 542 85 4 3 20 0 15 0 222661085 11343855616 786443 33554432000 4194304 4196468 140734684760896 140639580691088 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19087] ppid=19027 vsize=11077984 memory=4700 CPUtime=6.41 cores=1,3,5,7
/proc/19030/task/19087/stat : 19087 (java) S 19027 19030 15321 0 -1 1077944384 47881 13198 0 0 552 82 4 3 20 0 15 0 222661085 11343855616 786443 33554432000 4194304 4196468 140734684760896 140639579638288 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19088] ppid=19027 vsize=11077984 memory=1404 CPUtime=0.49 cores=1,3,5,7
/proc/19030/task/19088/stat : 19088 (java) S 19027 19030 15321 0 -1 1077944384 28201 13198 0 0 33 9 4 3 20 0 15 0 222661086 11343855616 786443 33554432000 4194304 4196468 140734684760896 140639131822704 140639706864258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19089] ppid=19027 vsize=11077984 memory=4000 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19089/stat : 19089 (java) S 19027 19030 15321 0 -1 1077944384 22 13198 0 0 0 0 4 3 20 0 15 0 222661087 11343855616 786443 33554432000 4194304 4196468 140734684760896 140638516405600 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19090] ppid=19027 vsize=11077984 memory=1156 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19090/stat : 19090 (java) S 19027 19030 15321 0 -1 1077944384 8 13198 0 0 0 0 4 3 20 0 15 0 222661087 11343855616 786443 33554432000 4194304 4196468 140734684760896 140638368556672 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19091] ppid=19027 vsize=11077984 memory=15212 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19091/stat : 19091 (java) S 19027 19030 15321 0 -1 1077944384 3 13198 0 0 0 0 4 3 20 0 15 0 222661090 11343855616 786443 33554432000 4194304 4196468 140734684760896 140638061156944 140639706871707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19092] ppid=19027 vsize=11077984 memory=2148 CPUtime=8.31 cores=1,3,5,7
/proc/19030/task/19092/stat : 19092 (java) S 19027 19030 15321 0 -1 1077944384 37307 13198 0 0 820 4 4 3 20 0 15 0 222661090 11343855616 786443 33554432000 4194304 4196468 140734684760896 140639130769520 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19093] ppid=19027 vsize=11077984 memory=1160 CPUtime=8.73 cores=1,3,5,7
/proc/19030/task/19093/stat : 19093 (java) S 19027 19030 15321 0 -1 1077944384 34396 13198 0 0 862 4 4 3 20 0 15 0 222661090 11343855616 786443 33554432000 4194304 4196468 140734684760896 140639129716720 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19094] ppid=19027 vsize=11077984 memory=1784 CPUtime=2.67 cores=1,3,5,7
/proc/19030/task/19094/stat : 19094 (java) S 19027 19030 15321 0 -1 1077944384 51596 13198 0 0 255 5 4 3 20 0 15 0 222661090 11343855616 786443 33554432000 4194304 4196468 140734684760896 140639128664432 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19095] ppid=19027 vsize=11077984 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19095/stat : 19095 (java) S 19027 19030 15321 0 -1 1077944384 3 13198 0 0 0 0 4 3 20 0 15 0 222661090 11343855616 786443 33554432000 4194304 4196468 140734684760896 140637630360032 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19096] ppid=19027 vsize=11077984 memory=60672 CPUtime=0.76 cores=1,3,5,7
/proc/19030/task/19096/stat : 19096 (java) S 19027 19030 15321 0 -1 1077944384 1653 13198 0 0 31 38 4 3 20 0 15 0 222661090 11343855616 786443 33554432000 4194304 4196468 140734684760896 140639127612336 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
Current children cumulated CPU time: 1299.73 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3145772 KiB

[startup+1262.4 s]
/proc/loadavg: 1.48 2.18 2.48 3/215 19262
/proc/meminfo: memFree=6125528/32770624 swapFree=67108404/67108860
[pid=19030] ppid=19027 vsize=11077984 memory=3145784 CPUtime=1301.71 cores=1,3,5,7
/proc/19030/stat : 19030 (java) S 19027 19030 15321 0 -1 1077944320 750412 13198 0 0 129661 503 4 3 20 0 15 0 222661075 11343855616 786446 33554432000 4194304 4196468 140734684760896 140734684743440 140639706853111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
/proc/19030/statm: 2769496 786446 3535 1 0 2731149 0
[pid=19030/tid=19083] ppid=19027 vsize=11077984 memory=60672 CPUtime=1255.4 cores=1,3,5,7
/proc/19030/task/19083/stat : 19083 (java) R 19027 19030 15321 0 -1 4202560 417009 13198 0 0 125419 114 4 3 20 0 15 0 222661084 11343855616 786446 33554432000 4194304 4196468 140734684760896 140639678683504 140639275764829 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19084] ppid=19027 vsize=11077984 memory=14644 CPUtime=6.37 cores=1,3,5,7
/proc/19030/task/19084/stat : 19084 (java) S 19027 19030 15321 0 -1 1077944384 42864 13198 0 0 548 82 4 3 20 0 15 0 222661085 11343855616 786446 33554432000 4194304 4196468 140734684760896 140639711095184 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19085] ppid=19027 vsize=11077984 memory=1720 CPUtime=6.36 cores=1,3,5,7
/proc/19030/task/19085/stat : 19085 (java) S 19027 19030 15321 0 -1 1077944384 42317 13198 0 0 543 86 4 3 20 0 15 0 222661085 11343855616 786446 33554432000 4194304 4196468 140734684760896 140639581743376 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19086] ppid=19027 vsize=11077984 memory=508 CPUtime=6.34 cores=1,3,5,7
/proc/19030/task/19086/stat : 19086 (java) S 19027 19030 15321 0 -1 1077944384 41247 13198 0 0 542 85 4 3 20 0 15 0 222661085 11343855616 786446 33554432000 4194304 4196468 140734684760896 140639580691088 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19087] ppid=19027 vsize=11077984 memory=6791534058613427641 CPUtime=6.41 cores=1,3,5,7
/proc/19030/task/19087/stat : 19087 (java) S 19027 19030 15321 0 -1 1077944384 47881 13198 0 0 552 82 4 3 20 0 15 0 222661085 11343855616 786446 33554432000 4194304 4196468 140734684760896 140639579638288 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19088] ppid=19027 vsize=11077984 memory=508 CPUtime=0.49 cores=1,3,5,7
/proc/19030/task/19088/stat : 19088 (java) S 19027 19030 15321 0 -1 1077944384 28265 13198 0 0 33 9 4 3 20 0 15 0 222661086 11343855616 786446 33554432000 4194304 4196468 140734684760896 140639131822704 140639706864258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19089] ppid=19027 vsize=11077984 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19089/stat : 19089 (java) S 19027 19030 15321 0 -1 1077944384 22 13198 0 0 0 0 4 3 20 0 15 0 222661087 11343855616 786446 33554432000 4194304 4196468 140734684760896 140638516405600 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19090] ppid=19027 vsize=11077984 memory=1172 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19090/stat : 19090 (java) S 19027 19030 15321 0 -1 1077944384 8 13198 0 0 0 0 4 3 20 0 15 0 222661087 11343855616 786446 33554432000 4194304 4196468 140734684760896 140638368556672 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19091] ppid=19027 vsize=11077984 memory=2404 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19091/stat : 19091 (java) S 19027 19030 15321 0 -1 1077944384 3 13198 0 0 0 0 4 3 20 0 15 0 222661090 11343855616 786446 33554432000 4194304 4196468 140734684760896 140638061156944 140639706871707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19092] ppid=19027 vsize=11077984 memory=6791534058613427641 CPUtime=8.47 cores=1,3,5,7
/proc/19030/task/19092/stat : 19092 (java) R 19027 19030 15321 0 -1 4202560 38195 13198 0 0 836 4 4 3 20 0 15 0 222661090 11343855616 786446 33554432000 4194304 4196468 140734684760896 140639130769520 140639684143369 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19093] ppid=19027 vsize=11077984 memory=1616 CPUtime=8.91 cores=1,3,5,7
/proc/19030/task/19093/stat : 19093 (java) R 19027 19030 15321 0 -1 4202560 35486 13198 0 0 879 5 4 3 20 0 15 0 222661090 11343855616 786446 33554432000 4194304 4196468 140734684760896 140639129706576 140639688397389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19094] ppid=19027 vsize=11077984 memory=756 CPUtime=2.72 cores=1,3,5,7
/proc/19030/task/19094/stat : 19094 (java) S 19027 19030 15321 0 -1 1077944384 53242 13198 0 0 260 5 4 3 20 0 15 0 222661090 11343855616 786446 33554432000 4194304 4196468 140734684760896 140639128664432 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19095] ppid=19027 vsize=11077984 memory=9624 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19095/stat : 19095 (java) S 19027 19030 15321 0 -1 1077944384 3 13198 0 0 0 0 4 3 20 0 15 0 222661090 11343855616 786446 33554432000 4194304 4196468 140734684760896 140637630360032 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19096] ppid=19027 vsize=11077984 memory=876 CPUtime=0.76 cores=1,3,5,7
/proc/19030/task/19096/stat : 19096 (java) S 19027 19030 15321 0 -1 1077944384 1680 13198 0 0 31 38 4 3 20 0 15 0 222661090 11343855616 786446 33554432000 4194304 4196468 140734684760896 140639127612336 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
Current children cumulated CPU time: 1301.71 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3145784 KiB

[startup+1264 s]*
/proc/loadavg: 1.48 2.18 2.48 3/215 19262
/proc/meminfo: memFree=6126272/32770624 swapFree=67108404/67108860
[pid=19030] ppid=19027 vsize=11077984 memory=3144532 CPUtime=1304.16 cores=1,3,5,7
/proc/19030/stat : 19030 (java) S 19027 19030 15321 0 -1 1077944320 753830 13198 0 0 129905 504 4 3 20 0 15 0 222661075 11343855616 786133 33554432000 4194304 4196468 140734684760896 140734684743440 140639706853111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
/proc/19030/statm: 2769496 786133 3535 1 0 2731149 0
[pid=19030/tid=19083] ppid=19027 vsize=11077984 memory=1398720917958146503 CPUtime=1257.01 cores=1,3,5,7
/proc/19030/task/19083/stat : 19083 (java) R 19027 19030 15321 0 -1 4202560 417263 13198 0 0 125580 114 4 3 20 0 15 0 222661084 11343855616 786133 33554432000 4194304 4196468 140734684760896 140639678684352 140639275734927 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19084] ppid=19027 vsize=11077984 memory=4872558044660077418 CPUtime=6.37 cores=1,3,5,7
/proc/19030/task/19084/stat : 19084 (java) S 19027 19030 15321 0 -1 1077944384 42864 13198 0 0 548 82 4 3 20 0 15 0 222661085 11343855616 786133 33554432000 4194304 4196468 140734684760896 140639711095184 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19085] ppid=19027 vsize=11077984 memory=508 CPUtime=6.36 cores=1,3,5,7
/proc/19030/task/19085/stat : 19085 (java) S 19027 19030 15321 0 -1 1077944384 42317 13198 0 0 543 86 4 3 20 0 15 0 222661085 11343855616 786133 33554432000 4194304 4196468 140734684760896 140639581743376 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19086] ppid=19027 vsize=11077984 memory=928 CPUtime=6.34 cores=1,3,5,7
/proc/19030/task/19086/stat : 19086 (java) S 19027 19030 15321 0 -1 1077944384 41247 13198 0 0 542 85 4 3 20 0 15 0 222661085 11343855616 786133 33554432000 4194304 4196468 140734684760896 140639580691088 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19087] ppid=19027 vsize=11077984 memory=6791534058613427641 CPUtime=6.41 cores=1,3,5,7
/proc/19030/task/19087/stat : 19087 (java) S 19027 19030 15321 0 -1 1077944384 47881 13198 0 0 552 82 4 3 20 0 15 0 222661085 11343855616 786133 33554432000 4194304 4196468 140734684760896 140639579638288 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19088] ppid=19027 vsize=11077984 memory=4700 CPUtime=0.49 cores=1,3,5,7
/proc/19030/task/19088/stat : 19088 (java) S 19027 19030 15321 0 -1 1077944384 28266 13198 0 0 33 9 4 3 20 0 15 0 222661086 11343855616 786133 33554432000 4194304 4196468 140734684760896 140639131822704 140639706864258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19089] ppid=19027 vsize=11077984 memory=1404 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19089/stat : 19089 (java) S 19027 19030 15321 0 -1 1077944384 22 13198 0 0 0 0 4 3 20 0 15 0 222661087 11343855616 786133 33554432000 4194304 4196468 140734684760896 140638516405600 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19090] ppid=19027 vsize=11077984 memory=4000 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19090/stat : 19090 (java) S 19027 19030 15321 0 -1 1077944384 8 13198 0 0 0 0 4 3 20 0 15 0 222661087 11343855616 786133 33554432000 4194304 4196468 140734684760896 140638368556672 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19091] ppid=19027 vsize=11077984 memory=1156 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19091/stat : 19091 (java) S 19027 19030 15321 0 -1 1077944384 3 13198 0 0 0 0 4 3 20 0 15 0 222661090 11343855616 786133 33554432000 4194304 4196468 140734684760896 140638061156944 140639706871707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19092] ppid=19027 vsize=11077984 memory=15212 CPUtime=9.06 cores=1,3,5,7
/proc/19030/task/19092/stat : 19092 (java) S 19027 19030 15321 0 -1 1077944384 40459 13198 0 0 895 4 4 3 20 0 15 0 222661090 11343855616 786133 33554432000 4194304 4196468 140734684760896 140639130769520 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19093] ppid=19027 vsize=11077984 memory=4044 CPUtime=9.14 cores=1,3,5,7
/proc/19030/task/19093/stat : 19093 (java) S 19027 19030 15321 0 -1 1077944384 36256 13198 0 0 902 5 4 3 20 0 15 0 222661090 11343855616 786133 33554432000 4194304 4196468 140734684760896 140639129716720 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19094] ppid=19027 vsize=11077984 memory=33432 CPUtime=2.74 cores=1,3,5,7
/proc/19030/task/19094/stat : 19094 (java) S 19027 19030 15321 0 -1 1077944384 53364 13198 0 0 262 5 4 3 20 0 15 0 222661090 11343855616 786133 33554432000 4194304 4196468 140734684760896 140639128664432 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19095] ppid=19027 vsize=11077984 memory=2148 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19095/stat : 19095 (java) S 19027 19030 15321 0 -1 1077944384 3 13198 0 0 0 0 4 3 20 0 15 0 222661090 11343855616 786133 33554432000 4194304 4196468 140734684760896 140637630360032 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19096] ppid=19027 vsize=11077984 memory=3145784 CPUtime=0.76 cores=1,3,5,7
/proc/19030/task/19096/stat : 19096 (java) S 19027 19030 15321 0 -1 1077944384 1684 13198 0 0 31 38 4 3 20 0 15 0 222661090 11343855616 786133 33554432000 4194304 4196468 140734684760896 140639127612336 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
Current children cumulated CPU time: 1304.16 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3144532 KiB

[startup+1264.4 s]
/proc/loadavg: 1.48 2.18 2.48 3/215 19262
/proc/meminfo: memFree=6126272/32770624 swapFree=67108404/67108860
[pid=19030] ppid=19027 vsize=11077984 memory=3148460 CPUtime=1304.82 cores=1,3,5,7
/proc/19030/stat : 19030 (java) S 19027 19030 15321 0 -1 1077944320 755091 13198 0 0 129971 504 4 3 20 0 15 0 222661075 11343855616 787115 33554432000 4194304 4196468 140734684760896 140734684743440 140639706853111 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
/proc/19030/statm: 2769496 787115 3535 1 0 2731149 0
[pid=19030/tid=19083] ppid=19027 vsize=11077984 memory=4700 CPUtime=1257.4 cores=1,3,5,7
/proc/19030/task/19083/stat : 19083 (java) R 19027 19030 15321 0 -1 4202560 417324 13198 0 0 125619 114 4 3 20 0 15 0 222661084 11343855616 787115 33554432000 4194304 4196468 140734684760896 140639678684352 140639275712865 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19084] ppid=19027 vsize=11077984 memory=1404 CPUtime=6.37 cores=1,3,5,7
/proc/19030/task/19084/stat : 19084 (java) S 19027 19030 15321 0 -1 1077944384 42864 13198 0 0 548 82 4 3 20 0 15 0 222661085 11343855616 787115 33554432000 4194304 4196468 140734684760896 140639711095184 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19085] ppid=19027 vsize=11077984 memory=4000 CPUtime=6.36 cores=1,3,5,7
/proc/19030/task/19085/stat : 19085 (java) S 19027 19030 15321 0 -1 1077944384 42317 13198 0 0 543 86 4 3 20 0 15 0 222661085 11343855616 787115 33554432000 4194304 4196468 140734684760896 140639581743376 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19086] ppid=19027 vsize=11077984 memory=1692 CPUtime=6.34 cores=1,3,5,7
/proc/19030/task/19086/stat : 19086 (java) S 19027 19030 15321 0 -1 1077944384 41247 13198 0 0 542 85 4 3 20 0 15 0 222661085 11343855616 787115 33554432000 4194304 4196468 140734684760896 140639580691088 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19087] ppid=19027 vsize=11077984 memory=912 CPUtime=6.41 cores=1,3,5,7
/proc/19030/task/19087/stat : 19087 (java) S 19027 19030 15321 0 -1 1077944384 47881 13198 0 0 552 82 4 3 20 0 15 0 222661085 11343855616 787115 33554432000 4194304 4196468 140734684760896 140639579638288 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19088] ppid=19027 vsize=11077984 memory=3848 CPUtime=0.49 cores=1,3,5,7
/proc/19030/task/19088/stat : 19088 (java) S 19027 19030 15321 0 -1 1077944384 28266 13198 0 0 33 9 4 3 20 0 15 0 222661086 11343855616 787115 33554432000 4194304 4196468 140734684760896 140639131822704 140639706864258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19089] ppid=19027 vsize=11077984 memory=2900 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19089/stat : 19089 (java) S 19027 19030 15321 0 -1 1077944384 22 13198 0 0 0 0 4 3 20 0 15 0 222661087 11343855616 787115 33554432000 4194304 4196468 140734684760896 140638516405600 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19090] ppid=19027 vsize=11077984 memory=2652 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19090/stat : 19090 (java) S 19027 19030 15321 0 -1 1077944384 8 13198 0 0 0 0 4 3 20 0 15 0 222661087 11343855616 787115 33554432000 4194304 4196468 140734684760896 140638368556672 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19091] ppid=19027 vsize=11077984 memory=3144532 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19091/stat : 19091 (java) S 19027 19030 15321 0 -1 1077944384 3 13198 0 0 0 0 4 3 20 0 15 0 222661090 11343855616 787115 33554432000 4194304 4196468 140734684760896 140638061156944 140639706871707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19092] ppid=19027 vsize=11077984 memory=4104 CPUtime=9.32 cores=1,3,5,7
/proc/19030/task/19092/stat : 19092 (java) R 19027 19030 15321 0 -1 4202560 41638 13198 0 0 921 4 4 3 20 0 15 0 222661090 11343855616 787115 33554432000 4194304 4196468 140734684760896 140639130769520 140639699142493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19093] ppid=19027 vsize=11077984 memory=1398720917958146503 CPUtime=9.15 cores=1,3,5,7
/proc/19030/task/19093/stat : 19093 (java) S 19027 19030 15321 0 -1 1077944384 36277 13198 0 0 903 5 4 3 20 0 15 0 222661090 11343855616 787115 33554432000 4194304 4196468 140734684760896 140639129716720 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19094] ppid=19027 vsize=11077984 memory=4872558044660077418 CPUtime=2.74 cores=1,3,5,7
/proc/19030/task/19094/stat : 19094 (java) S 19027 19030 15321 0 -1 1077944384 53364 13198 0 0 262 5 4 3 20 0 15 0 222661090 11343855616 787115 33554432000 4194304 4196468 140734684760896 140639128664432 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19095] ppid=19027 vsize=11077984 memory=3145772 CPUtime=0.07 cores=1,3,5,7
/proc/19030/task/19095/stat : 19095 (java) S 19027 19030 15321 0 -1 1077944384 3 13198 0 0 0 0 4 3 20 0 15 0 222661090 11343855616 787115 33554432000 4194304 4196468 140734684760896 140637630360032 140639706863317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
[pid=19030/tid=19096] ppid=19027 vsize=11077984 memory=14644 CPUtime=0.76 cores=1,3,5,7
/proc/19030/task/19096/stat : 19096 (java) S 19027 19030 15321 0 -1 1077944384 1684 13198 0 0 31 38 4 3 20 0 15 0 222661090 11343855616 787115 33554432000 4194304 4196468 140734684760896 140639127612336 140639706864258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6483968 140734684764780 140734684767580 140734684767580 140734684770255 0
Current children cumulated CPU time: 1304.82 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3148460 KiB

[startup+1264.61 s]*
/proc/loadavg: 1.48 2.18 2.48 3/202 19263
/proc/meminfo: memFree=9076168/32770624 swapFree=67108404/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 1264.62
CPU time (s): 1305.33
CPU user time (s): 1300.22
CPU system time (s): 5.10276
CPU usage (%): 103.219
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 3148744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.22
system time used= 5.10276
maximum resident set size= 3150872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 769785
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41943
involuntary context switches= 1659


# summary of solver processes directly reported to runsolver:
#   pid: 19030
#   total CPU time (s): 1305.33
#   total CPU user time (s): 1300.22
#   total CPU system time (s): 5.10276

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.24472 second user time and 12.2446 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-12 07:16:19
IDJOB=4304247
IDBENCH=141136
IDSOLVER=2780
FILE ID=node148/4304247-1534050979
RUNJOBID= node148-1534041135-17409
PBS_JOBID= 21036960
Free space on /tmp= 33664 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order40_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304247-1534050979/watcher-4304247-1534050979 -o /tmp/evaluation-result-4304247-1534050979/solver-4304247-1534050979 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534041135-17409 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1740287258 HOME/instance-4304247-1534050979.xml

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

MD5SUM BENCH= d1aa36ddb66a988b2d6475ffc1d9c375
RANDOM SEED=1740287258

node148.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:         4402172 kB
MemAvailable:   29763404 kB
Buffers:          246660 kB
Cached:         24962260 kB
SwapCached:          352 kB
Active:         11834512 kB
Inactive:       15569332 kB
Active(anon):    2147996 kB
Inactive(anon):    99220 kB
Active(file):    9686516 kB
Inactive(file): 15470112 kB
Unevictable:        7340 kB
Mlocked:            7340 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:             29040 kB
Writeback:            44 kB
AnonPages:       2130000 kB
Mapped:            66792 kB
Shmem:             49592 kB
Slab:             661244 kB
SReclaimable:     633064 kB
SUnreclaim:        28180 kB
KernelStack:        3392 kB
PageTables:         9648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3930004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1959936 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 33672 MiB
End job on node148 at 2018-08-12 07:37:24