Trace number 4307810

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-08-14SAT (TO)41 2520.13 2486.82

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.68/0.56	c version: 2018-08-14
0.68/0.56	c seed: 1539332121
0.68/0.57	c timeout: 2520
0.68/0.57	c memlimit: 11000
0.68/0.57	c nbcore: 4
0.68/0.59	c Parsing instance...
25.05/12.06	c Parsing done, starting search...
26.69/13.07	o 1599
27.74/13.93	o 1598
28.96/14.95	o 1597
29.28/15.21	o 1596
30.47/16.26	o 1593
31.86/17.56	o 1591
33.27/18.88	o 1590
34.63/20.16	o 1588
35.98/21.50	o 1587
37.28/22.79	o 1586
41.72/24.74	o 1584
43.03/26.06	o 1583
43.03/26.10	o 1582
44.32/27.36	o 1578
45.62/28.67	o 1577
46.92/29.96	o 1575
47.42/30.40	o 1574
48.22/31.28	o 1572
49.52/32.59	o 1570
50.95/33.91	o 1569
51.17/34.11	o 1568
52.27/35.21	o 1565
53.61/36.52	o 1564
54.91/37.81	o 1562
55.01/37.94	o 1561
56.29/39.14	o 1560
57.58/40.43	o 1559
58.88/41.74	o 1557
58.88/41.76	o 1556
60.19/43.05	o 1555
61.49/44.36	o 1553
62.80/45.69	o 1552
64.12/46.99	o 1549
65.63/48.30	o 1547
66.93/49.62	o 1544
68.27/50.93	o 1543
69.57/52.21	o 1542
69.81/52.46	o 1541
70.92/53.54	o 1540
72.22/54.83	o 1538
73.53/56.16	o 1537
74.82/57.45	o 1532
76.12/58.76	o 1531
76.32/58.99	o 1530
77.43/60.08	o 1529
79.13/61.37	o 1528
79.23/61.44	o 1527
80.53/62.70	o 1526
80.84/63.03	o 1525
81.73/64.01	o 1524
83.14/65.30	o 1523
84.44/66.60	o 1522
85.74/67.91	o 1521
85.85/68.09	o 1518
87.05/69.23	o 1517
87.05/69.29	o 1516
88.35/70.54	o 1514
89.65/71.86	o 1513
90.96/73.15	o 1510
91.15/73.36	o 1508
91.25/73.43	o 1505
91.25/73.46	o 1504
92.25/74.47	o 1502
93.55/75.77	o 1500
94.87/77.10	o 1499
96.16/78.38	o 1498
96.36/78.50	o 1497
96.36/78.58	o 1494
97.56/79.70	o 1492
97.76/79.93	o 1490
97.97/80.12	o 1488
98.87/81.01	o 1484
100.16/82.32	o 1483
100.36/82.56	o 1481
101.46/83.62	o 1479
101.66/83.80	o 1478
101.76/83.91	o 1476
102.76/84.93	o 1475
102.76/84.95	o 1473
104.07/86.24	o 1471
105.37/87.56	o 1470
106.67/88.84	o 1469
107.98/90.15	o 1468
109.27/91.46	o 1467
110.57/92.77	o 1466
111.88/94.07	o 1465
111.88/94.08	o 1464
113.27/95.40	o 1463
113.67/95.81	o 1461
114.59/96.71	o 1460
115.98/98.03	o 1459
117.27/99.31	o 1457
118.57/100.64	o 1456
118.57/100.69	o 1455
119.88/101.95	o 1453
121.18/103.25	o 1452
121.38/103.45	o 1451
122.48/104.56	o 1450
123.79/105.86	o 1449
125.09/107.16	o 1448
125.38/107.47	o 1447
126.38/108.49	o 1446
126.48/108.59	o 1445
127.69/109.79	o 1444
127.99/110.03	o 1443
128.99/111.10	o 1442
129.49/111.51	o 1440
130.39/112.40	o 1439
130.49/112.54	o 1438
130.80/112.84	o 1436
131.70/113.71	o 1435
131.80/113.89	o 1430
133.01/115.02	o 1429
134.30/116.31	o 1428
134.70/116.73	o 1427
135.60/117.63	o 1426
135.60/117.65	o 1424
136.90/118.93	o 1423
138.21/120.23	o 1422
139.51/121.54	o 1421
140.81/122.85	o 1420
142.12/124.16	o 1419
142.21/124.24	o 1415
143.41/125.47	o 1412
144.71/126.78	o 1409
146.02/128.09	o 1408
147.32/129.39	o 1407
147.52/129.56	o 1406
148.72/130.72	o 1405
149.92/132.00	o 1402
150.03/132.02	o 1401
151.32/133.32	o 1400
152.70/134.65	o 1399
152.90/134.87	o 1398
154.01/135.94	o 1396
154.31/136.29	o 1395
155.31/137.24	o 1394
155.41/137.34	o 1392
156.61/138.57	o 1391
157.91/139.87	o 1390
159.22/141.18	o 1389
159.55/141.40	o 1388
160.65/142.51	o 1387
160.95/142.82	o 1386
161.94/143.82	o 1385
163.25/145.12	o 1384
164.55/146.42	o 1382
165.85/147.75	o 1381
167.16/149.03	o 1380
167.45/149.37	o 1379
168.45/150.36	o 1378
168.75/150.66	o 1377
169.77/151.66	o 1375
171.08/152.97	o 1374
171.19/153.10	o 1373
172.38/154.28	o 1372
172.58/154.40	o 1368
173.68/155.57	o 1367
173.98/155.80	o 1365
174.98/156.89	o 1363
175.38/157.25	o 1362
176.38/158.20	o 1361
177.58/159.49	o 1360
177.98/159.83	o 1359
177.98/159.83	o 1358
178.98/160.83	o 1357
180.29/162.11	o 1356
180.38/162.25	o 1355
181.58/163.43	o 1353
182.88/164.74	o 1352
184.20/166.04	o 1351
185.49/167.34	o 1350
185.69/167.51	o 1349
186.79/168.67	o 1348
188.09/169.96	o 1347
188.09/170.00	o 1346
189.39/171.29	o 1345
190.88/172.60	o 1343
191.07/172.88	o 1342
192.08/173.89	o 1341
192.38/174.12	o 1339
193.38/175.20	o 1338
193.57/175.34	o 1337
194.78/176.52	o 1336
196.07/177.80	o 1334
197.39/179.12	o 1332
198.68/180.43	o 1331
199.98/181.73	o 1330
201.29/183.03	o 1328
201.29/183.04	o 1327
202.59/184.35	o 1326
202.69/184.40	o 1325
202.99/184.74	o 1324
203.89/185.66	o 1323
205.20/186.95	o 1321
206.50/188.28	o 1319
207.80/189.59	o 1317
209.10/190.88	o 1315
210.50/192.20	o 1314
210.80/192.52	o 1313
210.80/192.52	o 1312
211.80/193.50	o 1310
213.10/194.82	o 1309
214.31/196.11	o 1308
215.70/197.41	o 1307
217.00/198.72	o 1305
217.00/198.72	o 1301
217.41/199.12	o 1299
218.31/200.04	o 1298
218.41/200.12	o 1297
219.60/201.36	o 1296
220.90/202.65	o 1295
222.21/203.96	o 1294
223.51/205.26	o 1293
223.71/205.48	o 1292
224.81/206.58	o 1291
225.01/206.72	o 1290
226.11/207.89	o 1288
227.51/209.20	o 1287
227.51/209.27	o 1285
228.89/210.53	o 1284
229.09/210.76	o 1282
229.19/210.87	o 1281
230.19/211.81	o 1280
230.40/212.03	o 1279
231.50/213.12	o 1278
231.50/213.13	o 1277
231.79/213.40	o 1276
232.79/214.43	o 1275
234.10/215.73	o 1274
234.51/216.12	o 1273
235.41/217.05	o 1272
236.70/218.36	o 1271
236.70/218.39	o 1270
238.00/219.67	o 1269
238.41/220.04	o 1268
239.30/220.97	o 1267
240.60/222.27	o 1266
241.90/223.57	o 1265
242.20/223.89	o 1264
243.30/224.90	o 1263
243.60/225.21	o 1258
244.60/226.21	o 1257
245.01/226.61	o 1254
245.90/227.51	o 1253
247.21/228.81	o 1252
247.42/229.02	o 1251
248.52/230.13	o 1249
249.81/231.44	o 1248
251.12/232.74	o 1247
252.43/234.05	o 1246
253.72/235.35	o 1244
255.02/236.68	o 1243
255.22/236.87	o 1242
256.32/237.99	o 1241
257.63/239.27	o 1240
257.73/239.31	o 1238
258.93/240.59	o 1235
260.23/241.90	o 1234
260.44/242.01	o 1233
261.63/243.22	o 1232
262.93/244.51	o 1231
264.24/245.82	o 1230
265.63/247.15	o 1229
266.92/248.43	o 1227
267.32/248.83	o 1226
268.22/249.75	o 1224
269.53/251.05	o 1223
270.82/252.35	o 1220
272.12/253.67	o 1219
273.42/254.97	o 1218
273.63/255.13	o 1217
274.72/256.29	o 1216
275.12/256.68	o 1215
276.12/257.61	o 1214
277.42/258.90	o 1213
278.72/260.20	o 1212
280.02/261.52	o 1211
281.32/262.83	o 1210
282.63/264.13	o 1209
282.73/264.29	o 1207
283.93/265.45	o 1206
284.23/265.73	o 1204
285.23/266.76	o 1202
286.54/268.08	o 1201
287.84/269.36	o 1200
287.93/269.44	o 1199
289.13/270.68	o 1198
290.43/271.98	o 1197
291.74/273.29	o 1196
293.04/274.60	o 1195
294.44/275.92	o 1194
294.84/276.32	o 1192
295.74/277.23	o 1191
296.14/277.61	o 1190
297.04/278.54	o 1189
297.24/278.70	o 1188
298.34/279.85	o 1187
298.44/279.94	o 1186
299.65/281.16	o 1184
299.74/281.26	o 1182
300.95/282.46	o 1180
302.43/283.80	o 1179
302.64/284.04	o 1178
303.64/285.07	o 1177
303.74/285.13	o 1175
303.83/285.29	o 1174
304.93/286.38	o 1173
305.33/286.76	o 1172
306.23/287.70	o 1171
307.53/288.99	o 1169
308.93/290.31	o 1168
309.13/290.54	o 1167
310.23/291.62	o 1165
311.53/292.93	o 1164
311.64/293.10	o 1163
312.83/294.23	o 1161
312.83/294.28	o 1160
314.13/295.54	o 1159
315.43/296.84	o 1157
316.74/298.16	o 1155
318.04/299.47	o 1154
319.35/300.76	o 1153
319.45/300.85	o 1152
319.45/300.90	o 1151
320.66/302.08	o 1150
320.76/302.11	o 1149
321.95/303.39	o 1148
323.25/304.68	o 1146
324.66/306.01	o 1145
325.95/307.30	o 1144
326.25/307.64	o 1143
327.25/308.62	o 1142
327.35/308.71	o 1141
328.55/309.92	o 1139
328.76/310.13	o 1138
329.85/311.23	o 1137
331.15/312.52	o 1136
331.35/312.72	o 1134
332.45/313.85	o 1133
333.76/315.14	o 1132
333.95/315.38	o 1131
335.05/316.46	o 1129
336.35/317.77	o 1128
336.66/318.10	o 1127
337.66/319.07	o 1125
338.96/320.38	o 1123
339.26/320.63	o 1122
340.26/321.69	o 1121
340.67/322.07	o 1120
341.56/322.99	o 1119
341.77/323.11	o 1118
343.05/324.33	o 1117
343.25/324.52	o 1116
344.35/325.60	o 1115
344.35/325.67	o 1114
344.45/325.72	o 1113
345.65/326.91	o 1112
345.76/327.05	o 1111
345.95/327.28	o 1110
346.95/328.22	o 1109
348.25/329.52	o 1108
349.55/330.83	o 1107
350.86/332.14	o 1106
351.05/332.38	o 1105
352.15/333.47	o 1104
353.45/334.76	o 1102
354.76/336.07	o 1101
354.86/336.11	o 1100
356.05/337.38	o 1099
357.35/338.68	o 1098
358.65/339.98	o 1097
358.86/340.15	o 1095
360.05/341.30	o 1094
361.25/342.59	o 1093
362.66/343.90	o 1092
363.96/345.22	o 1091
364.27/345.59	o 1089
365.27/346.54	o 1088
366.57/347.83	o 1087
366.78/348.07	o 1086
367.88/349.15	o 1085
367.97/349.20	o 1084
369.18/350.47	o 1083
370.48/351.76	o 1082
371.79/353.06	o 1081
372.08/353.38	o 1080
372.18/353.40	o 1079
373.08/354.38	o 1078
374.38/355.68	o 1076
375.68/357.00	o 1075
375.98/357.28	o 1074
377.08/358.31	o 1073
377.08/358.36	o 1071
378.38/359.62	o 1070
379.68/360.91	o 1069
381.06/362.22	o 1068
382.36/363.53	o 1067
382.56/363.71	o 1066
383.66/364.88	o 1065
384.97/366.17	o 1064
385.27/366.49	o 1063
386.27/367.49	o 1062
386.57/367.77	o 1061
387.67/368.80	o 1060
387.67/368.87	o 1059
388.98/370.11	o 1058
389.27/370.42	o 1056
390.27/371.41	o 1055
391.57/372.70	o 1054
391.57/372.77	o 1053
391.67/372.86	o 1051
392.88/374.02	o 1050
394.18/375.32	o 1049
394.48/375.69	o 1047
395.48/376.63	o 1045
396.78/377.94	o 1044
396.78/377.99	o 1043
398.08/379.26	o 1042
399.38/380.55	o 1041
400.68/381.86	o 1039
401.08/382.22	o 1036
401.99/383.18	o 1034
403.38/384.50	o 1033
404.58/385.78	o 1032
404.68/385.81	o 1031
405.89/387.11	o 1030
407.28/388.40	o 1029
408.59/389.71	o 1028
408.69/389.82	o 1026
409.89/391.03	o 1025
410.00/391.14	o 1023
411.19/392.33	o 1022
411.29/392.47	o 1021
412.49/393.64	o 1020
412.89/394.01	o 1019
413.79/394.95	o 1018
414.00/395.17	o 1017
415.09/396.26	o 1016
415.39/396.54	o 1014
416.39/397.56	o 1012
417.69/398.86	o 1010
419.00/400.18	o 1009
420.49/401.51	o 1008
421.69/402.78	o 1006
422.99/404.09	o 1005
423.10/404.18	o 1004
424.39/405.41	o 1003
424.59/405.67	o 1002
425.69/406.72	o 1001
427.00/408.01	o 1000
428.29/409.32	o 999
429.59/410.63	o 998
430.89/411.94	o 997
432.19/413.25	o 996
433.49/414.56	o 995
434.79/415.86	o 994
436.10/417.17	o 992
437.49/418.50	o 991
438.70/419.79	o 990
439.01/420.07	o 989
440.11/421.11	o 988
441.40/422.40	o 987
442.70/423.71	o 986
442.80/423.88	o 985
444.01/425.03	o 984
444.20/425.26	o 981
445.30/426.34	o 980
445.50/426.57	o 979
446.61/427.65	o 978
447.90/428.94	o 977
448.20/429.25	o 976
449.21/430.26	o 975
450.51/431.57	o 974
451.81/432.90	o 971
453.21/434.22	o 970
454.41/435.49	o 969
455.71/436.79	o 967
455.91/436.93	o 966
457.21/438.14	o 964
457.40/438.36	o 963
458.50/439.42	o 962
459.80/440.72	o 961
461.11/442.02	o 960
461.40/442.39	o 959
462.40/443.34	o 957
462.40/443.36	o 956
463.70/444.64	o 955
465.00/445.95	o 954
466.30/447.27	o 953
466.60/447.53	o 951
467.60/448.58	o 950
468.90/449.88	o 949
470.21/451.18	o 948
470.50/451.43	o 947
471.61/452.50	o 946
471.61/452.51	o 945
472.91/453.81	o 944
473.01/453.98	o 943
474.22/455.11	o 940
474.22/455.16	o 939
475.51/456.42	o 937
476.81/457.73	o 936
476.91/457.81	o 935
478.12/459.04	o 933
479.41/460.35	o 932
480.71/461.64	o 931
480.91/461.89	o 930
482.01/462.96	o 927
483.31/464.26	o 926
483.51/464.42	o 925
484.62/465.58	o 924
485.92/466.87	o 923
486.32/467.22	o 922
487.23/468.19	o 921
488.52/469.48	o 920
488.72/469.66	o 919
489.92/470.80	o 917
491.24/472.11	o 916
492.53/473.40	o 914
492.73/473.61	o 913
493.83/474.72	o 912
494.14/475.08	o 911
495.14/476.06	o 910
496.43/477.34	o 909
497.82/478.65	o 908
498.02/478.86	o 907
499.12/479.98	o 905
500.42/481.28	o 904
501.72/482.58	o 903
501.82/482.69	o 902
503.02/483.90	o 900
503.12/483.94	o 899
504.42/485.20	o 898
504.72/485.53	o 897
505.72/486.51	o 896
505.92/486.77	o 895
507.02/487.82	o 894
507.23/488.03	o 893
508.33/489.13	o 892
508.42/489.28	o 891
509.62/490.43	o 890
509.62/490.46	o 889
510.92/491.74	o 888
511.12/491.98	o 887
511.23/492.05	o 886
512.24/493.05	o 885
512.43/493.25	o 884
513.53/494.36	o 883
514.83/495.65	o 882
514.93/495.76	o 881
516.13/496.97	o 880
517.43/498.26	o 879
518.73/499.58	o 878
520.03/500.88	o 877
520.24/501.02	o 876
521.44/502.21	o 875
522.74/503.50	o 874
524.04/504.81	o 873
524.25/505.09	o 871
525.36/506.13	o 870
526.65/507.43	o 868
527.95/508.74	o 867
527.95/508.78	o 866
529.26/510.05	o 865
530.55/511.34	o 863
531.85/512.67	o 862
533.15/513.95	o 861
533.36/514.18	o 860
533.55/514.30	o 859
534.45/515.27	o 858
535.75/516.57	o 857
536.24/516.91	o 856
537.24/517.90	o 855
538.45/519.19	o 854
539.84/520.50	o 853
539.94/520.68	o 852
541.14/521.82	o 851
541.24/521.96	o 850
542.45/523.12	o 849
542.54/523.20	o 848
543.74/524.43	o 847
545.04/525.73	o 846
545.04/525.79	o 845
546.35/527.05	o 844
547.64/528.35	o 843
548.94/529.66	o 842
549.24/529.90	o 841
550.24/530.99	o 840
551.54/532.29	o 839
552.85/533.59	o 838
553.15/533.89	o 837
554.25/534.90	o 836
555.46/536.19	o 835
556.85/537.50	o 834
556.95/537.62	o 833
557.05/537.70	o 832
558.15/538.82	o 831
559.46/540.12	o 830
560.76/541.44	o 829
562.05/542.74	o 828
563.36/544.05	o 826
564.66/545.37	o 825
564.96/545.60	o 824
565.96/546.68	o 822
566.26/546.96	o 821
567.26/547.98	o 818
568.56/549.29	o 817
569.85/550.59	o 816
571.16/551.90	o 815
571.26/551.99	o 814
572.56/553.21	o 813
572.86/553.53	o 812
573.86/554.53	o 811
573.96/554.64	o 810
575.26/555.87	o 809
575.47/556.05	o 807
576.57/557.14	o 805
577.86/558.46	o 804
579.16/559.75	o 803
579.36/559.90	o 802
580.47/561.08	o 801
581.76/562.37	o 800
581.86/562.47	o 799
583.07/563.69	o 798
583.37/563.93	o 797
584.37/565.00	o 796
585.77/566.30	o 795
586.07/566.60	o 794
587.07/567.64	o 793
588.37/568.92	o 790
589.67/570.26	o 789
589.87/570.41	o 788
590.97/571.56	o 787
591.27/571.88	o 786
592.27/572.87	o 785
592.58/573.18	o 784
593.58/574.18	o 783
594.87/575.48	o 782
596.17/576.78	o 781
596.60/577.13	o 780
597.50/578.10	o 779
598.79/579.39	o 778
598.89/579.44	o 777
599.09/579.65	o 776
600.19/580.71	o 775
601.50/582.01	o 774
601.60/582.13	o 773
602.79/583.33	o 772
602.99/583.51	o 771
604.09/584.63	o 768
605.39/585.94	o 767
605.50/586.06	o 766
606.69/587.25	o 765
606.69/587.28	o 764
607.99/588.56	o 763
608.29/588.87	o 762
609.29/589.87	o 761
610.60/591.16	o 760
610.60/591.17	o 759
610.90/591.40	o 758
611.90/592.49	o 757
613.19/593.78	o 756
613.60/594.11	o 755
614.69/595.15	o 754
615.99/596.42	o 753
617.29/597.73	o 752
618.60/599.04	o 751
618.60/599.04	o 750
619.89/600.38	o 749
621.19/601.67	o 748
621.29/601.79	o 746
622.49/603.00	o 745
623.89/604.30	o 744
625.19/605.61	o 743
625.39/605.87	o 742
626.50/606.93	o 741
626.50/606.96	o 740
627.80/608.24	o 739
629.10/609.53	o 738
630.40/610.84	o 737
630.61/611.09	o 736
631.71/612.16	o 735
632.00/612.43	o 734
633.00/613.47	o 733
633.30/613.76	o 732
634.30/614.77	o 731
634.40/614.84	o 730
635.61/616.08	o 729
635.80/616.25	o 728
636.90/617.38	o 726
638.20/618.69	o 725
639.50/619.98	o 724
639.61/620.04	o 723
640.90/621.30	o 722
641.10/621.55	o 721
642.21/622.61	o 720
642.41/622.83	o 719
643.50/623.92	o 718
644.80/625.22	o 717
646.11/626.52	o 716
646.21/626.66	o 715
647.40/627.86	o 714
648.72/629.17	o 713
650.01/630.47	o 712
650.21/630.68	o 711
651.32/631.79	o 710
651.62/632.06	o 709
652.63/633.11	o 708
654.10/634.43	o 707
655.40/635.70	o 706
655.40/635.75	o 705
656.71/637.03	o 704
658.00/638.32	o 703
658.20/638.58	o 702
659.30/639.64	o 701
660.61/640.93	o 700
660.82/641.15	o 699
661.91/642.26	o 698
663.21/643.55	o 697
664.51/644.86	o 696
665.82/646.17	o 695
666.01/646.35	o 694
667.11/647.49	o 693
668.42/648.79	o 692
668.62/648.95	o 691
669.83/650.11	o 690
670.12/650.41	o 688
671.12/651.41	o 687
672.42/652.71	o 686
673.73/654.02	o 685
673.92/654.25	o 684
675.02/655.34	o 683
676.32/656.63	o 682
677.62/657.94	o 681
677.92/658.27	o 680
678.92/659.26	o 679
680.22/660.55	o 678
680.52/660.89	o 677
681.52/661.87	o 675
681.62/661.96	o 674
682.83/663.18	o 673
684.12/664.48	o 672
685.43/665.78	o 671
685.73/666.10	o 670
686.84/667.12	o 669
688.13/668.41	o 668
689.43/669.71	o 667
689.53/669.85	o 666
690.74/671.04	o 665
692.12/672.33	o 664
692.32/672.60	o 663
693.42/673.65	o 662
693.72/673.90	o 661
694.72/674.96	o 659
696.02/676.26	o 657
696.32/676.50	o 655
697.32/677.58	o 654
698.62/678.87	o 652
700.02/680.20	o 651
701.22/681.49	o 650
701.42/681.64	o 649
702.62/682.82	o 648
703.93/684.11	o 647
704.12/684.37	o 646
705.22/685.43	o 645
706.52/686.72	o 644
706.62/686.80	o 643
707.83/688.04	o 642
708.03/688.20	o 641
709.13/689.35	o 640
709.33/689.57	o 639
710.43/690.66	o 638
711.74/691.96	o 637
712.04/692.26	o 636
713.04/693.27	o 635
713.34/693.55	o 634
713.34/693.57	o 632
714.34/694.57	o 631
714.54/694.71	o 630
715.74/695.91	o 629
717.04/697.20	o 628
718.34/698.52	o 627
719.64/699.82	o 626
719.95/700.15	o 625
720.95/701.15	o 624
722.24/702.44	o 623
722.34/702.59	o 621
723.54/703.76	o 620
723.64/703.84	o 619
724.85/705.07	o 618
725.04/705.24	o 617
726.14/706.38	o 616
727.44/707.67	o 615
728.74/708.98	o 614
730.13/710.29	o 613
730.43/710.52	o 612
731.53/711.61	o 611
732.83/712.91	o 610
732.94/713.09	o 609
733.13/713.21	o 608
734.13/714.22	o 607
734.23/714.39	o 606
734.33/714.47	o 605
735.43/715.53	o 604
735.63/715.75	o 603
736.73/716.84	o 602
738.04/718.13	o 601
738.33/718.45	o 600
739.33/719.46	o 599
740.64/720.75	o 598
740.84/720.92	o 597
741.95/722.07	o 596
742.14/722.29	o 595
743.24/723.37	o 594
743.54/723.61	o 593
744.54/724.68	o 592
744.84/724.93	o 591
745.84/725.99	o 590
747.14/727.28	o 589
747.34/727.48	o 588
748.54/728.60	o 587
749.85/729.91	o 586
751.15/731.21	o 585
751.25/731.32	o 584
752.44/732.55	o 583
753.74/733.83	o 582
755.06/735.14	o 581
756.35/736.44	o 580
756.66/736.70	o 579
757.66/737.76	o 578
757.76/737.81	o 577
758.96/739.07	o 576
760.25/740.37	o 575
761.55/741.68	o 573
762.86/743.00	o 572
764.16/744.30	o 571
764.46/744.57	o 570
765.56/745.62	o 569
766.95/746.95	o 568
768.25/748.22	o 567
769.55/749.53	o 566
769.75/749.72	o 565
770.85/750.85	o 564
770.95/750.99	o 563
772.16/752.16	o 562
773.45/753.46	o 561
773.75/753.77	o 560
774.75/754.79	o 559
774.85/754.87	o 558
776.06/756.09	o 557
777.35/757.38	o 556
777.75/757.70	o 555
778.75/758.70	o 553
780.06/760.02	o 552
781.35/761.31	o 551
781.55/761.56	o 550
782.65/762.62	o 549
782.75/762.72	o 548
783.95/763.93	o 547
785.26/765.23	o 546
785.46/765.43	o 545
786.57/766.55	o 544
787.87/767.84	o 543
788.07/768.02	o 542
789.18/769.16	o 541
790.47/770.46	o 540
791.77/771.76	o 539
793.08/773.08	o 538
794.37/774.38	o 537
795.67/775.69	o 536
796.97/777.00	o 535
797.37/777.32	o 534
798.37/778.33	o 533
799.67/779.62	o 531
800.97/780.95	o 530
802.38/782.24	o 529
803.69/783.54	o 528
803.79/783.60	o 527
803.79/783.68	o 526
804.99/784.86	o 525
805.09/784.99	o 524
806.30/786.17	o 523
806.39/786.24	o 522
807.59/787.48	o 521
808.89/788.77	o 520
809.20/789.08	o 519
810.30/790.12	o 518
811.59/791.41	o 517
813.20/793.05	o 516
814.49/794.36	o 515
814.79/794.63	o 514
815.79/795.68	o 513
817.19/796.98	o 512
818.49/798.29	o 511
819.79/799.59	o 510
820.09/799.80	o 509
821.19/800.91	o 508
821.19/800.95	o 507
822.49/802.22	o 506
822.59/802.37	o 505
823.80/803.53	o 504
824.00/803.78	o 503
825.10/804.83	o 502
825.31/805.09	o 501
826.41/806.14	o 500
826.60/806.30	o 499
826.60/806.37	o 498
827.70/807.45	o 497
829.00/808.74	o 496
829.00/808.75	o 495
830.31/810.07	o 494
830.60/810.31	o 493
831.60/811.37	o 492
832.91/812.67	o 491
833.21/812.92	o 490
834.21/813.98	o 489
834.42/814.18	o 488
835.61/815.31	o 487
837.00/816.63	o 486
838.30/817.90	o 485
838.51/818.13	o 484
839.60/819.22	o 483
839.70/819.37	o 482
840.90/820.52	o 481
841.20/820.82	o 480
842.20/821.83	o 479
843.51/823.13	o 478
843.70/823.30	o 476
844.80/824.45	o 475
845.10/824.74	o 474
846.10/825.76	o 472
847.41/827.08	o 471
848.71/828.36	o 470
848.91/828.55	o 469
850.01/829.68	o 468
851.31/830.98	o 467
851.61/831.28	o 466
852.71/832.30	o 465
853.91/833.59	o 464
854.11/833.77	o 463
855.31/834.91	o 462
855.42/835.08	o 461
856.61/836.22	o 460
857.91/837.51	o 459
858.01/837.70	o 458
859.21/838.83	o 457
860.52/840.13	o 456
860.81/840.42	o 455
861.81/841.45	o 454
863.11/842.75	o 453
864.42/844.05	o 452
864.42/844.07	o 451
865.73/845.37	o 450
865.83/845.47	o 449
867.03/846.68	o 448
868.43/847.97	o 447
868.54/848.02	o 446
868.73/848.25	o 445
869.73/849.29	o 444
869.93/849.49	o 443
871.14/850.60	o 442
872.34/851.89	o 441
873.77/853.20	o 440
873.77/853.29	o 439
875.07/854.53	o 438
875.37/854.81	o 437
876.37/855.86	o 436
876.47/856.00	o 435
877.68/857.16	o 434
878.97/858.46	o 433
879.27/858.73	o 432
880.27/859.79	o 431
881.58/861.07	o 430
881.87/861.30	o 429
882.87/862.39	o 428
883.17/862.68	o 427
884.27/863.71	o 426
884.47/863.97	o 425
885.58/865.02	o 424
886.87/866.32	o 423
888.17/867.62	o 422
889.47/868.94	o 421
889.77/869.22	o 420
890.77/870.25	o 418
892.07/871.56	o 417
892.37/871.85	o 416
893.47/872.90	o 415
894.68/874.19	o 414
894.97/874.49	o 413
896.07/875.51	o 412
897.48/876.81	o 411
897.69/877.10	o 410
898.79/878.12	o 409
898.98/878.31	o 408
900.08/879.43	o 407
901.39/880.72	o 406
901.49/880.85	o 405
902.70/882.05	o 404
902.89/882.26	o 403
904.00/883.36	o 402
905.30/884.65	o 401
905.60/884.93	o 400
906.60/885.97	o 399
907.90/887.26	o 398
909.20/888.57	o 397
909.50/888.80	o 396
910.50/889.89	o 395
910.81/890.12	o 394
911.81/891.19	o 393
912.10/891.45	o 392
913.20/892.52	o 391
913.40/892.76	o 390
914.50/893.83	o 389
914.71/894.04	o 388
915.81/895.14	o 387
916.00/895.35	o 386
917.10/896.44	o 385
918.40/897.74	o 384
918.50/897.82	o 383
919.71/899.06	o 382
919.90/899.27	o 381
921.00/900.37	o 380
922.30/901.66	o 379
922.50/901.88	o 378
923.60/902.98	o 377
923.81/903.16	o 376
925.09/904.32	o 375
926.30/905.59	o 374
927.60/906.89	o 373
927.81/907.06	o 372
929.00/908.22	o 371
929.20/908.44	o 370
930.30/909.52	o 369
930.54/909.78	o 368
931.74/910.92	o 367
933.04/912.21	o 366
933.04/912.23	o 365
934.34/913.53	o 364
935.64/914.83	o 363
936.95/916.14	o 362
938.24/917.45	o 361
939.54/918.75	o 360
940.85/920.06	o 359
942.15/921.36	o 358
942.15/921.38	o 357
943.45/922.68	o 356
944.75/923.98	o 355
946.05/925.29	o 354
947.45/926.60	o 353
948.75/927.91	o 352
950.05/929.22	o 351
951.35/930.52	o 350
952.65/931.83	o 349
952.75/932.00	o 348
954.05/933.18	o 347
955.34/934.45	o 346
956.65/935.76	o 345
956.85/935.95	o 344
957.95/937.07	o 343
959.25/938.38	o 342
960.55/939.68	o 341
960.75/939.84	o 340
961.85/940.99	o 339
962.06/941.16	o 338
963.25/942.30	o 337
964.55/943.60	o 336
964.65/943.76	o 335
965.85/944.92	o 334
967.15/946.22	o 333
968.45/947.53	o 332
969.75/948.84	o 331
971.06/950.14	o 330
972.35/951.45	o 329
973.65/952.76	o 328
974.96/954.07	o 327
976.25/955.38	o 326
977.55/956.69	o 325
977.75/956.88	o 324
978.96/958.01	o 323
980.26/959.31	o 322
981.67/960.65	o 321
982.97/961.92	o 320
984.27/963.23	o 319
985.57/964.54	o 318
986.87/965.85	o 317
988.18/967.16	o 316
989.47/968.47	o 315
990.77/969.78	o 314
992.08/971.08	o 313
993.37/972.39	o 312
993.57/972.57	o 311
994.77/973.70	o 310
995.97/975.00	o 309
997.38/976.31	o 308
998.68/977.62	o 307
998.88/977.80	o 306
999.98/978.94	o 305
1001.28/980.23	o 304
1002.59/981.54	o 303
1002.69/981.64	o 302
1003.88/982.85	o 301
1005.19/984.15	o 300
1006.49/985.46	o 299
1007.87/986.77	o 298
1009.19/988.08	o 297
1010.48/989.38	o 296
1011.78/990.69	o 295
1013.08/992.00	o 294
1013.19/992.04	o 293
1014.48/993.32	o 292
1015.78/994.62	o 291
1017.08/995.92	o 290
1018.38/997.23	o 289
1019.68/998.54	o 288
1020.98/999.86	o 287
1022.29/1001.16	o 286
1023.58/1002.47	o 285
1024.88/1003.78	o 284
1026.19/1005.08	o 283
1027.48/1006.39	o 282
1028.89/1007.70	o 281
1030.20/1009.01	o 280
1031.58/1010.35	o 279
1032.88/1011.63	o 278
1034.18/1012.94	o 277
1035.48/1014.24	o 276
1036.78/1015.55	o 275
1038.08/1016.86	o 274
1039.39/1018.17	o 273
1040.69/1019.48	o 272
1041.99/1020.78	o 271
1043.30/1022.09	o 270
1044.69/1023.40	o 269
1045.99/1024.71	o 268
1047.30/1026.02	o 267
1048.59/1027.33	o 266
1049.89/1028.63	o 265
1051.19/1029.94	o 264
1052.49/1031.26	o 263
1054.00/1032.60	o 262
1055.20/1033.87	o 261
1056.51/1035.18	o 260
1057.81/1036.49	o 259
1059.11/1037.80	o 258
1059.31/1037.95	o 257
1060.52/1039.12	o 256
1061.81/1040.41	o 255
1063.11/1041.72	o 254
1064.42/1043.03	o 253
1065.71/1044.34	o 252
1067.02/1045.65	o 251
1068.32/1046.96	o 250
1069.62/1048.26	o 249
1070.92/1049.58	o 248
1072.22/1050.88	o 247
1073.53/1052.19	o 246
1073.72/1052.38	o 245
1074.92/1053.51	o 244
1075.02/1053.62	o 243
1076.31/1054.85	o 242
1077.62/1056.12	o 241
1078.92/1057.42	o 240
1080.22/1058.73	o 239
1081.53/1060.04	o 238
1082.82/1061.35	o 237
1084.12/1062.66	o 236
1085.42/1063.96	o 235
1086.72/1065.28	o 234
1088.02/1066.59	o 233
1089.32/1067.89	o 232
1090.72/1069.20	o 231
1092.02/1070.51	o 230
1093.33/1071.82	o 229
1094.64/1073.13	o 228
1095.93/1074.44	o 227
1097.32/1075.74	o 226
1098.63/1077.05	o 225
1099.92/1078.36	o 224
1101.22/1079.67	o 223
1102.52/1080.98	o 222
1103.82/1082.29	o 221
1105.12/1083.60	o 220
1106.52/1084.90	o 219
1107.82/1086.22	o 218
1109.12/1087.52	o 217
1110.42/1088.83	o 216
1111.74/1090.14	o 215
1113.03/1091.45	o 214
1113.23/1091.63	o 213
1114.33/1092.77	o 212
1115.64/1094.07	o 211
1117.01/1095.37	o 210
1118.31/1096.68	o 209
1119.61/1097.99	o 208
1121.01/1099.30	o 207
1122.31/1100.61	o 206
1123.61/1101.92	o 205
1124.91/1103.22	o 204
1126.22/1104.53	o 203
1127.52/1105.84	o 202
1128.83/1107.15	o 201
1130.12/1108.46	o 200
1131.42/1109.77	o 199
1132.73/1111.07	o 198
1134.21/1112.42	o 197
1135.41/1113.69	o 196
1136.71/1115.00	o 195
1138.11/1116.31	o 194
1139.41/1117.62	o 193
1140.71/1118.93	o 192
1140.82/1119.06	o 191
1142.02/1120.25	o 190
1143.32/1121.55	o 189
1145.32/1123.60	o 188
1146.72/1124.90	o 187
1148.02/1126.21	o 186
1149.32/1127.52	o 185
1150.62/1128.83	o 184
1151.94/1130.13	o 183
1152.03/1130.29	o 182
1153.33/1131.49	o 181
1154.63/1132.76	o 180
1155.94/1134.06	o 179
1157.23/1135.37	o 178
1158.53/1136.68	o 177
1159.83/1137.99	o 176
1161.13/1139.30	o 175
1162.53/1140.61	o 174
1163.83/1141.91	o 173
1165.14/1143.22	o 172
1166.44/1144.53	o 171
1167.74/1145.84	o 170
1169.05/1147.15	o 169
1170.42/1148.46	o 168
1171.73/1149.77	o 167
1173.03/1151.08	o 166
1174.33/1152.38	o 165
1175.63/1153.69	o 164
1176.93/1155.01	o 163
1178.33/1156.31	o 162
1179.63/1157.62	o 161
1180.93/1158.92	o 160
1182.23/1160.23	o 159
1183.53/1161.55	o 158
1184.83/1162.86	o 157
1186.22/1164.16	o 156
1187.51/1165.47	o 155
1188.82/1166.78	o 154
1190.13/1168.09	o 153
1191.52/1169.40	o 152
1192.82/1170.71	o 151
1194.13/1172.02	o 150
1195.42/1173.33	o 149
1196.72/1174.63	o 148
1198.03/1175.94	o 147
1199.33/1177.25	o 146
1199.53/1177.42	o 145
1200.82/1178.60	o 144
1202.02/1179.87	o 143
1203.33/1181.18	o 142
1204.62/1182.49	o 141
1205.92/1183.79	o 140
1207.23/1185.10	o 139
1208.62/1186.41	o 138
1209.95/1187.72	o 137
1210.05/1187.89	o 136
1211.26/1189.04	o 135
1212.55/1190.34	o 134
1213.85/1191.65	o 133
1215.25/1192.99	o 132
1216.56/1194.28	o 131
1217.85/1195.59	o 130
1219.25/1196.90	o 129
1220.55/1198.20	o 128
1221.85/1199.52	o 127
1223.15/1200.81	o 126
1224.46/1202.12	o 125
1225.75/1203.43	o 124
1227.05/1204.74	o 123
1228.36/1206.05	o 122
1229.66/1207.36	o 121
1230.95/1208.67	o 120
1232.26/1209.98	o 119
1233.56/1211.29	o 118
1235.76/1213.40	o 117
1237.06/1214.71	o 116
1238.38/1216.02	o 115
1239.67/1217.33	o 114
1241.06/1218.63	o 113
1242.36/1219.95	o 112
1243.66/1221.26	o 111
1244.97/1222.57	o 110
1246.26/1223.88	o 109
1247.57/1225.19	o 108
1248.86/1226.49	o 107
1250.27/1227.80	o 106
1251.57/1229.11	o 105
1252.86/1230.42	o 104
1254.17/1231.74	o 103
1256.26/1233.85	o 102
1257.57/1235.17	o 101
1258.86/1236.47	o 100
1260.16/1237.79	o 99
1261.47/1239.10	o 98
1262.87/1240.40	o 97
1264.17/1241.72	o 96
1265.48/1243.03	o 95
1266.77/1244.34	o 94
1268.07/1245.65	o 93
1269.38/1246.96	o 92
1270.68/1248.26	o 91
1272.17/1249.61	o 90
1273.37/1250.89	o 89
1274.68/1252.19	o 88
1276.07/1253.50	o 87
1277.37/1254.81	o 86
1278.68/1256.12	o 85
1279.97/1257.43	o 84
1281.27/1258.74	o 83
1282.58/1260.06	o 82
1283.87/1261.36	o 81
1285.17/1262.67	o 80
1286.47/1263.99	o 79
1287.87/1265.30	o 78
1289.18/1266.61	o 77
1290.48/1267.92	o 76
1291.78/1269.22	o 75
1293.08/1270.53	o 74
1294.38/1271.85	o 73
1295.69/1273.15	o 72
1296.98/1274.47	o 71
1298.28/1275.78	o 70
1299.59/1277.09	o 69
1301.09/1278.40	o 68
1302.39/1279.71	o 67
1303.70/1281.03	o 66
1304.99/1282.34	o 65
1306.29/1283.66	o 64
1307.59/1284.95	o 63
1308.89/1286.26	o 62
1310.33/1287.57	o 61
1311.77/1288.88	o 60
1313.31/1290.20	o 59
1314.74/1291.51	o 58
1316.04/1292.82	o 57
1317.35/1294.13	o 56
1318.64/1295.44	o 55
1319.94/1296.76	o 54
1321.26/1298.06	o 53
1322.55/1299.37	o 52
1323.99/1300.73	o 51
1325.30/1302.05	o 50
1326.59/1303.36	o 49
1327.94/1304.69	o 48
1329.33/1305.98	o 47
1330.73/1307.30	o 46
1332.03/1308.62	o 45
1333.33/1309.93	o 44
1334.63/1311.28	o 43
1337.75/1314.22	o 42
1339.15/1315.61	o 41
2520.09/2486.80	s SATISFIABLE
2520.09/2486.81	v <instantiation>
2520.09/2486.81	v 	<list>
2520.09/2486.81	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]
2520.09/2486.81	v 	</list>
2520.09/2486.81	v 	<values>
2520.09/2486.81	v 		8 11 19 40 13 31 36 22 4 10 32 25 7 35 21 33 5 27 3 6 16 41 18 20 12 0 23 26 15 34 9 38 14 2 28 17 24 1 30 37 34 18 10 19 16 20 25 29 37 1 31 30 27 22 5 32 28 17 36 8 40 3 26 14 21 7 41 38 12 35 13 15 39 33 6 4 11 0 23 9 20 14 9 7 2 16 21 19 27 24 5 33 37 23 25 0 18 32 6 34 8 28 41 3 4 17 11 12 1 40 15 39 22 38 26 30 10 35 29 36 19 1 3 18 39 12 0 28 17 5 36 34 40 37 22 14 23 30 35 26 21 24 15 4 29 2 27 33 11 25 10 9 13 16 8 32 38 41 6 20 37 16 21 28 35 22 19 17 11 8 4 10 29 18 38 2 0 15 24 14 20 26 13 30 23 1 36 9 25 7 34 6 33 32 3 39 41 40 5 31 25 19 13 15 29 36 1 27 30 22 8 2 11 33 37 35 21 28 38 5 17 18 14 31 3 26 6 10 20 32 0 34 40 39 9 23 16 7 12 41 0 10 5 4 12 37 18 13 34 23 17 41 20 6 40 29 30 14 9 7 2 21 38 1 33 32 26 36 22 31 39 27 35 15 24 3 25 8 16 19 35 17 28 0 8 21 5 36 24 13 30 27 14 31 4 10 7 29 12 2 32 39 23 19 25 6 33 3 41 18 16 40 37 11 38 20 9 26 1 34 26 4 24 39 40 19 17 12 33 21 25 3 5 36 30 31 1 8 41 27 18 15 22 35 34 14 2 16 0 10 6 7 11 37 29 9 32 23 38 28 23 3 12 26 41 14 38 1 22 39 28 21 10 7 2 36 27 19 32 16 25 37 20 0 31 35 9 24 18 30 11 5 6 40 33 34 8 4 13 15 30 6 35 16 11 23 37 4 15 17 2 8 19 21 27 34 20 22 28 10 1 5 40 26 7 25 39 31 32 0 33 13 41 9 36 29 3 24 14 12 15 2 39 33 24 4 40 7 1 29 16 22 23 20 3 25 32 31 0 11 9 34 12 38 26 13 28 5 27 8 36 37 10 21 41 6 30 17 18 14 39 5 33 36 3 41 10 31 6 15 12 14 2 11 18 19 29 4 20 1 38 35 25 32 40 37 0 8 7 16 17 22 21 23 34 27 13 28 9 30 9 12 27 32 38 39 7 41 36 14 29 23 24 5 16 15 10 1 34 31 13 6 28 22 11 40 8 17 30 2 19 21 25 4 37 35 0 33 3 26 16 36 25 23 5 11 20 34 2 7 35 38 9 19 17 37 4 24 18 33 29 10 6 41 1 12 31 27 39 3 21 26 28 0 14 22 15 13 40 32 3 26 38 17 30 33 11 21 20 41 10 29 4 0 19 5 13 35 8 32 15 23 1 12 28 31 14 40 6 9 27 36 16 18 7 24 22 39 2 25 10 28 41 34 0 17 32 2 39 25 27 18 6 1 31 3 35 38 26 30 11 40 4 13 14 29 21 22 37 15 23 24 36 7 20 16 12 9 8 33 33 30 16 22 27 13 14 11 28 9 7 12 38 2 24 8 40 18 1 19 10 29 31 6 17 15 32 41 34 21 3 20 4 26 25 0 37 5 35 23 6 24 7 25 10 2 31 16 35 0 34 5 17 39 15 13 37 21 30 9 26 22 29 11 32 33 20 19 8 1 40 41 38 3 12 36 18 14 28 27 5 35 18 1 34 25 12 8 29 6 0 4 41 3 39 20 26 33 23 36 31 30 19 40 27 10 13 2 21 24 32 11 7 28 17 15 14 22 37 16 22 40 8 20 31 3 23 15 32 38 1 9 34 30 14 4 24 39 2 17 27 7 37 33 13 21 16 25 28 36 41 12 18 5 35 10 19 6 0 11 18 9 30 5 37 40 33 38 10 2 26 17 1 8 0 23 6 12 14 29 36 11 7 28 24 41 35 20 4 39 22 32 3 13 16 19 34 27 25 21 40 23 17 35 19 15 41 32 8 30 22 16 39 24 34 9 31 13 4 21 0 27 2 36 37 28 18 11 38 20 26 3 29 14 1 12 7 10 33 6 11 13 0 6 26 10 9 18 40 36 33 35 15 12 1 41 25 23 19 24 22 14 16 2 39 38 4 28 29 37 8 17 34 31 32 7 5 30 20 3 21 31 32 30 15 28 35 20 41 3 6 26 25 34 29 16 22 2 11 23 33 0 10 37 9 8 40 13 14 4 12 19 27 36 5 1 39 38 17 18 36 27 1 2 14 34 29 40 19 20 39 31 28 38 13 7 9 6 10 3 12 8 0 23 16 18 22 37 33 5 35 4 32 24 11 25 26 15 41 17 13 37 31 38 6 8 27 24 3 26 23 39 18 28 12 11 2 34 21 20 41 32 17 9 19 36 1 4 40 14 29 16 15 22 30 5 33 25 10 0 32 29 2 41 21 5 26 39 9 4 11 0 36 14 6 27 33 25 22 18 23 38 8 7 30 3 24 34 35 13 28 31 12 19 40 37 17 16 15 1 31 41 36 13 25 32 8 23 26 35 40 19 33 9 28 24 11 16 27 4 37 1 5 21 10 39 29 15 3 38 30 18 20 17 0 14 2 34 7 22 2 7 11 3 28 29 15 25 5 18 41 1 13 4 10 17 12 40 37 22 6 16 9 34 35 27 30 32 36 26 14 8 0 20 21 31 23 19 24 38 38 21 15 11 18 35 39 10 25 27 13 40 12 17 7 6 36 9 31 0 24 4 3 8 41 16 34 14 2 33 37 28 30 29 19 26 1 20 32 5 7 38 6 12 17 30 16 14 0 33 24 13 32 27 20 26 8 11 40 39 5 19 34 25 22 23 37 29 9 28 18 35 2 1 10 41 21 31 36 4 29 22 40 14 23 27 4 3 16 31 37 11 8 13 32 38 34 0 15 28 35 20 30 5 6 19 7 39 17 12 25 33 1 41 2 18 36 21 26 24 1 0 34 10 22 7 13 9 38 40 15 32 3 26 41 30 16 20 25 37 14 12 39 17 2 11 5 21 23 6 31 29 24 8 27 33 28 18 4 35 27 32 4 8 9 26 3 0 21 11 18 28 35 29 33 22 38 37 7 25 39 36 24 16 15 20 17 1 10 41 5 30 23 34 31 40 6 12 19 2 28 20 14 29 1 38 22 33 7 32 9 37 26 41 23 12 39 10 16 40 4 17 36 15 5 30 25 6 13 19 24 2 31 35 18 21 27 11 34 8 14 33 26 24 4 1 28 5 13 34 20 6 21 25 35 40 41 3 17 15 30 2 32 39 0 9 19 18 16 23 38 10 8 12 22 11 29 37 27 7 24 15 29 21 20 6 2 35 12 37 19 7 16 32 11 18 14 26 33 41 34 9 27 10 36 5 38 30 31 22 1 0 17 25 13 28 4 3 39 40 12 34 23 9 32 18 30 37 31 28 14 36 0 16 26 1 3 41 29 13 7 33 21 27 8 22 15 35 24 17 20 25 5 6 4 38 40 2 11 39 41 8 37 31 33 24 34 6 14 16 3 20 22 40 9 28 17 36 39 38 19 25 11 29 18 4 12 7 5 27 2 23 26 30 15 13 35 32 21 10 
2520.09/2486.81	v 	</values>
2520.09/2486.81	v </instantiation>

Verifier Data 

OK	41

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307810-1534275699/watcher-4307810-1534275699 -o /tmp/evaluation-result-4307810-1534275699/solver-4307810-1534275699 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534258226-15074 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1539332121 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307810-1534275699.xml 

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

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

solver pid=16970, runsolver pid=16967

[startup+0.100059 s]*
/proc/loadavg: 1.15 1.32 1.39 4/215 16985
/proc/meminfo: memFree=27300684/32770624 swapFree=67030672/67108860
[pid=16970] ppid=16967 vsize=14082736 memory=29948 CPUtime=0.12 cores=0,2,4,6
/proc/16970/stat : 16970 (java) S 16967 16970 15043 0 -1 1077944320 6933 0 0 0 11 1 0 0 20 0 15 0 245133075 14420721664 7487 33554432000 4194304 4196468 140733788836720 140733788819264 140303323688695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
/proc/16970/statm: 3520684 7487 3152 1 0 3482761 0
[pid=16970/tid=16972] ppid=16967 vsize=14082736 memory=-8125511277465211258 CPUtime=0.09 cores=0,2,4,6
/proc/16970/task/16972/stat : 16972 (java) R 16967 16970 15043 0 -1 4202560 4942 0 0 0 9 0 0 0 20 0 15 0 245133076 14420721664 7487 33554432000 4194304 4196468 140733788836720 140303327927584 140303309910015 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16973] ppid=16967 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16973/stat : 16973 (java) S 16967 16970 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245133076 14420721664 7487 33554432000 4194304 4196468 140733788836720 140303295531920 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16974] ppid=16967 vsize=14082736 memory=139629396452992 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16974/stat : 16974 (java) S 16967 16970 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245133076 14420721664 7487 33554432000 4194304 4196468 140733788836720 140302918458128 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16975] ppid=16967 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16975/stat : 16975 (java) S 16967 16970 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245133076 14420721664 7487 33554432000 4194304 4196468 140733788836720 140302917405840 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16976] ppid=16967 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16976/stat : 16976 (java) S 16967 16970 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245133076 14420721664 7487 33554432000 4194304 4196468 140733788836720 140302916353040 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16977] ppid=16967 vsize=14082736 memory=139629396452992 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16977/stat : 16977 (java) S 16967 16970 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245133078 14420721664 7487 33554432000 4194304 4196468 140733788836720 140302303455344 140303323699842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16978] ppid=16967 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16978/stat : 16978 (java) S 16967 16970 15043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245133078 14420721664 7487 33554432000 4194304 4196468 140733788836720 140302302401312 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16979] ppid=16967 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16979/stat : 16979 (java) S 16967 16970 15043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245133078 14420721664 7487 33554432000 4194304 4196468 140733788836720 140302301348976 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16980] ppid=16967 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16980/stat : 16980 (java) S 16967 16970 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245133081 14420721664 7487 33554432000 4194304 4196468 140733788836720 140302300297296 140303323707291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16981] ppid=16967 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16981/stat : 16981 (java) S 16967 16970 15043 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 245133081 14420721664 7487 33554432000 4194304 4196468 140733788836720 140302299245168 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16982] ppid=16967 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16982/stat : 16982 (java) S 16967 16970 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245133081 14420721664 7487 33554432000 4194304 4196468 140733788836720 140302298192368 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16983] ppid=16967 vsize=14082736 memory=139629396452992 CPUtime=0.01 cores=0,2,4,6
/proc/16970/task/16983/stat : 16983 (java) R 16967 16970 15043 0 -1 4202560 301 0 0 0 1 0 0 0 20 0 15 0 245133081 14420721664 7487 33554432000 4194304 4196468 140733788836720 140302297140080 140303323710042 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16984] ppid=16967 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16984/stat : 16984 (java) S 16967 16970 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245133081 14420721664 7487 33554432000 4194304 4196468 140733788836720 140302296087520 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16985] ppid=16967 vsize=14082736 memory=139629396452992 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16985/stat : 16985 (java) S 16967 16970 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245133081 14420721664 7487 33554432000 4194304 4196468 140733788836720 140302295034288 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 29948 KiB

[startup+0.210448 s]*
/proc/loadavg: 1.15 1.32 1.39 4/215 16985
/proc/meminfo: memFree=27285048/32770624 swapFree=67030672/67108860
[pid=16970] ppid=16967 vsize=14082736 memory=46272 CPUtime=0.3 cores=0,2,4,6
/proc/16970/stat : 16970 (java) S 16967 16970 15043 0 -1 1077944320 10617 0 0 0 28 2 0 0 20 0 15 0 245133075 14420721664 11568 33554432000 4194304 4196468 140733788836720 140733788819264 140303323688695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
/proc/16970/statm: 3520684 11568 3371 1 0 3482761 0
[pid=16970/tid=16972] ppid=16967 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/16970/task/16972/stat : 16972 (java) R 16967 16970 15043 0 -1 4202560 8282 0 0 0 18 1 0 0 20 0 15 0 245133076 14420721664 11568 33554432000 4194304 4196468 140733788836720 140303327914904 140303307732325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16973] ppid=16967 vsize=14082736 memory=343 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16973/stat : 16973 (java) S 16967 16970 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245133076 14420721664 11568 33554432000 4194304 4196468 140733788836720 140303295531920 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16974] ppid=16967 vsize=14082736 memory=3762109000977966752 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16974/stat : 16974 (java) S 16967 16970 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245133076 14420721664 11568 33554432000 4194304 4196468 140733788836720 140302918458128 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16975] ppid=16967 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16975/stat : 16975 (java) S 16967 16970 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245133076 14420721664 11568 33554432000 4194304 4196468 140733788836720 140302917405840 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16976] ppid=16967 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16976/stat : 16976 (java) S 16967 16970 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245133076 14420721664 11568 33554432000 4194304 4196468 140733788836720 140302916353040 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16977] ppid=16967 vsize=14082736 memory=139629396452992 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16977/stat : 16977 (java) S 16967 16970 15043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245133078 14420721664 11568 33554432000 4194304 4196468 140733788836720 140302303455344 140303323699842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16978] ppid=16967 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16978/stat : 16978 (java) S 16967 16970 15043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245133078 14420721664 11568 33554432000 4194304 4196468 140733788836720 140302302401312 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16979] ppid=16967 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16979/stat : 16979 (java) S 16967 16970 15043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245133078 14420721664 11568 33554432000 4194304 4196468 140733788836720 140302301348976 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16980] ppid=16967 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16980/stat : 16980 (java) S 16967 16970 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245133081 14420721664 11568 33554432000 4194304 4196468 140733788836720 140302300297296 140303323707291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16981] ppid=16967 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16970/task/16981/stat : 16981 (java) R 16967 16970 15043 0 -1 4202560 430 0 0 0 2 0 0 0 20 0 15 0 245133081 14420721664 11568 33554432000 4194304 4196468 140733788836720 140302299236672 140303307111169 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16982] ppid=16967 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16970/task/16982/stat : 16982 (java) R 16967 16970 15043 0 -1 1077944384 138 0 0 0 1 0 0 0 20 0 15 0 245133081 14420721664 11568 33554432000 4194304 4196468 140733788836720 140302298192464 140303323698901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16983] ppid=16967 vsize=14082736 memory=139629396452992 CPUtime=0.05 cores=0,2,4,6
/proc/16970/task/16983/stat : 16983 (java) S 16967 16970 15043 0 -1 1077944384 398 0 0 0 5 0 0 0 20 0 15 0 245133081 14420721664 11568 33554432000 4194304 4196468 140733788836720 140302297140080 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16984] ppid=16967 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16984/stat : 16984 (java) S 16967 16970 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245133081 14420721664 11568 33554432000 4194304 4196468 140733788836720 140302296087520 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16985] ppid=16967 vsize=14082736 memory=139629396452992 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16985/stat : 16985 (java) S 16967 16970 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245133081 14420721664 11568 33554432000 4194304 4196468 140733788836720 140302295034288 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46272 KiB

[startup+0.310545 s]*
/proc/loadavg: 1.15 1.32 1.39 3/215 16985
/proc/meminfo: memFree=27281016/32770624 swapFree=67030672/67108860
[pid=16970] ppid=16967 vsize=14082736 memory=49688 CPUtime=0.44 cores=0,2,4,6
/proc/16970/stat : 16970 (java) S 16967 16970 15043 0 -1 1077944320 11085 0 0 0 42 2 0 0 20 0 15 0 245133075 14420721664 12422 33554432000 4194304 4196468 140733788836720 140733788819264 140303323688695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
/proc/16970/statm: 3520684 12422 3416 1 0 3482761 0
[pid=16970/tid=16972] ppid=16967 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/16970/task/16972/stat : 16972 (java) R 16967 16970 15043 0 -1 4202560 8616 0 0 0 28 1 0 0 20 0 15 0 245133076 14420721664 12422 33554432000 4194304 4196468 140733788836720 140303327868704 140303307769212 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16973] ppid=16967 vsize=14082736 memory=4294976238 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16973/stat : 16973 (java) S 16967 16970 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245133076 14420721664 12422 33554432000 4194304 4196468 140733788836720 140303295531920 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16974] ppid=16967 vsize=14082736 memory=3905098289146980000 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16974/stat : 16974 (java) S 16967 16970 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245133076 14420721664 12422 33554432000 4194304 4196468 140733788836720 140302918458128 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16975] ppid=16967 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16975/stat : 16975 (java) S 16967 16970 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245133076 14420721664 12422 33554432000 4194304 4196468 140733788836720 140302917405840 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16976] ppid=16967 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16976/stat : 16976 (java) S 16967 16970 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245133076 14420721664 12422 33554432000 4194304 4196468 140733788836720 140302916353040 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16977] ppid=16967 vsize=14082736 memory=139629396452992 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16977/stat : 16977 (java) S 16967 16970 15043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245133078 14420721664 12422 33554432000 4194304 4196468 140733788836720 140302303455344 140303323699842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16978] ppid=16967 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16978/stat : 16978 (java) S 16967 16970 15043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245133078 14420721664 12422 33554432000 4194304 4196468 140733788836720 140302302401312 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16979] ppid=16967 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16979/stat : 16979 (java) S 16967 16970 15043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245133078 14420721664 12422 33554432000 4194304 4196468 140733788836720 140302301348976 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16980] ppid=16967 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16980/stat : 16980 (java) S 16967 16970 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245133081 14420721664 12422 33554432000 4194304 4196468 140733788836720 140302300297296 140303323707291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16981] ppid=16967 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16970/task/16981/stat : 16981 (java) S 16967 16970 15043 0 -1 1077944384 493 0 0 0 3 0 0 0 20 0 15 0 245133081 14420721664 12422 33554432000 4194304 4196468 140733788836720 140302299245168 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16982] ppid=16967 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16970/task/16982/stat : 16982 (java) S 16967 16970 15043 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 15 0 245133081 14420721664 12422 33554432000 4194304 4196468 140733788836720 140302298192368 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16983] ppid=16967 vsize=14082736 memory=139629396452992 CPUtime=0.08 cores=0,2,4,6
/proc/16970/task/16983/stat : 16983 (java) S 16967 16970 15043 0 -1 1077944384 439 0 0 0 8 0 0 0 20 0 15 0 245133081 14420721664 12422 33554432000 4194304 4196468 140733788836720 140302297140080 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16984] ppid=16967 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16984/stat : 16984 (java) S 16967 16970 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245133081 14420721664 12422 33554432000 4194304 4196468 140733788836720 140302296087520 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16985] ppid=16967 vsize=14082736 memory=139629396452992 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16985/stat : 16985 (java) S 16967 16970 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245133081 14420721664 12422 33554432000 4194304 4196468 140733788836720 140302295034288 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 49688 KiB

[startup+0.700694 s]
/proc/loadavg: 1.15 1.32 1.39 3/215 16985
/proc/meminfo: memFree=27257576/32770624 swapFree=67030672/67108860
[pid=16970] ppid=16967 vsize=14084804 memory=89604 CPUtime=0.98 cores=0,2,4,6
/proc/16970/stat : 16970 (java) S 16967 16970 15043 0 -1 1077944320 17828 0 0 0 94 4 0 0 20 0 15 0 245133075 14422839296 22401 33554432000 4194304 4196468 140733788836720 140733788819264 140303323688695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
/proc/16970/statm: 3521201 22401 3488 1 0 3483273 0
[pid=16970/tid=16972] ppid=16967 vsize=14084804 memory=33280 CPUtime=0.67 cores=0,2,4,6
/proc/16970/task/16972/stat : 16972 (java) R 16967 16970 15043 0 -1 4202560 14906 0 0 0 64 3 0 0 20 0 15 0 245133076 14422839296 22401 33554432000 4194304 4196468 140733788836720 140303327912800 140303315939231 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16973] ppid=16967 vsize=14084804 memory=11908 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16973/stat : 16973 (java) S 16967 16970 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245133076 14422839296 22401 33554432000 4194304 4196468 140733788836720 140303295531920 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16974] ppid=16967 vsize=14084804 memory=492 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16974/stat : 16974 (java) S 16967 16970 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245133076 14422839296 22401 33554432000 4194304 4196468 140733788836720 140302918458128 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16975] ppid=16967 vsize=14084804 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16975/stat : 16975 (java) S 16967 16970 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245133076 14422839296 22401 33554432000 4194304 4196468 140733788836720 140302917405840 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16976] ppid=16967 vsize=14084804 memory=932 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16976/stat : 16976 (java) S 16967 16970 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245133076 14422839296 22401 33554432000 4194304 4196468 140733788836720 140302916353040 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16977] ppid=16967 vsize=14084804 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16977/stat : 16977 (java) S 16967 16970 15043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245133078 14422839296 22401 33554432000 4194304 4196468 140733788836720 140302303455344 140303323699842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16978] ppid=16967 vsize=14084804 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16978/stat : 16978 (java) S 16967 16970 15043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245133078 14422839296 22401 33554432000 4194304 4196468 140733788836720 140302302401312 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16979] ppid=16967 vsize=14084804 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16979/stat : 16979 (java) S 16967 16970 15043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245133078 14422839296 22401 33554432000 4194304 4196468 140733788836720 140302301348976 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16980] ppid=16967 vsize=14084804 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16980/stat : 16980 (java) S 16967 16970 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245133081 14422839296 22401 33554432000 4194304 4196468 140733788836720 140302300297296 140303323707291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16981] ppid=16967 vsize=14084804 memory=7881696724453321575 CPUtime=0.09 cores=0,2,4,6
/proc/16970/task/16981/stat : 16981 (java) S 16967 16970 15043 0 -1 1077944384 649 0 0 0 9 0 0 0 20 0 15 0 245133081 14422839296 22401 33554432000 4194304 4196468 140733788836720 140302299245168 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16982] ppid=16967 vsize=14084804 memory=7453282923461570405 CPUtime=0.05 cores=0,2,4,6
/proc/16970/task/16982/stat : 16982 (java) S 16967 16970 15043 0 -1 1077944384 326 0 0 0 5 0 0 0 20 0 15 0 245133081 14422839296 22401 33554432000 4194304 4196468 140733788836720 140302298192368 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16983] ppid=16967 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/16970/task/16983/stat : 16983 (java) S 16967 16970 15043 0 -1 1077944384 566 0 0 0 15 0 0 0 20 0 15 0 245133081 14422839296 22401 33554432000 4194304 4196468 140733788836720 140302297140080 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16984] ppid=16967 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16984/stat : 16984 (java) S 16967 16970 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245133081 14422839296 22401 33554432000 4194304 4196468 140733788836720 140302296087520 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16985] ppid=16967 vsize=14084804 memory=972 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16985/stat : 16985 (java) S 16967 16970 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245133081 14422839296 22401 33554432000 4194304 4196468 140733788836720 140302295034288 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89604 KiB

[startup+1.50135 s]
/proc/loadavg: 1.15 1.32 1.39 6/215 16985
/proc/meminfo: memFree=27190828/32770624 swapFree=67030672/67108860
[pid=16970] ppid=16967 vsize=14086852 memory=255376 CPUtime=3.35 cores=0,2,4,6
/proc/16970/stat : 16970 (java) S 16967 16970 15043 0 -1 1077944320 23915 0 0 0 323 12 0 0 20 0 15 0 245133075 14424936448 63844 33554432000 4194304 4196468 140733788836720 140733788819264 140303323688695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
/proc/16970/statm: 3521713 63844 3565 1 0 3483785 0
[pid=16970/tid=16972] ppid=16967 vsize=14086852 memory=248488 CPUtime=1.42 cores=0,2,4,6
/proc/16970/task/16972/stat : 16972 (java) R 16967 16970 15043 0 -1 4202560 15605 0 0 0 135 7 0 0 20 0 15 0 245133076 14424936448 63844 33554432000 4194304 4196468 140733788836720 140303327921872 140302963958073 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16973] ppid=16967 vsize=14086852 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/16970/task/16973/stat : 16973 (java) S 16967 16970 15043 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 15 0 245133076 14424936448 63844 33554432000 4194304 4196468 140733788836720 140303295531920 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16974] ppid=16967 vsize=14086852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16970/task/16974/stat : 16974 (java) S 16967 16970 15043 0 -1 1077944384 16 0 0 0 3 0 0 0 20 0 15 0 245133076 14424936448 63844 33554432000 4194304 4196468 140733788836720 140302918458128 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16975] ppid=16967 vsize=14086852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16970/task/16975/stat : 16975 (java) S 16967 16970 15043 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 15 0 245133076 14424936448 63844 33554432000 4194304 4196468 140733788836720 140302917405840 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16976] ppid=16967 vsize=14086852 memory=6943526294502006880 CPUtime=0.03 cores=0,2,4,6
/proc/16970/task/16976/stat : 16976 (java) S 16967 16970 15043 0 -1 1077944384 163 0 0 0 3 0 0 0 20 0 15 0 245133076 14424936448 63844 33554432000 4194304 4196468 140733788836720 140302916353040 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16977] ppid=16967 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16977/stat : 16977 (java) S 16967 16970 15043 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 15 0 245133078 14424936448 63844 33554432000 4194304 4196468 140733788836720 140302303455344 140303323699842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0

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

/proc/16970/task/16972/stat : 16972 (java) R 16967 16970 15043 0 -1 4202560 519159 0 0 0 231417 87 0 0 20 0 15 0 245133076 14429130752 612845 33554432000 4194304 4196468 140733788836720 140303327926160 140302965573072 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16973] ppid=16967 vsize=14090948 memory=1396 CPUtime=6.81 cores=0,2,4,6
/proc/16970/task/16973/stat : 16973 (java) S 16967 16970 15043 0 -1 1077944384 61805 0 0 0 583 98 0 0 20 0 15 0 245133076 14429130752 612845 33554432000 4194304 4196468 140733788836720 140303295531920 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16974] ppid=16967 vsize=14090948 memory=2467796 CPUtime=6.79 cores=0,2,4,6
/proc/16970/task/16974/stat : 16974 (java) S 16967 16970 15043 0 -1 1077944384 56542 0 0 0 588 91 0 0 20 0 15 0 245133076 14429130752 612845 33554432000 4194304 4196468 140733788836720 140302918458128 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16975] ppid=16967 vsize=14090948 memory=2451892 CPUtime=6.78 cores=0,2,4,6
/proc/16970/task/16975/stat : 16975 (java) S 16967 16970 15043 0 -1 1077944384 52099 0 0 0 585 93 0 0 20 0 15 0 245133076 14429130752 612845 33554432000 4194304 4196468 140733788836720 140302917405840 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16976] ppid=16967 vsize=14090948 memory=2451380 CPUtime=6.79 cores=0,2,4,6
/proc/16970/task/16976/stat : 16976 (java) S 16967 16970 15043 0 -1 1077944384 60143 0 0 0 587 92 0 0 20 0 15 0 245133076 14429130752 612845 33554432000 4194304 4196468 140733788836720 140302916353040 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16977] ppid=16967 vsize=14090948 memory=1192 CPUtime=0.35 cores=0,2,4,6
/proc/16970/task/16977/stat : 16977 (java) S 16967 16970 15043 0 -1 1077944384 14007 0 0 0 28 7 0 0 20 0 15 0 245133078 14429130752 612845 33554432000 4194304 4196468 140733788836720 140302303455344 140303323699842 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16978] ppid=16967 vsize=14090948 memory=2451380 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16978/stat : 16978 (java) S 16967 16970 15043 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 245133078 14429130752 612845 33554432000 4194304 4196468 140733788836720 140302302401376 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16979] ppid=16967 vsize=14090948 memory=2451892 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16979/stat : 16979 (java) S 16967 16970 15043 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 245133078 14429130752 612845 33554432000 4194304 4196468 140733788836720 140302301348992 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16980] ppid=16967 vsize=14090948 memory=2451380 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16980/stat : 16980 (java) S 16967 16970 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245133081 14429130752 612845 33554432000 4194304 4196468 140733788836720 140302300297296 140303323707291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16981] ppid=16967 vsize=14090948 memory=2485752 CPUtime=4.29 cores=0,2,4,6
/proc/16970/task/16981/stat : 16981 (java) S 16967 16970 15043 0 -1 1077944384 24729 0 0 0 426 3 0 0 20 0 15 0 245133081 14429130752 612845 33554432000 4194304 4196468 140733788836720 140302299245168 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16982] ppid=16967 vsize=14090948 memory=2451380 CPUtime=4.33 cores=0,2,4,6
/proc/16970/task/16982/stat : 16982 (java) S 16967 16970 15043 0 -1 1077944384 19656 0 0 0 430 3 0 0 20 0 15 0 245133081 14429130752 612845 33554432000 4194304 4196468 140733788836720 140302298192368 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16983] ppid=16967 vsize=14090948 memory=2467796 CPUtime=1.06 cores=0,2,4,6
/proc/16970/task/16983/stat : 16983 (java) S 16967 16970 15043 0 -1 1077944384 19964 0 0 0 104 2 0 0 20 0 15 0 245133081 14429130752 612845 33554432000 4194304 4196468 140733788836720 140302297140080 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16984] ppid=16967 vsize=14090948 memory=2467796 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16984/stat : 16984 (java) S 16967 16970 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245133081 14429130752 612845 33554432000 4194304 4196468 140733788836720 140302296087520 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16985] ppid=16967 vsize=14090948 memory=2451380 CPUtime=1.44 cores=0,2,4,6
/proc/16970/task/16985/stat : 16985 (java) S 16967 16970 15043 0 -1 1077944384 1356 0 0 0 76 68 0 0 20 0 15 0 245133081 14429130752 612845 33554432000 4194304 4196468 140733788836720 140302295034288 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
Current children cumulated CPU time: 2353.77 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2451380 KiB

[startup+2382.3 s]
/proc/loadavg: 1.77 1.81 1.87 3/215 17230
/proc/meminfo: memFree=17501800/32770624 swapFree=67030676/67108860
[pid=16970] ppid=16967 vsize=14090948 memory=2375968 CPUtime=2414.16 cores=0,2,4,6
/proc/16970/stat : 16970 (java) S 16967 16970 15043 0 -1 1077944320 834382 0 0 0 240884 532 0 0 20 0 15 0 245133075 14429130752 593992 33554432000 4194304 4196468 140733788836720 140733788819264 140303323688695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
/proc/16970/statm: 3522737 593992 3616 1 0 3484809 0
[pid=16970/tid=16972] ppid=16967 vsize=14090948 memory=2381100 CPUtime=2374.91 cores=0,2,4,6
/proc/16970/task/16972/stat : 16972 (java) R 16967 16970 15043 0 -1 4202560 520389 0 0 0 237404 87 0 0 20 0 15 0 245133076 14429130752 593992 33554432000 4194304 4196468 140733788836720 140303327926272 140302965573192 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16973] ppid=16967 vsize=14090948 memory=2381100 CPUtime=6.92 cores=0,2,4,6
/proc/16970/task/16973/stat : 16973 (java) S 16967 16970 15043 0 -1 1077944384 62179 0 0 0 594 98 0 0 20 0 15 0 245133076 14429130752 593992 33554432000 4194304 4196468 140733788836720 140303295531920 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16974] ppid=16967 vsize=14090948 memory=2375968 CPUtime=6.91 cores=0,2,4,6
/proc/16970/task/16974/stat : 16974 (java) S 16967 16970 15043 0 -1 1077944384 57217 0 0 0 600 91 0 0 20 0 15 0 245133076 14429130752 593992 33554432000 4194304 4196468 140733788836720 140302918458128 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16975] ppid=16967 vsize=14090948 memory=2375968 CPUtime=6.9 cores=0,2,4,6
/proc/16970/task/16975/stat : 16975 (java) S 16967 16970 15043 0 -1 1077944384 52740 0 0 0 597 93 0 0 20 0 15 0 245133076 14429130752 593992 33554432000 4194304 4196468 140733788836720 140302917405840 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16976] ppid=16967 vsize=14090948 memory=0 CPUtime=6.91 cores=0,2,4,6
/proc/16970/task/16976/stat : 16976 (java) S 16967 16970 15043 0 -1 1077944384 60498 0 0 0 599 92 0 0 20 0 15 0 245133076 14429130752 593992 33554432000 4194304 4196468 140733788836720 140302916353040 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16977] ppid=16967 vsize=14090948 memory=1796 CPUtime=0.36 cores=0,2,4,6
/proc/16970/task/16977/stat : 16977 (java) S 16967 16970 15043 0 -1 1077944384 14189 0 0 0 29 7 0 0 20 0 15 0 245133078 14429130752 593992 33554432000 4194304 4196468 140733788836720 140302303455344 140303323699842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16978] ppid=16967 vsize=14090948 memory=916 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16978/stat : 16978 (java) S 16967 16970 15043 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 245133078 14429130752 593992 33554432000 4194304 4196468 140733788836720 140302302401376 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16979] ppid=16967 vsize=14090948 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16979/stat : 16979 (java) S 16967 16970 15043 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 245133078 14429130752 593992 33554432000 4194304 4196468 140733788836720 140302301348992 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16980] ppid=16967 vsize=14090948 memory=64820 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16980/stat : 16980 (java) S 16967 16970 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245133081 14429130752 593992 33554432000 4194304 4196468 140733788836720 140302300297296 140303323707291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16981] ppid=16967 vsize=14090948 memory=2387768 CPUtime=4.29 cores=0,2,4,6
/proc/16970/task/16981/stat : 16981 (java) S 16967 16970 15043 0 -1 1077944384 24731 0 0 0 426 3 0 0 20 0 15 0 245133081 14429130752 593992 33554432000 4194304 4196468 140733788836720 140302299245168 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16982] ppid=16967 vsize=14090948 memory=2375968 CPUtime=4.33 cores=0,2,4,6
/proc/16970/task/16982/stat : 16982 (java) S 16967 16970 15043 0 -1 1077944384 19658 0 0 0 430 3 0 0 20 0 15 0 245133081 14429130752 593992 33554432000 4194304 4196468 140733788836720 140302298192368 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16983] ppid=16967 vsize=14090948 memory=2375968 CPUtime=1.07 cores=0,2,4,6
/proc/16970/task/16983/stat : 16983 (java) S 16967 16970 15043 0 -1 1077944384 19966 0 0 0 104 3 0 0 20 0 15 0 245133081 14429130752 593992 33554432000 4194304 4196468 140733788836720 140302297140080 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16984] ppid=16967 vsize=14090948 memory=2375968 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16984/stat : 16984 (java) S 16967 16970 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245133081 14429130752 593992 33554432000 4194304 4196468 140733788836720 140302296087520 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16985] ppid=16967 vsize=14090948 memory=2375968 CPUtime=1.48 cores=0,2,4,6
/proc/16970/task/16985/stat : 16985 (java) S 16967 16970 15043 0 -1 1077944384 1374 0 0 0 78 70 0 0 20 0 15 0 245133081 14429130752 593992 33554432000 4194304 4196468 140733788836720 140302295034288 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
Current children cumulated CPU time: 2414.16 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2375968 KiB

[startup+2442.3 s]
/proc/loadavg: 1.71 1.79 1.86 3/215 17231
/proc/meminfo: memFree=17590744/32770624 swapFree=67030676/67108860
[pid=16970] ppid=16967 vsize=14090948 memory=2306688 CPUtime=2475.24 cores=0,2,4,6
/proc/16970/stat : 16970 (java) S 16967 16970 15043 0 -1 1077944320 838171 0 0 0 246988 536 0 0 20 0 15 0 245133075 14429130752 576672 33554432000 4194304 4196468 140733788836720 140733788819264 140303323688695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
/proc/16970/statm: 3522737 576672 3616 1 0 3484809 0
[pid=16970/tid=16972] ppid=16967 vsize=14090948 memory=2316948 CPUtime=2434.53 cores=0,2,4,6
/proc/16970/task/16972/stat : 16972 (java) R 16967 16970 15043 0 -1 4202560 521377 0 0 0 243366 87 0 0 20 0 15 0 245133076 14429130752 576672 33554432000 4194304 4196468 140733788836720 140303327926272 140302965573418 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16973] ppid=16967 vsize=14090948 memory=2315408 CPUtime=7.27 cores=0,2,4,6
/proc/16970/task/16973/stat : 16973 (java) S 16967 16970 15043 0 -1 1077944384 62634 0 0 0 629 98 0 0 20 0 15 0 245133076 14429130752 576672 33554432000 4194304 4196468 140733788836720 140303295531920 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16974] ppid=16967 vsize=14090948 memory=2315408 CPUtime=7.25 cores=0,2,4,6
/proc/16970/task/16974/stat : 16974 (java) S 16967 16970 15043 0 -1 1077944384 58301 0 0 0 634 91 0 0 20 0 15 0 245133076 14429130752 576672 33554432000 4194304 4196468 140733788836720 140302918458128 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16975] ppid=16967 vsize=14090948 memory=2306688 CPUtime=7.24 cores=0,2,4,6
/proc/16970/task/16975/stat : 16975 (java) S 16967 16970 15043 0 -1 1077944384 53348 0 0 0 631 93 0 0 20 0 15 0 245133076 14429130752 576672 33554432000 4194304 4196468 140733788836720 140302917405840 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16976] ppid=16967 vsize=14090948 memory=2306688 CPUtime=7.26 cores=0,2,4,6
/proc/16970/task/16976/stat : 16976 (java) S 16967 16970 15043 0 -1 1077944384 60945 0 0 0 633 93 0 0 20 0 15 0 245133076 14429130752 576672 33554432000 4194304 4196468 140733788836720 140302916353040 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16977] ppid=16967 vsize=14090948 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/16970/task/16977/stat : 16977 (java) S 16967 16970 15043 0 -1 1077944384 14372 0 0 0 30 8 0 0 20 0 15 0 245133078 14429130752 576672 33554432000 4194304 4196468 140733788836720 140302303455344 140303323699842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16978] ppid=16967 vsize=14090948 memory=2306688 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16978/stat : 16978 (java) S 16967 16970 15043 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 245133078 14429130752 576672 33554432000 4194304 4196468 140733788836720 140302302401376 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16979] ppid=16967 vsize=14090948 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16979/stat : 16979 (java) S 16967 16970 15043 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 245133078 14429130752 576672 33554432000 4194304 4196468 140733788836720 140302301348992 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16980] ppid=16967 vsize=14090948 memory=64820 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16980/stat : 16980 (java) S 16967 16970 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245133081 14429130752 576672 33554432000 4194304 4196468 140733788836720 140302300297296 140303323707291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16981] ppid=16967 vsize=14090948 memory=776 CPUtime=4.29 cores=0,2,4,6
/proc/16970/task/16981/stat : 16981 (java) S 16967 16970 15043 0 -1 1077944384 24733 0 0 0 426 3 0 0 20 0 15 0 245133081 14429130752 576672 33554432000 4194304 4196468 140733788836720 140302299245168 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16982] ppid=16967 vsize=14090948 memory=2316948 CPUtime=4.33 cores=0,2,4,6
/proc/16970/task/16982/stat : 16982 (java) S 16967 16970 15043 0 -1 1077944384 19660 0 0 0 430 3 0 0 20 0 15 0 245133081 14429130752 576672 33554432000 4194304 4196468 140733788836720 140302298192368 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16983] ppid=16967 vsize=14090948 memory=5292 CPUtime=1.07 cores=0,2,4,6
/proc/16970/task/16983/stat : 16983 (java) S 16967 16970 15043 0 -1 1077944384 19968 0 0 0 104 3 0 0 20 0 15 0 245133081 14429130752 576672 33554432000 4194304 4196468 140733788836720 140302297140080 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16984] ppid=16967 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16984/stat : 16984 (java) S 16967 16970 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245133081 14429130752 576672 33554432000 4194304 4196468 140733788836720 140302296087520 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16985] ppid=16967 vsize=14090948 memory=6791534058613427641 CPUtime=1.51 cores=0,2,4,6
/proc/16970/task/16985/stat : 16985 (java) S 16967 16970 15043 0 -1 1077944384 1392 0 0 0 79 72 0 0 20 0 15 0 245133081 14429130752 576672 33554432000 4194304 4196468 140733788836720 140302295034288 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
Current children cumulated CPU time: 2475.24 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2306688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2486.8 s]
/proc/loadavg: 1.90 1.84 1.87 3/215 17232
/proc/meminfo: memFree=17659264/32770624 swapFree=67030676/67108860
[pid=16970] ppid=16967 vsize=14090948 memory=2253336 CPUtime=2520.09 cores=0,2,4,6
/proc/16970/stat : 16970 (java) S 16967 16970 15043 0 -1 1077944320 839205 0 0 0 251471 538 0 0 20 0 15 0 245133075 14429130752 563334 33554432000 4194304 4196468 140733788836720 140733788819264 140303323688695 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
/proc/16970/statm: 3522737 563334 3616 1 0 3484809 0
[pid=16970/tid=16972] ppid=16967 vsize=14090948 memory=1192 CPUtime=2478.91 cores=0,2,4,6
/proc/16970/task/16972/stat : 16972 (java) R 16967 16970 15043 0 -1 4202560 522146 0 0 0 247804 87 0 0 20 0 15 0 245133076 14429130752 563334 33554432000 4194304 4196468 140733788836720 140303327926352 140302970177360 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16973] ppid=16967 vsize=14090948 memory=1520 CPUtime=7.38 cores=0,2,4,6
/proc/16970/task/16973/stat : 16973 (java) S 16967 16970 15043 0 -1 1077944384 62721 0 0 0 640 98 0 0 20 0 15 0 245133076 14429130752 563334 33554432000 4194304 4196468 140733788836720 140303295531920 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16974] ppid=16967 vsize=14090948 memory=2680 CPUtime=7.37 cores=0,2,4,6
/proc/16970/task/16974/stat : 16974 (java) S 16967 16970 15043 0 -1 1077944384 58372 0 0 0 645 92 0 0 20 0 15 0 245133076 14429130752 563334 33554432000 4194304 4196468 140733788836720 140302918458128 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16975] ppid=16967 vsize=14090948 memory=6791534058613427641 CPUtime=7.35 cores=0,2,4,6
/proc/16970/task/16975/stat : 16975 (java) S 16967 16970 15043 0 -1 1077944384 53374 0 0 0 642 93 0 0 20 0 15 0 245133076 14429130752 563334 33554432000 4194304 4196468 140733788836720 140302917405840 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16976] ppid=16967 vsize=14090948 memory=1560 CPUtime=7.37 cores=0,2,4,6
/proc/16970/task/16976/stat : 16976 (java) S 16967 16970 15043 0 -1 1077944384 61019 0 0 0 644 93 0 0 20 0 15 0 245133076 14429130752 563334 33554432000 4194304 4196468 140733788836720 140302916353040 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16977] ppid=16967 vsize=14090948 memory=932 CPUtime=0.39 cores=0,2,4,6
/proc/16970/task/16977/stat : 16977 (java) S 16967 16970 15043 0 -1 1077944384 14377 0 0 0 31 8 0 0 20 0 15 0 245133078 14429130752 563334 33554432000 4194304 4196468 140733788836720 140302303455344 140303323699842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16978] ppid=16967 vsize=14090948 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16978/stat : 16978 (java) S 16967 16970 15043 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 245133078 14429130752 563334 33554432000 4194304 4196468 140733788836720 140302302401376 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16979] ppid=16967 vsize=14090948 memory=2258976 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16979/stat : 16979 (java) S 16967 16970 15043 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 245133078 14429130752 563334 33554432000 4194304 4196468 140733788836720 140302301348992 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16980] ppid=16967 vsize=14090948 memory=2228 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16980/stat : 16980 (java) S 16967 16970 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245133081 14429130752 563334 33554432000 4194304 4196468 140733788836720 140302300297296 140303323707291 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16981] ppid=16967 vsize=14090948 memory=33316 CPUtime=4.29 cores=0,2,4,6
/proc/16970/task/16981/stat : 16981 (java) S 16967 16970 15043 0 -1 1077944384 24733 0 0 0 426 3 0 0 20 0 15 0 245133081 14429130752 563334 33554432000 4194304 4196468 140733788836720 140302299245168 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16982] ppid=16967 vsize=14090948 memory=11908 CPUtime=4.33 cores=0,2,4,6
/proc/16970/task/16982/stat : 16982 (java) S 16967 16970 15043 0 -1 1077944384 19660 0 0 0 430 3 0 0 20 0 15 0 245133081 14429130752 563334 33554432000 4194304 4196468 140733788836720 140302298192368 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16983] ppid=16967 vsize=14090948 memory=492 CPUtime=1.07 cores=0,2,4,6
/proc/16970/task/16983/stat : 16983 (java) S 16967 16970 15043 0 -1 1077944384 19968 0 0 0 104 3 0 0 20 0 15 0 245133081 14429130752 563334 33554432000 4194304 4196468 140733788836720 140302297140080 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16984] ppid=16967 vsize=14090948 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/16970/task/16984/stat : 16984 (java) S 16967 16970 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245133081 14429130752 563334 33554432000 4194304 4196468 140733788836720 140302296087520 140303323698901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
[pid=16970/tid=16985] ppid=16967 vsize=14090948 memory=932 CPUtime=1.54 cores=0,2,4,6
/proc/16970/task/16985/stat : 16985 (java) S 16967 16970 15043 0 -1 1077944384 1394 0 0 0 81 73 0 0 20 0 15 0 245133081 14429130752 563334 33554432000 4194304 4196468 140733788836720 140302295034288 140303323699842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 39542784 140733788845128 140733788845321 140733788845321 140733788848079 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2253336 KiB

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

[startup+2486.82 s]
# the end of solver process 16970 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.73 s, system=5.3993 s

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

Child status: 143
Real time (s): 2486.82
CPU time (s): 2520.13
CPU user time (s): 2514.73
CPU system time (s): 5.3993
CPU usage (%): 101.339
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 5524588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.73
system time used= 5.3993
maximum resident set size= 5524608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 839694
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61549
involuntary context switches= 2459


# summary of solver processes directly reported to runsolver:
#   pid: 16970
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2514.73
#   total CPU system time (s): 5.3993

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3451 second user time and 23.4048 second system time

The end

Launcher Data 

Begin job on node102 at 2018-08-14 21:41:39
IDJOB=4307810
IDBENCH=141136
IDSOLVER=2791
FILE ID=node102/4307810-1534275699
RUNJOBID= node102-1534258226-15074
PBS_JOBID= 21038131
Free space on /tmp= 39484 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order40_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307810-1534275699/watcher-4307810-1534275699 -o /tmp/evaluation-result-4307810-1534275699/solver-4307810-1534275699 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534258226-15074 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1539332121 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307810-1534275699.xml

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

MD5SUM BENCH= d1aa36ddb66a988b2d6475ffc1d9c375
RANDOM SEED=1539332121

node102.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.51
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.51
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.51
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.51
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:        27316740 kB
MemAvailable:   31536424 kB
Buffers:          198688 kB
Cached:          4272784 kB
SwapCached:        51232 kB
Active:          2302368 kB
Inactive:        2590928 kB
Active(anon):     347388 kB
Inactive(anon):   126904 kB
Active(file):    1954980 kB
Inactive(file):  2464024 kB
Unevictable:        7348 kB
Mlocked:            7348 kB
SwapTotal:      67108860 kB
SwapFree:       67030672 kB
Dirty:             37796 kB
Writeback:             0 kB
AnonPages:        379504 kB
Mapped:            66080 kB
Shmem:             48996 kB
Slab:             257944 kB
SReclaimable:     229140 kB
SUnreclaim:        28804 kB
KernelStack:        3840 kB
PageTables:         6628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1446084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    325632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 39444 MiB
End job on node102 at 2018-08-14 22:23:06