Trace number 4304250

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT (TO)3207 2520.1 2374.07

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.75	c Concrete v3.9.2.1532736233296 running
148.75/100.76	o 3599
156.73/105.04	o 3598
160.64/108.66	o 3597
165.54/112.41	o 3596
170.43/116.13	o 3595
175.03/119.75	o 3594
179.47/123.35	o 3593
183.69/126.89	o 3592
188.24/130.55	o 3591
192.69/134.24	o 3590
197.10/137.91	o 3589
201.41/141.52	o 3588
205.78/145.15	o 3587
210.26/148.84	o 3586
214.49/152.45	o 3585
218.54/156.08	o 3584
222.56/159.77	o 3583
226.71/163.50	o 3582
230.68/167.25	o 3581
234.80/171.03	o 3580
238.78/174.75	o 3579
242.38/178.34	o 3578
246.38/182.19	o 3577
250.49/186.04	o 3576
254.82/190.12	o 3575
258.84/193.92	o 3574
263.31/198.12	o 3573
267.57/202.13	o 3572
272.05/206.38	o 3571
276.46/210.46	o 3570
280.37/214.36	o 3569
285.12/218.88	o 3568
289.77/223.23	o 3567
294.13/227.38	o 3566
298.80/231.72	o 3565
303.53/236.16	o 3564
308.45/240.71	o 3563
313.12/245.03	o 3562
317.42/249.30	o 3561
321.97/253.60	o 3560
326.68/258.03	o 3559
331.39/262.46	o 3558
336.40/267.04	o 3557
340.70/271.31	o 3556
345.54/275.91	o 3555
350.10/280.23	o 3554
354.49/284.36	o 3553
359.78/289.29	o 3552
364.74/293.89	o 3551
369.54/298.63	o 3550
374.68/303.40	o 3549
379.84/308.31	o 3548
384.84/313.06	o 3547
390.15/318.04	o 3546
395.46/323.01	o 3545
400.45/327.88	o 3544
405.48/332.73	o 3543
410.62/337.67	o 3542
415.87/342.61	o 3541
421.04/347.50	o 3540
426.33/352.59	o 3539
431.34/357.26	o 3538
435.85/361.71	o 3537
440.87/366.53	o 3536
445.94/371.38	o 3535
451.14/376.21	o 3534
456.16/380.96	o 3533
460.95/385.76	o 3532
466.36/390.91	o 3531
471.58/396.00	o 3530
476.84/401.01	o 3529
482.22/406.10	o 3528
487.62/411.14	o 3527
492.11/415.67	o 3526
497.12/420.49	o 3525
502.52/425.50	o 3524
507.79/430.53	o 3523
513.19/435.68	o 3522
518.29/440.75	o 3521
523.68/445.90	o 3520
528.92/451.00	o 3519
534.30/456.08	o 3518
539.56/461.08	o 3517
545.34/466.55	o 3516
550.15/471.32	o 3515
555.66/476.61	o 3514
560.99/481.78	o 3513
566.25/486.74	o 3512
571.63/491.86	o 3511
576.44/496.62	o 3510
582.45/502.41	o 3509
587.98/507.71	o 3508
593.72/513.21	o 3507
599.50/518.75	o 3506
605.10/524.07	o 3505
611.00/529.64	o 3504
616.41/535.02	o 3503
622.01/540.49	o 3502
627.74/545.96	o 3501
633.39/551.35	o 3500
639.39/557.10	o 3499
645.16/562.52	o 3498
650.97/568.01	o 3497
656.16/573.27	o 3496
662.17/579.04	o 3495
667.98/584.62	o 3494
673.73/590.12	o 3493
679.48/595.64	o 3492
685.25/601.18	o 3491
691.12/606.79	o 3490
696.89/612.13	o 3489
702.39/617.62	o 3488
708.10/623.17	o 3487
713.92/628.79	o 3486
719.58/634.17	o 3485
725.45/639.72	o 3484
731.44/645.48	o 3483
736.87/650.88	o 3482
742.56/656.38	o 3481
748.28/661.89	o 3480
754.22/667.55	o 3479
760.41/673.42	o 3478
766.70/679.41	o 3477
772.79/685.25	o 3476
778.39/690.85	o 3475
784.28/696.57	o 3474
790.40/702.45	o 3473
796.63/708.47	o 3472
802.78/714.34	o 3471
808.65/719.95	o 3470
814.74/725.70	o 3469
820.75/731.48	o 3468
826.37/737.01	o 3467
832.34/742.89	o 3466
838.06/748.30	o 3465
843.99/754.08	o 3464
850.13/759.95	o 3463
855.99/765.51	o 3462
861.90/771.14	o 3461
867.82/777.02	o 3460
873.69/782.71	o 3459
879.78/788.60	o 3458
885.51/794.18	o 3457
891.76/800.18	o 3456
897.78/805.97	o 3455
903.85/811.78	o 3454
909.55/817.41	o 3453
915.32/823.10	o 3452
921.11/828.66	o 3451
926.63/833.93	o 3450
932.87/839.92	o 3449
938.74/845.53	o 3448
944.92/851.46	o 3447
950.72/857.21	o 3446
956.81/863.13	o 3445
962.91/869.06	o 3444
968.72/874.62	o 3443
974.46/880.14	o 3442
980.41/885.87	o 3441
986.50/891.60	o 3440
992.01/897.13	o 3439
998.09/903.05	o 3438
1004.40/909.18	o 3437
1010.22/914.78	o 3436
1016.16/920.42	o 3435
1022.33/926.36	o 3434
1027.73/931.78	o 3433
1033.60/937.43	o 3432
1039.30/942.90	o 3431
1044.93/948.35	o 3430
1050.69/953.90	o 3429
1056.67/959.51	o 3428
1061.97/964.81	o 3427
1067.96/970.62	o 3426
1073.58/976.01	o 3425
1079.31/981.53	o 3424
1085.27/987.28	o 3423
1091.23/992.90	o 3422
1096.64/998.36	o 3421
1102.52/1004.03	o 3420
1108.51/1009.87	o 3419
1114.61/1015.73	o 3418
1120.87/1021.75	o 3417
1127.00/1027.70	o 3416
1133.15/1033.56	o 3415
1139.44/1039.51	o 3414
1145.04/1045.14	o 3413
1151.12/1051.07	o 3412
1157.12/1056.88	o 3411
1163.05/1062.58	o 3410
1169.01/1068.25	o 3409
1175.00/1073.98	o 3408
1180.50/1079.45	o 3407
1186.60/1085.32	o 3406
1193.51/1092.06	o 3405
1200.02/1098.32	o 3404
1206.37/1104.43	o 3403
1212.31/1110.15	o 3402
1218.75/1116.38	o 3401
1225.12/1122.43	o 3400
1231.32/1128.38	o 3399
1237.62/1134.38	o 3398
1243.53/1140.26	o 3397
1249.43/1145.94	o 3396
1255.45/1151.75	o 3395
1261.70/1157.71	o 3394
1268.04/1163.87	o 3393
1274.41/1169.92	o 3392
1280.51/1175.76	o 3391
1286.61/1181.81	o 3390
1292.49/1187.57	o 3389
1298.80/1193.67	o 3388
1305.20/1199.84	o 3387
1311.43/1205.87	o 3386
1317.87/1212.07	o 3385
1323.92/1217.88	o 3384
1330.38/1224.03	o 3383
1336.77/1230.13	o 3382
1342.57/1236.00	o 3381
1348.64/1241.83	o 3380
1354.84/1247.89	o 3379
1360.67/1253.49	o 3378
1366.82/1259.39	o 3377
1373.37/1265.61	o 3376
1379.08/1271.33	o 3375
1384.74/1276.89	o 3374
1390.85/1282.78	o 3373
1396.79/1288.47	o 3372
1403.80/1295.17	o 3371
1410.17/1301.23	o 3370
1416.67/1307.42	o 3369
1423.60/1314.08	o 3368
1429.29/1319.80	o 3367
1435.11/1325.39	o 3366
1442.04/1332.06	o 3365
1448.38/1338.15	o 3364
1454.63/1344.19	o 3363
1460.91/1350.14	o 3362
1467.49/1356.43	o 3361
1473.80/1362.47	o 3360
1480.01/1368.63	o 3359
1486.31/1374.80	o 3358
1493.02/1381.28	o 3357
1499.53/1387.53	o 3356
1505.68/1393.43	o 3355
1512.66/1400.02	o 3354
1519.48/1406.65	o 3353
1525.64/1412.58	o 3352
1532.11/1418.71	o 3351
1538.01/1424.69	o 3350
1544.71/1431.12	o 3349
1551.09/1437.35	o 3348
1557.49/1443.59	o 3347
1564.23/1450.02	o 3346
1570.85/1456.49	o 3345
1577.49/1462.89	o 3344
1584.05/1469.15	o 3343
1590.40/1475.21	o 3342
1596.88/1481.47	o 3341
1603.19/1487.76	o 3340
1609.56/1493.96	o 3339
1616.27/1500.42	o 3338
1622.89/1506.82	o 3337
1629.32/1513.05	o 3336
1635.85/1519.32	o 3335
1642.02/1525.26	o 3334
1648.79/1531.76	o 3333
1654.69/1537.67	o 3332
1661.38/1544.15	o 3331
1668.38/1550.91	o 3330
1674.98/1557.31	o 3329
1681.71/1563.87	o 3328
1688.54/1570.46	o 3327
1695.08/1576.76	o 3326
1701.64/1583.04	o 3325
1708.32/1589.49	o 3324
1714.72/1595.88	o 3323
1721.70/1602.67	o 3322
1727.89/1608.65	o 3321
1734.79/1615.31	o 3320
1741.42/1621.74	o 3319
1748.16/1628.21	o 3318
1754.93/1634.72	o 3317
1761.72/1641.23	o 3316
1768.60/1647.86	o 3315
1775.31/1654.55	o 3314
1781.89/1660.97	o 3313
1788.37/1667.30	o 3312
1795.38/1674.01	o 3311
1802.08/1680.50	o 3310
1808.92/1687.14	o 3309
1815.46/1693.49	o 3308
1822.11/1699.84	o 3307
1828.78/1706.26	o 3306
1835.22/1712.59	o 3305
1841.79/1718.92	o 3304
1848.08/1725.08	o 3303
1854.46/1731.29	o 3302
1860.80/1737.30	o 3301
1866.95/1743.24	o 3300
1873.81/1749.82	o 3299
1880.19/1755.90	o 3298
1886.30/1762.09	o 3297
1892.36/1767.99	o 3296
1898.85/1774.25	o 3295
1905.06/1780.27	o 3294
1911.38/1786.40	o 3293
1917.93/1792.67	o 3292
1924.71/1799.14	o 3291
1931.56/1805.74	o 3290
1938.44/1812.32	o 3289
1944.46/1818.34	o 3288
1950.84/1824.54	o 3287
1957.34/1830.89	o 3286
1963.99/1837.21	o 3285
1970.43/1843.49	o 3284
1976.78/1849.54	o 3283
1983.48/1855.93	o 3282
1991.40/1863.56	o 3281
1999.11/1870.93	o 3280
2006.13/1877.68	o 3279
2013.36/1884.53	o 3278
2020.68/1891.54	o 3277
2027.83/1898.35	o 3276
2035.45/1905.60	o 3275
2042.74/1912.66	o 3274
2050.31/1919.86	o 3273
2057.53/1926.76	o 3272
2064.75/1933.67	o 3271
2071.87/1940.44	o 3270
2078.17/1946.73	o 3269
2085.71/1953.72	o 3268
2092.71/1960.48	o 3267
2100.24/1967.61	o 3266
2107.63/1974.70	o 3265
2114.70/1981.58	o 3264
2122.08/1988.62	o 3263
2129.35/1995.68	o 3262
2136.41/2002.41	o 3261
2143.57/2009.38	o 3260
2150.18/2015.92	o 3259
2157.25/2022.86	o 3258
2164.12/2029.59	o 3257
2171.51/2036.78	o 3256
2178.51/2043.50	o 3255
2185.41/2050.27	o 3254
2192.73/2057.38	o 3253
2199.94/2064.34	o 3252
2206.97/2071.16	o 3251
2214.48/2078.43	o 3250
2221.51/2085.27	o 3249
2228.65/2092.11	o 3248
2235.41/2098.70	o 3247
2242.27/2105.26	o 3246
2249.66/2112.32	o 3245
2256.17/2118.85	o 3244
2263.23/2125.71	o 3243
2270.31/2132.61	o 3242
2277.42/2139.54	o 3241
2284.82/2146.74	o 3240
2292.36/2154.02	o 3239
2299.08/2160.56	o 3238
2306.22/2167.46	o 3237
2313.87/2174.83	o 3236
2320.82/2181.56	o 3235
2327.97/2188.46	o 3234
2335.15/2195.37	o 3233
2342.24/2202.19	o 3232
2348.73/2208.66	o 3231
2355.71/2215.48	o 3230
2362.61/2222.11	o 3229
2369.71/2229.05	o 3228
2376.40/2235.54	o 3227
2383.54/2242.47	o 3226
2390.57/2249.29	o 3225
2397.32/2255.79	o 3224
2404.47/2262.67	o 3223
2412.40/2270.06	o 3222
2419.79/2277.11	o 3221
2426.68/2283.79	o 3220
2434.00/2290.71	o 3219
2440.50/2297.25	o 3218
2447.60/2304.16	o 3217
2454.61/2310.99	o 3216
2461.52/2317.65	o 3215
2468.43/2324.39	o 3214
2475.48/2331.18	o 3213
2482.32/2337.79	o 3212
2489.27/2344.48	o 3211
2496.33/2351.27	o 3210
2503.22/2357.86	o 3209
2510.31/2364.64	o 3208
2517.31/2371.39	o 3207
2520.02/2374.02	Exception in thread "main" java.util.concurrent.TimeoutException
2520.02/2374.02		at concrete.MAC.mac(MAC.scala:188)
2520.02/2374.02		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.02/2374.02		at scala.util.Try$.apply(Try.scala:209)
2520.02/2374.02		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.02/2374.02		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.02/2374.02		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.02/2374.02		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.02/2374.02		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.02/2374.02		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.02/2374.02		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.02/2374.02		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.02/2374.02		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.02/2374.02		at concrete.MAC.oneRun(MAC.scala:253)
2520.02/2374.02		at concrete.MAC.nextSolution(MAC.scala:272)
2520.02/2374.02		at concrete.MAC.nextSolution(MAC.scala:355)
2520.02/2374.02		at concrete.Solver.hasNext(Solver.scala:166)
2520.02/2374.02		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.02/2374.02		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.02/2374.02		at concrete.Solver.foreach(Solver.scala:68)
2520.02/2374.02		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.02/2374.02		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.02/2374.02		at scala.util.Success.map(Try.scala:209)
2520.02/2374.02		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.02/2374.02		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.02/2374.02		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.02/2374.02		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.02/2374.02		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.02/2374.02		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.02/2374.02		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.02/2374.02		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.02/2374.02		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.02/2374.02		at scala.collection.immutable.List.foreach(List.scala:389)
2520.02/2374.02		at scala.App.main(App.scala:76)
2520.02/2374.02		at scala.App.main$(App.scala:74)
2520.02/2374.02		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.02/2374.02		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.02/2374.02	v <instantiation cost="3207">
2520.02/2374.02	v       <list>
2520.02/2374.02	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[3000] x[3001] x[3002] x[3003] x[3004] x[3005] x[3006] x[3007] x[3008] x[3009] x[3010] x[3011] x[3012] x[3013] x[3014] x[3015] x[3016] x[3017] x[3018] x[3019] x[3020] x[3021] x[3022] x[3023] x[3024] x[3025] x[3026] x[3027] x[3028] x[3029] x[3030] x[3031] x[3032] x[3033] x[3034] x[3035] x[3036] x[3037] x[3038] x[3039] x[3040] x[3041] x[3042] x[3043] x[3044] x[3045] x[3046] x[3047] x[3048] x[3049] x[3050] x[3051] x[3052] x[3053] x[3054] x[3055] x[3056] x[3057] x[3058] x[3059] x[3060] x[3061] x[3062] x[3063] x[3064] x[3065] x[3066] x[3067] x[3068] x[3069] x[3070] x[3071] x[3072] x[3073] x[3074] x[3075] x[3076] x[3077] x[3078] x[3079] x[3080] x[3081] x[3082] x[3083] x[3084] x[3085] x[3086] x[3087] x[3088] x[3089] x[3090] x[3091] x[3092] x[3093] x[3094] x[3095] x[3096] x[3097] x[3098] x[3099] x[3100] x[3101] x[3102] x[3103] x[3104] x[3105] x[3106] x[3107] x[3108] x[3109] x[3110] x[3111] x[3112] x[3113] x[3114] x[3115] x[3116] x[3117] x[3118] x[3119] x[3120] x[3121] x[3122] x[3123] x[3124] x[3125] x[3126] x[3127] x[3128] x[3129] x[3130] x[3131] x[3132] x[3133] x[3134] x[3135] x[3136] x[3137] x[3138] x[3139] x[3140] x[3141] x[3142] x[3143] x[3144] x[3145] x[3146] x[3147] x[3148] x[3149] x[3150] x[3151] x[3152] x[3153] x[3154] x[3155] x[3156] x[3157] x[3158] x[3159] x[3160] x[3161] x[3162] x[3163] x[3164] x[3165] x[3166] x[3167] x[3168] x[3169] x[3170] x[3171] x[3172] x[3173] x[3174] x[3175] x[3176] x[3177] x[3178] x[3179] x[3180] x[3181] x[3182] x[3183] x[3184] x[3185] x[3186] x[3187] x[3188] x[3189] x[3190] x[3191] x[3192] x[3193] x[3194] x[3195] x[3196] x[3197] x[3198] x[3199] x[3200] x[3201] x[3202] x[3203] x[3204] x[3205] x[3206] x[3207] x[3208] x[3209] x[3210] x[3211] x[3212] x[3213] x[3214] x[3215] x[3216] x[3217] x[3218] x[3219] x[3220] x[3221] x[3222] x[3223] x[3224] x[3225] x[3226] x[3227] x[3228] x[3229] x[3230] x[3231] x[3232] x[3233] x[3234] x[3235] x[3236] x[3237] x[3238] x[3239] x[3240] x[3241] x[3242] x[3243] x[3244] x[3245] x[3246] x[3247] x[3248] x[3249] x[3250] x[3251] x[3252] x[3253] x[3254] x[3255] x[3256] x[3257] x[3258] x[3259] x[3260] x[3261] x[3262] x[3263] x[3264] x[3265] x[3266] x[3267] x[3268] x[3269] x[3270] x[3271] x[3272] x[3273] x[3274] x[3275] x[3276] x[3277] x[3278] x[3279] x[3280] x[3281] x[3282] x[3283] x[3284] x[3285] x[3286] x[3287] x[3288] x[3289] x[3290] x[3291] x[3292] x[3293] x[3294] x[3295] x[3296] x[3297] x[3298] x[3299] x[3300] x[3301] x[3302] x[3303] x[3304] x[3305] x[3306] x[3307] x[3308] x[3309] x[3310] x[3311] x[3312] x[3313] x[3314] x[3315] x[3316] x[3317] x[3318] x[3319] x[3320] x[3321] x[3322] x[3323] x[3324] x[3325] x[3326] x[3327] x[3328] x[3329] x[3330] x[3331] x[3332] x[3333] x[3334] x[3335] x[3336] x[3337] x[3338] x[3339] x[3340] x[3341] x[3342] x[3343] x[3344] x[3345] x[3346] x[3347] x[3348] x[3349] x[3350] x[3351] x[3352] x[3353] x[3354] x[3355] x[3356] x[3357] x[3358] x[3359] x[3360] x[3361] x[3362] x[3363] x[3364] x[3365] x[3366] x[3367] x[3368] x[3369] x[3370] x[3371] x[3372] x[3373] x[3374] x[3375] x[3376] x[3377] x[3378] x[3379] x[3380] x[3381] x[3382] x[3383] x[3384] x[3385] x[3386] x[3387] x[3388] x[3389] x[3390] x[3391] x[3392] x[3393] x[3394] x[3395] x[3396] x[3397] x[3398] x[3399] x[3400] x[3401] x[3402] x[3403] x[3404] x[3405] x[3406] x[3407] x[3408] x[3409] x[3410] x[3411] x[3412] x[3413] x[3414] x[3415] x[3416] x[3417] x[3418] x[3419] x[3420] x[3421] x[3422] x[3423] x[3424] x[3425] x[3426] x[3427] x[3428] x[3429] x[3430] x[3431] x[3432] x[3433] x[3434] x[3435] x[3436] x[3437] x[3438] x[3439] x[3440] x[3441] x[3442] x[3443] x[3444] x[3445] x[3446] x[3447] x[3448] x[3449] x[3450] x[3451] x[3452] x[3453] x[3454] x[3455] x[3456] x[3457] x[3458] x[3459] x[3460] x[3461] x[3462] x[3463] x[3464] x[3465] x[3466] x[3467] x[3468] x[3469] x[3470] x[3471] x[3472] x[3473] x[3474] x[3475] x[3476] x[3477] x[3478] x[3479] x[3480] x[3481] x[3482] x[3483] x[3484] x[3485] x[3486] x[3487] x[3488] x[3489] x[3490] x[3491] x[3492] x[3493] x[3494] x[3495] x[3496] x[3497] x[3498] x[3499] x[3500] x[3501] x[3502] x[3503] x[3504] x[3505] x[3506] x[3507] x[3508] x[3509] x[3510] x[3511] x[3512] x[3513] x[3514] x[3515] x[3516] x[3517] x[3518] x[3519] x[3520] x[3521] x[3522] x[3523] x[3524] x[3525] x[3526] x[3527] x[3528] x[3529] x[3530] x[3531] x[3532] x[3533] x[3534] x[3535] x[3536] x[3537] x[3538] x[3539] x[3540] x[3541] x[3542] x[3543] x[3544] x[3545] x[3546] x[3547] x[3548] x[3549] x[3550] x[3551] x[3552] x[3553] x[3554] x[3555] x[3556] x[3557] x[3558] x[3559] x[3560] x[3561] x[3562] x[3563] x[3564] x[3565] x[3566] x[3567] x[3568] x[3569] x[3570] x[3571] x[3572] x[3573] x[3574] x[3575] x[3576] x[3577] x[3578] x[3579] x[3580] x[3581] x[3582] x[3583] x[3584] x[3585] x[3586] x[3587] x[3588] x[3589] x[3590] x[3591] x[3592] x[3593] x[3594] x[3595] x[3596] x[3597] x[3598] x[3599]
2520.02/2374.02	v       </list>
2520.02/2374.02	v       <values>
2520.02/2374.02	v         3206 27 5 33 3191 3189 1 3184 3182 3 31 3187 16 3192 2 3203 21 3178 3204 3195 12 3193 3190 3194 17 3183 3176 26 3185 3197 14 3181 3177 11 3179 24 8 20 6 4 30 3196 3199 3207 3205 15 3201 3180 9 10 3188 7 13 28 0 3186 3202 3200 25 3198 1 3199 14 3185 3183 3175 35 3193 28 3179 22 3188 3194 3207 3187 17 3206 3202 3182 3204 0 3190 3197 3 13 21 15 27 3181 3198 16 32 2 3177 5 31 3184 3200 3195 18 29 10 6 20 8 11 3191 12 3201 3186 4 3196 3205 41 23 3189 25 19 7 3203 21 2 27 22 3205 3200 3185 20 3192 10 18 6 31 3198 32 13 30 3190 3195 3189 3 14 3188 36 0 29 3193 7 33 3199 3201 24 4 3197 15 25 38 5 35 26 3196 3182 3204 23 3203 9 3183 8 1 12 3206 3202 3191 3187 28 19 3186 3184 3194 3207 32 21 3204 3186 27 9 3196 3203 5 12 3185 4 35 3 1 3205 14 3206 3181 11 33 20 2 10 3192 6 0 36 26 3191 22 23 3201 3189 31 3200 3195 3198 29 3197 17 38 16 19 3202 25 3193 3188 28 18 13 3187 7 8 24 30 3194 15 3207 3178 3199 3189 3202 3195 26 3179 32 3204 23 33 3205 19 8 35 28 3193 3183 3197 13 3196 3191 30 25 3186 3188 3206 3 3198 36 12 3203 3187 3190 4 3185 3184 0 3207 3200 38 3201 17 31 27 7 22 5 3181 2 16 9 3194 24 39 10 3192 18 6 1 29 16 22 2 0 3193 3194 3195 18 3204 35 33 3181 9 3184 25 3197 3201 24 29 3203 3189 15 3207 3192 3191 36 31 3186 3 27 6 14 3196 8 23 10 3188 30 39 19 12 28 13 1 3199 3187 17 4 3202 3190 5 3206 11 20 21 3198 7 3185 3205 26 12 30 28 6 3202 3205 10 3207 24 27 21 3195 3184 3190 3191 29 3204 23 31 22 3182 3194 3189 14 19 3200 8 3197 3183 35 20 3192 3 0 3187 3193 26 17 13 3196 4 16 3201 9 15 3186 7 3185 25 3188 3198 33 38 40 3206 32 3203 37 18 5 3 3187 3191 3197 3182 3181 27 3180 2 28 3195 31 3202 18 3204 21 0 3205 10 12 4 3185 3193 24 32 20 3199 3200 16 3201 3196 19 3194 3207 9 3186 15 11 17 7 22 23 3192 35 36 13 25 3183 3206 26 3203 3190 34 33 3189 5 1 14 8 6 3203 12 3207 3181 13 3185 25 9 4 3184 3200 3204 3206 24 3205 3194 3195 26 3183 3202 3201 11 7 3178 3 3190 33 30 23 3177 3191 3180 3173 18 3176 5 3175 14 3186 3188 10 3193 36 3187 3174 2 3182 3189 0 8 22 3199 6 32 15 3197 3179 3198 19 1 17 14 9 3206 40 3184 34 3198 30 3200 11 21 3197 31 3199 3201 4 7 0 3187 37 19 3191 3205 42 39 2 6 24 18 3207 3202 12 5 3193 3 3185 32 3196 16 1 41 28 15 38 23 3195 33 3204 36 20 13 29 10 8 27 3192 3203 22 25 3200 8 16 3188 14 35 3181 3185 15 9 25 3201 4 3183 23 31 5 17 3177 27 13 28 3182 3207 34 10 30 38 22 3187 3193 26 18 3199 3195 33 3191 29 3198 3205 3202 3194 32 3197 3190 19 0 11 3180 37 24 20 1 3 7 2 36 3179 3203 12 4 3190 18 3 1 7 3202 36 16 3193 26 37 0 3203 3192 3200 3205 12 3178 14 27 13 6 2 21 3197 17 8 3196 23 3180 3201 40 3184 3188 3207 39 15 3191 3199 38 11 22 3179 25 3189 20 5 24 3187 3204 30 35 3206 19 3194 33 9 31 3185 7 3197 3198 3177 24 17 8 3201 10 1 3194 30 3186 12 37 3191 3184 3199 3187 25 2 9 3205 3181 39 3207 21 28 13 19 34 16 3206 3183 3178 38 22 3202 3180 3190 3185 14 20 3203 0 3195 3192 15 3189 3 23 4 3188 18 11 6 5 3204 3200 3196 15 13 3190 32 4 3202 3193 7 3187 3195 12 3179 26 3206 3197 16 3185 0 3186 3182 3181 3183 3178 8 3184 35 3194 9 3198 3192 3199 3188 33 3204 2 3201 36 3203 3 6 37 22 18 3189 31 38 3180 3200 3177 3191 1 3207 39 23 3205 28 19 3196 34 10 19 5 3180 3201 3196 3183 2 32 9 3190 20 3189 1 3185 3 7 3177 3193 26 3194 3205 3199 3179 34 8 3188 3175 3187 4 3195 11 22 3202 3186 17 29 3182 3204 21 10 3198 18 3181 3184 37 3197 3206 0 3178 6 3192 3200 16 3207 3203 3191 14 12 15 3176 3191 20 17 30 12 8 3 3190 6 40 3197 3205 3193 25 3196 19 15 3182 3207 3184 3206 0 3195 3188 23 3185 1 4 29 3202 33 10 3189 27 3186 3194 2 3187 3181 21 3203 3201 3180 13 14 5 9 18 34 3192 26 11 3200 22 3204 3199 3198 3183 16 7 20 10 3196 3194 3 31 3189 3182 3181 15 3207 3199 3192 19 8 3195 28 2 9 3179 3180 3203 27 39 3204 3198 3184 1 21 30 3188 25 3185 3175 3200 3183 4 26 18 12 32 7 29 3202 24 3191 3187 3186 14 22 3190 3178 3206 34 16 11 3193 5 6 13 34 11 13 3184 9 28 5 3206 3183 3185 2 39 27 3186 3198 20 8 21 4 16 3195 6 19 30 25 26 12 3191 17 36 37 3194 15 3187 3192 3188 3205 3193 3204 3203 14 3189 3200 3201 3 33 1 29 3199 3197 0 3182 3180 3196 3207 7 10 18 3181 3202 10 6 3199 17 3200 36 20 4 3177 13 24 23 15 3194 3188 0 3203 3184 3193 2 3207 32 21 19 3196 3189 28 3182 3186 7 3205 3183 3204 3181 11 16 12 3201 33 3192 5 25 3202 34 18 3206 3198 14 30 27 35 26 22 1 3195 29 3197 3 9 8 36 3196 11 2 37 3207 3192 3176 3199 26 23 32 3 14 7 3198 9 8 30 24 21 3201 15 3179 35 25 3180 34 18 1 3182 20 39 29 12 19 3202 6 5 17 3204 40 0 3205 3186 3183 16 22 27 33 10 3185 3187 4 3191 13 31 3188 28 3194 3194 3182 3200 3203 3204 6 16 3197 13 3196 0 3207 3201 28 34 12 22 30 3188 7 8 3206 3180 3193 3205 23 20 15 3202 2 29 3189 3183 3178 33 3181 1 25 3199 31 3184 27 17 26 19 3198 10 3177 18 21 3195 36 5 11 3185 3 9 4 3192 14 9 3176 3187 3189 3207 11 15 3196 3180 3181 10 3186 3195 3191 3183 3182 3197 1 3206 26 3198 3177 3185 3203 3202 14 7 16 3190 0 5 8 25 3 3204 3192 3199 24 37 34 3193 12 3184 4 2 3188 3178 23 33 3200 19 21 3201 38 6 3205 13 3194 17 28 0 3185 3205 3190 35 23 33 14 3194 32 15 3203 3207 4 24 1 7 3201 3192 3186 34 10 8 20 5 3184 3179 3204 3191 3181 3187 3198 26 3200 3199 12 11 22 27 3195 6 3206 3 21 13 30 19 3202 3188 3193 25 9 3196 2 3182 3183 16 29 3197 17 22 3195 40 3193 11 0 3186 19 1 36 3188 3190 13 8 33 3184 24 18 16 3199 39 31 20 3202 37 17 3200 3203 3201 6 21 12 28 3198 3181 3205 5 23 15 41 3191 34 4 3204 3189 7 3196 30 3187 9 3197 3192 2 3194 14 3207 3 3206 10 32 24 26 3178 19 3197 33 17 3181 3203 7 28 10 5 32 22 3180 18 3183 3202 3188 14 16 3176 31 3201 3196 6 25 3182 3206 15 3205 3186 35 1 4 27 3191 12 3198 3207 2 21 3200 3192 3 29 9 11 0 3193 8 40 3185 13 3204 20 3195 23 3179 28 3204 29 3187 32 22 3188 3186 25 3197 3183 18 3190 37 3200 3 10 5 8 23 3178 3198 3201 33 30 3192 26 2 11 17 3179 3193 24 3194 3203 3177 3181 13 1 20 34 15 3185 31 21 6 3202 3205 3207 3199 16 19 3195 3189 4 14 3191 3180 35 9 30 23 3185 3191 6 3195 18 3178 3186 3187 3179 16 3182 3181 9 26 3190 3196 37 1 3188 36 13 15 11 3203 3174 3180 3200 34 3184 17 14 12 3207 3199 7 3189 2 3202 3206 3 3193 3194 10 3192 3205 3198 3197 35 33 3177 3204 3183 3201 24 8 0 5 4 38 25 30 29 3199 3191 11 31 33 19 3187 12 7 3201 0 3196 17 3194 20 3183 3190 8 3203 23 1 3182 3192 3181 3193 14 3202 3197 3198 9 6 3179 28 3195 3205 5 3189 3204 2 3186 3206 3200 3 10 26 3184 18 3188 3207 35 34 16 15 21 27 22 3201 34 26 3180 3206 12 3197 3 18 14 3186 5 3181 21 29 15 3175 16 17 28 3203 25 3184 13 2 8 24 0 6 20 9 27 19 3188 3189 3198 10 4 3192 1 33 3195 35 36 30 3194 3199 7 3196 3207 11 3193 32 31 3202 22 3205 3187 3204 3200 14 3193 23 3196 7 3203 30 3179 31 29 4 38 12 2 3206 3190 3191 22 28 3181 20 3204 17 5 36 11 3202 3201 3195 3186 3198 35 0 3180 13 18 3187 3194 32 15 3192 3184 3207 6 3188 24 34 19 21 3205 41 3197 3 3200 1 3185 3199 3189 33 3182 25 31 3203 5 17 3198 3199 21 3206 11 3181 7 6 3187 3201 39 3196 3192 3205 3193 3202 3188 18 9 29 22 16 24 30 28 8 3207 27 26 3 3195 3204 10 3183 3186 3182 3200 3191 37 20 0 3197 38 3190 4 2 1 12 19 32 15 23 34 14 3189 29 35 15 3182 3185 1 24 17 12 3189 3196 3197 3191 3195 16 3199 3198 4 3184 9 3194 23 3183 3190 10 19 3201 3 5 3200 13 18 3188 3179 28 6 14 27 11 2 3186 20 3203 7 33 3193 3204 3206 3205 25 3207 3180 8 36 3181 3202 22 3192 32 0 3204 7 3197 3198 3201 3182 6 5 19 3186 3177 24 3196 17 3195 11 2 3189 25 4 3192 21 3194 3206 9 33 10 3193 3184 8 27 3199 13 22 14 3191 3183 28 23 3187 3188 26 3205 18 3200 3190 3185 3207 16 1 3 3203 15 42 30 12 0 20 3202 3181 37 32 3194 10 19 15 3190 25 3 4 3201 27 3198 0 3189 38 13 3200 12 3192 3199 1 22 21 3203 3193 9 3206 31 11 17 29 3195 3191 3197 3202 23 7 8 39 3187 3186 30 24 3207 20 28 36 40 3196 34 3205 18 6 2 26 35 3182 3188 3204 3189 3207 3188 35 16 3190 26 3199 27 6 3184 13 40 34 41 18 3173 15 22 3 3197 3196 3204 38 3185 5 19 10 28 3203 1 4 3192 2 8 9 31 0 25 32 36 21 7 39 11 3202 37 3187 3198 23 12 24 14 3201 3186 20 3206 17 3193 3205 3193 0 3184 3200 28 3 3206 12 11 3199 19 9 22 16 20 3202 3189 3195 34 36 3185 2 3198 26 6 18 35 14 3207 13 3186 1 21 3190 25 7 32 8 3203 3194 42 3197 5 3188 41 3182 15 3192 3191 3204 39 31 10 37 3196 4 17 23 3187 3201 13 9 3183 3202 3192 26 3203 11 7 3206 6 3200 3188 10 4 2 3186 3179 18 3201 3177 3205 24 16 27 34 3198 17 12 3176 3204 21 3199 1 22 3182 3197 35 3187 3189 3194 0 15 3195 3196 3207 14 3190 29 5 8 3 3185 3184 3193 3181 3178 31 3191 3180 2 3177 3181 7 3198 19 3191 23 3195 0 27 1 3183 3189 3186 4 3179 3180 14 10 36 3207 3175 12 15 3199 3188 20 3192 3205 3206 9 3197 3185 3184 3187 3203 3 3182 11 25 6 37 30 3204 3196 13 3194 3200 3201 3202 16 21 5 17 8 28 33 29 3190 26 3192 3189 12 36 27 38 10 17 3205 3 15 20 29 14 3188 3193 3187 6 3190 3183 3184 4 3199 3194 9 22 32 1 31 0 3206 3203 16 3202 13 3180 3185 3207 25 11 37 3196 8 23 3181 3200 3195 5 19 30 3204 33 7 3198 18 24 3197 2 3191 3192 3205 24 8 39 3178 0 3194 29 23 3204 33 3200 3197 38 3207 25 3203 7 3206 6 3195 10 18 3193 4 3186 19 14 3190 2 5 9 13 3196 1 30 16 22 35 26 3202 11 3199 28 3201 12 3182 3 34 21 3198 17 15 27 31 32 36 3189 20 23 29 3206 14 3203 30 4 3187 3185 18 3192 3196 3180 9 3194 5 3 3198 3201 3200 3204 26 11 22 24 3179 3197 3188 3189 15 3181 7 20 31 0 28 21 1 3202 3182 3205 8 10 25 17 12 3207 3199 19 3195 3191 6 27 16 3183 3184 2 3193 13 33 3197 28 7 18 3179 3196 13 6 14 3192 3202 3198 11 3199 3193 3183 20 31 3189 3175 22 4 3181 25 3195 3205 3185 33 19 5 10 3 3207 21 3191 3190 35 2 3206 36 8 1 24 3180 26 3204 3203 3184 12 15 3201 3176 0 17 9 37 3200 16 3186 3187 3190 18 3179 25 22 3180 37 3195 35 21 13 8 23 11 40 3206 3194 6 36 3177 3186 3187 3192 29 31 7 3196 3199 38 3207 19 3184 1 10 16 14 17 9 3201 33 3 30 34 0 5 3205 2 32 3185 3202 3189 27 3203 3198 3200 3193 4 24 39 15 6 3179 1 24 34 14 3184 3189 26 17 3190 3202 25 27 3185 3192 3188 3 5 13 15 3200 3177 4 3198 3191 29 23 10 22 3194 30 3205 33 3180 3203 3206 12 7 8 2 31 3186 3193 3197 21 18 3204 3195 20 3199 3181 3183 0 35 9 3207 3201 11 19 3198 3202 3192 3199 0 13 7 3183 3207 3180 14 34 3205 3196 3179 33 16 3188 21 6 3187 29 3186 3204 26 2 5 11 8 32 3197 37 17 15 3182 22 19 31 9 3206 23 3181 1 3191 3201 3185 3189 25 4 3194 3200 10 3190 27 20 3203 3195 3178 3184 3 3202 3186 3182 3178 3184 20 3207 3177 3189 3194 3175 26 3185 15 6 3187 3200 3204 1 3176 5 12 3199 3195 33 3 3203 3190 3188 3196 3192 3191 3193 17 10 11 18 37 16 3201 21 3205 3206 22 3198 8 24 2 3181 3183 31 14 36 3197 3180 0 34 7 4 23 3207 3183 22 23 3188 3192 3200 0 3191 2 17 3182 21 3178 3203 3186 3202 13 3 34 16 7 3206 3189 3197 3201 11 3184 3187 4 3195 6 3175 24 3205 20 3193 3181 26 3204 3177 3190 19 3196 12 3180 3176 28 3194 3198 15 25 31 14 18 3179 3185 1 3199 27 27 16 12 20 3190 3193 21 2 0 8 3206 3 3199 22 30 9 36 28 3200 17 3196 3182 5 11 3187 1 3205 3194 37 3204 4 31 32 3203 18 3197 25 3192 14 3207 15 3198 23 3185 3195 26 3186 3201 7 3189 6 3179 19 13 33 10 29 3202 3183 3188 18 4 32 3207 3187 10 31 3200 3197 3182 16 25 28 30 26 22 3176 14 11 5 19 3186 3202 0 3190 15 3204 3195 3205 3189 24 3196 7 3193 35 23 3 3206 3194 27 3180 3188 3183 3198 6 3199 3179 20 8 3203 3185 17 3192 9 12 1 3201 13 36 2 11 1 3195 3204 15 18 3183 13 20 3203 3191 14 19 7 3202 3185 23 3181 3198 8 9 3197 31 3200 12 24 3187 5 35 16 3189 33 6 3205 3206 21 3196 3199 30 29 0 4 25 2 3193 10 3194 3 17 32 37 3186 28 26 22 36 27 3207 3201 3184 33 37 3 13 25 21 9 3205 3201 3204 7 3185 2 1 10 23 3199 3186 35 19 31 3191 32 3187 3182 3195 14 3202 3180 3188 12 15 16 3176 4 3196 3207 3178 3193 28 18 5 26 3183 3194 17 22 3197 20 11 27 3184 30 3203 3192 3190 3189 8 24 3206 3196 3201 0 3192 23 3186 3204 3188 3200 20 3189 3180 14 6 5 10 1 3185 2 15 3184 33 16 3182 28 3202 3207 3183 27 3194 7 11 3187 32 3198 3178 13 3179 24 3191 31 3203 12 3 29 18 8 17 22 30 3205 35 3199 3193 26 3206 21 25 3195 3197 8 3 36 11 33 5 3194 15 3205 3207 3198 3183 32 3204 17 28 29 35 3180 21 1 24 0 3201 18 38 3182 13 25 3185 3190 2 3200 3202 39 3206 16 3186 4 14 3197 19 9 10 3191 3184 3188 3193 3203 7 40 3189 20 12 31 3195 6 22 3196 3199 3179 3181 8 3205 2 3176 36 3192 3202 3188 3199 17 3187 5 12 3204 26 3207 3194 3178 3200 3189 3196 3198 16 0 13 18 15 3184 3 28 3182 3206 24 3185 9 3197 3190 3183 7 35 3195 29 1 14 23 3203 6 3180 3186 3201 4 30 25 34 37 3191 20 3193 3205 15 20 1 3189 3206 3198 26 3188 3201 30 0 17 33 27 8 19 11 3203 3207 3179 3202 12 35 22 16 32 21 3199 3180 3185 13 3191 25 7 2 24 3182 10 9 3200 3187 14 5 4 3178 3181 6 31 29 28 18 23 3204 3184 3196 3190 3186 3 3195 35 36 19 31 18 3187 12 3202 8 3198 1 3192 3203 3193 15 3189 3207 9 3185 0 11 3 3200 17 20 3194 4 29 2 10 26 3204 23 3195 3201 3180 6 3188 3197 13 28 3199 38 3178 27 16 3184 37 3186 14 7 3191 41 3205 5 39 3196 3190 3206 34 5 19 3201 9 3194 32 3187 27 3179 16 3180 28 30 3202 21 6 11 20 3191 3198 10 3192 33 3197 7 13 25 3185 3203 24 3200 3195 8 14 36 3189 3186 3205 31 0 3183 3207 3188 3206 22 3177 4 1 3193 2 3196 12 26 29 3 17 3204 3199 3190 18 31 17 6 3179 21 16 19 24 3198 5 8 3206 10 3200 3207 37 3180 34 3196 3205 3193 18 1 7 14 3204 3181 22 3197 33 3183 3203 11 3201 32 26 20 3190 0 3 3199 13 3187 3182 9 4 27 3191 15 28 3194 3195 3202 25 29 23 12 2 3185 3192 3195 3203 3186 4 3178 3177 22 3191 3174 3202 5 3194 3204 20 3180 14 12 10 15 3185 7 3179 3 6 3207 3187 27 3205 3206 3182 18 3190 3184 28 19 8 3201 21 3189 3193 3181 24 3198 3192 16 1 30 3196 3176 39 17 3175 9 3199 3197 3200 11 26 0 3183 40 3194 4 3183 3195 3188 28 29 22 25 3193 2 3189 13 19 34 3182 3191 24 3197 17 5 3187 1 3200 12 18 3207 39 3 31 0 10 7 21 3204 37 3196 20 23 3190 9 8 16 32 3203 6 35 38 3206 14 15 3198 3202 3199 3201 26 3205 30 11
2520.02/2374.02	v       </values>
2520.02/2374.02	v     </instantiation>
2520.02/2374.02	s SATISFIABLE

Verifier Data 

OK	3207

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304250-1534050549/watcher-4304250-1534050549 -o /tmp/evaluation-result-4304250-1534050549/solver-4304250-1534050549 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534040758-13580 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=494587195 -superng HOME/instance-4304250-1534050549.xml 

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

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

solver pid=15077, runsolver pid=15074

[startup+0.100139 s]*
/proc/loadavg: 1.38 1.33 1.40 2/202 15130
/proc/meminfo: memFree=5098260/32770624 swapFree=67108860/67108860
[pid=15077] ppid=15074 vsize=10005480 memory=16284 CPUtime=0.09 cores=0,2,4,6
/proc/15077/stat : 15077 (java) S 15074 15077 11630 0 -1 1077944320 4224 13200 0 0 1 0 5 3 20 0 6 0 222618110 10245611520 4071 33554432000 4194304 4196468 140736186078208 140736186060752 140658976095991 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
/proc/15077/statm: 2501370 4071 1919 1 0 2489808 0
[pid=15077/tid=15130] ppid=15074 vsize=10005480 memory=4279135703980474253 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15130/stat : 15130 (java) R 15074 15077 11630 0 -1 4202560 2037 13200 0 0 0 0 5 3 20 0 6 0 222618119 10245611520 4071 33554432000 4194304 4196468 140736186078208 140658947932752 140658976117917 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15131] ppid=15074 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15131/stat : 15131 (java) S 15074 15077 11630 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 6 0 222618120 10245611520 4071 33554432000 4194304 4196468 140736186078208 140658980338192 140658976106197 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15132] ppid=15074 vsize=10005480 memory=140411136611968 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15132/stat : 15132 (java) S 15074 15077 11630 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 6 0 222618120 10245611520 4071 33554432000 4194304 4196468 140736186078208 140658845674128 140658976106197 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15133] ppid=15074 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15133/stat : 15133 (java) S 15074 15077 11630 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 6 0 222618120 10245611520 4071 33554432000 4194304 4196468 140736186078208 140658844621072 140658976106197 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15134] ppid=15074 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15134/stat : 15134 (java) S 15074 15077 11630 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 6 0 222618120 10245611520 4071 33554432000 4194304 4196468 140736186078208 140658843568528 140658976106197 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16284 KiB

[startup+0.210067 s]*
/proc/loadavg: 1.38 1.33 1.40 3/215 15143
/proc/meminfo: memFree=5071664/32770624 swapFree=67108860/67108860
[pid=15077] ppid=15074 vsize=10982744 memory=44188 CPUtime=0.26 cores=0,2,4,6
/proc/15077/stat : 15077 (java) S 15074 15077 11630 0 -1 1077944320 7218 13200 0 0 16 2 5 3 20 0 15 0 222618110 11246329856 11047 33554432000 4194304 4196468 140736186078208 140736186060752 140658976095991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
/proc/15077/statm: 2745686 11047 2949 1 0 2708109 0
[pid=15077/tid=15130] ppid=15074 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/15077/task/15130/stat : 15130 (java) R 15074 15077 11630 0 -1 4202560 3775 13200 0 0 10 1 5 3 20 0 15 0 222618119 11246329856 11047 33554432000 4194304 4196468 140736186078208 140658947892912 140658961261584 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15131] ppid=15074 vsize=10982744 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15131/stat : 15131 (java) S 15074 15077 11630 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222618120 11246329856 11047 33554432000 4194304 4196468 140736186078208 140658980338192 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15132] ppid=15074 vsize=10982744 memory=3689494723400013472 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15132/stat : 15132 (java) S 15074 15077 11630 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222618120 11246329856 11047 33554432000 4194304 4196468 140736186078208 140658845674128 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15133] ppid=15074 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15133/stat : 15133 (java) S 15074 15077 11630 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 222618120 11246329856 11047 33554432000 4194304 4196468 140736186078208 140658844621072 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15134] ppid=15074 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15134/stat : 15134 (java) S 15074 15077 11630 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222618120 11246329856 11047 33554432000 4194304 4196468 140736186078208 140658843568528 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15135] ppid=15074 vsize=10982744 memory=140411136611968 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15135/stat : 15135 (java) S 15074 15077 11630 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 222618121 11246329856 11047 33554432000 4194304 4196468 140736186078208 140658401372912 140658976107138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15136] ppid=15074 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15136/stat : 15136 (java) S 15074 15077 11630 0 -1 1077944384 13 13200 0 0 0 0 5 3 20 0 15 0 222618122 11246329856 11047 33554432000 4194304 4196468 140736186078208 140657830127264 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15137] ppid=15074 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15137/stat : 15137 (java) S 15074 15077 11630 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222618122 11246329856 11047 33554432000 4194304 4196468 140736186078208 140657628800240 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15138] ppid=15074 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15138/stat : 15138 (java) S 15074 15077 11630 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222618125 11246329856 11047 33554432000 4194304 4196468 140736186078208 140657321400784 140658976114587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15139] ppid=15074 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15077/task/15139/stat : 15139 (java) S 15074 15077 11630 0 -1 1077944384 426 13200 0 0 1 0 5 3 20 0 15 0 222618125 11246329856 11047 33554432000 4194304 4196468 140736186078208 140658400319728 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15140] ppid=15074 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/15077/task/15140/stat : 15140 (java) S 15074 15077 11630 0 -1 1077944384 190 13200 0 0 1 0 5 3 20 0 15 0 222618125 11246329856 11047 33554432000 4194304 4196468 140736186078208 140658399267184 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15141] ppid=15074 vsize=10982744 memory=140411136611968 CPUtime=0.11 cores=0,2,4,6
/proc/15077/task/15141/stat : 15141 (java) S 15074 15077 11630 0 -1 1077944384 607 13200 0 0 3 0 5 3 20 0 15 0 222618125 11246329856 11047 33554432000 4194304 4196468 140736186078208 140658398214128 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15142] ppid=15074 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15142/stat : 15142 (java) S 15074 15077 11630 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222618125 11246329856 11047 33554432000 4194304 4196468 140736186078208 140656890603872 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15143] ppid=15074 vsize=10982744 memory=140411136611968 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15143/stat : 15143 (java) S 15074 15077 11630 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222618125 11246329856 11047 33554432000 4194304 4196468 140736186078208 140658397162544 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44188 KiB

[startup+0.310163 s]*
/proc/loadavg: 1.38 1.33 1.40 3/215 15143
/proc/meminfo: memFree=5059012/32770624 swapFree=67108860/67108860
[pid=15077] ppid=15074 vsize=10983192 memory=55784 CPUtime=0.39 cores=0,2,4,6
/proc/15077/stat : 15077 (java) S 15074 15077 11630 0 -1 1077944320 9990 13200 0 0 28 3 5 3 20 0 15 0 222618110 11246788608 13946 33554432000 4194304 4196468 140736186078208 140736186060752 140658976095991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
/proc/15077/statm: 2745798 13946 3068 1 0 2708109 0
[pid=15077/tid=15130] ppid=15074 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/15077/task/15130/stat : 15130 (java) R 15074 15077 11630 0 -1 4202560 6535 13200 0 0 19 2 5 3 20 0 15 0 222618119 11246788608 13946 33554432000 4194304 4196468 140736186078208 140658947908000 140658957659520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15131] ppid=15074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15131/stat : 15131 (java) S 15074 15077 11630 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222618120 11246788608 13946 33554432000 4194304 4196468 140736186078208 140658980338192 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15132] ppid=15074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15132/stat : 15132 (java) S 15074 15077 11630 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222618120 11246788608 13946 33554432000 4194304 4196468 140736186078208 140658845674128 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15133] ppid=15074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15133/stat : 15133 (java) S 15074 15077 11630 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 222618120 11246788608 13946 33554432000 4194304 4196468 140736186078208 140658844621072 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15134] ppid=15074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15134/stat : 15134 (java) S 15074 15077 11630 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222618120 11246788608 13946 33554432000 4194304 4196468 140736186078208 140658843568528 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15135] ppid=15074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15135/stat : 15135 (java) S 15074 15077 11630 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 222618121 11246788608 13946 33554432000 4194304 4196468 140736186078208 140658401372912 140658976107138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15136] ppid=15074 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15136/stat : 15136 (java) S 15074 15077 11630 0 -1 1077944384 13 13200 0 0 0 0 5 3 20 0 15 0 222618122 11246788608 13946 33554432000 4194304 4196468 140736186078208 140657830127264 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15137] ppid=15074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15137/stat : 15137 (java) S 15074 15077 11630 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222618122 11246788608 13946 33554432000 4194304 4196468 140736186078208 140657628800240 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15138] ppid=15074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15138/stat : 15138 (java) S 15074 15077 11630 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222618125 11246788608 13946 33554432000 4194304 4196468 140736186078208 140657321400784 140658976114587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15139] ppid=15074 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15077/task/15139/stat : 15139 (java) S 15074 15077 11630 0 -1 1077944384 428 13200 0 0 1 0 5 3 20 0 15 0 222618125 11246788608 13946 33554432000 4194304 4196468 140736186078208 140658400319728 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15140] ppid=15074 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/15077/task/15140/stat : 15140 (java) S 15074 15077 11630 0 -1 1077944384 190 13200 0 0 1 0 5 3 20 0 15 0 222618125 11246788608 13946 33554432000 4194304 4196468 140736186078208 140658399267184 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15141] ppid=15074 vsize=10983192 memory=140411136611968 CPUtime=0.12 cores=0,2,4,6
/proc/15077/task/15141/stat : 15141 (java) S 15074 15077 11630 0 -1 1077944384 617 13200 0 0 4 0 5 3 20 0 15 0 222618125 11246788608 13946 33554432000 4194304 4196468 140736186078208 140658398214128 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15142] ppid=15074 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15142/stat : 15142 (java) S 15074 15077 11630 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222618125 11246788608 13946 33554432000 4194304 4196468 140736186078208 140656890603872 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15143] ppid=15074 vsize=10983192 memory=140411136611968 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15143/stat : 15143 (java) S 15074 15077 11630 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222618125 11246788608 13946 33554432000 4194304 4196468 140736186078208 140658397162544 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55784 KiB

[startup+0.700707 s]
/proc/loadavg: 1.38 1.33 1.40 3/215 15143
/proc/meminfo: memFree=5047524/32770624 swapFree=67108860/67108860
[pid=15077] ppid=15074 vsize=10983192 memory=90472 CPUtime=0.99 cores=0,2,4,6
/proc/15077/stat : 15077 (java) S 15074 15077 11630 0 -1 1077944320 16691 13200 0 0 87 4 5 3 20 0 15 0 222618110 11246788608 22618 33554432000 4194304 4196468 140736186078208 140736186060752 140658976095991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
/proc/15077/statm: 2745798 22618 3241 1 0 2708109 0
[pid=15077/tid=15130] ppid=15074 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/15077/task/15130/stat : 15130 (java) R 15074 15077 11630 0 -1 4202560 12158 13200 0 0 55 3 5 3 20 0 15 0 222618119 11246788608 22618 33554432000 4194304 4196468 140736186078208 140658947916184 140658956371656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15131] ppid=15074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15131/stat : 15131 (java) S 15074 15077 11630 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222618120 11246788608 22618 33554432000 4194304 4196468 140736186078208 140658980338192 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15132] ppid=15074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15132/stat : 15132 (java) S 15074 15077 11630 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222618120 11246788608 22618 33554432000 4194304 4196468 140736186078208 140658845674128 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15133] ppid=15074 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15133/stat : 15133 (java) S 15074 15077 11630 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 222618120 11246788608 22618 33554432000 4194304 4196468 140736186078208 140658844621072 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15134] ppid=15074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15134/stat : 15134 (java) S 15074 15077 11630 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222618120 11246788608 22618 33554432000 4194304 4196468 140736186078208 140658843568528 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15135] ppid=15074 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15135/stat : 15135 (java) S 15074 15077 11630 0 -1 1077944384 5 13200 0 0 0 0 5 3 20 0 15 0 222618121 11246788608 22618 33554432000 4194304 4196468 140736186078208 140658401372912 140658976107138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15136] ppid=15074 vsize=10983192 memory=140411003876048 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15136/stat : 15136 (java) S 15074 15077 11630 0 -1 1077944384 13 13200 0 0 0 0 5 3 20 0 15 0 222618122 11246788608 22618 33554432000 4194304 4196468 140736186078208 140657830127264 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15137] ppid=15074 vsize=10983192 memory=140411070841443 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15137/stat : 15137 (java) S 15074 15077 11630 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222618122 11246788608 22618 33554432000 4194304 4196468 140736186078208 140657628800240 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15138] ppid=15074 vsize=10983192 memory=10824 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15138/stat : 15138 (java) S 15074 15077 11630 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222618125 11246788608 22618 33554432000 4194304 4196468 140736186078208 140657321400784 140658976114587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15139] ppid=15074 vsize=10983192 memory=7234564758908855872 CPUtime=0.17 cores=0,2,4,6
/proc/15077/task/15139/stat : 15139 (java) S 15074 15077 11630 0 -1 1077944384 1061 13200 0 0 9 0 5 3 20 0 15 0 222618125 11246788608 22618 33554432000 4194304 4196468 140736186078208 140658400319728 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15140] ppid=15074 vsize=10983192 memory=8099279071866868843 CPUtime=0.15 cores=0,2,4,6
/proc/15077/task/15140/stat : 15140 (java) S 15074 15077 11630 0 -1 1077944384 556 13200 0 0 7 0 5 3 20 0 15 0 222618125 11246788608 22618 33554432000 4194304 4196468 140736186078208 140658399267184 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15141] ppid=15074 vsize=10983192 memory=6154282490091891024 CPUtime=0.21 cores=0,2,4,6
/proc/15077/task/15141/stat : 15141 (java) S 15074 15077 11630 0 -1 1077944384 693 13200 0 0 13 0 5 3 20 0 15 0 222618125 11246788608 22618 33554432000 4194304 4196468 140736186078208 140658398214128 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15142] ppid=15074 vsize=10983192 memory=4128 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15142/stat : 15142 (java) S 15074 15077 11630 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222618125 11246788608 22618 33554432000 4194304 4196468 140736186078208 140656890603872 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15143] ppid=15074 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15143/stat : 15143 (java) S 15074 15077 11630 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222618125 11246788608 22618 33554432000 4194304 4196468 140736186078208 140658397162544 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90472 KiB

[startup+1.50312 s]
/proc/loadavg: 1.38 1.33 1.40 3/215 15143
/proc/meminfo: memFree=5004788/32770624 swapFree=67108860/67108860
[pid=15077] ppid=15074 vsize=10991948 memory=309868 CPUtime=2.94 cores=0,2,4,6
/proc/15077/stat : 15077 (java) S 15074 15077 11630 0 -1 1077944320 22357 13200 0 0 267 19 5 3 20 0 15 0 222618110 11255754752 77467 33554432000 4194304 4196468 140736186078208 140736186060752 140658976095991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
/proc/15077/statm: 2747987 77467 3461 1 0 2709645 0
[pid=15077/tid=15130] ppid=15074 vsize=10991948 memory=12813 CPUtime=1.38 cores=0,2,4,6
/proc/15077/task/15130/stat : 15130 (java) R 15074 15077 11630 0 -1 4202560 15026 13200 0 0 124 6 5 3 20 0 15 0 222618119 11255754752 77467 33554432000 4194304 4196468 140736186078208 140658947929984 140658522189797 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15131] ppid=15074 vsize=10991948 memory=6791534058613427641 CPUtime=0.15 cores=0,2,4,6
/proc/15077/task/15131/stat : 15131 (java) S 15074 15077 11630 0 -1 1077944384 294 13200 0 0 5 2 5 3 20 0 15 0 222618120 11255754752 77467 33554432000 4194304 4196468 140736186078208 140658980338192 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15132] ppid=15074 vsize=10991948 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/15077/task/15132/stat : 15132 (java) S 15074 15077 11630 0 -1 1077944384 39 13200 0 0 4 2 5 3 20 0 15 0 222618120 11255754752 77467 33554432000 4194304 4196468 140736186078208 140658845674128 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15133] ppid=15074 vsize=10991948 memory=3661 CPUtime=0.15 cores=0,2,4,6
/proc/15077/task/15133/stat : 15133 (java) S 15074 15077 11630 0 -1 1077944384 59 13200 0 0 5 2 5 3 20 0 15 0 222618120 11255754752 77467 33554432000 4194304 4196468 140736186078208 140658844621072 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15134] ppid=15074 vsize=10991948 memory=90472 CPUtime=0.15 cores=0,2,4,6
/proc/15077/task/15134/stat : 15134 (java) S 15074 15077 11630 0 -1 1077944384 74 13200 0 0 5 2 5 3 20 0 15 0 222618120 11255754752 77467 33554432000 4194304 4196468 140736186078208 140658843568528 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15135] ppid=15074 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15135/stat : 15135 (java) S 15074 15077 11630 0 -1 1077944384 94 13200 0 0 0 0 5 3 20 0 15 0 222618121 11255754752 77467 33554432000 4194304 4196468 140736186078208 140658401372912 140658976107138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15136] ppid=15074 vsize=10991948 memory=280822007693808 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15136/stat : 15136 (java) S 15074 15077 11630 0 -1 1077944384 14 13200 0 0 0 0 5 3 20 0 15 0 222618122 11255754752 77467 33554432000 4194304 4196468 140736186078208 140657830127264 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15137] ppid=15074 vsize=10991948 memory=280822007744608 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15137/stat : 15137 (java) S 15074 15077 11630 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 222618122 11255754752 77467 33554432000 4194304 4196468 140736186078208 140657628800240 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15138] ppid=15074 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15138/stat : 15138 (java) S 15074 15077 11630 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222618125 11255754752 77467 33554432000 4194304 4196468 140736186078208 140657321400784 140658976114587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15139] ppid=15074 vsize=10991948 memory=4638778398332698720 CPUtime=0.52 cores=0,2,4,6
/proc/15077/task/15139/stat : 15139 (java) R 15074 15077 11630 0 -1 4202560 1481 13200 0 0 44 0 5 3 20 0 15 0 222618125 11255754752 77467 33554432000 4194304 4196468 140736186078208 140658400310176 140658959592775 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15140] ppid=15074 vsize=10991948 memory=280822008028032 CPUtime=0.5 cores=0,2,4,6
/proc/15077/task/15140/stat : 15140 (java) R 15074 15077 11630 0 -1 4202560 1799 13200 0 0 42 0 5 3 20 0 15 0 222618125 11255754752 77467 33554432000 4194304 4196468 140736186078208 140658399266368 140658962160160 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15141] ppid=15074 vsize=10991948 memory=-7531822216213012384 CPUtime=0.42 cores=0,2,4,6
/proc/15077/task/15141/stat : 15141 (java) S 15074 15077 11630 0 -1 1077944384 1276 13200 0 0 34 0 5 3 20 0 15 0 222618125 11255754752 77467 33554432000 4194304 4196468 140736186078208 140658398214128 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15142] ppid=15074 vsize=10991948 memory=-7531822216213012384 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15142/stat : 15142 (java) S 15074 15077 11630 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222618125 11255754752 77467 33554432000 4194304 4196468 140736186078208 140656890603872 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15143] ppid=15074 vsize=10991948 memory=-7233780906022716832 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15143/stat : 15143 (java) S 15074 15077 11630 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 222618125 11255754752 77467 33554432000 4194304 4196468 140736186078208 140658397162544 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 10991948 KiB

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

/proc/15077/task/15130/stat : 15130 (java) R 15074 15077 11630 0 -1 4202560 528106 13200 0 0 216120 76 5 3 20 0 15 0 222618119 11343855616 986776 33554432000 4194304 4196468 140736186078208 140658947931168 140658539332033 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15131] ppid=15074 vsize=11077984 memory=3947096 CPUtime=38.48 cores=0,2,4,6
/proc/15077/task/15131/stat : 15131 (java) S 15074 15077 11630 0 -1 1077944384 91265 13200 0 0 3755 85 5 3 20 0 15 0 222618120 11343855616 986776 33554432000 4194304 4196468 140736186078208 140658980338192 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15132] ppid=15074 vsize=11077984 memory=3947096 CPUtime=38.42 cores=0,2,4,6
/proc/15077/task/15132/stat : 15132 (java) S 15074 15077 11630 0 -1 1077944384 88761 13200 0 0 3754 80 5 3 20 0 15 0 222618120 11343855616 986776 33554432000 4194304 4196468 140736186078208 140658845674128 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15133] ppid=15074 vsize=11077984 memory=3947096 CPUtime=38.36 cores=0,2,4,6
/proc/15077/task/15133/stat : 15133 (java) S 15074 15077 11630 0 -1 1077944384 85124 13200 0 0 3745 83 5 3 20 0 15 0 222618120 11343855616 986776 33554432000 4194304 4196468 140736186078208 140658844621072 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15134] ppid=15074 vsize=11077984 memory=3947096 CPUtime=38.44 cores=0,2,4,6
/proc/15077/task/15134/stat : 15134 (java) S 15074 15077 11630 0 -1 1077944384 89518 13200 0 0 3752 84 5 3 20 0 15 0 222618120 11343855616 986776 33554432000 4194304 4196468 140736186078208 140658843568528 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15135] ppid=15074 vsize=11077984 memory=3947104 CPUtime=1.38 cores=0,2,4,6
/proc/15077/task/15135/stat : 15135 (java) S 15074 15077 11630 0 -1 1077944384 27387 13200 0 0 124 6 5 3 20 0 15 0 222618121 11343855616 986776 33554432000 4194304 4196468 140736186078208 140658401372912 140658976107138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15136] ppid=15074 vsize=11077984 memory=4616 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15136/stat : 15136 (java) S 15074 15077 11630 0 -1 1077944384 30 13200 0 0 0 0 5 3 20 0 15 0 222618122 11343855616 986776 33554432000 4194304 4196468 140736186078208 140657830127328 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15137] ppid=15074 vsize=11077984 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15137/stat : 15137 (java) S 15074 15077 11630 0 -1 1077944384 17 13200 0 0 0 0 5 3 20 0 15 0 222618122 11343855616 986776 33554432000 4194304 4196468 140736186078208 140657628800256 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15138] ppid=15074 vsize=11077984 memory=1399103955520229747 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15138/stat : 15138 (java) S 15074 15077 11630 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222618125 11343855616 986776 33554432000 4194304 4196468 140736186078208 140657321400784 140658976114587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15139] ppid=15074 vsize=11077984 memory=3947096 CPUtime=10.69 cores=0,2,4,6
/proc/15077/task/15139/stat : 15139 (java) S 15074 15077 11630 0 -1 1077944384 39526 13200 0 0 1057 4 5 3 20 0 15 0 222618125 11343855616 986776 33554432000 4194304 4196468 140736186078208 140658400319728 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15140] ppid=15074 vsize=11077984 memory=15880 CPUtime=10.86 cores=0,2,4,6
/proc/15077/task/15140/stat : 15140 (java) S 15074 15077 11630 0 -1 1077944384 39560 13200 0 0 1073 5 5 3 20 0 15 0 222618125 11343855616 986776 33554432000 4194304 4196468 140736186078208 140658399267184 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15141] ppid=15074 vsize=11077984 memory=3946772 CPUtime=2.88 cores=0,2,4,6
/proc/15077/task/15141/stat : 15141 (java) S 15074 15077 11630 0 -1 1077944384 68685 13200 0 0 274 6 5 3 20 0 15 0 222618125 11343855616 986776 33554432000 4194304 4196468 140736186078208 140658398214128 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15142] ppid=15074 vsize=11077984 memory=3946772 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15142/stat : 15142 (java) S 15074 15077 11630 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222618125 11343855616 986776 33554432000 4194304 4196468 140736186078208 140656890603872 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15143] ppid=15074 vsize=11077984 memory=3947096 CPUtime=1.47 cores=0,2,4,6
/proc/15077/task/15143/stat : 15143 (java) S 15074 15077 11630 0 -1 1077944384 2085 13200 0 0 68 71 5 3 20 0 15 0 222618125 11343855616 986776 33554432000 4194304 4196468 140736186078208 140658397162544 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
Current children cumulated CPU time: 2342.43 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3947104 KiB

[startup+2262.3 s]
/proc/loadavg: 1.89 1.84 1.79 3/215 15343
/proc/meminfo: memFree=204588/32770624 swapFree=67108860/67108860
[pid=15077] ppid=15074 vsize=11077984 memory=3947164 CPUtime=2404.17 cores=0,2,4,6
/proc/15077/stat : 15077 (java) S 15074 15077 11630 0 -1 1077944320 1095208 13200 0 0 239922 487 5 3 20 0 15 0 222618110 11343855616 986791 33554432000 4194304 4196468 140736186078208 140736186060752 140658976095991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
/proc/15077/statm: 2769496 986791 3539 1 0 2731149 0
[pid=15077/tid=15130] ppid=15074 vsize=11077984 memory=3947120 CPUtime=2221.44 cores=0,2,4,6
/proc/15077/task/15130/stat : 15130 (java) R 15074 15077 11630 0 -1 4202560 552772 13200 0 0 222059 77 5 3 20 0 15 0 222618119 11343855616 986791 33554432000 4194304 4196468 140736186078208 140658947931120 140658532441543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15131] ppid=15074 vsize=11077984 memory=3947136 CPUtime=39.05 cores=0,2,4,6
/proc/15077/task/15131/stat : 15131 (java) S 15074 15077 11630 0 -1 1077944384 92942 13200 0 0 3812 85 5 3 20 0 15 0 222618120 11343855616 986791 33554432000 4194304 4196468 140736186078208 140658980338192 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15132] ppid=15074 vsize=11077984 memory=3947140 CPUtime=39.01 cores=0,2,4,6
/proc/15077/task/15132/stat : 15132 (java) S 15074 15077 11630 0 -1 1077944384 91326 13200 0 0 3812 81 5 3 20 0 15 0 222618120 11343855616 986791 33554432000 4194304 4196468 140736186078208 140658845674128 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15133] ppid=15074 vsize=11077984 memory=3947164 CPUtime=38.93 cores=0,2,4,6
/proc/15077/task/15133/stat : 15133 (java) S 15074 15077 11630 0 -1 1077944384 86962 13200 0 0 3802 83 5 3 20 0 15 0 222618120 11343855616 986791 33554432000 4194304 4196468 140736186078208 140658844621072 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15134] ppid=15074 vsize=11077984 memory=3947164 CPUtime=39.02 cores=0,2,4,6
/proc/15077/task/15134/stat : 15134 (java) S 15074 15077 11630 0 -1 1077944384 91304 13200 0 0 3810 84 5 3 20 0 15 0 222618120 11343855616 986791 33554432000 4194304 4196468 140736186078208 140658843568528 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15135] ppid=15074 vsize=11077984 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/15077/task/15135/stat : 15135 (java) S 15074 15077 11630 0 -1 1077944384 27746 13200 0 0 125 6 5 3 20 0 15 0 222618121 11343855616 986791 33554432000 4194304 4196468 140736186078208 140658401372912 140658976107138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15136] ppid=15074 vsize=11077984 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15136/stat : 15136 (java) S 15074 15077 11630 0 -1 1077944384 30 13200 0 0 0 0 5 3 20 0 15 0 222618122 11343855616 986791 33554432000 4194304 4196468 140736186078208 140657830127328 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15137] ppid=15074 vsize=11077984 memory=3947164 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15137/stat : 15137 (java) S 15074 15077 11630 0 -1 1077944384 17 13200 0 0 0 0 5 3 20 0 15 0 222618122 11343855616 986791 33554432000 4194304 4196468 140736186078208 140657628800256 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15138] ppid=15074 vsize=11077984 memory=3947140 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15138/stat : 15138 (java) S 15074 15077 11630 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222618125 11343855616 986791 33554432000 4194304 4196468 140736186078208 140657321400784 140658976114587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15139] ppid=15074 vsize=11077984 memory=4616 CPUtime=10.69 cores=0,2,4,6
/proc/15077/task/15139/stat : 15139 (java) S 15074 15077 11630 0 -1 1077944384 39533 13200 0 0 1057 4 5 3 20 0 15 0 222618125 11343855616 986791 33554432000 4194304 4196468 140736186078208 140658400319728 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15140] ppid=15074 vsize=11077984 memory=4128 CPUtime=10.86 cores=0,2,4,6
/proc/15077/task/15140/stat : 15140 (java) S 15074 15077 11630 0 -1 1077944384 39566 13200 0 0 1073 5 5 3 20 0 15 0 222618125 11343855616 986791 33554432000 4194304 4196468 140736186078208 140658399267184 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15141] ppid=15074 vsize=11077984 memory=60508 CPUtime=2.88 cores=0,2,4,6
/proc/15077/task/15141/stat : 15141 (java) S 15074 15077 11630 0 -1 1077944384 68689 13200 0 0 274 6 5 3 20 0 15 0 222618125 11343855616 986791 33554432000 4194304 4196468 140736186078208 140658398214128 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15142] ppid=15074 vsize=11077984 memory=1240 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15142/stat : 15142 (java) S 15074 15077 11630 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222618125 11343855616 986791 33554432000 4194304 4196468 140736186078208 140656890603872 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15143] ppid=15074 vsize=11077984 memory=2416 CPUtime=1.5 cores=0,2,4,6
/proc/15077/task/15143/stat : 15143 (java) S 15074 15077 11630 0 -1 1077944384 2123 13200 0 0 69 73 5 3 20 0 15 0 222618125 11343855616 986791 33554432000 4194304 4196468 140736186078208 140658397162544 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
Current children cumulated CPU time: 2404.17 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3947164 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 1.89 1.81 3/215 15344
/proc/meminfo: memFree=225444/32770624 swapFree=67108860/67108860
[pid=15077] ppid=15074 vsize=11077984 memory=3952920 CPUtime=2466.43 cores=0,2,4,6
/proc/15077/stat : 15077 (java) S 15074 15077 11630 0 -1 1077944320 1143114 13200 0 0 246118 517 5 3 20 0 15 0 222618110 11343855616 988230 33554432000 4194304 4196468 140736186078208 140736186060752 140658976095991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
/proc/15077/statm: 2769496 988230 3539 1 0 2731149 0
[pid=15077/tid=15130] ppid=15074 vsize=11077984 memory=3952920 CPUtime=2280.7 cores=0,2,4,6
/proc/15077/task/15130/stat : 15130 (java) R 15074 15077 11630 0 -1 4202560 579209 13200 0 0 227983 79 5 3 20 0 15 0 222618119 11343855616 988230 33554432000 4194304 4196468 140736186078208 140658947930192 140658522756357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15131] ppid=15074 vsize=11077984 memory=3952920 CPUtime=39.79 cores=0,2,4,6
/proc/15077/task/15131/stat : 15131 (java) S 15074 15077 11630 0 -1 1077944384 96665 13200 0 0 3873 98 5 3 20 0 15 0 222618120 11343855616 988230 33554432000 4194304 4196468 140736186078208 140658980338192 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15132] ppid=15074 vsize=11077984 memory=3952920 CPUtime=39.74 cores=0,2,4,6
/proc/15077/task/15132/stat : 15132 (java) S 15074 15077 11630 0 -1 1077944384 96197 13200 0 0 3880 86 5 3 20 0 15 0 222618120 11343855616 988230 33554432000 4194304 4196468 140736186078208 140658845674128 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15133] ppid=15074 vsize=11077984 memory=3952920 CPUtime=39.65 cores=0,2,4,6
/proc/15077/task/15133/stat : 15133 (java) S 15074 15077 11630 0 -1 1077944384 90121 13200 0 0 3869 88 5 3 20 0 15 0 222618120 11343855616 988230 33554432000 4194304 4196468 140736186078208 140658844621072 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15134] ppid=15074 vsize=11077984 memory=3952920 CPUtime=39.75 cores=0,2,4,6
/proc/15077/task/15134/stat : 15134 (java) S 15074 15077 11630 0 -1 1077944384 94621 13200 0 0 3880 87 5 3 20 0 15 0 222618120 11343855616 988230 33554432000 4194304 4196468 140736186078208 140658843568528 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15135] ppid=15074 vsize=11077984 memory=3952920 CPUtime=1.41 cores=0,2,4,6
/proc/15077/task/15135/stat : 15135 (java) S 15074 15077 11630 0 -1 1077944384 28095 13200 0 0 126 7 5 3 20 0 15 0 222618121 11343855616 988230 33554432000 4194304 4196468 140736186078208 140658401372912 140658976107138 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15136] ppid=15074 vsize=11077984 memory=3952920 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15136/stat : 15136 (java) S 15074 15077 11630 0 -1 1077944384 30 13200 0 0 0 0 5 3 20 0 15 0 222618122 11343855616 988230 33554432000 4194304 4196468 140736186078208 140657830127328 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15137] ppid=15074 vsize=11077984 memory=3952920 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15137/stat : 15137 (java) S 15074 15077 11630 0 -1 1077944384 17 13200 0 0 0 0 5 3 20 0 15 0 222618122 11343855616 988230 33554432000 4194304 4196468 140736186078208 140657628800256 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15138] ppid=15074 vsize=11077984 memory=3952920 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15138/stat : 15138 (java) S 15074 15077 11630 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222618125 11343855616 988230 33554432000 4194304 4196468 140736186078208 140657321400784 140658976114587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15139] ppid=15074 vsize=11077984 memory=796 CPUtime=10.69 cores=0,2,4,6
/proc/15077/task/15139/stat : 15139 (java) S 15074 15077 11630 0 -1 1077944384 39540 13200 0 0 1057 4 5 3 20 0 15 0 222618125 11343855616 988230 33554432000 4194304 4196468 140736186078208 140658400319728 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15140] ppid=15074 vsize=11077984 memory=3952920 CPUtime=10.86 cores=0,2,4,6
/proc/15077/task/15140/stat : 15140 (java) S 15074 15077 11630 0 -1 1077944384 39569 13200 0 0 1073 5 5 3 20 0 15 0 222618125 11343855616 988230 33554432000 4194304 4196468 140736186078208 140658399267184 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15141] ppid=15074 vsize=11077984 memory=3952920 CPUtime=2.9 cores=0,2,4,6
/proc/15077/task/15141/stat : 15141 (java) S 15074 15077 11630 0 -1 1077944384 74690 13200 0 0 276 6 5 3 20 0 15 0 222618125 11343855616 988230 33554432000 4194304 4196468 140736186078208 140658398214128 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15142] ppid=15074 vsize=11077984 memory=3952920 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15142/stat : 15142 (java) S 15074 15077 11630 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222618125 11343855616 988230 33554432000 4194304 4196468 140736186078208 140656890603872 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15143] ppid=15074 vsize=11077984 memory=4128 CPUtime=1.54 cores=0,2,4,6
/proc/15077/task/15143/stat : 15143 (java) S 15074 15077 11630 0 -1 1077944384 2162 13200 0 0 71 75 5 3 20 0 15 0 222618125 11343855616 988230 33554432000 4194304 4196468 140736186078208 140658397162544 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
Current children cumulated CPU time: 2466.43 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3952920 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2374 s]*
/proc/loadavg: 2.00 1.90 1.82 3/215 15345
/proc/meminfo: memFree=215884/32770624 swapFree=67108860/67108860
[pid=15077] ppid=15074 vsize=11077984 memory=3962160 CPUtime=2520.02 cores=0,2,4,6
/proc/15077/stat : 15077 (java) S 15074 15077 11630 0 -1 1077944320 1179936 13200 0 0 251473 521 5 3 20 0 15 0 222618110 11343855616 990540 33554432000 4194304 4196468 140736186078208 140736186060752 140658976095991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
/proc/15077/statm: 2769496 990540 3539 1 0 2731149 0
[pid=15077/tid=15130] ppid=15074 vsize=11077984 memory=1398720917958146503 CPUtime=2331.77 cores=0,2,4,6
/proc/15077/task/15130/stat : 15130 (java) R 15074 15077 11630 0 -1 4202560 602986 13200 0 0 233089 80 5 3 20 0 15 0 222618119 11343855616 990540 33554432000 4194304 4196468 140736186078208 140658947925456 140658536302428 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15131] ppid=15074 vsize=11077984 memory=4126316290023845779 CPUtime=40.4 cores=0,2,4,6
/proc/15077/task/15131/stat : 15131 (java) S 15074 15077 11630 0 -1 1077944384 99400 13200 0 0 3934 98 5 3 20 0 15 0 222618120 11343855616 990540 33554432000 4194304 4196468 140736186078208 140658980338192 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15132] ppid=15074 vsize=11077984 memory=3132 CPUtime=40.35 cores=0,2,4,6
/proc/15077/task/15132/stat : 15132 (java) S 15074 15077 11630 0 -1 1077944384 97826 13200 0 0 3941 86 5 3 20 0 15 0 222618120 11343855616 990540 33554432000 4194304 4196468 140736186078208 140658845674128 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15133] ppid=15074 vsize=11077984 memory=3955320 CPUtime=40.27 cores=0,2,4,6
/proc/15077/task/15133/stat : 15133 (java) S 15074 15077 11630 0 -1 1077944384 94605 13200 0 0 3931 88 5 3 20 0 15 0 222618120 11343855616 990540 33554432000 4194304 4196468 140736186078208 140658844621072 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15134] ppid=15074 vsize=11077984 memory=1408 CPUtime=40.36 cores=0,2,4,6
/proc/15077/task/15134/stat : 15134 (java) S 15074 15077 11630 0 -1 1077944384 97751 13200 0 0 3941 87 5 3 20 0 15 0 222618120 11343855616 990540 33554432000 4194304 4196468 140736186078208 140658843568528 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15135] ppid=15074 vsize=11077984 memory=3292 CPUtime=1.41 cores=0,2,4,6
/proc/15077/task/15135/stat : 15135 (java) S 15074 15077 11630 0 -1 1077944384 28457 13200 0 0 126 7 5 3 20 0 15 0 222618121 11343855616 990540 33554432000 4194304 4196468 140736186078208 140658401372912 140658976107138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15136] ppid=15074 vsize=11077984 memory=5415388 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15136/stat : 15136 (java) S 15074 15077 11630 0 -1 1077944384 30 13200 0 0 0 0 5 3 20 0 15 0 222618122 11343855616 990540 33554432000 4194304 4196468 140736186078208 140657830127328 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15137] ppid=15074 vsize=11077984 memory=164 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15137/stat : 15137 (java) S 15074 15077 11630 0 -1 1077944384 17 13200 0 0 0 0 5 3 20 0 15 0 222618122 11343855616 990540 33554432000 4194304 4196468 140736186078208 140657628800256 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15138] ppid=15074 vsize=11077984 memory=7091269888264136562 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15138/stat : 15138 (java) S 15074 15077 11630 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222618125 11343855616 990540 33554432000 4194304 4196468 140736186078208 140657321400784 140658976114587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15139] ppid=15074 vsize=11077984 memory=7091269888264136562 CPUtime=10.69 cores=0,2,4,6
/proc/15077/task/15139/stat : 15139 (java) S 15074 15077 11630 0 -1 1077944384 39543 13200 0 0 1057 4 5 3 20 0 15 0 222618125 11343855616 990540 33554432000 4194304 4196468 140736186078208 140658400319728 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15140] ppid=15074 vsize=11077984 memory=7737862835059320935 CPUtime=10.86 cores=0,2,4,6
/proc/15077/task/15140/stat : 15140 (java) S 15074 15077 11630 0 -1 1077944384 39577 13200 0 0 1073 5 5 3 20 0 15 0 222618125 11343855616 990540 33554432000 4194304 4196468 140736186078208 140658399267184 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15141] ppid=15074 vsize=11077984 memory=56 CPUtime=2.9 cores=0,2,4,6
/proc/15077/task/15141/stat : 15141 (java) S 15074 15077 11630 0 -1 1077944384 75348 13200 0 0 276 6 5 3 20 0 15 0 222618125 11343855616 990540 33554432000 4194304 4196468 140736186078208 140658398214128 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15142] ppid=15074 vsize=11077984 memory=-8634980985311628903 CPUtime=0.08 cores=0,2,4,6
/proc/15077/task/15142/stat : 15142 (java) S 15074 15077 11630 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 222618125 11343855616 990540 33554432000 4194304 4196468 140736186078208 140656890603872 140658976106197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
[pid=15077/tid=15143] ppid=15074 vsize=11077984 memory=7100839878645619564 CPUtime=1.58 cores=0,2,4,6
/proc/15077/task/15143/stat : 15143 (java) S 15074 15077 11630 0 -1 1077944384 2198 13200 0 0 74 76 5 3 20 0 15 0 222618125 11343855616 990540 33554432000 4194304 4196468 140736186078208 140658397162544 140658976107138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30224384 140736186083940 140736186086748 140736186086748 140736186089423 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3962160 KiB

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

[startup+2374.07 s]
# the end of solver process 15077 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.81 s, system=5.28907 s

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

Child status: 143
Real time (s): 2374.07
CPU time (s): 2520.1
CPU user time (s): 2514.81
CPU system time (s): 5.28907
CPU usage (%): 106.151
Max. virtual memory (cumulated for all children) (KiB): 11080696
Max. memory (cumulated for all children) (KiB): 3962160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.81
system time used= 5.28907
maximum resident set size= 3962580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1194710
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73651
involuntary context switches= 4314


# summary of solver processes directly reported to runsolver:
#   pid: 15077
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2514.81
#   total CPU system time (s): 5.28907

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9747 second user time and 23.4662 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-12 07:09:09
IDJOB=4304250
IDBENCH=141137
IDSOLVER=2781
FILE ID=node139/4304250-1534050549
RUNJOBID= node139-1534040758-13580
PBS_JOBID= 21036956
Free space on /tmp= 28188 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order60_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304250-1534050549/watcher-4304250-1534050549 -o /tmp/evaluation-result-4304250-1534050549/solver-4304250-1534050549 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534040758-13580 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=494587195 -superng HOME/instance-4304250-1534050549.xml

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

MD5SUM BENCH= 2b7bed68bca9665ed3be29de24764d77
RANDOM SEED=494587195

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         5103304 kB
MemAvailable:   30010740 kB
Buffers:          215180 kB
Cached:         24539584 kB
SwapCached:            0 kB
Active:         10031108 kB
Inactive:       16669800 kB
Active(anon):    1895408 kB
Inactive(anon):   102748 kB
Active(file):    8135700 kB
Inactive(file): 16567052 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             34060 kB
Writeback:             0 kB
AnonPages:       1952624 kB
Mapped:            74436 kB
Shmem:             49804 kB
Slab:             661404 kB
SReclaimable:     633144 kB
SUnreclaim:        28260 kB
KernelStack:        3568 kB
PageTables:        10096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2830680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1114112 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 28160 MiB
End job on node139 at 2018-08-12 07:48:44