Trace number 4304249

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)2842 2520.12 2348.06

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 

1.00/0.74	c Concrete v3.9.2.1532736233296 running
153.93/100.63	o 3599
161.44/104.70	o 3598
167.06/108.36	o 3597
172.68/112.08	o 3596
177.85/115.62	o 3595
183.11/119.30	o 3594
188.21/122.75	o 3593
191.47/125.74	o 3592
194.78/128.80	o 3591
198.09/131.92	o 3590
201.27/134.92	o 3589
204.34/137.89	o 3588
207.41/140.78	o 3587
210.68/143.80	o 3586
214.08/146.80	o 3585
217.38/149.80	o 3584
220.73/152.96	o 3583
223.92/155.98	o 3582
227.14/158.93	o 3581
230.42/161.91	o 3580
233.80/165.01	o 3579
236.69/168.00	o 3578
239.97/171.10	o 3577
243.27/174.17	o 3576
246.59/177.25	o 3575
249.86/180.26	o 3574
252.86/183.25	o 3573
256.16/186.30	o 3572
259.68/189.48	o 3571
263.15/192.65	o 3570
266.15/195.68	o 3569
269.45/198.70	o 3568
272.71/201.73	o 3567
275.71/204.71	o 3566
278.89/207.72	o 3565
282.23/210.81	o 3564
285.13/213.77	o 3563
288.40/216.81	o 3562
291.63/219.87	o 3561
294.73/222.91	o 3560
297.89/225.94	o 3559
301.14/228.93	o 3558
304.14/231.95	o 3557
307.29/234.96	o 3556
310.53/237.99	o 3555
313.53/240.99	o 3554
316.60/243.87	o 3553
319.99/247.00	o 3552
322.99/249.95	o 3551
326.18/252.92	o 3550
329.34/255.80	o 3549
332.15/258.69	o 3548
335.38/261.61	o 3547
338.65/264.63	o 3546
341.69/267.68	o 3545
344.95/270.62	o 3544
347.96/273.62	o 3543
351.12/276.63	o 3542
354.45/279.70	o 3541
357.35/282.63	o 3540
360.44/285.59	o 3539
363.79/288.64	o 3538
366.69/291.56	o 3537
369.89/294.58	o 3536
373.27/297.65	o 3535
376.17/300.55	o 3534
379.40/303.56	o 3533
382.30/306.47	o 3532
385.46/309.43	o 3531
388.69/312.45	o 3530
391.70/315.41	o 3529
394.88/318.44	o 3528
398.13/321.49	o 3527
401.04/324.37	o 3526
404.35/327.50	o 3525
407.72/330.59	o 3524
410.82/333.66	o 3523
413.95/336.59	o 3522
416.85/339.49	o 3521
420.21/342.63	o 3520
423.44/345.61	o 3519
426.50/348.61	o 3518
429.67/351.65	o 3517
432.92/354.63	o 3516
435.72/357.45	o 3515
438.93/360.49	o 3514
442.32/363.58	o 3513
445.22/366.44	o 3512
448.45/369.48	o 3511
451.35/372.31	o 3510
454.42/375.28	o 3509
457.68/378.24	o 3508
460.59/381.11	o 3507
463.79/384.17	o 3506
467.05/387.20	o 3505
469.95/390.09	o 3504
473.18/393.03	o 3503
476.08/395.93	o 3502
479.23/398.95	o 3501
482.38/401.80	o 3500
485.29/404.78	o 3499
488.48/407.74	o 3498
491.65/410.68	o 3497
494.55/413.50	o 3496
497.79/416.57	o 3495
500.69/419.42	o 3494
503.75/422.39	o 3493
507.09/425.40	o 3492
509.89/428.27	o 3491
513.18/431.32	o 3490
516.54/434.41	o 3489
519.44/437.37	o 3488
522.74/440.41	o 3487
526.02/443.48	o 3486
528.83/446.28	o 3485
531.97/449.17	o 3484
534.87/452.03	o 3483
538.06/455.08	o 3482
541.11/457.87	o 3481
544.21/460.98	o 3480
547.42/463.92	o 3479
550.90/467.11	o 3478
553.69/469.93	o 3477
556.92/472.95	o 3476
559.82/475.82	o 3475
562.89/478.74	o 3474
566.14/481.78	o 3473
568.94/484.54	o 3472
572.16/487.57	o 3471
575.44/490.54	o 3470
578.44/493.56	o 3469
581.56/496.46	o 3468
584.46/499.37	o 3467
587.62/502.37	o 3466
590.96/505.40	o 3465
593.86/508.37	o 3464
596.96/511.22	o 3463
600.22/514.28	o 3462
603.23/517.24	o 3461
606.43/520.26	o 3460
609.56/523.18	o 3459
612.63/526.13	o 3458
615.87/529.18	o 3457
618.87/532.15	o 3456
621.93/535.08	o 3455
625.18/538.10	o 3454
628.19/541.07	o 3453
631.57/544.21	o 3452
634.74/547.17	o 3451
637.64/550.03	o 3450
640.75/552.99	o 3449
643.65/555.84	o 3448
646.81/558.81	o 3447
649.96/561.70	o 3446
652.87/564.67	o 3445
656.06/567.64	o 3444
659.32/570.60	o 3443
662.32/573.62	o 3442
665.43/576.58	o 3441
668.81/579.61	o 3440
671.61/582.49	o 3439
674.95/585.55	o 3438
677.95/588.58	o 3437
681.12/591.52	o 3436
684.48/594.62	o 3435
687.28/597.47	o 3434
690.56/600.56	o 3433
693.73/603.43	o 3432
696.53/606.22	o 3431
699.76/609.21	o 3430
702.76/612.25	o 3429
705.83/615.20	o 3428
708.97/618.08	o 3427
711.87/620.97	o 3426
715.07/624.00	o 3425
718.44/627.05	o 3424
721.33/629.91	o 3423
724.46/632.86	o 3422
727.46/635.83	o 3421
730.62/638.85	o 3420
733.76/641.74	o 3419
736.57/644.55	o 3418
739.87/647.66	o 3417
743.14/650.61	o 3416
746.04/653.51	o 3415
749.17/656.47	o 3414
752.07/659.35	o 3413
755.34/662.42	o 3412
758.48/665.38	o 3411
761.49/668.34	o 3410
764.68/671.34	o 3409
767.94/674.35	o 3408
771.05/677.42	o 3407
774.17/680.38	o 3406
777.55/683.44	o 3405
780.56/686.42	o 3404
783.79/689.48	o 3403
786.69/692.38	o 3402
789.87/695.37	o 3401
793.13/698.32	o 3400
796.13/701.31	o 3399
799.34/704.33	o 3398
802.71/707.42	o 3397
805.51/710.27	o 3396
808.75/713.20	o 3395
811.57/716.03	o 3394
814.75/719.04	o 3393
817.90/721.99	o 3392
820.80/724.88	o 3391
824.12/727.96	o 3390
827.41/730.95	o 3389
830.22/733.77	o 3388
833.56/736.85	o 3387
836.56/739.84	o 3386
839.84/742.95	o 3385
843.09/745.90	o 3384
845.90/748.71	o 3383
849.11/751.74	o 3382
852.39/754.71	o 3381
855.30/757.67	o 3380
858.62/760.71	o 3379
861.52/763.68	o 3378
864.70/766.62	o 3377
868.04/769.70	o 3376
870.84/772.56	o 3375
873.93/775.43	o 3374
877.20/778.49	o 3373
880.30/781.53	o 3372
883.60/784.66	o 3371
887.05/787.82	o 3370
889.95/790.77	o 3369
893.26/793.80	o 3368
896.54/796.82	o 3367
899.44/799.71	o 3366
902.57/802.65	o 3365
905.57/805.63	o 3364
908.74/808.60	o 3363
911.99/811.64	o 3362
914.99/814.62	o 3361
918.09/817.59	o 3360
921.36/820.56	o 3359
924.16/823.35	o 3358
927.49/826.40	o 3357
930.39/829.33	o 3356
933.55/832.32	o 3355
936.70/835.26	o 3354
939.61/838.15	o 3353
942.91/841.24	o 3352
946.18/844.29	o 3351
949.18/847.30	o 3350
952.50/850.37	o 3349
955.88/853.46	o 3348
958.78/856.31	o 3347
962.01/859.31	o 3346
964.92/862.28	o 3345
968.11/865.25	o 3344
971.38/868.25	o 3343
974.39/871.21	o 3342
977.59/874.23	o 3341
980.87/877.26	o 3340
983.78/880.14	o 3339
987.09/883.21	o 3338
990.01/886.12	o 3337
993.16/889.11	o 3336
996.31/892.07	o 3335
999.20/894.97	o 3334
1002.39/898.00	o 3333
1005.76/901.03	o 3332
1008.76/904.01	o 3331
1011.87/907.00	o 3330
1015.03/910.00	o 3329
1018.15/912.91	o 3328
1021.18/915.78	o 3327
1024.19/918.73	o 3326
1027.28/921.68	o 3325
1030.54/924.68	o 3324
1033.44/927.54	o 3323
1036.76/930.64	o 3322
1039.86/933.63	o 3321
1042.83/936.59	o 3320
1046.07/939.56	o 3319
1048.97/942.48	o 3318
1052.16/945.40	o 3317
1055.33/948.37	o 3316
1058.23/951.22	o 3315
1061.27/954.07	o 3314
1064.06/956.89	o 3313
1067.24/959.89	o 3312
1070.51/962.87	o 3311
1073.41/965.74	o 3310
1076.63/968.77	o 3309
1080.02/971.86	o 3308
1082.93/974.76	o 3307
1086.06/977.69	o 3306
1088.86/980.46	o 3305
1092.04/983.45	o 3304
1095.21/986.38	o 3303
1098.12/989.24	o 3302
1101.44/992.40	o 3301
1104.82/995.46	o 3300
1107.62/998.24	o 3299
1110.78/1001.19	o 3298
1113.68/1004.08	o 3297
1116.87/1007.06	o 3296
1120.03/1009.97	o 3295
1122.93/1012.87	o 3294
1126.14/1015.89	o 3293
1129.26/1018.98	o 3292
1132.43/1021.90	o 3291
1135.67/1024.93	o 3290
1138.47/1027.74	o 3289
1141.57/1030.67	o 3288
1144.74/1033.59	o 3287
1147.64/1036.46	o 3286
1150.96/1039.54	o 3285
1153.96/1042.52	o 3284
1157.02/1045.46	o 3283
1160.27/1048.40	o 3282
1163.17/1051.30	o 3281
1166.25/1054.28	o 3280
1169.61/1057.35	o 3279
1172.51/1060.22	o 3278
1175.74/1063.25	o 3277
1178.44/1066.00	o 3276
1181.51/1068.81	o 3275
1184.66/1071.77	o 3274
1187.56/1074.67	o 3273
1190.67/1077.57	o 3272
1193.47/1080.36	o 3271
1196.54/1083.23	o 3270
1199.70/1086.16	o 3269
1202.61/1089.04	o 3268
1205.70/1091.98	o 3267
1208.99/1094.91	o 3266
1212.00/1097.95	o 3265
1215.23/1100.96	o 3264
1218.14/1103.84	o 3263
1221.22/1106.78	o 3262
1224.58/1109.80	o 3261
1227.48/1112.76	o 3260
1230.59/1115.65	o 3259
1233.70/1118.69	o 3258
1236.87/1121.64	o 3257
1240.02/1124.54	o 3256
1242.93/1127.48	o 3255
1246.20/1130.53	o 3254
1249.35/1133.46	o 3253
1252.36/1136.45	o 3252
1255.57/1139.48	o 3251
1258.58/1142.34	o 3250
1261.64/1145.33	o 3249
1264.77/1148.26	o 3248
1267.87/1151.31	o 3247
1270.86/1154.14	o 3246
1273.91/1156.98	o 3245
1276.61/1159.70	o 3244
1279.94/1162.71	o 3243
1282.85/1165.64	o 3242
1285.93/1168.60	o 3241
1289.19/1171.59	o 3240
1292.19/1174.55	o 3239
1295.59/1177.70	o 3238
1298.76/1180.68	o 3237
1301.76/1183.67	o 3236
1304.88/1186.57	o 3235
1307.88/1189.50	o 3234
1310.85/1192.32	o 3233
1314.11/1195.36	o 3232
1316.92/1198.17	o 3231
1320.13/1201.19	o 3230
1323.13/1204.18	o 3229
1326.19/1207.08	o 3228
1329.32/1209.94	o 3227
1332.12/1212.79	o 3226
1335.33/1215.78	o 3225
1338.61/1218.71	o 3224
1341.40/1221.55	o 3223
1344.74/1224.68	o 3222
1347.84/1227.71	o 3221
1350.90/1230.66	o 3220
1354.06/1233.55	o 3219
1356.97/1236.44	o 3218
1360.17/1239.44	o 3217
1363.47/1242.46	o 3216
1366.38/1245.34	o 3215
1369.62/1248.32	o 3214
1372.53/1251.23	o 3213
1375.72/1254.25	o 3212
1378.89/1257.15	o 3211
1381.79/1260.04	o 3210
1384.81/1262.89	o 3209
1387.81/1265.81	o 3208
1390.98/1268.84	o 3207
1394.13/1271.79	o 3206
1397.14/1274.75	o 3205
1400.33/1277.73	o 3204
1403.61/1280.72	o 3203
1406.61/1283.74	o 3202
1409.92/1286.82	o 3201
1413.41/1290.01	o 3200
1416.31/1292.93	o 3199
1419.64/1296.03	o 3198
1422.44/1298.82	o 3197
1425.52/1301.70	o 3196
1428.59/1304.55	o 3195
1431.59/1307.56	o 3194
1434.82/1310.57	o 3193
1437.62/1313.39	o 3192
1440.69/1316.25	o 3191
1443.75/1319.08	o 3190
1446.64/1321.90	o 3189
1449.67/1324.72	o 3188
1452.47/1327.57	o 3187
1455.54/1330.47	o 3186
1458.98/1333.52	o 3185
1461.78/1336.39	o 3184
1464.99/1339.39	o 3183
1467.99/1342.39	o 3182
1471.06/1345.24	o 3181
1474.30/1348.26	o 3180
1477.21/1351.18	o 3179
1480.41/1354.19	o 3178
1483.76/1357.23	o 3177
1486.67/1360.11	o 3176
1489.79/1363.10	o 3175
1492.69/1365.96	o 3174
1495.86/1368.90	o 3173
1499.02/1371.86	o 3172
1502.13/1374.90	o 3171
1505.23/1377.84	o 3170
1508.35/1380.82	o 3169
1511.31/1383.74	o 3168
1514.45/1386.62	o 3167
1517.46/1389.64	o 3166
1520.74/1392.79	o 3165
1524.00/1395.72	o 3164
1527.00/1398.75	o 3163
1530.21/1401.74	o 3162
1533.12/1404.65	o 3161
1536.38/1407.71	o 3160
1539.63/1410.74	o 3159
1542.43/1413.58	o 3158
1545.63/1416.57	o 3157
1548.80/1419.48	o 3156
1551.81/1422.45	o 3155
1555.04/1425.47	o 3154
1557.94/1428.30	o 3153
1561.12/1431.39	o 3152
1564.48/1434.47	o 3151
1567.39/1437.37	o 3150
1570.49/1440.22	o 3149
1573.57/1443.28	o 3148
1576.68/1446.11	o 3147
1579.92/1449.12	o 3146
1582.82/1452.08	o 3145
1585.90/1455.00	o 3144
1589.27/1458.05	o 3143
1592.16/1460.97	o 3142
1595.46/1463.93	o 3141
1598.26/1466.77	o 3140
1601.43/1469.73	o 3139
1604.60/1472.67	o 3138
1607.60/1475.64	o 3137
1610.70/1478.56	o 3136
1614.08/1481.62	o 3135
1616.89/1484.42	o 3134
1620.13/1487.47	o 3133
1623.03/1490.33	o 3132
1626.21/1493.33	o 3131
1629.47/1496.37	o 3130
1632.37/1499.24	o 3129
1635.58/1502.29	o 3128
1639.06/1505.42	o 3127
1641.86/1508.24	o 3126
1645.10/1511.22	o 3125
1647.91/1514.10	o 3124
1651.10/1517.08	o 3123
1654.46/1520.12	o 3122
1657.26/1522.99	o 3121
1660.59/1526.02	o 3120
1663.60/1529.05	o 3119
1666.65/1531.98	o 3118
1670.00/1535.07	o 3117
1672.89/1537.95	o 3116
1675.98/1540.83	o 3115
1678.92/1543.79	o 3114
1682.06/1546.69	o 3113
1685.49/1549.82	o 3112
1688.29/1552.66	o 3111
1691.48/1555.64	o 3110
1694.76/1558.61	o 3109
1697.77/1561.65	o 3108
1700.88/1564.56	o 3107
1703.68/1567.40	o 3106
1706.85/1570.38	o 3105
1710.20/1573.40	o 3104
1713.10/1576.33	o 3103
1716.31/1579.37	o 3102
1719.58/1582.38	o 3101
1722.58/1585.33	o 3100
1725.71/1588.28	o 3099
1728.71/1591.26	o 3098
1731.80/1594.13	o 3097
1734.96/1597.07	o 3096
1737.85/1599.91	o 3095
1741.09/1602.90	o 3094
1743.89/1605.79	o 3093
1747.05/1608.70	o 3092
1750.31/1611.72	o 3091
1753.21/1614.62	o 3090
1756.22/1617.46	o 3089
1759.12/1620.35	o 3088
1762.21/1623.26	o 3087
1765.56/1626.31	o 3086
1768.37/1629.18	o 3085
1771.67/1632.20	o 3084
1774.58/1635.12	o 3083
1777.75/1638.14	o 3082
1780.89/1641.06	o 3081
1783.78/1644.00	o 3080
1786.97/1646.90	o 3079
1790.26/1649.92	o 3078
1793.16/1652.87	o 3077
1796.39/1655.83	o 3076
1799.29/1658.77	o 3075
1802.48/1661.77	o 3074
1805.93/1664.90	o 3073
1808.74/1667.71	o 3072
1811.84/1670.70	o 3071
1814.84/1673.64	o 3070
1818.02/1676.61	o 3069
1821.26/1679.65	o 3068
1824.07/1682.48	o 3067
1827.37/1685.59	o 3066
1830.93/1688.85	o 3065
1833.83/1691.75	o 3064
1837.06/1694.73	o 3063
1839.86/1697.51	o 3062
1842.94/1700.45	o 3061
1846.30/1703.54	o 3060
1849.20/1706.46	o 3059
1852.33/1709.38	o 3058
1855.34/1712.30	o 3057
1858.42/1715.29	o 3056
1861.59/1718.16	o 3055
1864.49/1721.08	o 3054
1867.82/1724.15	o 3053
1870.82/1727.16	o 3052
1873.99/1730.14	o 3051
1877.33/1733.25	o 3050
1880.34/1736.20	o 3049
1883.44/1739.18	o 3048
1886.70/1742.19	o 3047
1889.51/1744.95	o 3046
1892.76/1747.97	o 3045
1895.66/1750.80	o 3044
1898.66/1753.69	o 3043
1901.56/1756.52	o 3042
1904.64/1759.47	o 3041
1907.99/1762.55	o 3040
1910.89/1765.43	o 3039
1914.10/1768.40	o 3038
1917.48/1771.54	o 3037
1920.47/1774.57	o 3036
1923.79/1777.62	o 3035
1926.60/1780.42	o 3034
1929.78/1783.47	o 3033
1932.93/1786.38	o 3032
1935.83/1789.24	o 3031
1939.14/1792.36	o 3030
1942.61/1795.52	o 3029
1945.41/1798.37	o 3028
1948.46/1801.19	o 3027
1951.36/1804.05	o 3026
1954.55/1807.03	o 3025
1957.91/1810.17	o 3024
1960.82/1813.05	o 3023
1964.14/1816.11	o 3022
1967.04/1819.01	o 3021
1970.11/1821.94	o 3020
1973.27/1824.87	o 3019
1976.27/1827.84	o 3018
1979.48/1830.81	o 3017
1982.39/1833.79	o 3016
1985.44/1836.63	o 3015
1988.60/1839.51	o 3014
1991.40/1842.36	o 3013
1994.71/1845.46	o 3012
1997.61/1848.33	o 3011
2000.67/1851.27	o 3010
2003.92/1854.28	o 3009
2006.83/1857.16	o 3008
2010.02/1860.11	o 3007
2012.81/1862.98	o 3006
2015.98/1865.94	o 3005
2019.33/1869.01	o 3004
2022.13/1871.86	o 3003
2025.42/1874.98	o 3002
2028.79/1878.02	o 3001
2031.90/1881.13	o 3000
2035.11/1884.20	o 2999
2038.01/1887.09	o 2998
2041.16/1890.03	o 2997
2044.19/1892.84	o 2996
2047.10/1895.71	o 2995
2050.31/1898.70	o 2994
2053.11/1901.57	o 2993
2056.28/1904.54	o 2992
2059.53/1907.52	o 2991
2062.43/1910.40	o 2990
2065.63/1913.42	o 2989
2069.01/1916.52	o 2988
2071.91/1919.42	o 2987
2075.25/1922.56	o 2986
2078.25/1925.56	o 2985
2081.32/1928.45	o 2984
2084.58/1931.48	o 2983
2087.68/1934.50	o 2982
2090.80/1937.46	o 2981
2093.80/1940.42	o 2980
2096.76/1943.29	o 2979
2100.12/1946.37	o 2978
2103.02/1949.24	o 2977
2106.13/1952.17	o 2976
2109.04/1955.07	o 2975
2112.19/1958.03	o 2974
2115.44/1961.05	o 2973
2118.33/1963.95	o 2972
2121.42/1966.86	o 2971
2124.60/1969.88	o 2970
2127.61/1972.78	o 2969
2130.86/1975.76	o 2968
2133.66/1978.56	o 2967
2136.85/1981.55	o 2966
2140.12/1984.53	o 2965
2143.12/1987.53	o 2964
2146.34/1990.57	o 2963
2149.24/1993.44	o 2962
2152.41/1996.42	o 2961
2155.57/1999.30	o 2960
2158.29/2002.04	o 2959
2161.52/2005.01	o 2958
2164.31/2007.84	o 2957
2167.39/2010.79	o 2956
2170.65/2013.78	o 2955
2173.65/2016.71	o 2954
2176.67/2019.55	o 2953
2179.57/2022.47	o 2952
2182.55/2025.28	o 2951
2185.82/2028.22	o 2950
2188.83/2031.21	o 2949
2191.86/2034.09	o 2948
2194.75/2036.97	o 2947
2197.92/2039.93	o 2946
2201.08/2042.85	o 2945
2203.88/2045.69	o 2944
2207.01/2048.54	o 2943
2209.82/2051.39	o 2942
2212.90/2054.22	o 2941
2216.17/2057.21	o 2940
2219.08/2060.12	o 2939
2222.21/2063.10	o 2938
2225.22/2066.11	o 2937
2228.39/2069.06	o 2936
2231.75/2072.12	o 2935
2234.65/2075.04	o 2934
2237.87/2078.04	o 2933
2240.77/2080.94	o 2932
2243.83/2083.86	o 2931
2247.07/2086.83	o 2930
2249.97/2089.71	o 2929
2253.09/2092.64	o 2928
2255.89/2095.46	o 2927
2259.06/2098.45	o 2926
2262.31/2101.42	o 2925
2265.11/2104.23	o 2924
2268.34/2107.20	o 2923
2271.34/2110.21	o 2922
2274.51/2113.24	o 2921
2277.75/2116.26	o 2920
2280.85/2119.31	o 2919
2284.05/2122.31	o 2918
2286.86/2125.18	o 2917
2289.91/2128.08	o 2916
2293.16/2131.08	o 2915
2296.16/2134.09	o 2914
2299.35/2137.10	o 2913
2302.72/2140.15	o 2912
2305.62/2143.03	o 2911
2308.75/2145.95	o 2910
2311.55/2148.75	o 2909
2314.75/2151.73	o 2908
2317.89/2154.71	o 2907
2320.92/2157.74	o 2906
2324.06/2160.67	o 2905
2326.96/2163.60	o 2904
2330.25/2166.67	o 2903
2333.51/2169.69	o 2902
2336.52/2172.61	o 2901
2339.65/2175.55	o 2900
2342.36/2178.29	o 2899
2345.46/2181.17	o 2898
2348.83/2184.21	o 2897
2351.83/2187.21	o 2896
2355.16/2190.37	o 2895
2358.06/2193.27	o 2894
2361.15/2196.20	o 2893
2364.32/2199.08	o 2892
2367.21/2201.99	o 2891
2370.44/2204.93	o 2890
2373.34/2207.85	o 2889
2376.42/2210.79	o 2888
2379.79/2213.85	o 2887
2382.70/2216.73	o 2886
2385.91/2219.72	o 2885
2388.81/2222.60	o 2884
2391.88/2225.56	o 2883
2395.13/2228.59	o 2882
2398.03/2231.42	o 2881
2401.14/2234.39	o 2880
2403.96/2237.17	o 2879
2407.13/2240.19	o 2878
2410.28/2243.10	o 2877
2413.17/2245.98	o 2876
2416.30/2248.88	o 2875
2419.24/2251.79	o 2874
2422.42/2254.71	o 2873
2425.68/2257.71	o 2872
2428.59/2260.69	o 2871
2431.90/2263.70	o 2870
2434.80/2266.66	o 2869
2437.87/2269.51	o 2868
2441.13/2272.53	o 2867
2443.93/2275.36	o 2866
2447.15/2278.39	o 2865
2450.05/2281.27	o 2864
2453.23/2284.23	o 2863
2456.41/2287.17	o 2862
2459.31/2290.08	o 2861
2462.42/2292.98	o 2860
2465.32/2295.86	o 2859
2468.62/2298.90	o 2858
2471.78/2301.88	o 2857
2474.68/2304.73	o 2856
2477.91/2307.76	o 2855
2480.82/2310.65	o 2854
2484.00/2313.69	o 2853
2487.26/2316.63	o 2852
2490.16/2319.50	o 2851
2493.29/2322.49	o 2850
2496.19/2325.35	o 2849
2499.28/2328.23	o 2848
2502.54/2331.26	o 2847
2505.46/2334.16	o 2846
2508.59/2337.04	o 2845
2511.49/2339.92	o 2844
2514.68/2342.97	o 2843
2518.06/2346.03	o 2842
2520.06/2348.01	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.06/2348.01		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.06/2348.01		at concrete.heuristic.value.BestCost.$anonfun$select$1(BestCost.scala:51)
2520.06/2348.01		at concrete.BitVectorDomain.$anonfun$filterBounds$1(BitVectorDomain.scala:33)
2520.06/2348.01		at bitvectors.LargeBitVector.filterBounds(LargeBitVector.scala:278)
2520.06/2348.01		at concrete.BitVectorDomain.filterBounds(BitVectorDomain.scala:33)
2520.06/2348.01		at concrete.BitVectorDomain.filterBounds(BitVectorDomain.scala:8)
2520.06/2348.01		at concrete.heuristic.value.BestCost.select(BestCost.scala:51)
2520.06/2348.01		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.06/2348.01		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.06/2348.01		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.06/2348.01		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.06/2348.01		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.06/2348.01		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.06/2348.01		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.06/2348.01		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.06/2348.01		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.06/2348.01		at scala.Option.map(Option.scala:146)
2520.06/2348.01		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.06/2348.01		at concrete.MAC.mac(MAC.scala:203)
2520.06/2348.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.06/2348.01		at scala.util.Try$.apply(Try.scala:209)
2520.06/2348.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.06/2348.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.06/2348.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.06/2348.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.06/2348.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.06/2348.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.06/2348.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.06/2348.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.06/2348.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.06/2348.01		at concrete.MAC.oneRun(MAC.scala:253)
2520.06/2348.01		at concrete.MAC.nextSolution(MAC.scala:272)
2520.06/2348.01		at concrete.MAC.nextSolution(MAC.scala:355)
2520.06/2348.01		at concrete.Solver.hasNext(Solver.scala:166)
2520.06/2348.01		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.06/2348.01		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.06/2348.01		at concrete.Solver.foreach(Solver.scala:68)
2520.06/2348.01		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.06/2348.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.06/2348.01		at scala.util.Success.map(Try.scala:209)
2520.06/2348.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.06/2348.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.06/2348.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.06/2348.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.06/2348.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.06/2348.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.06/2348.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.06/2348.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.06/2348.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.06/2348.01		at scala.collection.immutable.List.foreach(List.scala:389)
2520.06/2348.01		at scala.App.main(App.scala:76)
2520.06/2348.01		at scala.App.main$(App.scala:74)
2520.06/2348.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.06/2348.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.06/2348.02	v <instantiation cost="2842">
2520.06/2348.02	v       <list>
2520.06/2348.02	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.06/2348.03	v       </list>
2520.06/2348.03	v       <values>
2520.06/2348.03	v         37 2816 2821 8 31 18 20 2830 2837 2842 4 0 2833 25 5 16 29 39 34 19 2834 2841 2818 12 2827 36 26 2836 9 2835 2822 7 21 2826 1 28 38 2828 24 35 11 2838 2815 2814 2839 22 27 30 6 2817 2820 32 2825 2 2813 33 13 2824 3 14 6 36 28 2818 2826 8 2820 2823 2821 1 2836 2837 23 26 7 20 15 24 11 27 39 2819 2831 30 18 2839 25 21 35 2840 14 2842 0 2829 2830 5 2834 9 19 33 2838 12 2835 4 2828 2825 16 13 2833 2832 34 2815 29 22 2822 31 2841 2 10 3 25 9 2830 21 13 20 2812 2831 2838 2809 3 8 2820 2823 2821 24 0 14 2824 6 31 2840 2829 22 2813 2814 2833 2841 10 2839 2837 18 2828 1 4 7 2832 15 2818 11 16 2816 17 2 2822 5 2827 2825 2835 12 2815 2836 2842 27 19 2834 26 2817 23 2826 2838 5 23 27 2830 26 2823 2834 6 2832 2835 21 29 2827 2831 30 13 37 2829 16 2841 2 39 4 33 2820 2839 22 28 14 2814 20 2833 7 2837 2828 2825 3 15 2822 2821 2818 8 2842 25 2826 35 10 18 2840 12 0 2836 11 34 17 32 36 9 2817 27 0 2818 2819 8 1 2830 25 2815 2827 21 34 2824 10 2839 2817 2842 11 2820 2834 5 2811 31 2823 7 22 6 14 17 2836 2838 2831 2837 3 2 15 2841 38 9 2835 2822 29 2812 13 2816 2828 12 18 26 19 2814 2829 4 16 2821 2833 20 2832 2840 24 19 2834 12 6 24 9 4 2815 2818 2825 2840 15 5 21 2813 2812 17 2827 2826 34 2830 2814 23 10 38 7 2841 32 26 2838 11 33 2839 2 2828 22 2836 2833 2835 16 8 35 3 2821 2832 2837 0 25 2831 37 20 14 13 2842 27 2816 18 1 2829 28 33 2836 2840 2 12 6 2842 1 2811 2813 2817 2826 17 16 2823 2833 8 2841 2825 11 22 15 29 2837 2820 2822 2830 2828 2834 3 2839 0 5 18 2832 30 19 2816 20 2812 13 24 2829 2827 10 2835 2819 2838 9 27 2831 2824 7 14 21 28 31 32 4 23 31 34 2841 2827 28 19 36 2826 14 3 16 2825 2831 2829 2817 2820 18 2832 2838 1 7 17 32 2834 10 13 0 4 2823 2819 20 2815 2836 15 11 8 24 22 2814 9 2840 2822 2821 30 2 2842 2816 37 2839 25 21 2835 2837 12 5 2824 35 2833 6 29 12 10 2837 2822 7 2827 2817 4 2824 2841 2819 2838 2815 2813 2820 2814 2833 13 2816 2836 30 2825 11 2831 2828 19 36 2830 2829 2818 26 24 22 37 2823 2835 2812 1 2834 23 2810 6 0 14 32 34 2840 9 35 2 33 25 16 2832 17 18 2839 2842 8 31 2835 4 8 2815 18 25 1 13 5 2822 38 14 2842 2832 2828 3 6 22 2836 31 0 2837 37 2830 2819 33 2826 10 20 21 15 12 27 26 2816 2841 32 11 2833 24 17 2827 16 2834 2829 2824 23 2840 2821 9 2817 2839 2831 2823 2 19 2838 7 2820 30 9 22 26 7 2839 5 2824 3 21 2834 2818 2831 20 2819 2838 11 14 2828 2811 35 25 2835 2822 19 2817 2836 8 16 2820 10 6 2821 17 40 13 18 2823 2812 2837 1 12 2814 2 2840 0 2830 2829 2826 37 2833 24 2810 2832 2825 38 30 2827 4 2841 2842 2819 2824 19 2823 2836 2822 5 2833 20 2808 2838 7 2827 2820 12 27 39 28 0 2830 33 2839 2840 2826 2834 2837 3 13 24 8 9 37 2842 23 14 2829 31 25 2828 2825 21 34 10 22 16 2818 2821 2841 17 2835 2832 2 1 4 2831 6 2816 26 11 15 10 19 6 9 29 31 2811 5 22 2 2830 4 2812 2831 20 13 12 18 26 2822 14 2820 1 2810 0 8 21 2835 11 2825 17 2832 2819 24 2833 2823 23 2842 2824 7 3 2834 2813 2839 27 2829 2814 2828 16 2841 40 28 2817 2821 2840 2836 2837 2838 15 2827 29 16 32 26 2842 22 13 2818 19 36 14 25 2840 4 28 2826 2839 17 9 2833 24 2827 20 33 8 18 35 11 40 7 2841 15 2 2832 2836 12 21 5 10 2838 1 2819 38 0 31 2823 2828 2837 2830 41 6 2831 27 2824 23 2825 3 2834 2835 2829 2824 20 4 36 2831 2839 2816 30 2825 24 18 2841 1 2833 14 28 2827 27 29 10 16 8 6 26 2823 2829 2828 35 21 12 2808 5 2830 9 7 37 2821 2836 17 2837 2842 2820 2822 23 2818 15 25 2832 2826 13 2834 2819 2838 2840 22 3 34 33 2 11 2813 2826 2824 2810 1 2818 2814 2828 10 22 8 5 26 24 2815 2816 3 2817 4 2838 18 16 2825 2811 19 2832 28 2842 32 20 2820 27 2831 2835 25 2839 2827 35 30 2841 7 2 14 6 2840 0 15 34 2819 2821 2833 17 2812 9 11 23 2830 2836 2823 2834 2815 2812 21 12 2821 2810 14 2839 8 15 17 2822 30 1 2 2830 40 2829 7 2827 2826 9 10 2824 2835 2819 2838 26 4 2832 2840 23 34 5 2831 2842 6 28 2817 2828 2841 2813 29 2825 36 16 18 2836 2816 2834 0 3 2823 2833 2814 2820 24 2837 33 2818 2816 8 2828 2829 17 2832 2835 2 26 2811 30 22 2818 20 2836 2841 21 2815 2812 13 2823 2822 7 1 3 34 2840 31 37 0 12 14 2826 2833 2838 2817 2839 2831 2842 28 36 2830 4 10 42 2821 33 19 2834 2827 2824 2820 18 6 2837 5 2819 23 16 2825 35 2821 2836 19 25 2829 2840 2820 0 2828 2823 10 6 2835 29 4 2817 9 18 2824 2832 3 24 2818 2839 1 16 33 2838 22 21 26 37 2819 28 2837 17 14 7 2842 2831 5 2814 2815 11 2 31 27 8 20 2830 12 38 2826 2827 15 2822 40 13 2841 2834 11 2829 1 27 2841 19 2836 2839 28 2816 2817 21 34 2837 10 2825 8 2835 12 37 20 2819 15 5 0 24 2827 14 25 13 38 26 22 2821 2830 2833 2820 29 2 2824 18 2832 2823 2838 2840 4 17 23 3 2822 6 30 32 2818 2842 7 2831 2811 16 17 2818 29 2817 2815 14 15 2824 16 2830 2820 2834 9 12 2814 1 20 2823 5 2840 2821 37 27 7 6 2831 2 2819 2836 2842 34 2826 2825 2822 33 4 26 2832 11 2816 30 3 2841 21 35 2833 19 2835 2837 2838 2829 18 2828 8 40 2827 28 13 0 10 2821 3 2839 2826 23 4 0 8 9 16 2832 2 12 2818 15 2842 2828 2835 32 26 21 6 2834 2819 31 2830 2820 5 2841 2817 2809 2838 7 2836 2822 33 2816 10 2827 19 2837 2825 22 2829 24 18 2833 2831 11 28 2840 2814 25 2813 13 14 30 29 1 27 15 2840 2832 2836 16 2834 2 28 2828 0 2839 19 24 29 26 33 22 20 2819 39 40 27 2823 2815 35 2827 2835 2822 8 17 2830 13 14 2818 2825 2820 2817 7 23 2821 4 2812 25 2813 2831 2838 2841 21 12 32 10 2837 6 18 9 2829 1 3 2826 5 2841 2842 24 2840 2818 21 18 6 2831 10 2814 12 2821 2824 2810 2828 2819 2 25 2839 13 23 3 14 2825 2823 2827 2838 2835 32 2812 36 2834 2837 2826 16 22 2817 2811 8 15 4 7 2820 19 1 2836 5 20 2815 2813 2822 2830 34 2833 2832 11 2829 2816 0 34 1 2822 2842 10 2821 2838 15 2834 2823 20 13 27 0 2826 18 2815 21 14 2819 4 2831 2 23 2836 43 2837 2833 2832 6 19 2828 2829 32 31 35 33 2840 2816 29 2827 17 2818 11 3 2820 9 2830 25 2824 22 5 12 24 2841 2839 2835 30 7 8 0 2822 18 2830 2835 2811 23 11 29 2833 2842 31 2837 14 16 2823 2841 2820 21 2832 38 2829 12 2821 20 9 4 6 3 1 24 2 10 27 19 26 2831 2826 2836 2818 2828 2815 2816 25 34 32 28 22 2817 17 2838 8 5 2834 2824 13 15 2840 2827 2819 18 2833 31 25 40 10 21 2835 2836 17 2831 2820 15 5 4 2822 36 2839 2810 2841 32 2823 8 34 2830 6 22 12 7 2816 3 2824 1 39 26 11 9 2 2826 0 2819 16 2838 2832 2837 23 13 2829 2815 14 2821 2834 20 2817 2825 29 2842 2827 2828 2840 8 2820 1 14 32 7 2828 2829 2823 13 27 11 2841 2838 2835 15 2 34 2834 23 28 33 18 2816 2831 2842 19 2824 2839 24 29 2833 9 20 2812 2819 3 2821 16 2814 22 2826 26 2837 2827 31 17 12 2836 5 25 21 2840 35 4 2818 2832 2822 30 2815 2828 7 2819 15 2833 2824 10 2822 24 2836 2837 2829 28 37 2840 2835 5 2838 2813 8 20 2816 19 2832 17 30 2821 1 2842 2814 2811 2830 25 2834 9 2818 2826 6 2825 18 0 31 2827 2817 29 2841 21 16 14 23 11 4 2839 2831 3 2 2823 27 12 2820 2822 2 9 4 19 23 3 2814 2841 2835 2827 2842 18 6 27 2825 34 29 8 2829 2838 2833 5 2820 40 16 32 2831 25 35 2815 17 2817 0 20 14 2819 26 21 2834 2830 30 2836 2816 28 2832 1 7 24 22 2839 15 2818 13 12 11 2840 10 2821 2837 2831 2825 0 2814 20 2816 22 37 2832 2837 26 1 16 3 32 2815 2813 4 2841 5 34 2828 2839 9 2840 25 2829 24 2833 2824 7 11 13 29 17 2838 15 21 18 2836 10 23 2817 35 14 6 30 8 2822 2842 2827 27 2834 2835 33 2830 2 2821 19 12 14 21 2833 10 2820 2837 2829 19 7 2810 25 2832 2839 2822 2812 2831 2826 0 27 30 2828 5 15 8 2821 11 2824 2834 2840 2827 2823 6 2835 13 2841 20 18 2838 28 22 2817 2811 23 29 9 3 2830 1 4 24 2836 2825 2 17 16 26 2813 2814 2842 2816 2820 2819 33 34 39 12 30 0 2842 9 2841 2839 22 11 2822 2832 2821 2830 1 2826 6 2815 2827 2817 2824 21 2818 20 31 13 2825 2836 2823 25 2829 36 7 2834 2813 4 2 2840 18 37 15 19 2835 2833 10 2828 35 16 3 26 8 2837 23 5 2831 2838 13 23 2825 3 2832 2823 7 21 2827 8 0 2821 2813 15 2830 17 2814 32 30 2828 19 4 2841 2812 11 2818 29 2816 5 2831 2842 2817 20 16 2834 2815 28 12 2839 10 2835 1 2840 27 26 2822 2837 35 31 6 18 2833 22 2836 2820 2826 9 24 2824 33 30 33 3 20 2813 2815 2810 22 32 2807 6 2827 13 2841 2819 2840 10 2833 2831 9 17 2838 2837 2835 34 5 23 2839 16 18 2817 2829 4 8 27 21 11 0 2830 14 2809 28 12 2824 2842 26 36 2820 2 29 15 2828 2826 7 1 2821 2834 2825 2836 25 2829 2837 16 13 3 2840 8 2819 12 7 2834 29 2830 2816 10 31 2818 35 2828 38 2 11 0 2838 2826 14 27 25 1 19 33 2823 30 2825 5 2836 20 34 2841 36 2812 2835 2831 17 22 4 24 23 15 21 2842 2832 28 2839 18 9 2833 2820 2822 6 2837 2823 2 16 2814 2842 2832 39 2830 20 2821 9 14 22 23 2836 19 2834 3 2816 2829 0 38 29 36 12 10 15 2831 11 2827 4 2818 6 8 2825 2815 2819 26 2833 18 13 34 2835 21 28 7 2839 2828 2826 2841 2840 2820 31 2838 1 27 25 5 2822 2 37 2816 11 2838 2825 6 2827 2829 5 15 2840 0 8 24 2819 7 2826 2842 20 2833 26 4 17 2837 2834 2831 2820 13 2822 16 21 2821 2824 2817 32 12 2818 27 2839 25 2836 2830 2841 23 9 10 33 2832 2823 3 29 2835 1 35 2815 14 34 28 2828 28 2827 20 2821 6 2 2822 27 13 19 34 23 32 2814 9 25 2830 5 17 2813 3 10 2838 2829 2832 2824 2825 0 2837 15 2833 2834 33 2840 2818 2826 4 2815 12 2817 2811 8 2820 2836 7 30 14 2842 2823 1 2812 2816 11 2828 2819 2835 21 2841 2839 2831 2818 2831 14 2841 2812 2828 2839 24 2822 23 19 28 7 27 2811 32 9 3 20 2825 12 2834 2826 2814 2833 2840 33 18 2824 16 2835 2827 11 2842 30 31 0 13 8 21 2829 2837 15 1 6 2817 29 26 2820 10 2 2838 2813 2819 2815 4 38 2830 17 2821 7 25 2823 2831 2819 15 28 23 1 2826 29 6 11 13 2841 9 2820 19 2821 2842 35 12 17 2828 24 37 5 2840 36 26 4 8 2822 2838 2839 2 2835 2825 0 3 2816 2832 2837 2833 33 2827 22 2834 21 2836 14 2817 31 2830 2829 27 10 20 2815 2824 2825 2841 2826 2828 5 2830 2831 14 2833 6 2 16 2832 9 2829 36 24 7 2814 29 23 2817 2836 21 1 27 12 3 2819 34 18 30 2838 28 2842 25 8 33 13 2824 2818 2821 2834 38 2835 2816 2813 20 0 4 2837 11 19 2827 10 2822 2820 2823 26 2839 16 31 25 28 26 2813 9 17 2826 4 2833 20 34 23 2824 29 2838 10 2818 22 2839 14 2842 2822 15 2 2814 30 2830 2841 2821 1 2840 11 12 2832 27 2837 2831 2819 2820 40 19 7 2836 8 2815 2823 2827 18 2816 2812 2811 2829 2834 2817 5 0 2825 13 11 6 30 0 2817 16 2826 2832 2820 2839 22 18 2823 19 2834 2 1 2821 2837 24 2842 2813 2835 2827 12 2838 14 2825 15 28 2836 2841 2816 4 2819 10 29 36 25 34 9 2824 13 5 2833 2831 26 31 2840 2829 27 2830 2822 3 2828 20 8 17 2818 32 1 2830 2834 2837 21 13 11 2825 4 2838 32 3 2826 2842 18 2839 2831 36 2840 15 2836 22 2821 6 2 2841 17 38 12 2833 2828 29 8 19 2827 9 10 2822 2832 2829 5 2817 2823 2819 20 14 2820 28 2824 31 16 23 2816 2818 41 0 25 2835 37 7 23 32 27 5 14 2838 24 2842 31 11 33 2828 2836 41 2825 40 2823 15 6 2837 2835 25 26 2833 22 3 9 7 0 4 2831 16 18 2841 2840 2821 2 20 2822 30 29 2839 2826 12 37 35 39 36 2829 34 8 13 2827 10 28 21 17 38 2834 1 2839 15 2842 2838 2816 11 2818 2817 2840 2814 31 24 2829 2837 6 26 2834 16 23 17 10 2832 33 2836 14 35 2822 8 2827 9 2819 19 12 2823 18 27 2828 32 3 5 2825 22 30 2831 1 13 2 4 39 2830 2835 7 2824 20 0 2841 29 2815 2833 21 2830 29 34 2835 2841 0 12 18 2 2818 24 2816 2838 2836 11 2827 4 26 2833 7 15 1 2832 2825 2842 32 31 28 2826 2828 2824 2822 16 17 35 2834 2837 19 2829 2820 23 9 20 8 13 33 3 2819 27 2831 5 30 10 2812 2839 2840 6 14 21 22 2836 2838 2820 35 2822 17 2841 26 23 2817 12 32 25 2840 2842 22 37 2818 2 14 8 18 21 13 2829 20 7 34 6 2823 0 10 2827 30 36 2833 2824 2835 4 15 2834 27 1 9 2826 2839 2831 3 2825 16 28 24 33 5 2832 38 2828 11 2837 19 20 2839 7 17 2828 2836 2821 2816 2835 2840 2812 2833 2810 18 2818 2824 11 6 2815 4 2827 19 35 24 13 10 2823 2837 39 2826 1 2819 2814 12 3 0 2822 2841 2 27 2832 2831 2811 2838 5 21 2834 29 2842 8 2825 9 2829 2820 14 16 2817 15 2830 2813 2832 2828 2838 2834 0 2831 16 9 2817 14 13 30 2835 2815 25 21 2829 31 10 3 1 2821 2833 2840 28 17 20 19 2 2820 2826 2839 2824 2830 2813 2816 2842 8 22 26 6 32 24 2822 2841 7 11 15 5 2837 4 33 23 2814 2823 12 2825 18 27 2812 2842 13 2835 2824 2837 2814 2825 16 35 2831 10 38 2834 7 0 6 2840 1 37 28 9 29 14 2 4 2833 18 2823 2822 2830 2832 2816 19 21 24 23 2829 31 5 32 2836 20 33 2826 17 27 2818 11 3 2819 2811 2827 2841 15 30 2838 12 8 25 26 2817 30 13 2820 15 2833 2836 2837 11 2829 2825 2835 2819 17 2816 5 2824 12 2823 18 2822 2818 2830 28 21 38 1 23 2821 2812 2 2840 3 10 2815 2831 35 16 2838 2827 2826 14 2842 2828 2834 36 6 32 19 0 7 22 9 2841 20 8 33 2839 2832 4 5 12 2831 22 2827 30 2833 2838 3 21 9 2819 2814 2 1 14 2822 2840 2832 2821 11 2836 2824 2842 2841 2817 2816 17 18 2837 2834 2835 28 2828 6 34 2820 2839 31 13 2813 2829 35 2818 2830 2811 8 0 7 2825 19 10 15 2815 2826 2823 4 16 2812 20 2840 14 10 24 22 2817 2827 20 15 12 11 39 4 2839 34 8 2816 2842 2830 2823 29 2812 13 0 2838 2835 30 2826 2828 2834 31 2818 2832 38 2820 2824 25 2829 2821 17 2815 2833 2819 19 2825 2836 5 6 2841 2822 1 2813 2814 2837 7 2831 16 9 18 2 2833 40 17 2839 4 2835 2837 2840 27 2819 2829 2836 3 28 8 2834 25 2822 12 0 2831 13 16 20 39 23 15 29 2825 2 5 2820 2841 14 2824 2827 2838 30 1 2830 2823 2828 11 33 18 10 2842 2817 2818 7 9 31 26 19 6 2812 22 21 24 2832 4 2832 22 2833 9 2826 2813 10 30 18 2828 2823 2 2834 2827 7 2837 23 2817 2835 27 2842 2816 2839 16 26 11 2821 38 5 2829 2825 6 2831 37 17 2840 29 2820 12 2814 2810 21 3 8 24 20 14 1 15 13 2841 32 2822 2830 41 0 28 2838 2836 2827 27 5 2825 11 2820 2834 7 25 33 1 2815 2822 2817 2832 2829 2836 2837 22 2 36 2824 2828 18 23 15 2842 9 34 2821 2813 3 32 2839 0 29 14 2830 2840 2831 2833 2841 6 16 4 12 2826 24 13 30 26 2823 8 2838 2835 10 19 31 20 17 3 2835 11 23 2823 2819 2809 2841 28 2824 7 26 37 2821 13 2837 2832 30 2822 2831 2840 24 25 16 27 2825 2815 2829 19 31 8 9 15 2827 10 1 2818 4 6 20 14 21 5 2830 12 2834 2838 2 36 2839 17 35 2833 0 2842 2828 2836 22 2814 18 21 2829 15 2832 2834 3 31 12 34 2815 5 2830 8 2825 2833 0 2835 25 2827 32 26 2826 28 2841 30 4 13 2 22 29 10 2837 35 2820 2814 19 1 2824 14 2840 2839 2842 27 18 2823 17 2822 2818 2838 11 2828 20 37 2816 2836 7 2831 6 2813 9
2520.06/2348.03	v       </values>
2520.06/2348.03	v     </instantiation>
2520.06/2348.03	s SATISFIABLE

Verifier Data 

OK	2842

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304249-1534051349/watcher-4304249-1534051349 -o /tmp/evaluation-result-4304249-1534051349/solver-4304249-1534051349 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534040018-23575 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=323005347 HOME/instance-4304249-1534051349.xml 

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

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

solver pid=25510, runsolver pid=25507

[startup+0.100119 s]*
/proc/loadavg: 1.28 1.21 1.30 3/207 25567
/proc/meminfo: memFree=27146320/32770624 swapFree=67108804/67108860
[pid=25510] ppid=25507 vsize=10005480 memory=17076 CPUtime=0.1 cores=1,3,5,7
/proc/25510/stat : 25510 (java) S 25507 25510 22159 0 -1 1077944320 4392 13167 0 0 1 1 5 3 20 0 6 0 222698125 10245611520 4269 33554432000 4194304 4196468 140731959481536 140731959464080 139720212750071 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
/proc/25510/statm: 2501370 4269 1934 1 0 2489808 0
[pid=25510/tid=25563] ppid=25507 vsize=10005480 memory=4279135704013962638 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25563/stat : 25563 (java) R 25507 25510 22159 0 -1 4202560 2200 13167 0 0 0 0 5 3 20 0 6 0 222698134 10245611520 4269 33554432000 4194304 4196468 140731959481536 139720184586832 139720196830558 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25564] ppid=25507 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25564/stat : 25564 (java) S 25507 25510 22159 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 6 0 222698135 10245611520 4269 33554432000 4194304 4196468 140731959481536 139720216992144 139720212760277 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25565] ppid=25507 vsize=10005480 memory=140475083359872 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25565/stat : 25565 (java) S 25507 25510 22159 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 6 0 222698135 10245611520 4269 33554432000 4194304 4196468 140731959481536 139720071710992 139720212760277 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25566] ppid=25507 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25566/stat : 25566 (java) S 25507 25510 22159 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 6 0 222698135 10245611520 4269 33554432000 4194304 4196468 140731959481536 139720070658704 139720212760277 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25567] ppid=25507 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25567/stat : 25567 (java) S 25507 25510 22159 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 6 0 222698135 10245611520 4269 33554432000 4194304 4196468 140731959481536 139720069605904 139720212760277 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17076 KiB

[startup+0.209952 s]*
/proc/loadavg: 1.28 1.21 1.30 3/216 25576
/proc/meminfo: memFree=27124312/32770624 swapFree=67108804/67108860
[pid=25510] ppid=25507 vsize=10982744 memory=43216 CPUtime=0.27 cores=1,3,5,7
/proc/25510/stat : 25510 (java) S 25507 25510 22159 0 -1 1077944320 8068 13167 0 0 17 2 5 3 20 0 15 0 222698125 11246329856 10804 33554432000 4194304 4196468 140731959481536 140731959464080 139720212750071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
/proc/25510/statm: 2745686 10804 2954 1 0 2708109 0
[pid=25510/tid=25563] ppid=25507 vsize=10982744 memory=-6517102902069810590 CPUtime=0.2 cores=1,3,5,7
/proc/25510/task/25563/stat : 25563 (java) R 25507 25510 22159 0 -1 4202560 4609 13167 0 0 11 1 5 3 20 0 15 0 222698134 11246329856 10804 33554432000 4194304 4196468 140731959481536 139720184574488 139720212771997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25564] ppid=25507 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25564/stat : 25564 (java) S 25507 25510 22159 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 222698135 11246329856 10804 33554432000 4194304 4196468 140731959481536 139720216992144 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25565] ppid=25507 vsize=10982744 memory=140475083359872 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25565/stat : 25565 (java) S 25507 25510 22159 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 222698135 11246329856 10804 33554432000 4194304 4196468 140731959481536 139720071710992 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25566] ppid=25507 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25566/stat : 25566 (java) S 25507 25510 22159 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 222698135 11246329856 10804 33554432000 4194304 4196468 140731959481536 139720070658704 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25567] ppid=25507 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25567/stat : 25567 (java) S 25507 25510 22159 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 222698135 11246329856 10804 33554432000 4194304 4196468 140731959481536 139720069605904 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25568] ppid=25507 vsize=10982744 memory=140475083359872 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25568/stat : 25568 (java) S 25507 25510 22159 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 222698136 11246329856 10804 33554432000 4194304 4196468 140731959481536 139719451040368 139720212761218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25569] ppid=25507 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25569/stat : 25569 (java) S 25507 25510 22159 0 -1 1077944384 13 13167 0 0 0 0 5 3 20 0 15 0 222698137 11246329856 10804 33554432000 4194304 4196468 140731959481536 139718977119520 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25570] ppid=25507 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25570/stat : 25570 (java) S 25507 25510 22159 0 -1 1077944384 21 13167 0 0 0 0 5 3 20 0 15 0 222698137 11246329856 10804 33554432000 4194304 4196468 140731959481536 139718910006896 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25571] ppid=25507 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25571/stat : 25571 (java) S 25507 25510 22159 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 222698140 11246329856 10804 33554432000 4194304 4196468 140731959481536 139718602611280 139720212768667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25572] ppid=25507 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25572/stat : 25572 (java) S 25507 25510 22159 0 -1 1077944384 425 13167 0 0 0 0 5 3 20 0 15 0 222698140 11246329856 10804 33554432000 4194304 4196468 140731959481536 139719449987184 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25573] ppid=25507 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/25510/task/25573/stat : 25573 (java) S 25507 25510 22159 0 -1 1077944384 186 13167 0 0 1 0 5 3 20 0 15 0 222698140 11246329856 10804 33554432000 4194304 4196468 140731959481536 139719448934384 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25574] ppid=25507 vsize=10982744 memory=140475083359872 CPUtime=0.11 cores=1,3,5,7
/proc/25510/task/25574/stat : 25574 (java) R 25507 25510 22159 0 -1 4202560 610 13167 0 0 3 0 5 3 20 0 15 0 222698140 11246329856 10804 33554432000 4194304 4196468 140731959481536 139719379773808 139720191241072 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25575] ppid=25507 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25575/stat : 25575 (java) S 25507 25510 22159 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 222698140 11246329856 10804 33554432000 4194304 4196468 140731959481536 139718171814368 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25576] ppid=25507 vsize=10982744 memory=140475083359872 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25576/stat : 25576 (java) S 25507 25510 22159 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 222698140 11246329856 10804 33554432000 4194304 4196468 140731959481536 139719378721712 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43216 KiB

[startup+0.310199 s]*
/proc/loadavg: 1.28 1.21 1.30 3/216 25576
/proc/meminfo: memFree=27113024/32770624 swapFree=67108804/67108860
[pid=25510] ppid=25507 vsize=10983192 memory=53924 CPUtime=0.39 cores=1,3,5,7
/proc/25510/stat : 25510 (java) S 25507 25510 22159 0 -1 1077944320 10573 13167 0 0 28 3 5 3 20 0 15 0 222698125 11246788608 13481 33554432000 4194304 4196468 140731959481536 140731959464080 139720212750071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
/proc/25510/statm: 2745798 13481 3073 1 0 2708109 0
[pid=25510/tid=25563] ppid=25507 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/25510/task/25563/stat : 25563 (java) R 25507 25510 22159 0 -1 4202560 7103 13167 0 0 20 1 5 3 20 0 15 0 222698134 11246788608 13481 33554432000 4194304 4196468 140731959481536 139720184562080 139720196830558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25564] ppid=25507 vsize=10983192 memory=7084813469699035216 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25564/stat : 25564 (java) S 25507 25510 22159 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 222698135 11246788608 13481 33554432000 4194304 4196468 140731959481536 139720216992144 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25565] ppid=25507 vsize=10983192 memory=2076 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25565/stat : 25565 (java) S 25507 25510 22159 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 222698135 11246788608 13481 33554432000 4194304 4196468 140731959481536 139720071710992 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25566] ppid=25507 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25566/stat : 25566 (java) S 25507 25510 22159 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 222698135 11246788608 13481 33554432000 4194304 4196468 140731959481536 139720070658704 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25567] ppid=25507 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25567/stat : 25567 (java) S 25507 25510 22159 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 222698135 11246788608 13481 33554432000 4194304 4196468 140731959481536 139720069605904 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25568] ppid=25507 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25568/stat : 25568 (java) S 25507 25510 22159 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 222698136 11246788608 13481 33554432000 4194304 4196468 140731959481536 139719451040368 139720212761218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25569] ppid=25507 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25569/stat : 25569 (java) S 25507 25510 22159 0 -1 1077944384 13 13167 0 0 0 0 5 3 20 0 15 0 222698137 11246788608 13481 33554432000 4194304 4196468 140731959481536 139718977119520 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25570] ppid=25507 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25570/stat : 25570 (java) S 25507 25510 22159 0 -1 1077944384 21 13167 0 0 0 0 5 3 20 0 15 0 222698137 11246788608 13481 33554432000 4194304 4196468 140731959481536 139718910006896 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25571] ppid=25507 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25571/stat : 25571 (java) S 25507 25510 22159 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 222698140 11246788608 13481 33554432000 4194304 4196468 140731959481536 139718602611280 139720212768667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25572] ppid=25507 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25510/task/25572/stat : 25572 (java) S 25507 25510 22159 0 -1 1077944384 427 13167 0 0 1 0 5 3 20 0 15 0 222698140 11246788608 13481 33554432000 4194304 4196468 140731959481536 139719449987184 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25573] ppid=25507 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25510/task/25573/stat : 25573 (java) S 25507 25510 22159 0 -1 1077944384 186 13167 0 0 1 0 5 3 20 0 15 0 222698140 11246788608 13481 33554432000 4194304 4196468 140731959481536 139719448934384 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25574] ppid=25507 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/25510/task/25574/stat : 25574 (java) S 25507 25510 22159 0 -1 1077944384 620 13167 0 0 5 0 5 3 20 0 15 0 222698140 11246788608 13481 33554432000 4194304 4196468 140731959481536 139719379773808 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25575] ppid=25507 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25575/stat : 25575 (java) S 25507 25510 22159 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 222698140 11246788608 13481 33554432000 4194304 4196468 140731959481536 139718171814368 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25576] ppid=25507 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25576/stat : 25576 (java) S 25507 25510 22159 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 222698140 11246788608 13481 33554432000 4194304 4196468 140731959481536 139719378721712 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53924 KiB

[startup+0.700805 s]
/proc/loadavg: 1.28 1.21 1.30 3/216 25576
/proc/meminfo: memFree=27101240/32770624 swapFree=67108804/67108860
[pid=25510] ppid=25507 vsize=10983192 memory=86732 CPUtime=1 cores=1,3,5,7
/proc/25510/stat : 25510 (java) S 25507 25510 22159 0 -1 1077944320 16772 13167 0 0 88 4 5 3 20 0 15 0 222698125 11246788608 21683 33554432000 4194304 4196468 140731959481536 140731959464080 139720212750071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
/proc/25510/statm: 2745798 21683 3247 1 0 2708109 0
[pid=25510/tid=25563] ppid=25507 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/25510/task/25563/stat : 25563 (java) R 25507 25510 22159 0 -1 4202560 12225 13167 0 0 56 2 5 3 20 0 15 0 222698134 11246788608 21683 33554432000 4194304 4196468 140731959481536 139720184570896 139720197915743 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25564] ppid=25507 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25564/stat : 25564 (java) S 25507 25510 22159 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 222698135 11246788608 21683 33554432000 4194304 4196468 140731959481536 139720216992144 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25565] ppid=25507 vsize=10983192 memory=3708 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25565/stat : 25565 (java) S 25507 25510 22159 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 222698135 11246788608 21683 33554432000 4194304 4196468 140731959481536 139720071710992 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25566] ppid=25507 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25566/stat : 25566 (java) S 25507 25510 22159 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 222698135 11246788608 21683 33554432000 4194304 4196468 140731959481536 139720070658704 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25567] ppid=25507 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25567/stat : 25567 (java) S 25507 25510 22159 0 -1 1077944384 2 13167 0 0 0 0 5 3 20 0 15 0 222698135 11246788608 21683 33554432000 4194304 4196468 140731959481536 139720069605904 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25568] ppid=25507 vsize=10983192 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25568/stat : 25568 (java) S 25507 25510 22159 0 -1 1077944384 5 13167 0 0 0 0 5 3 20 0 15 0 222698136 11246788608 21683 33554432000 4194304 4196468 140731959481536 139719451040368 139720212761218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25569] ppid=25507 vsize=10983192 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25569/stat : 25569 (java) S 25507 25510 22159 0 -1 1077944384 13 13167 0 0 0 0 5 3 20 0 15 0 222698137 11246788608 21683 33554432000 4194304 4196468 140731959481536 139718977119520 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25570] ppid=25507 vsize=10983192 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25570/stat : 25570 (java) S 25507 25510 22159 0 -1 1077944384 21 13167 0 0 0 0 5 3 20 0 15 0 222698137 11246788608 21683 33554432000 4194304 4196468 140731959481536 139718910006896 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25571] ppid=25507 vsize=10983192 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25571/stat : 25571 (java) S 25507 25510 22159 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 222698140 11246788608 21683 33554432000 4194304 4196468 140731959481536 139718602611280 139720212768667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25572] ppid=25507 vsize=10983192 memory=13252 CPUtime=0.17 cores=1,3,5,7
/proc/25510/task/25572/stat : 25572 (java) S 25507 25510 22159 0 -1 1077944384 1006 13167 0 0 9 0 5 3 20 0 15 0 222698140 11246788608 21683 33554432000 4194304 4196468 140731959481536 139719449987184 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25573] ppid=25507 vsize=10983192 memory=15460 CPUtime=0.16 cores=1,3,5,7
/proc/25510/task/25573/stat : 25573 (java) S 25507 25510 22159 0 -1 1077944384 601 13167 0 0 8 0 5 3 20 0 15 0 222698140 11246788608 21683 33554432000 4194304 4196468 140731959481536 139719448934384 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25574] ppid=25507 vsize=10983192 memory=17668 CPUtime=0.21 cores=1,3,5,7
/proc/25510/task/25574/stat : 25574 (java) S 25507 25510 22159 0 -1 1077944384 699 13167 0 0 13 0 5 3 20 0 15 0 222698140 11246788608 21683 33554432000 4194304 4196468 140731959481536 139719379773808 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25575] ppid=25507 vsize=10983192 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25575/stat : 25575 (java) S 25507 25510 22159 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 222698140 11246788608 21683 33554432000 4194304 4196468 140731959481536 139718171814368 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25576] ppid=25507 vsize=10983192 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25576/stat : 25576 (java) S 25507 25510 22159 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 222698140 11246788608 21683 33554432000 4194304 4196468 140731959481536 139719378721712 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86732 KiB

[startup+1.5064 s]
/proc/loadavg: 1.28 1.21 1.30 4/216 25576
/proc/meminfo: memFree=27055156/32770624 swapFree=67108804/67108860
[pid=25510] ppid=25507 vsize=10991948 memory=306744 CPUtime=2.97 cores=1,3,5,7
/proc/25510/stat : 25510 (java) S 25507 25510 22159 0 -1 1077944320 23029 13167 0 0 274 15 5 3 20 0 15 0 222698125 11255754752 76686 33554432000 4194304 4196468 140731959481536 140731959464080 139720212750071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
/proc/25510/statm: 2747987 76686 3464 1 0 2709645 0
[pid=25510/tid=25563] ppid=25507 vsize=10991948 memory=0 CPUtime=1.38 cores=1,3,5,7
/proc/25510/task/25563/stat : 25563 (java) R 25507 25510 22159 0 -1 4202560 15143 13167 0 0 126 4 5 3 20 0 15 0 222698134 11255754752 76686 33554432000 4194304 4196468 140731959481536 139720184584016 139719732237133 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25564] ppid=25507 vsize=10991948 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/25510/task/25564/stat : 25564 (java) S 25507 25510 22159 0 -1 1077944384 36 13167 0 0 4 1 5 3 20 0 15 0 222698135 11255754752 76686 33554432000 4194304 4196468 140731959481536 139720216992144 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25565] ppid=25507 vsize=10991948 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/25510/task/25565/stat : 25565 (java) S 25507 25510 22159 0 -1 1077944384 244 13167 0 0 5 2 5 3 20 0 15 0 222698135 11255754752 76686 33554432000 4194304 4196468 140731959481536 139720071710992 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25566] ppid=25507 vsize=10991948 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/25510/task/25566/stat : 25566 (java) S 25507 25510 22159 0 -1 1077944384 52 13167 0 0 5 2 5 3 20 0 15 0 222698135 11255754752 76686 33554432000 4194304 4196468 140731959481536 139720070658704 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25567] ppid=25507 vsize=10991948 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/25510/task/25567/stat : 25567 (java) S 25507 25510 22159 0 -1 1077944384 121 13167 0 0 5 2 5 3 20 0 15 0 222698135 11255754752 76686 33554432000 4194304 4196468 140731959481536 139720069605904 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25568] ppid=25507 vsize=10991948 memory=1399103955520229747 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25568/stat : 25568 (java) S 25507 25510 22159 0 -1 1077944384 95 13167 0 0 0 0 5 3 20 0 15 0 222698136 11255754752 76686 33554432000 4194304 4196468 140731959481536 139719451040368 139720212761218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25569] ppid=25507 vsize=10991948 memory=280949917034752 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25569/stat : 25569 (java) S 25507 25510 22159 0 -1 1077944384 14 13167 0 0 0 0 5 3 20 0 15 0 222698137 11255754752 76686 33554432000 4194304 4196468 140731959481536 139718977119520 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25570] ppid=25507 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25570/stat : 25570 (java) S 25507 25510 22159 0 -1 1077944384 44 13167 0 0 0 0 5 3 20 0 15 0 222698137 11255754752 76686 33554432000 4194304 4196468 140731959481536 139718910006912 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25571] ppid=25507 vsize=10991948 memory=1084 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25571/stat : 25571 (java) S 25507 25510 22159 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 222698140 11255754752 76686 33554432000 4194304 4196468 140731959481536 139718602611280 139720212768667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25572] ppid=25507 vsize=10991948 memory=1600 CPUtime=0.52 cores=1,3,5,7
/proc/25510/task/25572/stat : 25572 (java) R 25507 25510 22159 0 -1 4202560 2154 13167 0 0 44 0 5 3 20 0 15 0 222698140 11255754752 76686 33554432000 4194304 4196468 140731959481536 139719449975056 139720191969448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25573] ppid=25507 vsize=10991948 memory=7952 CPUtime=0.53 cores=1,3,5,7
/proc/25510/task/25573/stat : 25573 (java) R 25507 25510 22159 0 -1 4202560 1447 13167 0 0 45 0 5 3 20 0 15 0 222698140 11255754752 76686 33554432000 4194304 4196468 140731959481536 139719448934384 139720212771418 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25574] ppid=25507 vsize=10991948 memory=4088 CPUtime=0.44 cores=1,3,5,7
/proc/25510/task/25574/stat : 25574 (java) R 25507 25510 22159 0 -1 4202560 1483 13167 0 0 36 0 5 3 20 0 15 0 222698140 11255754752 76686 33554432000 4194304 4196468 140731959481536 139719379771768 139720191679566 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25575] ppid=25507 vsize=10991948 memory=1784 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25575/stat : 25575 (java) S 25507 25510 22159 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 222698140 11255754752 76686 33554432000 4194304 4196468 140731959481536 139718171814368 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25576] ppid=25507 vsize=10991948 memory=1060 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25576/stat : 25576 (java) S 25507 25510 22159 0 -1 1077944384 1 13167 0 0 0 0 5 3 20 0 15 0 222698140 11255754752 76686 33554432000 4194304 4196468 140731959481536 139719378721712 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 10991948 KiB

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

/proc/25510/task/25563/stat : 25563 (java) R 25507 25510 22159 0 -1 4202560 236062 13167 0 0 215218 48 5 3 20 0 15 0 222698134 11343855616 939460 33554432000 4194304 4196468 140731959481536 139720184584352 139719749300990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25564] ppid=25507 vsize=11077984 memory=3757836 CPUtime=47.61 cores=1,3,5,7
/proc/25510/task/25564/stat : 25564 (java) S 25507 25510 22159 0 -1 1077944384 81332 13167 0 0 4685 68 5 3 20 0 15 0 222698135 11343855616 939460 33554432000 4194304 4196468 140731959481536 139720216992144 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25565] ppid=25507 vsize=11077984 memory=3757828 CPUtime=47.67 cores=1,3,5,7
/proc/25510/task/25565/stat : 25565 (java) S 25507 25510 22159 0 -1 1077944384 77746 13167 0 0 4693 66 5 3 20 0 15 0 222698135 11343855616 939460 33554432000 4194304 4196468 140731959481536 139720071710992 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25566] ppid=25507 vsize=11077984 memory=3757840 CPUtime=47.55 cores=1,3,5,7
/proc/25510/task/25566/stat : 25566 (java) S 25507 25510 22159 0 -1 1077944384 68155 13167 0 0 4681 66 5 3 20 0 15 0 222698135 11343855616 939460 33554432000 4194304 4196468 140731959481536 139720070658704 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25567] ppid=25507 vsize=11077984 memory=3757840 CPUtime=47.69 cores=1,3,5,7
/proc/25510/task/25567/stat : 25567 (java) S 25507 25510 22159 0 -1 1077944384 75840 13167 0 0 4693 68 5 3 20 0 15 0 222698135 11343855616 939460 33554432000 4194304 4196468 140731959481536 139720069605904 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25568] ppid=25507 vsize=11077984 memory=280949917555952 CPUtime=1.66 cores=1,3,5,7
/proc/25510/task/25568/stat : 25568 (java) S 25507 25510 22159 0 -1 1077944384 29451 13167 0 0 151 7 5 3 20 0 15 0 222698136 11343855616 939460 33554432000 4194304 4196468 140731959481536 139719451040368 139720212761218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25569] ppid=25507 vsize=11077984 memory=3757840 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25569/stat : 25569 (java) S 25507 25510 22159 0 -1 1077944384 54 13167 0 0 0 0 5 3 20 0 15 0 222698137 11343855616 939460 33554432000 4194304 4196468 140731959481536 139718977119648 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25570] ppid=25507 vsize=11077984 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25570/stat : 25570 (java) S 25507 25510 22159 0 -1 1077944384 80 13167 0 0 0 0 5 3 20 0 15 0 222698137 11343855616 939460 33554432000 4194304 4196468 140731959481536 139718910006912 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25571] ppid=25507 vsize=11077984 memory=3757840 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25571/stat : 25571 (java) S 25507 25510 22159 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 222698140 11343855616 939460 33554432000 4194304 4196468 140731959481536 139718602611280 139720212768667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25572] ppid=25507 vsize=11077984 memory=3708 CPUtime=9.55 cores=1,3,5,7
/proc/25510/task/25572/stat : 25572 (java) S 25507 25510 22159 0 -1 1077944384 37720 13167 0 0 942 5 5 3 20 0 15 0 222698140 11343855616 939460 33554432000 4194304 4196468 140731959481536 139719449987184 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25573] ppid=25507 vsize=11077984 memory=60452 CPUtime=9.62 cores=1,3,5,7
/proc/25510/task/25573/stat : 25573 (java) S 25507 25510 22159 0 -1 1077944384 40992 13167 0 0 949 5 5 3 20 0 15 0 222698140 11343855616 939460 33554432000 4194304 4196468 140731959481536 139719448934384 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25574] ppid=25507 vsize=11077984 memory=3708 CPUtime=2.76 cores=1,3,5,7
/proc/25510/task/25574/stat : 25574 (java) S 25507 25510 22159 0 -1 1077944384 79721 13167 0 0 260 8 5 3 20 0 15 0 222698140 11343855616 939460 33554432000 4194304 4196468 140731959481536 139719379773808 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25575] ppid=25507 vsize=11077984 memory=60452 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25575/stat : 25575 (java) S 25507 25510 22159 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 222698140 11343855616 939460 33554432000 4194304 4196468 140731959481536 139718171814368 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25576] ppid=25507 vsize=11077984 memory=3757840 CPUtime=1.37 cores=1,3,5,7
/proc/25510/task/25576/stat : 25576 (java) S 25507 25510 22159 0 -1 1077944384 1812 13167 0 0 62 67 5 3 20 0 15 0 222698140 11343855616 939460 33554432000 4194304 4196468 140731959481536 139719378721712 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
Current children cumulated CPU time: 2367.61 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3757840 KiB

[startup+2262.3 s]
/proc/loadavg: 1.49 1.48 1.49 6/215 25798
/proc/meminfo: memFree=23252684/32770624 swapFree=67108804/67108860
[pid=25510] ppid=25507 vsize=11077984 memory=3757840 CPUtime=2430.5 cores=1,3,5,7
/proc/25510/stat : 25510 (java) S 25507 25510 22159 0 -1 1077944320 744070 13167 0 0 242643 399 5 3 20 0 15 0 222698125 11343855616 939460 33554432000 4194304 4196468 140731959481536 140731959464080 139720212750071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
/proc/25510/statm: 2769496 939460 3536 1 0 2731149 0
[pid=25510/tid=25563] ppid=25507 vsize=11077984 memory=3757840 CPUtime=2211.79 cores=1,3,5,7
/proc/25510/task/25563/stat : 25563 (java) R 25507 25510 22159 0 -1 4202560 240215 13167 0 0 221123 48 5 3 20 0 15 0 222698134 11343855616 939460 33554432000 4194304 4196468 140731959481536 139720184585088 139719751448493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25564] ppid=25507 vsize=11077984 memory=3757840 CPUtime=48.55 cores=1,3,5,7
/proc/25510/task/25564/stat : 25564 (java) S 25507 25510 22159 0 -1 1077944384 82560 13167 0 0 4778 69 5 3 20 0 15 0 222698135 11343855616 939460 33554432000 4194304 4196468 140731959481536 139720216992144 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25565] ppid=25507 vsize=11077984 memory=3757840 CPUtime=48.61 cores=1,3,5,7
/proc/25510/task/25565/stat : 25565 (java) S 25507 25510 22159 0 -1 1077944384 78654 13167 0 0 4787 66 5 3 20 0 15 0 222698135 11343855616 939460 33554432000 4194304 4196468 140731959481536 139720071710992 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25566] ppid=25507 vsize=11077984 memory=3757844 CPUtime=48.47 cores=1,3,5,7
/proc/25510/task/25566/stat : 25566 (java) S 25507 25510 22159 0 -1 1077944384 68864 13167 0 0 4773 66 5 3 20 0 15 0 222698135 11343855616 939460 33554432000 4194304 4196468 140731959481536 139720070658704 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25567] ppid=25507 vsize=11077984 memory=56 CPUtime=48.63 cores=1,3,5,7
/proc/25510/task/25567/stat : 25567 (java) S 25507 25510 22159 0 -1 1077944384 77547 13167 0 0 4786 69 5 3 20 0 15 0 222698135 11343855616 939460 33554432000 4194304 4196468 140731959481536 139720069605904 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25568] ppid=25507 vsize=11077984 memory=4088 CPUtime=1.67 cores=1,3,5,7
/proc/25510/task/25568/stat : 25568 (java) S 25507 25510 22159 0 -1 1077944384 29839 13167 0 0 152 7 5 3 20 0 15 0 222698136 11343855616 939460 33554432000 4194304 4196468 140731959481536 139719451040368 139720212761218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25569] ppid=25507 vsize=11077984 memory=3757840 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25569/stat : 25569 (java) S 25507 25510 22159 0 -1 1077944384 54 13167 0 0 0 0 5 3 20 0 15 0 222698137 11343855616 939460 33554432000 4194304 4196468 140731959481536 139718977119648 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25570] ppid=25507 vsize=11077984 memory=3708 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25570/stat : 25570 (java) S 25507 25510 22159 0 -1 1077944384 80 13167 0 0 0 0 5 3 20 0 15 0 222698137 11343855616 939460 33554432000 4194304 4196468 140731959481536 139718910006912 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25571] ppid=25507 vsize=11077984 memory=3757840 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25571/stat : 25571 (java) S 25507 25510 22159 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 222698140 11343855616 939460 33554432000 4194304 4196468 140731959481536 139718602611280 139720212768667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25572] ppid=25507 vsize=11077984 memory=3757840 CPUtime=9.6 cores=1,3,5,7
/proc/25510/task/25572/stat : 25572 (java) S 25507 25510 22159 0 -1 1077944384 40375 13167 0 0 946 6 5 3 20 0 15 0 222698140 11343855616 939460 33554432000 4194304 4196468 140731959481536 139719449987184 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25573] ppid=25507 vsize=11077984 memory=3757840 CPUtime=9.63 cores=1,3,5,7
/proc/25510/task/25573/stat : 25573 (java) S 25507 25510 22159 0 -1 1077944384 42105 13167 0 0 950 5 5 3 20 0 15 0 222698140 11343855616 939460 33554432000 4194304 4196468 140731959481536 139719448934384 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25574] ppid=25507 vsize=11077984 memory=3757840 CPUtime=2.76 cores=1,3,5,7
/proc/25510/task/25574/stat : 25574 (java) S 25507 25510 22159 0 -1 1077944384 79724 13167 0 0 260 8 5 3 20 0 15 0 222698140 11343855616 939460 33554432000 4194304 4196468 140731959481536 139719379773808 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25575] ppid=25507 vsize=11077984 memory=3757840 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25575/stat : 25575 (java) S 25507 25510 22159 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 222698140 11343855616 939460 33554432000 4194304 4196468 140731959481536 139718171814368 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25576] ppid=25507 vsize=11077984 memory=3757840 CPUtime=1.41 cores=1,3,5,7
/proc/25510/task/25576/stat : 25576 (java) S 25507 25510 22159 0 -1 1077944384 1858 13167 0 0 64 69 5 3 20 0 15 0 222698140 11343855616 939460 33554432000 4194304 4196468 140731959481536 139719378721712 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
Current children cumulated CPU time: 2430.5 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3757840 KiB

[startup+2322.3 s]
/proc/loadavg: 1.42 1.47 1.49 3/215 25821
/proc/meminfo: memFree=23277724/32770624 swapFree=67108804/67108860
[pid=25510] ppid=25507 vsize=11077984 memory=3757844 CPUtime=2493.19 cores=1,3,5,7
/proc/25510/stat : 25510 (java) S 25507 25510 22159 0 -1 1077944320 754909 13167 0 0 248910 401 5 3 20 0 15 0 222698125 11343855616 939461 33554432000 4194304 4196468 140731959481536 140731959464080 139720212750071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
/proc/25510/statm: 2769496 939461 3536 1 0 2731149 0
[pid=25510/tid=25563] ppid=25507 vsize=11077984 memory=3757844 CPUtime=2270.88 cores=1,3,5,7
/proc/25510/task/25563/stat : 25563 (java) R 25507 25510 22159 0 -1 4202560 243648 13167 0 0 227032 48 5 3 20 0 15 0 222698134 11343855616 939461 33554432000 4194304 4196468 140731959481536 139720184584528 139719749724653 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25564] ppid=25507 vsize=11077984 memory=3757844 CPUtime=49.44 cores=1,3,5,7
/proc/25510/task/25564/stat : 25564 (java) S 25507 25510 22159 0 -1 1077944384 83986 13167 0 0 4867 69 5 3 20 0 15 0 222698135 11343855616 939461 33554432000 4194304 4196468 140731959481536 139720216992144 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25565] ppid=25507 vsize=11077984 memory=4088 CPUtime=49.51 cores=1,3,5,7
/proc/25510/task/25565/stat : 25565 (java) S 25507 25510 22159 0 -1 1077944384 80283 13167 0 0 4876 67 5 3 20 0 15 0 222698135 11343855616 939461 33554432000 4194304 4196468 140731959481536 139720071710992 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25566] ppid=25507 vsize=11077984 memory=3757844 CPUtime=49.35 cores=1,3,5,7
/proc/25510/task/25566/stat : 25566 (java) S 25507 25510 22159 0 -1 1077944384 69798 13167 0 0 4861 66 5 3 20 0 15 0 222698135 11343855616 939461 33554432000 4194304 4196468 140731959481536 139720070658704 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25567] ppid=25507 vsize=11077984 memory=3757844 CPUtime=49.52 cores=1,3,5,7
/proc/25510/task/25567/stat : 25567 (java) S 25507 25510 22159 0 -1 1077944384 78059 13167 0 0 4875 69 5 3 20 0 15 0 222698135 11343855616 939461 33554432000 4194304 4196468 140731959481536 139720069605904 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25568] ppid=25507 vsize=11077984 memory=3757844 CPUtime=1.68 cores=1,3,5,7
/proc/25510/task/25568/stat : 25568 (java) S 25507 25510 22159 0 -1 1077944384 30223 13167 0 0 153 7 5 3 20 0 15 0 222698136 11343855616 939461 33554432000 4194304 4196468 140731959481536 139719451040368 139720212761218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25569] ppid=25507 vsize=11077984 memory=3757844 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25569/stat : 25569 (java) S 25507 25510 22159 0 -1 1077944384 54 13167 0 0 0 0 5 3 20 0 15 0 222698137 11343855616 939461 33554432000 4194304 4196468 140731959481536 139718977119648 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25570] ppid=25507 vsize=11077984 memory=3757844 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25570/stat : 25570 (java) S 25507 25510 22159 0 -1 1077944384 80 13167 0 0 0 0 5 3 20 0 15 0 222698137 11343855616 939461 33554432000 4194304 4196468 140731959481536 139718910006912 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25571] ppid=25507 vsize=11077984 memory=3757844 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25571/stat : 25571 (java) S 25507 25510 22159 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 222698140 11343855616 939461 33554432000 4194304 4196468 140731959481536 139718602611280 139720212768667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25572] ppid=25507 vsize=11077984 memory=3757844 CPUtime=9.61 cores=1,3,5,7
/proc/25510/task/25572/stat : 25572 (java) S 25507 25510 22159 0 -1 1077944384 41942 13167 0 0 947 6 5 3 20 0 15 0 222698140 11343855616 939461 33554432000 4194304 4196468 140731959481536 139719449987184 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25573] ppid=25507 vsize=11077984 memory=3757844 CPUtime=9.63 cores=1,3,5,7
/proc/25510/task/25573/stat : 25573 (java) S 25507 25510 22159 0 -1 1077944384 43020 13167 0 0 950 5 5 3 20 0 15 0 222698140 11343855616 939461 33554432000 4194304 4196468 140731959481536 139719448934384 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25574] ppid=25507 vsize=11077984 memory=3757844 CPUtime=2.76 cores=1,3,5,7
/proc/25510/task/25574/stat : 25574 (java) S 25507 25510 22159 0 -1 1077944384 79727 13167 0 0 260 8 5 3 20 0 15 0 222698140 11343855616 939461 33554432000 4194304 4196468 140731959481536 139719379773808 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25575] ppid=25507 vsize=11077984 memory=3757844 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25575/stat : 25575 (java) S 25507 25510 22159 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 222698140 11343855616 939461 33554432000 4194304 4196468 140731959481536 139718171814368 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25576] ppid=25507 vsize=11077984 memory=3708 CPUtime=1.45 cores=1,3,5,7
/proc/25510/task/25576/stat : 25576 (java) S 25507 25510 22159 0 -1 1077944384 1894 13167 0 0 66 71 5 3 20 0 15 0 222698140 11343855616 939461 33554432000 4194304 4196468 140731959481536 139719378721712 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
Current children cumulated CPU time: 2493.19 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3757844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2348 s]*
/proc/loadavg: 1.41 1.46 1.49 3/215 25821
/proc/meminfo: memFree=23312916/32770624 swapFree=67108804/67108860
[pid=25510] ppid=25507 vsize=11077984 memory=3757840 CPUtime=2520.06 cores=1,3,5,7
/proc/25510/stat : 25510 (java) S 25507 25510 22159 0 -1 1077944320 756332 13167 0 0 251597 401 5 3 20 0 15 0 222698125 11343855616 939460 33554432000 4194304 4196468 140731959481536 140731959464080 139720212750071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
/proc/25510/statm: 2769496 939460 3536 1 0 2731149 0
[pid=25510/tid=25563] ppid=25507 vsize=11077984 memory=6791534058613427641 CPUtime=2296.19 cores=1,3,5,7
/proc/25510/task/25563/stat : 25563 (java) R 25507 25510 22159 0 -1 4202560 244729 13167 0 0 229563 48 5 3 20 0 15 0 222698134 11343855616 939460 33554432000 4194304 4196468 140731959481536 139720184579824 139719749687973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25564] ppid=25507 vsize=11077984 memory=4126316290023845779 CPUtime=49.83 cores=1,3,5,7
/proc/25510/task/25564/stat : 25564 (java) S 25507 25510 22159 0 -1 1077944384 84030 13167 0 0 4906 69 5 3 20 0 15 0 222698135 11343855616 939460 33554432000 4194304 4196468 140731959481536 139720216992144 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25565] ppid=25507 vsize=11077984 memory=1784 CPUtime=49.89 cores=1,3,5,7
/proc/25510/task/25565/stat : 25565 (java) S 25507 25510 22159 0 -1 1077944384 80339 13167 0 0 4914 67 5 3 20 0 15 0 222698135 11343855616 939460 33554432000 4194304 4196468 140731959481536 139720071710992 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25566] ppid=25507 vsize=11077984 memory=1060 CPUtime=49.73 cores=1,3,5,7
/proc/25510/task/25566/stat : 25566 (java) S 25507 25510 22159 0 -1 1077944384 69847 13167 0 0 4899 66 5 3 20 0 15 0 222698135 11343855616 939460 33554432000 4194304 4196468 140731959481536 139720070658704 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25567] ppid=25507 vsize=11077984 memory=5804 CPUtime=49.89 cores=1,3,5,7
/proc/25510/task/25567/stat : 25567 (java) S 25507 25510 22159 0 -1 1077944384 78224 13167 0 0 4912 69 5 3 20 0 15 0 222698135 11343855616 939460 33554432000 4194304 4196468 140731959481536 139720069605904 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25568] ppid=25507 vsize=11077984 memory=3304 CPUtime=1.69 cores=1,3,5,7
/proc/25510/task/25568/stat : 25568 (java) S 25507 25510 22159 0 -1 1077944384 30246 13167 0 0 154 7 5 3 20 0 15 0 222698136 11343855616 939460 33554432000 4194304 4196468 140731959481536 139719451040368 139720212761218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25569] ppid=25507 vsize=11077984 memory=297237773746962458 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25569/stat : 25569 (java) S 25507 25510 22159 0 -1 1077944384 54 13167 0 0 0 0 5 3 20 0 15 0 222698137 11343855616 939460 33554432000 4194304 4196468 140731959481536 139718977119648 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25570] ppid=25507 vsize=11077984 memory=297237782420783417 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25570/stat : 25570 (java) S 25507 25510 22159 0 -1 1077944384 80 13167 0 0 0 0 5 3 20 0 15 0 222698137 11343855616 939460 33554432000 4194304 4196468 140731959481536 139718910006912 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25571] ppid=25507 vsize=11077984 memory=16099269136353865 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25571/stat : 25571 (java) S 25507 25510 22159 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 222698140 11343855616 939460 33554432000 4194304 4196468 140731959481536 139718602611280 139720212768667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25572] ppid=25507 vsize=11077984 memory=8244798168603584615 CPUtime=9.61 cores=1,3,5,7
/proc/25510/task/25572/stat : 25572 (java) S 25507 25510 22159 0 -1 1077944384 41942 13167 0 0 947 6 5 3 20 0 15 0 222698140 11343855616 939460 33554432000 4194304 4196468 140731959481536 139719449987184 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25573] ppid=25507 vsize=11077984 memory=6224377554777828200 CPUtime=9.63 cores=1,3,5,7
/proc/25510/task/25573/stat : 25573 (java) S 25507 25510 22159 0 -1 1077944384 43020 13167 0 0 950 5 5 3 20 0 15 0 222698140 11343855616 939460 33554432000 4194304 4196468 140731959481536 139719448934384 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25574] ppid=25507 vsize=11077984 memory=6224377554777828200 CPUtime=2.76 cores=1,3,5,7
/proc/25510/task/25574/stat : 25574 (java) S 25507 25510 22159 0 -1 1077944384 79728 13167 0 0 260 8 5 3 20 0 15 0 222698140 11343855616 939460 33554432000 4194304 4196468 140731959481536 139719379773808 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25575] ppid=25507 vsize=11077984 memory=5933036685933441643 CPUtime=0.08 cores=1,3,5,7
/proc/25510/task/25575/stat : 25575 (java) S 25507 25510 22159 0 -1 1077944384 3 13167 0 0 0 0 5 3 20 0 15 0 222698140 11343855616 939460 33554432000 4194304 4196468 140731959481536 139718171814368 139720212760277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
[pid=25510/tid=25576] ppid=25507 vsize=11077984 memory=8244798168603584615 CPUtime=1.46 cores=1,3,5,7
/proc/25510/task/25576/stat : 25576 (java) S 25507 25510 22159 0 -1 1077944384 1898 13167 0 0 67 71 5 3 20 0 15 0 222698140 11343855616 939460 33554432000 4194304 4196468 140731959481536 139719378721712 139720212761218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29986816 140731959487085 140731959489884 140731959489884 140731959492559 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3757840 KiB

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

[startup+2348.06 s]
# the end of solver process 25510 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.04 s, system=4.07857 s

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

Child status: 143
Real time (s): 2348.06
CPU time (s): 2520.12
CPU user time (s): 2516.04
CPU system time (s): 4.07857
CPU usage (%): 107.328
Max. virtual memory (cumulated for all children) (KiB): 11080692
Max. memory (cumulated for all children) (KiB): 3779432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.04
system time used= 4.07857
maximum resident set size= 3779432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 772015
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 69451
involuntary context switches= 3203


# summary of solver processes directly reported to runsolver:
#   pid: 25510
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.04
#   total CPU system time (s): 4.07857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3136 second user time and 22.7178 second system time

The end

Launcher Data 

Begin job on node105 at 2018-08-12 07:22:29
IDJOB=4304249
IDBENCH=141137
IDSOLVER=2780
FILE ID=node105/4304249-1534051349
RUNJOBID= node105-1534040018-23575
PBS_JOBID= 21036966
Free space on /tmp= 40696 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order60_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304249-1534051349/watcher-4304249-1534051349 -o /tmp/evaluation-result-4304249-1534051349/solver-4304249-1534051349 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534040018-23575 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=323005347 HOME/instance-4304249-1534051349.xml

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

MD5SUM BENCH= 2b7bed68bca9665ed3be29de24764d77
RANDOM SEED=323005347

node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27153036 kB
MemAvailable:   30456860 kB
Buffers:          109368 kB
Cached:          3451256 kB
SwapCached:           16 kB
Active:          3240856 kB
Inactive:        1821896 kB
Active(anon):    1454144 kB
Inactive(anon):   100532 kB
Active(file):    1786712 kB
Inactive(file):  1721364 kB
Unevictable:        7376 kB
Mlocked:            7376 kB
SwapTotal:      67108860 kB
SwapFree:       67108804 kB
Dirty:             34268 kB
Writeback:             0 kB
AnonPages:       1526280 kB
Mapped:            63376 kB
Shmem:             49748 kB
Slab:             251064 kB
SReclaimable:     223164 kB
SUnreclaim:        27900 kB
KernelStack:        3808 kB
PageTables:         8060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2644536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1253376 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 40672 MiB
End job on node105 at 2018-08-12 08:01:38