Trace number 4311546

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-17SAT (TO)41 2520.06 2487.42

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.67/0.56	c version: 2018-08-17
0.67/0.56	c seed: 180123246
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 1
0.67/0.58	c Parsing instance...
24.09/11.70	c Parsing done, starting search...
25.65/12.71	o 1599
26.59/13.58	o 1598
27.80/14.59	o 1597
28.14/14.85	o 1596
29.41/15.90	o 1593
30.80/17.20	o 1591
32.29/18.52	o 1590
33.64/19.81	o 1588
35.04/21.14	o 1587
36.33/22.44	o 1586
40.56/24.53	o 1584
41.86/25.86	o 1583
41.96/25.90	o 1582
43.17/27.16	o 1578
44.46/28.47	o 1577
45.76/29.76	o 1575
46.17/30.19	o 1574
47.07/31.08	o 1572
48.37/32.39	o 1570
49.82/33.71	o 1569
50.02/33.91	o 1568
51.13/35.01	o 1565
52.42/36.32	o 1564
53.73/37.61	o 1562
53.83/37.74	o 1561
55.10/38.93	o 1560
56.40/40.23	o 1559
57.70/41.53	o 1557
57.70/41.55	o 1556
59.00/42.85	o 1555
60.36/44.15	o 1553
61.75/45.50	o 1552
62.98/46.77	o 1549
64.43/48.09	o 1547
65.82/49.41	o 1544
67.16/50.72	o 1543
68.36/52.00	o 1542
68.70/52.25	o 1541
69.81/53.33	o 1540
71.11/54.62	o 1538
72.41/55.95	o 1537
73.71/57.23	o 1532
75.01/58.56	o 1531
75.21/58.78	o 1530
76.31/59.88	o 1529
77.99/61.16	o 1528
79.29/62.47	o 1527
80.59/63.78	o 1526
81.90/65.09	o 1525
83.29/66.40	o 1524
84.60/67.70	o 1523
84.80/67.99	o 1522
85.92/69.03	o 1521
86.21/69.37	o 1518
87.24/70.33	o 1517
88.55/71.63	o 1516
88.95/72.01	o 1514
89.85/72.95	o 1513
89.96/73.10	o 1510
90.25/73.31	o 1508
91.15/74.26	o 1505
91.46/74.50	o 1504
92.46/75.56	o 1502
93.76/76.87	o 1500
95.07/78.19	o 1499
95.36/78.41	o 1498
96.46/79.50	o 1497
97.66/80.79	o 1494
99.07/82.11	o 1492
99.27/82.33	o 1490
100.37/83.41	o 1488
101.67/84.73	o 1484
102.98/86.03	o 1483
103.27/86.31	o 1481
104.27/87.34	o 1479
104.67/87.72	o 1478
105.57/88.64	o 1476
105.78/88.89	o 1475
105.88/88.91	o 1473
106.88/89.95	o 1471
108.18/91.27	o 1470
108.58/91.60	o 1469
109.62/92.60	o 1468
110.82/93.89	o 1467
110.92/93.93	o 1466
112.22/95.21	o 1465
112.22/95.27	o 1464
113.53/96.52	o 1463
114.91/97.84	o 1461
116.22/99.14	o 1460
117.51/100.43	o 1459
117.91/100.81	o 1457
118.81/101.75	o 1456
120.13/103.04	o 1455
121.42/104.36	o 1453
122.73/105.68	o 1452
124.03/106.97	o 1451
125.33/108.28	o 1450
126.63/109.59	o 1449
128.03/110.90	o 1448
129.33/112.21	o 1447
130.63/113.51	o 1446
131.93/114.82	o 1445
132.33/115.21	o 1444
133.24/116.14	o 1443
133.33/116.22	o 1442
134.53/117.45	o 1440
135.83/118.76	o 1439
135.83/118.77	o 1438
137.14/120.06	o 1436
138.44/121.37	o 1435
138.74/121.69	o 1430
139.74/122.69	o 1429
140.04/122.96	o 1428
141.04/124.00	o 1427
141.54/124.43	o 1426
142.44/125.30	o 1424
143.74/126.61	o 1423
145.04/127.91	o 1422
145.34/128.29	o 1421
146.35/129.23	o 1420
147.65/130.52	o 1419
147.85/130.74	o 1415
148.95/131.84	o 1412
150.26/133.15	o 1409
151.63/134.46	o 1408
151.94/134.70	o 1407
152.94/135.76	o 1406
154.25/137.06	o 1405
155.54/138.37	o 1402
156.84/139.69	o 1401
157.04/139.80	o 1400
158.14/141.00	o 1399
159.44/142.30	o 1398
159.84/142.63	o 1396
160.84/143.61	o 1395
161.14/143.92	o 1394
162.14/144.92	o 1392
162.44/145.28	o 1391
163.44/146.22	o 1390
164.75/147.52	o 1389
166.06/148.83	o 1388
167.37/150.14	o 1387
167.46/150.22	o 1386
168.65/151.45	o 1385
168.85/151.66	o 1382
169.95/152.77	o 1381
171.26/154.06	o 1380
171.55/154.37	o 1379
172.55/155.38	o 1378
172.85/155.70	o 1377
172.95/155.79	o 1376
173.85/156.69	o 1375
175.16/157.98	o 1374
175.46/158.29	o 1373
176.55/159.31	o 1372
176.66/159.44	o 1368
177.86/160.60	o 1367
177.86/160.65	o 1365
179.16/161.92	o 1363
180.46/163.22	o 1362
181.76/164.53	o 1361
183.06/165.84	o 1360
184.37/167.14	o 1359
184.77/167.50	o 1358
185.67/168.47	o 1357
187.05/169.79	o 1356
187.35/170.03	o 1355
188.36/171.08	o 1353
188.65/171.31	o 1352
188.75/171.46	o 1351
189.65/172.38	o 1350
190.06/172.72	o 1348
190.96/173.69	o 1347
192.26/174.99	o 1345
193.65/176.31	o 1343
194.95/177.63	o 1342
196.25/178.92	o 1341
196.36/179.07	o 1339
197.55/180.23	o 1337
197.86/180.53	o 1336
198.87/181.55	o 1334
200.17/182.85	o 1332
200.37/183.05	o 1331
200.37/183.06	o 1330
201.48/184.15	o 1328
201.48/184.15	o 1327
202.77/185.46	o 1326
202.77/185.48	o 1325
204.07/186.77	o 1324
204.38/187.10	o 1323
205.38/188.07	o 1322
205.48/188.16	o 1321
206.67/189.38	o 1319
207.97/190.69	o 1317
209.27/191.98	o 1315
210.67/193.30	o 1314
210.77/193.47	o 1313
211.97/194.61	o 1312
213.28/195.90	o 1310
214.58/197.23	o 1309
215.88/198.52	o 1308
217.18/199.83	o 1307
217.28/199.95	o 1305
218.49/201.14	o 1301
219.79/202.45	o 1299
221.09/203.77	o 1298
222.39/205.06	o 1297
222.69/205.32	o 1296
222.79/205.40	o 1295
223.69/206.39	o 1294
224.98/207.68	o 1293
225.08/207.73	o 1292
226.48/209.02	o 1291
227.67/210.29	o 1290
229.07/211.60	o 1288
230.37/212.92	o 1287
230.58/213.17	o 1285
231.67/214.22	o 1282
232.97/215.53	o 1281
234.28/216.84	o 1280
235.59/218.14	o 1279
235.68/218.30	o 1278
236.88/219.46	o 1277
238.18/220.76	o 1276
238.59/221.18	o 1275
239.49/222.09	o 1274
240.78/223.38	o 1273
241.08/223.61	o 1272
242.18/224.70	o 1271
242.18/224.75	o 1270
243.49/226.02	o 1269
244.79/227.30	o 1268
246.09/228.61	o 1267
246.39/228.91	o 1266
247.39/229.93	o 1265
247.79/230.33	o 1264
248.69/231.24	o 1263
249.99/232.53	o 1259
251.29/233.84	o 1258
251.29/233.90	o 1257
252.60/235.16	o 1256
253.89/236.45	o 1254
255.19/237.77	o 1253
255.39/237.93	o 1252
256.50/239.08	o 1251
256.89/239.47	o 1249
257.80/240.39	o 1248
259.11/241.69	o 1247
260.41/242.99	o 1246
261.81/244.30	o 1243
262.01/244.51	o 1242
263.20/245.62	o 1241
264.50/246.91	o 1240
264.60/247.10	o 1235
265.80/248.23	o 1234
267.10/249.53	o 1233
268.40/250.84	o 1232
268.71/251.15	o 1231
269.71/252.17	o 1230
271.00/253.46	o 1229
271.00/253.49	o 1227
272.30/254.77	o 1226
272.71/255.16	o 1224
273.61/256.08	o 1223
273.71/256.16	o 1220
274.91/257.38	o 1219
275.11/257.50	o 1218
276.21/258.69	o 1216
277.51/260.00	o 1215
277.91/260.34	o 1214
278.91/261.31	o 1213
280.21/262.61	o 1212
281.52/263.91	o 1211
282.82/265.23	o 1210
284.12/266.54	o 1209
285.42/267.84	o 1208
286.73/269.15	o 1207
286.92/269.31	o 1206
288.03/270.47	o 1204
289.33/271.77	o 1202
290.64/273.09	o 1201
290.83/273.23	o 1199
292.03/274.40	o 1198
293.23/275.69	o 1197
294.53/276.99	o 1196
294.74/277.20	o 1195
294.83/277.22	o 1194
295.93/278.31	o 1192
295.93/278.34	o 1190
297.23/279.62	o 1189
297.53/279.97	o 1188
298.53/280.93	o 1187
298.74/281.14	o 1186
299.92/282.26	o 1184
300.02/282.38	o 1182
300.32/282.63	o 1181
301.22/283.54	o 1180
302.52/284.84	o 1179
303.83/286.15	o 1178
305.12/287.46	o 1177
305.12/287.46	o 1175
306.43/288.78	o 1174
307.74/290.07	o 1173
307.93/290.27	o 1172
308.03/290.38	o 1171
309.13/291.40	o 1169
310.43/292.71	o 1168
311.74/294.01	o 1167
311.84/294.13	o 1165
313.03/295.32	o 1164
313.13/295.48	o 1163
314.33/296.63	o 1161
314.53/296.84	o 1160
314.63/297.00	o 1159
315.63/297.94	o 1158
315.93/298.22	o 1157
316.93/299.25	o 1155
318.23/300.56	o 1154
318.53/300.87	o 1153
319.53/301.86	o 1152
319.63/301.99	o 1151
319.74/302.05	o 1150
320.85/303.17	o 1149
322.14/304.47	o 1148
323.44/305.77	o 1146
324.75/307.09	o 1145
325.14/307.44	o 1144
326.14/308.40	o 1143
326.24/308.54	o 1142
327.44/309.71	o 1141
328.64/311.00	o 1139
328.75/311.01	o 1138
330.04/312.33	o 1137
331.34/313.62	o 1136
331.54/313.84	o 1135
332.64/314.95	o 1134
333.94/316.24	o 1133
335.25/317.54	o 1132
335.35/317.65	o 1131
336.55/318.86	o 1129
337.86/320.17	o 1128
338.15/320.45	o 1127
339.33/321.50	o 1125
340.54/322.78	o 1123
341.85/324.10	o 1122
343.14/325.39	o 1121
344.44/326.70	o 1119
344.64/326.86	o 1118
345.85/328.02	o 1117
347.14/329.31	o 1116
347.34/329.58	o 1115
348.45/330.64	o 1114
348.65/330.87	o 1113
348.75/330.97	o 1111
349.74/331.94	o 1110
350.04/332.26	o 1109
351.04/333.25	o 1108
351.44/333.60	o 1107
352.35/334.56	o 1106
352.65/334.87	o 1104
353.65/335.88	o 1103
353.96/336.17	o 1102
354.96/337.17	o 1101
354.96/337.19	o 1100
356.26/338.48	o 1099
357.56/339.77	o 1097
358.86/341.09	o 1096
360.16/342.39	o 1095
360.56/342.74	o 1094
361.56/343.71	o 1093
361.76/343.92	o 1092
362.87/345.02	o 1091
363.06/345.22	o 1089
364.16/346.32	o 1088
365.47/347.62	o 1087
366.77/348.93	o 1086
366.88/349.01	o 1085
366.88/349.02	o 1084
368.07/350.24	o 1083
368.37/350.50	o 1082
369.37/351.56	o 1081
370.67/352.85	o 1080
370.88/353.02	o 1079
371.98/354.16	o 1078
372.18/354.31	o 1076
373.27/355.47	o 1075
373.68/355.81	o 1074
374.58/356.78	o 1073
374.98/357.13	o 1071
375.88/358.09	o 1070
377.36/359.41	o 1068
377.56/359.61	o 1067
378.67/360.70	o 1066
378.87/360.92	o 1065
379.98/362.01	o 1064
379.98/362.08	o 1063
381.27/363.32	o 1062
381.37/363.49	o 1061
382.57/364.62	o 1060
382.67/364.76	o 1059
383.87/365.93	o 1056
385.17/367.23	o 1055
386.47/368.54	o 1054
387.77/369.85	o 1053
388.17/370.23	o 1052
389.08/371.17	o 1051
390.37/372.47	o 1049
391.67/373.78	o 1048
392.98/375.08	o 1047
392.98/375.08	o 1045
394.38/376.40	o 1044
394.58/376.63	o 1043
395.68/377.70	o 1042
395.78/377.81	o 1039
396.99/379.01	o 1038
397.18/379.25	o 1036
398.28/380.32	o 1034
399.58/381.63	o 1033
400.88/382.93	o 1032
402.18/384.23	o 1031
403.49/385.54	o 1030
404.79/386.85	o 1029
405.19/387.22	o 1028
406.09/388.19	o 1026
407.39/389.49	o 1025
408.69/390.79	o 1023
410.00/392.10	o 1021
410.29/392.32	o 1020
411.39/393.41	o 1019
411.69/393.73	o 1018
412.69/394.72	o 1017
412.69/394.72	o 1016
414.00/396.03	o 1015
414.00/396.07	o 1014
414.19/396.24	o 1012
415.29/397.33	o 1010
416.60/398.65	o 1009
416.90/399.00	o 1008
417.98/399.99	o 1006
418.28/400.24	o 1005
419.28/401.26	o 1004
419.38/401.37	o 1002
419.48/401.40	o 1001
420.58/402.57	o 1000
420.98/402.91	o 999
421.89/403.88	o 997
423.20/405.19	o 996
424.49/406.48	o 995
424.79/406.79	o 994
425.89/407.80	o 993
426.10/408.01	o 992
427.20/409.12	o 991
428.49/410.41	o 990
429.79/411.72	o 989
431.10/413.03	o 988
431.10/413.07	o 987
432.39/414.34	o 986
432.59/414.56	o 985
433.69/415.65	o 984
433.79/415.76	o 983
435.00/416.96	o 981
436.30/418.28	o 980
437.60/419.57	o 978
438.90/420.88	o 977
439.11/421.08	o 975
440.30/422.20	o 974
441.60/423.52	o 971
442.90/424.85	o 970
444.21/426.11	o 969
445.51/427.42	o 968
445.71/427.66	o 967
445.71/427.69	o 964
446.81/428.73	o 960
448.12/430.03	o 959
448.31/430.23	o 957
449.41/431.35	o 956
450.71/432.65	o 955
450.91/432.88	o 954
452.01/433.97	o 953
453.31/435.27	o 950
453.51/435.46	o 949
453.61/435.52	o 948
454.61/436.59	o 947
455.91/437.88	o 945
456.01/438.00	o 944
457.39/439.21	o 943
458.69/440.50	o 942
458.99/440.84	o 940
459.99/441.81	o 939
460.20/442.05	o 937
461.31/443.12	o 936
462.61/444.42	o 935
462.71/444.52	o 932
462.80/444.61	o 931
463.91/445.74	o 930
464.11/445.94	o 928
465.21/447.05	o 927
466.51/448.35	o 926
467.81/449.65	o 925
467.91/449.70	o 924
469.11/450.97	o 923
469.41/451.20	o 921
470.41/452.27	o 920
470.41/452.29	o 918
471.71/453.58	o 917
471.81/453.63	o 916
473.01/454.88	o 915
473.22/455.09	o 913
474.41/456.20	o 912
474.71/456.52	o 911
475.71/457.52	o 910
477.02/458.80	o 909
478.33/460.11	o 908
479.62/461.42	o 907
480.93/462.73	o 906
481.03/462.83	o 905
482.24/464.05	o 904
483.53/465.35	o 903
484.83/466.66	o 902
485.03/466.87	o 901
486.13/467.98	o 900
487.43/469.27	o 899
487.73/469.58	o 898
488.73/470.59	o 896
490.13/471.91	o 895
491.34/473.20	o 894
492.73/474.51	o 893
493.03/474.85	o 892
494.03/475.84	o 891
495.42/477.13	o 890
496.72/478.44	o 889
498.01/479.75	o 888
498.22/479.91	o 887
498.22/479.94	o 886
499.32/481.06	o 883
500.63/482.37	o 882
501.93/483.67	o 880
503.23/484.99	o 879
503.33/485.09	o 878
503.44/485.13	o 877
504.53/486.30	o 876
505.83/487.60	o 875
506.13/487.89	o 874
507.23/488.91	o 873
507.33/489.06	o 872
507.53/489.21	o 871
508.53/490.22	o 870
509.83/491.51	o 868
510.13/491.80	o 865
511.13/492.83	o 864
511.34/493.03	o 863
512.44/494.13	o 862
512.53/494.21	o 861
513.73/495.44	o 860
513.73/495.46	o 859
515.03/496.76	o 858
516.34/498.05	o 857
516.63/498.39	o 855
517.63/499.37	o 854
517.93/499.66	o 853
518.94/500.68	o 852
520.24/501.97	o 851
521.54/503.28	o 850
521.84/503.55	o 849
522.94/504.61	o 848
524.25/505.91	o 847
525.55/507.21	o 846
525.65/507.32	o 844
526.85/508.53	o 843
528.15/509.83	o 842
529.46/511.15	o 841
530.75/512.45	o 840
532.05/513.76	o 839
532.36/514.07	o 838
533.46/515.10	o 837
534.75/516.38	o 836
536.05/517.67	o 835
536.25/517.88	o 834
537.35/519.00	o 833
538.65/520.29	o 832
538.85/520.41	o 831
540.05/521.61	o 830
541.35/522.90	o 829
541.56/523.16	o 828
542.65/524.22	o 827
542.75/524.34	o 826
543.95/525.53	o 825
544.15/525.79	o 824
545.25/526.84	o 823
546.56/528.13	o 822
547.86/529.44	o 821
548.16/529.76	o 818
549.16/530.78	o 817
549.30/530.84	o 816
550.61/532.13	o 815
551.90/533.44	o 813
553.20/534.75	o 812
554.51/536.06	o 811
555.80/537.36	o 809
557.10/538.67	o 806
557.10/538.67	o 805
558.40/539.97	o 804
559.70/541.29	o 803
561.00/542.60	o 802
561.10/542.66	o 801
562.40/543.90	o 800
562.40/543.94	o 799
563.70/545.21	o 798
565.01/546.52	o 797
566.31/547.83	o 796
567.62/549.13	o 794
567.71/549.20	o 793
568.91/550.43	o 790
570.21/551.75	o 789
571.52/553.05	o 788
572.82/554.36	o 787
574.12/555.67	o 786
575.50/556.98	o 785
576.80/558.29	o 784
578.10/559.59	o 783
579.50/560.90	o 782
580.80/562.21	o 780
582.11/563.52	o 779
583.43/564.82	o 778
583.53/564.90	o 777
584.74/566.13	o 776
586.03/567.44	o 775
586.14/567.55	o 774
587.34/568.74	o 773
587.54/568.97	o 772
588.64/570.05	o 771
588.84/570.23	o 769
589.94/571.35	o 767
591.24/572.66	o 766
592.54/573.97	o 764
593.84/575.28	o 763
595.14/576.59	o 762
596.54/577.90	o 761
597.84/579.21	o 760
597.95/579.40	o 759
599.15/580.51	o 758
599.25/580.66	o 757
600.46/581.82	o 756
600.66/582.05	o 755
601.77/583.13	o 754
603.06/584.43	o 753
603.26/584.61	o 751
604.36/585.73	o 749
605.67/587.05	o 748
605.96/587.30	o 747
606.96/588.36	o 746
608.26/589.66	o 745
609.56/590.97	o 744
610.86/592.28	o 742
612.16/593.59	o 741
613.46/594.89	o 740
614.86/596.20	o 739
616.25/597.54	o 738
617.55/598.82	o 737
617.76/599.05	o 736
618.86/600.12	o 735
620.15/601.43	o 734
621.45/602.74	o 733
622.76/604.05	o 732
622.86/604.15	o 731
622.95/604.21	o 730
624.05/605.35	o 729
625.35/606.66	o 728
625.55/606.89	o 726
626.65/607.97	o 725
626.86/608.15	o 724
627.96/609.28	o 723
628.16/609.46	o 722
629.26/610.59	o 721
630.56/611.89	o 720
631.96/613.20	o 718
633.26/614.50	o 717
633.26/614.57	o 716
634.56/615.82	o 715
635.87/617.12	o 713
637.16/618.43	o 712
638.46/619.74	o 711
639.77/621.05	o 710
641.06/622.37	o 709
642.36/623.68	o 708
643.67/624.98	o 707
644.97/626.28	o 706
645.07/626.35	o 705
646.27/627.58	o 704
646.37/627.64	o 703
646.47/627.79	o 702
647.57/628.89	o 701
647.67/628.90	o 700
648.97/630.21	o 699
650.27/631.51	o 698
650.37/631.62	o 697
651.57/632.81	o 696
651.78/633.06	o 695
652.89/634.14	o 694
654.18/635.45	o 693
655.48/636.75	o 692
656.79/638.06	o 691
658.27/639.40	o 690
659.47/640.68	o 688
660.77/641.98	o 687
660.88/642.06	o 686
662.07/643.29	o 685
663.47/644.60	o 684
664.77/645.91	o 683
664.77/645.94	o 682
666.08/647.22	o 681
667.38/648.53	o 680
668.68/649.83	o 678
668.89/650.04	o 677
669.99/651.13	o 676
671.28/652.45	o 675
672.58/653.76	o 674
673.89/655.07	o 673
675.18/656.37	o 672
676.48/657.68	o 671
676.68/657.86	o 670
677.78/658.99	o 669
679.09/660.30	o 668
680.49/661.60	o 667
681.79/662.92	o 666
683.09/664.22	o 665
684.39/665.53	o 663
684.59/665.74	o 662
685.69/666.84	o 661
687.00/668.14	o 660
688.29/669.45	o 659
688.49/669.63	o 658
689.59/670.76	o 657
689.59/670.79	o 656
690.90/672.07	o 655
692.19/673.37	o 654
693.50/674.68	o 653
693.80/674.91	o 652
694.80/675.99	o 651
696.10/677.29	o 650
697.50/678.60	o 649
698.80/679.91	o 648
699.01/680.13	o 647
700.19/681.25	o 646
700.39/681.41	o 645
701.49/682.52	o 644
702.79/683.83	o 643
704.10/685.14	o 642
705.39/686.45	o 641
706.69/687.76	o 640
708.00/689.06	o 638
709.29/690.37	o 637
710.59/691.68	o 636
711.89/693.00	o 635
713.19/694.30	o 634
714.60/695.60	o 633
715.90/696.91	o 632
717.20/698.22	o 630
718.50/699.52	o 629
719.80/700.84	o 628
721.12/702.14	o 627
722.41/703.45	o 626
722.61/703.69	o 625
723.71/704.76	o 624
723.81/704.86	o 623
723.91/704.93	o 622
725.02/706.06	o 621
726.31/707.37	o 620
726.51/707.59	o 619
727.61/708.69	o 618
728.91/709.99	o 617
730.21/711.30	o 615
731.61/712.60	o 614
732.92/713.91	o 613
734.22/715.22	o 612
735.52/716.53	o 611
736.82/717.84	o 610
738.13/719.14	o 609
739.42/720.45	o 608
740.76/721.79	o 607
742.12/723.07	o 606
743.41/724.38	o 605
744.71/725.69	o 604
744.81/725.79	o 603
746.01/726.99	o 602
746.22/727.18	o 601
747.41/728.30	o 600
748.71/729.61	o 599
750.01/730.91	o 598
750.01/730.98	o 597
751.31/732.22	o 596
751.41/732.34	o 595
752.61/733.53	o 594
753.91/734.84	o 593
755.22/736.14	o 592
756.51/737.45	o 591
757.81/738.76	o 590
758.01/738.98	o 589
759.12/740.07	o 588
759.22/740.12	o 587
760.42/741.37	o 586
761.72/742.68	o 585
761.92/742.89	o 584
763.02/743.99	o 583
763.02/744.00	o 582
763.23/744.16	o 581
764.32/745.29	o 580
765.72/746.60	o 579
767.02/747.91	o 577
768.32/749.21	o 576
769.62/750.53	o 575
770.93/751.84	o 574
772.24/753.14	o 573
773.53/754.45	o 572
774.83/755.78	o 571
776.14/757.07	o 570
776.33/757.29	o 569
777.43/758.38	o 568
778.73/759.69	o 567
780.03/760.99	o 566
781.43/762.30	o 565
782.82/763.65	o 564
784.12/764.92	o 563
784.23/765.09	o 562
785.42/766.23	o 561
786.72/767.53	o 559
788.02/768.84	o 558
788.23/769.01	o 557
789.33/770.15	o 555
790.62/771.45	o 554
791.92/772.76	o 553
793.24/774.07	o 552
794.53/775.38	o 551
795.83/776.69	o 550
795.93/776.72	o 549
797.13/777.99	o 548
798.53/779.31	o 547
799.83/780.61	o 546
800.03/780.82	o 545
801.13/781.92	o 544
802.43/783.23	o 543
802.53/783.31	o 542
803.73/784.54	o 541
805.03/785.84	o 540
806.34/787.15	o 539
807.63/788.46	o 538
807.83/788.61	o 537
807.83/788.66	o 535
808.93/789.76	o 534
810.24/791.08	o 533
811.54/792.38	o 531
812.85/793.69	o 530
813.05/793.84	o 529
814.15/795.00	o 528
815.54/796.31	o 527
816.84/797.61	o 526
818.14/798.92	o 525
819.44/800.23	o 524
819.64/800.41	o 523
820.74/801.54	o 522
822.15/802.88	o 521
823.46/804.15	o 520
823.55/804.28	o 519
824.76/805.46	o 518
826.06/806.77	o 517
827.37/808.08	o 516
827.56/808.25	o 515
828.76/809.41	o 514
830.12/810.72	o 513
831.43/812.02	o 512
831.62/812.21	o 511
832.72/813.34	o 509
834.02/814.63	o 508
834.22/814.83	o 507
835.33/815.95	o 506
836.63/817.25	o 505
836.73/817.37	o 504
837.93/818.56	o 503
839.24/819.86	o 502
840.55/821.17	o 501
841.84/822.48	o 500
843.14/823.79	o 499
844.45/825.10	o 498
844.45/825.10	o 497
845.84/826.40	o 496
847.14/827.71	o 495
848.45/829.02	o 494
849.74/830.33	o 493
851.05/831.64	o 492
852.35/832.94	o 491
853.65/834.25	o 490
854.95/835.56	o 489
856.25/836.86	o 488
857.56/838.17	o 487
859.04/839.51	o 486
860.24/840.79	o 485
861.55/842.10	o 484
862.94/843.41	o 483
864.24/844.72	o 482
865.55/846.03	o 481
866.84/847.33	o 480
868.14/848.64	o 479
869.44/849.95	o 478
870.75/851.26	o 477
872.05/852.57	o 476
872.25/852.77	o 475
873.35/853.88	o 474
873.45/853.98	o 473
874.66/855.19	o 472
875.95/856.49	o 471
877.36/857.80	o 470
878.67/859.11	o 469
879.96/860.41	o 468
881.26/861.72	o 467
882.57/863.03	o 466
883.86/864.34	o 465
885.16/865.64	o 464
886.46/866.96	o 463
887.76/868.26	o 462
889.06/869.57	o 461
890.37/870.88	o 460
891.68/872.19	o 459
893.15/873.53	o 458
894.45/874.80	o 457
894.55/874.99	o 456
895.76/876.12	o 455
897.05/877.43	o 454
898.35/878.73	o 453
899.66/880.03	o 452
900.97/881.34	o 451
901.17/881.52	o 450
902.26/882.65	o 449
903.56/883.96	o 448
904.86/885.27	o 447
906.17/886.57	o 446
906.37/886.74	o 445
907.47/887.88	o 444
908.78/889.19	o 443
910.07/890.49	o 442
911.47/891.80	o 441
911.47/891.86	o 440
912.77/893.11	o 439
912.87/893.29	o 438
914.07/894.43	o 437
915.37/895.73	o 436
916.69/897.04	o 435
917.98/898.35	o 434
918.18/898.53	o 433
919.28/899.66	o 432
920.58/900.97	o 431
921.88/902.27	o 430
923.18/903.59	o 429
924.48/904.89	o 428
925.98/906.20	o 427
927.28/907.51	o 426
928.58/908.81	o 425
929.90/910.12	o 424
930.09/910.30	o 423
931.19/911.43	o 422
932.49/912.74	o 421
933.80/914.04	o 420
935.09/915.36	o 419
936.39/916.67	o 418
937.70/917.97	o 417
939.00/919.28	o 416
940.30/920.59	o 415
941.70/921.90	o 414
943.00/923.21	o 413
944.30/924.51	o 412
945.61/925.82	o 411
945.71/926.00	o 410
946.91/927.13	o 409
948.21/928.44	o 408
949.51/929.75	o 407
950.82/931.05	o 406
952.11/932.37	o 405
953.41/933.68	o 404
954.71/934.98	o 403
956.10/936.29	o 402
956.30/936.44	o 401
957.50/937.61	o 400
958.80/938.91	o 399
960.10/940.22	o 398
961.40/941.53	o 397
962.70/942.83	o 396
964.01/944.14	o 395
965.30/945.45	o 394
966.60/946.76	o 393
967.91/948.06	o 392
969.20/949.38	o 391
970.51/950.68	o 390
971.81/951.99	o 389
972.02/952.11	o 388
973.21/953.30	o 387
974.51/954.60	o 386
975.81/955.91	o 385
977.11/957.22	o 384
978.42/958.53	o 383
979.72/959.84	o 382
981.03/961.14	o 381
982.32/962.45	o 380
983.62/963.76	o 379
985.02/965.08	o 378
986.31/966.38	o 377
987.61/967.69	o 376
988.91/969.00	o 375
990.31/970.31	o 374
991.61/971.61	o 373
992.91/972.92	o 372
994.21/974.23	o 371
994.41/974.42	o 370
995.51/975.54	o 369
995.71/975.73	o 368
996.81/976.85	o 367
998.13/978.15	o 366
999.42/979.46	o 365
999.52/979.53	o 364
1000.72/980.79	o 363
1002.03/982.10	o 362
1003.42/983.41	o 361
1004.72/984.71	o 360
1006.04/986.02	o 359
1007.33/987.33	o 358
1008.63/988.64	o 357
1009.93/989.95	o 356
1011.23/991.26	o 355
1012.64/992.59	o 354
1013.94/993.89	o 353
1015.34/995.21	o 352
1016.64/996.52	o 351
1017.94/997.82	o 350
1018.15/998.01	o 349
1019.25/999.15	o 348
1020.55/1000.45	o 347
1020.65/1000.57	o 346
1021.85/1001.77	o 345
1023.16/1003.07	o 344
1024.45/1004.38	o 343
1025.75/1005.69	o 342
1027.05/1006.99	o 341
1028.45/1008.30	o 340
1029.76/1009.61	o 339
1029.76/1009.70	o 338
1031.06/1010.93	o 337
1032.36/1012.23	o 336
1033.66/1013.54	o 335
1034.96/1014.84	o 334
1036.27/1016.15	o 333
1036.46/1016.32	o 332
1037.56/1017.47	o 331
1038.87/1018.76	o 330
1040.26/1020.07	o 329
1041.55/1021.38	o 328
1042.85/1022.69	o 327
1044.15/1024.00	o 326
1044.26/1024.10	o 325
1045.55/1025.31	o 324
1046.85/1026.61	o 323
1048.15/1027.92	o 322
1048.26/1028.10	o 321
1049.45/1029.23	o 320
1050.76/1030.54	o 319
1052.06/1031.84	o 318
1053.37/1033.15	o 317
1054.66/1034.46	o 316
1055.96/1035.77	o 315
1057.27/1037.08	o 314
1058.57/1038.38	o 313
1059.86/1039.69	o 312
1061.16/1041.00	o 311
1062.57/1042.31	o 310
1062.67/1042.46	o 309
1063.87/1043.63	o 308
1065.27/1044.96	o 307
1066.58/1046.23	o 306
1067.88/1047.55	o 305
1069.18/1048.85	o 304
1070.49/1050.16	o 303
1071.78/1051.47	o 302
1073.08/1052.78	o 301
1074.39/1054.09	o 300
1075.68/1055.39	o 299
1075.88/1055.57	o 298
1077.08/1056.71	o 297
1078.39/1058.01	o 296
1079.68/1059.32	o 295
1080.99/1060.63	o 294
1082.29/1061.94	o 293
1083.59/1063.26	o 292
1084.89/1064.55	o 291
1085.09/1064.73	o 290
1086.19/1065.87	o 289
1087.50/1067.17	o 288
1088.88/1068.47	o 287
1090.19/1069.78	o 286
1091.49/1071.09	o 285
1091.68/1071.26	o 284
1092.89/1072.40	o 283
1094.19/1073.70	o 282
1094.29/1073.88	o 281
1095.50/1075.01	o 280
1096.79/1076.32	o 279
1098.09/1077.63	o 278
1099.39/1078.93	o 277
1100.69/1080.24	o 276
1101.99/1081.55	o 275
1103.29/1082.86	o 274
1104.60/1084.17	o 273
1105.89/1085.47	o 272
1107.19/1086.78	o 271
1108.50/1088.09	o 270
1109.79/1089.40	o 269
1111.28/1090.71	o 268
1112.59/1092.02	o 267
1113.88/1093.32	o 266
1115.19/1094.64	o 265
1116.49/1095.94	o 264
1117.79/1097.25	o 263
1119.09/1098.56	o 262
1120.39/1099.87	o 261
1121.70/1101.17	o 260
1123.00/1102.48	o 259
1124.30/1103.79	o 258
1125.60/1105.10	o 257
1126.99/1106.41	o 256
1128.29/1107.71	o 255
1128.39/1107.88	o 254
1129.60/1109.03	o 253
1130.90/1110.33	o 252
1132.30/1111.64	o 251
1133.60/1112.95	o 250
1134.90/1114.25	o 249
1136.20/1115.57	o 248
1137.50/1116.87	o 247
1138.82/1118.19	o 246
1140.91/1120.21	o 245
1142.21/1121.52	o 244
1143.51/1122.83	o 243
1144.82/1124.14	o 242
1146.11/1125.45	o 241
1147.42/1126.76	o 240
1148.72/1128.06	o 239
1148.91/1128.21	o 238
1150.01/1129.37	o 237
1151.31/1130.67	o 236
1152.61/1131.98	o 235
1154.02/1133.29	o 234
1154.22/1133.44	o 233
1155.42/1134.60	o 232
1156.72/1135.90	o 231
1156.83/1136.06	o 230
1158.02/1137.22	o 229
1159.32/1138.52	o 228
1160.62/1139.83	o 227
1161.93/1141.14	o 226
1163.22/1142.45	o 225
1164.53/1143.76	o 224
1165.83/1145.07	o 223
1167.12/1146.37	o 222
1168.42/1147.68	o 221
1169.72/1148.99	o 220
1171.12/1150.31	o 219
1172.43/1151.61	o 218
1173.81/1152.92	o 217
1175.11/1154.23	o 216
1176.41/1155.54	o 215
1177.71/1156.84	o 214
1179.02/1158.16	o 213
1180.31/1159.46	o 212
1181.62/1160.77	o 211
1182.93/1162.08	o 210
1184.22/1163.39	o 209
1185.52/1164.69	o 208
1186.82/1166.00	o 207
1188.22/1167.31	o 206
1189.52/1168.62	o 205
1190.82/1169.97	o 204
1192.22/1171.24	o 203
1193.52/1172.55	o 202
1194.83/1173.86	o 201
1196.14/1175.16	o 200
1197.43/1176.48	o 199
1198.73/1177.78	o 198
1200.04/1179.09	o 197
1201.33/1180.40	o 196
1201.53/1180.50	o 195
1202.73/1181.71	o 194
1204.04/1183.02	o 193
1205.33/1184.32	o 192
1206.64/1185.63	o 191
1207.97/1186.95	o 190
1209.36/1188.26	o 189
1210.67/1189.56	o 188
1211.97/1190.87	o 187
1213.28/1192.18	o 186
1214.57/1193.49	o 185
1215.87/1194.79	o 184
1217.18/1196.10	o 183
1218.57/1197.42	o 182
1219.87/1198.72	o 181
1221.18/1200.03	o 180
1222.48/1201.34	o 179
1223.78/1202.65	o 178
1223.98/1202.80	o 177
1225.08/1203.96	o 176
1226.46/1205.26	o 175
1227.75/1206.57	o 174
1229.06/1207.88	o 173
1230.37/1209.19	o 172
1231.76/1210.50	o 171
1233.06/1211.81	o 170
1234.38/1213.11	o 169
1235.67/1214.43	o 168
1236.97/1215.73	o 167
1238.28/1217.04	o 166
1239.57/1218.35	o 165
1240.87/1219.69	o 164
1242.25/1220.97	o 163
1243.55/1222.27	o 162
1244.85/1223.59	o 161
1246.26/1224.90	o 160
1247.55/1226.21	o 159
1248.86/1227.51	o 158
1250.16/1228.82	o 157
1251.47/1230.13	o 156
1253.56/1232.22	o 155
1253.67/1232.38	o 154
1254.86/1233.53	o 153
1256.17/1234.83	o 152
1257.57/1236.17	o 151
1258.86/1237.45	o 150
1260.16/1238.76	o 149
1261.47/1240.07	o 148
1262.76/1241.38	o 147
1264.06/1242.69	o 146
1265.36/1243.99	o 145
1266.76/1245.30	o 144
1268.07/1246.62	o 143
1269.37/1247.93	o 142
1270.67/1249.24	o 141
1272.06/1250.57	o 140
1273.36/1251.86	o 139
1274.67/1253.17	o 138
1275.96/1254.47	o 137
1277.26/1255.78	o 136
1278.57/1257.08	o 135
1279.86/1258.39	o 134
1281.26/1259.71	o 133
1282.57/1261.01	o 132
1283.86/1262.32	o 131
1285.25/1263.67	o 130
1286.55/1264.94	o 129
1287.85/1266.25	o 128
1289.15/1267.56	o 127
1290.45/1268.86	o 126
1291.76/1270.17	o 125
1293.06/1271.48	o 124
1294.36/1272.79	o 123
1295.67/1274.09	o 122
1297.06/1275.41	o 121
1298.36/1276.72	o 120
1299.67/1278.03	o 119
1300.96/1279.33	o 118
1302.26/1280.64	o 117
1304.36/1282.75	o 116
1304.46/1282.89	o 115
1305.67/1284.07	o 114
1306.97/1285.37	o 113
1308.27/1286.68	o 112
1309.57/1287.99	o 111
1310.97/1289.30	o 110
1312.36/1290.61	o 109
1313.66/1291.92	o 108
1313.77/1292.08	o 107
1314.96/1293.23	o 106
1316.26/1294.54	o 105
1317.56/1295.84	o 104
1318.87/1297.16	o 103
1320.17/1298.46	o 102
1321.47/1299.77	o 101
1322.78/1301.08	o 100
1324.07/1302.39	o 99
1325.47/1303.70	o 98
1326.68/1305.01	o 97
1326.89/1305.11	o 96
1328.08/1306.33	o 95
1329.38/1307.62	o 94
1330.68/1308.94	o 93
1331.98/1310.25	o 92
1333.27/1311.56	o 91
1334.58/1312.87	o 90
1335.89/1314.17	o 89
1337.19/1315.48	o 88
1338.59/1316.81	o 87
1339.90/1318.11	o 86
1341.27/1319.45	o 85
1342.58/1320.72	o 84
1343.88/1322.03	o 83
1345.18/1323.34	o 82
1346.48/1324.65	o 81
1347.78/1325.96	o 80
1349.08/1327.27	o 79
1350.38/1328.58	o 78
1351.68/1329.89	o 77
1353.08/1331.20	o 76
1354.38/1332.51	o 75
1355.69/1333.82	o 74
1357.00/1335.13	o 73
1358.29/1336.45	o 72
1359.59/1337.76	o 71
1360.90/1339.07	o 70
1362.19/1340.37	o 69
1363.49/1341.68	o 68
1364.79/1342.99	o 67
1366.19/1344.31	o 66
1367.54/1345.64	o 65
1368.88/1346.93	o 64
1370.18/1348.24	o 63
1371.48/1349.54	o 62
1372.79/1350.86	o 61
1374.29/1352.18	o 60
1375.58/1353.49	o 59
1376.88/1354.80	o 58
1378.19/1356.10	o 57
1379.58/1357.42	o 56
1380.88/1358.72	o 55
1382.19/1360.04	o 54
1383.48/1361.36	o 53
1384.78/1362.67	o 52
1386.08/1363.98	o 51
1387.38/1365.29	o 50
1388.82/1366.65	o 49
1390.12/1367.94	o 48
1391.42/1369.25	o 47
1392.78/1370.57	o 46
1394.08/1371.88	o 45
1395.56/1373.24	o 44
1396.86/1374.55	o 43
1400.08/1377.56	o 42
1414.48/1391.91	o 41
2520.02/2487.40	s SATISFIABLE
2520.02/2487.40	v <instantiation>
2520.02/2487.40	v 	<list>
2520.02/2487.40	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.02/2487.40	v 	</list>
2520.02/2487.40	v 	<values>
2520.02/2487.40	v 		5 4 11 35 16 3 17 2 36 15 22 25 14 20 8 1 37 39 9 38 26 23 32 0 10 24 12 13 30 6 31 7 34 18 27 29 19 21 40 28 19 3 25 40 4 27 36 18 34 41 38 31 16 37 14 13 29 23 22 20 5 39 7 32 33 28 8 26 0 35 2 12 21 1 10 9 11 6 24 30 12 26 24 19 41 31 13 4 23 1 37 34 0 22 20 25 32 9 38 36 35 11 10 3 21 5 27 40 6 29 8 16 18 2 15 17 39 7 30 33 39 34 33 15 8 20 14 23 41 32 5 21 6 9 24 17 25 28 36 18 16 3 4 30 22 19 0 11 37 38 40 10 29 7 12 13 27 26 31 2 11 12 16 28 24 7 31 3 25 38 33 32 18 1 40 5 22 10 37 2 30 35 27 4 29 13 41 36 34 23 39 15 8 21 0 14 26 19 20 6 14 20 1 32 35 26 25 12 13 24 0 37 10 34 27 19 28 7 17 31 2 38 9 16 3 36 4 15 33 5 21 8 39 29 11 22 18 41 23 40 10 30 4 1 21 6 28 26 38 8 9 36 12 0 37 24 35 33 19 27 18 40 20 39 13 3 2 23 15 34 16 41 5 14 17 7 32 31 25 29 20 22 30 12 7 41 29 35 21 25 28 2 32 38 36 3 1 5 39 10 34 8 26 40 14 9 6 24 17 37 33 27 16 0 4 23 31 11 15 19 34 29 31 24 1 0 22 17 5 23 40 33 15 26 12 28 39 19 41 6 27 21 38 36 2 7 13 37 25 30 35 4 14 3 32 18 9 20 8 16 32 16 29 33 15 25 40 37 19 36 13 11 38 18 28 12 20 0 31 41 8 14 5 24 9 27 17 3 7 4 22 35 1 10 23 6 21 39 34 26 9 37 14 36 18 10 41 16 12 22 6 40 39 21 15 35 34 29 28 3 4 13 17 1 5 0 11 7 19 25 38 26 2 30 20 24 33 23 32 27 4 24 35 6 36 39 32 9 14 33 19 5 31 7 17 40 18 15 34 28 12 41 29 10 0 11 25 2 16 21 1 22 23 20 8 30 37 38 13 3 3 9 21 27 6 40 20 13 0 29 24 15 41 31 11 23 7 34 26 22 17 33 14 35 18 8 5 25 4 12 10 28 30 32 1 2 38 16 19 39 22 40 41 11 2 13 16 8 9 31 17 12 3 32 7 37 36 18 23 19 10 34 6 15 20 4 1 27 38 0 26 39 33 28 30 35 29 5 14 25 13 27 6 31 34 4 23 36 18 21 11 3 9 30 2 10 16 24 12 7 1 0 8 20 39 37 15 38 32 17 25 29 22 41 19 26 28 40 33 5 35 5 23 21 19 1 34 0 37 11 16 29 36 41 6 2 14 8 10 33 15 18 24 38 30 17 40 20 9 28 4 32 27 12 3 25 13 22 39 7 2 18 32 16 17 29 27 1 39 30 41 24 35 10 33 14 4 3 11 13 19 37 28 12 36 34 31 5 22 26 7 6 38 8 9 40 15 0 21 20 37 38 19 26 0 11 39 41 20 13 18 7 25 29 35 21 12 27 8 15 24 6 30 5 4 1 16 34 14 31 23 2 17 22 28 3 40 33 10 32 8 15 26 0 27 35 30 25 3 7 29 28 22 14 41 36 40 13 6 17 32 16 1 31 12 2 19 33 39 10 37 21 11 38 18 5 20 34 4 9 6 31 12 4 39 38 8 24 10 14 36 27 7 2 21 18 19 30 20 1 0 22 23 34 15 29 26 35 5 40 13 3 28 11 25 32 17 9 16 37 18 25 28 23 29 37 9 22 7 6 34 35 20 8 10 33 5 38 40 39 21 4 31 11 27 14 32 19 13 15 0 24 26 16 41 36 2 30 3 12 1 39 20 2 28 23 15 19 32 27 35 16 5 12 26 34 6 4 29 21 11 7 25 14 38 10 30 9 8 41 18 17 24 40 37 31 3 13 0 36 40 1 7 25 23 28 6 33 4 35 14 41 30 17 9 32 31 2 21 26 20 36 15 13 11 22 37 16 29 27 3 19 0 24 5 10 34 12 18 38 0 13 39 37 38 30 19 10 35 4 15 9 34 5 23 8 26 22 14 24 36 20 41 29 25 40 3 18 11 2 17 33 7 31 16 27 12 1 6 21 41 19 27 8 5 16 11 34 1 12 3 20 21 40 32 7 10 31 18 30 23 17 2 28 6 33 38 29 35 24 15 9 25 36 13 0 22 4 26 14 23 11 0 38 33 32 10 21 22 9 12 6 17 3 31 30 8 36 5 40 13 27 37 18 19 25 14 39 26 16 28 20 35 4 24 15 7 29 41 1 29 10 36 18 9 19 5 28 24 26 1 13 11 35 22 6 2 21 30 8 37 31 33 41 16 32 20 4 3 14 27 38 40 17 34 39 23 25 12 0 38 36 2 22 11 21 1 32 28 37 10 19 33 4 18 39 0 16 35 25 3 9 34 7 40 23 29 31 24 13 14 30 41 15 6 20 8 27 5 17 28 23 40 34 32 36 24 30 2 5 7 17 8 33 4 38 13 12 3 16 25 15 11 19 31 26 35 0 18 9 29 1 20 37 39 21 41 14 22 10 7 2 3 9 12 17 18 29 31 10 30 23 37 11 25 22 24 26 27 5 40 28 39 6 8 16 36 1 21 20 41 13 4 34 14 33 0 35 38 15 17 32 37 20 10 33 3 39 8 18 21 38 40 27 34 41 30 14 0 11 7 25 35 23 1 31 9 22 28 36 12 5 6 26 2 19 4 15 29 24 24 33 5 13 26 18 12 7 6 40 8 4 1 23 19 27 17 20 15 9 31 2 0 25 35 38 10 21 41 3 30 34 37 39 22 16 14 32 28 11 21 28 34 14 3 24 26 27 33 16 23 30 29 25 38 4 11 40 2 0 6 19 13 9 37 41 18 12 20 39 32 31 15 5 7 1 35 36 17 8 33 35 9 17 20 8 0 6 27 34 31 10 4 28 16 29 21 32 1 12 14 26 19 37 23 15 39 30 2 22 5 11 3 13 40 38 25 24 7 41 31 14 10 41 40 12 21 38 30 20 2 39 13 36 29 15 3 25 32 4 22 24 16 26 28 6 23 17 1 7 11 37 19 33 35 34 5 8 9 18 36 8 22 3 13 5 4 40 15 17 25 14 19 24 30 11 27 41 33 35 39 12 21 2 26 18 7 32 23 1 20 0 31 6 38 28 16 10 37 34 15 7 17 10 31 14 35 11 40 19 27 26 24 16 3 0 38 6 4 29 33 1 22 8 32 20 34 28 12 18 9 23 36 25 21 41 30 37 2 13 16 17 38 5 25 15 2 31 29 39 4 1 28 13 0 20 9 35 7 14 41 30 40 22 24 21 33 6 36 11 34 18 32 19 26 8 10 3 27 23 30 41 13 39 37 9 7 5 26 0 20 22 2 15 1 16 33 17 25 32 38 10 3 27 34 35 21 8 31 19 6 40 12 23 29 11 24 18 36 4 27 0 8 7 30 34 38 15 16 3 32 18 23 39 5 26 41 1 24 37 28 29 36 21 17 12 22 14 40 33 19 25 10 9 31 4 6 2 11 35 
2520.02/2487.40	v 	</values>
2520.02/2487.40	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 (10286 MiB free)
  memory of node 1: 16384 MiB (13167 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311546-1534543581/watcher-4311546-1534543581 -o /tmp/evaluation-result-4311546-1534543581/solver-4311546-1534543581 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534541043-22859 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 180123246 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311546-1534543581.xml 

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

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


[startup+0.107604 s]*
/proc/loadavg: 1.80 1.62 1.42 4/215 23269
/proc/meminfo: memFree=24000152/32770624 swapFree=67108500/67108860
[pid=23254] ppid=23251 vsize=14082736 memory=30768 CPUtime=0.13 cores=1,3,5,7
/proc/23254/stat : 23254 (java) S 23251 23254 22827 0 -1 1077944320 7184 0 0 0 11 2 0 0 20 0 15 0 271921322 14420721664 7692 33554432000 4194304 4196468 140727174474080 140727174456624 140546258087671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
/proc/23254/statm: 3520684 7692 3157 1 0 3482761 0
[pid=23254/tid=23256] ppid=23251 vsize=14082736 memory=-8773748148829851516 CPUtime=0.1 cores=1,3,5,7
/proc/23254/task/23256/stat : 23256 (java) R 23251 23254 22827 0 -1 4202560 5279 0 0 0 9 1 0 0 20 0 15 0 271921322 14420721664 7824 33554432000 4194304 4196468 140727174474080 140546262293424 140546242168158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23257] ppid=23251 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23257/stat : 23257 (java) S 23251 23254 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271921323 14420721664 7824 33554432000 4194304 4196468 140727174474080 140546229930384 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23258] ppid=23251 vsize=14082736 memory=139791156577920 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23258/stat : 23258 (java) S 23251 23254 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271921323 14420721664 7824 33554432000 4194304 4196468 140727174474080 140545852545296 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23259] ppid=23251 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23259/stat : 23259 (java) S 23251 23254 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271921323 14420721664 7824 33554432000 4194304 4196468 140727174474080 140545851493008 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23260] ppid=23251 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23260/stat : 23260 (java) S 23251 23254 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271921323 14420721664 7824 33554432000 4194304 4196468 140727174474080 140545850440208 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23261] ppid=23251 vsize=14082736 memory=139791156577920 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23261/stat : 23261 (java) S 23251 23254 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271921325 14420721664 7824 33554432000 4194304 4196468 140727174474080 140545439812208 140546258098818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23262] ppid=23251 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23262/stat : 23262 (java) S 23251 23254 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271921325 14420721664 7824 33554432000 4194304 4196468 140727174474080 140545438758176 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23263] ppid=23251 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23263/stat : 23263 (java) S 23251 23254 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271921325 14420721664 7824 33554432000 4194304 4196468 140727174474080 140545437705840 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23264] ppid=23251 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23264/stat : 23264 (java) S 23251 23254 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271921327 14420721664 7824 33554432000 4194304 4196468 140727174474080 140545436654160 140546258106267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23265] ppid=23251 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23265/stat : 23265 (java) S 23251 23254 22827 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 271921327 14420721664 7824 33554432000 4194304 4196468 140727174474080 140545435601008 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23266] ppid=23251 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23266/stat : 23266 (java) S 23251 23254 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271921327 14420721664 7824 33554432000 4194304 4196468 140727174474080 140545434548208 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23267] ppid=23251 vsize=14082736 memory=139791156577920 CPUtime=0.01 cores=1,3,5,7
/proc/23254/task/23267/stat : 23267 (java) R 23251 23254 22827 0 -1 4202560 326 0 0 0 1 0 0 0 20 0 15 0 271921327 14420721664 7824 33554432000 4194304 4196468 140727174474080 140545433495920 140546236736881 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23268] ppid=23251 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23268/stat : 23268 (java) S 23251 23254 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271921328 14420721664 7824 33554432000 4194304 4196468 140727174474080 140545432443360 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23269] ppid=23251 vsize=14082736 memory=139791156577920 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23269/stat : 23269 (java) S 23251 23254 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271921328 14420721664 7824 33554432000 4194304 4196468 140727174474080 140545431391152 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30768 KiB

[startup+0.214485 s]*
/proc/loadavg: 1.80 1.62 1.42 5/215 23269
/proc/meminfo: memFree=23984028/32770624 swapFree=67108500/67108860
[pid=23254] ppid=23251 vsize=14082736 memory=45580 CPUtime=0.31 cores=1,3,5,7
/proc/23254/stat : 23254 (java) S 23251 23254 22827 0 -1 1077944320 10602 0 0 0 28 3 0 0 20 0 15 0 271921322 14420721664 11395 33554432000 4194304 4196468 140727174474080 140727174456624 140546258087671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
/proc/23254/statm: 3520684 11395 3374 1 0 3482761 0
[pid=23254/tid=23256] ppid=23251 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/23254/task/23256/stat : 23256 (java) R 23251 23254 22827 0 -1 4202560 8130 0 0 0 18 2 0 0 20 0 15 0 271921322 14420721664 11395 33554432000 4194304 4196468 140727174474080 140546262312848 140546239497821 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23257] ppid=23251 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23257/stat : 23257 (java) S 23251 23254 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271921323 14420721664 11395 33554432000 4194304 4196468 140727174474080 140546229930384 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23258] ppid=23251 vsize=14082736 memory=139791158002941 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23258/stat : 23258 (java) S 23251 23254 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271921323 14420721664 11395 33554432000 4194304 4196468 140727174474080 140545852545296 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23259] ppid=23251 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23259/stat : 23259 (java) S 23251 23254 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271921323 14420721664 11395 33554432000 4194304 4196468 140727174474080 140545851493008 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23260] ppid=23251 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23260/stat : 23260 (java) S 23251 23254 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271921323 14420721664 11395 33554432000 4194304 4196468 140727174474080 140545850440208 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23261] ppid=23251 vsize=14082736 memory=139791156577920 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23261/stat : 23261 (java) S 23251 23254 22827 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271921325 14420721664 11395 33554432000 4194304 4196468 140727174474080 140545439812208 140546258098818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23262] ppid=23251 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23262/stat : 23262 (java) S 23251 23254 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271921325 14420721664 11395 33554432000 4194304 4196468 140727174474080 140545438758176 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23263] ppid=23251 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23263/stat : 23263 (java) S 23251 23254 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271921325 14420721664 11395 33554432000 4194304 4196468 140727174474080 140545437705840 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23264] ppid=23251 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23264/stat : 23264 (java) S 23251 23254 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271921327 14420721664 11395 33554432000 4194304 4196468 140727174474080 140545436654160 140546258106267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23265] ppid=23251 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23254/task/23265/stat : 23265 (java) R 23251 23254 22827 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 15 0 271921327 14420721664 11395 33554432000 4194304 4196468 140727174474080 140545435601008 140546258098818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23266] ppid=23251 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/23254/task/23266/stat : 23266 (java) S 23251 23254 22827 0 -1 1077944384 180 0 0 0 1 0 0 0 20 0 15 0 271921327 14420721664 11395 33554432000 4194304 4196468 140727174474080 140545434548208 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23267] ppid=23251 vsize=14082736 memory=139791156577920 CPUtime=0.06 cores=1,3,5,7
/proc/23254/task/23267/stat : 23267 (java) R 23251 23254 22827 0 -1 4202560 459 0 0 0 6 0 0 0 20 0 15 0 271921327 14420721664 11395 33554432000 4194304 4196468 140727174474080 140545433495920 140546242168158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23268] ppid=23251 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23268/stat : 23268 (java) S 23251 23254 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271921328 14420721664 11395 33554432000 4194304 4196468 140727174474080 140545432443360 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23269] ppid=23251 vsize=14082736 memory=139791156577920 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23269/stat : 23269 (java) S 23251 23254 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271921328 14420721664 11395 33554432000 4194304 4196468 140727174474080 140545431391152 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 45580 KiB

[startup+0.310362 s]*
/proc/loadavg: 1.80 1.62 1.42 4/215 23269
/proc/meminfo: memFree=23979500/32770624 swapFree=67108500/67108860
[pid=23254] ppid=23251 vsize=14082736 memory=49700 CPUtime=0.45 cores=1,3,5,7
/proc/23254/stat : 23254 (java) S 23251 23254 22827 0 -1 1077944320 11042 0 0 0 41 4 0 0 20 0 15 0 271921322 14420721664 12425 33554432000 4194304 4196468 140727174474080 140727174456624 140546258087671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
/proc/23254/statm: 3520684 12425 3435 1 0 3482761 0
[pid=23254/tid=23256] ppid=23251 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/23254/task/23256/stat : 23256 (java) R 23251 23254 22827 0 -1 4202560 8486 0 0 0 27 2 0 0 20 0 15 0 271921322 14420721664 12425 33554432000 4194304 4196468 140727174474080 140546262305432 140546250324798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23257] ppid=23251 vsize=14082736 memory=304556161963917335 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23257/stat : 23257 (java) S 23251 23254 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271921323 14420721664 12425 33554432000 4194304 4196468 140727174474080 140546229930384 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23258] ppid=23251 vsize=14082736 memory=139791158000095 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23258/stat : 23258 (java) S 23251 23254 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271921323 14420721664 12425 33554432000 4194304 4196468 140727174474080 140545852545296 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23259] ppid=23251 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23259/stat : 23259 (java) S 23251 23254 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271921323 14420721664 12425 33554432000 4194304 4196468 140727174474080 140545851493008 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23260] ppid=23251 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23260/stat : 23260 (java) S 23251 23254 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271921323 14420721664 12425 33554432000 4194304 4196468 140727174474080 140545850440208 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23261] ppid=23251 vsize=14082736 memory=139791156577920 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23261/stat : 23261 (java) S 23251 23254 22827 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271921325 14420721664 12425 33554432000 4194304 4196468 140727174474080 140545439812208 140546258098818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23262] ppid=23251 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23262/stat : 23262 (java) S 23251 23254 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271921325 14420721664 12425 33554432000 4194304 4196468 140727174474080 140545438758176 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23263] ppid=23251 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23263/stat : 23263 (java) S 23251 23254 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271921325 14420721664 12476 33554432000 4194304 4196468 140727174474080 140545437705840 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23264] ppid=23251 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23264/stat : 23264 (java) S 23251 23254 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271921327 14420721664 12476 33554432000 4194304 4196468 140727174474080 140545436654160 140546258106267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23265] ppid=23251 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23254/task/23265/stat : 23265 (java) S 23251 23254 22827 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 15 0 271921327 14420721664 12476 33554432000 4194304 4196468 140727174474080 140545435601008 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23266] ppid=23251 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23254/task/23266/stat : 23266 (java) S 23251 23254 22827 0 -1 1077944384 203 0 0 0 2 0 0 0 20 0 15 0 271921327 14420721664 12476 33554432000 4194304 4196468 140727174474080 140545434548208 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23267] ppid=23251 vsize=14082736 memory=139791156577920 CPUtime=0.08 cores=1,3,5,7
/proc/23254/task/23267/stat : 23267 (java) S 23251 23254 22827 0 -1 1077944384 503 0 0 0 8 0 0 0 20 0 15 0 271921327 14420721664 12476 33554432000 4194304 4196468 140727174474080 140545433495920 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23268] ppid=23251 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23268/stat : 23268 (java) S 23251 23254 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271921328 14420721664 12476 33554432000 4194304 4196468 140727174474080 140545432443360 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23269] ppid=23251 vsize=14082736 memory=139791156577920 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23269/stat : 23269 (java) S 23251 23254 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271921328 14420721664 12476 33554432000 4194304 4196468 140727174474080 140545431391152 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 49700 KiB

[startup+0.700697 s]
/proc/loadavg: 1.80 1.62 1.42 3/215 23269
/proc/meminfo: memFree=23955688/32770624 swapFree=67108500/67108860
[pid=23254] ppid=23251 vsize=14084804 memory=88308 CPUtime=0.99 cores=1,3,5,7
/proc/23254/stat : 23254 (java) S 23251 23254 22827 0 -1 1077944320 17949 0 0 0 93 6 0 0 20 0 15 0 271921322 14422839296 22077 33554432000 4194304 4196468 140727174474080 140727174456624 140546258087671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
/proc/23254/statm: 3521201 22077 3499 1 0 3483273 0
[pid=23254/tid=23256] ppid=23251 vsize=14084804 memory=1752 CPUtime=0.68 cores=1,3,5,7
/proc/23254/task/23256/stat : 23256 (java) R 23251 23254 22827 0 -1 4202560 14921 0 0 0 63 5 0 0 20 0 15 0 271921322 14422839296 22077 33554432000 4194304 4196468 140727174474080 140546262302944 140546258109597 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23257] ppid=23251 vsize=14084804 memory=748 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23257/stat : 23257 (java) S 23251 23254 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271921323 14422839296 22077 33554432000 4194304 4196468 140727174474080 140546229930384 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23258] ppid=23251 vsize=14084804 memory=1820 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23258/stat : 23258 (java) S 23251 23254 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271921323 14422839296 22077 33554432000 4194304 4196468 140727174474080 140545852545296 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23259] ppid=23251 vsize=14084804 memory=4296 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23259/stat : 23259 (java) S 23251 23254 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271921323 14422839296 22077 33554432000 4194304 4196468 140727174474080 140545851493008 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23260] ppid=23251 vsize=14084804 memory=3480 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23260/stat : 23260 (java) S 23251 23254 22827 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271921323 14422839296 22077 33554432000 4194304 4196468 140727174474080 140545850440208 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23261] ppid=23251 vsize=14084804 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23261/stat : 23261 (java) S 23251 23254 22827 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271921325 14422839296 22077 33554432000 4194304 4196468 140727174474080 140545439812208 140546258098818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23262] ppid=23251 vsize=14084804 memory=10212 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23262/stat : 23262 (java) S 23251 23254 22827 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271921325 14422839296 22077 33554432000 4194304 4196468 140727174474080 140545438758176 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23263] ppid=23251 vsize=14084804 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23263/stat : 23263 (java) S 23251 23254 22827 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271921325 14422839296 22077 33554432000 4194304 4196468 140727174474080 140545437705840 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23264] ppid=23251 vsize=14084804 memory=6404 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23264/stat : 23264 (java) S 23251 23254 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271921327 14422839296 22077 33554432000 4194304 4196468 140727174474080 140545436654160 140546258106267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23265] ppid=23251 vsize=14084804 memory=6297835844906604903 CPUtime=0.07 cores=1,3,5,7
/proc/23254/task/23265/stat : 23265 (java) S 23251 23254 22827 0 -1 1077944384 612 0 0 0 7 0 0 0 20 0 15 0 271921327 14422839296 22077 33554432000 4194304 4196468 140727174474080 140545435601008 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23266] ppid=23251 vsize=14084804 memory=8099279071866868840 CPUtime=0.08 cores=1,3,5,7
/proc/23254/task/23266/stat : 23266 (java) S 23251 23254 22827 0 -1 1077944384 374 0 0 0 8 0 0 0 20 0 15 0 271921327 14422839296 22077 33554432000 4194304 4196468 140727174474080 140545434548208 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23267] ppid=23251 vsize=14084804 memory=4641330296368681044 CPUtime=0.14 cores=1,3,5,7
/proc/23254/task/23267/stat : 23267 (java) S 23251 23254 22827 0 -1 1077944384 660 0 0 0 14 0 0 0 20 0 15 0 271921327 14422839296 22077 33554432000 4194304 4196468 140727174474080 140545433495920 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23268] ppid=23251 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23268/stat : 23268 (java) S 23251 23254 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271921328 14422839296 22077 33554432000 4194304 4196468 140727174474080 140545432443360 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23269] ppid=23251 vsize=14084804 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23269/stat : 23269 (java) S 23251 23254 22827 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271921328 14422839296 22077 33554432000 4194304 4196468 140727174474080 140545431391152 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88308 KiB

[startup+1.50164 s]
/proc/loadavg: 1.82 1.63 1.43 6/215 23269
/proc/meminfo: memFree=23886564/32770624 swapFree=67108500/67108860
[pid=23254] ppid=23251 vsize=14086852 memory=256364 CPUtime=3.39 cores=1,3,5,7
/proc/23254/stat : 23254 (java) S 23251 23254 22827 0 -1 1077944320 24166 0 0 0 327 12 0 0 20 0 15 0 271921322 14424936448 64091 33554432000 4194304 4196468 140727174474080 140727174456624 140546258087671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
/proc/23254/statm: 3521713 64091 3566 1 0 3483785 0
[pid=23254/tid=23256] ppid=23251 vsize=14086852 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/23254/task/23256/stat : 23256 (java) R 23251 23254 22827 0 -1 4202560 15614 0 0 0 137 6 0 0 20 0 15 0 271921322 14424936448 64091 33554432000 4194304 4196468 140727174474080 140546262321912 140545897870225 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23257] ppid=23251 vsize=14086852 memory=-8253362762724047225 CPUtime=0.03 cores=1,3,5,7
/proc/23254/task/23257/stat : 23257 (java) S 23251 23254 22827 0 -1 1077944384 169 0 0 0 2 1 0 0 20 0 15 0 271921323 14424936448 64091 33554432000 4194304 4196468 140727174474080 140546229930384 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23258] ppid=23251 vsize=14086852 memory=-8609294073281748341 CPUtime=0.02 cores=1,3,5,7
/proc/23254/task/23258/stat : 23258 (java) S 23251 23254 22827 0 -1 1077944384 254 0 0 0 2 0 0 0 20 0 15 0 271921323 14424936448 64091 33554432000 4194304 4196468 140727174474080 140545852545296 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23259] ppid=23251 vsize=14086852 memory=-6517102902069810590 CPUtime=0.01 cores=1,3,5,7
/proc/23254/task/23259/stat : 23259 (java) S 23251 23254 22827 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 15 0 271921323 14424936448 64091 33554432000 4194304 4196468 140727174474080 140545851493008 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23260] ppid=23251 vsize=14086852 memory=4134692831991786133 CPUtime=0.03 cores=1,3,5,7
/proc/23254/task/23260/stat : 23260 (java) S 23251 23254 22827 0 -1 1077944384 132 0 0 0 2 1 0 0 20 0 15 0 271921323 14424936448 64091 33554432000 4194304 4196468 140727174474080 140545850440208 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23261] ppid=23251 vsize=14086852 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23261/stat : 23261 (java) S 23251 23254 22827 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 15 0 271921325 14424936448 64091 33554432000 4194304 4196468 140727174474080 140545439812208 140546258098818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0

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

/proc/23254/task/23256/stat : 23256 (java) R 23251 23254 22827 0 -1 4202560 616387 0 0 0 231418 96 0 0 20 0 15 0 271921322 14429130752 586824 33554432000 4194304 4196468 140727174474080 140546262325344 140545899294432 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23257] ppid=23251 vsize=14090948 memory=2347296 CPUtime=6.94 cores=1,3,5,7
/proc/23254/task/23257/stat : 23257 (java) S 23251 23254 22827 0 -1 1077944384 48902 0 0 0 603 91 0 0 20 0 15 0 271921323 14429130752 586824 33554432000 4194304 4196468 140727174474080 140546229930384 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23258] ppid=23251 vsize=14090948 memory=2371920 CPUtime=6.95 cores=1,3,5,7
/proc/23254/task/23258/stat : 23258 (java) S 23251 23254 22827 0 -1 1077944384 56412 0 0 0 606 89 0 0 20 0 15 0 271921323 14429130752 586824 33554432000 4194304 4196468 140727174474080 140545852545296 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23259] ppid=23251 vsize=14090948 memory=2372432 CPUtime=6.96 cores=1,3,5,7
/proc/23254/task/23259/stat : 23259 (java) S 23251 23254 22827 0 -1 1077944384 49018 0 0 0 606 90 0 0 20 0 15 0 271921323 14429130752 586824 33554432000 4194304 4196468 140727174474080 140545851493008 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23260] ppid=23251 vsize=14090948 memory=2371920 CPUtime=6.95 cores=1,3,5,7
/proc/23254/task/23260/stat : 23260 (java) S 23251 23254 22827 0 -1 1077944384 53071 0 0 0 603 92 0 0 20 0 15 0 271921323 14429130752 586824 33554432000 4194304 4196468 140727174474080 140545850440208 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23261] ppid=23251 vsize=14090948 memory=2397056 CPUtime=0.35 cores=1,3,5,7
/proc/23254/task/23261/stat : 23261 (java) S 23251 23254 22827 0 -1 1077944384 14143 0 0 0 26 9 0 0 20 0 15 0 271921325 14429130752 586824 33554432000 4194304 4196468 140727174474080 140545439812208 140546258098818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23262] ppid=23251 vsize=14090948 memory=2371920 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23262/stat : 23262 (java) S 23251 23254 22827 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 271921325 14429130752 586824 33554432000 4194304 4196468 140727174474080 140545438758240 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23263] ppid=23251 vsize=14090948 memory=2371920 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23263/stat : 23263 (java) S 23251 23254 22827 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 271921325 14429130752 586824 33554432000 4194304 4196468 140727174474080 140545437705856 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23264] ppid=23251 vsize=14090948 memory=2347296 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23264/stat : 23264 (java) S 23251 23254 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271921327 14429130752 586824 33554432000 4194304 4196468 140727174474080 140545436654160 140546258106267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23265] ppid=23251 vsize=14090948 memory=2347296 CPUtime=3.97 cores=1,3,5,7
/proc/23254/task/23265/stat : 23265 (java) S 23251 23254 22827 0 -1 1077944384 16092 0 0 0 395 2 0 0 20 0 15 0 271921327 14429130752 586824 33554432000 4194304 4196468 140727174474080 140545435601008 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23266] ppid=23251 vsize=14090948 memory=2347296 CPUtime=3.76 cores=1,3,5,7
/proc/23254/task/23266/stat : 23266 (java) S 23251 23254 22827 0 -1 1077944384 18686 0 0 0 374 2 0 0 20 0 15 0 271921327 14429130752 586824 33554432000 4194304 4196468 140727174474080 140545434548208 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23267] ppid=23251 vsize=14090948 memory=2347296 CPUtime=1.07 cores=1,3,5,7
/proc/23254/task/23267/stat : 23267 (java) S 23251 23254 22827 0 -1 1077944384 19841 0 0 0 104 3 0 0 20 0 15 0 271921327 14429130752 586824 33554432000 4194304 4196468 140727174474080 140545433495920 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23268] ppid=23251 vsize=14090948 memory=6404 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23268/stat : 23268 (java) S 23251 23254 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271921328 14429130752 586824 33554432000 4194304 4196468 140727174474080 140545432443360 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23269] ppid=23251 vsize=14090948 memory=864 CPUtime=1.38 cores=1,3,5,7
/proc/23254/task/23269/stat : 23269 (java) S 23251 23254 22827 0 -1 1077944384 1412 0 0 0 55 83 0 0 20 0 15 0 271921328 14429130752 586824 33554432000 4194304 4196468 140727174474080 140545431391152 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
Current children cumulated CPU time: 2353.55 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2347296 KiB

[startup+2382.3 s]
/proc/loadavg: 1.42 1.54 1.58 3/215 23344
/proc/meminfo: memFree=21807816/32770624 swapFree=67108500/67108860
[pid=23254] ppid=23251 vsize=14090948 memory=2226228 CPUtime=2413.9 cores=1,3,5,7
/proc/23254/stat : 23254 (java) S 23251 23254 22827 0 -1 1077944320 900317 0 0 0 240843 547 0 0 20 0 15 0 271921322 14429130752 556557 33554432000 4194304 4196468 140727174474080 140727174456624 140546258087671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
/proc/23254/statm: 3522737 556557 3611 1 0 3484809 0
[pid=23254/tid=23256] ppid=23251 vsize=14090948 memory=2226228 CPUtime=2375.04 cores=1,3,5,7
/proc/23254/task/23256/stat : 23256 (java) R 23251 23254 22827 0 -1 4202560 617488 0 0 0 237407 97 0 0 20 0 15 0 271921322 14429130752 556557 33554432000 4194304 4196468 140727174474080 140546262325344 140545899294492 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23257] ppid=23251 vsize=14090948 memory=279582104804192 CPUtime=7.04 cores=1,3,5,7
/proc/23254/task/23257/stat : 23257 (java) S 23251 23254 22827 0 -1 1077944384 49661 0 0 0 613 91 0 0 20 0 15 0 271921323 14429130752 556557 33554432000 4194304 4196468 140727174474080 140546229930384 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23258] ppid=23251 vsize=14090948 memory=2241104 CPUtime=7.05 cores=1,3,5,7
/proc/23254/task/23258/stat : 23258 (java) S 23251 23254 22827 0 -1 1077944384 57481 0 0 0 616 89 0 0 20 0 15 0 271921323 14429130752 556557 33554432000 4194304 4196468 140727174474080 140545852545296 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23259] ppid=23251 vsize=14090948 memory=2241104 CPUtime=7.06 cores=1,3,5,7
/proc/23254/task/23259/stat : 23259 (java) S 23251 23254 22827 0 -1 1077944384 50089 0 0 0 616 90 0 0 20 0 15 0 271921323 14429130752 556557 33554432000 4194304 4196468 140727174474080 140545851493008 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23260] ppid=23251 vsize=14090948 memory=2259060 CPUtime=7.05 cores=1,3,5,7
/proc/23254/task/23260/stat : 23260 (java) S 23251 23254 22827 0 -1 1077944384 53699 0 0 0 613 92 0 0 20 0 15 0 271921323 14429130752 556557 33554432000 4194304 4196468 140727174474080 140545850440208 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23261] ppid=23251 vsize=14090948 memory=2241620 CPUtime=0.36 cores=1,3,5,7
/proc/23254/task/23261/stat : 23261 (java) S 23251 23254 22827 0 -1 1077944384 14391 0 0 0 27 9 0 0 20 0 15 0 271921325 14429130752 556557 33554432000 4194304 4196468 140727174474080 140545439812208 140546258098818 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23262] ppid=23251 vsize=14090948 memory=2241104 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23262/stat : 23262 (java) S 23251 23254 22827 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 271921325 14429130752 556557 33554432000 4194304 4196468 140727174474080 140545438758240 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23263] ppid=23251 vsize=14090948 memory=2226228 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23263/stat : 23263 (java) S 23251 23254 22827 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 271921325 14429130752 556557 33554432000 4194304 4196468 140727174474080 140545437705856 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23264] ppid=23251 vsize=14090948 memory=2241104 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23264/stat : 23264 (java) S 23251 23254 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271921327 14429130752 556557 33554432000 4194304 4196468 140727174474080 140545436654160 140546258106267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23265] ppid=23251 vsize=14090948 memory=279582104886880 CPUtime=3.97 cores=1,3,5,7
/proc/23254/task/23265/stat : 23265 (java) S 23251 23254 22827 0 -1 1077944384 16096 0 0 0 395 2 0 0 20 0 15 0 271921327 14429130752 556557 33554432000 4194304 4196468 140727174474080 140545435601008 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23266] ppid=23251 vsize=14090948 memory=2226228 CPUtime=3.77 cores=1,3,5,7
/proc/23254/task/23266/stat : 23266 (java) S 23251 23254 22827 0 -1 1077944384 18691 0 0 0 374 3 0 0 20 0 15 0 271921327 14429130752 556557 33554432000 4194304 4196468 140727174474080 140545434548208 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23267] ppid=23251 vsize=14090948 memory=2241104 CPUtime=1.07 cores=1,3,5,7
/proc/23254/task/23267/stat : 23267 (java) S 23251 23254 22827 0 -1 1077944384 19849 0 0 0 104 3 0 0 20 0 15 0 271921327 14429130752 556557 33554432000 4194304 4196468 140727174474080 140545433495920 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23268] ppid=23251 vsize=14090948 memory=2226228 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23268/stat : 23268 (java) S 23251 23254 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271921328 14429130752 556557 33554432000 4194304 4196468 140727174474080 140545432443360 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23269] ppid=23251 vsize=14090948 memory=864 CPUtime=1.41 cores=1,3,5,7
/proc/23254/task/23269/stat : 23269 (java) S 23251 23254 22827 0 -1 1077944384 1440 0 0 0 56 85 0 0 20 0 15 0 271921328 14429130752 556557 33554432000 4194304 4196468 140727174474080 140545431391152 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
Current children cumulated CPU time: 2413.9 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2226228 KiB

[startup+2442.3 s]
/proc/loadavg: 1.50 1.54 1.58 3/215 23345
/proc/meminfo: memFree=21874532/32770624 swapFree=67108500/67108860
[pid=23254] ppid=23251 vsize=14090948 memory=2160052 CPUtime=2474.32 cores=1,3,5,7
/proc/23254/stat : 23254 (java) S 23251 23254 22827 0 -1 1077944320 905191 0 0 0 246883 549 0 0 20 0 15 0 271921322 14429130752 540013 33554432000 4194304 4196468 140727174474080 140727174456624 140546258087671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
/proc/23254/statm: 3522737 540013 3611 1 0 3484809 0
[pid=23254/tid=23256] ppid=23251 vsize=14090948 memory=2160564 CPUtime=2434.9 cores=1,3,5,7
/proc/23254/task/23256/stat : 23256 (java) R 23251 23254 22827 0 -1 4202560 618567 0 0 0 243393 97 0 0 20 0 15 0 271921322 14429130752 540013 33554432000 4194304 4196468 140727174474080 140546262325456 140545899294421 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23257] ppid=23251 vsize=14090948 memory=13468 CPUtime=7.16 cores=1,3,5,7
/proc/23254/task/23257/stat : 23257 (java) S 23251 23254 22827 0 -1 1077944384 50757 0 0 0 625 91 0 0 20 0 15 0 271921323 14429130752 540013 33554432000 4194304 4196468 140727174474080 140546229930384 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23258] ppid=23251 vsize=14090948 memory=3992 CPUtime=7.18 cores=1,3,5,7
/proc/23254/task/23258/stat : 23258 (java) S 23251 23254 22827 0 -1 1077944384 58558 0 0 0 629 89 0 0 20 0 15 0 271921323 14429130752 540013 33554432000 4194304 4196468 140727174474080 140545852545296 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23259] ppid=23251 vsize=14090948 memory=2160052 CPUtime=7.2 cores=1,3,5,7
/proc/23254/task/23259/stat : 23259 (java) S 23251 23254 22827 0 -1 1077944384 50776 0 0 0 629 91 0 0 20 0 15 0 271921323 14429130752 540013 33554432000 4194304 4196468 140727174474080 140545851493008 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23260] ppid=23251 vsize=14090948 memory=864 CPUtime=7.18 cores=1,3,5,7
/proc/23254/task/23260/stat : 23260 (java) S 23251 23254 22827 0 -1 1077944384 54341 0 0 0 626 92 0 0 20 0 15 0 271921323 14429130752 540013 33554432000 4194304 4196468 140727174474080 140545850440208 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23261] ppid=23251 vsize=14090948 memory=2160564 CPUtime=0.37 cores=1,3,5,7
/proc/23254/task/23261/stat : 23261 (java) S 23251 23254 22827 0 -1 1077944384 14651 0 0 0 28 9 0 0 20 0 15 0 271921325 14429130752 540013 33554432000 4194304 4196468 140727174474080 140545439812208 140546258098818 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23262] ppid=23251 vsize=14090948 memory=2180572 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23262/stat : 23262 (java) S 23251 23254 22827 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 271921325 14429130752 540013 33554432000 4194304 4196468 140727174474080 140545438758240 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23263] ppid=23251 vsize=14090948 memory=2172876 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23263/stat : 23263 (java) S 23251 23254 22827 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 271921325 14429130752 540013 33554432000 4194304 4196468 140727174474080 140545437705856 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23264] ppid=23251 vsize=14090948 memory=2166720 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23264/stat : 23264 (java) S 23251 23254 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271921327 14429130752 540013 33554432000 4194304 4196468 140727174474080 140545436654160 140546258106267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23265] ppid=23251 vsize=14090948 memory=2166720 CPUtime=3.97 cores=1,3,5,7
/proc/23254/task/23265/stat : 23265 (java) S 23251 23254 22827 0 -1 1077944384 16099 0 0 0 395 2 0 0 20 0 15 0 271921327 14429130752 540013 33554432000 4194304 4196468 140727174474080 140545435601008 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23266] ppid=23251 vsize=14090948 memory=2160564 CPUtime=3.77 cores=1,3,5,7
/proc/23254/task/23266/stat : 23266 (java) S 23251 23254 22827 0 -1 1077944384 18693 0 0 0 374 3 0 0 20 0 15 0 271921327 14429130752 540013 33554432000 4194304 4196468 140727174474080 140545434548208 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23267] ppid=23251 vsize=14090948 memory=2160052 CPUtime=1.07 cores=1,3,5,7
/proc/23254/task/23267/stat : 23267 (java) S 23251 23254 22827 0 -1 1077944384 19852 0 0 0 104 3 0 0 20 0 15 0 271921327 14429130752 540013 33554432000 4194304 4196468 140727174474080 140545433495920 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23268] ppid=23251 vsize=14090948 memory=2160052 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23268/stat : 23268 (java) S 23251 23254 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271921328 14429130752 540013 33554432000 4194304 4196468 140727174474080 140545432443360 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23269] ppid=23251 vsize=14090948 memory=2200580 CPUtime=1.45 cores=1,3,5,7
/proc/23254/task/23269/stat : 23269 (java) S 23251 23254 22827 0 -1 1077944384 1465 0 0 0 58 87 0 0 20 0 15 0 271921328 14429130752 540013 33554432000 4194304 4196468 140727174474080 140545431391152 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
Current children cumulated CPU time: 2474.32 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2160052 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2487.4 s]
/proc/loadavg: 1.95 1.64 1.61 3/215 23423
/proc/meminfo: memFree=21425628/32770624 swapFree=67108500/67108860
[pid=23254] ppid=23251 vsize=14090948 memory=2146616 CPUtime=2520.02 cores=1,3,5,7
/proc/23254/stat : 23254 (java) S 23251 23254 22827 0 -1 1077944320 908522 0 0 0 251450 552 0 0 20 0 15 0 271921322 14429130752 536654 33554432000 4194304 4196468 140727174474080 140727174456624 140546258087671 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
/proc/23254/statm: 3522737 536654 3611 1 0 3484809 0
[pid=23254/tid=23256] ppid=23251 vsize=14090948 memory=2108 CPUtime=2479.8 cores=1,3,5,7
/proc/23254/task/23256/stat : 23256 (java) R 23251 23254 22827 0 -1 4202560 619511 0 0 0 247883 97 0 0 20 0 15 0 271921322 14429130752 536654 33554432000 4194304 4196468 140727174474080 140546262325344 140545904389456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23257] ppid=23251 vsize=14090948 memory=924 CPUtime=7.35 cores=1,3,5,7
/proc/23254/task/23257/stat : 23257 (java) S 23251 23254 22827 0 -1 1077944384 51449 0 0 0 644 91 0 0 20 0 15 0 271921323 14429130752 536654 33554432000 4194304 4196468 140727174474080 140546229930384 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23258] ppid=23251 vsize=14090948 memory=6791534058613427641 CPUtime=7.37 cores=1,3,5,7
/proc/23254/task/23258/stat : 23258 (java) S 23251 23254 22827 0 -1 1077944384 59046 0 0 0 648 89 0 0 20 0 15 0 271921323 14429130752 536654 33554432000 4194304 4196468 140727174474080 140545852545296 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23259] ppid=23251 vsize=14090948 memory=924 CPUtime=7.38 cores=1,3,5,7
/proc/23254/task/23259/stat : 23259 (java) S 23251 23254 22827 0 -1 1077944384 51398 0 0 0 647 91 0 0 20 0 15 0 271921323 14429130752 536654 33554432000 4194304 4196468 140727174474080 140545851493008 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23260] ppid=23251 vsize=14090948 memory=3816 CPUtime=7.37 cores=1,3,5,7
/proc/23254/task/23260/stat : 23260 (java) S 23251 23254 22827 0 -1 1077944384 54694 0 0 0 645 92 0 0 20 0 15 0 271921323 14429130752 536654 33554432000 4194304 4196468 140727174474080 140545850440208 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23261] ppid=23251 vsize=14090948 memory=6456 CPUtime=0.39 cores=1,3,5,7
/proc/23254/task/23261/stat : 23261 (java) S 23251 23254 22827 0 -1 1077944384 14853 0 0 0 29 10 0 0 20 0 15 0 271921325 14429130752 536654 33554432000 4194304 4196468 140727174474080 140545439812208 140546258098818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23262] ppid=23251 vsize=14090948 memory=1116 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23262/stat : 23262 (java) S 23251 23254 22827 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 271921325 14429130752 536654 33554432000 4194304 4196468 140727174474080 140545438758240 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23263] ppid=23251 vsize=14090948 memory=2132 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23263/stat : 23263 (java) S 23251 23254 22827 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 271921325 14429130752 536654 33554432000 4194304 4196468 140727174474080 140545437705856 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23264] ppid=23251 vsize=14090948 memory=1752 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23264/stat : 23264 (java) S 23251 23254 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271921327 14429130752 536654 33554432000 4194304 4196468 140727174474080 140545436654160 140546258106267 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23265] ppid=23251 vsize=14090948 memory=748 CPUtime=3.97 cores=1,3,5,7
/proc/23254/task/23265/stat : 23265 (java) S 23251 23254 22827 0 -1 1077944384 16101 0 0 0 395 2 0 0 20 0 15 0 271921327 14429130752 536654 33554432000 4194304 4196468 140727174474080 140545435601008 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23266] ppid=23251 vsize=14090948 memory=1820 CPUtime=3.77 cores=1,3,5,7
/proc/23254/task/23266/stat : 23266 (java) S 23251 23254 22827 0 -1 1077944384 18695 0 0 0 374 3 0 0 20 0 15 0 271921327 14429130752 536654 33554432000 4194304 4196468 140727174474080 140545434548208 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23267] ppid=23251 vsize=14090948 memory=4296 CPUtime=1.07 cores=1,3,5,7
/proc/23254/task/23267/stat : 23267 (java) S 23251 23254 22827 0 -1 1077944384 19855 0 0 0 104 3 0 0 20 0 15 0 271921327 14429130752 536654 33554432000 4194304 4196468 140727174474080 140545433495920 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23268] ppid=23251 vsize=14090948 memory=3480 CPUtime=0 cores=1,3,5,7
/proc/23254/task/23268/stat : 23268 (java) S 23251 23254 22827 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271921328 14429130752 536654 33554432000 4194304 4196468 140727174474080 140545432443360 140546258097877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
[pid=23254/tid=23269] ppid=23251 vsize=14090948 memory=1228 CPUtime=1.47 cores=1,3,5,7
/proc/23254/task/23269/stat : 23269 (java) S 23251 23254 22827 0 -1 1077944384 1488 0 0 0 59 88 0 0 20 0 15 0 271921328 14429130752 536654 33554432000 4194304 4196468 140727174474080 140545431391152 140546258098818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35577856 140727174476873 140727174477065 140727174477065 140727174479823 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2146616 KiB

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

[startup+2487.42 s]
# the end of solver process 23254 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.51 s, system=5.54182 s

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

Child status: 143
Real time (s): 2487.42
CPU time (s): 2520.06
CPU user time (s): 2514.51
CPU system time (s): 5.54182
CPU usage (%): 101.312
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 5521600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.51
system time used= 5.54182
maximum resident set size= 5521640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 909008
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61093
involuntary context switches= 1366


# summary of solver processes directly reported to runsolver:
#   pid: 23254
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2514.51
#   total CPU system time (s): 5.54182

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5518 second user time and 25.5563 second system time

The end

Launcher Data 

Begin job on node104 at 2018-08-18 00:06:21
IDJOB=4311546
IDBENCH=141136
IDSOLVER=2799
FILE ID=node104/4311546-1534543581
RUNJOBID= node104-1534541043-22859
PBS_JOBID= 21038643
Free space on /tmp= 47316 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
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 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4311546-1534543581/watcher-4311546-1534543581 -o /tmp/evaluation-result-4311546-1534543581/solver-4311546-1534543581 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534541043-22859 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 180123246 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311546-1534543581.xml

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

MD5SUM BENCH= d1aa36ddb66a988b2d6475ffc1d9c375
RANDOM SEED=180123246

node104.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.11
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.11
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.11
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.11
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:        24016380 kB
MemAvailable:   31687436 kB
Buffers:          208400 kB
Cached:          7711712 kB
SwapCached:            4 kB
Active:          4295200 kB
Inactive:        3880408 kB
Active(anon):     231328 kB
Inactive(anon):    92888 kB
Active(file):    4063872 kB
Inactive(file):  3787520 kB
Unevictable:        7320 kB
Mlocked:            7320 kB
SwapTotal:      67108860 kB
SwapFree:       67108500 kB
Dirty:             38040 kB
Writeback:             0 kB
AnonPages:        262820 kB
Mapped:            31904 kB
Shmem:             66020 kB
Slab:             277012 kB
SReclaimable:     248124 kB
SUnreclaim:        28888 kB
KernelStack:        3520 kB
PageTables:         5624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1294812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 47280 MiB
End job on node104 at 2018-08-18 00:47:49