Trace number 4293230

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.8-SuperNG 2018-06-13SAT (TO)3275 2520.23 2368.26

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.99/0.74	c Concrete v3.8.1528841891564 running
401.62/362.07	o 3599
407.51/365.65	o 3598
411.87/369.14	o 3597
416.84/372.81	o 3596
420.64/376.17	o 3595
424.18/379.56	o 3594
428.29/383.06	o 3593
432.33/386.68	o 3592
436.65/390.50	o 3591
440.00/393.89	o 3590
443.97/397.55	o 3589
448.02/401.24	o 3588
452.14/404.70	o 3587
455.86/408.32	o 3586
460.03/412.10	o 3585
464.38/415.97	o 3584
467.98/419.56	o 3583
471.95/423.28	o 3582
476.31/427.23	o 3581
480.53/431.02	o 3580
484.33/434.85	o 3579
488.27/438.51	o 3578
492.47/442.46	o 3577
496.18/446.17	o 3576
500.42/450.14	o 3575
504.49/453.99	o 3574
509.05/458.08	o 3573
512.95/462.00	o 3572
517.21/465.93	o 3571
521.32/469.76	o 3570
525.12/473.54	o 3569
529.80/477.81	o 3568
533.88/481.68	o 3567
538.42/485.81	o 3566
542.53/489.90	o 3565
546.90/494.05	o 3564
551.31/498.15	o 3563
555.31/502.12	o 3562
560.07/506.66	o 3561
564.36/510.60	o 3560
568.46/514.72	o 3559
572.79/518.87	o 3558
577.66/523.45	o 3557
582.48/527.91	o 3556
586.53/532.00	o 3555
590.99/536.19	o 3554
595.27/540.16	o 3553
599.97/544.65	o 3552
604.30/548.85	o 3551
608.76/553.03	o 3550
613.27/557.27	o 3549
617.67/561.67	o 3548
622.02/565.71	o 3547
627.11/570.50	o 3546
631.85/574.99	o 3545
636.35/579.42	o 3544
641.01/583.84	o 3543
646.02/588.50	o 3542
650.42/592.92	o 3541
654.98/597.28	o 3540
660.36/602.34	o 3539
665.28/607.00	o 3538
670.08/611.73	o 3537
675.13/616.54	o 3536
679.92/621.05	o 3535
685.06/625.83	o 3534
689.56/630.38	o 3533
694.65/635.14	o 3532
699.86/640.08	o 3531
705.20/645.03	o 3530
710.09/649.92	o 3529
715.17/654.79	o 3528
720.59/659.84	o 3527
725.29/664.51	o 3526
730.33/669.33	o 3525
735.31/674.09	o 3524
740.42/678.80	o 3523
745.12/683.51	o 3522
750.56/688.74	o 3521
756.06/693.95	o 3520
761.69/699.24	o 3519
766.70/704.26	o 3518
771.91/709.22	o 3517
781.29/715.59	o 3516
786.29/720.36	o 3515
791.10/725.12	o 3514
796.42/730.28	o 3513
801.78/735.39	o 3512
806.78/740.24	o 3511
811.80/745.15	o 3510
818.19/751.23	o 3509
823.89/756.65	o 3508
829.37/761.75	o 3507
834.58/766.98	o 3506
840.54/772.68	o 3505
846.27/778.09	o 3504
851.72/783.19	o 3503
857.32/788.75	o 3502
862.90/794.08	o 3501
868.71/799.56	o 3500
874.46/804.91	o 3499
879.87/810.36	o 3498
885.64/815.81	o 3497
890.96/820.82	o 3496
899.67/828.68	o 3495
905.57/834.55	o 3494
911.64/840.28	o 3493
918.72/846.98	o 3492
925.15/852.93	o 3491
931.23/858.69	o 3490
937.82/864.89	o 3489
944.15/870.87	o 3488
950.02/876.61	o 3487
956.15/882.43	o 3486
961.89/887.89	o 3485
968.37/893.97	o 3484
974.45/899.61	o 3483
980.36/905.50	o 3482
986.55/911.48	o 3481
992.59/917.17	o 3480
998.93/923.17	o 3479
1008.52/931.70	o 3478
1015.55/938.26	o 3477
1022.19/944.44	o 3476
1029.14/951.00	o 3475
1035.72/957.10	o 3474
1042.68/963.53	o 3473
1049.77/970.14	o 3472
1056.44/976.39	o 3471
1062.65/982.54	o 3470
1068.94/988.43	o 3469
1075.73/994.86	o 3468
1082.43/1001.16	o 3467
1088.91/1007.20	o 3466
1095.62/1013.56	o 3465
1102.13/1019.67	o 3464
1108.58/1025.61	o 3463
1119.33/1033.02	o 3462
1125.37/1038.91	o 3461
1131.94/1045.21	o 3460
1138.33/1051.35	o 3459
1146.40/1059.04	o 3458
1153.70/1066.07	o 3457
1160.20/1072.21	o 3456
1167.46/1079.14	o 3455
1174.61/1085.90	o 3454
1181.56/1092.55	o 3453
1188.23/1098.88	o 3452
1195.41/1105.64	o 3451
1202.70/1112.56	o 3450
1209.11/1118.92	o 3449
1215.31/1124.89	o 3448
1222.43/1131.65	o 3447
1228.97/1137.88	o 3446
1236.14/1144.69	o 3445
1243.26/1151.40	o 3444
1249.77/1157.93	o 3443
1256.41/1164.34	o 3442
1263.41/1171.05	o 3441
1270.20/1177.64	o 3440
1276.62/1183.85	o 3439
1282.96/1189.98	o 3438
1289.63/1196.37	o 3437
1296.23/1202.98	o 3436
1302.41/1209.00	o 3435
1313.77/1218.91	o 3434
1321.12/1225.76	o 3433
1328.96/1233.06	o 3432
1336.27/1239.86	o 3431
1343.89/1246.91	o 3430
1350.99/1253.52	o 3429
1358.20/1260.27	o 3428
1365.80/1267.33	o 3427
1373.37/1274.42	o 3426
1381.38/1281.47	o 3425
1389.01/1288.38	o 3424
1396.07/1295.01	o 3423
1402.83/1301.50	o 3422
1409.87/1308.34	o 3421
1416.51/1314.78	o 3420
1423.26/1321.22	o 3419
1430.10/1327.83	o 3418
1436.75/1334.22	o 3417
1443.81/1341.10	o 3416
1451.14/1348.19	o 3415
1457.85/1354.67	o 3414
1464.89/1361.42	o 3413
1471.74/1368.05	o 3412
1478.88/1374.99	o 3411
1485.93/1381.77	o 3410
1492.53/1388.37	o 3409
1499.31/1394.94	o 3408
1506.28/1401.78	o 3407
1512.66/1407.98	o 3406
1521.74/1416.31	o 3405
1528.94/1423.18	o 3404
1536.23/1430.04	o 3403
1543.63/1437.03	o 3402
1551.04/1444.02	o 3401
1558.13/1450.80	o 3400
1565.35/1457.50	o 3399
1572.06/1464.29	o 3398
1578.98/1470.83	o 3397
1586.10/1477.60	o 3396
1593.13/1484.32	o 3395
1600.48/1491.34	o 3394
1607.52/1498.03	o 3393
1614.46/1504.66	o 3392
1621.74/1511.52	o 3391
1628.60/1518.00	o 3390
1635.74/1524.64	o 3389
1642.55/1531.41	o 3388
1648.93/1537.69	o 3387
1655.62/1544.16	o 3386
1662.23/1550.55	o 3385
1668.37/1556.40	o 3384
1675.12/1562.90	o 3383
1682.19/1569.76	o 3382
1688.39/1575.94	o 3381
1695.18/1582.53	o 3380
1701.90/1589.03	o 3379
1708.64/1595.59	o 3378
1714.85/1601.76	o 3377
1720.91/1607.69	o 3376
1727.01/1613.57	o 3375
1733.56/1619.82	o 3374
1740.21/1626.29	o 3373
1746.12/1632.16	o 3372
1752.72/1638.58	o 3371
1772.69/1652.64	o 3370
1780.23/1659.97	o 3369
1787.69/1667.16	o 3368
1794.71/1674.07	o 3367
1802.37/1681.42	o 3366
1809.85/1688.64	o 3365
1817.65/1696.13	o 3364
1825.33/1703.52	o 3363
1833.25/1711.14	o 3362
1840.75/1718.36	o 3361
1848.48/1725.70	o 3360
1856.52/1733.41	o 3359
1863.66/1740.24	o 3358
1871.33/1747.59	o 3357
1878.99/1754.90	o 3356
1886.09/1761.95	o 3355
1892.65/1768.26	o 3354
1900.44/1775.71	o 3353
1907.44/1782.57	o 3352
1914.76/1789.66	o 3351
1921.68/1796.34	o 3350
1928.62/1803.09	o 3349
1935.87/1810.06	o 3348
1943.50/1817.49	o 3347
1950.56/1824.22	o 3346
1957.38/1831.01	o 3345
1964.65/1838.15	o 3344
1971.45/1844.74	o 3343
1978.08/1851.18	o 3342
1985.23/1858.02	o 3341
1992.38/1864.97	o 3340
1998.69/1871.22	o 3339
2006.07/1878.43	o 3338
2012.59/1884.74	o 3337
2019.72/1891.67	o 3336
2026.78/1898.50	o 3335
2033.08/1904.79	o 3334
2040.38/1911.83	o 3333
2047.28/1918.51	o 3332
2054.42/1925.42	o 3331
2061.18/1932.15	o 3330
2068.30/1939.11	o 3329
2086.14/1954.09	o 3328
2094.17/1961.59	o 3327
2102.58/1969.38	o 3326
2110.98/1977.11	o 3325
2119.00/1984.59	o 3324
2134.18/1994.58	o 3323
2142.38/2002.53	o 3322
2151.06/2010.97	o 3321
2159.66/2019.09	o 3320
2167.28/2026.44	o 3319
2175.11/2034.01	o 3318
2183.12/2041.89	o 3317
2191.02/2049.54	o 3316
2199.03/2057.39	o 3315
2206.62/2064.78	o 3314
2214.32/2072.24	o 3313
2222.43/2080.12	o 3312
2230.53/2088.04	o 3311
2238.03/2095.32	o 3310
2246.13/2103.21	o 3309
2254.54/2111.45	o 3308
2263.07/2119.70	o 3307
2271.09/2127.55	o 3306
2278.42/2134.63	o 3305
2285.42/2141.66	o 3304
2292.68/2148.72	o 3303
2300.67/2156.56	o 3302
2308.29/2163.99	o 3301
2316.22/2171.64	o 3300
2324.16/2179.34	o 3299
2331.37/2186.58	o 3298
2339.04/2194.08	o 3297
2347.02/2201.81	o 3296
2354.84/2209.44	o 3295
2362.69/2217.01	o 3294
2370.48/2224.88	o 3293
2377.75/2232.00	o 3292
2386.04/2240.01	o 3291
2394.45/2248.28	o 3290
2402.39/2255.91	o 3289
2409.09/2262.65	o 3288
2416.85/2270.21	o 3287
2424.36/2277.55	o 3286
2432.20/2285.16	o 3285
2440.03/2292.55	o 3284
2447.54/2300.08	o 3283
2454.92/2307.20	o 3282
2462.75/2314.87	o 3281
2470.91/2322.76	o 3280
2478.11/2329.92	o 3279
2491.39/2341.83	o 3278
2499.61/2349.59	o 3277
2508.27/2357.58	o 3276
2517.05/2365.72	o 3275
2520.14/2368.22	Exception in thread "main" java.util.concurrent.TimeoutException
2520.14/2368.22		at concrete.MAC.mac(MAC.scala:188)
2520.14/2368.22		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.14/2368.22		at scala.util.Try$.apply(Try.scala:209)
2520.14/2368.22		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.14/2368.22		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.14/2368.22		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.14/2368.22		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.14/2368.22		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.14/2368.22		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.14/2368.22		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.14/2368.22		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.14/2368.22		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.14/2368.22		at concrete.MAC.oneRun(MAC.scala:253)
2520.14/2368.22		at concrete.MAC.nextSolution(MAC.scala:272)
2520.14/2368.22		at concrete.MAC.nextSolution(MAC.scala:355)
2520.14/2368.22		at concrete.Solver.hasNext(Solver.scala:166)
2520.14/2368.22		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.14/2368.22		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.14/2368.22		at concrete.Solver.foreach(Solver.scala:68)
2520.14/2368.22		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.14/2368.22		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.14/2368.22		at scala.util.Success.map(Try.scala:209)
2520.14/2368.22		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.14/2368.22		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.14/2368.22		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.14/2368.22		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.14/2368.22		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.14/2368.22		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.14/2368.22		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.14/2368.22		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.14/2368.22		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.14/2368.22		at scala.collection.immutable.List.foreach(List.scala:389)
2520.14/2368.22		at scala.App.main(App.scala:76)
2520.14/2368.22		at scala.App.main$(App.scala:74)
2520.14/2368.22		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.14/2368.22		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.14/2368.23	v <instantiation cost="3275">
2520.14/2368.23	v       <list>
2520.14/2368.23	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.14/2368.23	v       </list>
2520.14/2368.23	v       <values>
2520.14/2368.23	v         40 23 8 31 13 10 11 3274 27 14 34 22 43 9 32 15 24 7 0 44 3270 6 33 53 3275 26 48 41 39 38 3268 25 3269 47 36 29 12 19 3 16 21 51 35 45 5 37 54 3272 3273 4 1 18 64 28 2 42 17 20 30 56 1 34 21 6 14 48 38 3270 10 26 17 42 18 13 59 23 2 15 52 7 3274 4 0 22 60 25 9 40 32 33 57 37 20 36 41 27 39 50 53 47 29 8 58 43 45 28 31 3271 35 19 30 3 5 12 3275 49 16 24 11 54 28 44 35 22 52 39 18 3267 7 5 32 47 3270 59 23 37 30 27 8 1 6 41 15 57 53 36 14 3 38 45 31 10 24 49 51 56 62 25 55 19 11 58 50 12 54 42 34 4 43 9 16 21 2 13 40 20 46 0 48 17 41 55 47 18 43 51 26 49 38 10 61 40 45 35 58 25 3273 19 12 23 8 2 32 34 11 56 42 20 14 52 17 4 22 28 50 15 53 46 36 27 5 16 9 30 48 24 44 3269 3 37 57 3268 13 33 54 6 31 21 0 1 10 52 28 15 7 32 42 50 4 24 40 46 48 3270 6 17 11 22 2 37 3273 26 3275 30 13 34 45 57 56 23 59 5 58 19 25 21 1 27 18 33 49 3271 44 38 16 3274 29 20 54 35 39 12 8 3 31 14 0 9 55 47 60 27 43 21 2 18 31 16 13 23 47 3275 19 54 24 30 48 44 5 39 20 11 3274 7 37 17 50 14 46 41 3271 22 56 42 9 34 26 33 45 10 15 57 55 49 6 51 3273 1 52 3 0 4 3272 35 28 25 29 8 61 12 4 1 52 26 37 40 45 10 6 28 18 56 47 24 44 9 23 35 17 43 36 51 3272 33 19 3271 3274 29 20 3270 30 13 46 25 16 32 8 42 5 50 7 39 2 34 31 12 0 11 3269 62 3 22 27 3273 41 38 21 15 14 3275 27 56 17 42 22 25 10 5 46 37 58 50 32 33 30 49 40 14 41 19 3272 3274 48 45 16 51 8 12 36 9 24 26 11 62 31 6 4 3 28 35 47 21 7 15 34 39 43 18 20 13 29 1 59 23 53 3275 44 38 2 0 9 41 25 14 31 21 3269 17 49 54 11 57 35 40 34 19 10 6 28 2 47 3271 37 39 20 48 24 1 15 0 8 3 52 43 42 22 30 38 13 7 3270 27 4 33 29 3273 59 3275 3272 16 18 5 3274 53 32 45 12 23 36 26 42 45 57 25 27 47 5 3269 3267 16 0 33 17 15 1 51 39 48 21 56 37 3272 26 11 7 22 12 38 13 18 3274 28 53 60 24 4 41 32 61 9 30 2 3273 31 3275 59 20 36 44 10 3268 55 3 6 8 3271 23 19 43 14 58 54 49 34 29 23 48 0 22 3271 28 4 6 3275 2 52 26 20 11 15 45 53 3269 27 50 3272 1 59 42 63 18 19 21 14 3 46 40 36 12 17 51 10 47 35 7 9 24 33 8 3273 3270 3274 62 32 30 5 25 31 16 13 31 38 22 39 3 45 33 14 41 20 24 12 13 32 53 50 17 46 1 18 43 3275 4 21 25 15 52 55 35 7 3273 3271 26 23 37 10 5 28 58 29 56 36 11 6 60 47 42 54 19 3274 44 16 9 34 0 63 51 2 27 57 15 3274 26 48 4 33 3275 35 53 49 1 41 37 45 20 3269 13 9 24 36 16 43 38 29 28 55 44 51 21 40 60 54 30 11 2 18 52 14 27 56 10 42 0 32 47 25 17 23 46 12 31 7 34 8 5 19 22 6 39 3 29 32 45 28 56 27 12 41 3268 3274 60 31 16 0 51 53 34 42 33 35 44 55 23 17 30 3 5 7 43 14 10 49 6 24 3275 25 3271 8 20 22 58 50 1 19 18 15 11 59 61 3272 13 46 21 39 47 2 52 26 9 4 17 40 34 23 24 30 56 25 42 38 33 1 31 11 57 2 28 8 59 27 19 48 41 4 14 54 7 16 47 39 20 44 35 0 6 9 43 37 49 12 53 46 3274 5 21 29 51 3 45 52 3271 15 3273 26 13 18 60 22 10 50 3272 24 36 32 61 2 40 3268 3270 8 15 6 5 21 13 33 35 3273 3275 50 0 10 43 14 39 37 17 26 48 1 4 30 12 27 7 3269 31 23 51 38 41 52 3 20 57 11 19 28 42 22 25 45 29 9 3274 34 49 16 18 58 13 36 10 5 6 16 3272 56 12 29 53 24 7 23 39 44 14 2 54 3275 34 3273 28 32 48 33 38 52 26 19 0 1 9 22 30 20 42 47 21 11 60 17 40 8 41 27 15 3274 31 55 37 61 18 4 25 57 35 50 3 46 49 2 32 38 12 9 16 40 5 11 50 39 21 53 60 43 18 17 55 59 52 3 13 3271 6 8 41 36 30 48 27 3275 31 44 1 24 33 35 23 28 46 54 20 14 37 34 57 26 47 58 61 0 15 42 22 7 4 45 19 29 20 43 58 9 1 7 35 3273 3 21 10 51 8 5 37 3268 19 36 38 0 41 17 52 3269 33 16 3275 54 25 31 14 15 42 6 40 11 27 39 29 4 23 3270 32 24 59 22 30 13 2 45 34 3272 26 50 3271 12 56 18 47 28 14 22 60 8 9 1 27 31 35 19 4 10 33 34 25 32 20 3272 16 26 29 30 5 54 23 47 3 6 40 12 3270 18 28 51 13 17 2 15 3274 36 3273 24 42 41 49 21 45 58 50 0 55 53 61 3271 11 48 57 3275 37 7 62 39 19 1 30 11 7 60 21 3270 54 9 42 8 5 34 3274 38 6 10 3 36 29 37 45 4 25 3273 27 51 58 16 43 46 48 31 13 18 32 14 35 0 61 2 50 40 41 12 24 47 15 3271 22 44 33 23 26 53 17 20 47 21 3 4 25 36 58 3272 20 2 31 48 1 27 14 0 12 50 29 16 40 18 35 43 32 45 15 60 52 6 26 3274 44 39 8 5 34 7 22 64 3275 30 54 3271 24 17 28 38 9 33 11 19 23 41 37 13 10 3273 42 49 53 26 3274 59 0 3270 17 22 3269 3273 7 23 46 28 16 13 44 30 49 20 27 32 9 35 47 19 10 3272 54 11 36 21 1 2 5 3275 14 58 25 3 12 45 8 50 4 3271 40 41 18 15 24 6 31 55 43 29 37 52 56 33 37 42 13 55 20 38 15 61 23 1 21 54 11 22 17 6 4 40 18 9 2 7 8 51 35 24 3273 62 28 44 19 39 16 41 12 14 47 56 0 46 31 3 34 3275 33 32 36 45 59 29 60 26 43 5 52 27 58 10 25 30 3275 3269 15 47 19 17 3271 58 50 0 3270 14 26 43 10 3273 32 18 20 12 21 22 2 16 44 42 37 9 34 8 45 46 40 33 49 48 3274 24 11 1 38 35 41 39 3 3268 13 27 5 6 28 30 57 31 29 4 36 51 7 23 50 51 27 3 23 22 28 12 2 9 13 17 54 56 52 5 31 39 15 6 7 42 3273 38 46 30 33 47 41 35 37 53 14 4 20 8 44 48 19 40 1 3275 57 10 58 62 49 32 11 18 21 34 25 0 59 61 55 43 24 45 35 28 29 56 21 37 43 26 8 52 5 20 3269 14 40 4 25 47 13 3272 15 34 42 0 24 3275 11 23 16 27 12 2 54 3 33 36 6 31 30 44 18 32 22 17 9 38 55 39 53 50 41 10 7 51 45 1 19 48 49 59 2 17 3272 24 49 54 3273 28 45 42 43 19 12 30 48 16 22 13 47 25 59 62 50 46 9 29 3271 56 33 36 34 35 7 53 27 41 21 4 26 20 8 5 37 18 38 0 10 14 23 1 51 57 32 11 39 15 40 3 6 3274 12 20 23 2 48 46 29 11 3273 41 38 26 3274 52 54 1 45 53 31 55 30 5 6 9 22 18 43 42 3 13 21 61 0 64 15 37 19 57 16 25 50 28 24 4 39 60 14 8 33 17 36 47 3271 3275 10 3272 7 49 32 34 52 6 5 45 35 13 3274 30 17 22 26 36 20 38 12 7 3271 37 3272 14 33 1 3 2 42 21 16 18 55 25 9 40 3275 54 44 59 11 29 41 8 27 4 10 3273 19 31 3269 57 58 23 3267 50 0 43 24 51 39 3270 15 32 30 16 24 12 8 35 0 15 54 18 6 28 3272 26 22 39 3270 11 3273 13 23 60 20 42 49 10 40 27 4 3 44 14 25 1 3269 7 17 61 33 21 57 19 5 48 52 36 32 62 34 43 9 31 38 29 50 41 3274 37 3275 2 11 18 20 3275 53 12 1 8 0 46 3272 43 22 4 55 24 37 49 14 5 3271 27 19 6 2 9 32 15 3269 29 13 45 3268 10 26 3270 3273 16 39 30 59 61 23 51 28 50 56 7 25 42 3274 40 44 47 34 3 33 17 21 38 39 35 42 30 3270 8 64 19 18 12 48 32 44 2 15 11 41 0 3 54 5 9 53 3273 3274 40 20 34 17 22 47 38 4 7 28 13 16 45 37 31 14 56 49 46 27 26 21 51 29 36 33 3275 55 25 23 24 6 3271 1 10 25 7 50 29 17 42 41 3 3274 47 20 5 2 12 49 21 8 61 27 46 31 44 30 18 36 14 39 45 11 43 6 51 37 35 0 57 23 26 34 32 4 53 52 55 56 54 1 15 3275 24 22 38 19 10 16 9 13 28 33 60 32 48 0 3272 41 53 21 1 58 33 46 29 9 51 36 61 16 26 39 3274 4 24 27 15 3 5 18 11 57 47 43 31 19 34 45 30 28 44 40 3273 17 25 12 23 8 13 22 3270 56 7 35 2 6 14 42 10 50 62 20 52 51 61 56 40 32 28 49 42 25 39 3 30 23 44 45 55 36 41 26 47 57 8 12 3275 34 2 0 10 6 24 15 17 62 50 46 54 7 59 35 43 37 31 19 29 53 33 48 21 22 60 20 27 16 1 4 11 38 5 13 18 55 37 30 60 40 5 6 3275 56 25 62 11 15 41 50 38 47 24 23 49 13 29 21 28 18 3274 2 17 44 46 7 34 10 32 22 1 51 20 43 39 3 9 31 27 36 45 58 19 0 26 3273 35 4 16 14 33 8 42 12 53 26 3273 3275 3271 5 0 20 39 32 27 30 7 50 57 35 60 43 29 61 41 17 25 49 3 3270 12 36 19 31 4 56 52 2 18 10 47 15 3272 9 13 22 48 16 11 3269 8 6 24 14 34 45 44 33 21 1 62 28 3274 23 40 23 30 44 10 38 3 14 43 48 31 12 18 25 19 47 54 29 57 36 21 55 45 46 5 8 52 4 50 22 32 42 33 27 26 11 0 61 40 56 3274 39 60 15 13 3272 2 7 9 17 59 49 28 41 37 6 16 24 1 34 51 48 33 55 0 54 43 19 29 11 15 35 38 3 36 26 12 7 5 25 60 3275 31 14 10 41 1 6 28 8 58 46 50 34 52 56 2 45 30 4 57 9 3273 51 3272 20 44 23 16 40 39 59 32 24 18 27 3274 3271 13 22 37 0 3268 3271 54 28 44 23 24 51 3275 29 8 27 17 41 36 38 55 3274 32 1 37 11 12 10 43 22 39 3270 20 5 6 33 58 3267 3273 3272 13 47 53 2 26 18 7 14 19 4 35 16 25 42 49 30 48 9 40 3 34 59 31 22 49 3273 13 16 3271 47 21 55 7 9 2 10 25 11 58 1 3 43 30 42 12 18 48 31 32 23 37 63 28 3269 24 50 8 34 35 0 5 15 59 6 3272 53 56 44 4 46 52 3274 14 17 20 40 45 51 36 3275 39 29 27 34 3272 14 35 36 24 50 4 40 48 39 13 38 46 28 3 33 23 45 11 61 21 31 49 26 27 19 53 2 16 41 55 15 5 32 51 37 43 8 6 62 1 3275 42 22 10 9 0 57 20 7 25 47 30 12 17 18 29 52 44 24 15 4 20 42 29 9 55 39 35 57 59 53 16 3274 22 5 28 7 8 58 46 47 40 21 3273 62 33 10 30 2 36 49 31 19 23 60 54 6 18 32 34 56 0 12 14 3 37 1 27 26 13 3275 17 3272 43 41 25 38 11 33 5 38 50 11 4 13 20 44 55 2 25 29 18 61 31 21 1 60 51 24 52 16 36 17 35 49 48 0 3274 23 58 32 45 53 3 22 34 42 62 28 12 39 9 26 30 37 6 10 41 40 14 46 7 19 54 47 27 8 15 16 12 39 11 64 3274 46 6 19 53 14 3 0 10 33 41 58 54 42 24 9 23 44 47 51 13 61 5 3275 34 1 27 29 55 4 50 32 21 7 26 52 43 28 25 2 20 18 17 37 31 8 3270 36 38 35 3273 15 3272 40 22 36 25 41 3274 34 26 3 57 61 6 16 15 3271 39 9 47 51 12 40 22 14 20 55 3272 43 3270 28 13 50 56 11 8 38 63 23 33 10 49 52 0 42 18 29 1 30 58 2 60 7 5 19 3273 37 46 17 35 45 4 44 21 45 0 6 3268 15 3272 8 38 1 34 59 21 4 29 7 20 42 3274 32 3273 18 19 57 23 3269 49 27 3270 24 26 28 47 51 37 52 12 3275 9 14 55 3271 13 25 22 11 16 33 2 39 56 10 17 50 40 3 31 30 35 46 5 19 53 2 16 26 20 34 13 52 30 8 55 51 7 4 14 3275 33 9 42 62 56 45 50 58 23 31 49 29 3273 3 43 36 21 18 28 35 17 10 37 0 41 46 3274 15 1 12 22 6 11 32 24 48 3272 38 47 27 40 5 25 6 50 51 3270 47 3269 4 18 24 3 3275 45 34 1 31 8 0 16 35 38 22 13 54 3268 5 28 29 3271 3274 49 40 41 55 15 39 43 9 11 2 42 20 44 3272 52 23 46 25 10 32 21 27 56 12 19 3273 30 14 7 58 36 3 19 48 17 46 56 57 2 36 50 37 53 14 6 18 10 15 60 58 45 32 39 62 13 29 0 30 8 23 5 16 9 47 12 38 52 20 1 54 41 61 55 59 44 40 43 35 25 21 3275 4 33 49 22 7 28 34 11 51 24 57 11 18 43 3268 49 55 47 33 13 19 52 24 3272 56 3270 3269 10 4 3 12 15 22 3274 27 7 21 3275 3273 37 50 32 39 20 3271 38 25 0 1 34 26 6 14 53 17 23 16 29 30 28 2 8 54 58 44 60 5 36 31 9 54 31 7 44 55 34 24 23 37 32 36 3274 39 49 8 35 3 3269 19 29 26 3270 51 25 4 41 13 22 18 10 3272 12 17 30 14 42 38 53 46 2 16 11 3271 59 0 6 47 5 15 40 3275 9 28 27 20 21 1 33 45 3273 21 13 16 37 3272 60 22 9 14 56 25 35 3275 50 3 26 6 4 44 17 10 0 40 59 1 39 55 46 12 15 51 48 18 3273 3270 19 29 2 31 45 24 38 36 58 43 7 5 42 27 3271 52 23 11 20 49 8 32 30 3274 41 8 29 9 49 58 6 2 45 57 60 22 34 41 31 0 18 59 21 10 40 51 35 1 26 3273 11 56 24 7 42 39 20 3271 13 17 16 36 3268 38 3275 19 23 27 3 25 5 50 30 4 54 12 3269 14 52 15 32 43 46 28 3272 18 59 12 7 10 3273 63 27 3275 57 45 0 49 20 19 3274 50 31 22 34 11 33 25 8 3271 6 35 2 53 21 29 23 13 38 47 40 46 52 24 5 43 15 17 28 32 3 39 56 41 30 14 37 1 36 26 58 9 44 4 16 7 60 33 3273 59 15 25 32 9 3272 23 27 36 3 21 42 56 51 30 4 38 28 3271 19 40 44 34 43 1 2 22 0 8 16 29 3274 50 12 3275 48 55 14 3270 47 10 35 26 49 13 46 5 11 17 24 18 37 20 3269 54 6 43 47 1 3269 18 19 36 33 30 4 27 16 40 37 46 28 49 45 50 31 35 14 7 52 12 20 51 0 5 17 3275 11 3 9 3268 3272 24 22 44 15 25 3274 6 21 13 41 38 48 26 8 23 29 10 2 57 59 42 32 3273 55 38 4 11 41 33 14 30 3271 15 17 49 60 28 47 29 40 27 3275 46 48 39 16 24 1 0 3269 3272 44 9 3268 25 42 5 61 43 26 3 10 50 23 13 7 21 37 51 18 8 31 3270 32 6 54 20 3274 36 22 2 12 35 19 5 3 46 36 44 3275 53 7 16 40 42 49 30 48 43 27 9 25 3268 33 28 61 10 20 38 31 26 4 19 54 32 29 23 3274 35 39 18 6 17 24 34 22 13 3269 1 3270 3271 3273 12 2 3272 51 60 15 21 0 11 14 41 8
2520.14/2368.23	v       </values>
2520.14/2368.23	v     </instantiation>
2520.14/2368.23	s SATISFIABLE

Verifier Data 

OK	3275

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293230-1532308949/watcher-4293230-1532308949 -o /tmp/evaluation-result-4293230-1532308949/solver-4293230-1532308949 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532294157-6740 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1050905234 -superng HOME/instance-4293230-1532308949.xml 

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

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


[startup+0.101753 s]*
/proc/loadavg: 2.04 1.87 2.38 2/207 9435
/proc/meminfo: memFree=18067768/32770624 swapFree=67108860/67108860
[pid=9378] ppid=9375 vsize=9972712 memory=17216 CPUtime=0.09 cores=1,3,5,7
/proc/9378/stat : 9378 (java) S 9375 9378 6708 0 -1 1077944320 4453 12859 0 0 1 0 5 3 20 0 6 0 48458059 10212057088 4304 33554432000 4194304 4196468 140725049179312 140725049161856 139800451161847 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
/proc/9378/statm: 2493178 4304 1934 1 0 2481616 0
[pid=9378/tid=9431] ppid=9375 vsize=9972712 memory=-8962289447248117697 CPUtime=0.09 cores=1,3,5,7
/proc/9378/task/9431/stat : 9431 (java) R 9375 9378 6708 0 -1 4202560 2289 12859 0 0 1 0 5 3 20 0 6 0 48458068 10212057088 4304 33554432000 4194304 4196468 140725049179312 139800422998608 139800435242334 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9432] ppid=9375 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9432/stat : 9432 (java) S 9375 9378 6708 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 6 0 48458069 10212057088 4370 33554432000 4194304 4196468 140725049179312 139800455404432 139800451172053 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9433] ppid=9375 vsize=9972712 memory=139742978401920 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9433/stat : 9433 (java) S 9375 9378 6708 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 6 0 48458069 10212057088 4370 33554432000 4194304 4196468 140725049179312 139800024374032 139800451172053 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9434] ppid=9375 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9434/stat : 9434 (java) S 9375 9378 6708 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 6 0 48458069 10212057088 4370 33554432000 4194304 4196468 140725049179312 139800023321744 139800451172053 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9435] ppid=9375 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9435/stat : 9435 (java) S 9375 9378 6708 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 6 0 48458069 10212057088 4370 33554432000 4194304 4196468 140725049179312 139800022268944 139800451172053 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17216 KiB

[startup+0.21002 s]*
/proc/loadavg: 2.04 1.87 2.38 3/216 9444
/proc/meminfo: memFree=18045160/32770624 swapFree=67108860/67108860
[pid=9378] ppid=9375 vsize=10819896 memory=47092 CPUtime=0.26 cores=1,3,5,7
/proc/9378/stat : 9378 (java) S 9375 9378 6708 0 -1 1077944320 8452 12859 0 0 17 1 5 3 20 0 15 0 48458059 11079573504 11707 33554432000 4194304 4196468 140725049179312 140725049161856 139800451161847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
/proc/9378/statm: 2704974 11773 2965 1 0 2667397 0
[pid=9378/tid=9431] ppid=9375 vsize=10821524 memory=8514701219931451533 CPUtime=0.19 cores=1,3,5,7
/proc/9378/task/9431/stat : 9431 (java) R 9375 9378 6708 0 -1 4202560 5512 12859 0 0 10 1 5 3 20 0 15 0 48458068 11081240576 12169 33554432000 4194304 4196468 140725049179312 139800422986656 139800443472864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9432] ppid=9375 vsize=10821524 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9432/stat : 9432 (java) S 9375 9378 6708 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 48458069 11081240576 12169 33554432000 4194304 4196468 140725049179312 139800455404432 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9433] ppid=9375 vsize=10821524 memory=139742978401920 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9433/stat : 9433 (java) S 9375 9378 6708 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 48458069 11081240576 11800 33554432000 4194304 4196468 140725049179312 139800024374032 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9434] ppid=9375 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9434/stat : 9434 (java) S 9375 9378 6708 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 48458069 11081240576 11800 33554432000 4194304 4196468 140725049179312 139800023321744 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9435] ppid=9375 vsize=10819896 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9435/stat : 9435 (java) S 9375 9378 6708 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 48458069 11079573504 11800 33554432000 4194304 4196468 140725049179312 139800022268944 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9436] ppid=9375 vsize=10819896 memory=139742978401920 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9436/stat : 9436 (java) S 9375 9378 6708 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 48458070 11079573504 11560 33554432000 4194304 4196468 140725049179312 139799910410352 139800451172994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9437] ppid=9375 vsize=10819896 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9437/stat : 9437 (java) S 9375 9378 6708 0 -1 1077944384 33 12859 0 0 0 0 5 3 20 0 15 0 48458071 11079573504 11560 33554432000 4194304 4196468 140725049179312 139799909356320 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9438] ppid=9375 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9438/stat : 9438 (java) S 9375 9378 6708 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 48458071 11078557696 11552 33554432000 4194304 4196468 140725049179312 139799776191600 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9439] ppid=9375 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9439/stat : 9439 (java) S 9375 9378 6708 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 48458074 11078557696 11552 33554432000 4194304 4196468 140725049179312 139799172212816 139800451180443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9440] ppid=9375 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9378/task/9440/stat : 9440 (java) S 9375 9378 6708 0 -1 1077944384 496 12859 0 0 1 0 5 3 20 0 15 0 48458074 11078557696 11552 33554432000 4194304 4196468 140725049179312 139799875799664 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9441] ppid=9375 vsize=10818904 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/9378/task/9441/stat : 9441 (java) S 9375 9378 6708 0 -1 1077944384 86 12859 0 0 1 0 5 3 20 0 15 0 48458074 11078557696 11552 33554432000 4194304 4196468 140725049179312 139799874746864 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9442] ppid=9375 vsize=10818904 memory=139742978401920 CPUtime=0.11 cores=1,3,5,7
/proc/9378/task/9442/stat : 9442 (java) S 9375 9378 6708 0 -1 1077944384 562 12859 0 0 3 0 5 3 20 0 15 0 48458074 11078557696 11552 33554432000 4194304 4196468 140725049179312 139799873694576 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9443] ppid=9375 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9443/stat : 9443 (java) S 9375 9378 6708 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 48458074 11078557696 11552 33554432000 4194304 4196468 140725049179312 139798702451680 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9444] ppid=9375 vsize=10818904 memory=139742978401920 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9444/stat : 9444 (java) S 9375 9378 6708 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 48458074 11078557696 11552 33554432000 4194304 4196468 140725049179312 139799872641456 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819896 KiB
Current children cumulated memory: 47092 KiB

[startup+0.310383 s]*
/proc/loadavg: 2.04 1.87 2.38 3/216 9444
/proc/meminfo: memFree=18032260/32770624 swapFree=67108860/67108860
[pid=9378] ppid=9375 vsize=10819352 memory=56668 CPUtime=0.39 cores=1,3,5,7
/proc/9378/stat : 9378 (java) S 9375 9378 6708 0 -1 1077944320 10742 12859 0 0 28 3 5 3 20 0 15 0 48458059 11079016448 14167 33554432000 4194304 4196468 140725049179312 140725049161856 139800451161847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
/proc/9378/statm: 2704838 14167 3084 1 0 2667149 0
[pid=9378/tid=9431] ppid=9375 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/9378/task/9431/stat : 9431 (java) R 9375 9378 6708 0 -1 4202560 7367 12859 0 0 19 2 5 3 20 0 15 0 48458068 11079016448 14167 33554432000 4194304 4196468 140725049179312 139800422973856 139800444258731 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9432] ppid=9375 vsize=10819352 memory=7590083077805854800 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9432/stat : 9432 (java) S 9375 9378 6708 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 48458069 11079016448 14167 33554432000 4194304 4196468 140725049179312 139800455404432 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9433] ppid=9375 vsize=10819352 memory=2076 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9433/stat : 9433 (java) S 9375 9378 6708 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 48458069 11079016448 14167 33554432000 4194304 4196468 140725049179312 139800024374032 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9434] ppid=9375 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9434/stat : 9434 (java) S 9375 9378 6708 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 48458069 11079016448 14167 33554432000 4194304 4196468 140725049179312 139800023321744 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9435] ppid=9375 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9435/stat : 9435 (java) S 9375 9378 6708 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 48458069 11079016448 14167 33554432000 4194304 4196468 140725049179312 139800022268944 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9436] ppid=9375 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9436/stat : 9436 (java) S 9375 9378 6708 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 48458070 11079016448 14167 33554432000 4194304 4196468 140725049179312 139799910410352 139800451172994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9437] ppid=9375 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9437/stat : 9437 (java) S 9375 9378 6708 0 -1 1077944384 33 12859 0 0 0 0 5 3 20 0 15 0 48458071 11079016448 14167 33554432000 4194304 4196468 140725049179312 139799909356320 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9438] ppid=9375 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9438/stat : 9438 (java) S 9375 9378 6708 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 48458071 11079016448 14167 33554432000 4194304 4196468 140725049179312 139799776191600 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9439] ppid=9375 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9439/stat : 9439 (java) S 9375 9378 6708 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 48458074 11079016448 14167 33554432000 4194304 4196468 140725049179312 139799172212816 139800451180443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9440] ppid=9375 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9378/task/9440/stat : 9440 (java) S 9375 9378 6708 0 -1 1077944384 497 12859 0 0 1 0 5 3 20 0 15 0 48458074 11079016448 14167 33554432000 4194304 4196468 140725049179312 139799875799664 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9441] ppid=9375 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/9378/task/9441/stat : 9441 (java) S 9375 9378 6708 0 -1 1077944384 86 12859 0 0 1 0 5 3 20 0 15 0 48458074 11079016448 14167 33554432000 4194304 4196468 140725049179312 139799874746864 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9442] ppid=9375 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/9378/task/9442/stat : 9442 (java) R 9375 9378 6708 0 -1 4202560 569 12859 0 0 5 0 5 3 20 0 15 0 48458074 11079016448 14167 33554432000 4194304 4196468 140725049179312 139799873694576 139800431133032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9443] ppid=9375 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9443/stat : 9443 (java) S 9375 9378 6708 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 48458074 11079016448 14167 33554432000 4194304 4196468 140725049179312 139798702451680 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9444] ppid=9375 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9444/stat : 9444 (java) S 9375 9378 6708 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 48458074 11079016448 14167 33554432000 4194304 4196468 140725049179312 139799872641456 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 56668 KiB

[startup+0.700806 s]
/proc/loadavg: 2.04 1.87 2.38 3/216 9444
/proc/meminfo: memFree=18022956/32770624 swapFree=67108860/67108860
[pid=9378] ppid=9375 vsize=10819352 memory=88836 CPUtime=0.99 cores=1,3,5,7
/proc/9378/stat : 9378 (java) S 9375 9378 6708 0 -1 1077944320 16796 12859 0 0 87 4 5 3 20 0 15 0 48458059 11079016448 22209 33554432000 4194304 4196468 140725049179312 140725049161856 139800451161847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
/proc/9378/statm: 2704838 22209 3247 1 0 2667149 0
[pid=9378/tid=9431] ppid=9375 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/9378/task/9431/stat : 9431 (java) R 9375 9378 6708 0 -1 4202560 12369 12859 0 0 55 3 5 3 20 0 15 0 48458068 11079016448 22209 33554432000 4194304 4196468 140725049179312 139800422982672 139800436327502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9432] ppid=9375 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9432/stat : 9432 (java) S 9375 9378 6708 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 48458069 11079016448 22209 33554432000 4194304 4196468 140725049179312 139800455404432 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9433] ppid=9375 vsize=10819352 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9433/stat : 9433 (java) S 9375 9378 6708 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 48458069 11079016448 22209 33554432000 4194304 4196468 140725049179312 139800024374032 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9434] ppid=9375 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9434/stat : 9434 (java) S 9375 9378 6708 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 48458069 11079016448 22209 33554432000 4194304 4196468 140725049179312 139800023321744 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9435] ppid=9375 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9435/stat : 9435 (java) S 9375 9378 6708 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 48458069 11079016448 22209 33554432000 4194304 4196468 140725049179312 139800022268944 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9436] ppid=9375 vsize=10819352 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9436/stat : 9436 (java) S 9375 9378 6708 0 -1 1077944384 5 12859 0 0 0 0 5 3 20 0 15 0 48458070 11079016448 22209 33554432000 4194304 4196468 140725049179312 139799910410352 139800451172994 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9437] ppid=9375 vsize=10819352 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9437/stat : 9437 (java) S 9375 9378 6708 0 -1 1077944384 33 12859 0 0 0 0 5 3 20 0 15 0 48458071 11079016448 22209 33554432000 4194304 4196468 140725049179312 139799909356320 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9438] ppid=9375 vsize=10819352 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9438/stat : 9438 (java) S 9375 9378 6708 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 48458071 11079016448 22209 33554432000 4194304 4196468 140725049179312 139799776191600 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9439] ppid=9375 vsize=10819352 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9439/stat : 9439 (java) S 9375 9378 6708 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 48458074 11079016448 22209 33554432000 4194304 4196468 140725049179312 139799172212816 139800451180443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9440] ppid=9375 vsize=10819352 memory=13252 CPUtime=0.18 cores=1,3,5,7
/proc/9378/task/9440/stat : 9440 (java) S 9375 9378 6708 0 -1 1077944384 1115 12859 0 0 10 0 5 3 20 0 15 0 48458074 11079016448 22209 33554432000 4194304 4196468 140725049179312 139799875799664 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9441] ppid=9375 vsize=10819352 memory=15460 CPUtime=0.15 cores=1,3,5,7
/proc/9378/task/9441/stat : 9441 (java) S 9375 9378 6708 0 -1 1077944384 463 12859 0 0 7 0 5 3 20 0 15 0 48458074 11079016448 22209 33554432000 4194304 4196468 140725049179312 139799874746864 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9442] ppid=9375 vsize=10819352 memory=17668 CPUtime=0.21 cores=1,3,5,7
/proc/9378/task/9442/stat : 9442 (java) S 9375 9378 6708 0 -1 1077944384 610 12859 0 0 13 0 5 3 20 0 15 0 48458074 11079016448 22209 33554432000 4194304 4196468 140725049179312 139799873694576 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9443] ppid=9375 vsize=10819352 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9443/stat : 9443 (java) S 9375 9378 6708 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 48458074 11079016448 22209 33554432000 4194304 4196468 140725049179312 139798702451680 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9444] ppid=9375 vsize=10819352 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9444/stat : 9444 (java) S 9375 9378 6708 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 48458074 11079016448 22209 33554432000 4194304 4196468 140725049179312 139799872641456 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88836 KiB

[startup+1.50103 s]
/proc/loadavg: 2.04 1.87 2.38 4/216 9444
/proc/meminfo: memFree=17976748/32770624 swapFree=67108860/67108860
[pid=9378] ppid=9375 vsize=10828108 memory=287700 CPUtime=2.89 cores=1,3,5,7
/proc/9378/stat : 9378 (java) S 9375 9378 6708 0 -1 1077944320 22260 12859 0 0 263 18 5 3 20 0 15 0 48458059 11087982592 71925 33554432000 4194304 4196468 140725049179312 140725049161856 139800451161847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
/proc/9378/statm: 2707027 71925 3449 1 0 2668685 0
[pid=9378/tid=9431] ppid=9375 vsize=10828108 memory=0 CPUtime=1.4 cores=1,3,5,7
/proc/9378/task/9431/stat : 9431 (java) S 9375 9378 6708 0 -1 1077944384 15071 12859 0 0 125 7 5 3 20 0 15 0 48458068 11087982592 71925 33554432000 4194304 4196468 140725049179312 139800422994752 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9432] ppid=9375 vsize=10828108 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/9378/task/9432/stat : 9432 (java) R 9375 9378 6708 0 -1 4202560 54 12859 0 0 3 2 5 3 20 0 15 0 48458069 11087982592 71925 33554432000 4194304 4196468 140725049179312 139800455402408 139800436189734 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9433] ppid=9375 vsize=10828108 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/9378/task/9433/stat : 9433 (java) R 9375 9378 6708 0 -1 4202560 46 12859 0 0 3 2 5 3 20 0 15 0 48458069 11087982592 71925 33554432000 4194304 4196468 140725049179312 139800024370416 139800436189266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9434] ppid=9375 vsize=10828108 memory=3611949788955226161 CPUtime=0.13 cores=1,3,5,7
/proc/9378/task/9434/stat : 9434 (java) R 9375 9378 6708 0 -1 4202560 47 12859 0 0 3 2 5 3 20 0 15 0 48458069 11087982592 71925 33554432000 4194304 4196468 140725049179312 139800023321744 139800436189266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9435] ppid=9375 vsize=10828108 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/9378/task/9435/stat : 9435 (java) R 9375 9378 6708 0 -1 4202560 274 12859 0 0 3 2 5 3 20 0 15 0 48458069 11087982592 71925 33554432000 4194304 4196468 140725049179312 139800022266752 139800436189623 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9436] ppid=9375 vsize=10828108 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9436/stat : 9436 (java) S 9375 9378 6708 0 -1 1077944384 22 12859 0 0 0 0 5 3 20 0 15 0 48458070 11087982592 71925 33554432000 4194304 4196468 140725049179312 139799910408864 139800451172053 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9437] ppid=9375 vsize=10828108 memory=279485735840000 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9437/stat : 9437 (java) S 9375 9378 6708 0 -1 1077944384 33 12859 0 0 0 0 5 3 20 0 15 0 48458071 11087982592 71925 33554432000 4194304 4196468 140725049179312 139799909356320 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9438] ppid=9375 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9438/stat : 9438 (java) S 9375 9378 6708 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 48458071 11087982592 71925 33554432000 4194304 4196468 140725049179312 139799776191600 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9439] ppid=9375 vsize=10828108 memory=5380 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9439/stat : 9439 (java) S 9375 9378 6708 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 48458074 11087982592 71925 33554432000 4194304 4196468 140725049179312 139799172212816 139800451180443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9440] ppid=9375 vsize=10828108 memory=4616 CPUtime=0.5 cores=1,3,5,7
/proc/9378/task/9440/stat : 9440 (java) S 9375 9378 6708 0 -1 1077944384 2382 12859 0 0 42 0 5 3 20 0 15 0 48458074 11087982592 71925 33554432000 4194304 4196468 140725049179312 139799875799664 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9441] ppid=9375 vsize=10828108 memory=1232 CPUtime=0.48 cores=1,3,5,7
/proc/9378/task/9441/stat : 9441 (java) S 9375 9378 6708 0 -1 1077944384 905 12859 0 0 40 0 5 3 20 0 15 0 48458074 11087982592 71925 33554432000 4194304 4196468 140725049179312 139799874736992 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9442] ppid=9375 vsize=10828108 memory=11964 CPUtime=0.47 cores=1,3,5,7
/proc/9378/task/9442/stat : 9442 (java) S 9375 9378 6708 0 -1 1077944384 1231 12859 0 0 39 0 5 3 20 0 15 0 48458074 11087982592 71925 33554432000 4194304 4196468 140725049179312 139799873689376 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9443] ppid=9375 vsize=10828108 memory=1708 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9443/stat : 9443 (java) S 9375 9378 6708 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 48458074 11087982592 71925 33554432000 4194304 4196468 140725049179312 139798702451680 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9444] ppid=9375 vsize=10828108 memory=8384 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9444/stat : 9444 (java) S 9375 9378 6708 0 -1 1077944384 1 12859 0 0 0 0 5 3 20 0 15 0 48458074 11087982592 71925 33554432000 4194304 4196468 140725049179312 139799872641456 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 10828108 KiB

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

/proc/9378/task/9431/stat : 9431 (java) R 9375 9378 6708 0 -1 4202560 515164 12859 0 0 215980 68 5 3 20 0 15 0 48458068 11176083456 1122210 33554432000 4194304 4196468 140725049179312 139800422996016 139800075990756 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9432] ppid=9375 vsize=10914144 memory=4488804 CPUtime=40.35 cores=1,3,5,7
/proc/9378/task/9432/stat : 9432 (java) S 9375 9378 6708 0 -1 1077944384 135426 12859 0 0 3935 92 5 3 20 0 15 0 48458069 11176083456 1122210 33554432000 4194304 4196468 140725049179312 139800455404432 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9433] ppid=9375 vsize=10914144 memory=4488840 CPUtime=40.34 cores=1,3,5,7
/proc/9378/task/9433/stat : 9433 (java) S 9375 9378 6708 0 -1 1077944384 112652 12859 0 0 3934 92 5 3 20 0 15 0 48458069 11176083456 1122210 33554432000 4194304 4196468 140725049179312 139800024374032 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9434] ppid=9375 vsize=10914144 memory=4488840 CPUtime=40.32 cores=1,3,5,7
/proc/9378/task/9434/stat : 9434 (java) S 9375 9378 6708 0 -1 1077944384 131608 12859 0 0 3936 88 5 3 20 0 15 0 48458069 11176083456 1122210 33554432000 4194304 4196468 140725049179312 139800023321744 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9435] ppid=9375 vsize=10914144 memory=4488840 CPUtime=40.39 cores=1,3,5,7
/proc/9378/task/9435/stat : 9435 (java) S 9375 9378 6708 0 -1 1077944384 122656 12859 0 0 3940 91 5 3 20 0 15 0 48458069 11176083456 1122210 33554432000 4194304 4196468 140725049179312 139800022268944 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9436] ppid=9375 vsize=10914144 memory=4488840 CPUtime=1.43 cores=1,3,5,7
/proc/9378/task/9436/stat : 9436 (java) S 9375 9378 6708 0 -1 1077944384 70785 12859 0 0 126 9 5 3 20 0 15 0 48458070 11176083456 1122210 33554432000 4194304 4196468 140725049179312 139799910410352 139800451172994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9437] ppid=9375 vsize=10914144 memory=4488840 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9437/stat : 9437 (java) S 9375 9378 6708 0 -1 1077944384 76 12859 0 0 0 0 5 3 20 0 15 0 48458071 11176083456 1122210 33554432000 4194304 4196468 140725049179312 139799909356384 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9438] ppid=9375 vsize=10914144 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9438/stat : 9438 (java) S 9375 9378 6708 0 -1 1077944384 23 12859 0 0 0 0 5 3 20 0 15 0 48458071 11176083456 1122210 33554432000 4194304 4196468 140725049179312 139799776191616 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9439] ppid=9375 vsize=10914144 memory=4488840 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9439/stat : 9439 (java) S 9375 9378 6708 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 48458074 11176083456 1122210 33554432000 4194304 4196468 140725049179312 139799172212816 139800451180443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9440] ppid=9375 vsize=10914144 memory=4488840 CPUtime=10.01 cores=1,3,5,7
/proc/9378/task/9440/stat : 9440 (java) S 9375 9378 6708 0 -1 1077944384 48264 12859 0 0 986 7 5 3 20 0 15 0 48458074 11176083456 1122210 33554432000 4194304 4196468 140725049179312 139799875799664 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9441] ppid=9375 vsize=10914144 memory=844 CPUtime=10.63 cores=1,3,5,7
/proc/9378/task/9441/stat : 9441 (java) S 9375 9378 6708 0 -1 1077944384 38398 12859 0 0 1048 7 5 3 20 0 15 0 48458074 11176083456 1122210 33554432000 4194304 4196468 140725049179312 139799874746864 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9442] ppid=9375 vsize=10914144 memory=4488840 CPUtime=2.83 cores=1,3,5,7
/proc/9378/task/9442/stat : 9442 (java) S 9375 9378 6708 0 -1 1077944384 62110 12859 0 0 267 8 5 3 20 0 15 0 48458074 11176083456 1122210 33554432000 4194304 4196468 140725049179312 139799873694576 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9443] ppid=9375 vsize=10914144 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9443/stat : 9443 (java) S 9375 9378 6708 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 48458074 11176083456 1122210 33554432000 4194304 4196468 140725049179312 139798702451680 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9444] ppid=9375 vsize=10914144 memory=16152 CPUtime=1.26 cores=1,3,5,7
/proc/9378/task/9444/stat : 9444 (java) S 9375 9378 6708 0 -1 1077944384 2748 12859 0 0 55 63 5 3 20 0 15 0 48458074 11176083456 1122210 33554432000 4194304 4196468 140725049179312 139799872641456 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
Current children cumulated CPU time: 2347.53 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 4488840 KiB

[startup+2262.3 s]
/proc/loadavg: 1.88 1.83 1.88 3/216 9899
/proc/meminfo: memFree=13097460/32770624 swapFree=67108860/67108860
[pid=9378] ppid=9375 vsize=10914144 memory=4488844 CPUtime=2408.79 cores=1,3,5,7
/proc/9378/stat : 9378 (java) S 9375 9378 6708 0 -1 1077944320 1251825 12859 0 0 240352 519 5 3 20 0 15 0 48458059 11176083456 1122211 33554432000 4194304 4196468 140725049179312 140725049161856 139800451161847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
/proc/9378/statm: 2728536 1122211 3548 1 0 2690189 0
[pid=9378/tid=9431] ppid=9375 vsize=10914144 memory=4488840 CPUtime=2220.16 cores=1,3,5,7
/proc/9378/task/9431/stat : 9431 (java) R 9375 9378 6708 0 -1 4202560 519999 12859 0 0 221939 69 5 3 20 0 15 0 48458068 11176083456 1122211 33554432000 4194304 4196468 140725049179312 139800422991152 139800072528846 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9432] ppid=9375 vsize=10914144 memory=4488844 CPUtime=40.75 cores=1,3,5,7
/proc/9378/task/9432/stat : 9432 (java) S 9375 9378 6708 0 -1 1077944384 136277 12859 0 0 3975 92 5 3 20 0 15 0 48458069 11176083456 1122211 33554432000 4194304 4196468 140725049179312 139800455404432 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9433] ppid=9375 vsize=10914144 memory=4488844 CPUtime=40.74 cores=1,3,5,7
/proc/9378/task/9433/stat : 9433 (java) S 9375 9378 6708 0 -1 1077944384 114994 12859 0 0 3974 92 5 3 20 0 15 0 48458069 11176083456 1122211 33554432000 4194304 4196468 140725049179312 139800024374032 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9434] ppid=9375 vsize=10914144 memory=279485736226272 CPUtime=40.74 cores=1,3,5,7
/proc/9378/task/9434/stat : 9434 (java) S 9375 9378 6708 0 -1 1077944384 132512 12859 0 0 3977 89 5 3 20 0 15 0 48458069 11176083456 1122211 33554432000 4194304 4196468 140725049179312 139800023321744 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9435] ppid=9375 vsize=10914144 memory=4048 CPUtime=40.8 cores=1,3,5,7
/proc/9378/task/9435/stat : 9435 (java) S 9375 9378 6708 0 -1 1077944384 123009 12859 0 0 3980 92 5 3 20 0 15 0 48458069 11176083456 1122211 33554432000 4194304 4196468 140725049179312 139800022268944 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9436] ppid=9375 vsize=10914144 memory=4488844 CPUtime=1.43 cores=1,3,5,7
/proc/9378/task/9436/stat : 9436 (java) S 9375 9378 6708 0 -1 1077944384 71150 12859 0 0 126 9 5 3 20 0 15 0 48458070 11176083456 1122211 33554432000 4194304 4196468 140725049179312 139799910410352 139800451172994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9437] ppid=9375 vsize=10914144 memory=4488844 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9437/stat : 9437 (java) S 9375 9378 6708 0 -1 1077944384 76 12859 0 0 0 0 5 3 20 0 15 0 48458071 11176083456 1122211 33554432000 4194304 4196468 140725049179312 139799909356384 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9438] ppid=9375 vsize=10914144 memory=4488844 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9438/stat : 9438 (java) S 9375 9378 6708 0 -1 1077944384 23 12859 0 0 0 0 5 3 20 0 15 0 48458071 11176083456 1122211 33554432000 4194304 4196468 140725049179312 139799776191616 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9439] ppid=9375 vsize=10914144 memory=4488840 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9439/stat : 9439 (java) S 9375 9378 6708 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 48458074 11176083456 1122211 33554432000 4194304 4196468 140725049179312 139799172212816 139800451180443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9440] ppid=9375 vsize=10914144 memory=4140 CPUtime=10.01 cores=1,3,5,7
/proc/9378/task/9440/stat : 9440 (java) S 9375 9378 6708 0 -1 1077944384 48272 12859 0 0 986 7 5 3 20 0 15 0 48458074 11176083456 1122211 33554432000 4194304 4196468 140725049179312 139799875799664 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9441] ppid=9375 vsize=10914144 memory=4488844 CPUtime=10.63 cores=1,3,5,7
/proc/9378/task/9441/stat : 9441 (java) S 9375 9378 6708 0 -1 1077944384 38401 12859 0 0 1048 7 5 3 20 0 15 0 48458074 11176083456 1122211 33554432000 4194304 4196468 140725049179312 139799874746864 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9442] ppid=9375 vsize=10914144 memory=4488844 CPUtime=2.83 cores=1,3,5,7
/proc/9378/task/9442/stat : 9442 (java) S 9375 9378 6708 0 -1 1077944384 62114 12859 0 0 267 8 5 3 20 0 15 0 48458074 11176083456 1122211 33554432000 4194304 4196468 140725049179312 139799873694576 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9443] ppid=9375 vsize=10914144 memory=4488844 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9443/stat : 9443 (java) S 9375 9378 6708 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 48458074 11176083456 1122211 33554432000 4194304 4196468 140725049179312 139798702451680 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9444] ppid=9375 vsize=10914144 memory=2412 CPUtime=1.29 cores=1,3,5,7
/proc/9378/task/9444/stat : 9444 (java) S 9375 9378 6708 0 -1 1077944384 2806 12859 0 0 56 65 5 3 20 0 15 0 48458074 11176083456 1122211 33554432000 4194304 4196468 140725049179312 139799872641456 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
Current children cumulated CPU time: 2408.79 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 4488844 KiB

[startup+2322.3 s]
/proc/loadavg: 1.73 1.80 1.87 3/216 9922
/proc/meminfo: memFree=12937676/32770624 swapFree=67108860/67108860
[pid=9378] ppid=9375 vsize=10914144 memory=4528780 CPUtime=2470.51 cores=1,3,5,7
/proc/9378/stat : 9378 (java) S 9375 9378 6708 0 -1 1077944320 1274691 12859 0 0 246513 530 5 3 20 0 15 0 48458059 11176083456 1132195 33554432000 4194304 4196468 140725049179312 140725049161856 139800451161847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
/proc/9378/statm: 2728536 1132195 3548 1 0 2690189 0
[pid=9378/tid=9431] ppid=9375 vsize=10914144 memory=4528516 CPUtime=2279.65 cores=1,3,5,7
/proc/9378/task/9431/stat : 9431 (java) R 9375 9378 6708 0 -1 4202560 525742 12859 0 0 227886 71 5 3 20 0 15 0 48458068 11176083456 1132195 33554432000 4194304 4196468 140725049179312 139800422996208 139800074386003 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9432] ppid=9375 vsize=10914144 memory=4528780 CPUtime=41.27 cores=1,3,5,7
/proc/9378/task/9432/stat : 9432 (java) S 9375 9378 6708 0 -1 1077944384 136977 12859 0 0 4025 94 5 3 20 0 15 0 48458069 11176083456 1132195 33554432000 4194304 4196468 140725049179312 139800455404432 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9433] ppid=9375 vsize=10914144 memory=4528780 CPUtime=41.26 cores=1,3,5,7
/proc/9378/task/9433/stat : 9433 (java) S 9375 9378 6708 0 -1 1077944384 116691 12859 0 0 4024 94 5 3 20 0 15 0 48458069 11176083456 1132195 33554432000 4194304 4196468 140725049179312 139800024374032 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9434] ppid=9375 vsize=10914144 memory=4528780 CPUtime=41.24 cores=1,3,5,7
/proc/9378/task/9434/stat : 9434 (java) S 9375 9378 6708 0 -1 1077944384 135848 12859 0 0 4026 90 5 3 20 0 15 0 48458069 11176083456 1132195 33554432000 4194304 4196468 140725049179312 139800023321744 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9435] ppid=9375 vsize=10914144 memory=4528780 CPUtime=41.3 cores=1,3,5,7
/proc/9378/task/9435/stat : 9435 (java) S 9375 9378 6708 0 -1 1077944384 126268 12859 0 0 4029 93 5 3 20 0 15 0 48458069 11176083456 1132195 33554432000 4194304 4196468 140725049179312 139800022268944 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9436] ppid=9375 vsize=10914144 memory=4528780 CPUtime=1.44 cores=1,3,5,7
/proc/9378/task/9436/stat : 9436 (java) S 9375 9378 6708 0 -1 1077944384 71816 12859 0 0 127 9 5 3 20 0 15 0 48458070 11176083456 1132195 33554432000 4194304 4196468 140725049179312 139799910410352 139800451172994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9437] ppid=9375 vsize=10914144 memory=4528780 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9437/stat : 9437 (java) S 9375 9378 6708 0 -1 1077944384 76 12859 0 0 0 0 5 3 20 0 15 0 48458071 11176083456 1132195 33554432000 4194304 4196468 140725049179312 139799909356384 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9438] ppid=9375 vsize=10914144 memory=4488828 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9438/stat : 9438 (java) S 9375 9378 6708 0 -1 1077944384 23 12859 0 0 0 0 5 3 20 0 15 0 48458071 11176083456 1132195 33554432000 4194304 4196468 140725049179312 139799776191616 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9439] ppid=9375 vsize=10914144 memory=4528780 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9439/stat : 9439 (java) S 9375 9378 6708 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 48458074 11176083456 1132195 33554432000 4194304 4196468 140725049179312 139799172212816 139800451180443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9440] ppid=9375 vsize=10914144 memory=4528780 CPUtime=10.08 cores=1,3,5,7
/proc/9378/task/9440/stat : 9440 (java) S 9375 9378 6708 0 -1 1077944384 50452 12859 0 0 993 7 5 3 20 0 15 0 48458074 11176083456 1132195 33554432000 4194304 4196468 140725049179312 139799875799664 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9441] ppid=9375 vsize=10914144 memory=4528780 CPUtime=10.7 cores=1,3,5,7
/proc/9378/task/9441/stat : 9441 (java) S 9375 9378 6708 0 -1 1077944384 41263 12859 0 0 1055 7 5 3 20 0 15 0 48458074 11176083456 1132195 33554432000 4194304 4196468 140725049179312 139799874746864 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9442] ppid=9375 vsize=10914144 memory=4528780 CPUtime=2.83 cores=1,3,5,7
/proc/9378/task/9442/stat : 9442 (java) S 9375 9378 6708 0 -1 1077944384 64492 12859 0 0 267 8 5 3 20 0 15 0 48458074 11176083456 1132195 33554432000 4194304 4196468 140725049179312 139799873694576 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9443] ppid=9375 vsize=10914144 memory=4528780 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9443/stat : 9443 (java) S 9375 9378 6708 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 48458074 11176083456 1132195 33554432000 4194304 4196468 140725049179312 139798702451680 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9444] ppid=9375 vsize=10914144 memory=4528780 CPUtime=1.33 cores=1,3,5,7
/proc/9378/task/9444/stat : 9444 (java) S 9375 9378 6708 0 -1 1077944384 2850 12859 0 0 58 67 5 3 20 0 15 0 48458074 11176083456 1132195 33554432000 4194304 4196468 140725049179312 139799872641456 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
Current children cumulated CPU time: 2470.51 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 4528780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2368.2 s]
/proc/loadavg: 1.70 1.78 1.86 3/216 9922
/proc/meminfo: memFree=12767388/32770624 swapFree=67108860/67108860
[pid=9378] ppid=9375 vsize=10914144 memory=4590220 CPUtime=2520.14 cores=1,3,5,7
/proc/9378/stat : 9378 (java) S 9375 9378 6708 0 -1 1077944320 1299530 12859 0 0 251466 540 5 3 20 0 15 0 48458059 11176083456 1147555 33554432000 4194304 4196468 140725049179312 140725049161856 139800451161847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
/proc/9378/statm: 2728536 1147555 3548 1 0 2690189 0
[pid=9378/tid=9431] ppid=9375 vsize=10914144 memory=-7451605132889387095 CPUtime=2324.32 cores=1,3,5,7
/proc/9378/task/9431/stat : 9431 (java) S 9375 9378 6708 0 -1 1077944384 529984 12859 0 0 232352 72 5 3 20 0 15 0 48458068 11176083456 1147555 33554432000 4194304 4196468 140725049179312 139800422996288 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9432] ppid=9375 vsize=10914144 memory=7583305555127934362 CPUtime=42.5 cores=1,3,5,7
/proc/9378/task/9432/stat : 9432 (java) R 9375 9378 6708 0 -1 4202560 142057 12859 0 0 4146 96 5 3 20 0 15 0 48458069 11176083456 1147555 33554432000 4194304 4196468 140725049179312 139800455404632 139800436189266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9433] ppid=9375 vsize=10914144 memory=4570074344774610074 CPUtime=42.49 cores=1,3,5,7
/proc/9378/task/9433/stat : 9433 (java) R 9375 9378 6708 0 -1 4202560 120829 12859 0 0 4145 96 5 3 20 0 15 0 48458069 11176083456 1147555 33554432000 4194304 4196468 140725049179312 139800024374232 139800436185539 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9434] ppid=9375 vsize=10914144 memory=4421025884231253099 CPUtime=42.48 cores=1,3,5,7
/proc/9378/task/9434/stat : 9434 (java) R 9375 9378 6708 0 -1 4202560 140809 12859 0 0 4148 92 5 3 20 0 15 0 48458069 11176083456 1147555 33554432000 4194304 4196468 140725049179312 139800023321632 139800436189703 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9435] ppid=9375 vsize=10914144 memory=4137562951923887203 CPUtime=42.55 cores=1,3,5,7
/proc/9378/task/9435/stat : 9435 (java) R 9375 9378 6708 0 -1 4202560 131039 12859 0 0 4151 96 5 3 20 0 15 0 48458069 11176083456 1147555 33554432000 4194304 4196468 140725049179312 139800022268944 139800444267559 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9436] ppid=9375 vsize=10914144 memory=960 CPUtime=1.44 cores=1,3,5,7
/proc/9378/task/9436/stat : 9436 (java) S 9375 9378 6708 0 -1 1077944384 71856 12859 0 0 127 9 5 3 20 0 15 0 48458070 11176083456 1147555 33554432000 4194304 4196468 140725049179312 139799910408864 139800451172053 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9437] ppid=9375 vsize=10914144 memory=1236 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9437/stat : 9437 (java) S 9375 9378 6708 0 -1 1077944384 76 12859 0 0 0 0 5 3 20 0 15 0 48458071 11176083456 1147555 33554432000 4194304 4196468 140725049179312 139799909356384 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9438] ppid=9375 vsize=10914144 memory=2340 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9438/stat : 9438 (java) S 9375 9378 6708 0 -1 1077944384 23 12859 0 0 0 0 5 3 20 0 15 0 48458071 11176083456 1147555 33554432000 4194304 4196468 140725049179312 139799776191616 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9439] ppid=9375 vsize=10914144 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9439/stat : 9439 (java) S 9375 9378 6708 0 -1 1077944384 2 12859 0 0 0 0 5 3 20 0 15 0 48458074 11176083456 1147555 33554432000 4194304 4196468 140725049179312 139799172212816 139800451180443 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9440] ppid=9375 vsize=10914144 memory=1580 CPUtime=10.08 cores=1,3,5,7
/proc/9378/task/9440/stat : 9440 (java) S 9375 9378 6708 0 -1 1077944384 50452 12859 0 0 993 7 5 3 20 0 15 0 48458074 11176083456 1147555 33554432000 4194304 4196468 140725049179312 139799875799664 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9441] ppid=9375 vsize=10914144 memory=2244 CPUtime=10.7 cores=1,3,5,7
/proc/9378/task/9441/stat : 9441 (java) S 9375 9378 6708 0 -1 1077944384 41263 12859 0 0 1055 7 5 3 20 0 15 0 48458074 11176083456 1147555 33554432000 4194304 4196468 140725049179312 139799874746864 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9442] ppid=9375 vsize=10914144 memory=4136 CPUtime=2.84 cores=1,3,5,7
/proc/9378/task/9442/stat : 9442 (java) S 9375 9378 6708 0 -1 1077944384 66092 12859 0 0 268 8 5 3 20 0 15 0 48458074 11176083456 1147555 33554432000 4194304 4196468 140725049179312 139799873694576 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9443] ppid=9375 vsize=10914144 memory=4588172 CPUtime=0.08 cores=1,3,5,7
/proc/9378/task/9443/stat : 9443 (java) S 9375 9378 6708 0 -1 1077944384 3 12859 0 0 0 0 5 3 20 0 15 0 48458074 11176083456 1147555 33554432000 4194304 4196468 140725049179312 139798702451680 139800451172053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
[pid=9378/tid=9444] ppid=9375 vsize=10914144 memory=4048 CPUtime=1.36 cores=1,3,5,7
/proc/9378/task/9444/stat : 9444 (java) S 9375 9378 6708 0 -1 1077944384 2857 12859 0 0 60 68 5 3 20 0 15 0 48458074 11176083456 1147555 33554432000 4194304 4196468 140725049179312 139799872641456 139800451172994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12533760 140725049186475 140725049189724 140725049189724 140725049192399 0
Current children cumulated CPU time: 2520.14 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 4590220 KiB

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

[startup+2368.26 s]
# the end of solver process 9378 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.76 s, system=5.47079 s

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

Child status: 143
Real time (s): 2368.26
CPU time (s): 2520.23
CPU user time (s): 2514.76
CPU system time (s): 5.47079
CPU usage (%): 106.417
Max. virtual memory (cumulated for all children) (KiB): 10916784
Max. memory (cumulated for all children) (KiB): 4590220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.76
system time used= 5.47079
maximum resident set size= 4594372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1314265
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68219
involuntary context switches= 3134


# summary of solver processes directly reported to runsolver:
#   pid: 9378
#   total CPU time (s): 2520.23
#   total CPU user time (s): 2514.76
#   total CPU system time (s): 5.47079

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4179 second user time and 22.1478 second system time

The end

Launcher Data 

Begin job on node104 at 2018-07-23 03:22:29
IDJOB=4293230
IDBENCH=141137
IDSOLVER=2751
FILE ID=node104/4293230-1532308949
RUNJOBID= node104-1532294157-6740
PBS_JOBID= 21018980
Free space on /tmp= 57212 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order60_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293230-1532308949/watcher-4293230-1532308949 -o /tmp/evaluation-result-4293230-1532308949/solver-4293230-1532308949 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532294157-6740 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1050905234 -superng HOME/instance-4293230-1532308949.xml

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

MD5SUM BENCH= 2b7bed68bca9665ed3be29de24764d77
RANDOM SEED=1050905234

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        18075876 kB
MemAvailable:   28676564 kB
Buffers:          249240 kB
Cached:         10557344 kB
SwapCached:            0 kB
Active:          5200588 kB
Inactive:        8917360 kB
Active(anon):    3314096 kB
Inactive(anon):    17084 kB
Active(file):    1886492 kB
Inactive(file):  8900276 kB
Unevictable:        7176 kB
Mlocked:            7176 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             33816 kB
Writeback:             0 kB
AnonPages:       3318600 kB
Mapped:            49560 kB
Shmem:             17036 kB
Slab:             270972 kB
SReclaimable:     242380 kB
SUnreclaim:        28592 kB
KernelStack:        3568 kB
PageTables:        11684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4200096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3082240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 57180 MiB
End job on node104 at 2018-07-23 04:01:57