Trace number 4304248

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT (TO)345 2520.07 2468.25

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.99/0.74	c Concrete v3.9.2.1532736233296 running
39.74/22.11	o 1599
41.79/23.09	o 1598
43.47/23.96	o 1597
44.82/24.81	o 1596
45.69/25.55	o 1595
46.61/26.32	o 1594
47.63/27.11	o 1593
48.52/27.86	o 1592
49.68/28.76	o 1591
50.55/29.49	o 1590
51.43/30.26	o 1589
52.21/31.00	o 1588
53.19/31.80	o 1587
53.96/32.57	o 1586
54.92/33.39	o 1585
55.83/34.24	o 1584
56.64/35.05	o 1583
57.44/35.81	o 1582
58.27/36.67	o 1581
59.10/37.48	o 1580
60.44/38.41	o 1579
61.25/39.22	o 1578
62.08/40.06	o 1577
62.87/40.87	o 1576
63.88/41.83	o 1575
64.68/42.68	o 1574
65.48/43.48	o 1573
66.61/44.41	o 1572
67.43/45.27	o 1571
68.24/46.07	o 1570
69.27/47.10	o 1569
70.17/47.97	o 1568
71.30/48.84	o 1567
72.21/49.75	o 1566
73.51/50.85	o 1565
74.65/51.80	o 1564
75.45/52.69	o 1563
76.35/53.58	o 1562
77.25/54.49	o 1561
78.35/55.51	o 1560
79.28/56.46	o 1559
80.42/57.45	o 1558
81.34/58.35	o 1557
82.24/59.27	o 1556
83.45/60.47	o 1555
84.53/61.46	o 1554
85.58/62.49	o 1553
86.88/63.54	o 1552
87.78/64.49	o 1551
88.78/65.47	o 1550
89.88/66.58	o 1549
90.88/67.58	o 1548
91.99/68.61	o 1547
92.99/69.64	o 1546
94.23/70.74	o 1545
95.23/71.78	o 1544
96.34/72.80	o 1543
97.34/73.83	o 1542
98.56/75.06	o 1541
99.68/76.12	o 1540
100.83/77.15	o 1539
101.92/78.24	o 1538
103.02/79.36	o 1537
104.12/80.43	o 1536
105.14/81.45	o 1535
106.24/82.54	o 1534
107.34/83.63	o 1533
108.70/84.86	o 1532
109.80/85.99	o 1531
110.91/87.03	o 1530
111.91/88.08	o 1529
113.11/89.21	o 1528
114.21/90.31	o 1527
115.34/91.36	o 1526
116.44/92.44	o 1525
117.55/93.54	o 1524
118.65/94.63	o 1523
119.65/95.68	o 1522
120.85/96.83	o 1521
122.11/97.96	o 1520
123.10/98.97	o 1519
124.21/100.06	o 1518
125.31/101.13	o 1517
126.32/102.19	o 1516
127.32/103.19	o 1515
128.41/104.27	o 1514
129.64/105.39	o 1513
130.74/106.46	o 1512
131.74/107.48	o 1511
132.84/108.59	o 1510
134.04/109.73	o 1509
135.25/110.99	o 1508
136.63/112.11	o 1507
137.63/113.18	o 1506
138.83/114.32	o 1505
139.93/115.44	o 1504
141.13/116.66	o 1503
142.13/117.68	o 1502
143.49/118.89	o 1501
144.70/120.07	o 1500
145.89/121.28	o 1499
147.09/122.46	o 1498
148.29/123.60	o 1497
149.29/124.66	o 1496
150.62/125.82	o 1495
151.72/126.93	o 1494
153.03/128.23	o 1493
154.23/129.40	o 1492
155.33/130.50	o 1491
156.34/131.58	o 1490
157.67/132.72	o 1489
158.77/133.90	o 1488
159.98/135.05	o 1487
161.08/136.17	o 1486
162.27/137.38	o 1485
163.37/138.49	o 1484
164.70/139.65	o 1483
165.90/140.88	o 1482
167.00/141.98	o 1481
168.21/143.17	o 1480
169.30/144.29	o 1479
170.50/145.40	o 1478
171.73/146.60	o 1477
172.93/147.73	o 1476
174.35/149.13	o 1475
175.54/150.37	o 1474
176.84/151.65	o 1473
178.15/152.94	o 1472
179.49/154.16	o 1471
180.78/155.48	o 1470
182.09/156.77	o 1469
183.29/157.96	o 1468
184.49/159.15	o 1467
185.79/160.46	o 1466
187.18/161.77	o 1465
188.49/163.10	o 1464
189.78/164.34	o 1463
191.08/165.60	o 1462
192.29/166.87	o 1461
193.50/168.04	o 1460
194.79/169.26	o 1459
196.10/170.56	o 1458
197.40/171.81	o 1457
198.50/172.99	o 1456
199.90/174.35	o 1455
201.20/175.60	o 1454
202.69/177.07	o 1453
204.08/178.48	o 1452
205.38/179.80	o 1451
206.69/181.07	o 1450
208.08/182.40	o 1449
209.49/183.71	o 1448
210.80/185.04	o 1447
212.19/186.41	o 1446
213.40/187.63	o 1445
214.69/188.90	o 1444
215.90/190.16	o 1443
217.28/191.47	o 1442
218.51/192.69	o 1441
219.81/193.90	o 1440
221.02/195.16	o 1439
222.31/196.46	o 1438
223.61/197.76	o 1437
225.10/199.17	o 1436
226.39/200.41	o 1435
227.69/201.75	o 1434
229.10/203.11	o 1433
230.39/204.44	o 1432
231.69/205.68	o 1431
232.99/206.95	o 1430
234.29/208.26	o 1429
235.59/209.58	o 1428
237.20/211.17	o 1427
238.70/212.64	o 1426
240.19/214.02	o 1425
241.60/215.42	o 1424
243.10/216.96	o 1423
244.50/218.38	o 1422
245.90/219.74	o 1421
247.41/221.11	o 1420
248.80/222.54	o 1419
250.10/223.86	o 1418
251.50/225.24	o 1417
252.80/226.59	o 1416
254.31/228.04	o 1415
255.78/229.46	o 1414
257.18/230.87	o 1413
258.68/232.31	o 1412
259.98/233.66	o 1411
261.30/235.00	o 1410
262.90/236.43	o 1409
264.30/237.86	o 1408
265.82/239.35	o 1407
267.21/240.75	o 1406
268.62/242.14	o 1405
270.01/243.57	o 1404
271.61/245.02	o 1403
272.91/246.34	o 1402
274.31/247.72	o 1401
275.62/249.06	o 1400
277.12/250.51	o 1399
278.84/252.12	o 1398
280.23/253.55	o 1397
281.74/255.07	o 1396
283.14/256.45	o 1395
284.54/257.87	o 1394
286.05/259.33	o 1393
287.64/260.80	o 1392
288.95/262.15	o 1391
290.34/263.51	o 1390
291.74/264.93	o 1389
293.04/266.25	o 1388
294.45/267.61	o 1387
296.04/269.17	o 1386
297.44/270.51	o 1385
298.84/271.93	o 1384
300.14/273.21	o 1383
301.54/274.67	o 1382
303.15/276.12	o 1381
304.54/277.53	o 1380
305.94/278.94	o 1379
307.35/280.30	o 1378
308.65/281.61	o 1377
310.06/283.04	o 1376
311.54/284.49	o 1375
312.94/285.83	o 1374
314.34/287.29	o 1373
315.75/288.65	o 1372
317.16/290.07	o 1371
318.65/291.53	o 1370
320.12/292.90	o 1369
321.42/294.27	o 1368
322.82/295.64	o 1367
324.23/297.03	o 1366
325.52/298.34	o 1365
326.92/299.73	o 1364
328.41/301.13	o 1363
329.80/302.59	o 1362
331.20/303.97	o 1361
332.60/305.34	o 1360
333.90/306.68	o 1359
335.80/308.48	o 1358
337.41/310.03	o 1357
338.99/311.52	o 1356
340.50/313.04	o 1355
342.09/314.61	o 1354
343.60/316.02	o 1353
345.09/317.52	o 1352
346.60/319.06	o 1351
348.20/320.69	o 1350
349.79/322.21	o 1349
351.29/323.78	o 1348
352.97/325.33	o 1347
354.37/326.79	o 1346
355.88/328.28	o 1345
357.48/329.84	o 1344
358.99/331.34	o 1343
360.68/333.00	o 1342
362.18/334.47	o 1341
363.69/335.98	o 1340
365.29/337.59	o 1339
366.90/339.12	o 1338
368.57/340.71	o 1337
370.07/342.22	o 1336
371.57/343.74	o 1335
373.08/345.22	o 1334
374.48/346.67	o 1333
376.08/348.24	o 1332
377.65/349.73	o 1331
379.25/351.30	o 1330
380.75/352.86	o 1329
382.25/354.34	o 1328
383.75/355.89	o 1327
385.45/357.40	o 1326
386.85/358.86	o 1325
388.45/360.48	o 1324
390.06/362.05	o 1323
391.46/363.44	o 1322
393.14/365.06	o 1321
394.73/366.61	o 1320
396.14/368.08	o 1319
397.74/369.63	o 1318
399.15/371.07	o 1317
400.81/372.61	o 1316
402.31/374.11	o 1315
403.81/375.65	o 1314
405.61/377.47	o 1313
407.42/379.15	o 1312
409.01/380.74	o 1311
410.62/382.35	o 1310
412.22/383.99	o 1309
413.93/385.52	o 1308
415.44/387.05	o 1307
416.93/388.53	o 1306
418.54/390.14	o 1305
420.23/391.74	o 1304
421.73/393.27	o 1303
423.33/394.80	o 1302
424.93/396.48	o 1301
426.77/398.13	o 1300
428.36/399.78	o 1299
430.06/401.44	o 1298
431.68/403.02	o 1297
433.27/404.69	o 1296
434.86/406.19	o 1295
436.45/407.76	o 1294
437.95/409.27	o 1293
439.55/410.84	o 1292
441.34/412.52	o 1291
442.85/414.05	o 1290
444.44/415.70	o 1289
446.04/417.20	o 1288
447.55/418.75	o 1287
449.23/420.30	o 1286
450.74/421.87	o 1285
452.24/423.39	o 1284
453.74/424.89	o 1283
455.54/426.51	o 1282
456.94/427.93	o 1281
458.54/429.52	o 1280
460.06/431.07	o 1279
461.75/432.73	o 1278
463.62/434.52	o 1277
465.02/435.92	o 1276
466.52/437.49	o 1275
468.13/439.06	o 1274
469.70/440.56	o 1273
471.21/442.10	o 1272
472.81/443.69	o 1271
474.51/445.30	o 1270
476.09/446.87	o 1269
477.59/448.39	o 1268
479.19/449.99	o 1267
480.79/451.55	o 1266
482.47/453.15	o 1265
484.06/454.79	o 1264
485.56/456.28	o 1263
487.35/457.90	o 1262
488.95/459.54	o 1261
490.66/461.27	o 1260
492.58/463.10	o 1259
494.38/464.81	o 1258
496.18/466.66	o 1257
498.09/468.42	o 1256
499.70/470.02	o 1255
501.39/471.77	o 1254
503.09/473.45	o 1253
504.86/475.12	o 1252
506.45/476.76	o 1251
508.05/478.31	o 1250
509.83/480.02	o 1249
511.52/481.78	o 1248
513.33/483.52	o 1247
515.09/485.22	o 1246
516.79/487.00	o 1245
518.67/488.79	o 1244
520.27/490.37	o 1243
521.98/492.10	o 1242
523.75/493.75	o 1241
525.45/495.43	o 1240
527.16/497.14	o 1239
528.83/498.78	o 1238
530.63/500.51	o 1237
532.24/502.11	o 1236
533.79/503.69	o 1235
535.59/505.40	o 1234
537.27/507.08	o 1233
538.96/508.74	o 1232
540.66/510.47	o 1231
542.33/512.07	o 1230
544.03/513.74	o 1229
545.89/515.56	o 1228
547.59/517.22	o 1227
549.35/518.98	o 1226
551.05/520.64	o 1225
552.84/522.40	o 1224
554.55/524.05	o 1223
556.30/525.75	o 1222
558.01/527.40	o 1221
559.58/528.93	o 1220
561.19/530.54	o 1219
562.80/532.17	o 1218
564.53/533.81	o 1217
566.26/535.55	o 1216
568.02/537.24	o 1215
569.62/538.86	o 1214
571.27/540.48	o 1213
572.88/542.02	o 1212
574.62/543.72	o 1211
576.32/545.49	o 1210
578.10/547.17	o 1209
579.76/548.73	o 1208
581.36/550.39	o 1207
583.14/552.02	o 1206
584.74/553.64	o 1205
586.39/555.22	o 1204
588.09/556.90	o 1203
589.77/558.54	o 1202
591.38/560.16	o 1201
593.08/561.83	o 1200
594.82/563.52	o 1199
596.43/565.14	o 1198
598.08/566.74	o 1197
599.68/568.31	o 1196
601.75/570.31	o 1195
603.56/572.14	o 1194
605.34/573.83	o 1193
607.14/575.63	o 1192
609.02/577.46	o 1191
610.73/579.19	o 1190
612.52/580.99	o 1189
614.41/582.78	o 1188
616.41/584.71	o 1187
618.20/586.43	o 1186
620.00/588.18	o 1185
621.79/589.93	o 1184
623.60/591.68	o 1183
625.40/593.41	o 1182
627.11/595.18	o 1181
628.99/596.96	o 1180
630.89/598.80	o 1179
632.81/600.61	o 1178
634.51/602.34	o 1177
636.32/604.13	o 1176
638.20/605.93	o 1175
640.10/607.82	o 1174
641.70/609.49	o 1173
643.72/611.36	o 1172
645.52/613.15	o 1171
647.54/615.05	o 1170
649.23/616.76	o 1169
651.13/618.60	o 1168
652.97/620.37	o 1167
654.88/622.22	o 1166
656.48/623.87	o 1165
658.39/625.64	o 1164
660.19/627.48	o 1163
662.00/629.28	o 1162
664.13/631.22	o 1161
665.94/633.01	o 1160
667.63/634.71	o 1159
669.33/636.50	o 1158
671.31/638.31	o 1157
673.02/640.08	o 1156
674.81/641.83	o 1155
676.72/643.69	o 1154
678.52/645.40	o 1153
680.13/647.10	o 1152
681.92/648.89	o 1151
683.77/650.60	o 1150
685.58/652.43	o 1149
687.28/654.19	o 1148
689.06/655.90	o 1147
690.77/657.57	o 1146
692.57/659.32	o 1145
694.35/661.07	o 1144
696.04/662.74	o 1143
697.84/664.50	o 1142
699.64/666.33	o 1141
701.60/668.21	o 1140
703.41/670.02	o 1139
705.27/671.81	o 1138
707.07/673.63	o 1137
708.77/675.30	o 1136
710.43/676.99	o 1135
712.24/678.70	o 1134
713.84/680.39	o 1133
715.70/682.13	o 1132
717.51/683.95	o 1131
719.48/685.84	o 1130
721.28/687.62	o 1129
722.98/689.39	o 1128
724.94/691.27	o 1127
726.64/692.94	o 1126
728.40/694.66	o 1125
730.20/696.41	o 1124
731.99/698.12	o 1123
733.68/699.82	o 1122
735.48/701.67	o 1121
737.32/703.48	o 1120
738.93/705.09	o 1119
741.17/707.28	o 1118
743.26/709.21	o 1117
745.26/711.22	o 1116
747.04/713.00	o 1115
748.84/714.76	o 1114
750.72/716.53	o 1113
752.51/718.26	o 1112
754.31/720.10	o 1111
756.20/721.87	o 1110
758.13/723.73	o 1109
760.01/725.59	o 1108
761.91/727.42	o 1107
765.91/729.94	o 1106
767.71/731.76	o 1105
769.69/733.66	o 1104
771.49/735.46	o 1103
773.38/737.37	o 1102
775.43/739.30	o 1101
777.14/741.07	o 1100
779.10/742.94	o 1099
780.80/744.61	o 1098
782.82/746.52	o 1097
784.72/748.44	o 1096
786.72/750.48	o 1095
788.57/752.26	o 1094
790.48/754.18	o 1093
792.39/755.92	o 1092
794.19/757.78	o 1091
796.09/759.60	o 1090
797.86/761.38	o 1089
799.67/763.17	o 1088
801.38/764.89	o 1087
803.47/766.89	o 1086
805.37/768.74	o 1085
807.18/770.54	o 1084
809.03/772.39	o 1083
810.93/774.29	o 1082
813.03/776.26	o 1081
814.97/778.15	o 1080
816.76/779.98	o 1079
818.66/781.84	o 1078
820.53/783.64	o 1077
822.33/785.49	o 1076
824.13/787.25	o 1075
826.14/789.19	o 1074
828.04/791.02	o 1073
829.84/792.88	o 1072
831.71/794.68	o 1071
833.51/796.49	o 1070
835.32/798.24	o 1069
837.25/800.06	o 1068
839.04/801.82	o 1067
840.94/803.74	o 1066
842.74/805.54	o 1065
844.82/807.52	o 1064
846.73/809.45	o 1063
848.63/811.30	o 1062
850.55/813.11	o 1061
852.34/814.92	o 1060
854.15/816.79	o 1059
856.05/818.64	o 1058
857.93/820.40	o 1057
859.73/822.25	o 1056
861.54/824.06	o 1055
863.33/825.85	o 1054
865.31/827.74	o 1053
867.12/829.52	o 1052
869.02/831.48	o 1051
870.92/833.36	o 1050
872.89/835.29	o 1049
874.80/837.14	o 1048
876.59/838.95	o 1047
878.61/840.89	o 1046
880.51/842.76	o 1045
882.41/844.68	o 1044
884.31/846.54	o 1043
886.31/848.44	o 1042
888.11/850.26	o 1041
889.92/852.07	o 1040
891.72/853.89	o 1039
893.73/855.77	o 1038
895.53/857.56	o 1037
897.33/859.30	o 1036
898.93/860.95	o 1035
900.93/862.90	o 1034
902.90/864.80	o 1033
904.70/866.64	o 1032
906.50/868.45	o 1031
908.40/870.30	o 1030
910.29/872.16	o 1029
912.08/873.91	o 1028
913.79/875.65	o 1027
916.19/878.10	o 1026
918.40/880.17	o 1025
920.40/882.14	o 1024
922.50/884.21	o 1023
924.50/886.23	o 1022
926.60/888.21	o 1021
928.51/890.13	o 1020
930.30/891.96	o 1019
932.30/893.95	o 1018
934.43/895.93	o 1017
936.43/897.91	o 1016
938.33/899.84	o 1015
940.23/901.72	o 1014
942.37/903.75	o 1013
944.27/905.69	o 1012
946.17/907.56	o 1011
948.17/909.54	o 1010
950.27/911.68	o 1009
952.28/913.59	o 1008
954.48/915.76	o 1007
956.48/917.71	o 1006
958.49/919.79	o 1005
960.82/921.90	o 1004
962.82/923.97	o 1003
964.72/925.84	o 1002
966.72/927.80	o 1001
968.52/929.68	o 1000
970.70/931.73	o 999
972.70/933.74	o 998
974.70/935.75	o 997
976.70/937.76	o 996
978.79/939.76	o 995
980.79/941.77	o 994
982.90/943.80	o 993
984.91/945.83	o 992
987.01/947.94	o 991
989.08/949.90	o 990
991.09/951.90	o 989
992.98/953.89	o 988
994.99/955.89	o 987
996.99/957.89	o 986
999.15/959.96	o 985
1001.15/961.91	o 984
1003.26/964.04	o 983
1005.36/966.13	o 982
1007.53/968.25	o 981
1009.53/970.25	o 980
1011.63/972.30	o 979
1013.64/974.32	o 978
1015.74/976.48	o 977
1017.81/978.42	o 976
1019.81/980.48	o 975
1021.81/982.43	o 974
1023.71/984.35	o 973
1025.71/986.31	o 972
1027.59/988.19	o 971
1029.59/990.15	o 970
1031.68/992.27	o 969
1033.78/994.34	o 968
1035.96/996.43	o 967
1037.87/998.32	o 966
1039.77/1000.26	o 965
1041.77/1002.28	o 964
1043.88/1004.38	o 963
1046.05/1006.46	o 962
1048.15/1008.54	o 961
1050.25/1010.62	o 960
1052.16/1012.56	o 959
1054.16/1014.50	o 958
1056.22/1016.50	o 957
1057.92/1018.28	o 956
1059.93/1020.24	o 955
1061.84/1022.11	o 954
1063.90/1024.11	o 953
1065.90/1026.18	o 952
1068.10/1028.32	o 951
1069.91/1030.15	o 950
1072.00/1032.21	o 949
1073.96/1034.14	o 948
1075.96/1036.11	o 947
1077.86/1038.02	o 946
1079.96/1040.11	o 945
1082.03/1042.13	o 944
1084.22/1044.33	o 943
1086.33/1046.46	o 942
1088.43/1048.53	o 941
1090.43/1050.51	o 940
1092.39/1052.43	o 939
1094.39/1054.49	o 938
1096.39/1056.43	o 937
1098.39/1058.45	o 936
1100.49/1060.52	o 935
1102.55/1062.54	o 934
1104.65/1064.66	o 933
1106.65/1066.61	o 932
1108.45/1068.49	o 931
1110.62/1070.52	o 930
1112.52/1072.46	o 929
1114.62/1074.50	o 928
1116.63/1076.53	o 927
1118.74/1078.63	o 926
1120.90/1080.72	o 925
1122.80/1082.69	o 924
1124.80/1084.66	o 923
1126.80/1086.61	o 922
1128.60/1088.45	o 921
1130.56/1090.37	o 920
1132.46/1092.24	o 919
1134.46/1094.25	o 918
1136.28/1096.06	o 917
1138.28/1098.01	o 916
1140.72/1100.43	o 915
1142.82/1102.51	o 914
1144.82/1104.54	o 913
1147.02/1106.71	o 912
1148.99/1108.65	o 911
1151.19/1110.84	o 910
1153.30/1113.00	o 909
1155.41/1115.07	o 908
1157.41/1117.10	o 907
1159.76/1119.35	o 906
1161.76/1121.39	o 905
1163.96/1123.51	o 904
1165.97/1125.57	o 903
1168.15/1127.64	o 902
1170.15/1129.64	o 901
1172.26/1131.79	o 900
1174.46/1133.92	o 899
1176.57/1136.02	o 898
1178.75/1138.14	o 897
1180.76/1140.17	o 896
1183.05/1142.43	o 895
1185.25/1144.65	o 894
1187.35/1146.72	o 893
1189.42/1148.78	o 892
1191.62/1150.91	o 891
1193.62/1152.96	o 890
1195.62/1154.91	o 889
1197.62/1157.01	o 888
1199.78/1159.07	o 887
1201.89/1161.11	o 886
1203.98/1163.21	o 885
1205.99/1165.25	o 884
1208.27/1167.43	o 883
1210.27/1169.49	o 882
1212.47/1171.67	o 881
1214.57/1173.71	o 880
1216.47/1175.61	o 879
1218.64/1177.70	o 878
1220.75/1179.88	o 877
1222.85/1181.98	o 876
1224.96/1184.05	o 875
1227.15/1186.20	o 874
1229.41/1188.40	o 873
1231.51/1190.51	o 872
1233.61/1192.66	o 871
1235.62/1194.69	o 870
1237.79/1196.74	o 869
1239.79/1198.74	o 868
1241.90/1200.89	o 867
1244.11/1203.01	o 866
1246.30/1205.20	o 865
1248.37/1207.29	o 864
1250.67/1209.52	o 863
1252.87/1211.75	o 862
1255.07/1213.91	o 861
1257.14/1215.90	o 860
1259.15/1217.94	o 859
1261.36/1220.11	o 858
1263.36/1222.18	o 857
1265.36/1224.16	o 856
1267.42/1226.17	o 855
1269.43/1228.15	o 854
1271.43/1230.12	o 853
1273.43/1232.20	o 852
1275.60/1234.20	o 851
1277.41/1236.09	o 850
1279.42/1238.08	o 849
1281.52/1240.12	o 848
1283.52/1242.18	o 847
1285.69/1244.28	o 846
1287.69/1246.20	o 845
1289.79/1248.30	o 844
1291.69/1250.21	o 843
1293.90/1252.42	o 842
1295.85/1254.32	o 841
1297.75/1256.25	o 840
1299.85/1258.33	o 839
1301.85/1260.34	o 838
1304.05/1262.51	o 837
1305.90/1264.35	o 836
1307.91/1266.35	o 835
1310.00/1268.47	o 834
1312.11/1270.55	o 833
1314.27/1272.60	o 832
1316.30/1274.69	o 831
1318.30/1276.63	o 830
1320.10/1278.47	o 829
1322.10/1280.45	o 828
1324.26/1282.50	o 827
1326.36/1284.63	o 826
1328.46/1286.72	o 825
1330.46/1288.76	o 824
1332.57/1290.85	o 823
1334.73/1292.97	o 822
1336.94/1295.15	o 821
1339.03/1297.24	o 820
1341.03/1299.28	o 819
1343.31/1301.43	o 818
1345.41/1303.53	o 817
1347.41/1305.52	o 816
1349.31/1307.48	o 815
1351.41/1309.52	o 814
1353.57/1311.66	o 813
1355.68/1313.74	o 812
1357.78/1315.82	o 811
1359.78/1317.88	o 810
1361.88/1319.95	o 809
1364.14/1322.15	o 808
1366.23/1324.21	o 807
1368.15/1326.17	o 806
1370.15/1328.15	o 805
1372.15/1330.12	o 804
1374.09/1332.05	o 803
1376.09/1334.09	o 802
1378.19/1336.12	o 801
1380.19/1338.12	o 800
1382.20/1340.15	o 799
1384.33/1342.28	o 798
1386.43/1344.34	o 797
1388.53/1346.44	o 796
1390.43/1348.39	o 795
1392.50/1350.35	o 794
1394.50/1352.38	o 793
1396.70/1354.57	o 792
1398.70/1356.57	o 791
1400.81/1358.63	o 790
1402.96/1360.75	o 789
1404.97/1362.75	o 788
1407.17/1364.95	o 787
1409.07/1366.86	o 786
1411.07/1368.86	o 785
1413.23/1371.00	o 784
1415.34/1373.08	o 783
1417.63/1375.33	o 782
1419.83/1377.51	o 781
1423.18/1380.73	o 780
1425.60/1383.16	o 779
1427.99/1385.50	o 778
1430.09/1387.70	o 777
1432.49/1389.99	o 776
1434.79/1392.21	o 775
1436.99/1394.40	o 774
1439.19/1396.66	o 773
1441.71/1399.03	o 772
1444.00/1401.34	o 771
1446.30/1403.69	o 770
1448.60/1405.90	o 769
1451.21/1408.46	o 768
1453.61/1410.87	o 767
1455.92/1413.18	o 766
1458.21/1415.46	o 765
1460.63/1417.79	o 764
1462.83/1419.94	o 763
1465.33/1422.45	o 762
1467.64/1424.79	o 761
1469.95/1427.09	o 760
1472.23/1429.27	o 759
1474.53/1431.59	o 758
1476.83/1433.89	o 757
1479.23/1436.26	o 756
1481.63/1438.58	o 755
1483.93/1440.85	o 754
1486.14/1443.01	o 753
1488.43/1445.38	o 752
1490.74/1447.59	o 751
1493.05/1449.85	o 750
1495.36/1452.11	o 749
1497.65/1454.42	o 748
1499.96/1456.69	o 747
1502.26/1458.95	o 746
1504.56/1461.27	o 745
1507.16/1463.89	o 744
1509.68/1466.28	o 743
1511.88/1468.48	o 742
1514.29/1470.83	o 741
1516.69/1473.20	o 740
1518.99/1475.59	o 739
1521.59/1478.03	o 738
1523.98/1480.40	o 737
1526.19/1482.66	o 736
1528.60/1485.05	o 735
1530.98/1487.37	o 734
1533.48/1489.82	o 733
1535.89/1492.25	o 732
1538.19/1494.57	o 731
1540.70/1496.91	o 730
1543.00/1499.23	o 729
1545.30/1501.57	o 728
1547.50/1503.78	o 727
1549.92/1506.08	o 726
1552.31/1508.43	o 725
1554.62/1510.71	o 724
1557.03/1513.18	o 723
1559.23/1515.37	o 722
1561.62/1517.65	o 721
1564.03/1520.04	o 720
1566.32/1522.33	o 719
1568.52/1524.50	o 718
1570.92/1526.82	o 717
1573.32/1529.20	o 716
1575.72/1531.60	o 715
1578.02/1533.91	o 714
1580.48/1536.35	o 713
1582.88/1538.71	o 712
1585.09/1540.98	o 711
1587.49/1543.38	o 710
1589.95/1545.73	o 709
1592.26/1548.02	o 708
1594.66/1550.47	o 707
1597.06/1552.89	o 706
1599.61/1555.34	o 705
1601.81/1557.59	o 704
1604.22/1559.93	o 703
1606.52/1562.24	o 702
1608.79/1564.49	o 701
1610.99/1566.61	o 700
1613.20/1568.83	o 699
1615.60/1571.20	o 698
1617.89/1573.59	o 697
1620.34/1575.90	o 696
1622.65/1578.22	o 695
1625.05/1580.65	o 694
1627.35/1582.95	o 693
1629.80/1585.32	o 692
1632.11/1587.67	o 691
1634.52/1590.10	o 690
1636.82/1592.39	o 689
1639.08/1594.51	o 688
1641.28/1596.78	o 687
1643.59/1599.08	o 686
1645.89/1601.31	o 685
1648.09/1603.53	o 684
1650.43/1605.83	o 683
1652.83/1608.24	o 682
1655.13/1610.59	o 681
1657.43/1612.89	o 680
1659.70/1615.05	o 679
1661.99/1617.32	o 678
1664.20/1619.58	o 677
1666.50/1621.84	o 676
1668.88/1624.19	o 675
1671.07/1626.35	o 674
1673.37/1628.69	o 673
1675.67/1630.96	o 672
1678.08/1633.34	o 671
1680.53/1635.73	o 670
1682.73/1637.94	o 669
1685.03/1640.22	o 668
1687.33/1642.54	o 667
1689.60/1644.74	o 666
1691.91/1647.01	o 665
1694.20/1649.35	o 664
1696.50/1651.63	o 663
1698.80/1653.99	o 662
1701.16/1656.24	o 661
1703.46/1658.57	o 660
1705.76/1660.84	o 659
1708.17/1663.24	o 658
1710.53/1665.57	o 657
1712.73/1667.76	o 656
1714.93/1669.98	o 655
1717.23/1672.20	o 654
1719.43/1674.46	o 653
1721.77/1676.72	o 652
1723.97/1678.95	o 651
1726.27/1681.22	o 650
1728.59/1683.56	o 649
1731.03/1685.93	o 648
1733.43/1688.40	o 647
1735.83/1690.75	o 646
1738.15/1693.07	o 645
1740.50/1695.32	o 644
1742.80/1697.63	o 643
1745.00/1699.81	o 642
1747.21/1702.05	o 641
1749.68/1704.47	o 640
1751.98/1706.77	o 639
1754.29/1709.10	o 638
1756.48/1711.29	o 637
1758.78/1713.56	o 636
1761.34/1716.02	o 635
1763.63/1718.32	o 634
1766.13/1720.82	o 633
1768.34/1723.09	o 632
1770.80/1725.42	o 631
1773.10/1727.76	o 630
1775.41/1730.05	o 629
1777.70/1732.37	o 628
1780.00/1734.65	o 627
1782.35/1736.93	o 626
1784.65/1739.20	o 625
1786.95/1741.51	o 624
1789.15/1743.72	o 623
1791.62/1746.12	o 622
1793.91/1748.41	o 621
1796.11/1750.67	o 620
1799.31/1753.87	o 619
1802.08/1756.49	o 618
1804.79/1759.12	o 617
1807.38/1761.79	o 616
1809.98/1764.35	o 615
1812.59/1766.88	o 614
1815.19/1769.49	o 613
1817.80/1772.05	o 612
1820.65/1774.81	o 611
1823.49/1777.68	o 610
1826.20/1780.30	o 609
1828.91/1783.03	o 608
1831.73/1785.70	o 607
1834.53/1788.50	o 606
1836.93/1790.92	o 605
1839.63/1793.63	o 604
1842.46/1796.31	o 603
1844.96/1798.89	o 602
1847.66/1801.58	o 601
1850.27/1804.17	o 600
1852.98/1806.78	o 599
1855.78/1809.50	o 598
1858.48/1812.26	o 597
1861.19/1814.93	o 596
1864.11/1817.72	o 595
1866.71/1820.38	o 594
1869.42/1823.02	o 593
1871.91/1825.55	o 592
1874.82/1828.31	o 591
1877.33/1830.85	o 590
1880.03/1833.51	o 589
1882.67/1836.08	o 588
1885.36/1838.74	o 587
1887.96/1841.34	o 586
1890.46/1843.89	o 585
1893.29/1846.56	o 584
1895.80/1849.10	o 583
1898.49/1851.78	o 582
1901.09/1854.34	o 581
1903.81/1856.98	o 580
1906.41/1859.53	o 579
1908.93/1862.05	o 578
1911.62/1864.71	o 577
1914.44/1867.41	o 576
1916.93/1869.91	o 575
1919.63/1872.69	o 574
1922.33/1875.34	o 573
1925.15/1878.04	o 572
1927.85/1880.72	o 571
1930.66/1883.54	o 570
1933.06/1886.00	o 569
1935.87/1888.68	o 568
1938.57/1891.33	o 567
1941.27/1894.10	o 566
1943.87/1896.65	o 565
1946.78/1899.45	o 564
1949.28/1901.96	o 563
1951.88/1904.53	o 562
1954.49/1907.19	o 561
1957.54/1910.02	o 560
1960.23/1912.70	o 559
1962.83/1915.37	o 558
1965.40/1917.85	o 557
1968.21/1920.63	o 556
1970.82/1923.29	o 555
1973.52/1925.95	o 554
1976.38/1928.73	o 553
1979.08/1931.44	o 552
1981.79/1934.11	o 551
1984.38/1936.76	o 550
1987.23/1939.53	o 549
1989.94/1942.28	o 548
1992.64/1944.92	o 547
1995.14/1947.41	o 546
1997.81/1950.02	o 545
2000.50/1952.73	o 544
2003.10/1955.36	o 543
2005.81/1958.08	o 542
2008.45/1960.64	o 541
2010.95/1963.12	o 540
2013.55/1965.78	o 539
2016.15/1968.38	o 538
2018.94/1971.02	o 537
2021.53/1973.68	o 536
2024.23/1976.33	o 535
2026.80/1978.88	o 534
2029.60/1981.61	o 533
2032.01/1984.05	o 532
2034.60/1986.66	o 531
2037.38/1989.38	o 530
2040.09/1992.01	o 529
2042.58/1994.57	o 528
2045.28/1997.30	o 527
2048.04/1999.99	o 526
2050.54/2002.44	o 525
2053.04/2004.92	o 524
2055.64/2007.55	o 523
2058.41/2010.21	o 522
2061.01/2012.85	o 521
2063.71/2015.52	o 520
2066.22/2018.10	o 519
2068.77/2020.53	o 518
2071.28/2023.03	o 517
2073.88/2025.60	o 516
2076.48/2028.28	o 515
2079.14/2030.85	o 514
2081.64/2033.37	o 513
2084.14/2035.80	o 512
2086.54/2038.21	o 511
2088.89/2040.60	o 510
2091.40/2043.07	o 509
2094.10/2045.71	o 508
2096.60/2048.21	o 507
2099.26/2050.84	o 506
2101.96/2053.51	o 505
2104.26/2055.89	o 504
2106.76/2058.39	o 503
2109.42/2060.97	o 502
2112.13/2063.66	o 501
2114.64/2066.19	o 500
2117.23/2068.75	o 499
2119.78/2071.28	o 498
2122.38/2073.84	o 497
2124.78/2076.22	o 496
2127.18/2078.60	o 495
2129.74/2081.15	o 494
2132.34/2083.75	o 493
2135.04/2086.41	o 492
2137.54/2088.96	o 491
2140.20/2091.58	o 490
2142.81/2094.18	o 489
2145.30/2096.69	o 488
2148.00/2099.36	o 487
2150.55/2101.87	o 486
2153.06/2104.38	o 485
2155.76/2107.06	o 484
2158.27/2109.58	o 483
2160.92/2112.14	o 482
2163.51/2114.73	o 481
2166.01/2117.28	o 480
2168.51/2119.71	o 479
2171.06/2122.28	o 478
2173.46/2124.62	o 477
2175.77/2126.93	o 476
2178.27/2129.40	o 475
2180.83/2131.90	o 474
2183.33/2134.42	o 473
2185.72/2136.86	o 472
2188.23/2139.35	o 471
2190.79/2141.80	o 470
2193.19/2144.28	o 469
2195.79/2146.87	o 468
2198.30/2149.35	o 467
2200.96/2151.91	o 466
2203.56/2154.50	o 465
2206.07/2157.07	o 464
2208.66/2159.66	o 463
2211.13/2162.01	o 462
2213.52/2164.44	o 461
2216.03/2166.90	o 460
2218.73/2169.63	o 459
2221.20/2172.07	o 458
2223.71/2174.54	o 457
2226.21/2177.07	o 456
2228.81/2179.65	o 455
2231.56/2182.37	o 454
2234.17/2184.90	o 453
2236.67/2187.50	o 452
2239.17/2189.99	o 451
2241.68/2192.45	o 450
2244.22/2194.98	o 449
2246.72/2197.47	o 448
2249.22/2199.93	o 447
2251.62/2202.32	o 446
2254.27/2204.92	o 445
2256.77/2207.46	o 444
2259.27/2209.91	o 443
2261.68/2212.39	o 442
2264.34/2214.92	o 441
2266.84/2217.43	o 440
2269.34/2219.96	o 439
2271.84/2222.44	o 438
2274.51/2225.06	o 437
2277.01/2227.54	o 436
2279.71/2230.22	o 435
2282.01/2232.58	o 434
2284.41/2234.90	o 433
2287.07/2237.52	o 432
2289.58/2240.02	o 431
2292.07/2242.51	o 430
2294.47/2244.98	o 429
2297.02/2247.49	o 428
2299.63/2250.04	o 427
2302.67/2253.06	o 426
2305.26/2255.64	o 425
2308.08/2258.32	o 424
2310.68/2260.90	o 423
2313.28/2263.53	o 422
2315.69/2265.97	o 421
2318.29/2268.44	o 420
2320.90/2271.05	o 419
2323.71/2273.80	o 418
2326.31/2276.48	o 417
2329.01/2279.10	o 416
2331.71/2281.77	o 415
2334.31/2284.31	o 414
2336.81/2286.87	o 413
2339.61/2289.52	o 412
2342.01/2291.96	o 411
2344.61/2294.59	o 410
2347.22/2297.12	o 409
2350.02/2299.88	o 408
2352.72/2302.50	o 407
2355.34/2305.15	o 406
2358.03/2307.88	o 405
2360.72/2310.49	o 404
2363.33/2313.04	o 403
2365.92/2315.60	o 402
2368.62/2318.38	o 401
2371.32/2320.93	o 400
2374.02/2323.64	o 399
2376.63/2326.30	o 398
2379.24/2328.90	o 397
2382.14/2331.65	o 396
2384.84/2334.31	o 395
2387.44/2336.91	o 394
2390.14/2339.68	o 393
2392.83/2342.26	o 392
2395.64/2345.01	o 391
2398.24/2347.61	o 390
2400.94/2350.31	o 389
2403.63/2352.97	o 388
2406.24/2355.54	o 387
2408.85/2358.19	o 386
2411.54/2360.81	o 385
2414.22/2363.45	o 384
2416.72/2365.92	o 383
2419.32/2368.59	o 382
2422.04/2371.11	o 381
2424.53/2373.61	o 380
2427.13/2376.23	o 379
2429.94/2379.01	o 378
2432.74/2381.71	o 377
2435.24/2384.26	o 376
2437.95/2386.97	o 375
2440.75/2389.74	o 374
2443.55/2392.43	o 373
2446.05/2394.92	o 372
2448.65/2397.52	o 371
2451.39/2400.25	o 370
2454.19/2402.94	o 369
2456.79/2405.56	o 368
2459.40/2408.12	o 367
2461.99/2410.78	o 366
2464.84/2413.42	o 365
2467.55/2416.15	o 364
2470.24/2418.82	o 363
2472.84/2421.48	o 362
2475.71/2424.21	o 361
2478.41/2427.00	o 360
2481.21/2429.75	o 359
2483.82/2432.38	o 358
2486.48/2434.97	o 357
2489.18/2437.64	o 356
2491.78/2440.24	o 355
2494.48/2442.92	o 354
2497.15/2445.58	o 353
2499.85/2448.26	o 352
2502.36/2450.78	o 351
2505.06/2453.40	o 350
2507.63/2455.93	o 349
2510.23/2458.55	o 348
2512.74/2461.09	o 347
2515.33/2463.65	o 346
2518.09/2466.37	o 345
2520.00/2468.20	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.00/2468.21		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.00/2468.21		at concrete.heuristic.value.BestCost.$anonfun$select$1(BestCost.scala:51)
2520.00/2468.21		at concrete.BitVectorDomain.$anonfun$filterBounds$1(BitVectorDomain.scala:33)
2520.00/2468.21		at bitvectors.LargeBitVector.filterBounds(LargeBitVector.scala:278)
2520.00/2468.21		at concrete.BitVectorDomain.filterBounds(BitVectorDomain.scala:33)
2520.00/2468.21		at concrete.BitVectorDomain.filterBounds(BitVectorDomain.scala:8)
2520.00/2468.21		at concrete.heuristic.value.BestCost.select(BestCost.scala:51)
2520.00/2468.21		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.00/2468.21		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.00/2468.21		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.00/2468.21		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.00/2468.21		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.00/2468.21		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.00/2468.21		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.00/2468.21		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.00/2468.21		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.00/2468.21		at scala.Option.map(Option.scala:146)
2520.00/2468.21		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.00/2468.21		at concrete.MAC.mac(MAC.scala:203)
2520.00/2468.21		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.00/2468.21		at scala.util.Try$.apply(Try.scala:209)
2520.00/2468.21		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.00/2468.21		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.00/2468.21		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.00/2468.21		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.00/2468.21		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.00/2468.21		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.00/2468.21		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.00/2468.21		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.00/2468.21		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.00/2468.21		at concrete.MAC.oneRun(MAC.scala:253)
2520.00/2468.21		at concrete.MAC.nextSolution(MAC.scala:272)
2520.00/2468.21		at concrete.MAC.nextSolution(MAC.scala:355)
2520.00/2468.21		at concrete.Solver.hasNext(Solver.scala:166)
2520.00/2468.21		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.00/2468.21		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.00/2468.21		at concrete.Solver.foreach(Solver.scala:68)
2520.00/2468.21		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.00/2468.21		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.00/2468.21		at scala.util.Success.map(Try.scala:209)
2520.00/2468.21		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.00/2468.21		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.00/2468.21		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.00/2468.21		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.00/2468.21		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.00/2468.21		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.00/2468.21		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.00/2468.21		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.00/2468.21		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.00/2468.21		at scala.collection.immutable.List.foreach(List.scala:389)
2520.00/2468.21		at scala.App.main(App.scala:76)
2520.00/2468.21		at scala.App.main$(App.scala:74)
2520.00/2468.21		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.00/2468.21		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.00/2468.21	v <instantiation cost="345">
2520.00/2468.21	v       <list>
2520.00/2468.21	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599]
2520.00/2468.21	v       </list>
2520.00/2468.21	v       <values>
2520.00/2468.21	v         19 337 7 344 26 11 15 1 16 340 17 24 334 5 343 18 336 4 9 339 6 332 341 14 3 28 335 2 22 342 0 338 21 8 12 345 10 13 23 328 18 15 28 334 19 17 338 26 20 13 21 341 336 7 25 11 16 335 5 0 4 27 345 24 10 337 340 339 8 9 342 331 23 1 14 344 332 12 343 2 7 28 345 329 340 3 333 334 18 339 325 14 8 0 24 1 327 16 332 322 342 2 326 337 343 324 331 338 19 5 27 9 344 341 335 328 11 330 10 336 16 0 5 9 4 15 335 14 19 331 25 12 17 13 329 337 2 339 336 327 345 334 21 338 11 20 328 342 10 1 18 333 8 24 3 340 23 6 22 7 0 7 341 4 8 6 3 15 340 23 337 335 14 339 328 342 329 331 330 326 343 336 1 13 18 323 12 333 11 10 26 344 345 338 332 334 9 2 5 327 6 1 18 7 330 343 13 338 328 2 12 27 342 341 335 3 20 17 11 344 5 8 337 19 26 9 4 336 331 25 340 329 339 0 345 10 15 14 16 334 2 5 9 343 1 340 0 28 339 27 8 29 20 25 12 334 13 345 23 341 3 26 16 10 338 335 18 6 21 336 15 19 4 22 337 7 333 344 11 342 344 25 22 13 7 339 12 337 23 341 10 15 343 345 324 19 21 3 327 8 335 9 0 342 331 4 1 326 332 340 6 325 338 16 336 18 20 17 29 5 339 6 328 335 3 1 334 17 343 10 0 25 330 342 5 344 338 9 4 27 336 22 11 341 12 13 26 7 345 14 337 2 333 329 340 332 21 331 8 18 335 344 343 336 332 13 11 333 8 6 1 337 27 3 345 341 326 5 339 329 14 325 340 22 19 16 0 331 4 20 7 15 10 328 330 327 334 342 12 338 341 335 327 326 25 22 336 3 337 11 333 0 339 16 330 10 1 18 20 4 338 6 12 345 21 23 13 343 14 24 9 340 328 2 7 17 26 8 329 344 17 9 20 25 22 19 329 13 327 338 332 3 16 344 341 343 335 14 26 11 2 5 7 336 4 342 337 340 334 345 1 0 331 10 8 333 330 23 6 339 24 11 330 20 328 8 22 335 345 336 338 1 324 14 339 26 332 10 21 5 340 342 13 331 15 7 3 329 343 17 333 6 2 25 334 337 4 341 344 0 342 339 338 14 5 341 1 336 26 345 27 11 12 333 331 4 0 15 344 13 7 328 10 20 337 22 329 330 17 6 334 23 19 21 2 343 18 332 340 8 26 24 6 339 345 2 325 332 334 9 343 17 344 331 326 340 324 20 329 3 327 341 335 7 342 12 330 10 336 323 11 328 5 15 333 338 8 337 0 1 22 17 334 5 337 336 10 344 13 18 7 345 4 338 21 9 12 8 15 342 339 14 328 333 332 0 24 19 341 2 20 16 1 6 11 331 340 343 27 3 336 341 21 23 15 330 5 20 333 19 335 4 0 328 1 25 342 27 337 24 16 339 331 344 13 2 338 26 29 11 327 343 7 332 329 8 17 345 9 6 343 334 12 338 342 21 345 7 24 3 340 16 19 329 0 332 17 341 1 331 18 20 22 5 336 330 6 327 344 337 8 11 13 9 328 15 335 326 339 333 345 331 340 327 343 332 339 9 344 15 2 328 11 10 337 330 5 334 12 14 19 326 342 0 341 336 8 335 23 329 338 17 26 333 16 1 3 18 20 4 334 332 329 331 11 0 343 328 6 335 19 20 341 2 327 339 330 22 340 321 13 345 325 9 14 21 25 4 342 8 3 7 337 344 23 24 336 16 338 324 20 340 25 342 16 338 330 0 14 24 334 19 15 21 332 2 27 333 328 6 337 11 344 8 339 10 23 345 9 4 343 341 3 12 22 335 5 1 336 329 3 27 337 345 6 24 340 16 1 20 342 9 21 29 11 12 10 336 2 335 331 25 8 23 17 18 344 13 15 22 4 5 14 7 0 341 343 334 19 326 15 4 10 2 28 335 19 12 17 342 23 344 26 1 16 5 340 0 6 345 326 338 334 25 8 328 343 341 339 332 22 13 336 11 9 20 14 7 3 330 331 336 13 26 338 342 4 10 5 12 345 2 329 18 334 333 19 7 8 9 25 343 27 11 1 341 14 22 335 330 332 20 15 17 344 23 16 3 21 340 5 10 2 1 329 4 8 24 12 22 9 26 326 337 23 21 344 330 335 332 11 340 6 18 0 343 15 3 333 341 17 339 342 334 13 16 7 327 25 331 10 333 336 332 2 5 337 27 341 14 13 23 325 12 18 345 6 344 7 338 15 327 9 330 340 339 334 20 1 335 16 3 0 331 19 11 329 4 342 343 340 23 24 6 14 10 332 19 27 344 16 338 7 15 4 20 343 11 342 328 334 1 25 26 9 8 2 18 3 12 341 330 29 345 5 339 0 21 337 13 8 3 0 11 20 12 28 2 336 16 329 334 331 6 344 7 345 340 27 330 1 18 333 343 5 19 342 24 337 21 13 22 9 4 10 14 341 339 335 15 4 326 342 21 341 325 324 5 0 330 18 8 327 343 338 6 331 332 323 333 9 337 23 17 344 345 10 328 329 7 335 1 11 340 15 19 339 20 13 16 9 29 8 0 21 327 2 6 10 5 344 336 1 11 342 331 328 337 341 15 12 333 330 340 335 334 20 332 18 343 339 345 329 13 4 3 25 338 17 14 23 327 332 340 10 16 7 18 4 17 331 343 345 24 333 15 11 26 334 323 0 3 336 6 329 338 341 337 330 339 344 8 25 14 20 13 2 328 1 9 338 345 11 18 339 331 341 343 342 7 5 6 335 17 15 24 337 13 25 334 10 344 20 1 333 329 332 27 0 23 12 327 330 336 31 2 19 340 14 22 29 26 17 16 13 20 344 342 7 4 11 340 338 9 27 8 339 2 0 343 22 19 14 15 25 31 5 334 28 3 345 10 6 23 341 12 1 24 18 30 11 342 344 30 17 31 9 341 331 343 330 7 340 4 2 32 15 6 3 336 8 28 19 339 20 29 16 1 34 0 14 18 332 337 24 5 338 335 345 10 21 338 1 10 0 345 16 4 22 328 14 339 5 8 13 335 334 12 343 340 325 23 15 3 7 11 9 344 2 327 19 342 18 330 17 6 337 333 326 341 14 8 331 15 9 344 6 345 332 0 339 5 10 20 3 13 341 343 338 320 329 335 17 27 16 333 21 11 7 334 2 12 340 342 1 330 22 336 4 337 337 330 4 333 334 329 331 11 335 1 341 18 328 340 8 325 14 342 345 324 344 10 343 21 6 327 7 0 5 13 336 326 16 3 339 9 12 19 2 332 13 343 3 19 344 18 328 8 2 329 20 342 337 327 336 338 7 1 331 325 341 16 332 4 334 14 17 12 340 15 10 21 335 339 6 0 345 5 333 11 25 329 14 8 12 328 342 339 330 337 3 10 332 336 340 327 9 24 333 1 20 7 18 335 2 325 326 17 338 16 21 334 343 5 331 22 344 0 341 345 1 22 333 341 29 7 18 340 11 8 24 13 6 19 17 0 26 338 10 337 23 15 3 2 345 332 339 9 16 344 5 4 12 343 25 21 342 27 28 335
2520.00/2468.21	v       </values>
2520.00/2468.21	v     </instantiation>
2520.00/2468.21	s SATISFIABLE

Verifier Data 

OK	345

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304248-1534050337/watcher-4304248-1534050337 -o /tmp/evaluation-result-4304248-1534050337/solver-4304248-1534050337 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534039308-11489 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=140962747 -superng HOME/instance-4304248-1534050337.xml 

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

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

solver pid=14168, runsolver pid=14165

[startup+0.100143 s]*
/proc/loadavg: 1.75 1.45 1.42 2/206 14225
/proc/meminfo: memFree=23222848/32770624 swapFree=67108860/67108860
[pid=14168] ppid=14165 vsize=10005480 memory=18856 CPUtime=0.09 cores=1,3,5,7
/proc/14168/stat : 14168 (java) S 14165 14168 10336 0 -1 1077944320 4331 13043 0 0 1 1 5 2 20 0 6 0 222596919 10245611520 4714 33554432000 4194304 4196468 140724060777808 140724060760352 140158286872311 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
/proc/14168/statm: 2501370 4714 1948 1 0 2489808 0
[pid=14168/tid=14221] ppid=14165 vsize=10005480 memory=4279135704013833615 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14221/stat : 14221 (java) R 14165 14168 10336 0 -1 4202560 2129 13043 0 0 0 0 5 2 20 0 6 0 222596928 10245611520 4714 33554432000 4194304 4196468 140724060777808 140158258709072 140158270065000 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14222] ppid=14165 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14222/stat : 14222 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 6 0 222596928 10245611520 4714 33554432000 4194304 4196468 140724060777808 140158291115152 140158286882517 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14223] ppid=14165 vsize=10005480 memory=140213003875968 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14223/stat : 14223 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 6 0 222596928 10245611520 4714 33554432000 4194304 4196468 140724060777808 140158145834000 140158286882517 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14224] ppid=14165 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14224/stat : 14224 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 6 0 222596928 10245611520 4714 33554432000 4194304 4196468 140724060777808 140158144781200 140158286882517 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14225] ppid=14165 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14225/stat : 14225 (java) S 14165 14168 10336 0 -1 1077944384 2 13043 0 0 0 0 5 2 20 0 6 0 222596928 10245611520 4714 33554432000 4194304 4196468 140724060777808 140158143728400 140158286882517 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18856 KiB

[startup+0.210172 s]*
/proc/loadavg: 1.75 1.45 1.42 3/215 14234
/proc/meminfo: memFree=23199068/32770624 swapFree=67108860/67108860
[pid=14168] ppid=14165 vsize=10982744 memory=46628 CPUtime=0.25 cores=1,3,5,7
/proc/14168/stat : 14168 (java) S 14165 14168 10336 0 -1 1077944320 7905 13043 0 0 16 2 5 2 20 0 15 0 222596919 11246329856 11657 33554432000 4194304 4196468 140724060777808 140724060760352 140158286872311 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
/proc/14168/statm: 2745686 11657 2944 1 0 2708109 0
[pid=14168/tid=14221] ppid=14165 vsize=10983736 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/14168/task/14221/stat : 14221 (java) R 14165 14168 10336 0 -1 4202560 4480 13043 0 0 10 2 5 2 20 0 15 0 222596928 11247345664 11723 33554432000 4194304 4196468 140724060777808 140158258697120 140158279552029 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14222] ppid=14165 vsize=10983736 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14222/stat : 14222 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596928 11247345664 11723 33554432000 4194304 4196468 140724060777808 140158291115152 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14223] ppid=14165 vsize=10983736 memory=140213003875968 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14223/stat : 14223 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596928 11247345664 11723 33554432000 4194304 4196468 140724060777808 140158145834000 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14224] ppid=14165 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14224/stat : 14224 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596928 11247345664 11789 33554432000 4194304 4196468 140724060777808 140158144781200 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14225] ppid=14165 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14225/stat : 14225 (java) S 14165 14168 10336 0 -1 1077944384 2 13043 0 0 0 0 5 2 20 0 15 0 222596928 11247345664 11789 33554432000 4194304 4196468 140724060777808 140158143728400 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14226] ppid=14165 vsize=10983736 memory=140213003875968 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14226/stat : 14226 (java) S 14165 14168 10336 0 -1 1077944384 2 13043 0 0 0 0 5 2 20 0 15 0 222596930 11247345664 11789 33554432000 4194304 4196468 140724060777808 140157255637360 140158286883458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14227] ppid=14165 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14227/stat : 14227 (java) S 14165 14168 10336 0 -1 1077944384 13 13043 0 0 0 0 5 2 20 0 15 0 222596930 11247345664 11789 33554432000 4194304 4196468 140724060777808 140157130892320 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14228] ppid=14165 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14228/stat : 14228 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596931 11247345664 11855 33554432000 4194304 4196468 140724060777808 140156929565552 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14229] ppid=14165 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14229/stat : 14229 (java) S 14165 14168 10336 0 -1 1077944384 2 13043 0 0 0 0 5 2 20 0 15 0 222596933 11247345664 11855 33554432000 4194304 4196468 140724060777808 140156661131088 140158286890907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14230] ppid=14165 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14168/task/14230/stat : 14230 (java) S 14165 14168 10336 0 -1 1077944384 361 13043 0 0 1 0 5 2 20 0 15 0 222596933 11247345664 11855 33554432000 4194304 4196468 140724060777808 140157254585200 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14231] ppid=14165 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14231/stat : 14231 (java) S 14165 14168 10336 0 -1 1077944384 262 13043 0 0 0 0 5 2 20 0 15 0 222596933 11247345664 11855 33554432000 4194304 4196468 140724060777808 140157253532400 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14232] ppid=14165 vsize=10983736 memory=140213003875968 CPUtime=0.1 cores=1,3,5,7
/proc/14168/task/14232/stat : 14232 (java) S 14165 14168 10336 0 -1 1077944384 623 13043 0 0 3 0 5 2 20 0 15 0 222596933 11247345664 11855 33554432000 4194304 4196468 140724060777808 140157252479600 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14233] ppid=14165 vsize=10983736 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14233/stat : 14233 (java) S 14165 14168 10336 0 -1 1077944384 3 13043 0 0 0 0 5 2 20 0 15 0 222596933 11247345664 11921 33554432000 4194304 4196468 140724060777808 140156191369952 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14234] ppid=14165 vsize=10983736 memory=140213003875968 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14234/stat : 14234 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596934 11247345664 11921 33554432000 4194304 4196468 140724060777808 140157251426992 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46628 KiB

[startup+0.310222 s]*
/proc/loadavg: 1.75 1.45 1.42 3/215 14234
/proc/meminfo: memFree=23186540/32770624 swapFree=67108860/67108860
[pid=14168] ppid=14165 vsize=10983192 memory=57304 CPUtime=0.38 cores=1,3,5,7
/proc/14168/stat : 14168 (java) S 14165 14168 10336 0 -1 1077944320 10428 13043 0 0 28 3 5 2 20 0 15 0 222596919 11246788608 14326 33554432000 4194304 4196468 140724060777808 140724060760352 140158286872311 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
/proc/14168/statm: 2745798 14326 3063 1 0 2708109 0
[pid=14168/tid=14221] ppid=14165 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/14168/task/14221/stat : 14221 (java) R 14165 14168 10336 0 -1 4202560 6945 13043 0 0 19 2 5 2 20 0 15 0 222596928 11246788608 14326 33554432000 4194304 4196468 140724060777808 140158258684320 140158270952798 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14222] ppid=14165 vsize=10983192 memory=7084813469699035216 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14222/stat : 14222 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596928 11246788608 14326 33554432000 4194304 4196468 140724060777808 140158291115152 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14223] ppid=14165 vsize=10983192 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14223/stat : 14223 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596928 11246788608 14326 33554432000 4194304 4196468 140724060777808 140158145834000 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14224] ppid=14165 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14224/stat : 14224 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596928 11246788608 14326 33554432000 4194304 4196468 140724060777808 140158144781200 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14225] ppid=14165 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14225/stat : 14225 (java) S 14165 14168 10336 0 -1 1077944384 2 13043 0 0 0 0 5 2 20 0 15 0 222596928 11246788608 14326 33554432000 4194304 4196468 140724060777808 140158143728400 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14226] ppid=14165 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14226/stat : 14226 (java) S 14165 14168 10336 0 -1 1077944384 2 13043 0 0 0 0 5 2 20 0 15 0 222596930 11246788608 14326 33554432000 4194304 4196468 140724060777808 140157255637360 140158286883458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14227] ppid=14165 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14227/stat : 14227 (java) S 14165 14168 10336 0 -1 1077944384 13 13043 0 0 0 0 5 2 20 0 15 0 222596930 11246788608 14326 33554432000 4194304 4196468 140724060777808 140157130892320 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14228] ppid=14165 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14228/stat : 14228 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596931 11246788608 14326 33554432000 4194304 4196468 140724060777808 140156929565552 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14229] ppid=14165 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14229/stat : 14229 (java) S 14165 14168 10336 0 -1 1077944384 2 13043 0 0 0 0 5 2 20 0 15 0 222596933 11246788608 14326 33554432000 4194304 4196468 140724060777808 140156661131088 140158286890907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14230] ppid=14165 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14168/task/14230/stat : 14230 (java) S 14165 14168 10336 0 -1 1077944384 366 13043 0 0 2 0 5 2 20 0 15 0 222596933 11246788608 14326 33554432000 4194304 4196468 140724060777808 140157254585200 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14231] ppid=14165 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14168/task/14231/stat : 14231 (java) S 14165 14168 10336 0 -1 1077944384 262 13043 0 0 1 0 5 2 20 0 15 0 222596933 11246788608 14326 33554432000 4194304 4196468 140724060777808 140157253532400 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14232] ppid=14165 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/14168/task/14232/stat : 14232 (java) R 14165 14168 10336 0 -1 4202560 639 13043 0 0 5 0 5 2 20 0 15 0 222596933 11246788608 14326 33554432000 4194304 4196468 140724060777808 140157252479600 140158271118887 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14233] ppid=14165 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14233/stat : 14233 (java) S 14165 14168 10336 0 -1 1077944384 3 13043 0 0 0 0 5 2 20 0 15 0 222596933 11246788608 14326 33554432000 4194304 4196468 140724060777808 140156191369952 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14234] ppid=14165 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14234/stat : 14234 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596934 11246788608 14326 33554432000 4194304 4196468 140724060777808 140157251426992 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57304 KiB

[startup+0.700809 s]
/proc/loadavg: 1.75 1.45 1.42 3/215 14234
/proc/meminfo: memFree=23175624/32770624 swapFree=67108860/67108860
[pid=14168] ppid=14165 vsize=10983192 memory=90604 CPUtime=0.99 cores=1,3,5,7
/proc/14168/stat : 14168 (java) S 14165 14168 10336 0 -1 1077944320 16749 13043 0 0 87 5 5 2 20 0 15 0 222596919 11246788608 22651 33554432000 4194304 4196468 140724060777808 140724060760352 140158286872311 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
/proc/14168/statm: 2745798 22651 3238 1 0 2708109 0
[pid=14168/tid=14221] ppid=14165 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/14168/task/14221/stat : 14221 (java) R 14165 14168 10336 0 -1 4202560 12169 13043 0 0 55 4 5 2 20 0 15 0 222596928 11246788608 22651 33554432000 4194304 4196468 140724060777808 140158258693136 140158268435886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14222] ppid=14165 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14222/stat : 14222 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596928 11246788608 22651 33554432000 4194304 4196468 140724060777808 140158291115152 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14223] ppid=14165 vsize=10983192 memory=3712 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14223/stat : 14223 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596928 11246788608 22651 33554432000 4194304 4196468 140724060777808 140158145834000 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14224] ppid=14165 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14224/stat : 14224 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596928 11246788608 22651 33554432000 4194304 4196468 140724060777808 140158144781200 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14225] ppid=14165 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14225/stat : 14225 (java) S 14165 14168 10336 0 -1 1077944384 2 13043 0 0 0 0 5 2 20 0 15 0 222596928 11246788608 22651 33554432000 4194304 4196468 140724060777808 140158143728400 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14226] ppid=14165 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14226/stat : 14226 (java) S 14165 14168 10336 0 -1 1077944384 5 13043 0 0 0 0 5 2 20 0 15 0 222596930 11246788608 22651 33554432000 4194304 4196468 140724060777808 140157255637360 140158286883458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14227] ppid=14165 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14227/stat : 14227 (java) S 14165 14168 10336 0 -1 1077944384 13 13043 0 0 0 0 5 2 20 0 15 0 222596930 11246788608 22651 33554432000 4194304 4196468 140724060777808 140157130892320 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14228] ppid=14165 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14228/stat : 14228 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596931 11246788608 22651 33554432000 4194304 4196468 140724060777808 140156929565552 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14229] ppid=14165 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14229/stat : 14229 (java) S 14165 14168 10336 0 -1 1077944384 2 13043 0 0 0 0 5 2 20 0 15 0 222596933 11246788608 22651 33554432000 4194304 4196468 140724060777808 140156661131088 140158286890907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14230] ppid=14165 vsize=10983192 memory=13252 CPUtime=0.15 cores=1,3,5,7
/proc/14168/task/14230/stat : 14230 (java) S 14165 14168 10336 0 -1 1077944384 779 13043 0 0 8 0 5 2 20 0 15 0 222596933 11246788608 22651 33554432000 4194304 4196468 140724060777808 140157254585200 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14231] ppid=14165 vsize=10983192 memory=15460 CPUtime=0.16 cores=1,3,5,7
/proc/14168/task/14231/stat : 14231 (java) S 14165 14168 10336 0 -1 1077944384 841 13043 0 0 9 0 5 2 20 0 15 0 222596933 11246788608 22651 33554432000 4194304 4196468 140724060777808 140157253532400 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14232] ppid=14165 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/14168/task/14232/stat : 14232 (java) S 14165 14168 10336 0 -1 1077944384 733 13043 0 0 13 0 5 2 20 0 15 0 222596933 11246788608 22651 33554432000 4194304 4196468 140724060777808 140157252479600 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14233] ppid=14165 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14233/stat : 14233 (java) S 14165 14168 10336 0 -1 1077944384 3 13043 0 0 0 0 5 2 20 0 15 0 222596933 11246788608 22651 33554432000 4194304 4196468 140724060777808 140156191369952 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14234] ppid=14165 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14234/stat : 14234 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596934 11246788608 22651 33554432000 4194304 4196468 140724060777808 140157251426992 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90604 KiB

[startup+1.5027 s]
/proc/loadavg: 1.69 1.44 1.42 4/215 14234
/proc/meminfo: memFree=23129788/32770624 swapFree=67108860/67108860
[pid=14168] ppid=14165 vsize=10991948 memory=199480 CPUtime=3.02 cores=1,3,5,7
/proc/14168/stat : 14168 (java) S 14165 14168 10336 0 -1 1077944320 22433 13043 0 0 287 8 5 2 20 0 15 0 222596919 11255754752 49870 33554432000 4194304 4196468 140724060777808 140724060760352 140158286872311 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
/proc/14168/statm: 2747987 49870 3448 1 0 2709645 0
[pid=14168/tid=14221] ppid=14165 vsize=10991948 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/14168/task/14221/stat : 14221 (java) R 14165 14168 10336 0 -1 4202560 14893 13043 0 0 133 6 5 2 20 0 15 0 222596928 11255754752 49870 33554432000 4194304 4196468 140724060777808 140158258701984 140157823337432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14222] ppid=14165 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14222/stat : 14222 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596928 11255754752 49870 33554432000 4194304 4196468 140724060777808 140158291115152 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14223] ppid=14165 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14223/stat : 14223 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596928 11255754752 49870 33554432000 4194304 4196468 140724060777808 140158145834000 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14224] ppid=14165 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14224/stat : 14224 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596928 11255754752 49870 33554432000 4194304 4196468 140724060777808 140158144781200 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14225] ppid=14165 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14225/stat : 14225 (java) S 14165 14168 10336 0 -1 1077944384 2 13043 0 0 0 0 5 2 20 0 15 0 222596928 11255754752 49870 33554432000 4194304 4196468 140724060777808 140158143728400 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14226] ppid=14165 vsize=10991948 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14226/stat : 14226 (java) S 14165 14168 10336 0 -1 1077944384 5 13043 0 0 0 0 5 2 20 0 15 0 222596930 11255754752 49870 33554432000 4194304 4196468 140724060777808 140157255637360 140158286883458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14227] ppid=14165 vsize=10991948 memory=280425796806912 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14227/stat : 14227 (java) S 14165 14168 10336 0 -1 1077944384 13 13043 0 0 0 0 5 2 20 0 15 0 222596930 11255754752 49870 33554432000 4194304 4196468 140724060777808 140157130892320 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14228] ppid=14165 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14228/stat : 14228 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596931 11255754752 49870 33554432000 4194304 4196468 140724060777808 140156929565552 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14229] ppid=14165 vsize=10991948 memory=1828 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14229/stat : 14229 (java) S 14165 14168 10336 0 -1 1077944384 2 13043 0 0 0 0 5 2 20 0 15 0 222596933 11255754752 49870 33554432000 4194304 4196468 140724060777808 140156661131088 140158286890907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14230] ppid=14165 vsize=10991948 memory=1120 CPUtime=0.6 cores=1,3,5,7
/proc/14168/task/14230/stat : 14230 (java) R 14165 14168 10336 0 -1 4202560 2162 13043 0 0 53 0 5 2 20 0 15 0 222596933 11255754752 49870 33554432000 4194304 4196468 140724060777808 140157254566352 140158270369095 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14231] ppid=14165 vsize=10991948 memory=6116 CPUtime=0.63 cores=1,3,5,7
/proc/14168/task/14231/stat : 14231 (java) R 14165 14168 10336 0 -1 4202560 1686 13043 0 0 56 0 5 2 20 0 15 0 222596933 11255754752 49870 33554432000 4194304 4196468 140724060777808 140157253523680 140158266118296 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14232] ppid=14165 vsize=10991948 memory=1724 CPUtime=0.5 cores=1,3,5,7
/proc/14168/task/14232/stat : 14232 (java) S 14165 14168 10336 0 -1 1077944384 1465 13043 0 0 43 0 5 2 20 0 15 0 222596933 11255754752 49870 33554432000 4194304 4196468 140724060777808 140157252479600 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14233] ppid=14165 vsize=10991948 memory=4004 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14233/stat : 14233 (java) S 14165 14168 10336 0 -1 1077944384 3 13043 0 0 0 0 5 2 20 0 15 0 222596933 11255754752 49870 33554432000 4194304 4196468 140724060777808 140156191369952 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14234] ppid=14165 vsize=10991948 memory=3516 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14234/stat : 14234 (java) S 14165 14168 10336 0 -1 1077944384 1 13043 0 0 0 0 5 2 20 0 15 0 222596934 11255754752 49870 33554432000 4194304 4196468 140724060777808 140157251426992 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 10991948 KiB

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

/proc/14168/task/14221/stat : 14221 (java) R 14165 14168 10336 0 -1 4202560 236084 13043 0 0 231156 75 5 2 20 0 15 0 222596928 11343855616 812238 33554432000 4194304 4196468 140724060777808 140158258706720 140157836981245 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14222] ppid=14165 vsize=11077984 memory=3248880 CPUtime=9.16 cores=1,3,5,7
/proc/14168/task/14222/stat : 14222 (java) S 14165 14168 10336 0 -1 1077944384 21152 13043 0 0 838 71 5 2 20 0 15 0 222596928 11343855616 812238 33554432000 4194304 4196468 140724060777808 140158291115152 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14223] ppid=14165 vsize=11077984 memory=3248940 CPUtime=9.21 cores=1,3,5,7
/proc/14168/task/14223/stat : 14223 (java) S 14165 14168 10336 0 -1 1077944384 21697 13043 0 0 842 72 5 2 20 0 15 0 222596928 11343855616 812238 33554432000 4194304 4196468 140724060777808 140158145834000 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14224] ppid=14165 vsize=11077984 memory=164 CPUtime=9.26 cores=1,3,5,7
/proc/14168/task/14224/stat : 14224 (java) S 14165 14168 10336 0 -1 1077944384 21318 13043 0 0 847 72 5 2 20 0 15 0 222596928 11343855616 812238 33554432000 4194304 4196468 140724060777808 140158144781200 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14225] ppid=14165 vsize=11077984 memory=6791534058613427641 CPUtime=9.24 cores=1,3,5,7
/proc/14168/task/14225/stat : 14225 (java) S 14165 14168 10336 0 -1 1077944384 19809 13043 0 0 845 72 5 2 20 0 15 0 222596928 11343855616 812238 33554432000 4194304 4196468 140724060777808 140158143728400 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14226] ppid=14165 vsize=11077984 memory=3248940 CPUtime=0.56 cores=1,3,5,7
/proc/14168/task/14226/stat : 14226 (java) S 14165 14168 10336 0 -1 1077944384 34671 13043 0 0 41 8 5 2 20 0 15 0 222596930 11343855616 812238 33554432000 4194304 4196468 140724060777808 140157255637360 140158286883458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14227] ppid=14165 vsize=11077984 memory=3248952 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14227/stat : 14227 (java) S 14165 14168 10336 0 -1 1077944384 21 13043 0 0 0 0 5 2 20 0 15 0 222596930 11343855616 812238 33554432000 4194304 4196468 140724060777808 140157130892384 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14228] ppid=14165 vsize=11077984 memory=3248952 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14228/stat : 14228 (java) S 14165 14168 10336 0 -1 1077944384 10 13043 0 0 0 0 5 2 20 0 15 0 222596931 11343855616 812238 33554432000 4194304 4196468 140724060777808 140156929565568 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14229] ppid=14165 vsize=11077984 memory=3248952 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14229/stat : 14229 (java) S 14165 14168 10336 0 -1 1077944384 2 13043 0 0 0 0 5 2 20 0 15 0 222596933 11343855616 812238 33554432000 4194304 4196468 140724060777808 140156661131088 140158286890907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14230] ppid=14165 vsize=11077984 memory=3248952 CPUtime=9.71 cores=1,3,5,7
/proc/14168/task/14230/stat : 14230 (java) S 14165 14168 10336 0 -1 1077944384 31525 13043 0 0 959 5 5 2 20 0 15 0 222596933 11343855616 812238 33554432000 4194304 4196468 140724060777808 140157254585200 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14231] ppid=14165 vsize=11077984 memory=3248952 CPUtime=9.43 cores=1,3,5,7
/proc/14168/task/14231/stat : 14231 (java) S 14165 14168 10336 0 -1 1077944384 30507 13043 0 0 930 6 5 2 20 0 15 0 222596933 11343855616 812238 33554432000 4194304 4196468 140724060777808 140157253532400 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14232] ppid=14165 vsize=11077984 memory=3248952 CPUtime=2.88 cores=1,3,5,7
/proc/14168/task/14232/stat : 14232 (java) S 14165 14168 10336 0 -1 1077944384 61721 13043 0 0 272 9 5 2 20 0 15 0 222596933 11343855616 812238 33554432000 4194304 4196468 140724060777808 140157252479600 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14233] ppid=14165 vsize=11077984 memory=3248952 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14233/stat : 14233 (java) S 14165 14168 10336 0 -1 1077944384 3 13043 0 0 0 0 5 2 20 0 15 0 222596933 11343855616 812238 33554432000 4194304 4196468 140724060777808 140156191369952 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14234] ppid=14165 vsize=11077984 memory=3248952 CPUtime=1.43 cores=1,3,5,7
/proc/14168/task/14234/stat : 14234 (java) S 14165 14168 10336 0 -1 1077944384 1670 13043 0 0 62 74 5 2 20 0 15 0 222596934 11343855616 812238 33554432000 4194304 4196468 140724060777808 140157251426992 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
Current children cumulated CPU time: 2372.73 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3248952 KiB

[startup+2382.3 s]
/proc/loadavg: 1.77 1.74 1.69 3/215 14435
/proc/meminfo: memFree=20107428/32770624 swapFree=67108860/67108860
[pid=14168] ppid=14165 vsize=11077984 memory=3244380 CPUtime=2433.34 cores=1,3,5,7
/proc/14168/stat : 14168 (java) S 14165 14168 10336 0 -1 1077944320 488545 13043 0 0 242875 452 5 2 20 0 15 0 222596919 11343855616 811095 33554432000 4194304 4196468 140724060777808 140724060760352 140158286872311 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
/proc/14168/statm: 2769496 811095 3540 1 0 2731149 0
[pid=14168/tid=14221] ppid=14165 vsize=11077984 memory=804 CPUtime=2372.18 cores=1,3,5,7
/proc/14168/task/14221/stat : 14221 (java) R 14165 14168 10336 0 -1 4202560 239575 13043 0 0 237135 76 5 2 20 0 15 0 222596928 11343855616 811095 33554432000 4194304 4196468 140724060777808 140158258706608 140157840302960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14222] ppid=14165 vsize=11077984 memory=3244356 CPUtime=9.36 cores=1,3,5,7
/proc/14168/task/14222/stat : 14222 (java) S 14165 14168 10336 0 -1 1077944384 21855 13043 0 0 858 71 5 2 20 0 15 0 222596928 11343855616 811095 33554432000 4194304 4196468 140724060777808 140158291115152 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14223] ppid=14165 vsize=11077984 memory=0 CPUtime=9.4 cores=1,3,5,7
/proc/14168/task/14223/stat : 14223 (java) S 14165 14168 10336 0 -1 1077944384 21792 13043 0 0 861 72 5 2 20 0 15 0 222596928 11343855616 811095 33554432000 4194304 4196468 140724060777808 140158145834000 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14224] ppid=14165 vsize=11077984 memory=5787801997435037779 CPUtime=9.46 cores=1,3,5,7
/proc/14168/task/14224/stat : 14224 (java) S 14165 14168 10336 0 -1 1077944384 21401 13043 0 0 867 72 5 2 20 0 15 0 222596928 11343855616 811095 33554432000 4194304 4196468 140724060777808 140158144781200 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14225] ppid=14165 vsize=11077984 memory=3244380 CPUtime=9.43 cores=1,3,5,7
/proc/14168/task/14225/stat : 14225 (java) S 14165 14168 10336 0 -1 1077944384 21189 13043 0 0 864 72 5 2 20 0 15 0 222596928 11343855616 811095 33554432000 4194304 4196468 140724060777808 140158143728400 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14226] ppid=14165 vsize=11077984 memory=3244380 CPUtime=0.56 cores=1,3,5,7
/proc/14168/task/14226/stat : 14226 (java) S 14165 14168 10336 0 -1 1077944384 35024 13043 0 0 41 8 5 2 20 0 15 0 222596930 11343855616 811095 33554432000 4194304 4196468 140724060777808 140157255637360 140158286883458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14227] ppid=14165 vsize=11077984 memory=3244380 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14227/stat : 14227 (java) S 14165 14168 10336 0 -1 1077944384 21 13043 0 0 0 0 5 2 20 0 15 0 222596930 11343855616 811095 33554432000 4194304 4196468 140724060777808 140157130892384 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14228] ppid=14165 vsize=11077984 memory=3244380 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14228/stat : 14228 (java) S 14165 14168 10336 0 -1 1077944384 10 13043 0 0 0 0 5 2 20 0 15 0 222596931 11343855616 811095 33554432000 4194304 4196468 140724060777808 140156929565568 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14229] ppid=14165 vsize=11077984 memory=3244380 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14229/stat : 14229 (java) S 14165 14168 10336 0 -1 1077944384 2 13043 0 0 0 0 5 2 20 0 15 0 222596933 11343855616 811095 33554432000 4194304 4196468 140724060777808 140156661131088 140158286890907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14230] ppid=14165 vsize=11077984 memory=3244380 CPUtime=9.71 cores=1,3,5,7
/proc/14168/task/14230/stat : 14230 (java) S 14165 14168 10336 0 -1 1077944384 31529 13043 0 0 959 5 5 2 20 0 15 0 222596933 11343855616 811095 33554432000 4194304 4196468 140724060777808 140157254585200 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14231] ppid=14165 vsize=11077984 memory=3244380 CPUtime=9.43 cores=1,3,5,7
/proc/14168/task/14231/stat : 14231 (java) S 14165 14168 10336 0 -1 1077944384 30512 13043 0 0 930 6 5 2 20 0 15 0 222596933 11343855616 811095 33554432000 4194304 4196468 140724060777808 140157253532400 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14232] ppid=14165 vsize=11077984 memory=3712 CPUtime=2.88 cores=1,3,5,7
/proc/14168/task/14232/stat : 14232 (java) S 14165 14168 10336 0 -1 1077944384 61729 13043 0 0 272 9 5 2 20 0 15 0 222596933 11343855616 811095 33554432000 4194304 4196468 140724060777808 140157252479600 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14233] ppid=14165 vsize=11077984 memory=60592 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14233/stat : 14233 (java) S 14165 14168 10336 0 -1 1077944384 3 13043 0 0 0 0 5 2 20 0 15 0 222596933 11343855616 811095 33554432000 4194304 4196468 140724060777808 140156191369952 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14234] ppid=14165 vsize=11077984 memory=243206 CPUtime=1.46 cores=1,3,5,7
/proc/14168/task/14234/stat : 14234 (java) S 14165 14168 10336 0 -1 1077944384 1706 13043 0 0 64 75 5 2 20 0 15 0 222596934 11343855616 811095 33554432000 4194304 4196468 140724060777808 140157251426992 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
Current children cumulated CPU time: 2433.34 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3244380 KiB

[startup+2442.3 s]
/proc/loadavg: 1.87 1.77 1.70 3/215 14436
/proc/meminfo: memFree=20037516/32770624 swapFree=67108860/67108860
[pid=14168] ppid=14165 vsize=11077984 memory=3271036 CPUtime=2493.88 cores=1,3,5,7
/proc/14168/stat : 14168 (java) S 14165 14168 10336 0 -1 1077944320 498485 13043 0 0 248924 457 5 2 20 0 15 0 222596919 11343855616 817759 33554432000 4194304 4196468 140724060777808 140724060760352 140158286872311 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
/proc/14168/statm: 2769496 817759 3540 1 0 2731149 0
[pid=14168/tid=14221] ppid=14165 vsize=11077984 memory=3271036 CPUtime=2432.01 cores=1,3,5,7
/proc/14168/task/14221/stat : 14221 (java) R 14165 14168 10336 0 -1 4202560 243334 13043 0 0 243118 76 5 2 20 0 15 0 222596928 11343855616 817759 33554432000 4194304 4196468 140724060777808 140158258702096 140157839281806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14222] ppid=14165 vsize=11077984 memory=0 CPUtime=9.52 cores=1,3,5,7
/proc/14168/task/14222/stat : 14222 (java) S 14165 14168 10336 0 -1 1077944384 22580 13043 0 0 873 72 5 2 20 0 15 0 222596928 11343855616 817759 33554432000 4194304 4196468 140724060777808 140158291115152 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14223] ppid=14165 vsize=11077984 memory=3271012 CPUtime=9.55 cores=1,3,5,7
/proc/14168/task/14223/stat : 14223 (java) S 14165 14168 10336 0 -1 1077944384 22854 13043 0 0 875 73 5 2 20 0 15 0 222596928 11343855616 817759 33554432000 4194304 4196468 140724060777808 140158145834000 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14224] ppid=14165 vsize=11077984 memory=3271036 CPUtime=9.62 cores=1,3,5,7
/proc/14168/task/14224/stat : 14224 (java) S 14165 14168 10336 0 -1 1077944384 21769 13043 0 0 882 73 5 2 20 0 15 0 222596928 11343855616 817759 33554432000 4194304 4196468 140724060777808 140158144781200 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14225] ppid=14165 vsize=11077984 memory=3271036 CPUtime=9.6 cores=1,3,5,7
/proc/14168/task/14225/stat : 14225 (java) S 14165 14168 10336 0 -1 1077944384 21308 13043 0 0 880 73 5 2 20 0 15 0 222596928 11343855616 817759 33554432000 4194304 4196468 140724060777808 140158143728400 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14226] ppid=14165 vsize=11077984 memory=3271036 CPUtime=0.57 cores=1,3,5,7
/proc/14168/task/14226/stat : 14226 (java) S 14165 14168 10336 0 -1 1077944384 35359 13043 0 0 42 8 5 2 20 0 15 0 222596930 11343855616 817759 33554432000 4194304 4196468 140724060777808 140157255637360 140158286883458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14227] ppid=14165 vsize=11077984 memory=3271036 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14227/stat : 14227 (java) S 14165 14168 10336 0 -1 1077944384 21 13043 0 0 0 0 5 2 20 0 15 0 222596930 11343855616 817759 33554432000 4194304 4196468 140724060777808 140157130892384 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14228] ppid=14165 vsize=11077984 memory=3271036 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14228/stat : 14228 (java) S 14165 14168 10336 0 -1 1077944384 10 13043 0 0 0 0 5 2 20 0 15 0 222596931 11343855616 817759 33554432000 4194304 4196468 140724060777808 140156929565568 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14229] ppid=14165 vsize=11077984 memory=3271036 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14229/stat : 14229 (java) S 14165 14168 10336 0 -1 1077944384 2 13043 0 0 0 0 5 2 20 0 15 0 222596933 11343855616 817759 33554432000 4194304 4196468 140724060777808 140156661131088 140158286890907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14230] ppid=14165 vsize=11077984 memory=3271036 CPUtime=9.73 cores=1,3,5,7
/proc/14168/task/14230/stat : 14230 (java) S 14165 14168 10336 0 -1 1077944384 33287 13043 0 0 961 5 5 2 20 0 15 0 222596933 11343855616 817759 33554432000 4194304 4196468 140724060777808 140157254585200 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14231] ppid=14165 vsize=11077984 memory=3271036 CPUtime=9.44 cores=1,3,5,7
/proc/14168/task/14231/stat : 14231 (java) S 14165 14168 10336 0 -1 1077944384 31246 13043 0 0 931 6 5 2 20 0 15 0 222596933 11343855616 817759 33554432000 4194304 4196468 140724060777808 140157253532400 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14232] ppid=14165 vsize=11077984 memory=3271036 CPUtime=2.88 cores=1,3,5,7
/proc/14168/task/14232/stat : 14232 (java) S 14165 14168 10336 0 -1 1077944384 62770 13043 0 0 272 9 5 2 20 0 15 0 222596933 11343855616 817759 33554432000 4194304 4196468 140724060777808 140157252479600 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14233] ppid=14165 vsize=11077984 memory=3271036 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14233/stat : 14233 (java) S 14165 14168 10336 0 -1 1077944384 3 13043 0 0 0 0 5 2 20 0 15 0 222596933 11343855616 817759 33554432000 4194304 4196468 140724060777808 140156191369952 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14234] ppid=14165 vsize=11077984 memory=3271036 CPUtime=1.5 cores=1,3,5,7
/proc/14168/task/14234/stat : 14234 (java) S 14165 14168 10336 0 -1 1077944384 1745 13043 0 0 66 77 5 2 20 0 15 0 222596934 11343855616 817759 33554432000 4194304 4196468 140724060777808 140157251426992 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
Current children cumulated CPU time: 2493.88 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3271036 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2468.2 s]
/proc/loadavg: 1.91 1.79 1.70 3/215 14436
/proc/meminfo: memFree=20006920/32770624 swapFree=67108860/67108860
[pid=14168] ppid=14165 vsize=11077984 memory=3273096 CPUtime=2520 cores=1,3,5,7
/proc/14168/stat : 14168 (java) S 14165 14168 10336 0 -1 1077944320 499741 13043 0 0 251535 458 5 2 20 0 15 0 222596919 11343855616 818274 33554432000 4194304 4196468 140724060777808 140724060760352 140158286872311 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
/proc/14168/statm: 2769496 818274 3540 1 0 2731149 0
[pid=14168/tid=14221] ppid=14165 vsize=11077984 memory=288230596050944315 CPUtime=2457.85 cores=1,3,5,7
/proc/14168/task/14221/stat : 14221 (java) R 14165 14168 10336 0 -1 4202560 243961 13043 0 0 245701 77 5 2 20 0 15 0 222596928 11343855616 818274 33554432000 4194304 4196468 140724060777808 140158258707128 140157839281727 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14222] ppid=14165 vsize=11077984 memory=13850759267617157 CPUtime=9.59 cores=1,3,5,7
/proc/14168/task/14222/stat : 14222 (java) S 14165 14168 10336 0 -1 1077944384 22718 13043 0 0 880 72 5 2 20 0 15 0 222596928 11343855616 818274 33554432000 4194304 4196468 140724060777808 140158291115152 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14223] ppid=14165 vsize=11077984 memory=1408 CPUtime=9.62 cores=1,3,5,7
/proc/14168/task/14223/stat : 14223 (java) S 14165 14168 10336 0 -1 1077944384 22860 13043 0 0 882 73 5 2 20 0 15 0 222596928 11343855616 818274 33554432000 4194304 4196468 140724060777808 140158145834000 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14224] ppid=14165 vsize=11077984 memory=3228 CPUtime=9.68 cores=1,3,5,7
/proc/14168/task/14224/stat : 14224 (java) S 14165 14168 10336 0 -1 1077944384 21853 13043 0 0 888 73 5 2 20 0 15 0 222596928 11343855616 818274 33554432000 4194304 4196468 140724060777808 140158144781200 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14225] ppid=14165 vsize=11077984 memory=3271052 CPUtime=9.66 cores=1,3,5,7
/proc/14168/task/14225/stat : 14225 (java) S 14165 14168 10336 0 -1 1077944384 21322 13043 0 0 886 73 5 2 20 0 15 0 222596928 11343855616 818274 33554432000 4194304 4196468 140724060777808 140158143728400 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14226] ppid=14165 vsize=11077984 memory=1404 CPUtime=0.57 cores=1,3,5,7
/proc/14168/task/14226/stat : 14226 (java) S 14165 14168 10336 0 -1 1077944384 35368 13043 0 0 42 8 5 2 20 0 15 0 222596930 11343855616 818274 33554432000 4194304 4196468 140724060777808 140157255637360 140158286883458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14227] ppid=14165 vsize=11077984 memory=3072 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14227/stat : 14227 (java) S 14165 14168 10336 0 -1 1077944384 21 13043 0 0 0 0 5 2 20 0 15 0 222596930 11343855616 818274 33554432000 4194304 4196468 140724060777808 140157130892384 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14228] ppid=14165 vsize=11077984 memory=1501044 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14228/stat : 14228 (java) S 14165 14168 10336 0 -1 1077944384 10 13043 0 0 0 0 5 2 20 0 15 0 222596931 11343855616 818274 33554432000 4194304 4196468 140724060777808 140156929565568 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14229] ppid=14165 vsize=11077984 memory=4104 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14229/stat : 14229 (java) S 14165 14168 10336 0 -1 1077944384 2 13043 0 0 0 0 5 2 20 0 15 0 222596933 11343855616 818274 33554432000 4194304 4196468 140724060777808 140156661131088 140158286890907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14230] ppid=14165 vsize=11077984 memory=3072 CPUtime=9.73 cores=1,3,5,7
/proc/14168/task/14230/stat : 14230 (java) S 14165 14168 10336 0 -1 1077944384 33288 13043 0 0 961 5 5 2 20 0 15 0 222596933 11343855616 818274 33554432000 4194304 4196468 140724060777808 140157254585200 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14231] ppid=14165 vsize=11077984 memory=1496940 CPUtime=9.44 cores=1,3,5,7
/proc/14168/task/14231/stat : 14231 (java) S 14165 14168 10336 0 -1 1077944384 31246 13043 0 0 931 6 5 2 20 0 15 0 222596933 11343855616 818274 33554432000 4194304 4196468 140724060777808 140157253532400 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14232] ppid=14165 vsize=11077984 memory=4104 CPUtime=2.88 cores=1,3,5,7
/proc/14168/task/14232/stat : 14232 (java) S 14165 14168 10336 0 -1 1077944384 63145 13043 0 0 272 9 5 2 20 0 15 0 222596933 11343855616 818274 33554432000 4194304 4196468 140724060777808 140157252479600 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14233] ppid=14165 vsize=11077984 memory=3271052 CPUtime=0.07 cores=1,3,5,7
/proc/14168/task/14233/stat : 14233 (java) S 14165 14168 10336 0 -1 1077944384 3 13043 0 0 0 0 5 2 20 0 15 0 222596933 11343855616 818274 33554432000 4194304 4196468 140724060777808 140156191369952 140158286882517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
[pid=14168/tid=14234] ppid=14165 vsize=11077984 memory=-2897801490638248215 CPUtime=1.51 cores=1,3,5,7
/proc/14168/task/14234/stat : 14234 (java) S 14165 14168 10336 0 -1 1077944384 1747 13043 0 0 66 78 5 2 20 0 15 0 222596934 11343855616 818274 33554432000 4194304 4196468 140724060777808 140157251426992 140158286883458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 12439552 140724060781156 140724060783964 140724060783964 140724060786639 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3273096 KiB

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

[startup+2468.25 s]
# the end of solver process 14168 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.43 s, system=4.63939 s

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

Child status: 143
Real time (s): 2468.25
CPU time (s): 2520.07
CPU user time (s): 2515.43
CPU system time (s): 4.63939
CPU usage (%): 102.099
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 3273096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.43
system time used= 4.63939
maximum resident set size= 3275280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 514297
page faults= 0
swaps= 0
block input operations= 304
block output operations= 3088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69371
involuntary context switches= 2043


# summary of solver processes directly reported to runsolver:
#   pid: 14168
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2515.43
#   total CPU system time (s): 4.63939

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2138 second user time and 22.0563 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-12 07:05:37
IDJOB=4304248
IDBENCH=141136
IDSOLVER=2781
FILE ID=node107/4304248-1534050337
RUNJOBID= node107-1534039308-11489
PBS_JOBID= 21036970
Free space on /tmp= 39304 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order40_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304248-1534050337/watcher-4304248-1534050337 -o /tmp/evaluation-result-4304248-1534050337/solver-4304248-1534050337 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534039308-11489 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=140962747 -superng HOME/instance-4304248-1534050337.xml

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

MD5SUM BENCH= d1aa36ddb66a988b2d6475ffc1d9c375
RANDOM SEED=140962747

node107.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.40
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.40
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.40
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.40
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:        23231196 kB
MemAvailable:   30352336 kB
Buffers:          188452 kB
Cached:          7124664 kB
SwapCached:            0 kB
Active:          5238560 kB
Inactive:        3679108 kB
Active(anon):    1553752 kB
Inactive(anon):   103432 kB
Active(file):    3684808 kB
Inactive(file):  3575676 kB
Unevictable:        6976 kB
Mlocked:            6976 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             28768 kB
Writeback:             0 kB
AnonPages:       1636200 kB
Mapped:            64968 kB
Shmem:             49804 kB
Slab:             318272 kB
SReclaimable:     289116 kB
SUnreclaim:        29156 kB
KernelStack:        3792 kB
PageTables:         8612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2752892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1374208 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 39276 MiB
End job on node107 at 2018-08-12 07:46:46