Trace number 4307916

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
OscaR - Conflict Ordering with restarts 2018-08-14SAT (TO)1326 2520.13 2510.23

General information on the benchmark

NamePseudoBoolean-opt/
Pb-radar-30-30-45-050-100_c18.xml
MD5SUM038278868d516ab8bda18fb263b0f90d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark49
Best CPU time to get the best result obtained on this benchmark2400.3
Satisfiable
(Un)Satisfiability was proved
Number of variables4447
Number of constraints4926
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":4447}]
Minimum variable degree2
Maximum variable degree8
Distribution of variable degrees[{"degree":2,"count":7},{"degree":3,"count":130},{"degree":4,"count":1108},{"degree":5,"count":1123},{"degree":6,"count":1918},{"degree":7,"count":3},{"degree":8,"count":158}]
Minimum constraint arity1
Maximum constraint arity27
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":4194},{"arity":3,"count":18},{"arity":4,"count":27},{"arity":5,"count":32},{"arity":6,"count":33},{"arity":7,"count":20},{"arity":8,"count":23},{"arity":9,"count":25},{"arity":10,"count":27},{"arity":11,"count":33},{"arity":12,"count":28},{"arity":13,"count":34},{"arity":14,"count":49},{"arity":15,"count":45},{"arity":16,"count":31},{"arity":17,"count":50},{"arity":18,"count":49},{"arity":19,"count":49},{"arity":20,"count":46},{"arity":21,"count":43},{"arity":22,"count":36},{"arity":23,"count":15},{"arity":24,"count":8},{"arity":25,"count":6},{"arity":26,"count":2},{"arity":27,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":4926}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.67/0.56	c version: 2018-08-14
0.67/0.56	c seed: 1341508674
0.67/0.56	c timeout: 2520
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
7.04/4.63	c Parsing done, starting search...
8.93/5.37	o 1638
10.07/6.18	o 1636
10.07/6.18	o 1635
10.07/6.19	o 1632
10.07/6.19	o 1631
10.07/6.20	o 1630
10.24/6.20	o 1629
10.24/6.21	o 1628
10.24/6.21	o 1627
10.24/6.21	o 1626
10.24/6.21	o 1625
10.24/6.21	o 1624
10.24/6.22	o 1623
10.24/6.22	o 1622
10.24/6.22	o 1621
10.24/6.22	o 1620
10.24/6.22	o 1619
10.24/6.23	o 1618
10.24/6.23	o 1617
10.24/6.23	o 1616
10.24/6.23	o 1615
10.24/6.23	o 1614
10.24/6.23	o 1613
10.24/6.24	o 1612
10.24/6.24	o 1611
10.24/6.24	o 1610
10.24/6.24	o 1609
10.24/6.24	o 1608
10.24/6.24	o 1607
10.24/6.25	o 1606
10.24/6.25	o 1605
10.24/6.25	o 1604
10.24/6.25	o 1603
10.24/6.25	o 1602
10.24/6.25	o 1601
10.24/6.26	o 1600
10.24/6.26	o 1599
10.24/6.26	o 1598
10.24/6.26	o 1597
10.24/6.26	o 1596
10.24/6.27	o 1595
10.24/6.27	o 1594
10.24/6.27	o 1593
10.24/6.27	o 1592
10.24/6.27	o 1591
10.24/6.27	o 1590
10.24/6.28	o 1589
10.24/6.28	o 1588
10.24/6.28	o 1587
10.24/6.28	o 1586
10.24/6.28	o 1585
10.24/6.29	o 1584
10.24/6.29	o 1583
10.24/6.29	o 1582
10.24/6.29	o 1581
10.24/6.29	o 1580
10.24/6.30	o 1579
10.53/6.30	o 1578
10.53/6.30	o 1577
10.53/6.30	o 1576
10.53/6.30	o 1575
10.53/6.30	o 1574
10.53/6.31	o 1573
10.53/6.31	o 1572
10.53/6.31	o 1571
10.53/6.31	o 1570
10.53/6.31	o 1569
10.53/6.32	o 1568
10.53/6.32	o 1567
10.53/6.32	o 1566
10.53/6.32	o 1565
10.53/6.32	o 1564
10.53/6.32	o 1563
10.53/6.32	o 1562
10.53/6.33	o 1561
10.53/6.33	o 1560
10.53/6.33	o 1559
10.53/6.33	o 1558
10.53/6.33	o 1557
10.53/6.33	o 1556
10.53/6.33	o 1555
10.53/6.34	o 1554
10.53/6.34	o 1553
10.53/6.34	o 1552
10.53/6.34	o 1551
10.53/6.34	o 1550
10.53/6.34	o 1549
10.53/6.35	o 1548
10.53/6.35	o 1547
10.53/6.35	o 1546
10.53/6.35	o 1545
10.53/6.35	o 1544
10.53/6.35	o 1543
10.53/6.36	o 1542
10.53/6.36	o 1541
10.53/6.36	o 1540
10.53/6.36	o 1539
10.53/6.36	o 1538
10.53/6.36	o 1537
10.53/6.36	o 1536
10.53/6.37	o 1535
10.53/6.37	o 1534
10.53/6.37	o 1533
10.53/6.37	o 1532
10.53/6.37	o 1531
10.53/6.37	o 1530
10.53/6.38	o 1529
10.53/6.38	o 1528
10.53/6.38	o 1527
10.85/6.40	o 1526
12.06/7.34	o 1525
12.06/7.34	o 1524
12.06/7.34	o 1523
12.06/7.35	o 1522
12.06/7.35	o 1521
12.06/7.35	o 1520
12.06/7.35	o 1519
12.06/7.35	o 1518
12.06/7.35	o 1517
12.06/7.35	o 1516
12.06/7.36	o 1515
12.06/7.36	o 1514
12.06/7.36	o 1513
12.06/7.36	o 1512
12.06/7.36	o 1511
12.06/7.36	o 1510
12.06/7.36	o 1509
12.06/7.36	o 1508
12.06/7.37	o 1507
12.06/7.37	o 1506
12.06/7.37	o 1505
12.06/7.37	o 1504
12.06/7.37	o 1503
12.06/7.37	o 1502
12.06/7.37	o 1501
12.06/7.37	o 1500
12.06/7.38	o 1499
12.06/7.38	o 1498
12.06/7.38	o 1497
12.06/7.38	o 1496
12.06/7.38	o 1495
12.06/7.39	o 1494
12.06/7.39	o 1493
12.06/7.39	o 1492
12.06/7.39	o 1491
12.06/7.39	o 1490
12.06/7.40	o 1489
12.18/7.40	o 1488
12.18/7.40	o 1487
12.18/7.40	o 1486
12.18/7.40	o 1485
12.18/7.41	o 1484
12.18/7.41	o 1483
12.18/7.41	o 1482
12.18/7.41	o 1481
12.18/7.41	o 1480
12.18/7.41	o 1479
12.18/7.42	o 1478
12.18/7.42	o 1477
12.18/7.42	o 1476
12.18/7.42	o 1475
12.18/7.43	o 1474
12.18/7.43	o 1473
12.18/7.43	o 1472
12.18/7.43	o 1471
12.18/7.44	o 1470
12.18/7.44	o 1469
12.18/7.44	o 1468
12.18/7.44	o 1467
12.18/7.44	o 1466
12.18/7.44	o 1465
12.18/7.45	o 1464
12.18/7.45	o 1463
12.18/7.46	o 1462
12.18/7.46	o 1461
12.18/7.46	o 1460
12.18/7.46	o 1459
12.18/7.46	o 1458
12.18/7.47	o 1457
12.18/7.47	o 1456
12.18/7.47	o 1455
12.18/7.47	o 1454
12.18/7.47	o 1453
12.18/7.48	o 1452
12.18/7.48	o 1451
12.18/7.48	o 1450
12.18/7.48	o 1449
12.18/7.49	o 1448
12.18/7.49	o 1447
12.18/7.49	o 1446
12.18/7.49	o 1445
12.18/7.49	o 1444
12.18/7.49	o 1443
12.18/7.50	o 1442
12.37/7.50	o 1441
12.37/7.50	o 1440
12.37/7.50	o 1439
12.37/7.51	o 1438
12.37/7.51	o 1437
12.37/7.51	o 1436
12.37/7.51	o 1435
12.37/7.51	o 1434
12.37/7.51	o 1433
12.37/7.51	o 1432
12.37/7.52	o 1431
12.37/7.52	o 1430
12.37/7.53	o 1429
12.37/7.53	o 1428
12.37/7.54	o 1427
12.37/7.54	o 1426
12.37/7.56	o 1425
12.37/7.56	o 1424
12.37/7.56	o 1423
12.37/7.56	o 1422
12.37/7.56	o 1421
12.37/7.57	o 1420
12.37/7.59	o 1419
12.48/7.64	o 1418
12.48/7.64	o 1417
12.48/7.64	o 1416
12.48/7.64	o 1415
12.48/7.65	o 1414
12.48/7.65	o 1413
12.48/7.65	o 1412
12.48/7.66	o 1411
12.48/7.66	o 1410
12.48/7.67	o 1409
12.48/7.69	o 1408
12.48/7.69	o 1407
12.58/7.70	o 1406
13.57/8.60	o 1405
13.57/8.61	o 1404
13.57/8.61	o 1403
13.57/8.62	o 1402
13.57/8.62	o 1401
13.67/8.71	o 1400
13.67/8.72	o 1399
13.67/8.72	o 1398
13.67/8.73	o 1397
13.67/8.74	o 1396
13.67/8.74	o 1395
13.67/8.75	o 1394
13.67/8.76	o 1393
13.67/8.76	o 1392
13.67/8.79	o 1391
13.77/8.84	o 1390
13.77/8.84	o 1389
13.77/8.85	o 1388
13.77/8.87	o 1387
13.77/8.87	o 1386
13.77/8.87	o 1385
13.77/8.88	o 1384
14.92/9.90	o 1383
16.28/11.27	o 1382
16.71/11.61	o 1381
17.61/12.52	o 1380
20.93/15.74	o 1379
20.93/15.75	o 1378
20.93/15.76	o 1377
20.93/15.76	o 1376
22.25/17.08	o 1375
22.25/17.09	o 1374
22.35/17.11	o 1373
24.65/19.40	o 1372
24.65/19.41	o 1371
24.75/19.56	o 1370
24.75/19.57	o 1369
24.85/19.68	o 1368
24.95/19.80	o 1367
25.05/19.80	o 1366
25.05/19.80	o 1365
25.05/19.80	o 1364
25.15/20.00	o 1363
25.15/20.00	o 1362
25.15/20.00	o 1361
25.26/20.10	o 1360
25.36/20.13	o 1359
28.07/22.83	o 1358
32.29/27.09	o 1357
32.29/27.09	o 1356
32.39/27.13	o 1355
32.39/27.14	o 1354
32.39/27.14	o 1353
33.49/28.22	o 1352
33.49/28.26	o 1351
34.49/29.25	o 1350
34.69/29.41	o 1349
49.52/44.25	o 1348
49.52/44.26	o 1347
51.43/46.15	o 1346
51.43/46.16	o 1345
51.52/46.20	o 1344
58.45/53.19	o 1343
59.14/53.88	o 1342
70.87/65.52	o 1341
70.87/65.52	o 1340
70.87/65.53	o 1339
71.17/65.84	o 1338
71.17/65.84	o 1337
83.10/77.79	o 1336
120.98/115.51	o 1335
123.49/118.04	o 1334
223.35/217.76	o 1333
223.35/217.77	o 1332
232.67/227.03	o 1331
247.27/241.69	o 1330
247.37/241.76	o 1329
247.47/241.89	o 1328
867.13/860.71	o 1327
1455.16/1447.58	o 1326
2520.08/2510.20	s SATISFIABLE
2520.08/2510.21	v <instantiation>
2520.08/2510.21	v 	<list>
2520.08/2510.21	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] 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] x[3600] x[3601] x[3602] x[3603] x[3604] x[3605] x[3606] x[3607] x[3608] x[3609] x[3610] x[3611] x[3612] x[3613] x[3614] x[3615] x[3616] x[3617] x[3618] x[3619] x[3620] x[3621] x[3622] x[3623] x[3624] x[3625] x[3626] x[3627] x[3628] x[3629] x[3630] x[3631] x[3632] x[3633] x[3634] x[3635] x[3636] x[3637] x[3638] x[3639] x[3640] x[3641] x[3642] x[3643] x[3644] x[3645] x[3646] x[3647] x[3648] x[3649] x[3650] x[3651] x[3652] x[3653] x[3654] x[3655] x[3656] x[3657] x[3658] x[3659] x[3660] x[3661] x[3662] x[3663] x[3664] x[3665] x[3666] x[3667] x[3668] x[3669] x[3670] x[3671] x[3672] x[3673] x[3674] x[3675] x[3676] x[3677] x[3678] x[3679] x[3680] x[3681] x[3682] x[3683] x[3684] x[3685] x[3686] x[3687] x[3688] x[3689] x[3690] x[3691] x[3692] x[3693] x[3694] x[3695] x[3696] x[3697] x[3698] x[3699] x[3700] x[3701] x[3702] x[3703] x[3704] x[3705] x[3706] x[3707] x[3708] x[3709] x[3710] x[3711] x[3712] x[3713] x[3714] x[3715] x[3716] x[3717] x[3718] x[3719] x[3720] x[3721] x[3722] x[3723] x[3724] x[3725] x[3726] x[3727] x[3728] x[3729] x[3730] x[3731] x[3732] x[3733] x[3734] x[3735] x[3736] x[3737] x[3738] x[3739] x[3740] x[3741] x[3742] x[3743] x[3744] x[3745] x[3746] x[3747] x[3748] x[3749] x[3750] x[3751] x[3752] x[3753] x[3754] x[3755] x[3756] x[3757] x[3758] x[3759] x[3760] x[3761] x[3762] x[3763] x[3764] x[3765] x[3766] x[3767] x[3768] x[3769] x[3770] x[3771] x[3772] x[3773] x[3774] x[3775] x[3776] x[3777] x[3778] x[3779] x[3780] x[3781] x[3782] x[3783] x[3784] x[3785] x[3786] x[3787] x[3788] x[3789] x[3790] x[3791] x[3792] x[3793] x[3794] x[3795] x[3796] x[3797] x[3798] x[3799] x[3800] x[3801] x[3802] x[3803] x[3804] x[3805] x[3806] x[3807] x[3808] x[3809] x[3810] x[3811] x[3812] x[3813] x[3814] x[3815] x[3816] x[3817] x[3818] x[3819] x[3820] x[3821] x[3822] x[3823] x[3824] x[3825] x[3826] x[3827] x[3828] x[3829] x[3830] x[3831] x[3832] x[3833] x[3834] x[3835] x[3836] x[3837] x[3838] x[3839] x[3840] x[3841] x[3842] x[3843] x[3844] x[3845] x[3846] x[3847] x[3848] x[3849] x[3850] x[3851] x[3852] x[3853] x[3854] x[3855] x[3856] x[3857] x[3858] x[3859] x[3860] x[3861] x[3862] x[3863] x[3864] x[3865] x[3866] x[3867] x[3868] x[3869] x[3870] x[3871] x[3872] x[3873] x[3874] x[3875] x[3876] x[3877] x[3878] x[3879] x[3880] x[3881] x[3882] x[3883] x[3884] x[3885] x[3886] x[3887] x[3888] x[3889] x[3890] x[3891] x[3892] x[3893] x[3894] x[3895] x[3896] x[3897] x[3898] x[3899] x[3900] x[3901] x[3902] x[3903] x[3904] x[3905] x[3906] x[3907] x[3908] x[3909] x[3910] x[3911] x[3912] x[3913] x[3914] x[3915] x[3916] x[3917] x[3918] x[3919] x[3920] x[3921] x[3922] x[3923] x[3924] x[3925] x[3926] x[3927] x[3928] x[3929] x[3930] x[3931] x[3932] x[3933] x[3934] x[3935] x[3936] x[3937] x[3938] x[3939] x[3940] x[3941] x[3942] x[3943] x[3944] x[3945] x[3946] x[3947] x[3948] x[3949] x[3950] x[3951] x[3952] x[3953] x[3954] x[3955] x[3956] x[3957] x[3958] x[3959] x[3960] x[3961] x[3962] x[3963] x[3964] x[3965] x[3966] x[3967] x[3968] x[3969] x[3970] x[3971] x[3972] x[3973] x[3974] x[3975] x[3976] x[3977] x[3978] x[3979] x[3980] x[3981] x[3982] x[3983] x[3984] x[3985] x[3986] x[3987] x[3988] x[3989] x[3990] x[3991] x[3992] x[3993] x[3994] x[3995] x[3996] x[3997] x[3998] x[3999] x[4000] x[4001] x[4002] x[4003] x[4004] x[4005] x[4006] x[4007] x[4008] x[4009] x[4010] x[4011] x[4012] x[4013] x[4014] x[4015] x[4016] x[4017] x[4018] x[4019] x[4020] x[4021] x[4022] x[4023] x[4024] x[4025] x[4026] x[4027] x[4028] x[4029] x[4030] x[4031] x[4032] x[4033] x[4034] x[4035] x[4036] x[4037] x[4038] x[4039] x[4040] x[4041] x[4042] x[4043] x[4044] x[4045] x[4046] x[4047] x[4048] x[4049] x[4050] x[4051] x[4052] x[4053] x[4054] x[4055] x[4056] x[4057] x[4058] x[4059] x[4060] x[4061] x[4062] x[4063] x[4064] x[4065] x[4066] x[4067] x[4068] x[4069] x[4070] x[4071] x[4072] x[4073] x[4074] x[4075] x[4076] x[4077] x[4078] x[4079] x[4080] x[4081] x[4082] x[4083] x[4084] x[4085] x[4086] x[4087] x[4088] x[4089] x[4090] x[4091] x[4092] x[4093] x[4094] x[4095] x[4096] x[4097] x[4098] x[4099] x[4100] x[4101] x[4102] x[4103] x[4104] x[4105] x[4106] x[4107] x[4108] x[4109] x[4110] x[4111] x[4112] x[4113] x[4114] x[4115] x[4116] x[4117] x[4118] x[4119] x[4120] x[4121] x[4122] x[4123] x[4124] x[4125] x[4126] x[4127] x[4128] x[4129] x[4130] x[4131] x[4132] x[4133] x[4134] x[4135] x[4136] x[4137] x[4138] x[4139] x[4140] x[4141] x[4142] x[4143] x[4144] x[4145] x[4146] x[4147] x[4148] x[4149] x[4150] x[4151] x[4152] x[4153] x[4154] x[4155] x[4156] x[4157] x[4158] x[4159] x[4160] x[4161] x[4162] x[4163] x[4164] x[4165] x[4166] x[4167] x[4168] x[4169] x[4170] x[4171] x[4172] x[4173] x[4174] x[4175] x[4176] x[4177] x[4178] x[4179] x[4180] x[4181] x[4182] x[4183] x[4184] x[4185] x[4186] x[4187] x[4188] x[4189] x[4190] x[4191] x[4192] x[4193] x[4194] x[4195] x[4196] x[4197] x[4198] x[4199] x[4200] x[4201] x[4202] x[4203] x[4204] x[4205] x[4206] x[4207] x[4208] x[4209] x[4210] x[4211] x[4212] x[4213] x[4214] x[4215] x[4216] x[4217] x[4218] x[4219] x[4220] x[4221] x[4222] x[4223] x[4224] x[4225] x[4226] x[4227] x[4228] x[4229] x[4230] x[4231] x[4232] x[4233] x[4234] x[4235] x[4236] x[4237] x[4238] x[4239] x[4240] x[4241] x[4242] x[4243] x[4244] x[4245] x[4246] x[4247] x[4248] x[4249] x[4250] x[4251] x[4252] x[4253] x[4254] x[4255] x[4256] x[4257] x[4258] x[4259] x[4260] x[4261] x[4262] x[4263] x[4264] x[4265] x[4266] x[4267] x[4268] x[4269] x[4270] x[4271] x[4272] x[4273] x[4274] x[4275] x[4276] x[4277] x[4278] x[4279] x[4280] x[4281] x[4282] x[4283] x[4284] x[4285] x[4286] x[4287] x[4288] x[4289] x[4290] x[4291] x[4292] x[4293] x[4294] x[4295] x[4296] x[4297] x[4298] x[4299] x[4300] x[4301] x[4302] x[4303] x[4304] x[4305] x[4306] x[4307] x[4308] x[4309] x[4310] x[4311] x[4312] x[4313] x[4314] x[4315] x[4316] x[4317] x[4318] x[4319] x[4320] x[4321] x[4322] x[4323] x[4324] x[4325] x[4326] x[4327] x[4328] x[4329] x[4330] x[4331] x[4332] x[4333] x[4334] x[4335] x[4336] x[4337] x[4338] x[4339] x[4340] x[4341] x[4342] x[4343] x[4344] x[4345] x[4346] x[4347] x[4348] x[4349] x[4350] x[4351] x[4352] x[4353] x[4354] x[4355] x[4356] x[4357] x[4358] x[4359] x[4360] x[4361] x[4362] x[4363] x[4364] x[4365] x[4366] x[4367] x[4368] x[4369] x[4370] x[4371] x[4372] x[4373] x[4374] x[4375] x[4376] x[4377] x[4378] x[4379] x[4380] x[4381] x[4382] x[4383] x[4384] x[4385] x[4386] x[4387] x[4388] x[4389] x[4390] x[4391] x[4392] x[4393] x[4394] x[4395] x[4396] x[4397] x[4398] x[4399] x[4400] x[4401] x[4402] x[4403] x[4404] x[4405] x[4406] x[4407] x[4408] x[4409] x[4410] x[4411] x[4412] x[4413] x[4414] x[4415] x[4416] x[4417] x[4418] x[4419] x[4420] x[4421] x[4422] x[4423] x[4424] x[4425] x[4426] x[4427] x[4428] x[4429] x[4430] x[4431] x[4432] x[4433] x[4434] x[4435] x[4436] x[4437] x[4438] x[4439] x[4440] x[4441] x[4442] x[4443] x[4444] x[4445] x[4446]
2520.08/2510.21	v 	</list>
2520.08/2510.21	v 	<values>
2520.08/2510.21	v 		1 1 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 1 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 0 1 1 1 1 0 1 1 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 0 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 0 0 1 1 0 1 1 1 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 1 0 0 1 1 1 0 1 1 1 1 0 1 1 0 0 0 1 0 0 0 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 1 0 1 
2520.08/2510.21	v 	</values>
2520.08/2510.21	v </instantiation>

Verifier Data 

OK	1326

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307916-1534273581/watcher-4307916-1534273581 -o /tmp/evaluation-result-4307916-1534273581/solver-4307916-1534273581 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534271084-19496 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1341508674 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307916-1534273581.xml 

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

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

solver pid=19719, runsolver pid=19716

[startup+0.100223 s]*
/proc/loadavg: 1.63 1.57 1.43 4/215 19734
/proc/meminfo: memFree=24256748/32770624 swapFree=67108172/67108860
[pid=19719] ppid=19716 vsize=14082736 memory=30644 CPUtime=0.12 cores=1,3,5,7
/proc/19719/stat : 19719 (java) S 19716 19719 17869 0 -1 1077944320 6583 0 0 0 11 1 0 0 20 0 15 0 244921247 14420721664 7661 33554432000 4194304 4196468 140729622834112 140729622816656 140436275375863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
/proc/19719/statm: 3520684 7661 3155 1 0 3482761 0
[pid=19719/tid=19721] ppid=19716 vsize=14082736 memory=-8773748148830114173 CPUtime=0.09 cores=1,3,5,7
/proc/19719/task/19721/stat : 19721 (java) R 19716 19719 17869 0 -1 4202560 4620 0 0 0 8 1 0 0 20 0 15 0 244921247 14420721664 7661 33554432000 4194304 4196468 140729622834112 140436279592416 140436275389750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19722] ppid=19716 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19722/stat : 19722 (java) S 19716 19719 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244921248 14420721664 7661 33554432000 4194304 4196468 140729622834112 140436238481680 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19723] ppid=19716 vsize=14082736 memory=139873278256768 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19723/stat : 19723 (java) S 19716 19719 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244921248 14420721664 7661 33554432000 4194304 4196468 140729622834112 140435869854096 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19724] ppid=19716 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19724/stat : 19724 (java) S 19716 19719 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244921248 14420721664 7661 33554432000 4194304 4196468 140729622834112 140435868801552 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19725] ppid=19716 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19725/stat : 19725 (java) S 19716 19719 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244921248 14420721664 7661 33554432000 4194304 4196468 140729622834112 140435867749008 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19726] ppid=19716 vsize=14082736 memory=139873278256768 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19726/stat : 19726 (java) S 19716 19719 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244921249 14420721664 7661 33554432000 4194304 4196468 140729622834112 140435750222320 140436275387010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19727] ppid=19716 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19727/stat : 19727 (java) S 19716 19719 17869 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244921250 14420721664 7661 33554432000 4194304 4196468 140729622834112 140435749168544 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19728] ppid=19716 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19728/stat : 19728 (java) S 19716 19719 17869 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244921250 14420721664 7661 33554432000 4194304 4196468 140729622834112 140435748115952 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19729] ppid=19716 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19729/stat : 19729 (java) S 19716 19719 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244921252 14420721664 7661 33554432000 4194304 4196468 140729622834112 140435747064528 140436275394459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19730] ppid=19716 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19730/stat : 19730 (java) S 19716 19719 17869 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 244921252 14420721664 7661 33554432000 4194304 4196468 140729622834112 140435746011120 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19731] ppid=19716 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19731/stat : 19731 (java) S 19716 19719 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244921252 14420721664 7661 33554432000 4194304 4196468 140729622834112 140435744958576 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19732] ppid=19716 vsize=14082736 memory=139873278256768 CPUtime=0.01 cores=1,3,5,7
/proc/19719/task/19732/stat : 19732 (java) S 19716 19719 17869 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 244921252 14420721664 7661 33554432000 4194304 4196468 140729622834112 140435743906032 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19733] ppid=19716 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19733/stat : 19733 (java) S 19716 19719 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244921253 14420721664 7661 33554432000 4194304 4196468 140729622834112 140435742853728 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19734] ppid=19716 vsize=14082736 memory=139873278256768 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19734/stat : 19734 (java) S 19716 19719 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244921253 14420721664 7661 33554432000 4194304 4196468 140729622834112 140435741801264 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30644 KiB

[startup+0.210916 s]*
/proc/loadavg: 1.63 1.57 1.43 5/215 19734
/proc/meminfo: memFree=24241120/32770624 swapFree=67108172/67108860
[pid=19719] ppid=19716 vsize=14082736 memory=47272 CPUtime=0.3 cores=1,3,5,7
/proc/19719/stat : 19719 (java) S 19716 19719 17869 0 -1 1077944320 10417 0 0 0 28 2 0 0 20 0 15 0 244921247 14420721664 11818 33554432000 4194304 4196468 140729622834112 140729622816656 140436275375863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
/proc/19719/statm: 3520684 11818 3368 1 0 3482761 0
[pid=19719/tid=19721] ppid=19716 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/19719/task/19721/stat : 19721 (java) R 19716 19719 17869 0 -1 4202560 8094 0 0 0 18 1 0 0 20 0 15 0 244921247 14420721664 11818 33554432000 4194304 4196468 140729622834112 140436279599728 140435911460844 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19722] ppid=19716 vsize=14082736 memory=342 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19722/stat : 19722 (java) S 19716 19719 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244921248 14420721664 11818 33554432000 4194304 4196468 140729622834112 140436238481680 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19723] ppid=19716 vsize=14082736 memory=288370249429968512 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19723/stat : 19723 (java) S 19716 19719 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244921248 14420721664 11818 33554432000 4194304 4196468 140729622834112 140435869854096 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19724] ppid=19716 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19724/stat : 19724 (java) S 19716 19719 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244921248 14420721664 11818 33554432000 4194304 4196468 140729622834112 140435868801552 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19725] ppid=19716 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19725/stat : 19725 (java) S 19716 19719 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244921248 14420721664 11818 33554432000 4194304 4196468 140729622834112 140435867749008 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19726] ppid=19716 vsize=14082736 memory=139873278256768 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19726/stat : 19726 (java) S 19716 19719 17869 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244921249 14420721664 11818 33554432000 4194304 4196468 140729622834112 140435750222320 140436275387010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19727] ppid=19716 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19727/stat : 19727 (java) S 19716 19719 17869 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244921250 14420721664 11818 33554432000 4194304 4196468 140729622834112 140435749168544 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19728] ppid=19716 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19728/stat : 19728 (java) S 19716 19719 17869 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244921250 14420721664 11818 33554432000 4194304 4196468 140729622834112 140435748115952 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19729] ppid=19716 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19729/stat : 19729 (java) S 19716 19719 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244921252 14420721664 11818 33554432000 4194304 4196468 140729622834112 140435747064528 140436275394459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19730] ppid=19716 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19719/task/19730/stat : 19730 (java) R 19716 19719 17869 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 15 0 244921252 14420721664 11818 33554432000 4194304 4196468 140729622834112 140435746011120 140436275387010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19731] ppid=19716 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/19719/task/19731/stat : 19731 (java) R 19716 19719 17869 0 -1 4202560 221 0 0 0 1 0 0 0 20 0 15 0 244921252 14420721664 11818 33554432000 4194304 4196468 140729622834112 140435744950080 140436260263772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19732] ppid=19716 vsize=14082736 memory=139873278256768 CPUtime=0.06 cores=1,3,5,7
/proc/19719/task/19732/stat : 19732 (java) R 19716 19719 17869 0 -1 4202560 332 0 0 0 6 0 0 0 20 0 15 0 244921252 14420721664 11818 33554432000 4194304 4196468 140729622834112 140435743903992 140436254504219 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19733] ppid=19716 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19733/stat : 19733 (java) S 19716 19719 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244921253 14420721664 11818 33554432000 4194304 4196468 140729622834112 140435742853728 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19734] ppid=19716 vsize=14082736 memory=139873278256768 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19734/stat : 19734 (java) S 19716 19719 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244921253 14420721664 11818 33554432000 4194304 4196468 140729622834112 140435741801264 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47272 KiB

[startup+0.310918 s]*
/proc/loadavg: 1.63 1.57 1.43 3/215 19734
/proc/meminfo: memFree=24237096/32770624 swapFree=67108172/67108860
[pid=19719] ppid=19716 vsize=14082736 memory=50772 CPUtime=0.44 cores=1,3,5,7
/proc/19719/stat : 19719 (java) S 19716 19719 17869 0 -1 1077944320 10815 0 0 0 42 2 0 0 20 0 15 0 244921247 14420721664 12693 33554432000 4194304 4196468 140729622834112 140729622816656 140436275375863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
/proc/19719/statm: 3520684 12693 3371 1 0 3482761 0
[pid=19719/tid=19721] ppid=19716 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/19719/task/19721/stat : 19721 (java) R 19716 19719 17869 0 -1 4202560 8459 0 0 0 28 2 0 0 20 0 15 0 244921247 14420721664 12693 33554432000 4194304 4196468 140729622834112 140436279578368 140436255651166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19722] ppid=19716 vsize=14082736 memory=4294977827 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19722/stat : 19722 (java) S 19716 19719 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244921248 14420721664 12693 33554432000 4194304 4196468 140729622834112 140436238481680 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19723] ppid=19716 vsize=14082736 memory=288370249429968512 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19723/stat : 19723 (java) S 19716 19719 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244921248 14420721664 12693 33554432000 4194304 4196468 140729622834112 140435869854096 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19724] ppid=19716 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19724/stat : 19724 (java) S 19716 19719 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244921248 14420721664 12693 33554432000 4194304 4196468 140729622834112 140435868801552 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19725] ppid=19716 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19725/stat : 19725 (java) S 19716 19719 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244921248 14420721664 12693 33554432000 4194304 4196468 140729622834112 140435867749008 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19726] ppid=19716 vsize=14082736 memory=139873278256768 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19726/stat : 19726 (java) S 19716 19719 17869 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244921249 14420721664 12693 33554432000 4194304 4196468 140729622834112 140435750222320 140436275387010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19727] ppid=19716 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19727/stat : 19727 (java) S 19716 19719 17869 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244921250 14420721664 12693 33554432000 4194304 4196468 140729622834112 140435749168544 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19728] ppid=19716 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19728/stat : 19728 (java) S 19716 19719 17869 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244921250 14420721664 12693 33554432000 4194304 4196468 140729622834112 140435748115952 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19729] ppid=19716 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19729/stat : 19729 (java) S 19716 19719 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244921252 14420721664 12693 33554432000 4194304 4196468 140729622834112 140435747064528 140436275394459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19730] ppid=19716 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19719/task/19730/stat : 19730 (java) S 19716 19719 17869 0 -1 1077944384 394 0 0 0 2 0 0 0 20 0 15 0 244921252 14420721664 12693 33554432000 4194304 4196468 140729622834112 140435746011120 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19731] ppid=19716 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/19719/task/19731/stat : 19731 (java) S 19716 19719 17869 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 15 0 244921252 14420721664 12693 33554432000 4194304 4196468 140729622834112 140435744958576 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19732] ppid=19716 vsize=14082736 memory=139873278256768 CPUtime=0.08 cores=1,3,5,7
/proc/19719/task/19732/stat : 19732 (java) S 19716 19719 17869 0 -1 1077944384 352 0 0 0 8 0 0 0 20 0 15 0 244921252 14420721664 12693 33554432000 4194304 4196468 140729622834112 140435743906032 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19733] ppid=19716 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19733/stat : 19733 (java) S 19716 19719 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244921253 14420721664 12693 33554432000 4194304 4196468 140729622834112 140435742853728 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19734] ppid=19716 vsize=14082736 memory=139873278256768 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19734/stat : 19734 (java) S 19716 19719 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244921253 14420721664 12693 33554432000 4194304 4196468 140729622834112 140435741801264 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50772 KiB

[startup+0.700732 s]
/proc/loadavg: 1.63 1.57 1.43 3/215 19734
/proc/meminfo: memFree=24213036/32770624 swapFree=67108172/67108860
[pid=19719] ppid=19716 vsize=14084804 memory=88904 CPUtime=0.99 cores=1,3,5,7
/proc/19719/stat : 19719 (java) S 19716 19719 17869 0 -1 1077944320 17597 0 0 0 94 5 0 0 20 0 15 0 244921247 14422839296 22226 33554432000 4194304 4196468 140729622834112 140729622816656 140436275375863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
/proc/19719/statm: 3521201 22226 3499 1 0 3483273 0
[pid=19719/tid=19721] ppid=19716 vsize=14084804 memory=36584 CPUtime=0.67 cores=1,3,5,7
/proc/19719/task/19721/stat : 19721 (java) R 19716 19719 17869 0 -1 4202560 14905 0 0 0 63 4 0 0 20 0 15 0 244921247 14422839296 22226 33554432000 4194304 4196468 140729622834112 140436279598464 140436261057167 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19722] ppid=19716 vsize=14084804 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19722/stat : 19722 (java) S 19716 19719 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244921248 14422839296 22226 33554432000 4194304 4196468 140729622834112 140436238481680 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19723] ppid=19716 vsize=14084804 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19723/stat : 19723 (java) S 19716 19719 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244921248 14422839296 22226 33554432000 4194304 4196468 140729622834112 140435869854096 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19724] ppid=19716 vsize=14084804 memory=496 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19724/stat : 19724 (java) S 19716 19719 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244921248 14422839296 22226 33554432000 4194304 4196468 140729622834112 140435868801552 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19725] ppid=19716 vsize=14084804 memory=928 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19725/stat : 19725 (java) S 19716 19719 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244921248 14422839296 22226 33554432000 4194304 4196468 140729622834112 140435867749008 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19726] ppid=19716 vsize=14084804 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19726/stat : 19726 (java) S 19716 19719 17869 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 244921249 14422839296 22226 33554432000 4194304 4196468 140729622834112 140435750222320 140436275387010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19727] ppid=19716 vsize=14084804 memory=1964 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19727/stat : 19727 (java) S 19716 19719 17869 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244921250 14422839296 22226 33554432000 4194304 4196468 140729622834112 140435749168544 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19728] ppid=19716 vsize=14084804 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19728/stat : 19728 (java) S 19716 19719 17869 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244921250 14422839296 22226 33554432000 4194304 4196468 140729622834112 140435748115952 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19729] ppid=19716 vsize=14084804 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19729/stat : 19729 (java) S 19716 19719 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244921252 14422839296 22226 33554432000 4194304 4196468 140729622834112 140435747064528 140436275394459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19730] ppid=19716 vsize=14084804 memory=7237400421024425817 CPUtime=0.08 cores=1,3,5,7
/proc/19719/task/19730/stat : 19730 (java) S 19716 19719 17869 0 -1 1077944384 550 0 0 0 8 0 0 0 20 0 15 0 244921252 14422839296 22226 33554432000 4194304 4196468 140729622834112 140435746011120 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19731] ppid=19716 vsize=14084804 memory=6154282490091891024 CPUtime=0.06 cores=1,3,5,7
/proc/19719/task/19731/stat : 19731 (java) S 19716 19719 17869 0 -1 1077944384 347 0 0 0 6 0 0 0 20 0 15 0 244921252 14422839296 22226 33554432000 4194304 4196468 140729622834112 140435744958576 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19732] ppid=19716 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/19719/task/19732/stat : 19732 (java) S 19716 19719 17869 0 -1 1077944384 414 0 0 0 15 0 0 0 20 0 15 0 244921252 14422839296 22226 33554432000 4194304 4196468 140729622834112 140435743906032 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19733] ppid=19716 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19733/stat : 19733 (java) S 19716 19719 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244921253 14422839296 22226 33554432000 4194304 4196468 140729622834112 140435742853728 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19734] ppid=19716 vsize=14084804 memory=756 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19734/stat : 19734 (java) S 19716 19719 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244921253 14422839296 22226 33554432000 4194304 4196468 140729622834112 140435741801264 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88904 KiB

[startup+1.50076 s]
/proc/loadavg: 1.63 1.57 1.43 6/215 19734
/proc/meminfo: memFree=24158744/32770624 swapFree=67108172/67108860
[pid=19719] ppid=19716 vsize=14086852 memory=185472 CPUtime=3.36 cores=1,3,5,7
/proc/19719/stat : 19719 (java) S 19716 19719 17869 0 -1 1077944320 24133 0 0 0 328 8 0 0 20 0 15 0 244921247 14424936448 46368 33554432000 4194304 4196468 140729622834112 140729622816656 140436275375863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
/proc/19719/statm: 3521713 46368 3553 1 0 3483785 0
[pid=19719/tid=19721] ppid=19716 vsize=14086852 memory=163832 CPUtime=1.47 cores=1,3,5,7
/proc/19719/task/19721/stat : 19721 (java) R 19716 19719 17869 0 -1 4202560 17883 0 0 0 142 5 0 0 20 0 15 0 244921247 14424936448 46368 33554432000 4194304 4196468 140729622834112 140436279612784 140435917205805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19722] ppid=19716 vsize=14086852 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19722/stat : 19722 (java) S 19716 19719 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244921248 14424936448 46368 33554432000 4194304 4196468 140729622834112 140436238481680 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19723] ppid=19716 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19723/stat : 19723 (java) S 19716 19719 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244921248 14424936448 46368 33554432000 4194304 4196468 140729622834112 140435869854096 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19724] ppid=19716 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19724/stat : 19724 (java) S 19716 19719 17869 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244921248 14424936448 46368 33554432000 4194304 4196468 140729622834112 140435868801552 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19725] ppid=19716 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19725/stat : 19725 (java) S 19716 19719 17869 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244921248 14424936448 46368 33554432000 4194304 4196468 140729622834112 140435867749008 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19726] ppid=19716 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19726/stat : 19726 (java) S 19716 19719 17869 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 244921249 14424936448 46368 33554432000 4194304 4196468 140729622834112 140435750222320 140436275387010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0

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

/proc/19719/task/19721/stat : 19721 (java) R 19716 19719 17869 0 -1 4202560 47782 0 0 0 237881 17 0 0 20 0 15 0 244921247 14429130752 143654 33554432000 4194304 4196468 140729622834112 140436279613920 140435921863406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19722] ppid=19716 vsize=14090948 memory=574616 CPUtime=1.55 cores=1,3,5,7
/proc/19719/task/19722/stat : 19722 (java) S 19716 19719 17869 0 -1 1077944384 4381 0 0 0 143 12 0 0 20 0 15 0 244921248 14429130752 143654 33554432000 4194304 4196468 140729622834112 140436238481680 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19723] ppid=19716 vsize=14090948 memory=574616 CPUtime=1.54 cores=1,3,5,7
/proc/19719/task/19723/stat : 19723 (java) S 19716 19719 17869 0 -1 1077944384 5308 0 0 0 142 12 0 0 20 0 15 0 244921248 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435869854096 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19724] ppid=19716 vsize=14090948 memory=574616 CPUtime=1.56 cores=1,3,5,7
/proc/19719/task/19724/stat : 19724 (java) S 19716 19719 17869 0 -1 1077944384 4968 0 0 0 146 10 0 0 20 0 15 0 244921248 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435868801552 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19725] ppid=19716 vsize=14090948 memory=574616 CPUtime=1.56 cores=1,3,5,7
/proc/19719/task/19725/stat : 19725 (java) S 19716 19719 17869 0 -1 1077944384 6767 0 0 0 144 12 0 0 20 0 15 0 244921248 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435867749008 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19726] ppid=19716 vsize=14090948 memory=574616 CPUtime=0.95 cores=1,3,5,7
/proc/19719/task/19726/stat : 19726 (java) S 19716 19719 17869 0 -1 1077944384 8415 0 0 0 87 8 0 0 20 0 15 0 244921249 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435750222320 140436275387010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19727] ppid=19716 vsize=14090948 memory=574616 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19727/stat : 19727 (java) S 19716 19719 17869 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 244921250 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435749168608 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19728] ppid=19716 vsize=14090948 memory=574616 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19728/stat : 19728 (java) S 19716 19719 17869 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 244921250 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435748115968 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19729] ppid=19716 vsize=14090948 memory=574616 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19729/stat : 19729 (java) S 19716 19719 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244921252 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435747064528 140436275394459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19730] ppid=19716 vsize=14090948 memory=574616 CPUtime=1.89 cores=1,3,5,7
/proc/19719/task/19730/stat : 19730 (java) S 19716 19719 17869 0 -1 1077944384 8543 0 0 0 188 1 0 0 20 0 15 0 244921252 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435746011120 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19731] ppid=19716 vsize=14090948 memory=574616 CPUtime=2.35 cores=1,3,5,7
/proc/19719/task/19731/stat : 19731 (java) S 19716 19719 17869 0 -1 1077944384 7699 0 0 0 233 2 0 0 20 0 15 0 244921252 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435744958576 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19732] ppid=19716 vsize=14090948 memory=6791534058613427641 CPUtime=0.94 cores=1,3,5,7
/proc/19719/task/19732/stat : 19732 (java) S 19716 19719 17869 0 -1 1077944384 11517 0 0 0 91 3 0 0 20 0 15 0 244921252 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435743906032 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19733] ppid=19716 vsize=14090948 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19733/stat : 19733 (java) S 19716 19719 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244921253 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435742853728 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19734] ppid=19716 vsize=14090948 memory=574616 CPUtime=0.51 cores=1,3,5,7
/proc/19719/task/19734/stat : 19734 (java) S 19716 19719 17869 0 -1 1077944384 943 0 0 0 19 32 0 0 20 0 15 0 244921253 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435741801264 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 59 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
Current children cumulated CPU time: 2391.93 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 574616 KiB

[startup+2442.3 s]
/proc/loadavg: 1.55 1.52 1.50 3/215 19887
/proc/meminfo: memFree=21659860/32770624 swapFree=67108172/67108860
[pid=19719] ppid=19716 vsize=14090948 memory=574616 CPUtime=2452.06 cores=1,3,5,7
/proc/19719/stat : 19719 (java) S 19716 19719 17869 0 -1 1077944320 108577 0 0 0 245106 100 0 0 20 0 15 0 244921247 14429130752 143654 33554432000 4194304 4196468 140729622834112 140729622816656 140436275375863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
/proc/19719/statm: 3522737 143654 3596 1 0 3484809 0
[pid=19719/tid=19721] ppid=19716 vsize=14090948 memory=574616 CPUtime=2438.89 cores=1,3,5,7
/proc/19719/task/19721/stat : 19721 (java) R 19716 19719 17869 0 -1 4202560 48127 0 0 0 243872 17 0 0 20 0 15 0 244921247 14429130752 143654 33554432000 4194304 4196468 140729622834112 140436279613920 140435921875108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19722] ppid=19716 vsize=14090948 memory=574616 CPUtime=1.6 cores=1,3,5,7
/proc/19719/task/19722/stat : 19722 (java) S 19716 19719 17869 0 -1 1077944384 4436 0 0 0 147 13 0 0 20 0 15 0 244921248 14429130752 143654 33554432000 4194304 4196468 140729622834112 140436238481680 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19723] ppid=19716 vsize=14090948 memory=574616 CPUtime=1.58 cores=1,3,5,7
/proc/19719/task/19723/stat : 19723 (java) S 19716 19719 17869 0 -1 1077944384 5399 0 0 0 146 12 0 0 20 0 15 0 244921248 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435869854096 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19724] ppid=19716 vsize=14090948 memory=574616 CPUtime=1.6 cores=1,3,5,7
/proc/19719/task/19724/stat : 19724 (java) S 19716 19719 17869 0 -1 1077944384 5081 0 0 0 150 10 0 0 20 0 15 0 244921248 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435868801552 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19725] ppid=19716 vsize=14090948 memory=574616 CPUtime=1.61 cores=1,3,5,7
/proc/19719/task/19725/stat : 19725 (java) S 19716 19719 17869 0 -1 1077944384 6784 0 0 0 148 13 0 0 20 0 15 0 244921248 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435867749008 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19726] ppid=19716 vsize=14090948 memory=574616 CPUtime=0.98 cores=1,3,5,7
/proc/19719/task/19726/stat : 19726 (java) S 19716 19719 17869 0 -1 1077944384 8589 0 0 0 90 8 0 0 20 0 15 0 244921249 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435750222320 140436275387010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 19 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19727] ppid=19716 vsize=14090948 memory=574616 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19727/stat : 19727 (java) S 19716 19719 17869 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 244921250 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435749168608 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19728] ppid=19716 vsize=14090948 memory=574616 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19728/stat : 19728 (java) S 19716 19719 17869 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 244921250 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435748115968 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19729] ppid=19716 vsize=14090948 memory=574616 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19729/stat : 19729 (java) S 19716 19719 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244921252 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435747064528 140436275394459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19730] ppid=19716 vsize=14090948 memory=574616 CPUtime=1.89 cores=1,3,5,7
/proc/19719/task/19730/stat : 19730 (java) S 19716 19719 17869 0 -1 1077944384 8545 0 0 0 188 1 0 0 20 0 15 0 244921252 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435746011120 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19731] ppid=19716 vsize=14090948 memory=574616 CPUtime=2.35 cores=1,3,5,7
/proc/19719/task/19731/stat : 19731 (java) S 19716 19719 17869 0 -1 1077944384 7701 0 0 0 233 2 0 0 20 0 15 0 244921252 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435744958576 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19732] ppid=19716 vsize=14090948 memory=574616 CPUtime=0.94 cores=1,3,5,7
/proc/19719/task/19732/stat : 19732 (java) S 19716 19719 17869 0 -1 1077944384 11520 0 0 0 91 3 0 0 20 0 15 0 244921252 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435743906032 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19733] ppid=19716 vsize=14090948 memory=574616 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19733/stat : 19733 (java) S 19716 19719 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244921253 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435742853728 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19734] ppid=19716 vsize=14090948 memory=574616 CPUtime=0.53 cores=1,3,5,7
/proc/19719/task/19734/stat : 19734 (java) S 19716 19719 17869 0 -1 1077944384 958 0 0 0 20 33 0 0 20 0 15 0 244921253 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435741801264 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 59 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
Current children cumulated CPU time: 2452.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 574616 KiB

[startup+2502.3 s]
/proc/loadavg: 1.52 1.52 1.50 3/215 19888
/proc/meminfo: memFree=21659580/32770624 swapFree=67108172/67108860
[pid=19719] ppid=19716 vsize=14090948 memory=574616 CPUtime=2512.16 cores=1,3,5,7
/proc/19719/stat : 19719 (java) S 19716 19719 17869 0 -1 1077944320 109445 0 0 0 251115 101 0 0 20 0 15 0 244921247 14429130752 143654 33554432000 4194304 4196468 140729622834112 140729622816656 140436275375863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
/proc/19719/statm: 3522737 143654 3596 1 0 3484809 0
[pid=19719/tid=19721] ppid=19716 vsize=14090948 memory=496 CPUtime=2498.81 cores=1,3,5,7
/proc/19719/task/19721/stat : 19721 (java) R 19716 19719 17869 0 -1 4202560 48461 0 0 0 249864 17 0 0 20 0 15 0 244921247 14429130752 143654 33554432000 4194304 4196468 140729622834112 140436279614032 140435921863406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19722] ppid=19716 vsize=14090948 memory=574616 CPUtime=1.63 cores=1,3,5,7
/proc/19719/task/19722/stat : 19722 (java) S 19716 19719 17869 0 -1 1077944384 4520 0 0 0 150 13 0 0 20 0 15 0 244921248 14429130752 143654 33554432000 4194304 4196468 140729622834112 140436238481680 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19723] ppid=19716 vsize=14090948 memory=7809633619451208559 CPUtime=1.63 cores=1,3,5,7
/proc/19719/task/19723/stat : 19723 (java) S 19716 19719 17869 0 -1 1077944384 5519 0 0 0 150 13 0 0 20 0 15 0 244921248 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435869854096 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19724] ppid=19716 vsize=14090948 memory=574616 CPUtime=1.65 cores=1,3,5,7
/proc/19719/task/19724/stat : 19724 (java) S 19716 19719 17869 0 -1 1077944384 5136 0 0 0 154 11 0 0 20 0 15 0 244921248 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435868801552 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19725] ppid=19716 vsize=14090948 memory=574616 CPUtime=1.64 cores=1,3,5,7
/proc/19719/task/19725/stat : 19725 (java) S 19716 19719 17869 0 -1 1077944384 6855 0 0 0 151 13 0 0 20 0 15 0 244921248 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435867749008 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19726] ppid=19716 vsize=14090948 memory=574616 CPUtime=1.01 cores=1,3,5,7
/proc/19719/task/19726/stat : 19726 (java) S 19716 19719 17869 0 -1 1077944384 8768 0 0 0 93 8 0 0 20 0 15 0 244921249 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435750222320 140436275387010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 19 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19727] ppid=19716 vsize=14090948 memory=574616 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19727/stat : 19727 (java) S 19716 19719 17869 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 244921250 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435749168608 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19728] ppid=19716 vsize=14090948 memory=574616 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19728/stat : 19728 (java) S 19716 19719 17869 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 244921250 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435748115968 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19729] ppid=19716 vsize=14090948 memory=574616 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19729/stat : 19729 (java) S 19716 19719 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244921252 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435747064528 140436275394459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19730] ppid=19716 vsize=14090948 memory=574616 CPUtime=1.89 cores=1,3,5,7
/proc/19719/task/19730/stat : 19730 (java) S 19716 19719 17869 0 -1 1077944384 8547 0 0 0 188 1 0 0 20 0 15 0 244921252 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435746011120 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19731] ppid=19716 vsize=14090948 memory=2907 CPUtime=2.35 cores=1,3,5,7
/proc/19719/task/19731/stat : 19731 (java) S 19716 19719 17869 0 -1 1077944384 7704 0 0 0 233 2 0 0 20 0 15 0 244921252 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435744958576 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19732] ppid=19716 vsize=14090948 memory=574616 CPUtime=0.94 cores=1,3,5,7
/proc/19719/task/19732/stat : 19732 (java) S 19716 19719 17869 0 -1 1077944384 11522 0 0 0 91 3 0 0 20 0 15 0 244921252 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435743906032 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19733] ppid=19716 vsize=14090948 memory=574616 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19733/stat : 19733 (java) S 19716 19719 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244921253 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435742853728 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19734] ppid=19716 vsize=14090948 memory=279746253395184 CPUtime=0.54 cores=1,3,5,7
/proc/19719/task/19734/stat : 19734 (java) S 19716 19719 17869 0 -1 1077944384 976 0 0 0 20 34 0 0 20 0 15 0 244921253 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435741801264 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 59 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
Current children cumulated CPU time: 2512.16 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 574616 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2510.2 s]
/proc/loadavg: 1.52 1.52 1.50 3/215 19888
/proc/meminfo: memFree=21660076/32770624 swapFree=67108172/67108860
[pid=19719] ppid=19716 vsize=14090948 memory=574616 CPUtime=2520.08 cores=1,3,5,7
/proc/19719/stat : 19719 (java) S 19716 19719 17869 0 -1 1077944320 109461 0 0 0 251906 102 0 0 20 0 15 0 244921247 14429130752 143654 33554432000 4194304 4196468 140729622834112 140729622816656 140436275375863 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
/proc/19719/statm: 3522737 143654 3596 1 0 3484809 0
[pid=19719/tid=19721] ppid=19716 vsize=14090948 memory=912 CPUtime=2506.7 cores=1,3,5,7
/proc/19719/task/19721/stat : 19721 (java) R 19716 19719 17869 0 -1 4202560 48466 0 0 0 250653 17 0 0 20 0 15 0 244921247 14429130752 143654 33554432000 4194304 4196468 140729622834112 140436279614080 140435921873584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19722] ppid=19716 vsize=14090948 memory=3848 CPUtime=1.64 cores=1,3,5,7
/proc/19719/task/19722/stat : 19722 (java) S 19716 19719 17869 0 -1 1077944384 4522 0 0 0 151 13 0 0 20 0 15 0 244921248 14429130752 143654 33554432000 4194304 4196468 140729622834112 140436238481680 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19723] ppid=19716 vsize=14090948 memory=2600 CPUtime=1.63 cores=1,3,5,7
/proc/19719/task/19723/stat : 19723 (java) S 19716 19719 17869 0 -1 1077944384 5519 0 0 0 150 13 0 0 20 0 15 0 244921248 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435869854096 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19724] ppid=19716 vsize=14090948 memory=0 CPUtime=1.65 cores=1,3,5,7
/proc/19719/task/19724/stat : 19724 (java) S 19716 19719 17869 0 -1 1077944384 5136 0 0 0 154 11 0 0 20 0 15 0 244921248 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435868801552 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19725] ppid=19716 vsize=14090948 memory=3 CPUtime=1.65 cores=1,3,5,7
/proc/19719/task/19725/stat : 19725 (java) S 19716 19719 17869 0 -1 1077944384 6857 0 0 0 152 13 0 0 20 0 15 0 244921248 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435867749008 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19726] ppid=19716 vsize=14090948 memory=279746253162448 CPUtime=1.01 cores=1,3,5,7
/proc/19719/task/19726/stat : 19726 (java) S 19716 19719 17869 0 -1 1077944384 8769 0 0 0 93 8 0 0 20 0 15 0 244921249 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435750222320 140436275387010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19727] ppid=19716 vsize=14090948 memory=576583242059703325 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19727/stat : 19727 (java) S 19716 19719 17869 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 244921250 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435749168608 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19728] ppid=19716 vsize=14090948 memory=288285558797777546 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19728/stat : 19728 (java) S 19716 19719 17869 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 244921250 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435748115968 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19729] ppid=19716 vsize=14090948 memory=-2245088631185882904 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19729/stat : 19729 (java) S 19716 19719 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244921252 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435747064528 140436275394459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19730] ppid=19716 vsize=14090948 memory=-1088251628401078322 CPUtime=1.89 cores=1,3,5,7
/proc/19719/task/19730/stat : 19730 (java) S 19716 19719 17869 0 -1 1077944384 8549 0 0 0 188 1 0 0 20 0 15 0 244921252 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435746011120 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19731] ppid=19716 vsize=14090948 memory=-2247047206120807000 CPUtime=2.35 cores=1,3,5,7
/proc/19719/task/19731/stat : 19731 (java) S 19716 19719 17869 0 -1 1077944384 7706 0 0 0 233 2 0 0 20 0 15 0 244921252 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435744958576 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19732] ppid=19716 vsize=14090948 memory=235 CPUtime=0.94 cores=1,3,5,7
/proc/19719/task/19732/stat : 19732 (java) S 19716 19719 17869 0 -1 1077944384 11524 0 0 0 91 3 0 0 20 0 15 0 244921252 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435743906032 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19733] ppid=19716 vsize=14090948 memory=15 CPUtime=0 cores=1,3,5,7
/proc/19719/task/19733/stat : 19733 (java) S 19716 19719 17869 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244921253 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435742853728 140436275386069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
[pid=19719/tid=19734] ppid=19716 vsize=14090948 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/19719/task/19734/stat : 19734 (java) S 19716 19719 17869 0 -1 1077944384 976 0 0 0 20 34 0 0 20 0 15 0 244921253 14429130752 143654 33554432000 4194304 4196468 140729622834112 140435741801264 140436275387010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 59 0 0 6293624 6294260 15015936 140729622840392 140729622840585 140729622840585 140729622843343 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 574616 KiB

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

[startup+2510.23 s]
# the end of solver process 19719 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.1 s, system=1.02953 s

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

Child status: 143
Real time (s): 2510.23
CPU time (s): 2520.13
CPU user time (s): 2519.1
CPU system time (s): 1.02953
CPU usage (%): 100.394
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 795992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.1
system time used= 1.02953
maximum resident set size= 797076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110065
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83107
involuntary context switches= 1990


# summary of solver processes directly reported to runsolver:
#   pid: 19719
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2519.1
#   total CPU system time (s): 1.02953

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8659 second user time and 21.1611 second system time

The end

Launcher Data 

Begin job on node136 at 2018-08-14 21:06:21
IDJOB=4307916
IDBENCH=141119
IDSOLVER=2791
FILE ID=node136/4307916-1534273581
RUNJOBID= node136-1534271084-19496
PBS_JOBID= 21038121
Free space on /tmp= 38992 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/PseudoBoolean-opt/Pb-radar-30-30-45-050-100_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4307916-1534273581/watcher-4307916-1534273581 -o /tmp/evaluation-result-4307916-1534273581/solver-4307916-1534273581 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534271084-19496 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1341508674 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307916-1534273581.xml

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

MD5SUM BENCH= 038278868d516ab8bda18fb263b0f90d
RANDOM SEED=1341508674

node136.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.50
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.50
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.50
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.50
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:        24275252 kB
MemAvailable:   31525576 kB
Buffers:          109540 kB
Cached:          7360516 kB
SwapCached:           16 kB
Active:          4209096 kB
Inactive:        3695372 kB
Active(anon):     385660 kB
Inactive(anon):   100900 kB
Active(file):    3823436 kB
Inactive(file):  3594472 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108860 kB
SwapFree:       67108172 kB
Dirty:             36196 kB
Writeback:             0 kB
AnonPages:        471884 kB
Mapped:            67576 kB
Shmem:             49576 kB
Slab:             288876 kB
SReclaimable:     260876 kB
SUnreclaim:        28000 kB
KernelStack:        3792 kB
PageTables:         6524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1310624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    397312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 38956 MiB
End job on node136 at 2018-08-14 21:48:11