Trace number 4293229

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.8 2018-06-13SAT (TO)3002 2520.15 2332.65

General information on the benchmark

NameGraphColoring/
GraphColoring-qg-order60_c18.xml
MD5SUM2b7bed68bca9665ed3be29de24764d77
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark59
Best CPU time to get the best result obtained on this benchmark2519.69
Satisfiable
(Un)Satisfiability was proved
Number of variables3600
Number of constraints212400
Number of domains1
Minimum domain size3600
Maximum domain size3600
Distribution of domain sizes[{"size":3600,"count":3600}]
Minimum variable degree119
Maximum variable degree119
Distribution of variable degrees[{"degree":119,"count":3600}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":212400}]
Number of extensional constraints0
Number of intensional constraints212400
Distribution of constraint types[{"type":"intension","count":212400}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.98/0.75	c Concrete v3.8.1528841891564 running
703.63/591.22	o 3599
708.37/594.67	o 3598
712.44/597.87	o 3597
715.63/600.87	o 3596
720.21/604.40	o 3595
723.53/607.29	o 3594
726.90/610.37	o 3593
730.10/613.55	o 3592
733.57/616.77	o 3591
736.79/619.92	o 3590
740.13/623.02	o 3589
743.32/626.27	o 3588
746.83/629.40	o 3587
750.07/632.49	o 3586
753.33/635.45	o 3585
757.06/638.80	o 3584
760.24/641.93	o 3583
763.31/645.00	o 3582
766.55/647.96	o 3581
769.70/651.02	o 3580
772.98/654.16	o 3579
776.52/657.41	o 3578
779.73/660.61	o 3577
782.82/663.59	o 3576
785.82/666.52	o 3575
788.87/669.48	o 3574
792.46/672.61	o 3573
795.56/675.73	o 3572
798.84/678.85	o 3571
802.20/681.98	o 3570
805.21/685.00	o 3569
808.43/687.99	o 3568
811.34/690.85	o 3567
814.52/693.81	o 3566
817.79/696.85	o 3565
820.70/699.78	o 3564
823.92/702.77	o 3563
827.02/705.84	o 3562
830.41/709.10	o 3561
833.76/712.17	o 3560
836.76/715.15	o 3559
839.87/718.02	o 3558
843.06/721.22	o 3557
846.32/724.30	o 3556
849.67/727.44	o 3555
852.47/730.23	o 3554
855.59/733.11	o 3553
858.59/736.12	o 3552
861.76/739.14	o 3551
865.16/742.21	o 3550
868.07/745.15	o 3549
871.30/748.12	o 3548
874.31/751.16	o 3547
877.59/754.26	o 3546
881.05/757.48	o 3545
884.05/760.44	o 3544
887.36/763.54	o 3543
890.26/766.40	o 3542
893.35/769.35	o 3541
896.82/772.52	o 3540
899.63/775.36	o 3539
903.06/778.50	o 3538
905.96/781.42	o 3537
909.16/784.50	o 3536
912.17/787.48	o 3535
915.52/790.67	o 3534
918.86/793.74	o 3533
922.06/796.92	o 3532
925.24/799.97	o 3531
928.14/802.88	o 3530
931.38/805.90	o 3529
934.62/808.91	o 3528
937.43/811.79	o 3527
940.73/814.81	o 3526
943.63/817.73	o 3525
946.79/820.73	o 3524
950.06/823.72	o 3523
952.86/826.55	o 3522
956.20/829.64	o 3521
959.31/832.73	o 3520
962.49/835.71	o 3519
965.29/838.56	o 3518
968.74/841.87	o 3517
972.29/845.11	o 3516
975.39/848.22	o 3515
978.48/851.13	o 3514
981.28/853.96	o 3513
984.43/856.93	o 3512
987.81/860.01	o 3511
990.82/863.07	o 3510
994.13/866.19	o 3509
997.13/869.12	o 3508
1000.30/872.16	o 3507
1003.56/875.19	o 3506
1006.65/878.23	o 3505
1009.80/881.20	o 3504
1012.99/884.36	o 3503
1016.27/887.46	o 3502
1019.17/890.32	o 3501
1022.32/893.35	o 3500
1025.56/896.36	o 3499
1028.57/899.33	o 3498
1031.79/902.33	o 3497
1034.69/905.23	o 3496
1037.88/908.20	o 3495
1041.14/911.28	o 3494
1044.34/914.39	o 3493
1047.66/917.50	o 3492
1050.66/920.45	o 3491
1054.04/923.66	o 3490
1057.42/926.73	o 3489
1060.42/929.75	o 3488
1063.66/932.78	o 3487
1066.56/935.70	o 3486
1069.76/938.69	o 3485
1072.86/941.73	o 3484
1075.92/944.66	o 3483
1079.28/947.79	o 3482
1082.18/950.67	o 3481
1085.51/953.70	o 3480
1088.51/956.76	o 3479
1091.70/959.78	o 3478
1095.16/962.91	o 3477
1098.17/965.93	o 3476
1101.52/969.04	o 3475
1104.41/971.90	o 3474
1107.51/974.85	o 3473
1110.41/977.75	o 3472
1113.69/980.83	o 3471
1116.85/983.70	o 3470
1119.75/986.63	o 3469
1122.88/989.57	o 3468
1125.68/992.34	o 3467
1128.71/995.19	o 3466
1131.30/997.80	o 3465
1134.51/1000.78	o 3464
1137.21/1003.50	o 3463
1140.29/1006.30	o 3462
1142.89/1008.99	o 3461
1145.87/1011.77	o 3460
1148.67/1014.59	o 3459
1151.93/1017.61	o 3458
1155.31/1020.75	o 3457
1158.41/1023.84	o 3456
1161.71/1026.92	o 3455
1164.71/1030.01	o 3454
1167.97/1033.03	o 3453
1171.32/1036.15	o 3452
1174.22/1039.10	o 3451
1177.73/1042.40	o 3450
1180.63/1045.29	o 3449
1183.91/1048.35	o 3448
1186.81/1051.24	o 3447
1189.96/1054.26	o 3446
1193.12/1057.14	o 3445
1196.13/1060.12	o 3444
1199.35/1063.16	o 3443
1202.14/1065.96	o 3442
1205.34/1068.99	o 3441
1208.34/1071.96	o 3440
1211.51/1074.95	o 3439
1214.79/1077.95	o 3438
1217.69/1080.83	o 3437
1220.93/1083.80	o 3436
1223.93/1086.84	o 3435
1227.04/1089.72	o 3434
1230.25/1092.92	o 3433
1233.51/1096.04	o 3432
1237.04/1099.33	o 3431
1240.04/1102.36	o 3430
1243.25/1105.30	o 3429
1246.25/1108.32	o 3428
1249.43/1111.38	o 3427
1252.79/1114.46	o 3426
1255.79/1117.44	o 3425
1258.84/1120.29	o 3424
1261.75/1123.17	o 3423
1265.05/1126.21	o 3422
1267.86/1129.07	o 3421
1271.04/1132.01	o 3420
1273.83/1134.90	o 3419
1276.98/1137.89	o 3418
1280.14/1140.75	o 3417
1282.94/1143.56	o 3416
1286.09/1146.46	o 3415
1288.99/1149.34	o 3414
1292.12/1152.28	o 3413
1295.03/1155.20	o 3412
1298.32/1158.20	o 3411
1301.13/1161.04	o 3410
1304.18/1164.00	o 3409
1307.16/1166.69	o 3408
1310.07/1169.51	o 3407
1313.23/1172.47	o 3406
1315.84/1175.04	o 3405
1319.18/1178.15	o 3404
1322.19/1181.17	o 3403
1325.46/1184.29	o 3402
1328.92/1187.45	o 3401
1331.92/1190.41	o 3400
1335.36/1193.61	o 3399
1338.26/1196.60	o 3398
1341.46/1199.51	o 3397
1344.46/1202.53	o 3396
1347.62/1205.51	o 3395
1350.97/1208.62	o 3394
1353.97/1211.64	o 3393
1357.18/1214.61	o 3392
1360.09/1217.52	o 3391
1363.18/1220.44	o 3390
1365.98/1223.29	o 3389
1369.05/1226.16	o 3388
1372.41/1229.21	o 3387
1375.33/1232.17	o 3386
1378.55/1235.13	o 3385
1381.34/1237.93	o 3384
1384.55/1240.96	o 3383
1387.45/1243.85	o 3382
1390.62/1246.83	o 3381
1393.78/1249.73	o 3380
1396.49/1252.48	o 3379
1399.75/1255.42	o 3378
1402.55/1258.29	o 3377
1405.87/1261.36	o 3376
1408.77/1264.24	o 3375
1411.88/1267.17	o 3374
1414.67/1269.91	o 3373
1417.63/1272.77	o 3372
1420.89/1275.72	o 3371
1423.59/1278.47	o 3370
1426.85/1281.46	o 3369
1429.75/1284.37	o 3368
1433.06/1287.46	o 3367
1436.06/1290.49	o 3366
1439.22/1293.44	o 3365
1442.47/1296.47	o 3364
1445.47/1299.48	o 3363
1448.70/1302.42	o 3362
1451.61/1305.36	o 3361
1454.81/1308.33	o 3360
1457.71/1311.28	o 3359
1460.87/1314.25	o 3358
1464.04/1317.15	o 3357
1466.84/1319.93	o 3356
1469.98/1322.87	o 3355
1472.88/1325.80	o 3354
1476.10/1328.79	o 3353
1479.00/1331.70	o 3352
1482.19/1334.61	o 3351
1485.00/1337.46	o 3350
1488.05/1340.39	o 3349
1491.22/1343.20	o 3348
1493.92/1346.00	o 3347
1497.27/1349.02	o 3346
1500.17/1351.98	o 3345
1503.28/1354.88	o 3344
1506.08/1357.68	o 3343
1509.08/1360.48	o 3342
1511.98/1363.35	o 3341
1515.04/1366.26	o 3340
1518.39/1369.31	o 3339
1521.29/1372.24	o 3338
1524.52/1375.27	o 3337
1527.43/1378.15	o 3336
1530.41/1380.97	o 3335
1533.21/1383.73	o 3334
1536.29/1386.62	o 3333
1539.09/1389.43	o 3332
1542.14/1392.34	o 3331
1545.20/1395.17	o 3330
1548.10/1398.04	o 3329
1551.23/1400.93	o 3328
1554.22/1403.92	o 3327
1557.33/1406.84	o 3326
1560.33/1409.83	o 3325
1563.50/1412.81	o 3324
1566.77/1415.82	o 3323
1569.77/1418.80	o 3322
1573.01/1421.86	o 3321
1575.91/1424.76	o 3320
1579.12/1427.76	o 3319
1582.02/1430.67	o 3318
1585.50/1433.95	o 3317
1588.77/1436.99	o 3316
1591.77/1439.91	o 3315
1595.00/1442.90	o 3314
1598.11/1446.04	o 3313
1601.19/1448.96	o 3312
1604.19/1451.96	o 3311
1607.25/1454.82	o 3310
1610.52/1457.85	o 3309
1613.32/1460.63	o 3308
1616.57/1463.68	o 3307
1619.37/1466.49	o 3306
1622.60/1469.49	o 3305
1625.31/1472.19	o 3304
1628.41/1475.08	o 3303
1631.30/1477.90	o 3302
1634.38/1480.80	o 3301
1637.66/1483.85	o 3300
1640.56/1486.76	o 3299
1643.81/1489.75	o 3298
1646.71/1492.64	o 3297
1649.94/1495.62	o 3296
1652.84/1498.50	o 3295
1655.84/1501.31	o 3294
1658.55/1504.05	o 3293
1661.62/1506.94	o 3292
1664.42/1509.74	o 3291
1667.38/1512.59	o 3290
1670.55/1515.49	o 3289
1673.45/1518.36	o 3288
1676.59/1521.27	o 3287
1679.50/1524.16	o 3286
1682.42/1526.89	o 3285
1685.12/1529.56	o 3284
1688.03/1532.28	o 3283
1690.84/1535.03	o 3282
1693.75/1537.79	o 3281
1696.45/1540.40	o 3280
1699.27/1543.11	o 3279
1702.16/1545.94	o 3278
1705.06/1548.68	o 3277
1708.16/1551.71	o 3276
1711.32/1554.76	o 3275
1714.89/1558.02	o 3274
1717.90/1561.09	o 3273
1721.31/1564.24	o 3272
1724.41/1567.35	o 3271
1727.78/1570.50	o 3270
1731.15/1573.66	o 3269
1733.96/1576.47	o 3268
1737.31/1579.50	o 3267
1740.31/1582.52	o 3266
1743.62/1585.67	o 3265
1746.62/1588.67	o 3264
1749.81/1591.67	o 3263
1752.81/1594.66	o 3262
1755.96/1597.67	o 3261
1759.30/1600.71	o 3260
1762.40/1603.82	o 3259
1765.73/1606.93	o 3258
1768.73/1609.93	o 3257
1771.81/1612.89	o 3256
1774.81/1615.84	o 3255
1777.96/1618.80	o 3254
1781.13/1621.74	o 3253
1784.03/1624.66	o 3252
1787.06/1627.49	o 3251
1790.06/1630.41	o 3250
1793.19/1633.30	o 3249
1796.00/1636.14	o 3248
1799.09/1639.02	o 3247
1801.78/1641.79	o 3246
1804.87/1644.63	o 3245
1807.67/1647.42	o 3244
1810.64/1650.28	o 3243
1813.45/1653.04	o 3242
1816.39/1655.86	o 3241
1819.55/1658.76	o 3240
1822.26/1661.50	o 3239
1825.51/1664.48	o 3238
1828.31/1667.26	o 3237
1831.35/1670.09	o 3236
1834.24/1672.96	o 3235
1837.36/1675.84	o 3234
1840.16/1678.63	o 3233
1843.26/1681.51	o 3232
1846.06/1684.33	o 3231
1849.06/1687.18	o 3230
1851.96/1690.04	o 3229
1854.92/1692.89	o 3228
1857.92/1695.73	o 3227
1860.77/1698.57	o 3226
1863.95/1701.49	o 3225
1866.66/1704.13	o 3224
1869.69/1706.95	o 3223
1872.50/1709.74	o 3222
1875.53/1712.53	o 3221
1878.43/1715.42	o 3220
1881.55/1718.37	o 3219
1884.26/1721.03	o 3218
1887.26/1723.89	o 3217
1890.08/1726.64	o 3216
1893.40/1729.72	o 3215
1896.40/1732.77	o 3214
1899.55/1735.73	o 3213
1903.00/1738.92	o 3212
1906.00/1741.93	o 3211
1909.33/1745.04	o 3210
1912.33/1748.06	o 3209
1915.53/1751.10	o 3208
1918.44/1753.93	o 3207
1921.61/1756.93	o 3206
1924.51/1759.87	o 3205
1927.56/1762.75	o 3204
1930.82/1765.70	o 3203
1933.62/1768.56	o 3202
1936.87/1771.51	o 3201
1939.77/1774.45	o 3200
1943.00/1777.44	o 3199
1946.00/1780.44	o 3198
1949.19/1783.46	o 3197
1952.09/1786.37	o 3196
1955.36/1789.45	o 3195
1958.63/1792.43	o 3194
1961.53/1795.35	o 3193
1964.77/1798.37	o 3192
1967.67/1801.24	o 3191
1970.80/1804.17	o 3190
1973.59/1806.97	o 3189
1976.80/1809.96	o 3188
1979.80/1812.98	o 3187
1982.87/1815.87	o 3186
1986.22/1818.86	o 3185
1989.12/1821.77	o 3184
1992.28/1824.64	o 3183
1994.88/1827.29	o 3182
1998.11/1830.29	o 3181
2000.92/1833.05	o 3180
2004.13/1836.10	o 3179
2007.03/1838.92	o 3178
2010.02/1841.79	o 3177
2012.72/1844.49	o 3176
2015.70/1847.28	o 3175
2018.51/1850.10	o 3174
2021.67/1853.01	o 3173
2024.73/1855.87	o 3172
2027.53/1858.61	o 3171
2030.77/1861.66	o 3170
2033.57/1864.46	o 3169
2036.80/1867.42	o 3168
2039.60/1870.22	o 3167
2042.50/1873.00	o 3166
2045.40/1875.86	o 3165
2048.39/1878.69	o 3164
2051.19/1881.42	o 3163
2054.17/1884.27	o 3162
2056.98/1887.02	o 3161
2059.96/1889.85	o 3160
2062.86/1892.71	o 3159
2065.71/1895.43	o 3158
2068.32/1898.06	o 3157
2071.27/1900.88	o 3156
2074.07/1903.60	o 3155
2076.93/1906.36	o 3154
2079.64/1909.05	o 3153
2082.58/1911.85	o 3152
2085.28/1914.57	o 3151
2088.05/1917.15	o 3150
2090.84/1919.95	o 3149
2093.80/1922.70	o 3148
2096.50/1925.42	o 3147
2099.28/1928.06	o 3146
2101.97/1930.74	o 3145
2104.94/1933.50	o 3144
2107.55/1936.18	o 3143
2110.74/1939.18	o 3142
2113.74/1942.13	o 3141
2116.98/1945.25	o 3140
2120.33/1948.31	o 3139
2123.23/1951.23	o 3138
2126.56/1954.33	o 3137
2129.67/1957.43	o 3136
2132.87/1960.46	o 3135
2135.88/1963.41	o 3134
2139.05/1966.42	o 3133
2141.95/1969.38	o 3132
2145.09/1972.30	o 3131
2148.45/1975.47	o 3130
2151.45/1978.41	o 3129
2154.68/1981.45	o 3128
2157.48/1984.27	o 3127
2160.80/1987.32	o 3126
2163.70/1990.20	o 3125
2166.70/1993.05	o 3124
2169.39/1995.72	o 3123
2172.59/1998.70	o 3122
2175.30/2001.43	o 3121
2178.27/2004.30	o 3120
2181.09/2007.09	o 3119
2184.26/2010.10	o 3118
2187.41/2012.99	o 3117
2190.22/2015.76	o 3116
2193.50/2018.70	o 3115
2196.40/2021.69	o 3114
2199.64/2024.63	o 3113
2202.34/2027.33	o 3112
2205.38/2030.20	o 3111
2208.28/2033.05	o 3110
2211.39/2035.91	o 3109
2214.20/2038.76	o 3108
2217.31/2041.60	o 3107
2220.21/2044.52	o 3106
2223.19/2047.38	o 3105
2225.99/2050.15	o 3104
2228.96/2053.00	o 3103
2231.86/2055.88	o 3102
2234.73/2058.56	o 3101
2237.79/2061.39	o 3100
2240.69/2064.20	o 3099
2243.75/2067.07	o 3098
2246.54/2069.88	o 3097
2249.67/2072.76	o 3096
2252.48/2075.57	o 3095
2255.60/2078.49	o 3094
2258.40/2081.25	o 3093
2261.31/2083.92	o 3092
2264.01/2086.65	o 3091
2267.22/2089.63	o 3090
2269.92/2092.32	o 3089
2272.83/2095.09	o 3088
2275.54/2097.76	o 3087
2278.53/2100.58	o 3086
2281.23/2103.29	o 3085
2284.33/2106.12	o 3084
2287.02/2108.88	o 3083
2289.99/2111.63	o 3082
2292.69/2114.33	o 3081
2295.59/2117.03	o 3080
2298.28/2119.74	o 3079
2301.06/2122.39	o 3078
2303.67/2124.98	o 3077
2306.65/2127.73	o 3076
2309.16/2130.29	o 3075
2312.07/2132.94	o 3074
2314.87/2135.72	o 3073
2317.68/2138.34	o 3072
2320.28/2140.95	o 3071
2323.21/2143.61	o 3070
2325.81/2146.20	o 3069
2328.67/2148.83	o 3068
2331.17/2151.39	o 3067
2333.67/2153.87	o 3066
2336.52/2156.52	o 3065
2339.03/2159.10	o 3064
2341.80/2161.67	o 3063
2344.31/2164.11	o 3062
2347.08/2166.71	o 3061
2349.68/2169.30	o 3060
2352.29/2171.79	o 3059
2354.89/2174.39	o 3058
2357.82/2177.08	o 3057
2360.41/2179.66	o 3056
2363.06/2182.09	o 3055
2365.55/2184.52	o 3054
2367.95/2186.98	o 3053
2371.11/2190.01	o 3052
2374.48/2193.07	o 3051
2377.48/2196.02	o 3050
2380.72/2199.03	o 3049
2383.82/2202.14	o 3048
2387.13/2205.20	o 3047
2390.04/2208.17	o 3046
2393.21/2211.16	o 3045
2396.01/2214.00	o 3044
2399.18/2216.93	o 3043
2402.25/2219.98	o 3042
2405.35/2222.89	o 3041
2408.61/2225.87	o 3040
2411.41/2228.69	o 3039
2414.65/2231.61	o 3038
2417.37/2234.37	o 3037
2420.49/2237.26	o 3036
2423.41/2240.18	o 3035
2426.51/2243.05	o 3034
2429.31/2245.85	o 3033
2432.30/2248.66	o 3032
2435.00/2251.38	o 3031
2438.19/2254.39	o 3030
2441.09/2257.27	o 3029
2443.96/2260.00	o 3028
2446.87/2262.83	o 3027
2449.94/2265.77	o 3026
2452.74/2268.57	o 3025
2455.70/2271.33	o 3024
2458.87/2274.22	o 3023
2461.47/2276.86	o 3022
2464.64/2279.80	o 3021
2467.35/2282.43	o 3020
2470.32/2285.16	o 3019
2473.02/2287.84	o 3018
2475.98/2290.57	o 3017
2478.68/2293.23	o 3016
2481.64/2295.95	o 3015
2484.24/2298.59	o 3014
2487.20/2301.27	o 3013
2489.80/2303.84	o 3012
2492.85/2306.64	o 3011
2495.45/2309.22	o 3010
2498.11/2311.67	o 3009
2500.91/2314.41	o 3008
2503.87/2317.20	o 3007
2506.57/2319.88	o 3006
2509.52/2322.51	o 3005
2512.22/2325.28	o 3004
2515.16/2327.97	o 3003
2517.86/2330.69	o 3002
2520.09/2332.61	Exception in thread "main" java.util.concurrent.TimeoutException
2520.09/2332.61		at concrete.MAC.mac(MAC.scala:188)
2520.09/2332.61		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.09/2332.61		at scala.util.Try$.apply(Try.scala:209)
2520.09/2332.61		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.09/2332.61		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.09/2332.61		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.09/2332.61		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.09/2332.61		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.09/2332.61		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.09/2332.61		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.09/2332.61		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.09/2332.61		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.09/2332.61		at concrete.MAC.oneRun(MAC.scala:253)
2520.09/2332.61		at concrete.MAC.nextSolution(MAC.scala:272)
2520.09/2332.61		at concrete.MAC.nextSolution(MAC.scala:355)
2520.09/2332.61		at concrete.Solver.hasNext(Solver.scala:166)
2520.09/2332.61		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.09/2332.61		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.09/2332.61		at concrete.Solver.foreach(Solver.scala:68)
2520.09/2332.61		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.09/2332.61		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.09/2332.61		at scala.util.Success.map(Try.scala:209)
2520.09/2332.61		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.09/2332.61		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.09/2332.61		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.09/2332.61		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.09/2332.61		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.09/2332.61		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.09/2332.61		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.09/2332.61		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.09/2332.61		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.09/2332.61		at scala.collection.immutable.List.foreach(List.scala:389)
2520.09/2332.61		at scala.App.main(App.scala:76)
2520.09/2332.61		at scala.App.main$(App.scala:74)
2520.09/2332.61		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.09/2332.61		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.09/2332.62	v <instantiation cost="3002">
2520.09/2332.62	v       <list>
2520.09/2332.62	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] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[3000] x[3001] x[3002] x[3003] x[3004] x[3005] x[3006] x[3007] x[3008] x[3009] x[3010] x[3011] x[3012] x[3013] x[3014] x[3015] x[3016] x[3017] x[3018] x[3019] x[3020] x[3021] x[3022] x[3023] x[3024] x[3025] x[3026] x[3027] x[3028] x[3029] x[3030] x[3031] x[3032] x[3033] x[3034] x[3035] x[3036] x[3037] x[3038] x[3039] x[3040] x[3041] x[3042] x[3043] x[3044] x[3045] x[3046] x[3047] x[3048] x[3049] x[3050] x[3051] x[3052] x[3053] x[3054] x[3055] x[3056] x[3057] x[3058] x[3059] x[3060] x[3061] x[3062] x[3063] x[3064] x[3065] x[3066] x[3067] x[3068] x[3069] x[3070] x[3071] x[3072] x[3073] x[3074] x[3075] x[3076] x[3077] x[3078] x[3079] x[3080] x[3081] x[3082] x[3083] x[3084] x[3085] x[3086] x[3087] x[3088] x[3089] x[3090] x[3091] x[3092] x[3093] x[3094] x[3095] x[3096] x[3097] x[3098] x[3099] x[3100] x[3101] x[3102] x[3103] x[3104] x[3105] x[3106] x[3107] x[3108] x[3109] x[3110] x[3111] x[3112] x[3113] x[3114] x[3115] x[3116] x[3117] x[3118] x[3119] x[3120] x[3121] x[3122] x[3123] x[3124] x[3125] x[3126] x[3127] x[3128] x[3129] x[3130] x[3131] x[3132] x[3133] x[3134] x[3135] x[3136] x[3137] x[3138] x[3139] x[3140] x[3141] x[3142] x[3143] x[3144] x[3145] x[3146] x[3147] x[3148] x[3149] x[3150] x[3151] x[3152] x[3153] x[3154] x[3155] x[3156] x[3157] x[3158] x[3159] x[3160] x[3161] x[3162] x[3163] x[3164] x[3165] x[3166] x[3167] x[3168] x[3169] x[3170] x[3171] x[3172] x[3173] x[3174] x[3175] x[3176] x[3177] x[3178] x[3179] x[3180] x[3181] x[3182] x[3183] x[3184] x[3185] x[3186] x[3187] x[3188] x[3189] x[3190] x[3191] x[3192] x[3193] x[3194] x[3195] x[3196] x[3197] x[3198] x[3199] x[3200] x[3201] x[3202] x[3203] x[3204] x[3205] x[3206] x[3207] x[3208] x[3209] x[3210] x[3211] x[3212] x[3213] x[3214] x[3215] x[3216] x[3217] x[3218] x[3219] x[3220] x[3221] x[3222] x[3223] x[3224] x[3225] x[3226] x[3227] x[3228] x[3229] x[3230] x[3231] x[3232] x[3233] x[3234] x[3235] x[3236] x[3237] x[3238] x[3239] x[3240] x[3241] x[3242] x[3243] x[3244] x[3245] x[3246] x[3247] x[3248] x[3249] x[3250] x[3251] x[3252] x[3253] x[3254] x[3255] x[3256] x[3257] x[3258] x[3259] x[3260] x[3261] x[3262] x[3263] x[3264] x[3265] x[3266] x[3267] x[3268] x[3269] x[3270] x[3271] x[3272] x[3273] x[3274] x[3275] x[3276] x[3277] x[3278] x[3279] x[3280] x[3281] x[3282] x[3283] x[3284] x[3285] x[3286] x[3287] x[3288] x[3289] x[3290] x[3291] x[3292] x[3293] x[3294] x[3295] x[3296] x[3297] x[3298] x[3299] x[3300] x[3301] x[3302] x[3303] x[3304] x[3305] x[3306] x[3307] x[3308] x[3309] x[3310] x[3311] x[3312] x[3313] x[3314] x[3315] x[3316] x[3317] x[3318] x[3319] x[3320] x[3321] x[3322] x[3323] x[3324] x[3325] x[3326] x[3327] x[3328] x[3329] x[3330] x[3331] x[3332] x[3333] x[3334] x[3335] x[3336] x[3337] x[3338] x[3339] x[3340] x[3341] x[3342] x[3343] x[3344] x[3345] x[3346] x[3347] x[3348] x[3349] x[3350] x[3351] x[3352] x[3353] x[3354] x[3355] x[3356] x[3357] x[3358] x[3359] x[3360] x[3361] x[3362] x[3363] x[3364] x[3365] x[3366] x[3367] x[3368] x[3369] x[3370] x[3371] x[3372] x[3373] x[3374] x[3375] x[3376] x[3377] x[3378] x[3379] x[3380] x[3381] x[3382] x[3383] x[3384] x[3385] x[3386] x[3387] x[3388] x[3389] x[3390] x[3391] x[3392] x[3393] x[3394] x[3395] x[3396] x[3397] x[3398] x[3399] x[3400] x[3401] x[3402] x[3403] x[3404] x[3405] x[3406] x[3407] x[3408] x[3409] x[3410] x[3411] x[3412] x[3413] x[3414] x[3415] x[3416] x[3417] x[3418] x[3419] x[3420] x[3421] x[3422] x[3423] x[3424] x[3425] x[3426] x[3427] x[3428] x[3429] x[3430] x[3431] x[3432] x[3433] x[3434] x[3435] x[3436] x[3437] x[3438] x[3439] x[3440] x[3441] x[3442] x[3443] x[3444] x[3445] x[3446] x[3447] x[3448] x[3449] x[3450] x[3451] x[3452] x[3453] x[3454] x[3455] x[3456] x[3457] x[3458] x[3459] x[3460] x[3461] x[3462] x[3463] x[3464] x[3465] x[3466] x[3467] x[3468] x[3469] x[3470] x[3471] x[3472] x[3473] x[3474] x[3475] x[3476] x[3477] x[3478] x[3479] x[3480] x[3481] x[3482] x[3483] x[3484] x[3485] x[3486] x[3487] x[3488] x[3489] x[3490] x[3491] x[3492] x[3493] x[3494] x[3495] x[3496] x[3497] x[3498] x[3499] x[3500] x[3501] x[3502] x[3503] x[3504] x[3505] x[3506] x[3507] x[3508] x[3509] x[3510] x[3511] x[3512] x[3513] x[3514] x[3515] x[3516] x[3517] x[3518] x[3519] x[3520] x[3521] x[3522] x[3523] x[3524] x[3525] x[3526] x[3527] x[3528] x[3529] x[3530] x[3531] x[3532] x[3533] x[3534] x[3535] x[3536] x[3537] x[3538] x[3539] x[3540] x[3541] x[3542] x[3543] x[3544] x[3545] x[3546] x[3547] x[3548] x[3549] x[3550] x[3551] x[3552] x[3553] x[3554] x[3555] x[3556] x[3557] x[3558] x[3559] x[3560] x[3561] x[3562] x[3563] x[3564] x[3565] x[3566] x[3567] x[3568] x[3569] x[3570] x[3571] x[3572] x[3573] x[3574] x[3575] x[3576] x[3577] x[3578] x[3579] x[3580] x[3581] x[3582] x[3583] x[3584] x[3585] x[3586] x[3587] x[3588] x[3589] x[3590] x[3591] x[3592] x[3593] x[3594] x[3595] x[3596] x[3597] x[3598] x[3599]
2520.09/2332.62	v       </list>
2520.09/2332.62	v       <values>
2520.09/2332.62	v         47 25 2 28 51 2999 26 32 3000 34 5 39 29 21 44 53 12 50 59 57 27 6 23 2998 35 1 3 3002 24 18 7 11 30 61 38 40 3001 20 10 4 37 42 13 46 16 9 31 43 36 19 0 14 52 15 8 17 33 22 45 54 31 20 11 15 34 35 2 58 17 27 57 40 9 6 60 44 8 14 13 47 50 26 21 3002 10 22 18 19 5 4 36 12 32 7 52 1 16 37 48 28 24 29 38 25 2998 23 3 2999 2997 30 43 55 54 3000 56 39 45 0 41 61 28 15 37 27 24 3001 38 17 41 48 25 2 14 11 39 19 6 32 9 51 3002 44 20 46 18 23 3000 59 43 12 26 40 16 13 50 47 4 2998 1 5 42 36 33 3 10 35 8 49 61 29 21 57 34 53 7 58 54 31 22 0 0 40 35 7 30 2997 17 6 14 24 32 21 22 4 12 3001 29 45 48 3 56 3002 9 53 46 50 33 8 34 2999 52 26 39 36 15 11 38 49 43 10 27 55 18 42 19 2998 3000 25 2 16 23 28 5 41 20 37 13 51 1 47 4 39 17 9 19 6 15 54 2999 13 35 36 43 22 16 23 42 38 50 0 34 8 33 40 20 2 58 21 52 49 14 29 24 1 30 28 55 41 7 25 10 3001 12 51 46 5 47 11 44 27 32 18 48 3 26 31 37 53 3000 45 13 19 18 5 36 11 3002 7 52 32 2 46 17 24 25 55 30 43 31 10 14 16 44 49 48 21 2999 6 35 29 60 45 34 41 40 58 50 54 2998 15 23 47 3 26 59 27 38 42 1 39 20 33 12 0 22 51 8 4 28 37 59 6 8 23 50 2 35 44 5 29 53 42 40 57 52 61 38 25 21 3002 2994 9 31 3000 30 63 36 14 10 62 20 55 33 54 13 16 56 43 12 39 26 37 1 0 18 41 15 46 11 28 34 3 45 47 3001 60 17 19 7 4 54 59 25 31 3000 9 16 12 3 33 1 0 55 39 15 7 37 8 22 29 6 36 52 19 41 20 3002 28 2997 10 3001 42 14 2 5 30 57 32 2999 27 34 26 46 17 38 44 11 24 4 40 13 51 21 43 18 23 56 47 50 35 14 18 51 38 15 31 20 60 8 55 19 30 24 52 58 47 17 13 5 6 28 25 34 1 3 11 42 0 26 35 12 21 46 45 2 54 49 44 50 29 39 7 56 32 4 37 43 33 40 36 53 9 27 23 16 41 22 10 57 48 52 26 29 4 59 61 27 8 46 22 21 2999 25 23 35 24 11 36 7 32 55 1 57 38 51 49 48 37 16 15 13 0 20 50 6 44 31 2 47 14 30 33 40 54 34 39 12 19 43 3000 41 45 17 3001 3 53 28 9 18 5 30 44 61 19 52 47 10 25 40 28 29 1 35 26 27 20 36 34 32 56 18 37 17 33 16 39 45 2999 22 43 50 24 0 53 21 46 3000 7 11 59 31 49 3002 9 51 3 13 54 14 23 5 12 2 8 42 38 6 15 48 57 5 14 58 25 23 21 34 42 32 8 2999 50 54 27 55 36 53 12 28 37 16 46 59 7 3001 19 26 45 33 31 11 20 56 4 63 6 41 22 18 24 3002 52 10 2 9 49 17 38 13 51 3000 15 47 44 0 30 1 39 43 3 17 3000 60 10 22 3002 33 43 38 51 14 25 4 42 53 2 41 5 1 8 47 27 35 32 45 30 50 20 15 26 28 31 37 44 9 57 46 11 36 18 48 39 0 58 23 34 54 40 55 3 6 7 16 29 13 21 12 24 49 19 9 29 44 63 21 49 25 51 11 54 37 48 3001 45 20 28 0 2 6 7 15 31 53 55 34 5 13 22 17 16 43 30 61 8 1 23 12 3002 58 32 14 40 36 39 26 46 19 3 42 41 33 10 35 4 27 24 18 59 38 3000 36 33 31 29 35 30 19 56 42 3002 26 7 11 58 21 27 3 39 46 2 59 38 15 48 4 13 3001 24 28 45 40 18 17 25 41 2998 8 14 49 2999 20 6 61 44 50 10 1 2995 0 32 16 34 37 12 23 9 60 43 5 2996 38 32 9 14 7 52 58 27 3002 26 8 3000 10 3 30 31 50 48 0 3001 36 28 19 25 15 33 41 2997 53 34 51 16 5 17 46 22 23 13 21 43 2 20 49 4 54 2999 45 39 18 37 47 29 40 42 24 1 35 12 6 11 10 1 4 41 38 55 21 19 43 62 51 14 15 36 28 48 32 3002 17 45 9 49 12 26 29 58 11 33 8 22 37 13 60 23 39 52 24 34 59 7 44 53 35 18 5 2 6 16 30 31 27 0 56 25 50 20 3 54 42 3001 48 7 43 17 13 8 9 3002 4 1 40 23 41 14 38 49 61 15 44 18 2996 5 56 37 19 26 35 3001 39 20 33 51 11 59 3 42 22 2999 25 6 32 27 52 21 31 2997 16 45 34 24 29 3000 30 2 10 12 46 28 0 36 26 13 2999 22 11 46 60 33 0 9 20 32 6 50 2 25 3000 3001 51 16 29 14 36 5 21 3 47 52 44 8 23 2997 35 34 42 7 3002 39 27 1 17 31 15 12 45 2995 37 41 56 18 10 54 24 28 19 55 4 2998 40 38 8 0 3002 35 1 50 45 21 22 2995 34 4 30 29 7 33 40 3 12 53 31 13 46 10 2 48 15 5 42 36 56 41 9 24 18 25 37 6 28 20 52 19 11 47 58 43 23 17 38 2998 51 27 55 26 39 49 16 44 32 14 29 27 28 40 41 24 54 16 49 47 4 20 56 35 13 43 22 37 3002 2999 10 3001 5 9 6 15 23 12 14 32 48 38 45 31 11 21 62 33 42 2 46 30 57 55 25 7 26 36 3 44 58 50 8 2998 51 18 53 52 17 1 19 53 0 16 17 28 22 48 10 4 23 3002 36 47 56 9 33 1 40 52 5 59 27 15 37 18 6 43 30 39 3000 54 31 49 32 41 34 45 55 50 3 13 58 57 21 38 2999 14 8 26 11 2 20 7 46 35 24 25 44 12 44 21 3001 34 43 5 29 1 35 2996 12 61 16 41 9 6 24 55 20 22 42 48 3000 52 49 8 32 39 45 17 47 14 59 26 10 13 3 50 19 31 0 18 23 28 57 15 40 51 7 33 25 4 36 27 37 46 38 30 11 56 43 8 52 33 58 25 41 28 3001 42 47 16 1 18 32 5 13 49 2997 38 2 10 14 11 3002 57 24 51 27 0 19 39 3 21 31 53 6 17 44 2998 3000 4 45 48 29 36 50 23 20 12 40 30 15 35 9 22 34 37 46 26 22 49 33 37 54 1 2998 14 20 6 3001 12 18 16 40 3 34 42 26 24 30 60 58 43 5 61 44 27 11 51 17 36 19 35 59 3000 28 9 39 0 47 41 48 7 13 31 25 2 23 4 8 21 53 45 38 29 10 46 15 32 12 45 22 39 18 3 31 47 6 5 55 26 0 32 1 21 9 60 33 40 25 24 38 51 50 14 43 23 37 58 42 10 29 15 48 20 52 19 3002 46 7 2 54 56 27 4 41 28 16 2999 30 8 49 59 36 34 11 35 13 17 16 17 13 62 47 23 37 53 15 3000 9 6 33 25 0 4 45 35 14 31 51 2 11 12 28 42 21 30 59 3 27 1 44 2995 19 39 40 38 8 26 2998 50 7 3002 43 3001 46 32 10 2996 49 22 2997 24 34 5 36 20 2999 18 27 48 30 18 61 40 8 3 39 3001 44 38 21 1 22 12 26 2998 2996 23 11 56 25 16 43 52 46 15 29 42 2 2999 47 0 58 3002 51 35 6 55 53 24 14 5 7 13 33 20 3000 17 19 49 41 10 4 28 57 34 9 59 3 30 32 46 40 19 23 55 44 10 16 9 59 28 49 37 3001 62 47 11 2998 21 29 42 8 34 0 7 63 33 25 2 26 12 36 17 39 58 13 22 38 60 4 35 41 2996 5 15 6 53 48 24 14 56 1 27 20 18 31 52 1 54 41 13 5 43 2996 26 53 35 39 49 19 20 23 58 62 51 18 21 57 29 2 24 61 4 16 3000 2998 47 55 25 2999 60 22 12 14 8 31 9 2997 48 27 34 56 6 10 3001 32 15 3 17 7 30 33 11 0 36 3002 28 61 2997 23 30 56 17 3 31 25 20 11 29 39 38 45 3000 3002 33 15 26 12 18 16 21 40 36 34 47 51 41 10 8 27 5 4 0 35 53 9 3001 13 14 62 43 22 28 32 7 46 1 2 60 6 19 44 2999 59 42 37 24 41 4 6 3 10 26 51 20 30 21 31 56 42 34 14 11 2998 44 2 13 3000 40 28 17 38 0 9 25 36 53 22 15 52 48 7 33 1 55 60 37 43 32 5 23 49 29 35 27 24 8 45 19 18 2999 47 16 50 3002 12 2997 32 16 2997 2 14 33 40 10 51 18 22 41 46 0 3000 52 2999 17 42 27 48 53 1 8 26 12 2996 3 9 3002 34 23 15 20 28 38 5 25 30 61 2995 57 2998 31 6 11 24 56 45 3001 44 37 13 21 29 19 7 49 4 39 21 47 20 48 32 4 13 2999 19 11 45 57 26 53 17 2996 1 9 24 46 49 58 7 31 14 3002 39 2 54 28 41 2995 10 16 37 18 25 3 5 40 6 8 3000 15 12 0 44 2997 27 34 42 35 33 22 62 52 30 3001 2998 23 7 3 15 12 29 13 18 36 24 57 62 51 2998 3001 10 14 25 59 49 44 2993 61 0 6 54 32 40 34 58 46 30 17 50 42 3002 35 27 47 56 23 19 45 22 3000 28 26 20 37 21 43 1 39 11 16 2997 4 9 2999 55 2 2 11 16 2999 4 18 2994 30 45 3 46 35 37 9 24 17 14 0 19 12 43 32 2995 13 23 51 61 41 21 50 49 47 3000 52 2998 5 7 10 26 38 15 28 2996 27 33 20 3001 8 3002 2997 31 1 58 34 25 48 29 6 39 22 55 31 12 53 6 42 24 4 9 23 54 5 8 2 18 22 48 28 16 34 13 20 51 2999 3000 29 10 32 25 27 46 37 49 3 44 3001 33 36 41 19 11 21 2995 1 35 47 14 26 15 3002 17 38 57 39 30 0 43 50 56 40 2998 42 38 47 3001 22 43 40 12 63 18 11 3 5 34 3002 15 53 27 3000 2999 7 55 2997 32 17 29 31 13 14 8 19 25 58 26 50 2 61 33 21 49 0 24 10 1 16 4 30 57 20 35 6 9 37 28 36 39 41 23 46 51 35 14 24 45 54 7 29 36 52 0 10 5 60 31 8 23 26 39 50 3 43 13 3001 12 38 19 4 46 2 57 27 18 3000 49 34 48 42 15 44 28 11 17 6 40 21 9 3002 41 22 37 47 32 20 53 25 58 1 16 30 37 2 40 21 44 58 11 22 29 14 17 33 53 12 4 60 7 27 23 15 45 54 26 39 31 56 38 49 0 5 24 61 13 46 47 43 19 59 3 35 1 10 16 30 20 25 34 6 9 52 28 42 50 18 41 8 48 32 36 63 20 34 24 43 9 60 3000 49 33 16 6 44 47 56 48 39 52 40 55 35 1 45 32 28 2999 37 22 38 2 30 54 5 23 18 53 10 61 31 0 8 41 46 29 59 36 51 21 4 17 58 7 25 62 14 11 42 26 57 27 13 40 2999 42 55 20 12 47 34 27 0 28 13 48 15 5 46 16 7 10 25 2997 22 30 23 44 6 8 17 4 9 31 3 1 33 24 19 43 3001 14 52 56 3002 21 53 11 45 51 58 29 35 18 2998 26 32 57 50 49 3000 2 41 60 58 1 54 12 15 53 35 7 50 10 18 27 51 46 29 19 22 8 5 40 3000 6 4 39 41 30 36 2999 37 21 52 57 3001 33 3 59 16 45 49 9 23 25 61 14 24 0 34 28 2 26 13 44 11 31 56 32 17 47 20 49 3002 46 42 60 10 12 23 1 25 36 2997 2999 37 19 26 47 3000 11 39 8 4 41 27 17 59 28 35 31 7 3 32 22 40 45 2 29 24 53 30 21 44 6 16 15 55 18 9 3001 38 2998 5 0 33 61 14 52 13 20 43 6 24 27 49 26 14 0 41 50 60 3002 17 2 7 42 15 20 19 3 30 35 23 8 29 1 10 57 18 3001 40 2998 4 2997 39 2999 48 13 46 3000 34 16 38 47 36 44 12 28 21 22 25 54 11 31 52 2996 32 5 33 51 9 39 61 48 59 46 0 14 18 28 31 3000 24 44 49 6 32 27 21 54 43 3001 30 45 36 53 47 1 13 7 55 16 56 2 51 20 9 26 23 57 17 25 5 50 41 8 22 3002 12 19 11 4 40 29 58 35 10 15 3 33 34 57 41 3 32 49 38 30 2 18 59 13 8 7 44 37 40 46 24 4 28 20 12 54 47 11 43 25 26 48 1 9 60 53 27 34 15 45 0 29 58 36 17 55 50 52 63 39 31 35 6 22 23 19 5 14 33 42 16 10 21 11 12 47 44 28 27 55 0 31 46 60 43 45 40 41 50 39 18 36 9 37 52 4 61 33 25 56 42 20 24 32 57 62 19 17 29 10 21 34 3002 8 15 2999 22 53 54 30 1 59 5 38 16 3 13 2 6 14 7 26 58 45 10 57 52 16 2998 44 3000 2 40 48 27 12 17 36 34 4 23 30 41 60 15 49 0 56 53 20 11 50 25 6 33 21 29 3001 37 9 26 51 54 22 3 19 24 42 8 55 5 39 7 14 32 61 1 43 59 47 38 35 31 24 60 59 6 37 45 32 52 55 2999 33 3 34 30 8 18 10 4 57 1 2992 42 47 22 7 46 14 9 19 48 5 35 12 11 56 31 15 29 16 51 40 43 20 49 39 53 27 13 58 0 3001 41 23 36 3002 26 44 2 54 50 25 23 19 45 48 44 28 5 47 2997 3 15 20 46 11 35 21 30 29 4 41 33 37 18 55 27 49 10 6 13 39 2998 7 9 16 24 0 1 2 36 2999 51 34 40 17 32 52 50 12 14 2996 3002 22 38 54 43 31 26 53 8 15 22 53 36 31 56 6 3001 13 43 7 47 49 33 2999 10 2 20 35 17 32 34 42 14 24 40 4 44 41 11 29 3002 55 28 0 26 18 27 23 3 5 9 59 8 61 30 58 57 51 21 39 46 1 48 12 45 19 60 52 16 18 2998 5 20 8 41 42 9 59 7 52 37 28 19 29 54 35 11 56 14 23 0 43 3 36 16 2 48 1 21 15 22 6 10 12 2999 47 30 3001 3000 4 34 32 38 24 3002 53 55 33 49 2997 26 39 31 17 13 40 27 25 44 42 5 26 8 39 32 49 11 48 15 24 28 23 31 33 0 18 6 2998 20 7 2999 10 30 25 54 17 46 3002 3001 1 34 63 43 35 27 58 40 4 16 45 22 9 13 55 19 2 52 37 50 12 36 51 2997 21 44 41 14 3 29 46 28 7 26 27 3000 52 24 21 12 41 22 13 10 57 51 58 29 2999 54 4 55 39 44 0 31 37 40 49 19 18 43 2998 30 60 8 11 15 20 33 35 16 2 14 3 1 42 47 5 9 36 53 38 17 6 3002 23 45 34 25 35 3001 21 0 2 16 1 45 26 53 43 34 3002 48 3 13 51 46 41 49 17 19 24 56 42 28 31 29 38 23 44 7 54 6 27 32 30 5 22 47 18 12 8 52 37 3000 36 59 2999 10 9 20 4 50 15 40 25 11 14 33 23 57 56 58 0 7 39 15 34 30 42 31 52 13 43 16 5 10 25 36 26 41 22 2 27 9 12 50 3 38 45 6 4 55 8 14 20 28 17 11 33 1 37 62 48 18 59 35 54 60 24 44 46 40 32 47 21 29 19 53 33 38 10 1 3 48 3001 37 23 17 15 52 3000 62 59 2999 28 16 43 19 2995 39 18 20 47 24 27 2998 40 44 2997 9 8 22 14 36 53 4 54 13 12 35 42 11 30 50 7 0 25 45 46 31 60 3002 5 2 51 21 29 6 34 9 49 3002 33 37 4 13 16 2 30 19 32 8 26 45 55 31 53 2997 0 11 48 35 22 7 5 1 18 3000 38 28 42 14 54 60 44 12 24 41 29 25 3001 20 47 17 57 10 2998 46 15 58 43 6 2995 3 27 23 21 51 53 46 36 11 25 20 5 39 37 19 27 55 61 2999 47 1 31 41 34 33 24 17 3 45 52 44 7 16 3000 6 35 3001 28 38 23 4 21 18 32 12 51 54 2997 29 0 14 22 2998 26 13 3002 43 10 9 40 15 2 56 8 42
2520.09/2332.62	v       </values>
2520.09/2332.62	v     </instantiation>
2520.09/2332.62	s SATISFIABLE

Verifier Data 

OK	3002

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293229-1532311841/watcher-4293229-1532311841 -o /tmp/evaluation-result-4293229-1532311841/solver-4293229-1532311841 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532297047-7324 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=435814154 HOME/instance-4293229-1532311841.xml 

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

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

solver pid=10102, runsolver pid=10099

[startup+0.100899 s]*
/proc/loadavg: 1.25 1.46 1.73 2/207 10159
/proc/meminfo: memFree=16807392/32770624 swapFree=67108860/67108860
[pid=10102] ppid=10099 vsize=9972712 memory=16020 CPUtime=0.08 cores=0,2,4,6
/proc/10102/stat : 10102 (java) S 10099 10102 7293 0 -1 1077944320 4183 12862 0 0 0 1 5 2 20 0 6 0 48747244 10212057088 4005 33554432000 4194304 4196468 140725847695744 140725847678288 139850405887735 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
/proc/10102/statm: 2493178 4005 1895 1 0 2481616 0
[pid=10102/tid=10155] ppid=10099 vsize=9972712 memory=4279135703912971661 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10155/stat : 10155 (java) R 10099 10102 7293 0 -1 4202560 2030 12862 0 0 0 0 5 2 20 0 6 0 48747253 10212057088 4071 33554432000 4194304 4196468 140725847695744 139850377724496 139850389968222 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10156] ppid=10099 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10156/stat : 10156 (java) S 10099 10102 7293 0 -1 1077944384 2 12862 0 0 0 0 5 2 20 0 6 0 48747254 10212057088 4071 33554432000 4194304 4196468 140725847695744 139850410129808 139850405897941 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10157] ppid=10099 vsize=9972712 memory=140292471150208 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10157/stat : 10157 (java) S 10099 10102 7293 0 -1 1077944384 2 12862 0 0 0 0 5 2 20 0 6 0 48747254 10212057088 4071 33554432000 4194304 4196468 140725847695744 139850314332432 139850405897941 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10158] ppid=10099 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10158/stat : 10158 (java) S 10099 10102 7293 0 -1 1077944384 1 12862 0 0 0 0 5 2 20 0 6 0 48747254 10212057088 4071 33554432000 4194304 4196468 140725847695744 139850313280144 139850405897941 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10159] ppid=10099 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10159/stat : 10159 (java) S 10099 10102 7293 0 -1 1077944384 1 12862 0 0 0 0 5 2 20 0 6 0 48747254 10212057088 4071 33554432000 4194304 4196468 140725847695744 139850312227344 139850405897941 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16020 KiB

[startup+0.210157 s]*
/proc/loadavg: 1.25 1.46 1.73 3/216 10168
/proc/meminfo: memFree=16788500/32770624 swapFree=67108860/67108860
[pid=10102] ppid=10099 vsize=10818904 memory=40212 CPUtime=0.24 cores=0,2,4,6
/proc/10102/stat : 10102 (java) S 10099 10102 7293 0 -1 1077944320 7247 12862 0 0 16 1 5 2 20 0 15 0 48747244 11078557696 10053 33554432000 4194304 4196468 140725847695744 140725847678288 139850405887735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
/proc/10102/statm: 2704726 10053 2947 1 0 2667149 0
[pid=10102/tid=10155] ppid=10099 vsize=10818904 memory=7022364594140610616 CPUtime=0.17 cores=0,2,4,6
/proc/10102/task/10155/stat : 10155 (java) R 10099 10102 7293 0 -1 4202560 3808 12862 0 0 10 0 5 2 20 0 15 0 48747253 11078557696 10053 33554432000 4194304 4196468 140725847695744 139850377684656 139850391053390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10156] ppid=10099 vsize=10818904 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10156/stat : 10156 (java) S 10099 10102 7293 0 -1 1077944384 2 12862 0 0 0 0 5 2 20 0 15 0 48747254 11078557696 10053 33554432000 4194304 4196468 140725847695744 139850410129808 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10157] ppid=10099 vsize=10818904 memory=140292471160563 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10157/stat : 10157 (java) S 10099 10102 7293 0 -1 1077944384 2 12862 0 0 0 0 5 2 20 0 15 0 48747254 11078557696 10053 33554432000 4194304 4196468 140725847695744 139850314332432 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10158] ppid=10099 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10158/stat : 10158 (java) S 10099 10102 7293 0 -1 1077944384 1 12862 0 0 0 0 5 2 20 0 15 0 48747254 11078557696 10053 33554432000 4194304 4196468 140725847695744 139850313280144 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10159] ppid=10099 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10159/stat : 10159 (java) S 10099 10102 7293 0 -1 1077944384 1 12862 0 0 0 0 5 2 20 0 15 0 48747254 11078557696 10053 33554432000 4194304 4196468 140725847695744 139850312227344 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10160] ppid=10099 vsize=10818904 memory=140292471150208 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10160/stat : 10160 (java) S 10099 10102 7293 0 -1 1077944384 2 12862 0 0 0 0 5 2 20 0 15 0 48747256 11078557696 10053 33554432000 4194304 4196468 140725847695744 139849730255472 139850405898882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10161] ppid=10099 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10161/stat : 10161 (java) S 10099 10102 7293 0 -1 1077944384 13 12862 0 0 0 0 5 2 20 0 15 0 48747256 11078557696 10053 33554432000 4194304 4196468 140725847695744 139849302533408 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10162] ppid=10099 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10162/stat : 10162 (java) S 10099 10102 7293 0 -1 1077944384 1 12862 0 0 0 0 5 2 20 0 15 0 48747257 11078557696 10053 33554432000 4194304 4196468 140725847695744 139849168316016 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10163] ppid=10099 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10163/stat : 10163 (java) S 10099 10102 7293 0 -1 1077944384 3 12862 0 0 0 0 5 2 20 0 15 0 48747259 11078557696 10053 33554432000 4194304 4196468 140725847695744 139848928025168 139850405906331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10164] ppid=10099 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10102/task/10164/stat : 10164 (java) S 10099 10102 7293 0 -1 1077944384 364 12862 0 0 1 0 5 2 20 0 15 0 48747259 11078557696 10053 33554432000 4194304 4196468 140725847695744 139849729202288 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10165] ppid=10099 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10102/task/10165/stat : 10165 (java) S 10099 10102 7293 0 -1 1077944384 250 12862 0 0 1 0 5 2 20 0 15 0 48747259 11078557696 10053 33554432000 4194304 4196468 140725847695744 139849728149488 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10166] ppid=10099 vsize=10818904 memory=140292471150208 CPUtime=0.1 cores=0,2,4,6
/proc/10102/task/10166/stat : 10166 (java) S 10099 10102 7293 0 -1 1077944384 608 12862 0 0 3 0 5 2 20 0 15 0 48747259 11078557696 10053 33554432000 4194304 4196468 140725847695744 139849727097200 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10167] ppid=10099 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10167/stat : 10167 (java) S 10099 10102 7293 0 -1 1077944384 3 12862 0 0 0 0 5 2 20 0 15 0 48747260 11078557696 10053 33554432000 4194304 4196468 140725847695744 139848894466528 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10168] ppid=10099 vsize=10818904 memory=140292471150208 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10168/stat : 10168 (java) S 10099 10102 7293 0 -1 1077944384 1 12862 0 0 0 0 5 2 20 0 15 0 48747260 11078557696 10053 33554432000 4194304 4196468 140725847695744 139849726045104 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 40212 KiB

[startup+0.310283 s]*
/proc/loadavg: 1.25 1.46 1.73 3/216 10168
/proc/meminfo: memFree=16775412/32770624 swapFree=67108860/67108860
[pid=10102] ppid=10099 vsize=10819352 memory=51824 CPUtime=0.37 cores=0,2,4,6
/proc/10102/stat : 10102 (java) S 10099 10102 7293 0 -1 1077944320 10018 12862 0 0 28 2 5 2 20 0 15 0 48747244 11079016448 12956 33554432000 4194304 4196468 140725847695744 140725847678288 139850405887735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
/proc/10102/statm: 2704838 12956 3066 1 0 2667149 0
[pid=10102/tid=10155] ppid=10099 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/10102/task/10155/stat : 10155 (java) R 10099 10102 7293 0 -1 4202560 6587 12862 0 0 19 1 5 2 20 0 15 0 48747253 11079016448 12956 33554432000 4194304 4196468 140725847695744 139850377699744 139850386163549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10156] ppid=10099 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10156/stat : 10156 (java) S 10099 10102 7293 0 -1 1077944384 2 12862 0 0 0 0 5 2 20 0 15 0 48747254 11079016448 12956 33554432000 4194304 4196468 140725847695744 139850410129808 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10157] ppid=10099 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10157/stat : 10157 (java) S 10099 10102 7293 0 -1 1077944384 2 12862 0 0 0 0 5 2 20 0 15 0 48747254 11079016448 12956 33554432000 4194304 4196468 140725847695744 139850314332432 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10158] ppid=10099 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10158/stat : 10158 (java) S 10099 10102 7293 0 -1 1077944384 1 12862 0 0 0 0 5 2 20 0 15 0 48747254 11079016448 12956 33554432000 4194304 4196468 140725847695744 139850313280144 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10159] ppid=10099 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10159/stat : 10159 (java) S 10099 10102 7293 0 -1 1077944384 1 12862 0 0 0 0 5 2 20 0 15 0 48747254 11079016448 12956 33554432000 4194304 4196468 140725847695744 139850312227344 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10160] ppid=10099 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10160/stat : 10160 (java) S 10099 10102 7293 0 -1 1077944384 2 12862 0 0 0 0 5 2 20 0 15 0 48747256 11079016448 12956 33554432000 4194304 4196468 140725847695744 139849730255472 139850405898882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10161] ppid=10099 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10161/stat : 10161 (java) S 10099 10102 7293 0 -1 1077944384 13 12862 0 0 0 0 5 2 20 0 15 0 48747256 11079016448 13020 33554432000 4194304 4196468 140725847695744 139849302533408 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10162] ppid=10099 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10162/stat : 10162 (java) S 10099 10102 7293 0 -1 1077944384 1 12862 0 0 0 0 5 2 20 0 15 0 48747257 11079016448 13020 33554432000 4194304 4196468 140725847695744 139849168316016 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10163] ppid=10099 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10163/stat : 10163 (java) S 10099 10102 7293 0 -1 1077944384 3 12862 0 0 0 0 5 2 20 0 15 0 48747259 11079016448 13020 33554432000 4194304 4196468 140725847695744 139848928025168 139850405906331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10164] ppid=10099 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10102/task/10164/stat : 10164 (java) S 10099 10102 7293 0 -1 1077944384 366 12862 0 0 1 0 5 2 20 0 15 0 48747259 11079016448 13020 33554432000 4194304 4196468 140725847695744 139849729202288 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10165] ppid=10099 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10102/task/10165/stat : 10165 (java) S 10099 10102 7293 0 -1 1077944384 253 12862 0 0 1 0 5 2 20 0 15 0 48747259 11079016448 13020 33554432000 4194304 4196468 140725847695744 139849728149488 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10166] ppid=10099 vsize=10819352 memory=140292471150208 CPUtime=0.11 cores=0,2,4,6
/proc/10102/task/10166/stat : 10166 (java) S 10099 10102 7293 0 -1 1077944384 614 12862 0 0 4 0 5 2 20 0 15 0 48747259 11079016448 13020 33554432000 4194304 4196468 140725847695744 139849727097200 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10167] ppid=10099 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10167/stat : 10167 (java) S 10099 10102 7293 0 -1 1077944384 3 12862 0 0 0 0 5 2 20 0 15 0 48747260 11079016448 13020 33554432000 4194304 4196468 140725847695744 139848894466528 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10168] ppid=10099 vsize=10819352 memory=140292471150208 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10168/stat : 10168 (java) S 10099 10102 7293 0 -1 1077944384 1 12862 0 0 0 0 5 2 20 0 15 0 48747260 11079016448 13020 33554432000 4194304 4196468 140725847695744 139849726045104 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51824 KiB

[startup+0.700716 s]
/proc/loadavg: 1.25 1.46 1.73 3/216 10168
/proc/meminfo: memFree=16764620/32770624 swapFree=67108860/67108860
[pid=10102] ppid=10099 vsize=10819352 memory=86536 CPUtime=0.98 cores=0,2,4,6
/proc/10102/stat : 10102 (java) S 10099 10102 7293 0 -1 1077944320 16725 12862 0 0 87 4 5 2 20 0 15 0 48747244 11079016448 21634 33554432000 4194304 4196468 140725847695744 140725847678288 139850405887735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
/proc/10102/statm: 2704838 21634 3237 1 0 2667149 0
[pid=10102/tid=10155] ppid=10099 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/10102/task/10155/stat : 10155 (java) R 10099 10102 7293 0 -1 4202560 12130 12862 0 0 56 2 5 2 20 0 15 0 48747253 11079016448 21634 33554432000 4194304 4196468 140725847695744 139850377710736 139850386163031 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10156] ppid=10099 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10156/stat : 10156 (java) S 10099 10102 7293 0 -1 1077944384 2 12862 0 0 0 0 5 2 20 0 15 0 48747254 11079016448 21634 33554432000 4194304 4196468 140725847695744 139850410129808 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10157] ppid=10099 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10157/stat : 10157 (java) S 10099 10102 7293 0 -1 1077944384 2 12862 0 0 0 0 5 2 20 0 15 0 48747254 11079016448 21634 33554432000 4194304 4196468 140725847695744 139850314332432 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10158] ppid=10099 vsize=10819352 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10158/stat : 10158 (java) S 10099 10102 7293 0 -1 1077944384 1 12862 0 0 0 0 5 2 20 0 15 0 48747254 11079016448 21634 33554432000 4194304 4196468 140725847695744 139850313280144 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10159] ppid=10099 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10159/stat : 10159 (java) S 10099 10102 7293 0 -1 1077944384 1 12862 0 0 0 0 5 2 20 0 15 0 48747254 11079016448 21634 33554432000 4194304 4196468 140725847695744 139850312227344 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10160] ppid=10099 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10160/stat : 10160 (java) S 10099 10102 7293 0 -1 1077944384 5 12862 0 0 0 0 5 2 20 0 15 0 48747256 11079016448 21634 33554432000 4194304 4196468 140725847695744 139849730255472 139850405898882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10161] ppid=10099 vsize=10819352 memory=140292355404496 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10161/stat : 10161 (java) S 10099 10102 7293 0 -1 1077944384 13 12862 0 0 0 0 5 2 20 0 15 0 48747256 11079016448 21634 33554432000 4194304 4196468 140725847695744 139849302533408 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10162] ppid=10099 vsize=10819352 memory=140295106724451 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10162/stat : 10162 (java) S 10099 10102 7293 0 -1 1077944384 1 12862 0 0 0 0 5 2 20 0 15 0 48747257 11079016448 21634 33554432000 4194304 4196468 140725847695744 139849168316016 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10163] ppid=10099 vsize=10819352 memory=10416 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10163/stat : 10163 (java) S 10099 10102 7293 0 -1 1077944384 3 12862 0 0 0 0 5 2 20 0 15 0 48747259 11079016448 21634 33554432000 4194304 4196468 140725847695744 139848928025168 139850405906331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10164] ppid=10099 vsize=10819352 memory=7234564758908855872 CPUtime=0.16 cores=0,2,4,6
/proc/10102/task/10164/stat : 10164 (java) S 10099 10102 7293 0 -1 1077944384 1072 12862 0 0 9 0 5 2 20 0 15 0 48747259 11079016448 21634 33554432000 4194304 4196468 140725847695744 139849729202288 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10165] ppid=10099 vsize=10819352 memory=7597685182856913236 CPUtime=0.14 cores=0,2,4,6
/proc/10102/task/10165/stat : 10165 (java) S 10099 10102 7293 0 -1 1077944384 618 12862 0 0 7 0 5 2 20 0 15 0 48747259 11079016448 21634 33554432000 4194304 4196468 140725847695744 139849728149488 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10166] ppid=10099 vsize=10819352 memory=5787219346483269989 CPUtime=0.2 cores=0,2,4,6
/proc/10102/task/10166/stat : 10166 (java) S 10099 10102 7293 0 -1 1077944384 685 12862 0 0 13 0 5 2 20 0 15 0 48747259 11079016448 21634 33554432000 4194304 4196468 140725847695744 139849727097200 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10167] ppid=10099 vsize=10819352 memory=4128 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10167/stat : 10167 (java) S 10099 10102 7293 0 -1 1077944384 3 12862 0 0 0 0 5 2 20 0 15 0 48747260 11079016448 21634 33554432000 4194304 4196468 140725847695744 139848894466528 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10168] ppid=10099 vsize=10819352 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10168/stat : 10168 (java) S 10099 10102 7293 0 -1 1077944384 1 12862 0 0 0 0 5 2 20 0 15 0 48747260 11079016448 21634 33554432000 4194304 4196468 140725847695744 139849726045104 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86536 KiB

[startup+1.50258 s]
/proc/loadavg: 1.25 1.46 1.73 3/216 10168
/proc/meminfo: memFree=16720956/32770624 swapFree=67108860/67108860
[pid=10102] ppid=10099 vsize=10828108 memory=261528 CPUtime=2.81 cores=0,2,4,6
/proc/10102/stat : 10102 (java) S 10099 10102 7293 0 -1 1077944320 22217 12862 0 0 259 15 5 2 20 0 15 0 48747244 11087982592 65382 33554432000 4194304 4196468 140725847695744 140725847678288 139850405887735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
/proc/10102/statm: 2707027 65382 3446 1 0 2668685 0
[pid=10102/tid=10155] ppid=10099 vsize=10828108 memory=12813 CPUtime=1.41 cores=0,2,4,6
/proc/10102/task/10155/stat : 10155 (java) S 10099 10102 7293 0 -1 1077944384 14907 12862 0 0 129 5 5 2 20 0 15 0 48747253 11087982592 65382 33554432000 4194304 4196468 140725847695744 139850377721120 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10156] ppid=10099 vsize=10828108 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/10102/task/10156/stat : 10156 (java) R 10099 10102 7293 0 -1 4202560 31 12862 0 0 1 1 5 2 20 0 15 0 48747254 11087982592 65382 33554432000 4194304 4196468 140725847695744 139850410129808 139850390914715 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10157] ppid=10099 vsize=10828108 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10102/task/10157/stat : 10157 (java) R 10099 10102 7293 0 -1 4202560 268 12862 0 0 1 1 5 2 20 0 15 0 48747254 11087982592 65382 33554432000 4194304 4196468 140725847695744 139850314330240 139850390911438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10158] ppid=10099 vsize=10828108 memory=1662 CPUtime=0.09 cores=0,2,4,6
/proc/10102/task/10158/stat : 10158 (java) R 10099 10102 7293 0 -1 4202560 43 12862 0 0 1 1 5 2 20 0 15 0 48747254 11087982592 65382 33554432000 4194304 4196468 140725847695744 139850313280344 139850390909856 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10159] ppid=10099 vsize=10828108 memory=86536 CPUtime=0.09 cores=0,2,4,6
/proc/10102/task/10159/stat : 10159 (java) R 10099 10102 7293 0 -1 4202560 32 12862 0 0 1 1 5 2 20 0 15 0 48747254 11087982592 65382 33554432000 4194304 4196468 140725847695744 139850312227344 139850387513783 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10160] ppid=10099 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10160/stat : 10160 (java) S 10099 10102 7293 0 -1 1077944384 13 12862 0 0 0 0 5 2 20 0 15 0 48747256 11087982592 65382 33554432000 4194304 4196468 140725847695744 139849730253984 139850405897941 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10161] ppid=10099 vsize=10828108 memory=280584710750704 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10161/stat : 10161 (java) S 10099 10102 7293 0 -1 1077944384 13 12862 0 0 0 0 5 2 20 0 15 0 48747256 11087982592 65382 33554432000 4194304 4196468 140725847695744 139849302533408 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10162] ppid=10099 vsize=10828108 memory=280584710801504 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10162/stat : 10162 (java) S 10099 10102 7293 0 -1 1077944384 1 12862 0 0 0 0 5 2 20 0 15 0 48747257 11087982592 65382 33554432000 4194304 4196468 140725847695744 139849168316016 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10163] ppid=10099 vsize=10828108 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10163/stat : 10163 (java) S 10099 10102 7293 0 -1 1077944384 3 12862 0 0 0 0 5 2 20 0 15 0 48747259 11087982592 65382 33554432000 4194304 4196468 140725847695744 139848928025168 139850405906331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10164] ppid=10099 vsize=10828108 memory=4638778398332698720 CPUtime=0.5 cores=0,2,4,6
/proc/10102/task/10164/stat : 10164 (java) S 10099 10102 7293 0 -1 1077944384 1478 12862 0 0 43 0 5 2 20 0 15 0 48747259 11087982592 65382 33554432000 4194304 4196468 140725847695744 139849729202288 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10165] ppid=10099 vsize=10828108 memory=280584711084928 CPUtime=0.45 cores=0,2,4,6
/proc/10102/task/10165/stat : 10165 (java) S 10099 10102 7293 0 -1 1077944384 1869 12862 0 0 38 0 5 2 20 0 15 0 48747259 11087982592 65382 33554432000 4194304 4196468 140725847695744 139849728140768 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10166] ppid=10099 vsize=10828108 memory=-7531822216213012384 CPUtime=0.46 cores=0,2,4,6
/proc/10102/task/10166/stat : 10166 (java) S 10099 10102 7293 0 -1 1077944384 1367 12862 0 0 39 0 5 2 20 0 15 0 48747259 11087982592 65382 33554432000 4194304 4196468 140725847695744 139849727092944 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10167] ppid=10099 vsize=10828108 memory=-7531822216213012384 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10167/stat : 10167 (java) S 10099 10102 7293 0 -1 1077944384 3 12862 0 0 0 0 5 2 20 0 15 0 48747260 11087982592 65382 33554432000 4194304 4196468 140725847695744 139848894466528 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10168] ppid=10099 vsize=10828108 memory=1399101730491701635 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10168/stat : 10168 (java) S 10099 10102 7293 0 -1 1077944384 1 12862 0 0 0 0 5 2 20 0 15 0 48747260 11087982592 65382 33554432000 4194304 4196468 140725847695744 139849726045104 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 10828108 KiB

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

/proc/10102/task/10155/stat : 10155 (java) R 10099 10102 7293 0 -1 4202560 230724 12862 0 0 214489 48 5 2 20 0 15 0 48747253 11176083456 958242 33554432000 4194304 4196468 140725847695744 139850377717216 139850007772543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10156] ppid=10099 vsize=10914144 memory=3832968 CPUtime=53.63 cores=0,2,4,6
/proc/10102/task/10156/stat : 10156 (java) S 10099 10102 7293 0 -1 1077944384 44837 12862 0 0 5274 82 5 2 20 0 15 0 48747254 11176083456 958242 33554432000 4194304 4196468 140725847695744 139850410129808 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10157] ppid=10099 vsize=10914144 memory=3832968 CPUtime=53.56 cores=0,2,4,6
/proc/10102/task/10157/stat : 10157 (java) S 10099 10102 7293 0 -1 1077944384 38919 12862 0 0 5266 83 5 2 20 0 15 0 48747254 11176083456 958242 33554432000 4194304 4196468 140725847695744 139850314332432 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10158] ppid=10099 vsize=10914144 memory=3832968 CPUtime=53.58 cores=0,2,4,6
/proc/10102/task/10158/stat : 10158 (java) S 10099 10102 7293 0 -1 1077944384 41298 12862 0 0 5272 79 5 2 20 0 15 0 48747254 11176083456 958242 33554432000 4194304 4196468 140725847695744 139850313280144 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10159] ppid=10099 vsize=10914144 memory=3832968 CPUtime=53.55 cores=0,2,4,6
/proc/10102/task/10159/stat : 10159 (java) S 10099 10102 7293 0 -1 1077944384 40727 12862 0 0 5264 84 5 2 20 0 15 0 48747254 11176083456 958242 33554432000 4194304 4196468 140725847695744 139850312227344 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10160] ppid=10099 vsize=10914144 memory=3832968 CPUtime=2.39 cores=0,2,4,6
/proc/10102/task/10160/stat : 10160 (java) S 10099 10102 7293 0 -1 1077944384 61902 12862 0 0 221 11 5 2 20 0 15 0 48747256 11176083456 958242 33554432000 4194304 4196468 140725847695744 139849730255472 139850405898882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10161] ppid=10099 vsize=10914144 memory=1428 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10161/stat : 10161 (java) S 10099 10102 7293 0 -1 1077944384 30 12862 0 0 0 0 5 2 20 0 15 0 48747256 11176083456 958242 33554432000 4194304 4196468 140725847695744 139849302533536 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10162] ppid=10099 vsize=10914144 memory=3832128 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10162/stat : 10162 (java) S 10099 10102 7293 0 -1 1077944384 16 12862 0 0 0 0 5 2 20 0 15 0 48747257 11176083456 958242 33554432000 4194304 4196468 140725847695744 139849168316032 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10163] ppid=10099 vsize=10914144 memory=3832968 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10163/stat : 10163 (java) S 10099 10102 7293 0 -1 1077944384 3 12862 0 0 0 0 5 2 20 0 15 0 48747259 11176083456 958242 33554432000 4194304 4196468 140725847695744 139848928025168 139850405906331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10164] ppid=10099 vsize=10914144 memory=3832968 CPUtime=9 cores=0,2,4,6
/proc/10102/task/10164/stat : 10164 (java) S 10099 10102 7293 0 -1 1077944384 33492 12862 0 0 889 4 5 2 20 0 15 0 48747259 11176083456 958242 33554432000 4194304 4196468 140725847695744 139849729202288 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10165] ppid=10099 vsize=10914144 memory=4128 CPUtime=9.25 cores=0,2,4,6
/proc/10102/task/10165/stat : 10165 (java) S 10099 10102 7293 0 -1 1077944384 42964 12862 0 0 911 7 5 2 20 0 15 0 48747259 11176083456 958242 33554432000 4194304 4196468 140725847695744 139849728149488 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10166] ppid=10099 vsize=10914144 memory=3832968 CPUtime=2.75 cores=0,2,4,6
/proc/10102/task/10166/stat : 10166 (java) S 10099 10102 7293 0 -1 1077944384 75753 12862 0 0 260 8 5 2 20 0 15 0 48747259 11176083456 958242 33554432000 4194304 4196468 140725847695744 139849727097200 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10167] ppid=10099 vsize=10914144 memory=3829376 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10167/stat : 10167 (java) S 10099 10102 7293 0 -1 1077944384 3 12862 0 0 0 0 5 2 20 0 15 0 48747260 11176083456 958242 33554432000 4194304 4196468 140725847695744 139848894466528 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10168] ppid=10099 vsize=10914144 memory=0 CPUtime=1.38 cores=0,2,4,6
/proc/10102/task/10168/stat : 10168 (java) S 10099 10102 7293 0 -1 1077944384 2287 12862 0 0 64 67 5 2 20 0 15 0 48747260 11176083456 958242 33554432000 4194304 4196468 140725847695744 139849726045104 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
Current children cumulated CPU time: 2384.01 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 3832968 KiB

[startup+2262.3 s]
/proc/loadavg: 1.61 1.58 1.60 3/215 10360
/proc/meminfo: memFree=11724672/32770624 swapFree=67108860/67108860
[pid=10102] ppid=10099 vsize=10914144 memory=3830908 CPUtime=2446.37 cores=0,2,4,6
/proc/10102/stat : 10102 (java) S 10099 10102 7293 0 -1 1077944320 625897 12862 0 0 244171 459 5 2 20 0 15 0 48747244 11176083456 957727 33554432000 4194304 4196468 140725847695744 140725847678288 139850405887735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
/proc/10102/statm: 2728536 957727 3537 1 0 2690189 0
[pid=10102/tid=10155] ppid=10099 vsize=10914144 memory=3830908 CPUtime=2204.64 cores=0,2,4,6
/proc/10102/task/10155/stat : 10155 (java) R 10099 10102 7293 0 -1 4202560 234971 12862 0 0 220408 49 5 2 20 0 15 0 48747253 11176083456 957727 33554432000 4194304 4196468 140725847695744 139850377717216 139850007383424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10156] ppid=10099 vsize=10914144 memory=3830908 CPUtime=54.4 cores=0,2,4,6
/proc/10102/task/10156/stat : 10156 (java) S 10099 10102 7293 0 -1 1077944384 45265 12862 0 0 5351 82 5 2 20 0 15 0 48747254 11176083456 957727 33554432000 4194304 4196468 140725847695744 139850410129808 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10157] ppid=10099 vsize=10914144 memory=3830908 CPUtime=54.34 cores=0,2,4,6
/proc/10102/task/10157/stat : 10157 (java) S 10099 10102 7293 0 -1 1077944384 39817 12862 0 0 5344 83 5 2 20 0 15 0 48747254 11176083456 957727 33554432000 4194304 4196468 140725847695744 139850314332432 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10158] ppid=10099 vsize=10914144 memory=3830908 CPUtime=54.36 cores=0,2,4,6
/proc/10102/task/10158/stat : 10158 (java) S 10099 10102 7293 0 -1 1077944384 41721 12862 0 0 5349 80 5 2 20 0 15 0 48747254 11176083456 957727 33554432000 4194304 4196468 140725847695744 139850313280144 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10159] ppid=10099 vsize=10914144 memory=3830908 CPUtime=54.32 cores=0,2,4,6
/proc/10102/task/10159/stat : 10159 (java) S 10099 10102 7293 0 -1 1077944384 43020 12862 0 0 5341 84 5 2 20 0 15 0 48747254 11176083456 957727 33554432000 4194304 4196468 140725847695744 139850312227344 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10160] ppid=10099 vsize=10914144 memory=3830908 CPUtime=2.4 cores=0,2,4,6
/proc/10102/task/10160/stat : 10160 (java) S 10099 10102 7293 0 -1 1077944384 62280 12862 0 0 222 11 5 2 20 0 15 0 48747256 11176083456 957727 33554432000 4194304 4196468 140725847695744 139849730255472 139850405898882 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10161] ppid=10099 vsize=10914144 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10161/stat : 10161 (java) S 10099 10102 7293 0 -1 1077944384 30 12862 0 0 0 0 5 2 20 0 15 0 48747256 11176083456 957727 33554432000 4194304 4196468 140725847695744 139849302533536 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10162] ppid=10099 vsize=10914144 memory=280584711280596 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10162/stat : 10162 (java) S 10099 10102 7293 0 -1 1077944384 16 12862 0 0 0 0 5 2 20 0 15 0 48747257 11176083456 957727 33554432000 4194304 4196468 140725847695744 139849168316032 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10163] ppid=10099 vsize=10914144 memory=3830908 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10163/stat : 10163 (java) S 10099 10102 7293 0 -1 1077944384 3 12862 0 0 0 0 5 2 20 0 15 0 48747259 11176083456 957727 33554432000 4194304 4196468 140725847695744 139848928025168 139850405906331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10164] ppid=10099 vsize=10914144 memory=1580 CPUtime=9 cores=0,2,4,6
/proc/10102/task/10164/stat : 10164 (java) S 10099 10102 7293 0 -1 1077944384 34520 12862 0 0 889 4 5 2 20 0 15 0 48747259 11176083456 957727 33554432000 4194304 4196468 140725847695744 139849729202288 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10165] ppid=10099 vsize=10914144 memory=3830908 CPUtime=9.27 cores=0,2,4,6
/proc/10102/task/10165/stat : 10165 (java) S 10099 10102 7293 0 -1 1077944384 43986 12862 0 0 913 7 5 2 20 0 15 0 48747259 11176083456 957727 33554432000 4194304 4196468 140725847695744 139849728149488 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10166] ppid=10099 vsize=10914144 memory=3830908 CPUtime=2.75 cores=0,2,4,6
/proc/10102/task/10166/stat : 10166 (java) S 10099 10102 7293 0 -1 1077944384 75756 12862 0 0 260 8 5 2 20 0 15 0 48747259 11176083456 957727 33554432000 4194304 4196468 140725847695744 139849727097200 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10167] ppid=10099 vsize=10914144 memory=3830908 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10167/stat : 10167 (java) S 10099 10102 7293 0 -1 1077944384 3 12862 0 0 0 0 5 2 20 0 15 0 48747260 11176083456 957727 33554432000 4194304 4196468 140725847695744 139848894466528 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10168] ppid=10099 vsize=10914144 memory=3830908 CPUtime=1.41 cores=0,2,4,6
/proc/10102/task/10168/stat : 10168 (java) S 10099 10102 7293 0 -1 1077944384 2321 12862 0 0 66 68 5 2 20 0 15 0 48747260 11176083456 957727 33554432000 4194304 4196468 140725847695744 139849726045104 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
Current children cumulated CPU time: 2446.37 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 3830908 KiB

[startup+2322.3 s]
/proc/loadavg: 1.78 1.63 1.62 6/215 10361
/proc/meminfo: memFree=11724320/32770624 swapFree=67108860/67108860
[pid=10102] ppid=10099 vsize=10914144 memory=3830908 CPUtime=2509.32 cores=0,2,4,6
/proc/10102/stat : 10102 (java) S 10099 10102 7293 0 -1 1077944320 638279 12862 0 0 250463 462 5 2 20 0 15 0 48747244 11176083456 957727 33554432000 4194304 4196468 140725847695744 140725847678288 139850405887735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
/proc/10102/statm: 2728536 957727 3537 1 0 2690189 0
[pid=10102/tid=10155] ppid=10099 vsize=10914144 memory=3830908 CPUtime=2263.65 cores=0,2,4,6
/proc/10102/task/10155/stat : 10155 (java) R 10099 10102 7293 0 -1 4202560 238641 12862 0 0 226308 50 5 2 20 0 15 0 48747253 11176083456 957727 33554432000 4194304 4196468 140725847695744 139850377721888 139850007381492 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10156] ppid=10099 vsize=10914144 memory=3830908 CPUtime=55.37 cores=0,2,4,6
/proc/10102/task/10156/stat : 10156 (java) S 10099 10102 7293 0 -1 1077944384 47163 12862 0 0 5448 82 5 2 20 0 15 0 48747254 11176083456 957727 33554432000 4194304 4196468 140725847695744 139850410129808 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10157] ppid=10099 vsize=10914144 memory=3830908 CPUtime=55.32 cores=0,2,4,6
/proc/10102/task/10157/stat : 10157 (java) S 10099 10102 7293 0 -1 1077944384 40872 12862 0 0 5441 84 5 2 20 0 15 0 48747254 11176083456 957727 33554432000 4194304 4196468 140725847695744 139850314332432 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10158] ppid=10099 vsize=10914144 memory=3830908 CPUtime=55.32 cores=0,2,4,6
/proc/10102/task/10158/stat : 10158 (java) S 10099 10102 7293 0 -1 1077944384 42885 12862 0 0 5445 80 5 2 20 0 15 0 48747254 11176083456 957727 33554432000 4194304 4196468 140725847695744 139850313280144 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10159] ppid=10099 vsize=10914144 memory=3830908 CPUtime=55.31 cores=0,2,4,6
/proc/10102/task/10159/stat : 10159 (java) S 10099 10102 7293 0 -1 1077944384 43679 12862 0 0 5439 85 5 2 20 0 15 0 48747254 11176083456 957727 33554432000 4194304 4196468 140725847695744 139850312227344 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10160] ppid=10099 vsize=10914144 memory=3830908 CPUtime=2.42 cores=0,2,4,6
/proc/10102/task/10160/stat : 10160 (java) S 10099 10102 7293 0 -1 1077944384 62645 12862 0 0 224 11 5 2 20 0 15 0 48747256 11176083456 957727 33554432000 4194304 4196468 140725847695744 139849730255472 139850405898882 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10161] ppid=10099 vsize=10914144 memory=3830920 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10161/stat : 10161 (java) S 10099 10102 7293 0 -1 1077944384 30 12862 0 0 0 0 5 2 20 0 15 0 48747256 11176083456 957727 33554432000 4194304 4196468 140725847695744 139849302533536 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10162] ppid=10099 vsize=10914144 memory=4128 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10162/stat : 10162 (java) S 10099 10102 7293 0 -1 1077944384 16 12862 0 0 0 0 5 2 20 0 15 0 48747257 11176083456 957727 33554432000 4194304 4196468 140725847695744 139849168316032 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10163] ppid=10099 vsize=10914144 memory=3830920 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10163/stat : 10163 (java) S 10099 10102 7293 0 -1 1077944384 3 12862 0 0 0 0 5 2 20 0 15 0 48747259 11176083456 957727 33554432000 4194304 4196468 140725847695744 139848928025168 139850405906331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10164] ppid=10099 vsize=10914144 memory=3830920 CPUtime=9 cores=0,2,4,6
/proc/10102/task/10164/stat : 10164 (java) S 10099 10102 7293 0 -1 1077944384 34525 12862 0 0 889 4 5 2 20 0 15 0 48747259 11176083456 957727 33554432000 4194304 4196468 140725847695744 139849729202288 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10165] ppid=10099 vsize=10914144 memory=932 CPUtime=9.27 cores=0,2,4,6
/proc/10102/task/10165/stat : 10165 (java) S 10099 10102 7293 0 -1 1077944384 43989 12862 0 0 913 7 5 2 20 0 15 0 48747259 11176083456 957727 33554432000 4194304 4196468 140725847695744 139849728149488 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10166] ppid=10099 vsize=10914144 memory=1580 CPUtime=2.77 cores=0,2,4,6
/proc/10102/task/10166/stat : 10166 (java) S 10099 10102 7293 0 -1 1077944384 79278 12862 0 0 261 9 5 2 20 0 15 0 48747259 11176083456 957727 33554432000 4194304 4196468 140725847695744 139849727097200 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10167] ppid=10099 vsize=10914144 memory=3830920 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10167/stat : 10167 (java) S 10099 10102 7293 0 -1 1077944384 3 12862 0 0 0 0 5 2 20 0 15 0 48747260 11176083456 957727 33554432000 4194304 4196468 140725847695744 139848894466528 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10168] ppid=10099 vsize=10914144 memory=1580 CPUtime=1.45 cores=0,2,4,6
/proc/10102/task/10168/stat : 10168 (java) S 10099 10102 7293 0 -1 1077944384 2362 12862 0 0 68 70 5 2 20 0 15 0 48747260 11176083456 957727 33554432000 4194304 4196468 140725847695744 139849726045104 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
Current children cumulated CPU time: 2509.32 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 3830908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2332.6 s]
/proc/loadavg: 1.82 1.64 1.62 3/215 10361
/proc/meminfo: memFree=11727780/32770624 swapFree=67108860/67108860
[pid=10102] ppid=10099 vsize=10914144 memory=3826808 CPUtime=2520.09 cores=0,2,4,6
/proc/10102/stat : 10102 (java) S 10099 10102 7293 0 -1 1077944320 644005 12862 0 0 251539 463 5 2 20 0 15 0 48747244 11176083456 956702 33554432000 4194304 4196468 140725847695744 140725847678288 139850405887735 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
/proc/10102/statm: 2728536 956702 3537 1 0 2690189 0
[pid=10102/tid=10155] ppid=10099 vsize=10914144 memory=6791534058613427641 CPUtime=2273.78 cores=0,2,4,6
/proc/10102/task/10155/stat : 10155 (java) R 10099 10102 7293 0 -1 4202560 240927 12862 0 0 227321 50 5 2 20 0 15 0 48747253 11176083456 956702 33554432000 4194304 4196468 140725847695744 139850377722800 139850007771812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10156] ppid=10099 vsize=10914144 memory=1692 CPUtime=55.52 cores=0,2,4,6
/proc/10102/task/10156/stat : 10156 (java) S 10099 10102 7293 0 -1 1077944384 47981 12862 0 0 5463 82 5 2 20 0 15 0 48747254 11176083456 956702 33554432000 4194304 4196468 140725847695744 139850410129808 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10157] ppid=10099 vsize=10914144 memory=916 CPUtime=55.48 cores=0,2,4,6
/proc/10102/task/10157/stat : 10157 (java) S 10099 10102 7293 0 -1 1077944384 41283 12862 0 0 5457 84 5 2 20 0 15 0 48747254 11176083456 956702 33554432000 4194304 4196468 140725847695744 139850314332432 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10158] ppid=10099 vsize=10914144 memory=3848 CPUtime=55.47 cores=0,2,4,6
/proc/10102/task/10158/stat : 10158 (java) S 10099 10102 7293 0 -1 1077944384 44255 12862 0 0 5460 80 5 2 20 0 15 0 48747254 11176083456 956702 33554432000 4194304 4196468 140725847695744 139850313280144 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10159] ppid=10099 vsize=10914144 memory=2628 CPUtime=55.46 cores=0,2,4,6
/proc/10102/task/10159/stat : 10159 (java) S 10099 10102 7293 0 -1 1077944384 44138 12862 0 0 5454 85 5 2 20 0 15 0 48747254 11176083456 956702 33554432000 4194304 4196468 140725847695744 139850312227344 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10160] ppid=10099 vsize=10914144 memory=2600 CPUtime=2.42 cores=0,2,4,6
/proc/10102/task/10160/stat : 10160 (java) S 10099 10102 7293 0 -1 1077944384 62989 12862 0 0 224 11 5 2 20 0 15 0 48747256 11176083456 956702 33554432000 4194304 4196468 140725847695744 139849730255472 139850405898882 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10161] ppid=10099 vsize=10914144 memory=4128 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10161/stat : 10161 (java) S 10099 10102 7293 0 -1 1077944384 30 12862 0 0 0 0 5 2 20 0 15 0 48747256 11176083456 956702 33554432000 4194304 4196468 140725847695744 139849302533536 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10162] ppid=10099 vsize=10914144 memory=16136 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10162/stat : 10162 (java) S 10099 10102 7293 0 -1 1077944384 16 12862 0 0 0 0 5 2 20 0 15 0 48747257 11176083456 956702 33554432000 4194304 4196468 140725847695744 139849168316032 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10163] ppid=10099 vsize=10914144 memory=1292 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10163/stat : 10163 (java) S 10099 10102 7293 0 -1 1077944384 3 12862 0 0 0 0 5 2 20 0 15 0 48747259 11176083456 956702 33554432000 4194304 4196468 140725847695744 139848928025168 139850405906331 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10164] ppid=10099 vsize=10914144 memory=2416 CPUtime=9 cores=0,2,4,6
/proc/10102/task/10164/stat : 10164 (java) S 10099 10102 7293 0 -1 1077944384 34527 12862 0 0 889 4 5 2 20 0 15 0 48747259 11176083456 956702 33554432000 4194304 4196468 140725847695744 139849729202288 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10165] ppid=10099 vsize=10914144 memory=164 CPUtime=9.27 cores=0,2,4,6
/proc/10102/task/10165/stat : 10165 (java) S 10099 10102 7293 0 -1 1077944384 43991 12862 0 0 913 7 5 2 20 0 15 0 48747259 11176083456 956702 33554432000 4194304 4196468 140725847695744 139849728149488 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10166] ppid=10099 vsize=10914144 memory=7670028636378130536 CPUtime=2.77 cores=0,2,4,6
/proc/10102/task/10166/stat : 10166 (java) S 10099 10102 7293 0 -1 1077944384 79280 12862 0 0 261 9 5 2 20 0 15 0 48747259 11176083456 956702 33554432000 4194304 4196468 140725847695744 139849727097200 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10167] ppid=10099 vsize=10914144 memory=7589218900439886449 CPUtime=0.07 cores=0,2,4,6
/proc/10102/task/10167/stat : 10167 (java) S 10099 10102 7293 0 -1 1077944384 3 12862 0 0 0 0 5 2 20 0 15 0 48747260 11176083456 956702 33554432000 4194304 4196468 140725847695744 139848894466528 139850405897941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
[pid=10102/tid=10168] ppid=10099 vsize=10914144 memory=7589218900439886449 CPUtime=1.46 cores=0,2,4,6
/proc/10102/task/10168/stat : 10168 (java) S 10099 10102 7293 0 -1 1077944384 2394 12862 0 0 69 70 5 2 20 0 15 0 48747260 11176083456 956702 33554432000 4194304 4196468 140725847695744 139849726045104 139850405898882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28864512 140725847702127 140725847704924 140725847704924 140725847707599 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 3826808 KiB

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

[startup+2332.65 s]
# the end of solver process 10102 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.46 s, system=4.69237 s

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

Child status: 143
Real time (s): 2332.65
CPU time (s): 2520.15
CPU user time (s): 2515.46
CPU system time (s): 4.69237
CPU usage (%): 108.038
Max. virtual memory (cumulated for all children) (KiB): 10916780
Max. memory (cumulated for all children) (KiB): 3985052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.46
system time used= 4.69237
maximum resident set size= 3985052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 659035
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74343
involuntary context switches= 5935


# summary of solver processes directly reported to runsolver:
#   pid: 10102
#   total CPU time (s): 2520.15
#   total CPU user time (s): 2515.46
#   total CPU system time (s): 4.69237

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3853 second user time and 22.4503 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-23 04:10:41
IDJOB=4293229
IDBENCH=141137
IDSOLVER=2750
FILE ID=node139/4293229-1532311841
RUNJOBID= node139-1532297047-7324
PBS_JOBID= 21018992
Free space on /tmp= 45848 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order60_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293229-1532311841/watcher-4293229-1532311841 -o /tmp/evaluation-result-4293229-1532311841/solver-4293229-1532311841 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532297047-7324 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=435814154 HOME/instance-4293229-1532311841.xml

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

MD5SUM BENCH= 2b7bed68bca9665ed3be29de24764d77
RANDOM SEED=435814154

node139.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.80
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.80
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.80
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.80
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:        16815860 kB
MemAvailable:   30419404 kB
Buffers:          179896 kB
Cached:         13472812 kB
SwapCached:            0 kB
Active:          2809144 kB
Inactive:       12415136 kB
Active(anon):    1527468 kB
Inactive(anon):    64084 kB
Active(file):    1281676 kB
Inactive(file): 12351052 kB
Unevictable:        7284 kB
Mlocked:            7284 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             34204 kB
Writeback:             0 kB
AnonPages:       1591368 kB
Mapped:            49732 kB
Shmem:             17036 kB
Slab:             426804 kB
SReclaimable:     399276 kB
SUnreclaim:        27528 kB
KernelStack:        3808 kB
PageTables:         8672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2530232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1333248 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 45820 MiB
End job on node139 at 2018-07-23 04:49:34