Trace number 4290266

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-07-02SAT (TO)41 2400.06 2368.82

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.68/0.55	c version: 2018-07-02
0.68/0.56	c seed: 854738484
0.68/0.56	c timeout: 2400
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
24.69/11.94	c Parsing done, starting search...
26.34/12.94	o 1599
27.29/13.80	o 1598
28.66/14.81	o 1597
28.87/15.07	o 1596
30.10/16.13	o 1593
31.49/17.43	o 1591
32.79/18.75	o 1590
34.44/20.04	o 1588
35.81/21.37	o 1587
37.11/22.66	o 1586
41.89/25.28	o 1584
43.59/26.99	o 1583
43.70/27.03	o 1582
44.99/28.30	o 1578
46.29/29.60	o 1577
47.59/30.90	o 1575
47.99/31.33	o 1574
48.90/32.23	o 1572
50.21/33.53	o 1570
51.55/34.85	o 1569
51.76/35.05	o 1568
52.87/36.16	o 1565
54.16/37.46	o 1564
55.47/38.75	o 1562
55.57/38.88	o 1561
56.84/40.09	o 1560
58.13/41.38	o 1559
59.43/42.68	o 1557
59.53/42.70	o 1556
60.73/43.99	o 1555
62.18/45.30	o 1553
63.48/46.64	o 1552
64.85/47.92	o 1549
66.15/49.24	o 1547
67.45/50.55	o 1544
68.79/51.86	o 1543
70.10/53.15	o 1542
70.34/53.39	o 1541
71.44/54.48	o 1540
72.75/55.77	o 1538
74.06/57.10	o 1537
75.35/58.39	o 1532
77.24/59.83	o 1531
77.45/60.06	o 1530
78.46/61.02	o 1529
79.76/62.30	o 1528
80.06/62.61	o 1527
81.06/63.64	o 1526
82.37/64.92	o 1525
83.67/66.23	o 1524
84.98/67.54	o 1523
85.18/67.78	o 1522
86.28/68.87	o 1521
87.59/70.15	o 1518
87.68/70.29	o 1517
88.88/71.47	o 1516
89.28/71.85	o 1514
90.18/72.78	o 1513
90.18/72.79	o 1510
90.38/72.98	o 1508
91.49/74.08	o 1505
91.68/74.28	o 1504
91.88/74.43	o 1502
92.79/75.39	o 1500
92.89/75.43	o 1499
93.09/75.67	o 1498
94.19/76.70	o 1497
94.29/76.86	o 1494
95.51/78.01	o 1492
95.70/78.23	o 1490
96.80/79.31	o 1488
96.90/79.45	o 1484
98.10/80.64	o 1483
99.40/81.92	o 1481
100.70/83.26	o 1479
102.00/84.55	o 1478
103.30/85.85	o 1476
103.61/86.12	o 1475
103.70/86.28	o 1473
104.61/87.17	o 1471
105.90/88.49	o 1470
106.30/88.84	o 1469
107.20/89.80	o 1468
108.51/91.08	o 1467
108.91/91.42	o 1466
108.91/91.46	o 1465
108.91/91.48	o 1464
109.81/92.40	o 1463
109.91/92.40	o 1461
111.21/93.70	o 1460
111.41/93.95	o 1459
112.52/95.02	o 1457
112.91/95.41	o 1456
113.89/96.35	o 1455
114.29/96.73	o 1453
115.20/97.64	o 1452
115.61/98.01	o 1451
116.50/98.95	o 1450
117.80/100.24	o 1449
119.10/101.55	o 1448
119.65/102.01	o 1447
120.44/102.90	o 1446
121.75/104.19	o 1445
122.15/104.54	o 1444
123.15/105.51	o 1443
124.46/106.80	o 1442
124.46/106.81	o 1441
124.66/107.06	o 1440
125.76/108.12	o 1439
127.06/109.42	o 1438
128.36/110.72	o 1436
129.67/112.04	o 1435
129.96/112.39	o 1430
130.96/113.36	o 1429
132.26/114.65	o 1428
132.36/114.73	o 1427
132.46/114.80	o 1426
133.56/115.97	o 1424
133.96/116.34	o 1423
134.86/117.27	o 1422
135.16/117.50	o 1421
136.26/118.60	o 1420
137.47/119.88	o 1419
137.57/119.91	o 1417
137.57/119.95	o 1415
138.87/121.20	o 1412
140.18/122.51	o 1410
141.48/123.81	o 1409
142.79/125.11	o 1408
144.09/126.42	o 1407
145.39/127.73	o 1406
146.70/129.04	o 1405
147.99/130.34	o 1402
149.29/131.66	o 1401
150.67/132.96	o 1400
151.17/133.40	o 1399
151.97/134.28	o 1398
152.17/134.48	o 1396
152.47/134.71	o 1395
153.27/135.58	o 1394
153.37/135.65	o 1392
154.57/136.89	o 1391
154.78/137.11	o 1390
155.97/138.21	o 1389
156.37/138.63	o 1388
157.27/139.54	o 1387
158.57/140.83	o 1386
159.88/142.14	o 1385
161.17/143.45	o 1382
162.47/144.77	o 1381
163.78/146.06	o 1379
165.07/147.38	o 1378
165.27/147.52	o 1377
166.47/148.70	o 1375
167.78/150.01	o 1374
168.08/150.33	o 1373
169.08/151.31	o 1372
169.18/151.41	o 1368
170.38/152.61	o 1367
170.68/152.95	o 1365
171.68/153.93	o 1363
171.98/154.20	o 1362
172.98/155.23	o 1361
173.08/155.30	o 1360
174.28/156.54	o 1359
175.58/157.84	o 1358
175.98/158.22	o 1357
176.89/159.17	o 1356
176.98/159.29	o 1355
177.08/159.38	o 1353
178.18/160.47	o 1352
179.48/161.77	o 1351
180.80/163.07	o 1350
182.09/164.38	o 1349
182.39/164.62	o 1348
183.49/165.71	o 1347
183.80/166.03	o 1345
184.80/167.01	o 1343
186.09/168.33	o 1342
187.48/169.62	o 1341
187.58/169.77	o 1339
188.78/170.93	o 1337
188.78/170.99	o 1336
188.89/171.08	o 1334
190.08/172.23	o 1333
191.38/173.53	o 1332
192.68/174.84	o 1331
193.99/176.15	o 1330
195.28/177.46	o 1327
195.68/177.83	o 1326
196.59/178.78	o 1325
197.90/180.07	o 1324
198.09/180.21	o 1323
199.19/181.39	o 1321
200.59/182.70	o 1319
201.90/184.01	o 1317
201.90/184.02	o 1316
203.19/185.31	o 1315
203.49/185.64	o 1314
204.49/186.62	o 1311
204.69/186.85	o 1310
205.79/187.92	o 1309
205.79/187.97	o 1308
207.09/189.24	o 1307
208.39/190.53	o 1305
208.49/190.66	o 1301
209.69/191.85	o 1299
210.00/192.12	o 1298
211.00/193.16	o 1297
212.30/194.46	o 1296
213.60/195.77	o 1295
214.91/197.08	o 1294
216.20/198.39	o 1293
216.30/198.48	o 1292
217.60/199.71	o 1291
217.70/199.86	o 1290
218.91/201.01	o 1288
220.20/202.32	o 1287
221.50/203.61	o 1286
221.50/203.62	o 1285
222.80/204.92	o 1283
222.80/204.98	o 1282
222.91/205.06	o 1281
223.01/205.11	o 1280
224.18/206.23	o 1279
225.48/207.54	o 1278
226.78/208.85	o 1277
228.10/210.16	o 1276
229.39/211.46	o 1275
229.49/211.50	o 1274
230.69/212.79	o 1273
232.00/214.08	o 1272
233.30/215.39	o 1271
234.60/216.70	o 1270
234.90/216.91	o 1269
236.01/218.02	o 1268
236.01/218.06	o 1267
237.30/219.33	o 1266
238.60/220.62	o 1265
239.90/221.93	o 1264
240.11/222.19	o 1263
241.20/223.25	o 1259
241.30/223.33	o 1258
242.51/224.57	o 1257
243.81/225.85	o 1254
245.12/227.17	o 1253
245.31/227.33	o 1252
246.41/228.49	o 1251
247.71/229.78	o 1249
249.03/231.10	o 1248
250.32/232.39	o 1247
250.72/232.74	o 1246
251.72/233.71	o 1243
251.72/233.73	o 1242
253.03/235.02	o 1241
254.32/236.32	o 1240
254.72/236.71	o 1237
255.62/237.64	o 1235
255.72/237.79	o 1234
256.92/238.94	o 1233
257.04/239.07	o 1232
258.23/240.26	o 1231
259.54/241.55	o 1230
260.92/242.88	o 1229
261.13/243.05	o 1227
262.23/244.18	o 1226
263.52/245.47	o 1224
264.82/246.79	o 1223
264.92/246.84	o 1220
266.13/248.09	o 1219
266.52/248.47	o 1218
267.52/249.41	o 1217
267.52/249.49	o 1216
268.82/250.72	o 1215
269.02/250.93	o 1214
270.13/252.02	o 1213
271.42/253.32	o 1212
271.72/253.60	o 1211
272.72/254.65	o 1210
274.03/255.94	o 1209
275.33/257.24	o 1207
276.63/258.56	o 1206
276.63/258.58	o 1205
277.93/259.88	o 1204
279.24/261.16	o 1202
280.53/262.49	o 1201
280.53/262.49	o 1199
280.63/262.58	o 1198
281.84/263.80	o 1197
283.15/265.09	o 1195
283.44/265.38	o 1194
284.54/266.40	o 1192
284.64/266.56	o 1190
285.84/267.71	o 1189
287.15/269.01	o 1188
288.44/270.32	o 1187
288.74/270.62	o 1186
289.74/271.64	o 1184
290.04/271.95	o 1182
291.04/272.94	o 1180
292.34/274.25	o 1179
292.64/274.53	o 1178
293.64/275.56	o 1177
294.94/276.85	o 1174
296.25/278.17	o 1173
297.54/279.48	o 1171
297.74/279.67	o 1169
298.85/280.79	o 1168
299.34/281.11	o 1167
300.24/282.10	o 1165
301.63/283.41	o 1164
302.93/284.70	o 1163
303.03/284.82	o 1161
303.13/284.91	o 1160
304.24/286.02	o 1159
305.54/287.32	o 1158
306.83/288.62	o 1157
308.13/289.93	o 1155
309.44/291.26	o 1154
310.74/292.55	o 1153
310.84/292.62	o 1152
312.04/293.87	o 1151
313.35/295.17	o 1150
314.64/296.47	o 1149
314.94/296.72	o 1148
316.04/297.80	o 1147
317.25/299.09	o 1146
317.35/299.19	o 1145
318.64/300.42	o 1144
319.94/301.71	o 1143
319.94/301.76	o 1142
321.25/303.03	o 1141
322.54/304.33	o 1140
322.84/304.68	o 1139
322.94/304.72	o 1138
323.85/305.65	o 1137
324.15/305.99	o 1136
325.15/306.95	o 1134
326.45/308.27	o 1133
327.75/309.55	o 1132
329.05/310.86	o 1131
329.26/311.06	o 1129
330.36/312.18	o 1128
331.65/313.47	o 1127
331.75/313.54	o 1125
332.95/314.79	o 1123
333.05/314.81	o 1122
334.26/316.10	o 1121
334.36/316.15	o 1119
335.65/317.41	o 1118
336.95/318.70	o 1117
337.15/318.96	o 1116
338.34/320.06	o 1115
339.64/321.32	o 1114
340.94/322.63	o 1113
341.04/322.72	o 1111
341.24/322.93	o 1110
342.25/323.95	o 1109
343.55/325.24	o 1108
343.75/325.45	o 1107
344.85/326.57	o 1106
345.25/326.91	o 1104
346.15/327.89	o 1102
347.46/329.19	o 1101
347.85/329.55	o 1100
348.75/330.49	o 1099
350.05/331.78	o 1098
350.25/331.98	o 1097
351.36/333.10	o 1095
351.65/333.40	o 1094
352.75/334.40	o 1093
352.75/334.43	o 1092
354.05/335.71	o 1091
354.36/336.01	o 1089
355.36/337.02	o 1088
356.65/338.31	o 1087
356.85/338.56	o 1086
357.96/339.63	o 1085
357.96/339.68	o 1084
359.26/340.94	o 1083
360.56/342.24	o 1082
361.87/343.54	o 1081
363.17/344.85	o 1080
363.48/345.17	o 1079
364.49/346.17	o 1078
364.68/346.35	o 1077
364.68/346.39	o 1076
365.78/347.47	o 1075
365.98/347.61	o 1074
367.08/348.78	o 1073
367.28/348.99	o 1072
367.39/349.05	o 1071
368.39/350.09	o 1070
369.68/351.39	o 1069
370.98/352.69	o 1068
371.39/353.02	o 1067
371.39/353.02	o 1066
372.39/354.01	o 1065
372.39/354.07	o 1064
372.49/354.12	o 1063
373.68/355.32	o 1062
374.98/356.62	o 1061
375.08/356.78	o 1060
376.28/357.95	o 1059
377.67/359.26	o 1056
377.87/359.48	o 1055
378.97/360.55	o 1054
380.27/361.85	o 1053
380.37/361.96	o 1052
381.59/363.17	o 1051
381.88/363.40	o 1049
382.88/364.47	o 1048
384.18/365.77	o 1047
385.49/367.07	o 1046
385.59/367.15	o 1045
385.78/367.37	o 1043
386.78/368.39	o 1042
387.18/368.74	o 1039
388.08/369.70	o 1038
388.28/369.84	o 1036
388.28/369.87	o 1035
389.49/371.01	o 1034
390.78/372.31	o 1033
391.08/372.67	o 1032
392.08/373.63	o 1031
392.28/373.81	o 1030
392.38/373.95	o 1029
393.39/374.93	o 1028
393.39/374.94	o 1026
394.69/376.25	o 1025
395.99/377.53	o 1023
397.29/378.85	o 1021
398.59/380.16	o 1020
398.98/380.53	o 1019
399.88/381.47	o 1018
399.88/381.49	o 1017
401.18/382.78	o 1016
401.49/383.10	o 1015
402.49/384.08	o 1014
403.79/385.37	o 1012
403.89/385.49	o 1011
405.19/386.70	o 1010
406.39/388.00	o 1009
406.69/388.21	o 1006
407.80/389.31	o 1005
408.00/389.56	o 1004
409.10/390.62	o 1003
409.30/390.80	o 1002
410.40/391.92	o 1001
410.61/392.16	o 1000
411.70/393.24	o 999
413.00/394.53	o 998
413.30/394.84	o 997
414.30/395.85	o 996
415.61/397.14	o 995
416.98/398.45	o 994
418.28/399.76	o 993
418.59/400.07	o 992
419.59/401.08	o 991
420.89/402.37	o 990
420.99/402.48	o 989
422.19/403.70	o 988
423.49/404.99	o 986
424.89/406.32	o 985
426.19/407.60	o 984
426.29/407.77	o 983
427.49/408.92	o 981
428.79/410.23	o 980
428.89/410.34	o 979
430.09/411.53	o 978
430.39/411.87	o 977
431.39/412.84	o 975
431.70/413.19	o 974
432.70/414.16	o 972
433.99/415.48	o 970
435.29/416.78	o 969
436.60/418.06	o 968
437.89/419.37	o 967
439.19/420.67	o 966
440.49/421.98	o 964
441.89/423.31	o 963
443.19/424.60	o 962
444.49/425.91	o 960
445.79/427.23	o 959
447.10/428.52	o 958
447.10/428.53	o 957
448.40/429.84	o 956
448.50/429.98	o 954
449.71/431.15	o 953
450.01/431.41	o 951
451.00/432.46	o 950
452.30/433.75	o 949
452.40/433.85	o 948
453.61/435.07	o 947
454.91/436.37	o 945
456.28/437.68	o 944
456.69/438.05	o 943
457.58/439.00	o 942
458.88/440.30	o 941
460.28/441.60	o 940
461.59/442.92	o 939
461.69/443.08	o 937
462.90/444.23	o 936
464.20/445.53	o 935
465.49/446.84	o 933
466.80/448.16	o 932
466.90/448.25	o 931
468.10/449.47	o 930
469.40/450.76	o 928
470.70/452.09	o 927
471.09/452.41	o 926
472.00/453.39	o 925
472.00/453.39	o 924
473.40/454.70	o 923
473.71/455.01	o 921
474.60/456.01	o 920
476.00/457.30	o 917
477.31/458.62	o 916
477.41/458.74	o 913
478.61/459.93	o 912
478.91/460.24	o 911
479.91/461.24	o 910
481.21/462.53	o 908
482.51/463.85	o 907
483.82/465.15	o 906
484.01/465.36	o 905
485.11/466.47	o 904
486.41/467.76	o 902
487.72/469.08	o 900
489.01/470.39	o 899
490.31/471.68	o 898
490.51/471.89	o 897
491.61/473.00	o 896
493.01/474.30	o 895
493.21/474.51	o 894
494.32/475.62	o 893
495.70/476.94	o 891
497.00/478.24	o 890
497.20/478.40	o 889
497.20/478.49	o 888
498.30/479.54	o 887
498.60/479.82	o 886
499.60/480.85	o 885
499.70/481.00	o 884
499.91/481.12	o 883
500.92/482.15	o 882
502.21/483.45	o 880
503.51/484.77	o 878
503.71/484.99	o 877
504.82/486.07	o 876
505.11/486.35	o 875
506.11/487.39	o 874
507.41/488.68	o 871
507.51/488.72	o 870
508.71/489.99	o 868
510.12/491.31	o 867
510.31/491.54	o 866
511.42/492.61	o 865
511.52/492.70	o 863
512.71/493.92	o 862
513.01/494.24	o 861
514.01/495.23	o 860
515.31/496.53	o 859
516.61/497.83	o 858
516.61/497.87	o 857
517.92/499.16	o 856
518.21/499.42	o 855
519.22/500.47	o 854
519.52/500.71	o 853
520.52/501.78	o 852
520.83/502.03	o 851
521.83/503.08	o 850
523.12/504.38	o 849
524.44/505.68	o 848
525.76/506.99	o 847
527.16/508.30	o 846
527.16/508.36	o 845
528.46/509.63	o 844
529.76/510.92	o 843
531.06/512.23	o 841
532.36/513.55	o 840
533.66/514.85	o 839
534.97/516.16	o 838
535.06/516.29	o 837
535.16/516.35	o 836
536.45/517.50	o 835
536.56/517.68	o 834
536.76/517.81	o 833
537.66/518.78	o 832
538.96/520.08	o 831
540.26/521.38	o 830
541.56/522.69	o 829
541.86/522.98	o 828
542.97/524.01	o 827
544.26/525.31	o 826
545.56/526.61	o 825
545.56/526.63	o 824
546.86/527.94	o 823
548.16/529.24	o 822
549.56/530.68	o 820
550.86/532.00	o 818
552.26/533.31	o 817
552.26/533.36	o 816
553.56/534.62	o 815
554.86/535.91	o 814
556.16/537.22	o 813
557.46/538.53	o 812
557.76/538.83	o 811
558.77/539.85	o 810
558.77/539.88	o 809
560.08/541.16	o 808
561.37/542.46	o 807
562.67/543.76	o 806
563.98/545.07	o 805
565.27/546.38	o 804
565.67/546.73	o 803
566.67/547.70	o 801
567.98/549.01	o 800
569.28/550.30	o 799
569.48/550.51	o 798
570.58/551.62	o 797
570.58/551.67	o 796
571.88/552.93	o 795
573.18/554.22	o 794
573.18/554.24	o 793
574.48/555.54	o 792
574.58/555.69	o 791
575.86/556.88	o 790
577.18/558.16	o 789
578.46/559.46	o 788
578.66/559.67	o 787
579.76/560.78	o 786
581.07/562.08	o 785
582.36/563.38	o 784
582.66/563.69	o 783
583.77/564.70	o 782
583.97/564.92	o 781
585.08/566.01	o 780
586.37/567.30	o 779
586.47/567.47	o 778
587.68/568.62	o 777
587.78/568.76	o 776
588.99/569.93	o 775
590.29/571.22	o 774
590.29/571.25	o 773
591.59/572.55	o 772
592.89/573.83	o 771
593.10/574.03	o 770
594.20/575.15	o 768
594.29/575.23	o 767
594.39/575.38	o 766
595.49/576.46	o 765
596.79/577.76	o 764
598.10/579.07	o 763
598.39/579.32	o 762
599.39/580.38	o 760
600.69/581.69	o 759
600.99/581.92	o 758
601.99/583.00	o 757
602.39/583.31	o 756
603.39/584.30	o 755
604.59/585.60	o 753
606.00/586.92	o 751
607.30/588.22	o 749
607.40/588.33	o 748
608.60/589.53	o 747
608.80/589.72	o 746
609.90/590.85	o 745
610.21/591.13	o 744
611.21/592.15	o 743
612.50/593.45	o 742
613.80/594.75	o 741
614.00/595.00	o 740
615.30/596.12	o 739
616.49/597.37	o 738
616.59/597.42	o 737
617.89/598.70	o 736
617.89/598.76	o 735
619.09/600.00	o 734
620.39/601.29	o 733
621.79/602.60	o 732
623.09/603.91	o 730
624.39/605.23	o 729
625.69/606.52	o 728
625.89/606.71	o 727
626.99/607.85	o 726
628.30/609.14	o 725
629.59/610.45	o 724
630.90/611.75	o 723
631.21/612.04	o 722
632.21/613.08	o 721
633.50/614.37	o 720
633.70/614.54	o 719
634.80/615.69	o 717
636.10/617.00	o 716
636.31/617.16	o 715
636.51/617.32	o 714
637.51/618.31	o 713
638.81/619.60	o 712
640.10/620.91	o 711
640.32/621.20	o 710
641.41/622.25	o 709
642.71/623.54	o 708
644.00/624.84	o 706
645.32/626.16	o 705
645.51/626.35	o 704
646.62/627.46	o 703
646.72/627.53	o 702
647.92/628.77	o 700
649.23/630.09	o 699
650.52/631.37	o 698
650.62/631.49	o 697
650.72/631.51	o 696
650.82/631.64	o 695
651.82/632.69	o 694
653.12/633.99	o 693
654.60/635.33	o 692
655.90/636.61	o 691
657.20/637.92	o 690
658.50/639.23	o 689
659.81/640.54	o 688
661.11/641.85	o 687
661.42/642.11	o 686
662.42/643.16	o 685
662.51/643.26	o 684
663.71/644.47	o 683
664.01/644.71	o 682
665.11/645.81	o 681
666.32/647.09	o 680
667.61/648.39	o 679
667.71/648.40	o 678
667.71/648.43	o 677
669.01/649.71	o 676
669.01/649.73	o 675
670.32/651.02	o 674
671.61/652.31	o 672
671.91/652.64	o 671
672.92/653.63	o 670
674.22/654.93	o 669
674.52/655.25	o 668
675.52/656.25	o 667
676.82/657.55	o 666
678.12/658.86	o 665
679.43/660.16	o 664
679.52/660.24	o 663
679.52/660.29	o 662
680.72/661.48	o 661
680.92/661.63	o 660
680.92/661.69	o 659
681.02/661.77	o 657
682.02/662.80	o 655
683.43/664.11	o 654
684.72/665.40	o 653
685.02/665.70	o 652
686.03/666.73	o 651
687.34/668.02	o 650
687.63/668.30	o 649
688.63/669.34	o 648
688.83/669.50	o 646
689.93/670.65	o 645
690.23/670.95	o 644
691.23/671.97	o 643
692.62/673.26	o 642
692.82/673.43	o 641
693.92/674.57	o 640
694.12/674.73	o 639
695.22/675.89	o 638
695.43/676.09	o 637
695.53/676.14	o 636
696.53/677.19	o 635
697.92/678.50	o 634
698.12/678.79	o 633
699.22/679.81	o 632
700.43/681.11	o 631
700.53/681.13	o 630
700.72/681.32	o 629
701.83/682.42	o 628
703.13/683.72	o 627
703.33/683.95	o 626
703.43/684.03	o 625
704.43/685.04	o 624
704.63/685.29	o 623
704.73/685.32	o 621
705.73/686.34	o 620
705.73/686.36	o 619
707.03/687.66	o 618
708.33/688.95	o 617
708.64/689.24	o 616
709.64/690.27	o 615
710.94/691.57	o 614
712.24/692.88	o 613
713.55/694.18	o 611
714.94/695.50	o 610
715.14/695.76	o 609
716.24/696.81	o 608
717.45/698.10	o 607
717.64/698.20	o 606
718.84/699.42	o 605
718.94/699.58	o 604
720.14/700.72	o 603
720.24/700.89	o 602
720.34/700.99	o 601
721.45/702.03	o 600
721.64/702.27	o 599
722.74/703.34	o 598
722.84/703.49	o 597
724.04/704.65	o 596
724.14/704.75	o 595
725.34/705.95	o 594
725.56/706.12	o 593
726.65/707.27	o 592
726.95/707.54	o 591
727.95/708.58	o 590
728.25/708.85	o 589
729.25/709.88	o 587
730.56/711.19	o 586
730.85/711.42	o 585
732.04/712.53	o 584
733.24/713.79	o 583
733.54/714.01	o 582
734.65/715.11	o 581
735.93/716.41	o 580
737.24/717.72	o 579
738.55/719.02	o 578
738.74/719.22	o 577
739.84/720.34	o 576
740.14/720.64	o 575
741.14/721.67	o 574
742.44/722.97	o 573
742.74/723.25	o 572
743.74/724.29	o 571
745.04/725.58	o 570
745.34/725.85	o 569
746.44/726.90	o 568
747.74/728.20	o 567
747.94/728.42	o 566
749.04/729.52	o 565
750.35/730.81	o 564
751.66/732.12	o 563
752.95/733.43	o 562
754.26/734.74	o 561
755.56/736.05	o 560
755.75/736.20	o 559
756.86/737.36	o 557
758.15/738.68	o 556
759.46/739.98	o 555
760.76/741.28	o 553
762.16/742.60	o 552
763.46/743.90	o 551
763.67/744.17	o 550
764.76/745.22	o 547
766.06/746.53	o 546
767.36/747.82	o 545
768.76/749.13	o 544
769.05/749.44	o 542
770.05/750.45	o 541
770.25/750.67	o 540
771.35/751.75	o 539
771.45/751.85	o 538
772.66/753.06	o 537
772.85/753.27	o 536
773.95/754.37	o 535
774.05/754.49	o 534
775.25/755.68	o 533
775.55/755.91	o 532
775.55/755.95	o 531
776.55/756.98	o 530
777.86/758.28	o 529
779.16/759.59	o 528
780.46/760.90	o 527
780.77/761.16	o 526
781.86/762.22	o 525
783.16/763.51	o 524
783.26/763.66	o 523
784.46/764.83	o 522
784.67/765.07	o 521
785.77/766.14	o 520
786.06/766.41	o 519
787.06/767.45	o 518
787.36/767.72	o 517
788.36/768.76	o 516
789.67/770.05	o 515
789.77/770.14	o 514
791.07/771.39	o 513
791.27/771.53	o 512
792.37/772.68	o 511
792.68/772.97	o 510
793.68/774.00	o 509
795.07/775.30	o 508
796.38/776.61	o 506
797.68/777.93	o 505
798.98/779.22	o 504
799.18/779.42	o 503
800.28/780.54	o 502
800.38/780.66	o 501
801.58/781.85	o 500
801.79/782.03	o 499
802.89/783.16	o 498
804.18/784.45	o 497
804.38/784.70	o 496
805.68/785.80	o 495
806.89/787.06	o 494
808.18/788.38	o 493
809.48/789.69	o 492
810.78/790.99	o 491
810.99/791.11	o 490
812.18/792.31	o 489
812.38/792.51	o 488
813.48/793.62	o 487
813.48/793.65	o 486
814.78/794.93	o 485
816.09/796.22	o 484
816.29/796.49	o 483
817.39/797.54	o 482
818.69/798.84	o 481
819.99/800.15	o 480
820.08/800.29	o 479
821.28/801.46	o 476
822.59/802.78	o 475
823.90/804.07	o 474
824.19/804.30	o 473
824.19/804.31	o 472
825.19/805.39	o 471
825.39/805.59	o 470
826.49/806.70	o 469
827.79/807.99	o 468
828.00/808.15	o 467
828.00/808.17	o 466
829.19/809.31	o 465
829.39/809.56	o 464
830.49/810.62	o 463
831.79/811.92	o 462
833.09/813.22	o 461
833.39/813.51	o 460
834.39/814.57	o 459
835.69/815.86	o 458
836.00/816.15	o 456
837.00/817.19	o 455
837.29/817.46	o 454
838.51/818.53	o 453
839.71/819.79	o 452
839.81/819.87	o 451
841.02/821.10	o 450
841.31/821.36	o 449
842.41/822.41	o 448
843.71/823.71	o 447
845.02/825.02	o 446
845.12/825.11	o 445
846.31/826.33	o 443
847.61/827.64	o 442
848.91/828.94	o 441
849.21/829.20	o 440
850.22/830.29	o 439
851.52/831.57	o 438
851.72/831.76	o 437
852.82/832.89	o 436
853.03/833.02	o 435
854.22/834.20	o 434
854.42/834.45	o 433
855.52/835.51	o 432
855.72/835.75	o 431
856.82/836.84	o 430
858.13/838.14	o 429
858.22/838.28	o 428
858.42/838.42	o 427
859.42/839.45	o 426
860.72/840.75	o 425
862.03/842.06	o 424
863.33/843.37	o 423
864.62/844.68	o 422
865.93/845.99	o 421
867.33/847.30	o 420
867.53/847.59	o 419
868.63/848.62	o 418
870.02/849.92	o 417
870.23/850.19	o 416
871.32/851.24	o 415
872.62/852.53	o 414
872.82/852.78	o 413
873.92/853.84	o 412
875.23/855.14	o 411
875.42/855.37	o 410
876.52/856.46	o 409
876.72/856.65	o 408
877.83/857.77	o 407
879.13/859.07	o 406
880.43/860.39	o 405
881.73/861.69	o 404
881.83/861.78	o 403
883.03/863.00	o 402
883.33/863.27	o 401
884.43/864.33	o 400
884.63/864.60	o 399
885.73/865.65	o 398
887.03/866.95	o 397
887.24/867.14	o 396
888.33/868.27	o 395
889.63/869.57	o 394
889.93/869.85	o 393
890.93/870.89	o 392
892.24/872.19	o 391
893.54/873.49	o 390
894.94/874.80	o 389
895.15/875.07	o 388
896.25/876.12	o 387
897.63/877.45	o 386
898.93/878.73	o 385
899.13/878.97	o 384
900.24/880.04	o 383
900.34/880.18	o 382
901.53/881.35	o 381
902.83/882.65	o 380
904.13/883.96	o 379
904.34/884.19	o 378
905.43/885.28	o 377
906.73/886.57	o 376
906.94/886.79	o 375
908.04/887.89	o 374
909.35/889.19	o 373
909.64/889.46	o 372
910.74/890.53	o 371
910.94/890.72	o 370
912.04/891.84	o 369
913.35/893.15	o 368
914.65/894.46	o 367
915.94/895.77	o 366
917.25/897.07	o 365
917.54/897.31	o 364
918.55/898.39	o 363
918.75/898.58	o 362
919.96/899.70	o 361
921.16/901.00	o 360
922.56/902.30	o 359
922.76/902.58	o 358
923.86/903.62	o 357
924.14/903.82	o 356
925.24/904.93	o 355
925.45/905.15	o 354
926.54/906.24	o 353
926.64/906.36	o 352
927.84/907.54	o 351
928.15/907.80	o 350
929.15/908.86	o 349
929.35/909.10	o 348
930.45/910.17	o 347
930.78/910.43	o 346
931.88/911.57	o 345
933.18/912.87	o 344
934.49/914.18	o 343
935.78/915.48	o 342
937.08/916.79	o 341
938.39/918.10	o 340
939.78/919.41	o 339
941.09/920.72	o 338
942.40/922.02	o 337
943.69/923.33	o 336
944.99/924.64	o 335
945.19/924.81	o 334
946.29/925.95	o 333
947.59/927.25	o 332
948.89/928.56	o 331
950.19/929.87	o 330
951.51/931.18	o 329
952.99/932.52	o 328
954.19/933.79	o 327
955.50/935.10	o 326
955.69/935.27	o 325
956.89/936.41	o 324
958.19/937.72	o 323
959.50/939.03	o 322
960.79/940.34	o 321
962.09/941.64	o 320
963.39/942.95	o 319
964.70/944.26	o 318
966.00/945.57	o 317
967.30/946.88	o 316
968.61/948.19	o 315
969.90/949.49	o 314
971.31/950.80	o 313
972.51/952.10	o 312
973.90/953.42	o 311
975.20/954.73	o 310
976.51/956.03	o 309
977.80/957.34	o 308
979.10/958.65	o 307
980.50/959.98	o 306
981.80/961.28	o 305
983.10/962.59	o 304
984.40/963.90	o 303
985.80/965.21	o 302
987.10/966.51	o 301
988.40/967.82	o 300
988.50/967.99	o 299
989.71/969.14	o 298
991.00/970.44	o 297
992.30/971.75	o 296
993.61/973.06	o 295
994.91/974.36	o 294
996.21/975.67	o 293
997.51/976.98	o 292
998.81/978.29	o 291
1000.21/979.60	o 290
1001.51/980.91	o 289
1002.81/982.21	o 288
1004.11/983.52	o 287
1005.41/984.83	o 286
1006.81/986.14	o 285
1008.10/987.44	o 284
1009.40/988.76	o 283
1010.71/990.06	o 282
1012.01/991.38	o 281
1013.31/992.68	o 280
1014.60/993.99	o 279
1015.91/995.30	o 278
1017.31/996.61	o 277
1018.61/997.91	o 276
1019.90/999.21	o 275
1020.00/999.36	o 274
1021.20/1000.54	o 273
1022.51/1001.83	o 272
1022.61/1002.00	o 271
1023.82/1003.15	o 270
1025.12/1004.45	o 269
1026.42/1005.76	o 268
1027.73/1007.06	o 267
1027.83/1007.18	o 266
1029.02/1008.38	o 265
1030.32/1009.68	o 264
1031.71/1010.98	o 263
1033.01/1012.29	o 262
1034.41/1013.60	o 261
1035.71/1014.91	o 260
1037.01/1016.22	o 259
1038.31/1017.52	o 258
1039.62/1018.83	o 257
1040.93/1020.14	o 256
1042.22/1021.45	o 255
1043.53/1022.75	o 254
1044.84/1024.07	o 253
1046.13/1025.38	o 252
1047.43/1026.68	o 251
1048.73/1027.99	o 250
1050.13/1029.30	o 249
1051.43/1030.61	o 248
1052.73/1031.92	o 247
1054.11/1033.25	o 246
1055.41/1034.53	o 245
1056.71/1035.84	o 244
1058.02/1037.14	o 243
1059.32/1038.46	o 242
1060.62/1039.76	o 241
1061.93/1041.07	o 240
1063.22/1042.38	o 239
1064.52/1043.69	o 238
1065.82/1045.00	o 237
1067.23/1046.31	o 236
1068.53/1047.62	o 235
1069.83/1048.92	o 234
1069.94/1049.04	o 233
1071.13/1050.23	o 232
1072.43/1051.53	o 231
1073.73/1052.84	o 230
1075.04/1054.15	o 229
1076.54/1055.50	o 228
1077.74/1056.77	o 227
1079.05/1058.08	o 226
1081.15/1060.12	o 225
1082.44/1061.43	o 224
1083.74/1062.73	o 223
1083.84/1062.89	o 222
1085.05/1064.05	o 221
1086.34/1065.35	o 220
1087.64/1066.65	o 219
1087.85/1066.82	o 218
1088.95/1067.97	o 217
1090.25/1069.28	o 216
1092.35/1071.32	o 215
1093.65/1072.63	o 214
1094.95/1073.94	o 213
1096.25/1075.26	o 212
1097.55/1076.56	o 211
1098.85/1077.87	o 210
1100.36/1079.22	o 209
1101.56/1080.49	o 208
1102.86/1081.79	o 207
1104.27/1083.11	o 206
1105.56/1084.41	o 205
1106.86/1085.72	o 204
1106.96/1085.88	o 203
1108.17/1087.04	o 202
1109.46/1088.34	o 201
1110.76/1089.65	o 200
1112.06/1090.95	o 199
1113.36/1092.28	o 198
1114.66/1093.57	o 197
1114.86/1093.70	o 196
1115.96/1094.88	o 195
1117.27/1096.18	o 194
1118.57/1097.49	o 193
1119.97/1098.80	o 192
1121.37/1100.11	o 191
1122.66/1101.41	o 190
1123.96/1102.72	o 189
1125.27/1104.03	o 188
1126.56/1105.35	o 187
1127.86/1106.65	o 186
1129.16/1107.96	o 185
1130.46/1109.27	o 184
1131.76/1110.58	o 183
1133.06/1111.88	o 182
1134.37/1113.19	o 181
1135.76/1114.50	o 180
1137.06/1115.82	o 179
1138.38/1117.12	o 178
1139.77/1118.43	o 177
1141.06/1119.74	o 176
1142.37/1121.05	o 175
1143.66/1122.35	o 174
1144.97/1123.66	o 173
1146.27/1124.97	o 172
1147.57/1126.28	o 171
1148.87/1127.59	o 170
1150.27/1128.90	o 169
1151.57/1130.21	o 168
1152.88/1131.51	o 167
1154.18/1132.82	o 166
1155.48/1134.13	o 165
1156.86/1135.47	o 164
1158.16/1136.75	o 163
1159.47/1138.06	o 162
1160.76/1139.37	o 161
1162.06/1140.68	o 160
1163.36/1141.98	o 159
1164.67/1143.29	o 158
1166.07/1144.60	o 157
1167.37/1145.91	o 156
1168.67/1147.22	o 155
1169.97/1148.53	o 154
1171.27/1149.83	o 153
1172.58/1151.14	o 152
1173.96/1152.48	o 151
1175.26/1153.76	o 150
1176.57/1155.07	o 149
1177.86/1156.37	o 148
1179.17/1157.69	o 147
1180.47/1159.00	o 146
1181.87/1160.31	o 145
1183.17/1161.61	o 144
1184.47/1162.92	o 143
1185.77/1164.23	o 142
1187.07/1165.54	o 141
1188.37/1166.85	o 140
1189.73/1168.18	o 139
1191.06/1169.47	o 138
1192.36/1170.77	o 137
1193.66/1172.09	o 136
1194.96/1173.39	o 135
1196.37/1174.70	o 134
1197.68/1176.01	o 133
1198.97/1177.32	o 132
1200.27/1178.63	o 131
1201.57/1179.94	o 130
1202.87/1181.25	o 129
1204.17/1182.55	o 128
1205.66/1183.90	o 127
1206.87/1185.17	o 126
1207.06/1185.30	o 125
1208.16/1186.48	o 124
1209.49/1187.78	o 123
1210.80/1189.09	o 122
1212.19/1190.40	o 121
1213.50/1191.71	o 120
1214.80/1193.02	o 119
1216.10/1194.32	o 118
1217.40/1195.63	o 117
1218.70/1196.94	o 116
1220.00/1198.26	o 115
1221.30/1199.57	o 114
1222.60/1200.87	o 113
1223.91/1202.19	o 112
1225.20/1203.49	o 111
1226.60/1204.80	o 110
1227.91/1206.11	o 109
1229.20/1207.42	o 108
1230.50/1208.73	o 107
1231.81/1210.04	o 106
1233.11/1211.35	o 105
1234.41/1212.66	o 104
1235.71/1213.96	o 103
1235.92/1214.12	o 102
1237.01/1215.29	o 101
1238.31/1216.58	o 100
1239.62/1217.89	o 99
1241.11/1219.20	o 98
1242.42/1220.51	o 97
1243.72/1221.82	o 96
1245.03/1223.13	o 95
1246.32/1224.44	o 94
1247.62/1225.75	o 93
1248.93/1227.06	o 92
1250.23/1228.37	o 91
1251.53/1229.68	o 90
1252.83/1230.99	o 89
1253.04/1231.13	o 88
1254.23/1232.30	o 87
1255.53/1233.60	o 86
1256.83/1234.91	o 85
1258.13/1236.22	o 84
1259.43/1237.53	o 83
1260.73/1238.85	o 82
1262.04/1240.15	o 81
1263.33/1241.47	o 80
1264.63/1242.77	o 79
1265.94/1244.08	o 78
1267.23/1245.39	o 77
1268.63/1246.70	o 76
1269.94/1248.01	o 75
1271.23/1249.32	o 74
1272.64/1250.67	o 73
1273.94/1251.94	o 72
1275.24/1253.25	o 71
1276.54/1254.56	o 70
1277.84/1255.87	o 69
1279.15/1257.18	o 68
1280.44/1258.49	o 67
1281.84/1259.81	o 66
1283.15/1261.11	o 65
1284.44/1262.42	o 64
1285.96/1263.74	o 63
1287.49/1265.05	o 62
1288.78/1266.36	o 61
1290.31/1267.66	o 60
1291.61/1268.98	o 59
1292.91/1270.28	o 58
1294.31/1271.61	o 57
1295.61/1272.92	o 56
1297.13/1274.22	o 55
1298.44/1275.53	o 54
1299.74/1276.85	o 53
1301.11/1278.16	o 52
1302.40/1279.47	o 51
1303.90/1280.81	o 50
1305.11/1282.09	o 49
1306.53/1283.48	o 48
1308.93/1285.85	o 47
1310.29/1287.19	o 46
1312.88/1289.76	o 45
1313.19/1290.04	o 44
1314.69/1291.50	o 43
1317.41/1294.20	o 42
1325.51/1302.21	o 41
2400.02/2368.80	s SATISFIABLE
2400.02/2368.81	v <instantiation>
2400.02/2368.81	v 	<list>
2400.02/2368.81	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599]
2400.02/2368.81	v 	</list>
2400.02/2368.81	v 	<values>
2400.02/2368.81	v 		20 18 27 33 17 40 5 36 12 26 41 21 22 16 30 37 6 7 3 34 28 24 9 15 31 19 23 4 2 1 39 11 32 13 25 8 10 38 14 29 15 22 2 18 30 6 14 41 34 3 35 0 33 13 38 20 10 17 23 9 7 31 28 19 26 16 5 8 32 11 37 39 29 1 12 40 4 25 27 36 22 39 12 16 15 3 29 26 6 2 18 25 7 31 36 35 27 37 40 38 13 33 17 5 1 34 4 10 24 14 11 28 9 0 30 20 32 19 41 23 25 30 37 22 31 38 9 28 19 15 27 17 8 5 32 34 40 6 20 36 0 1 3 7 14 18 39 13 33 12 23 21 2 26 10 41 29 4 35 16 9 29 32 20 11 27 34 25 3 17 31 1 21 24 0 7 36 15 13 12 26 41 4 28 18 2 10 35 19 8 33 38 14 30 40 6 39 23 37 22 26 1 0 7 2 11 30 31 15 32 12 3 38 10 20 9 28 18 37 4 27 17 29 16 6 5 8 14 40 21 19 24 34 36 33 35 23 13 39 41 5 26 25 4 7 1 38 32 0 18 13 8 36 14 35 6 23 10 12 24 20 21 31 2 11 37 17 16 27 28 29 19 41 9 3 39 30 33 22 40 27 34 9 37 26 16 18 14 38 5 0 33 28 40 24 11 39 19 6 1 23 36 12 32 7 17 20 25 3 41 2 30 15 31 4 29 13 10 21 35 7 4 19 5 27 20 1 23 8 12 16 38 39 35 22 28 33 25 2 17 15 40 32 0 24 13 11 37 6 34 41 26 21 14 18 9 31 29 3 10 0 21 33 26 28 17 11 38 36 6 10 39 1 20 12 22 5 27 30 41 8 2 35 18 29 3 40 19 15 4 32 9 37 23 14 31 16 24 25 34 17 5 21 32 1 18 19 8 25 0 34 15 31 39 7 3 12 16 24 29 36 6 10 30 41 35 9 26 22 38 27 40 4 33 2 28 11 37 23 20 13 8 6 25 24 7 32 1 40 36 2 22 34 29 17 21 35 41 0 30 4 3 14 20 33 26 16 18 23 10 28 31 27 39 37 11 9 12 19 38 19 10 3 39 29 30 33 18 35 8 24 31 9 36 28 14 2 13 21 23 5 15 37 34 4 20 38 41 25 16 26 6 1 40 32 22 7 17 0 11 38 6 17 19 40 21 15 34 7 24 1 5 4 3 29 39 18 30 9 22 33 12 2 23 16 0 14 11 41 27 25 36 28 20 26 13 37 35 10 31 35 37 34 14 12 2 3 33 31 20 4 16 6 8 11 10 15 38 19 26 22 7 25 13 23 28 21 1 39 24 5 27 40 41 29 0 18 30 17 32 6 31 26 27 35 33 37 2 24 7 25 10 29 17 3 40 8 1 14 20 21 34 19 11 30 4 0 32 36 15 18 23 12 16 13 38 5 41 28 39 31 2 36 9 22 15 28 27 37 21 32 12 41 1 14 4 20 24 26 11 35 16 33 6 25 23 34 40 0 30 3 29 8 5 38 7 19 39 13 17 40 3 30 36 4 23 6 15 16 37 11 13 14 0 34 38 29 26 39 33 12 19 5 35 9 41 18 27 28 31 22 32 24 17 1 21 20 2 7 8 30 9 41 40 39 34 12 3 21 13 22 18 17 32 8 1 11 36 33 19 14 37 7 29 28 6 26 5 35 0 24 10 31 38 16 23 25 15 20 27 4 15 14 35 21 39 16 24 13 38 19 29 11 30 10 33 34 12 5 6 9 23 0 1 3 7 37 31 26 32 17 41 22 2 28 36 27 40 18 25 28 23 29 1 6 35 36 19 10 14 38 34 37 26 25 2 21 11 27 40 16 18 30 33 0 8 32 9 13 17 31 12 5 24 41 3 22 7 4 15 23 38 18 28 5 19 0 12 39 29 6 37 20 21 9 24 26 22 17 13 30 27 1 8 32 31 41 33 4 35 7 2 25 11 36 34 40 16 15 3 10 41 24 3 8 25 23 17 30 9 21 4 35 18 39 31 32 0 22 27 38 28 6 12 5 15 19 2 29 13 40 37 11 7 20 26 14 36 34 33 37 17 38 11 19 14 31 7 5 4 33 24 32 12 40 30 3 39 41 0 1 22 8 27 34 36 28 23 10 29 15 18 13 35 9 16 6 20 2 26 16 25 28 15 36 29 4 20 17 40 5 41 23 34 31 13 19 14 10 39 3 11 24 38 37 9 30 22 1 26 0 8 6 21 27 18 33 32 12 7 21 13 23 24 41 4 27 11 18 33 40 20 12 28 19 15 38 3 32 16 17 25 36 26 39 22 6 7 14 37 9 0 35 34 8 10 2 31 5 1 14 7 10 8 9 41 35 16 26 27 39 32 0 25 2 5 31 4 36 28 18 30 13 17 19 38 22 15 11 3 12 20 23 29 6 33 24 1 40 21 32 20 7 13 34 24 2 0 1 10 15 23 40 33 41 16 4 21 18 31 6 35 26 37 12 29 27 28 38 9 36 3 17 19 22 25 8 5 30 14 8 40 11 31 18 22 13 9 33 1 37 36 16 23 21 29 30 32 4 2 25 38 41 10 17 27 12 0 20 19 14 34 39 3 7 5 28 6 26 24 36 35 8 2 10 28 21 6 32 30 14 11 19 27 13 17 1 34 38 5 24 0 22 31 40 39 15 29 7 20 4 33 16 25 23 12 3 26 9 18 18 33 20 30 13 26 40 5 2 41 29 9 3 37 27 32 7 31 16 15 34 4 11 39 21 10 35 24 8 25 6 22 38 28 19 17 1 14 36 0 29 16 5 17 0 36 24 21 20 23 3 6 18 15 33 12 25 2 11 37 41 10 39 40 22 14 1 34 9 7 38 13 30 4 31 19 35 8 32 28 41 11 22 38 3 12 25 40 27 34 20 30 2 9 26 18 0 33 7 32 37 14 16 21 13 1 29 36 17 23 10 35 19 8 39 4 15 28 24 6 12 36 4 29 33 10 7 37 23 22 9 35 15 11 16 26 24 40 31 3 32 39 27 14 38 21 25 30 18 5 13 1 20 6 17 2 0 34 8 19 1 19 40 6 20 9 10 4 28 31 36 2 26 7 37 0 41 8 29 21 39 32 15 25 35 12 13 3 30 18 34 17 33 27 11 14 38 22 16 5 24 27 13 41 23 8 26 35 9 25 17 40 30 22 1 19 14 28 34 18 2 29 38 3 10 32 31 6 21 39 16 5 36 15 0 37 12 11 33 4 3 12 35 0 37 31 17 10 22 39 30 28 5 19 23 41 16 29 1 14 40 26 20 4 15 25 33 38 34 6 8 7 18 32 21 24 36 9 11 2 39 24 15 21 38 32 22 13 11 19 26 14 10 2 6 25 9 23 28 8 29 20 18 41 36 33 3 17 16 40 1 4 0 12 35 30 34 27 31 37 2 32 39 12 16 0 41 30 29 11 28 27 24 38 4 36 17 20 25 10 19 13 23 22 8 40 7 21 31 33 35 15 3 37 5 1 26 18 6 9 33 0 1 34 14 37 8 29 41 28 23 19 25 6 18 27 13 5 15 35 31 9 40 36 20 11 2 39 12 22 21 16 26 10 24 32 17 3 38 30 
2400.02/2368.81	v 	</values>
2400.02/2368.81	v </instantiation>

Verifier Data 

OK	41

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (2440 MiB free)
  memory of node 1: 16384 MiB (11428 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290266-1532234347/watcher-4290266-1532234347 -o /tmp/evaluation-result-4290266-1532234347/solver-4290266-1532234347 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532224841-26942 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 854738484 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290266-1532234347.xml 

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

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

solver pid=27883, runsolver pid=27880

[startup+0.10014 s]*
/proc/loadavg: 1.25 1.38 1.47 3/215 27898
/proc/meminfo: memFree=14183708/32770624 swapFree=67108860/67108860
[pid=27883] ppid=27880 vsize=14082740 memory=31392 CPUtime=0.12 cores=1,3,5,7
/proc/27883/stat : 27883 (java) S 27880 27883 26910 0 -1 1077944320 6775 0 0 0 11 1 0 0 20 0 15 0 40997890 14420725760 7848 33554432000 4194304 4196468 140735437916064 140735437898608 139826791485175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
/proc/27883/statm: 3520685 7848 3154 1 0 3482761 0
[pid=27883/tid=27885] ppid=27880 vsize=14082740 memory=-8701690554792316032 CPUtime=0.09 cores=1,3,5,7
/proc/27883/task/27885/stat : 27885 (java) R 27880 27883 26910 0 -1 4202560 4806 0 0 0 8 1 0 0 20 0 15 0 40997890 14420725760 7848 33554432000 4194304 4196468 140735437916064 139826795709056 139826775565662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27886] ppid=27880 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27886/stat : 27886 (java) S 27880 27883 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40997891 14420725760 7848 33554432000 4194304 4196468 140735437916064 139826387151632 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27887] ppid=27880 vsize=14082740 memory=140019786360448 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27887/stat : 27887 (java) S 27880 27883 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40997891 14420725760 7848 33554432000 4194304 4196468 140735437916064 139826386099088 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27888] ppid=27880 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27888/stat : 27888 (java) S 27880 27883 26910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40997891 14420725760 7848 33554432000 4194304 4196468 140735437916064 139826385046544 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27889] ppid=27880 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27889/stat : 27889 (java) S 27880 27883 26910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40997891 14420725760 7848 33554432000 4194304 4196468 140735437916064 139826383994000 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27890] ppid=27880 vsize=14082740 memory=140019786360448 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27890/stat : 27890 (java) S 27880 27883 26910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40997892 14420725760 7848 33554432000 4194304 4196468 140735437916064 139826266142704 139826791496322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27891] ppid=27880 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27891/stat : 27891 (java) S 27880 27883 26910 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40997893 14420725760 7848 33554432000 4194304 4196468 140735437916064 139826265088928 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27892] ppid=27880 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27892/stat : 27892 (java) S 27880 27883 26910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40997893 14420725760 7848 33554432000 4194304 4196468 140735437916064 139826264036336 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27893] ppid=27880 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27893/stat : 27893 (java) S 27880 27883 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40997896 14420725760 7848 33554432000 4194304 4196468 140735437916064 139826262984912 139826791503771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27894] ppid=27880 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27894/stat : 27894 (java) S 27880 27883 26910 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 40997896 14420725760 7848 33554432000 4194304 4196468 140735437916064 139826261932528 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27895] ppid=27880 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27895/stat : 27895 (java) S 27880 27883 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40997896 14420725760 7848 33554432000 4194304 4196468 140735437916064 139826260879984 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27896] ppid=27880 vsize=14082740 memory=140019786360448 CPUtime=0.01 cores=1,3,5,7
/proc/27883/task/27896/stat : 27896 (java) S 27880 27883 26910 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 40997896 14420725760 7848 33554432000 4194304 4196468 140735437916064 139826259827440 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27897] ppid=27880 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27897/stat : 27897 (java) S 27880 27883 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40997896 14420725760 7848 33554432000 4194304 4196468 140735437916064 139826258775136 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27898] ppid=27880 vsize=14082740 memory=140019786360448 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27898/stat : 27898 (java) S 27880 27883 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40997896 14420725760 7848 33554432000 4194304 4196468 140735437916064 139826257721648 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31392 KiB

[startup+0.214428 s]*
/proc/loadavg: 1.25 1.38 1.47 5/215 27898
/proc/meminfo: memFree=14167832/32770624 swapFree=67108860/67108860
[pid=27883] ppid=27880 vsize=14082740 memory=47188 CPUtime=0.32 cores=1,3,5,7
/proc/27883/stat : 27883 (java) S 27880 27883 26910 0 -1 1077944320 10442 0 0 0 30 2 0 0 20 0 15 0 40997890 14420725760 11797 33554432000 4194304 4196468 140735437916064 140735437898608 139826791485175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
/proc/27883/statm: 3520685 11797 3369 1 0 3482761 0
[pid=27883/tid=27885] ppid=27880 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/27883/task/27885/stat : 27885 (java) R 27880 27883 26910 0 -1 4202560 8136 0 0 0 19 1 0 0 20 0 15 0 40997890 14420725760 11797 33554432000 4194304 4196468 140735437916064 139826795702672 139826775528805 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27886] ppid=27880 vsize=14082740 memory=342 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27886/stat : 27886 (java) S 27880 27883 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40997891 14420725760 11797 33554432000 4194304 4196468 140735437916064 139826387151632 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27887] ppid=27880 vsize=14082740 memory=140019786578574 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27887/stat : 27887 (java) S 27880 27883 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40997891 14420725760 11797 33554432000 4194304 4196468 140735437916064 139826386099088 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27888] ppid=27880 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27888/stat : 27888 (java) S 27880 27883 26910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40997891 14420725760 11797 33554432000 4194304 4196468 140735437916064 139826385046544 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27889] ppid=27880 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27889/stat : 27889 (java) S 27880 27883 26910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40997891 14420725760 11797 33554432000 4194304 4196468 140735437916064 139826383994000 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27890] ppid=27880 vsize=14082740 memory=140019786360448 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27890/stat : 27890 (java) S 27880 27883 26910 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 40997892 14420725760 11797 33554432000 4194304 4196468 140735437916064 139826266142704 139826791496322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27891] ppid=27880 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27891/stat : 27891 (java) S 27880 27883 26910 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40997893 14420725760 11797 33554432000 4194304 4196468 140735437916064 139826265088928 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27892] ppid=27880 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27892/stat : 27892 (java) S 27880 27883 26910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40997893 14420725760 11797 33554432000 4194304 4196468 140735437916064 139826264036336 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27893] ppid=27880 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27893/stat : 27893 (java) S 27880 27883 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40997896 14420725760 11797 33554432000 4194304 4196468 140735437916064 139826262984912 139826791503771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27894] ppid=27880 vsize=14082740 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27883/task/27894/stat : 27894 (java) R 27880 27883 26910 0 -1 1077944384 353 0 0 0 1 0 0 0 20 0 15 0 40997896 14420725760 11797 33554432000 4194304 4196468 140735437916064 139826261932624 139826791495381 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27895] ppid=27880 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27883/task/27895/stat : 27895 (java) S 27880 27883 26910 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 15 0 40997896 14420725760 11797 33554432000 4194304 4196468 140735437916064 139826260879984 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27896] ppid=27880 vsize=14082740 memory=140019786360448 CPUtime=0.06 cores=1,3,5,7
/proc/27883/task/27896/stat : 27896 (java) R 27880 27883 26910 0 -1 4202560 312 0 0 0 6 0 0 0 20 0 15 0 40997896 14420725760 11797 33554432000 4194304 4196468 140735437916064 139826259822512 139826770111632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27897] ppid=27880 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27897/stat : 27897 (java) S 27880 27883 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40997896 14420725760 11797 33554432000 4194304 4196468 140735437916064 139826258775136 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27898] ppid=27880 vsize=14082740 memory=140019786360448 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27898/stat : 27898 (java) S 27880 27883 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40997896 14420725760 11797 33554432000 4194304 4196468 140735437916064 139826257721648 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47188 KiB

[startup+0.310554 s]*
/proc/loadavg: 1.25 1.38 1.47 4/215 27898
/proc/meminfo: memFree=14164544/32770624 swapFree=67108860/67108860
[pid=27883] ppid=27880 vsize=14082740 memory=50600 CPUtime=0.44 cores=1,3,5,7
/proc/27883/stat : 27883 (java) S 27880 27883 26910 0 -1 1077944320 10823 0 0 0 42 2 0 0 20 0 15 0 40997890 14420725760 12650 33554432000 4194304 4196468 140735437916064 140735437898608 139826791485175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
/proc/27883/statm: 3520685 12650 3372 1 0 3482761 0
[pid=27883/tid=27885] ppid=27880 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/27883/task/27885/stat : 27885 (java) R 27880 27883 26910 0 -1 4202560 8482 0 0 0 28 2 0 0 20 0 15 0 40997890 14420725760 12650 33554432000 4194304 4196468 140735437916064 139826795674448 139826771761064 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27886] ppid=27880 vsize=14082740 memory=288230600413020183 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27886/stat : 27886 (java) S 27880 27883 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40997891 14420725760 12650 33554432000 4194304 4196468 140735437916064 139826387151632 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27887] ppid=27880 vsize=14082740 memory=140019786570172 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27887/stat : 27887 (java) S 27880 27883 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40997891 14420725760 12650 33554432000 4194304 4196468 140735437916064 139826386099088 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27888] ppid=27880 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27888/stat : 27888 (java) S 27880 27883 26910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40997891 14420725760 12650 33554432000 4194304 4196468 140735437916064 139826385046544 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27889] ppid=27880 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27889/stat : 27889 (java) S 27880 27883 26910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40997891 14420725760 12650 33554432000 4194304 4196468 140735437916064 139826383994000 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27890] ppid=27880 vsize=14082740 memory=140019786360448 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27890/stat : 27890 (java) S 27880 27883 26910 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 40997892 14420725760 12650 33554432000 4194304 4196468 140735437916064 139826266142704 139826791496322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27891] ppid=27880 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27891/stat : 27891 (java) S 27880 27883 26910 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40997893 14420725760 12650 33554432000 4194304 4196468 140735437916064 139826265088928 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27892] ppid=27880 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27892/stat : 27892 (java) S 27880 27883 26910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40997893 14420725760 12650 33554432000 4194304 4196468 140735437916064 139826264036336 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27893] ppid=27880 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27893/stat : 27893 (java) S 27880 27883 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40997896 14420725760 12650 33554432000 4194304 4196468 140735437916064 139826262984912 139826791503771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27894] ppid=27880 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27883/task/27894/stat : 27894 (java) S 27880 27883 26910 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 40997896 14420725760 12650 33554432000 4194304 4196468 140735437916064 139826261932528 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27895] ppid=27880 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27883/task/27895/stat : 27895 (java) S 27880 27883 26910 0 -1 1077944384 257 0 0 0 2 0 0 0 20 0 15 0 40997896 14420725760 12650 33554432000 4194304 4196468 140735437916064 139826260879984 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27896] ppid=27880 vsize=14082740 memory=140019786360448 CPUtime=0.08 cores=1,3,5,7
/proc/27883/task/27896/stat : 27896 (java) S 27880 27883 26910 0 -1 1077944384 327 0 0 0 8 0 0 0 20 0 15 0 40997896 14420725760 12650 33554432000 4194304 4196468 140735437916064 139826259827440 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27897] ppid=27880 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27897/stat : 27897 (java) S 27880 27883 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40997896 14420725760 12650 33554432000 4194304 4196468 140735437916064 139826258775136 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27898] ppid=27880 vsize=14082740 memory=140019786360448 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27898/stat : 27898 (java) S 27880 27883 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40997896 14420725760 12650 33554432000 4194304 4196468 140735437916064 139826257721648 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50600 KiB

[startup+0.700761 s]
/proc/loadavg: 1.25 1.38 1.47 3/215 27898
/proc/meminfo: memFree=14140112/32770624 swapFree=67108860/67108860
[pid=27883] ppid=27880 vsize=14084808 memory=88724 CPUtime=0.97 cores=1,3,5,7
/proc/27883/stat : 27883 (java) S 27880 27883 26910 0 -1 1077944320 17571 0 0 0 93 4 0 0 20 0 15 0 40997890 14422843392 22181 33554432000 4194304 4196468 140735437916064 140735437898608 139826791485175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
/proc/27883/statm: 3521202 22181 3498 1 0 3483273 0
[pid=27883/tid=27885] ppid=27880 vsize=14084808 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/27883/task/27885/stat : 27885 (java) R 27880 27883 26910 0 -1 4202560 14934 0 0 0 64 3 0 0 20 0 15 0 40997890 14422843392 22181 33554432000 4194304 4196468 140735437916064 139826795708368 139826791507101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27886] ppid=27880 vsize=14084808 memory=796 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27886/stat : 27886 (java) S 27880 27883 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40997891 14422843392 22181 33554432000 4194304 4196468 140735437916064 139826387151632 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27887] ppid=27880 vsize=14084808 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27887/stat : 27887 (java) S 27880 27883 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40997891 14422843392 22181 33554432000 4194304 4196468 140735437916064 139826386099088 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27888] ppid=27880 vsize=14084808 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27888/stat : 27888 (java) S 27880 27883 26910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40997891 14422843392 22181 33554432000 4194304 4196468 140735437916064 139826385046544 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27889] ppid=27880 vsize=14084808 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27889/stat : 27889 (java) S 27880 27883 26910 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40997891 14422843392 22181 33554432000 4194304 4196468 140735437916064 139826383994000 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27890] ppid=27880 vsize=14084808 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27890/stat : 27890 (java) S 27880 27883 26910 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 40997892 14422843392 22181 33554432000 4194304 4196468 140735437916064 139826266142704 139826791496322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27891] ppid=27880 vsize=14084808 memory=5368 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27891/stat : 27891 (java) S 27880 27883 26910 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40997893 14422843392 22181 33554432000 4194304 4196468 140735437916064 139826265088928 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27892] ppid=27880 vsize=14084808 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27892/stat : 27892 (java) S 27880 27883 26910 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40997893 14422843392 22181 33554432000 4194304 4196468 140735437916064 139826264036336 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27893] ppid=27880 vsize=14084808 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27893/stat : 27893 (java) S 27880 27883 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40997896 14422843392 22181 33554432000 4194304 4196468 140735437916064 139826262984912 139826791503771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27894] ppid=27880 vsize=14084808 memory=6945208482816681536 CPUtime=0.07 cores=1,3,5,7
/proc/27883/task/27894/stat : 27894 (java) S 27880 27883 26910 0 -1 1077944384 461 0 0 0 7 0 0 0 20 0 15 0 40997896 14422843392 22181 33554432000 4194304 4196468 140735437916064 139826261932528 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27895] ppid=27880 vsize=14084808 memory=7811323491934034026 CPUtime=0.06 cores=1,3,5,7
/proc/27883/task/27895/stat : 27895 (java) S 27880 27883 26910 0 -1 1077944384 405 0 0 0 6 0 0 0 20 0 15 0 40997896 14422843392 22181 33554432000 4194304 4196468 140735437916064 139826260879984 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27896] ppid=27880 vsize=14084808 memory=5787213827113576551 CPUtime=0.15 cores=1,3,5,7
/proc/27883/task/27896/stat : 27896 (java) S 27880 27883 26910 0 -1 1077944384 388 0 0 0 15 0 0 0 20 0 15 0 40997896 14422843392 22181 33554432000 4194304 4196468 140735437916064 139826259827440 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27897] ppid=27880 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27897/stat : 27897 (java) S 27880 27883 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40997896 14422843392 22181 33554432000 4194304 4196468 140735437916064 139826258775136 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27898] ppid=27880 vsize=14084808 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27898/stat : 27898 (java) S 27880 27883 26910 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40997896 14422843392 22181 33554432000 4194304 4196468 140735437916064 139826257721648 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88724 KiB

[startup+1.50083 s]
/proc/loadavg: 1.25 1.38 1.47 5/215 27898
/proc/meminfo: memFree=14073780/32770624 swapFree=67108860/67108860
[pid=27883] ppid=27880 vsize=14086856 memory=257092 CPUtime=3.4 cores=1,3,5,7
/proc/27883/stat : 27883 (java) S 27880 27883 26910 0 -1 1077944320 25463 0 0 0 330 10 0 0 20 0 15 0 40997890 14424940544 64273 33554432000 4194304 4196468 140735437916064 140735437898608 139826791485175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
/proc/27883/statm: 3521714 64273 3574 1 0 3483785 0
[pid=27883/tid=27885] ppid=27880 vsize=14086856 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/27883/task/27885/stat : 27885 (java) R 27880 27883 26910 0 -1 4202560 15850 0 0 0 137 6 0 0 20 0 15 0 40997890 14424940544 64273 33554432000 4194304 4196468 140735437916064 139826795720288 139826432527429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27886] ppid=27880 vsize=14086856 memory=-6951259422114956437 CPUtime=0.03 cores=1,3,5,7
/proc/27883/task/27886/stat : 27886 (java) S 27880 27883 26910 0 -1 1077944384 325 0 0 0 3 0 0 0 20 0 15 0 40997891 14424940544 64273 33554432000 4194304 4196468 140735437916064 139826387151632 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27887] ppid=27880 vsize=14086856 memory=-6509546260019855295 CPUtime=0.01 cores=1,3,5,7
/proc/27883/task/27887/stat : 27887 (java) S 27880 27883 26910 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 40997891 14424940544 64273 33554432000 4194304 4196468 140735437916064 139826386099088 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27888] ppid=27880 vsize=14086856 memory=-7390251449858225344 CPUtime=0.02 cores=1,3,5,7
/proc/27883/task/27888/stat : 27888 (java) S 27880 27883 26910 0 -1 1077944384 273 0 0 0 2 0 0 0 20 0 15 0 40997891 14424940544 64273 33554432000 4194304 4196468 140735437916064 139826385046544 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27889] ppid=27880 vsize=14086856 memory=4134692831991786133 CPUtime=0.01 cores=1,3,5,7
/proc/27883/task/27889/stat : 27889 (java) S 27880 27883 26910 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 15 0 40997891 14424940544 64273 33554432000 4194304 4196468 140735437916064 139826383994000 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27890] ppid=27880 vsize=14086856 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27890/stat : 27890 (java) S 27880 27883 26910 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 40997892 14424940544 64273 33554432000 4194304 4196468 140735437916064 139826266142704 139826791496322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0

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

/proc/27883/task/27885/stat : 27885 (java) R 27880 27883 26910 0 -1 4202560 502520 0 0 0 219504 85 0 0 20 0 15 0 40997890 14429134848 673585 33554432000 4194304 4196468 140735437916064 139826795722832 139826434394928 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27886] ppid=27880 vsize=14090952 memory=14252 CPUtime=6.14 cores=1,3,5,7
/proc/27883/task/27886/stat : 27886 (java) S 27880 27883 26910 0 -1 1077944384 61764 0 0 0 525 89 0 0 20 0 15 0 40997891 14429134848 673585 33554432000 4194304 4196468 140735437916064 139826387151632 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27887] ppid=27880 vsize=14090952 memory=2694340 CPUtime=6.14 cores=1,3,5,7
/proc/27883/task/27887/stat : 27887 (java) S 27880 27883 26910 0 -1 1077944384 65496 0 0 0 527 87 0 0 20 0 15 0 40997891 14429134848 673585 33554432000 4194304 4196468 140735437916064 139826386099088 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27888] ppid=27880 vsize=14090952 memory=2771288 CPUtime=6.16 cores=1,3,5,7
/proc/27883/task/27888/stat : 27888 (java) S 27880 27883 26910 0 -1 1077944384 54050 0 0 0 525 91 0 0 20 0 15 0 40997891 14429134848 673585 33554432000 4194304 4196468 140735437916064 139826385046544 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27889] ppid=27880 vsize=14090952 memory=2712808 CPUtime=6.1 cores=1,3,5,7
/proc/27883/task/27889/stat : 27889 (java) S 27880 27883 26910 0 -1 1077944384 54724 0 0 0 524 86 0 0 20 0 15 0 40997891 14429134848 673585 33554432000 4194304 4196468 140735437916064 139826383994000 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27890] ppid=27880 vsize=14090952 memory=2712808 CPUtime=0.32 cores=1,3,5,7
/proc/27883/task/27890/stat : 27890 (java) S 27880 27883 26910 0 -1 1077944384 13863 0 0 0 25 7 0 0 20 0 15 0 40997892 14429134848 673585 33554432000 4194304 4196468 140735437916064 139826266142704 139826791496322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27891] ppid=27880 vsize=14090952 memory=2694340 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27891/stat : 27891 (java) S 27880 27883 26910 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 40997893 14429134848 673585 33554432000 4194304 4196468 140735437916064 139826265088992 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27892] ppid=27880 vsize=14090952 memory=2694340 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27892/stat : 27892 (java) S 27880 27883 26910 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 40997893 14429134848 673585 33554432000 4194304 4196468 140735437916064 139826264036352 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27893] ppid=27880 vsize=14090952 memory=2694340 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27893/stat : 27893 (java) S 27880 27883 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40997896 14429134848 673585 33554432000 4194304 4196468 140735437916064 139826262984912 139826791503771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27894] ppid=27880 vsize=14090952 memory=2707676 CPUtime=4.33 cores=1,3,5,7
/proc/27883/task/27894/stat : 27894 (java) S 27880 27883 26910 0 -1 1077944384 21410 0 0 0 431 2 0 0 20 0 15 0 40997896 14429134848 673585 33554432000 4194304 4196468 140735437916064 139826261932528 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27895] ppid=27880 vsize=14090952 memory=2747692 CPUtime=4.53 cores=1,3,5,7
/proc/27883/task/27895/stat : 27895 (java) S 27880 27883 26910 0 -1 1077944384 19322 0 0 0 450 3 0 0 20 0 15 0 40997896 14429134848 673585 33554432000 4194304 4196468 140735437916064 139826260879984 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27896] ppid=27880 vsize=14090952 memory=2747692 CPUtime=1.11 cores=1,3,5,7
/proc/27883/task/27896/stat : 27896 (java) S 27880 27883 26910 0 -1 1077944384 19983 0 0 0 109 2 0 0 20 0 15 0 40997896 14429134848 673585 33554432000 4194304 4196468 140735437916064 139826259827440 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27897] ppid=27880 vsize=14090952 memory=2694340 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27897/stat : 27897 (java) S 27880 27883 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40997896 14429134848 673585 33554432000 4194304 4196468 140735437916064 139826258775136 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27898] ppid=27880 vsize=14090952 memory=2694340 CPUtime=1.24 cores=1,3,5,7
/proc/27883/task/27898/stat : 27898 (java) S 27880 27883 26910 0 -1 1077944384 1687 0 0 0 57 67 0 0 20 0 15 0 40997896 14429134848 673585 33554432000 4194304 4196468 140735437916064 139826257721648 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
Current children cumulated CPU time: 2232.05 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2694340 KiB

[startup+2262.3 s]
/proc/loadavg: 1.64 1.63 1.60 3/215 28068
/proc/meminfo: memFree=12453872/32770624 swapFree=67108860/67108860
[pid=27883] ppid=27880 vsize=14090952 memory=2612632 CPUtime=2292.91 cores=1,3,5,7
/proc/27883/stat : 27883 (java) S 27880 27883 26910 0 -1 1077944320 819385 0 0 0 228778 513 0 0 20 0 15 0 40997890 14429134848 653158 33554432000 4194304 4196468 140735437916064 140735437898608 139826791485175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
/proc/27883/statm: 3522738 653158 3617 1 0 3484809 0
[pid=27883/tid=27885] ppid=27880 vsize=14090952 memory=2634692 CPUtime=2255.6 cores=1,3,5,7
/proc/27883/task/27885/stat : 27885 (java) R 27880 27883 26910 0 -1 4202560 503742 0 0 0 225475 85 0 0 20 0 15 0 40997890 14429134848 653158 33554432000 4194304 4196468 140735437916064 139826795722800 139826437041966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27886] ppid=27880 vsize=14090952 memory=2634684 CPUtime=6.42 cores=1,3,5,7
/proc/27883/task/27886/stat : 27886 (java) S 27880 27883 26910 0 -1 1077944384 62201 0 0 0 552 90 0 0 20 0 15 0 40997891 14429134848 653158 33554432000 4194304 4196468 140735437916064 139826387151632 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27887] ppid=27880 vsize=14090952 memory=2635196 CPUtime=6.42 cores=1,3,5,7
/proc/27883/task/27887/stat : 27887 (java) S 27880 27883 26910 0 -1 1077944384 65829 0 0 0 554 88 0 0 20 0 15 0 40997891 14429134848 653158 33554432000 4194304 4196468 140735437916064 139826386099088 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27888] ppid=27880 vsize=14090952 memory=578 CPUtime=6.43 cores=1,3,5,7
/proc/27883/task/27888/stat : 27888 (java) S 27880 27883 26910 0 -1 1077944384 54678 0 0 0 552 91 0 0 20 0 15 0 40997891 14429134848 653158 33554432000 4194304 4196468 140735437916064 139826385046544 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27889] ppid=27880 vsize=14090952 memory=2635196 CPUtime=6.38 cores=1,3,5,7
/proc/27883/task/27889/stat : 27889 (java) S 27880 27883 26910 0 -1 1077944384 55006 0 0 0 551 87 0 0 20 0 15 0 40997891 14429134848 653158 33554432000 4194304 4196468 140735437916064 139826383994000 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27890] ppid=27880 vsize=14090952 memory=280039250699680 CPUtime=0.33 cores=1,3,5,7
/proc/27883/task/27890/stat : 27890 (java) S 27880 27883 26910 0 -1 1077944384 14064 0 0 0 26 7 0 0 20 0 15 0 40997892 14429134848 653158 33554432000 4194304 4196468 140735437916064 139826266142704 139826791496322 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27891] ppid=27880 vsize=14090952 memory=2634684 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27891/stat : 27891 (java) S 27880 27883 26910 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 40997893 14429134848 653158 33554432000 4194304 4196468 140735437916064 139826265088992 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27892] ppid=27880 vsize=14090952 memory=2634692 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27892/stat : 27892 (java) S 27880 27883 26910 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 40997893 14429134848 653158 33554432000 4194304 4196468 140735437916064 139826264036352 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27893] ppid=27880 vsize=14090952 memory=2634684 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27893/stat : 27893 (java) S 27880 27883 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40997896 14429134848 653158 33554432000 4194304 4196468 140735437916064 139826262984912 139826791503771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27894] ppid=27880 vsize=14090952 memory=2612632 CPUtime=4.33 cores=1,3,5,7
/proc/27883/task/27894/stat : 27894 (java) S 27880 27883 26910 0 -1 1077944384 21412 0 0 0 431 2 0 0 20 0 15 0 40997896 14429134848 653158 33554432000 4194304 4196468 140735437916064 139826261932528 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27895] ppid=27880 vsize=14090952 memory=280039250365176 CPUtime=4.53 cores=1,3,5,7
/proc/27883/task/27895/stat : 27895 (java) S 27880 27883 26910 0 -1 1077944384 19324 0 0 0 450 3 0 0 20 0 15 0 40997896 14429134848 653158 33554432000 4194304 4196468 140735437916064 139826260879984 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27896] ppid=27880 vsize=14090952 memory=2634684 CPUtime=1.11 cores=1,3,5,7
/proc/27883/task/27896/stat : 27896 (java) S 27880 27883 26910 0 -1 1077944384 19985 0 0 0 109 2 0 0 20 0 15 0 40997896 14429134848 653158 33554432000 4194304 4196468 140735437916064 139826259827440 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27897] ppid=27880 vsize=14090952 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27897/stat : 27897 (java) S 27880 27883 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40997896 14429134848 653158 33554432000 4194304 4196468 140735437916064 139826258775136 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27898] ppid=27880 vsize=14090952 memory=303430270546346295 CPUtime=1.27 cores=1,3,5,7
/proc/27883/task/27898/stat : 27898 (java) S 27880 27883 26910 0 -1 1077944384 1702 0 0 0 58 69 0 0 20 0 15 0 40997896 14429134848 653158 33554432000 4194304 4196468 140735437916064 139826257721648 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
Current children cumulated CPU time: 2292.91 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2612632 KiB

[startup+2322.3 s]
/proc/loadavg: 1.50 1.58 1.59 4/215 28069
/proc/meminfo: memFree=12565268/32770624 swapFree=67108860/67108860
[pid=27883] ppid=27880 vsize=14090952 memory=2501824 CPUtime=2353.23 cores=1,3,5,7
/proc/27883/stat : 27883 (java) S 27880 27883 26910 0 -1 1077944320 822186 0 0 0 234808 515 0 0 20 0 15 0 40997890 14429134848 625456 33554432000 4194304 4196468 140735437916064 140735437898608 139826791485175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
/proc/27883/statm: 3522738 625456 3617 1 0 3484809 0
[pid=27883/tid=27885] ppid=27880 vsize=14090952 memory=2516700 CPUtime=2315.5 cores=1,3,5,7
/proc/27883/task/27885/stat : 27885 (java) R 27880 27883 26910 0 -1 4202560 504907 0 0 0 231465 85 0 0 20 0 15 0 40997890 14429134848 625456 33554432000 4194304 4196468 140735437916064 139826795722832 139826437041915 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27886] ppid=27880 vsize=14090952 memory=2550048 CPUtime=6.52 cores=1,3,5,7
/proc/27883/task/27886/stat : 27886 (java) S 27880 27883 26910 0 -1 1077944384 62603 0 0 0 562 90 0 0 20 0 15 0 40997891 14429134848 625456 33554432000 4194304 4196468 140735437916064 139826387151632 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27887] ppid=27880 vsize=14090952 memory=0 CPUtime=6.51 cores=1,3,5,7
/proc/27883/task/27887/stat : 27887 (java) S 27880 27883 26910 0 -1 1077944384 66194 0 0 0 563 88 0 0 20 0 15 0 40997891 14429134848 625456 33554432000 4194304 4196468 140735437916064 139826386099088 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27888] ppid=27880 vsize=14090952 memory=2569540 CPUtime=6.52 cores=1,3,5,7
/proc/27883/task/27888/stat : 27888 (java) S 27880 27883 26910 0 -1 1077944384 55047 0 0 0 561 91 0 0 20 0 15 0 40997891 14429134848 625456 33554432000 4194304 4196468 140735437916064 139826385046544 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27889] ppid=27880 vsize=14090952 memory=2532092 CPUtime=6.48 cores=1,3,5,7
/proc/27883/task/27889/stat : 27889 (java) S 27880 27883 26910 0 -1 1077944384 55302 0 0 0 561 87 0 0 20 0 15 0 40997891 14429134848 625456 33554432000 4194304 4196468 140735437916064 139826383994000 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27890] ppid=27880 vsize=14090952 memory=2516700 CPUtime=0.35 cores=1,3,5,7
/proc/27883/task/27890/stat : 27890 (java) S 27880 27883 26910 0 -1 1077944384 14243 0 0 0 27 8 0 0 20 0 15 0 40997892 14429134848 625456 33554432000 4194304 4196468 140735437916064 139826266142704 139826791496322 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27891] ppid=27880 vsize=14090952 memory=2516188 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27891/stat : 27891 (java) S 27880 27883 26910 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 40997893 14429134848 625456 33554432000 4194304 4196468 140735437916064 139826265088992 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27892] ppid=27880 vsize=14090952 memory=2516188 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27892/stat : 27892 (java) S 27880 27883 26910 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 40997893 14429134848 625456 33554432000 4194304 4196468 140735437916064 139826264036352 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27893] ppid=27880 vsize=14090952 memory=2501824 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27893/stat : 27893 (java) S 27880 27883 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40997896 14429134848 625456 33554432000 4194304 4196468 140735437916064 139826262984912 139826791503771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27894] ppid=27880 vsize=14090952 memory=0 CPUtime=4.33 cores=1,3,5,7
/proc/27883/task/27894/stat : 27894 (java) S 27880 27883 26910 0 -1 1077944384 21414 0 0 0 431 2 0 0 20 0 15 0 40997896 14429134848 625456 33554432000 4194304 4196468 140735437916064 139826261932528 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27895] ppid=27880 vsize=14090952 memory=2532092 CPUtime=4.53 cores=1,3,5,7
/proc/27883/task/27895/stat : 27895 (java) S 27880 27883 26910 0 -1 1077944384 19327 0 0 0 450 3 0 0 20 0 15 0 40997896 14429134848 625456 33554432000 4194304 4196468 140735437916064 139826260879984 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27896] ppid=27880 vsize=14090952 memory=4136 CPUtime=1.12 cores=1,3,5,7
/proc/27883/task/27896/stat : 27896 (java) S 27880 27883 26910 0 -1 1077944384 19987 0 0 0 109 3 0 0 20 0 15 0 40997896 14429134848 625456 33554432000 4194304 4196468 140735437916064 139826259827440 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27897] ppid=27880 vsize=14090952 memory=2516188 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27897/stat : 27897 (java) S 27880 27883 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40997896 14429134848 625456 33554432000 4194304 4196468 140735437916064 139826258775136 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27898] ppid=27880 vsize=14090952 memory=844 CPUtime=1.31 cores=1,3,5,7
/proc/27883/task/27898/stat : 27898 (java) S 27880 27883 26910 0 -1 1077944384 1720 0 0 0 60 71 0 0 20 0 15 0 40997896 14429134848 625456 33554432000 4194304 4196468 140735437916064 139826257721648 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
Current children cumulated CPU time: 2353.23 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2501824 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2368.8 s]
/proc/loadavg: 1.60 1.59 1.59 4/215 28069
/proc/meminfo: memFree=12615388/32770624 swapFree=67108860/67108860
[pid=27883] ppid=27880 vsize=14090952 memory=2452064 CPUtime=2400.02 cores=1,3,5,7
/proc/27883/stat : 27883 (java) S 27880 27883 26910 0 -1 1077944320 824447 0 0 0 239485 517 0 0 20 0 15 0 40997890 14429134848 613016 33554432000 4194304 4196468 140735437916064 140735437898608 139826791485175 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
/proc/27883/statm: 3522738 613016 3617 1 0 3484809 0
[pid=27883/tid=27885] ppid=27880 vsize=14090952 memory=1796 CPUtime=2361.9 cores=1,3,5,7
/proc/27883/task/27885/stat : 27885 (java) R 27880 27883 26910 0 -1 4202560 505609 0 0 0 236105 85 0 0 20 0 15 0 40997890 14429134848 613016 33554432000 4194304 4196468 140735437916064 139826795722944 139826434395194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27886] ppid=27880 vsize=14090952 memory=916 CPUtime=6.6 cores=1,3,5,7
/proc/27883/task/27886/stat : 27886 (java) S 27880 27883 26910 0 -1 1077944384 62987 0 0 0 570 90 0 0 20 0 15 0 40997891 14429134848 613016 33554432000 4194304 4196468 140735437916064 139826387151632 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27887] ppid=27880 vsize=14090952 memory=6791534058613427641 CPUtime=6.6 cores=1,3,5,7
/proc/27883/task/27887/stat : 27887 (java) S 27880 27883 26910 0 -1 1077944384 66621 0 0 0 572 88 0 0 20 0 15 0 40997891 14429134848 613016 33554432000 4194304 4196468 140735437916064 139826386099088 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27888] ppid=27880 vsize=14090952 memory=4128 CPUtime=6.61 cores=1,3,5,7
/proc/27883/task/27888/stat : 27888 (java) S 27880 27883 26910 0 -1 1077944384 55236 0 0 0 570 91 0 0 20 0 15 0 40997891 14429134848 613016 33554432000 4194304 4196468 140735437916064 139826385046544 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27889] ppid=27880 vsize=14090952 memory=2200 CPUtime=6.56 cores=1,3,5,7
/proc/27883/task/27889/stat : 27889 (java) S 27880 27883 26910 0 -1 1077944384 55659 0 0 0 569 87 0 0 20 0 15 0 40997891 14429134848 613016 33554432000 4194304 4196468 140735437916064 139826383994000 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27890] ppid=27880 vsize=14090952 memory=7528 CPUtime=0.35 cores=1,3,5,7
/proc/27883/task/27890/stat : 27890 (java) S 27880 27883 26910 0 -1 1077944384 14417 0 0 0 27 8 0 0 20 0 15 0 40997892 14429134848 613016 33554432000 4194304 4196468 140735437916064 139826266142704 139826791496322 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27891] ppid=27880 vsize=14090952 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27891/stat : 27891 (java) S 27880 27883 26910 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 40997893 14429134848 613016 33554432000 4194304 4196468 140735437916064 139826265088992 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27892] ppid=27880 vsize=14090952 memory=9924 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27892/stat : 27892 (java) S 27880 27883 26910 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 40997893 14429134848 613016 33554432000 4194304 4196468 140735437916064 139826264036352 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27893] ppid=27880 vsize=14090952 memory=2478228 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27893/stat : 27893 (java) S 27880 27883 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40997896 14429134848 613016 33554432000 4194304 4196468 140735437916064 139826262984912 139826791503771 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27894] ppid=27880 vsize=14090952 memory=1424 CPUtime=4.33 cores=1,3,5,7
/proc/27883/task/27894/stat : 27894 (java) S 27880 27883 26910 0 -1 1077944384 21416 0 0 0 431 2 0 0 20 0 15 0 40997896 14429134848 613016 33554432000 4194304 4196468 140735437916064 139826261932528 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27895] ppid=27880 vsize=14090952 memory=15868 CPUtime=4.53 cores=1,3,5,7
/proc/27883/task/27895/stat : 27895 (java) S 27880 27883 26910 0 -1 1077944384 19330 0 0 0 450 3 0 0 20 0 15 0 40997896 14429134848 613016 33554432000 4194304 4196468 140735437916064 139826260879984 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27896] ppid=27880 vsize=14090952 memory=4136 CPUtime=1.12 cores=1,3,5,7
/proc/27883/task/27896/stat : 27896 (java) S 27880 27883 26910 0 -1 1077944384 19989 0 0 0 109 3 0 0 20 0 15 0 40997896 14429134848 613016 33554432000 4194304 4196468 140735437916064 139826259827440 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27897] ppid=27880 vsize=14090952 memory=14252 CPUtime=0 cores=1,3,5,7
/proc/27883/task/27897/stat : 27897 (java) S 27880 27883 26910 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40997896 14429134848 613016 33554432000 4194304 4196468 140735437916064 139826258775136 139826791495381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
[pid=27883/tid=27898] ppid=27880 vsize=14090952 memory=2420 CPUtime=1.33 cores=1,3,5,7
/proc/27883/task/27898/stat : 27898 (java) S 27880 27883 26910 0 -1 1077944384 1741 0 0 0 61 72 0 0 20 0 15 0 40997896 14429134848 613016 33554432000 4194304 4196468 140735437916064 139826257721648 139826791496322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30187520 140735437919305 140735437919497 140735437919497 140735437922255 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2452064 KiB

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

[startup+2368.82 s]
# the end of solver process 27883 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2394.87 s, system=5.18238 s

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

Child status: 143
Real time (s): 2368.82
CPU time (s): 2400.06
CPU user time (s): 2394.87
CPU system time (s): 5.18238
CPU usage (%): 101.319
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 5529600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.87
system time used= 5.18238
maximum resident set size= 5529600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 824909
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58033
involuntary context switches= 1100


# summary of solver processes directly reported to runsolver:
#   pid: 27883
#   total CPU time (s): 2400.06
#   total CPU user time (s): 2394.87
#   total CPU system time (s): 5.18238

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8676 second user time and 21.4299 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-22 06:39:07
IDJOB=4290266
IDBENCH=141136
IDSOLVER=2743
FILE ID=node105/4290266-1532234347
RUNJOBID= node105-1532224841-26942
PBS_JOBID= 21018944
Free space on /tmp= 44884 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order40_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4290266-1532234347/watcher-4290266-1532234347 -o /tmp/evaluation-result-4290266-1532234347/solver-4290266-1532234347 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532224841-26942 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 854738484 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290266-1532234347.xml

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

MD5SUM BENCH= d1aa36ddb66a988b2d6475ffc1d9c375
RANDOM SEED=854738484

node105.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.32
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.32
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.32
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.32
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:        14202056 kB
MemAvailable:   30030092 kB
Buffers:          137544 kB
Cached:         15663988 kB
SwapCached:            0 kB
Active:          3200076 kB
Inactive:       14560448 kB
Active(anon):    1913640 kB
Inactive(anon):    65224 kB
Active(file):    1286436 kB
Inactive(file): 14495224 kB
Unevictable:        7308 kB
Mlocked:            7308 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             38060 kB
Writeback:             0 kB
AnonPages:       1996872 kB
Mapped:            48768 kB
Shmem:             17036 kB
Slab:             501628 kB
SReclaimable:     474836 kB
SUnreclaim:        26792 kB
KernelStack:        3808 kB
PageTables:         9608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2611956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1925120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44852 MiB
End job on node105 at 2018-07-22 07:18:36