Trace number 4302292

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)1274 252.056 229.053

General information on the benchmark

NameGraphColoring/
GraphColoring-qg-order40_c18.xml
MD5SUMd1aa36ddb66a988b2d6475ffc1d9c375
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark39
Best CPU time to get the best result obtained on this benchmark251.871
Satisfiable
(Un)Satisfiability was proved
Number of variables1600
Number of constraints62400
Number of domains1
Minimum domain size1600
Maximum domain size1600
Distribution of domain sizes[{"size":1600,"count":1600}]
Minimum variable degree79
Maximum variable degree79
Distribution of variable degrees[{"degree":79,"count":1600}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":62400}]
Number of extensional constraints0
Number of intensional constraints62400
Distribution of constraint types[{"type":"intension","count":62400}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.99/0.75	c Concrete v3.9.2.1532736233296 running
39.44/22.23	o 1599
41.05/23.15	o 1598
42.19/23.90	o 1597
43.32/24.69	o 1596
44.13/25.39	o 1595
44.93/26.09	o 1594
45.72/26.77	o 1593
46.61/27.46	o 1592
47.72/28.16	o 1591
48.54/28.88	o 1590
49.25/29.56	o 1589
49.95/30.23	o 1588
50.65/30.91	o 1587
51.26/31.57	o 1586
51.96/32.22	o 1585
52.76/32.92	o 1584
53.36/33.58	o 1583
54.06/34.24	o 1582
54.66/34.90	o 1581
55.40/35.58	o 1580
56.10/36.23	o 1579
56.70/36.89	o 1578
57.52/37.58	o 1577
58.23/38.21	o 1576
58.84/38.86	o 1575
59.45/39.43	o 1574
60.06/40.05	o 1573
60.75/40.71	o 1572
61.35/41.34	o 1571
61.95/41.97	o 1570
62.74/42.68	o 1569
63.49/43.30	o 1568
64.28/43.96	o 1567
64.88/44.60	o 1566
65.58/45.24	o 1565
66.30/45.88	o 1564
67.00/46.54	o 1563
67.61/47.16	o 1562
68.42/47.83	o 1561
69.07/48.49	o 1560
69.78/49.11	o 1559
70.37/49.76	o 1558
71.08/50.42	o 1557
71.69/51.05	o 1556
72.28/51.69	o 1555
72.98/52.34	o 1554
73.58/53.00	o 1553
74.36/53.63	o 1552
74.96/54.24	o 1551
75.56/54.88	o 1550
76.26/55.52	o 1549
76.87/56.15	o 1548
77.56/56.82	o 1547
78.16/57.42	o 1546
78.77/58.06	o 1545
79.50/58.71	o 1544
80.15/59.34	o 1543
80.75/60.00	o 1542
81.45/60.64	o 1541
82.05/61.27	o 1540
82.75/61.91	o 1539
83.35/62.54	o 1538
83.96/63.18	o 1537
84.66/63.80	o 1536
85.26/64.44	o 1535
85.92/65.06	o 1534
86.62/65.70	o 1533
87.22/66.32	o 1532
87.82/66.92	o 1531
88.42/67.51	o 1530
89.03/68.13	o 1529
89.62/68.75	o 1528
90.22/69.36	o 1527
90.93/70.02	o 1526
91.58/70.67	o 1525
92.29/71.31	o 1524
92.89/71.95	o 1523
93.49/72.55	o 1522
94.19/73.21	o 1521
94.79/73.84	o 1520
95.39/74.47	o 1519
96.00/75.08	o 1518
96.59/75.68	o 1517
97.37/76.33	o 1516
97.97/76.94	o 1515
98.57/77.57	o 1514
99.18/78.18	o 1513
99.77/78.78	o 1512
100.37/79.38	o 1511
101.08/80.01	o 1510
101.68/80.65	o 1509
102.38/81.32	o 1508
103.06/81.97	o 1507
103.76/82.60	o 1506
104.36/83.22	o 1505
104.96/83.86	o 1504
105.56/84.48	o 1503
106.17/85.08	o 1502
106.76/85.70	o 1501
107.47/86.33	o 1500
108.07/86.95	o 1499
108.87/87.63	o 1498
109.47/88.25	o 1497
110.07/88.85	o 1496
110.67/89.46	o 1495
111.28/90.08	o 1494
111.97/90.70	o 1493
112.57/91.35	o 1492
113.17/91.95	o 1491
113.77/92.56	o 1490
114.56/93.23	o 1489
115.16/93.86	o 1488
115.76/94.47	o 1487
116.47/95.11	o 1486
117.06/95.76	o 1485
117.76/96.42	o 1484
118.37/97.03	o 1483
118.96/97.66	o 1482
119.56/98.29	o 1481
120.35/98.92	o 1480
120.95/99.57	o 1479
121.56/100.20	o 1478
122.25/100.84	o 1477
122.86/101.43	o 1476
123.47/102.06	o 1475
124.06/102.67	o 1474
124.76/103.30	o 1473
125.37/103.93	o 1472
126.16/104.63	o 1471
126.77/105.23	o 1470
127.37/105.87	o 1469
127.97/106.49	o 1468
128.68/107.12	o 1467
129.27/107.75	o 1466
129.87/108.36	o 1465
130.47/108.96	o 1464
131.17/109.60	o 1463
131.84/110.26	o 1462
132.54/110.92	o 1461
133.14/111.53	o 1460
133.75/112.18	o 1459
134.44/112.80	o 1458
135.04/113.41	o 1457
135.65/114.06	o 1456
136.24/114.67	o 1455
136.94/115.31	o 1454
137.61/116.00	o 1453
138.31/116.65	o 1452
138.91/117.27	o 1451
139.52/117.88	o 1450
140.22/118.51	o 1449
140.83/119.14	o 1448
141.42/119.76	o 1447
142.02/120.38	o 1446
142.73/121.03	o 1445
143.49/121.70	o 1444
144.09/122.31	o 1443
144.69/122.94	o 1442
145.39/123.61	o 1441
145.99/124.27	o 1440
146.69/124.91	o 1439
147.29/125.52	o 1438
147.90/126.17	o 1437
148.49/126.78	o 1436
149.27/127.43	o 1435
149.88/128.07	o 1434
150.47/128.68	o 1433
151.17/129.36	o 1432
151.77/129.98	o 1431
152.47/130.60	o 1430
153.07/131.21	o 1429
153.67/131.85	o 1428
154.27/132.48	o 1427
155.04/133.14	o 1426
155.63/133.77	o 1425
156.34/134.42	o 1424
156.95/135.04	o 1423
157.54/135.67	o 1422
158.24/136.31	o 1421
158.83/136.95	o 1420
159.43/137.58	o 1419
160.13/138.21	o 1418
160.79/138.88	o 1417
161.49/139.52	o 1416
162.10/140.13	o 1415
162.69/140.77	o 1414
163.29/141.38	o 1413
164.00/142.04	o 1412
164.59/142.66	o 1411
165.19/143.25	o 1410
165.79/143.87	o 1409
166.55/144.52	o 1408
167.16/145.17	o 1407
167.86/145.82	o 1406
168.46/146.44	o 1405
169.07/147.07	o 1404
169.76/147.71	o 1403
170.36/148.37	o 1402
170.96/149.00	o 1401
171.66/149.60	o 1400
172.32/150.22	o 1399
172.92/150.81	o 1398
173.52/151.45	o 1397
174.13/152.09	o 1396
174.82/152.72	o 1395
175.42/153.31	o 1394
176.02/153.95	o 1393
176.62/154.57	o 1392
177.23/155.18	o 1391
177.99/155.84	o 1390
178.60/156.45	o 1389
179.21/157.07	o 1388
179.90/157.72	o 1387
180.50/158.35	o 1386
181.21/159.01	o 1385
181.81/159.65	o 1384
182.41/160.29	o 1383
183.11/160.93	o 1382
183.88/161.61	o 1381
184.48/162.20	o 1380
185.08/162.83	o 1379
185.68/163.46	o 1378
186.29/164.07	o 1377
186.89/164.69	o 1376
187.59/165.32	o 1375
188.19/165.93	o 1374
188.79/166.57	o 1373
189.56/167.26	o 1372
190.26/167.93	o 1371
190.86/168.53	o 1370
191.46/169.15	o 1369
192.06/169.78	o 1368
192.76/170.43	o 1367
193.36/171.05	o 1366
193.96/171.67	o 1365
194.56/172.29	o 1364
195.33/172.97	o 1363
196.03/173.61	o 1362
196.63/174.24	o 1361
197.23/174.86	o 1360
197.93/175.51	o 1359
198.53/176.18	o 1358
199.22/176.80	o 1357
199.82/177.40	o 1356
200.43/178.05	o 1355
201.21/178.70	o 1354
201.70/179.29	o 1353
202.41/179.91	o 1352
203.01/180.53	o 1351
203.62/181.16	o 1350
204.21/181.75	o 1349
204.81/182.37	o 1348
205.52/183.01	o 1347
206.11/183.64	o 1346
206.71/184.22	o 1345
207.36/184.86	o 1344
208.06/185.50	o 1343
208.67/186.17	o 1342
209.26/186.77	o 1341
209.97/187.41	o 1340
210.58/188.01	o 1339
211.17/188.66	o 1338
211.77/189.28	o 1337
212.47/189.92	o 1336
213.12/190.59	o 1335
213.82/191.21	o 1334
214.52/191.90	o 1333
215.12/192.50	o 1332
215.73/193.12	o 1331
216.32/193.79	o 1330
217.02/194.42	o 1329
217.63/195.04	o 1328
218.32/195.70	o 1327
218.98/196.32	o 1326
219.58/196.93	o 1325
220.18/197.57	o 1324
220.79/198.17	o 1323
221.48/198.82	o 1322
222.08/199.45	o 1321
222.69/200.09	o 1320
223.28/200.69	o 1319
223.98/201.32	o 1318
224.63/201.95	o 1317
225.23/202.58	o 1316
225.93/203.25	o 1315
226.53/203.88	o 1314
227.23/204.52	o 1313
227.84/205.16	o 1312
228.53/205.82	o 1311
229.13/206.43	o 1310
229.74/207.08	o 1309
230.49/207.73	o 1308
231.09/208.38	o 1307
231.80/209.02	o 1306
232.39/209.62	o 1305
232.99/210.27	o 1304
233.59/210.89	o 1303
234.29/211.51	o 1302
234.90/212.16	o 1301
235.49/212.79	o 1300
236.25/213.43	o 1299
236.86/214.05	o 1298
237.45/214.65	o 1297
238.05/215.28	o 1296
238.65/215.89	o 1295
239.35/216.54	o 1294
239.96/217.18	o 1293
240.65/217.82	o 1292
241.26/218.43	o 1291
241.93/219.09	o 1290
242.62/219.70	o 1289
243.22/220.33	o 1288
243.82/220.96	o 1287
244.52/221.61	o 1286
245.12/222.23	o 1285
245.72/222.89	o 1284
246.42/223.50	o 1283
246.93/224.08	o 1282
247.69/224.71	o 1281
248.29/225.30	o 1280
248.79/225.87	o 1279
249.39/226.47	o 1278
250.00/227.07	o 1277
250.69/227.72	o 1276
251.29/228.32	o 1275
251.89/228.91	o 1274
252.00/229.01	Exception in thread "main" java.util.concurrent.TimeoutException
252.00/229.01		at concrete.MAC.mac(MAC.scala:188)
252.00/229.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.00/229.01		at scala.util.Try$.apply(Try.scala:209)
252.00/229.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.00/229.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.00/229.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.00/229.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.00/229.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.00/229.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.00/229.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.00/229.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.00/229.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.00/229.01		at concrete.MAC.oneRun(MAC.scala:253)
252.00/229.01		at concrete.MAC.nextSolution(MAC.scala:272)
252.00/229.01		at concrete.MAC.nextSolution(MAC.scala:355)
252.00/229.01		at concrete.Solver.hasNext(Solver.scala:166)
252.00/229.01		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.00/229.01		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.00/229.01		at concrete.Solver.foreach(Solver.scala:68)
252.00/229.01		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.00/229.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.00/229.01		at scala.util.Success.map(Try.scala:209)
252.00/229.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.00/229.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.00/229.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.00/229.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.00/229.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.00/229.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.00/229.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.00/229.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.00/229.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.00/229.01		at scala.collection.immutable.List.foreach(List.scala:389)
252.00/229.01		at scala.App.main(App.scala:76)
252.00/229.01		at scala.App.main$(App.scala:74)
252.00/229.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.00/229.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.00/229.02	v <instantiation cost="1274">
252.00/229.02	v       <list>
252.00/229.02	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599]
252.00/229.02	v       </list>
252.00/229.02	v       <values>
252.00/229.02	v         21 1256 1270 1258 1269 17 26 10 14 1268 1263 1274 16 1271 18 9 13 12 20 1267 1259 1257 1266 0 1265 19 1255 5 1254 1264 11 22 1262 3 1272 1260 1261 6 33 1273 1 20 1261 17 5 1263 23 3 18 1271 22 1259 7 8 13 6 29 1267 9 12 1258 1273 1272 1274 0 27 1257 14 1270 1262 4 16 10 1266 15 25 1256 11 1269 1260 15 19 1273 11 9 1274 2 1272 1260 21 1265 1262 20 14 1271 7 17 1261 23 3 18 1266 1267 8 1263 6 1270 16 10 22 1 4 12 1268 0 1269 13 1264 26 5 18 15 23 1263 19 1267 1260 1270 10 7 11 1257 4 24 1272 1271 1269 14 0 6 16 1265 21 12 1268 20 13 1266 22 28 1274 1 1273 8 5 2 17 9 3 1264 1268 9 10 1269 6 1265 0 1267 1272 1266 20 21 1263 13 16 28 1 27 5 15 1264 12 8 26 23 1274 2 1271 11 18 25 1273 14 4 1259 3 7 1270 19 24 1267 31 0 22 1258 11 1259 1261 15 6 7 1273 1265 1263 21 1264 20 10 4 13 5 14 2 19 1 1260 1262 8 12 1270 3 23 1271 9 1274 1272 1269 1268 18 1266 23 1271 1265 1273 1262 9 11 1255 1267 1272 14 1263 5 4 1270 1266 25 21 6 1257 1260 1259 10 7 1269 1261 3 1 1268 2 1264 8 22 20 1256 12 1258 1274 31 0 1260 3 22 19 1264 1259 9 1273 1257 4 25 11 0 7 1269 1274 1263 2 1262 5 27 17 1255 14 10 1268 18 21 16 1258 1267 1266 26 23 1261 8 1265 1254 1 1270 20 1263 1264 1267 18 3 1273 23 2 29 16 19 6 17 1266 1270 12 5 1274 24 8 1256 1269 1 1271 1272 1268 4 0 15 21 1265 11 22 7 1262 9 13 14 10 14 11 4 0 1265 20 18 9 1271 3 1270 2 1266 1268 23 1273 15 17 22 1262 1 5 12 10 13 16 1274 1269 6 21 8 19 24 25 1267 1263 1272 1260 28 1259 1271 1269 2 1261 27 13 1272 4 20 1 8 18 1270 1259 1265 12 1267 22 21 11 7 24 1254 6 9 1273 1258 19 28 17 5 3 1268 15 10 30 16 1257 0 14 24 13 1268 1270 16 1271 1264 5 1261 22 12 28 19 20 3 11 10 1273 1272 14 9 1 4 1269 2 1257 17 18 8 0 26 6 1258 21 1266 1265 1262 7 29 1274 22 14 3 1 12 1266 1263 6 1265 1267 26 1271 17 0 1260 13 16 20 1261 19 1256 1274 1259 25 1272 1269 7 1262 5 1268 1273 2 21 1257 1270 9 11 8 4 15 11 1270 29 8 1259 1268 1261 7 1258 28 1269 5 2 21 19 20 1274 3 1273 1260 1257 1263 1264 1265 1262 22 14 12 9 10 1271 1267 6 1272 13 4 0 27 16 1 1259 4 1266 18 1255 1261 1 1269 23 2 17 1268 24 1264 1274 5 1273 8 14 25 11 19 6 1270 16 3 21 26 15 13 7 1263 1272 0 1258 1271 20 1265 10 1262 13 7 15 1268 20 5 21 11 6 17 1274 1 1272 12 0 10 1259 9 1266 1269 1273 1267 1265 1262 3 2 1264 24 4 1260 1263 1270 23 1261 1271 29 14 28 30 1257 16 1273 1263 12 10 4 22 2 1264 5 19 13 1268 9 1261 15 11 7 17 21 6 3 14 1267 29 1262 1271 25 18 1269 20 0 8 1 1265 1270 1274 1266 24 1272 3 1267 9 1259 1270 2 1257 19 21 12 1258 23 15 1265 1256 8 1262 29 1271 1264 1268 0 1273 1261 7 5 6 1263 14 4 10 18 13 1260 17 1274 1266 16 22 11 27 6 21 1262 2 1257 1271 1263 1266 1274 13 1253 10 18 4 1272 5 0 1269 1255 1267 1260 3 11 19 15 12 9 1273 24 1268 1256 1265 1270 1254 14 1 1261 7 8 1269 1262 18 1272 1263 0 6 1264 9 15 1273 1261 1 1258 5 1267 21 1274 1268 1259 10 8 7 13 28 4 11 2 1271 1266 1270 24 1260 1265 23 1257 12 3 20 1256 1266 1261 1274 15 4 7 5 1258 1262 9 10 12 14 23 17 18 0 24 27 28 1254 2 13 3 11 1256 1269 1268 1272 1273 6 1259 1264 16 1263 21 25 1 8 1267 7 17 1262 13 1261 1264 19 8 1273 1269 21 6 1274 1260 24 27 14 1268 3 1256 15 9 5 1259 12 11 1267 1270 1266 1 16 10 0 2 18 22 4 23 1272 1258 9 1268 24 3 1260 1256 1269 1262 1 1273 1254 4 1259 1270 1264 14 1266 15 1267 1265 1255 1258 1274 16 17 7 8 0 13 12 1261 11 5 6 2 10 18 1272 1263 22 1270 18 13 14 1271 15 1254 1 1253 1264 1267 1258 1260 1257 11 2 1272 6 8 1268 12 1269 1256 9 1261 23 1259 1274 1262 16 1265 17 1266 1255 20 5 19 1263 1273 26 5 12 1272 10 13 1 24 14 1274 8 1260 1266 18 1267 1273 1265 6 23 1263 1270 1253 15 1268 1271 20 21 22 1264 19 7 1269 1262 1257 11 4 1261 3 1259 2 9 4 2 16 1260 0 1273 10 1274 1269 1263 1266 26 12 1261 1262 22 1271 28 24 7 3 21 1270 5 15 14 1 27 1265 1267 18 1272 20 13 8 1264 1268 19 6 17 1273 16 14 5 23 12 1274 1265 13 25 3 17 1271 19 28 1262 30 1 29 2 4 1264 9 1268 1270 0 27 1267 26 1272 1266 1261 15 1269 6 11 1263 18 21 7 19 1272 1267 7 1256 10 13 0 1268 26 18 14 1264 1 1263 17 2 11 25 22 1269 20 16 1266 8 1265 4 3 1274 6 9 1260 1270 5 1262 1273 15 1258 12 1271 0 8 19 20 1257 24 14 1271 1259 1270 1261 1264 11 6 1258 1 23 1269 16 1274 1272 13 1262 4 1266 25 1256 15 1260 9 12 21 1263 1273 3 7 1267 10 17 2 6 1274 1 1265 1267 14 1270 1260 1254 11 4 8 13 3 9 26 24 1271 2 1258 1266 28 17 1273 18 12 0 1261 1269 5 1272 1268 19 7 1264 1259 10 1256 27 20 1274 1 5 1256 11 1255 1262 1268 7 1265 15 1269 3 1273 1254 0 1270 4 1258 1266 23 6 1263 1272 1264 9 1260 1259 2 20 28 12 17 1271 16 26 1257 1267 32 1261 1272 23 20 28 1273 1270 1266 22 3 27 1268 7 8 5 10 1263 1265 25 19 1271 1262 11 24 1260 21 1 1261 6 1267 29 13 1264 2 18 1269 0 26 4 1274 16 2 24 1260 6 3 19 7 21 22 0 23 20 1269 16 14 4 8 13 28 10 1274 1268 18 15 1267 1270 1265 1257 17 11 27 1258 9 1259 1 1266 1273 1271 5 1255 10 22 6 1264 1274 23 27 1256 1255 1258 1257 3 1261 1272 8 29 1260 16 1270 1263 14 1262 1 2 4 24 20 13 7 1265 0 1271 1259 12 19 1267 21 1273 15 1268 1264 29 8 4 15 22 1268 1266 11 1260 1271 1265 27 1262 20 3 7 18 12 1272 0 1270 26 1257 1274 17 10 1273 1261 25 2 13 1 1267 14 6 5 1269 9 19 8 0 7 1266 1 1260 1265 13 16 1261 6 9 1273 1269 12 1268 22 1259 11 4 1270 1271 15 1264 5 10 1263 1272 21 3 23 1274 1267 1258 26 24 2 1262 25 28 25 21 12 2 1268 8 28 29 17 10 24 15 1267 1266 1 16 1261 1272 1264 0 1265 7 1258 1263 1273 13 19 11 3 1274 1262 9 4 14 1260 20 1271 5 23 6 29 5 26 1274 1266 1269 12 1259 1270 23 2 0 9 15 6 25 3 19 1265 18 1263 1272 1271 20 22 1267 1273 10 1 14 17 7 16 1262 11 1268 8 21 13 4 17 1264 1257 9 8 21 4 16 12 1259 1272 22 1262 2 26 1269 19 1263 1 1273 1261 25 0 1256 6 18 1266 20 1258 1271 14 5 1274 10 1268 15 1270 30 11 3 1265 10 1271 16 1272 18 3 1257 1263 24 9 1267 23 1274 15 21 1268 26 7 1261 2 4 1260 1258 1255 8 5 22 1264 19 1259 14 1269 1256 1273 17 6 0 1270 12
252.00/229.02	v       </values>
252.00/229.02	v     </instantiation>
252.00/229.02	s SATISFIABLE

Verifier Data 

OK	1274

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302292-1532894952/watcher-4302292-1532894952 -o /tmp/evaluation-result-4302292-1532894952/solver-4302292-1532894952 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532894154-16078 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1335486924 HOME/instance-4302292-1532894952.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=17368, runsolver pid=17365

[startup+0.100106 s]*
/proc/loadavg: 3.15 2.11 1.92 3/204 17423
/proc/meminfo: memFree=24765912/32770624 swapFree=67028828/67108860
[pid=17368] ppid=17365 vsize=10005480 memory=16552 CPUtime=0.1 cores=0,2,4,6
/proc/17368/stat : 17368 (java) S 17365 17368 10029 0 -1 1077944320 4316 13269 0 0 1 1 5 3 20 0 6 0 107058365 10245611520 4138 33554432000 4194304 4196468 140722587846080 140722587828624 140056205971191 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
/proc/17368/statm: 2501370 4138 1933 1 0 2489808 0
[pid=17368/tid=17421] ppid=17365 vsize=10005480 memory=4279135703946723981 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17421/stat : 17421 (java) R 17365 17368 10029 0 -1 4202560 2140 13269 0 0 0 0 5 3 20 0 6 0 107058374 10245611520 4204 33554432000 4194304 4196468 140722587846080 140056177807952 140056190051678 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17422] ppid=17365 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17422/stat : 17422 (java) S 17365 17368 10029 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 6 0 107058375 10245611520 4204 33554432000 4194304 4196468 140722587846080 140056210214032 140056205981397 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17423] ppid=17365 vsize=10005480 memory=139720915252864 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17423/stat : 17423 (java) S 17365 17368 10029 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 6 0 107058375 10245611520 4204 33554432000 4194304 4196468 140722587846080 140056075549712 140056205981397 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17424] ppid=17365 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17424/stat : 17424 (java) S 17365 17368 10029 0 -1 1077944384 2 13269 0 0 0 0 5 3 20 0 6 0 107058375 10245611520 4204 33554432000 4194304 4196468 140722587846080 140056074496912 140056205981397 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17425] ppid=17365 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17425/stat : 17425 (java) S 17365 17368 10029 0 -1 1077944384 2 13269 0 0 0 0 5 3 20 0 6 0 107058375 10245611520 4204 33554432000 4194304 4196468 140722587846080 140056073444112 140056205981397 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16552 KiB

[startup+0.209871 s]*
/proc/loadavg: 3.15 2.11 1.92 3/215 17434
/proc/meminfo: memFree=24743180/32770624 swapFree=67028828/67108860
[pid=17368] ppid=17365 vsize=10982744 memory=42812 CPUtime=0.26 cores=0,2,4,6
/proc/17368/stat : 17368 (java) S 17365 17368 10029 0 -1 1077944320 7397 13269 0 0 16 2 5 3 20 0 15 0 107058365 11246329856 10703 33554432000 4194304 4196468 140722587846080 140722587828624 140056205971191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
/proc/17368/statm: 2745686 10703 2958 1 0 2708109 0
[pid=17368/tid=17421] ppid=17365 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/17368/task/17421/stat : 17421 (java) R 17365 17368 10029 0 -1 4202560 4050 13269 0 0 10 1 5 3 20 0 15 0 107058374 11246329856 10769 33554432000 4194304 4196468 140722587846080 140056177768112 140056186246940 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17422] ppid=17365 vsize=10982744 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17422/stat : 17422 (java) S 17365 17368 10029 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 107058375 11246329856 10769 33554432000 4194304 4196468 140722587846080 140056210214032 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17423] ppid=17365 vsize=10982744 memory=139720915901873 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17423/stat : 17423 (java) S 17365 17368 10029 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 107058375 11246329856 10769 33554432000 4194304 4196468 140722587846080 140056075549712 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17424] ppid=17365 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17424/stat : 17424 (java) S 17365 17368 10029 0 -1 1077944384 2 13269 0 0 0 0 5 3 20 0 15 0 107058375 11246329856 10769 33554432000 4194304 4196468 140722587846080 140056074496912 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17425] ppid=17365 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17425/stat : 17425 (java) S 17365 17368 10029 0 -1 1077944384 2 13269 0 0 0 0 5 3 20 0 15 0 107058375 11246329856 10835 33554432000 4194304 4196468 140722587846080 140056073444112 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17426] ppid=17365 vsize=10982744 memory=139720915252864 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17426/stat : 17426 (java) S 17365 17368 10029 0 -1 1077944384 2 13269 0 0 0 0 5 3 20 0 15 0 107058376 11246329856 10835 33554432000 4194304 4196468 140722587846080 140055631661424 140056205982338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17427] ppid=17365 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17427/stat : 17427 (java) S 17365 17368 10029 0 -1 1077944384 13 13269 0 0 0 0 5 3 20 0 15 0 107058377 11246329856 10835 33554432000 4194304 4196468 140722587846080 140055058310176 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17428] ppid=17365 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17428/stat : 17428 (java) S 17365 17368 10029 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 107058377 11246329856 10835 33554432000 4194304 4196468 140722587846080 140054856983408 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17429] ppid=17365 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17429/stat : 17429 (java) S 17365 17368 10029 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 107058379 11246329856 10835 33554432000 4194304 4196468 140722587846080 140054549583696 140056205989787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17430] ppid=17365 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17368/task/17430/stat : 17430 (java) S 17365 17368 10029 0 -1 1077944384 427 13269 0 0 1 0 5 3 20 0 15 0 107058379 11246329856 10835 33554432000 4194304 4196468 140722587846080 140055630609264 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17431] ppid=17365 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/17368/task/17431/stat : 17431 (java) S 17365 17368 10029 0 -1 1077944384 186 13269 0 0 1 0 5 3 20 0 15 0 107058379 11246329856 10835 33554432000 4194304 4196468 140722587846080 140055629556464 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17432] ppid=17365 vsize=10982744 memory=139720915252864 CPUtime=0.11 cores=0,2,4,6
/proc/17368/task/17432/stat : 17432 (java) S 17365 17368 10029 0 -1 1077944384 602 13269 0 0 3 0 5 3 20 0 15 0 107058380 11246329856 10835 33554432000 4194304 4196468 140722587846080 140055628503664 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17433] ppid=17365 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17433/stat : 17433 (java) S 17365 17368 10029 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 107058380 11246329856 10835 33554432000 4194304 4196468 140722587846080 140054118787808 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17434] ppid=17365 vsize=10982744 memory=139720915252864 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17434/stat : 17434 (java) S 17365 17368 10029 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 107058380 11246329856 10835 33554432000 4194304 4196468 140722587846080 140055627451056 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42812 KiB

[startup+0.310008 s]*
/proc/loadavg: 3.15 2.11 1.92 3/215 17434
/proc/meminfo: memFree=24730372/32770624 swapFree=67028828/67108860
[pid=17368] ppid=17365 vsize=10983192 memory=55996 CPUtime=0.39 cores=0,2,4,6
/proc/17368/stat : 17368 (java) S 17365 17368 10029 0 -1 1077944320 10574 13269 0 0 28 3 5 3 20 0 15 0 107058365 11246788608 13999 33554432000 4194304 4196468 140722587846080 140722587828624 140056205971191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
/proc/17368/statm: 2745798 13999 3077 1 0 2708109 0
[pid=17368/tid=17421] ppid=17365 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/17368/task/17421/stat : 17421 (java) R 17365 17368 10029 0 -1 4202560 7133 13269 0 0 19 2 5 3 20 0 15 0 107058374 11246788608 14041 33554432000 4194304 4196468 140722587846080 140056177783200 140056190079046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17422] ppid=17365 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17422/stat : 17422 (java) S 17365 17368 10029 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 107058375 11246788608 14041 33554432000 4194304 4196468 140722587846080 140056210214032 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17423] ppid=17365 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17423/stat : 17423 (java) S 17365 17368 10029 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 107058375 11246788608 14041 33554432000 4194304 4196468 140722587846080 140056075549712 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17424] ppid=17365 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17424/stat : 17424 (java) S 17365 17368 10029 0 -1 1077944384 2 13269 0 0 0 0 5 3 20 0 15 0 107058375 11246788608 14041 33554432000 4194304 4196468 140722587846080 140056074496912 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17425] ppid=17365 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17425/stat : 17425 (java) S 17365 17368 10029 0 -1 1077944384 2 13269 0 0 0 0 5 3 20 0 15 0 107058375 11246788608 14041 33554432000 4194304 4196468 140722587846080 140056073444112 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17426] ppid=17365 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17426/stat : 17426 (java) S 17365 17368 10029 0 -1 1077944384 2 13269 0 0 0 0 5 3 20 0 15 0 107058376 11246788608 14041 33554432000 4194304 4196468 140722587846080 140055631661424 140056205982338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17427] ppid=17365 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17427/stat : 17427 (java) S 17365 17368 10029 0 -1 1077944384 13 13269 0 0 0 0 5 3 20 0 15 0 107058377 11246788608 14041 33554432000 4194304 4196468 140722587846080 140055058310176 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17428] ppid=17365 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17428/stat : 17428 (java) S 17365 17368 10029 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 107058377 11246788608 14041 33554432000 4194304 4196468 140722587846080 140054856983408 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17429] ppid=17365 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17429/stat : 17429 (java) S 17365 17368 10029 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 107058379 11246788608 14041 33554432000 4194304 4196468 140722587846080 140054549583696 140056205989787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17430] ppid=17365 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17368/task/17430/stat : 17430 (java) S 17365 17368 10029 0 -1 1077944384 427 13269 0 0 1 0 5 3 20 0 15 0 107058379 11246788608 14041 33554432000 4194304 4196468 140722587846080 140055630609264 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17431] ppid=17365 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/17368/task/17431/stat : 17431 (java) S 17365 17368 10029 0 -1 1077944384 191 13269 0 0 1 0 5 3 20 0 15 0 107058379 11246788608 14041 33554432000 4194304 4196468 140722587846080 140055629556464 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17432] ppid=17365 vsize=10983192 memory=139720915252864 CPUtime=0.12 cores=0,2,4,6
/proc/17368/task/17432/stat : 17432 (java) S 17365 17368 10029 0 -1 1077944384 608 13269 0 0 4 0 5 3 20 0 15 0 107058380 11246788608 14041 33554432000 4194304 4196468 140722587846080 140055628503664 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17433] ppid=17365 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17433/stat : 17433 (java) S 17365 17368 10029 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 107058380 11246788608 14041 33554432000 4194304 4196468 140722587846080 140054118787808 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17434] ppid=17365 vsize=10983192 memory=139720915252864 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17434/stat : 17434 (java) S 17365 17368 10029 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 107058380 11246788608 14041 33554432000 4194304 4196468 140722587846080 140055627451056 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55996 KiB

[startup+0.700725 s]
/proc/loadavg: 3.30 2.16 1.94 3/215 17434
/proc/meminfo: memFree=24719704/32770624 swapFree=67028828/67108860
[pid=17368] ppid=17365 vsize=10983192 memory=88336 CPUtime=0.99 cores=0,2,4,6
/proc/17368/stat : 17368 (java) S 17365 17368 10029 0 -1 1077944320 16757 13269 0 0 86 5 5 3 20 0 15 0 107058365 11246788608 22084 33554432000 4194304 4196468 140722587846080 140722587828624 140056205971191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
/proc/17368/statm: 2745798 22084 3238 1 0 2708109 0
[pid=17368/tid=17421] ppid=17365 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/17368/task/17421/stat : 17421 (java) R 17365 17368 10029 0 -1 4202560 12247 13269 0 0 55 3 5 3 20 0 15 0 107058374 11246788608 22084 33554432000 4194304 4196468 140722587846080 140056177791480 140056190051678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17422] ppid=17365 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17422/stat : 17422 (java) S 17365 17368 10029 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 107058375 11246788608 22084 33554432000 4194304 4196468 140722587846080 140056210214032 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17423] ppid=17365 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17423/stat : 17423 (java) S 17365 17368 10029 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 107058375 11246788608 22084 33554432000 4194304 4196468 140722587846080 140056075549712 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17424] ppid=17365 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17424/stat : 17424 (java) S 17365 17368 10029 0 -1 1077944384 2 13269 0 0 0 0 5 3 20 0 15 0 107058375 11246788608 22084 33554432000 4194304 4196468 140722587846080 140056074496912 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17425] ppid=17365 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17425/stat : 17425 (java) S 17365 17368 10029 0 -1 1077944384 2 13269 0 0 0 0 5 3 20 0 15 0 107058375 11246788608 22084 33554432000 4194304 4196468 140722587846080 140056073444112 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17426] ppid=17365 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17426/stat : 17426 (java) S 17365 17368 10029 0 -1 1077944384 5 13269 0 0 0 0 5 3 20 0 15 0 107058376 11246788608 22084 33554432000 4194304 4196468 140722587846080 140055631661424 140056205982338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17427] ppid=17365 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17427/stat : 17427 (java) S 17365 17368 10029 0 -1 1077944384 13 13269 0 0 0 0 5 3 20 0 15 0 107058377 11246788608 22084 33554432000 4194304 4196468 140722587846080 140055058310176 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17428] ppid=17365 vsize=10983192 memory=139720789209872 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17428/stat : 17428 (java) S 17365 17368 10029 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 107058377 11246788608 22084 33554432000 4194304 4196468 140722587846080 140054856983408 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17429] ppid=17365 vsize=10983192 memory=139723876074057 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17429/stat : 17429 (java) S 17365 17368 10029 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 107058379 11246788608 22084 33554432000 4194304 4196468 140722587846080 140054549583696 140056205989787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17430] ppid=17365 vsize=10983192 memory=796 CPUtime=0.15 cores=0,2,4,6
/proc/17368/task/17430/stat : 17430 (java) S 17365 17368 10029 0 -1 1077944384 838 13269 0 0 7 0 5 3 20 0 15 0 107058379 11246788608 22084 33554432000 4194304 4196468 140722587846080 140055630609264 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17431] ppid=17365 vsize=10983192 memory=7014751519650764113 CPUtime=0.17 cores=0,2,4,6
/proc/17368/task/17431/stat : 17431 (java) S 17365 17368 10029 0 -1 1077944384 770 13269 0 0 9 0 5 3 20 0 15 0 107058379 11246788608 22084 33554432000 4194304 4196468 140722587846080 140055629556464 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17432] ppid=17365 vsize=10983192 memory=7597123233646858610 CPUtime=0.21 cores=0,2,4,6
/proc/17368/task/17432/stat : 17432 (java) S 17365 17368 10029 0 -1 1077944384 678 13269 0 0 13 0 5 3 20 0 15 0 107058380 11246788608 22084 33554432000 4194304 4196468 140722587846080 140055628503664 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17433] ppid=17365 vsize=10983192 memory=3544 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17433/stat : 17433 (java) S 17365 17368 10029 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 107058380 11246788608 22084 33554432000 4194304 4196468 140722587846080 140054118787808 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17434] ppid=17365 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17434/stat : 17434 (java) S 17365 17368 10029 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 107058380 11246788608 22084 33554432000 4194304 4196468 140722587846080 140055627451056 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88336 KiB

[startup+1.50137 s]
/proc/loadavg: 3.30 2.16 1.94 3/215 17434
/proc/meminfo: memFree=24630320/32770624 swapFree=67028828/67108860
[pid=17368] ppid=17365 vsize=10991948 memory=190900 CPUtime=3.05 cores=0,2,4,6
/proc/17368/stat : 17368 (java) S 17365 17368 10029 0 -1 1077944320 23144 13269 0 0 288 9 5 3 20 0 15 0 107058365 11255754752 47725 33554432000 4194304 4196468 140722587846080 140722587828624 140056205971191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
/proc/17368/statm: 2747987 47725 3449 1 0 2709645 0
[pid=17368/tid=17421] ppid=17365 vsize=10991948 memory=9169 CPUtime=1.46 cores=0,2,4,6
/proc/17368/task/17421/stat : 17421 (java) R 17365 17368 10029 0 -1 4202560 15135 13269 0 0 132 6 5 3 20 0 15 0 107058374 11255754752 47725 33554432000 4194304 4196468 140722587846080 140056177802040 140055751015390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17422] ppid=17365 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17422/stat : 17422 (java) S 17365 17368 10029 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 107058375 11255754752 47725 33554432000 4194304 4196468 140722587846080 140056210214032 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17423] ppid=17365 vsize=10991948 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17423/stat : 17423 (java) S 17365 17368 10029 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 107058375 11255754752 47725 33554432000 4194304 4196468 140722587846080 140056075549712 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17424] ppid=17365 vsize=10991948 memory=2768 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17424/stat : 17424 (java) S 17365 17368 10029 0 -1 1077944384 2 13269 0 0 0 0 5 3 20 0 15 0 107058375 11255754752 47725 33554432000 4194304 4196468 140722587846080 140056074496912 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17425] ppid=17365 vsize=10991948 memory=88336 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17425/stat : 17425 (java) S 17365 17368 10029 0 -1 1077944384 2 13269 0 0 0 0 5 3 20 0 15 0 107058375 11255754752 47725 33554432000 4194304 4196468 140722587846080 140056073444112 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17426] ppid=17365 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17426/stat : 17426 (java) S 17365 17368 10029 0 -1 1077944384 13 13269 0 0 0 0 5 3 20 0 15 0 107058376 11255754752 47725 33554432000 4194304 4196468 140722587846080 140055631661424 140056205982338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17427] ppid=17365 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17427/stat : 17427 (java) S 17365 17368 10029 0 -1 1077944384 13 13269 0 0 0 0 5 3 20 0 15 0 107058377 11255754752 47725 33554432000 4194304 4196468 140722587846080 140055058310176 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17428] ppid=17365 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17428/stat : 17428 (java) S 17365 17368 10029 0 -1 1077944384 1 13269 0 0 0 0 5 3 20 0 15 0 107058377 11255754752 47725 33554432000 4194304 4196468 140722587846080 140054856983408 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17429] ppid=17365 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17429/stat : 17429 (java) S 17365 17368 10029 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 107058379 11255754752 47725 33554432000 4194304 4196468 140722587846080 140054549583696 140056205989787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17430] ppid=17365 vsize=10991948 memory=4638778398332698720 CPUtime=0.62 cores=0,2,4,6
/proc/17368/task/17430/stat : 17430 (java) R 17365 17368 10029 0 -1 4202560 2248 13269 0 0 54 0 5 3 20 0 15 0 107058379 11255754752 47725 33554432000 4194304 4196468 140722587846080 140055630599056 140056187494095 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17431] ppid=17365 vsize=10991948 memory=279441578695552 CPUtime=0.67 cores=0,2,4,6
/proc/17368/task/17431/stat : 17431 (java) R 17365 17368 10029 0 -1 4202560 2095 13269 0 0 58 1 5 3 20 0 15 0 107058379 11255754752 47725 33554432000 4194304 4196468 140722587846080 140055629538032 140056187492582 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17432] ppid=17365 vsize=10991948 memory=6944656592452807323 CPUtime=0.5 cores=0,2,4,6
/proc/17368/task/17432/stat : 17432 (java) S 17365 17368 10029 0 -1 1077944384 1431 13269 0 0 42 0 5 3 20 0 15 0 107058380 11255754752 47725 33554432000 4194304 4196468 140722587846080 140055628503664 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17433] ppid=17365 vsize=10991948 memory=1399101730491701635 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17433/stat : 17433 (java) S 17365 17368 10029 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 107058380 11255754752 47725 33554432000 4194304 4196468 140722587846080 140054118787808 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17434] ppid=17365 vsize=10991948 memory=6944656591801719708 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17434/stat : 17434 (java) S 17365 17368 10029 0 -1 1077944384 2 13269 0 0 0 0 5 3 20 0 15 0 107058380 11255754752 47725 33554432000 4194304 4196468 140722587846080 140055627451056 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 10991948 KiB

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

/proc/17368/task/17421/stat : 17421 (java) R 17365 17368 10029 0 -1 4202560 56711 13269 0 0 10067 44 5 3 20 0 15 0 107058374 11343855616 725304 33554432000 4194304 4196468 140722587846080 140056177803584 140055746520560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17422] ppid=17365 vsize=11077984 memory=8 CPUtime=0.97 cores=0,2,4,6
/proc/17368/task/17422/stat : 17422 (java) S 17365 17368 10029 0 -1 1077944384 808 13269 0 0 69 20 5 3 20 0 15 0 107058375 11343855616 725304 33554432000 4194304 4196468 140722587846080 140056210214032 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17423] ppid=17365 vsize=11077984 memory=27188 CPUtime=0.93 cores=0,2,4,6
/proc/17368/task/17423/stat : 17423 (java) S 17365 17368 10029 0 -1 1077944384 2601 13269 0 0 66 19 5 3 20 0 15 0 107058375 11343855616 725304 33554432000 4194304 4196468 140722587846080 140056075549712 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17424] ppid=17365 vsize=11077984 memory=279441579267520 CPUtime=0.95 cores=0,2,4,6
/proc/17368/task/17424/stat : 17424 (java) S 17365 17368 10029 0 -1 1077944384 1114 13269 0 0 68 19 5 3 20 0 15 0 107058375 11343855616 725304 33554432000 4194304 4196468 140722587846080 140056074496912 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17425] ppid=17365 vsize=11077984 memory=1768580 CPUtime=0.95 cores=0,2,4,6
/proc/17368/task/17425/stat : 17425 (java) S 17365 17368 10029 0 -1 1077944384 1799 13269 0 0 68 19 5 3 20 0 15 0 107058375 11343855616 725304 33554432000 4194304 4196468 140722587846080 140056073444112 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17426] ppid=17365 vsize=11077984 memory=3544 CPUtime=0.18 cores=0,2,4,6
/proc/17368/task/17426/stat : 17426 (java) S 17365 17368 10029 0 -1 1077944384 8836 13269 0 0 10 0 5 3 20 0 15 0 107058376 11343855616 725304 33554432000 4194304 4196468 140722587846080 140055631661424 140056205982338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17427] ppid=17365 vsize=11077984 memory=2901212 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17427/stat : 17427 (java) S 17365 17368 10029 0 -1 1077944384 21 13269 0 0 0 0 5 3 20 0 15 0 107058377 11343855616 725304 33554432000 4194304 4196468 140722587846080 140055058310240 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17428] ppid=17365 vsize=11077984 memory=2870448 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17428/stat : 17428 (java) S 17365 17368 10029 0 -1 1077944384 4 13269 0 0 0 0 5 3 20 0 15 0 107058377 11343855616 725304 33554432000 4194304 4196468 140722587846080 140054856983424 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17429] ppid=17365 vsize=11077984 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17429/stat : 17429 (java) S 17365 17368 10029 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 107058379 11343855616 725304 33554432000 4194304 4196468 140722587846080 140054549583696 140056205989787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17430] ppid=17365 vsize=11077984 memory=5 CPUtime=8.62 cores=0,2,4,6
/proc/17368/task/17430/stat : 17430 (java) S 17365 17368 10029 0 -1 1077944384 13895 13269 0 0 851 3 5 3 20 0 15 0 107058379 11343855616 725304 33554432000 4194304 4196468 140722587846080 140055630609264 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17431] ppid=17365 vsize=11077984 memory=2899164 CPUtime=8.02 cores=0,2,4,6
/proc/17368/task/17431/stat : 17431 (java) S 17365 17368 10029 0 -1 1077944384 11632 13269 0 0 792 2 5 3 20 0 15 0 107058379 11343855616 725304 33554432000 4194304 4196468 140722587846080 140055629556464 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17432] ppid=17365 vsize=11077984 memory=4164 CPUtime=2.42 cores=0,2,4,6
/proc/17368/task/17432/stat : 17432 (java) S 17365 17368 10029 0 -1 1077944384 12059 13269 0 0 231 3 5 3 20 0 15 0 107058380 11343855616 725304 33554432000 4194304 4196468 140722587846080 140055628503664 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17433] ppid=17365 vsize=11077984 memory=2880732 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17433/stat : 17433 (java) S 17365 17368 10029 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 107058380 11343855616 725304 33554432000 4194304 4196468 140722587846080 140054118787808 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17434] ppid=17365 vsize=11077984 memory=2372 CPUtime=0.13 cores=0,2,4,6
/proc/17368/task/17434/stat : 17434 (java) S 17365 17368 10029 0 -1 1077944384 409 13269 0 0 3 2 5 3 20 0 15 0 107058380 11343855616 725304 33554432000 4194304 4196468 140722587846080 140055627451056 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
Current children cumulated CPU time: 123.76 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2901216 KiB

[startup+162.301 s]
/proc/loadavg: 1.82 1.99 1.92 3/215 17443
/proc/meminfo: memFree=21972848/32770624 swapFree=67028828/67108860
[pid=17368] ppid=17365 vsize=11077984 memory=2900752 CPUtime=184.58 cores=0,2,4,6
/proc/17368/stat : 17368 (java) S 17365 17368 10029 0 -1 1077944320 128384 13269 0 0 18311 139 5 3 20 0 15 0 107058365 11343855616 725188 33554432000 4194304 4196468 140722587846080 140722587828624 140056205971191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
/proc/17368/statm: 2769496 725188 3536 1 0 2731149 0
[pid=17368/tid=17421] ppid=17365 vsize=11077984 memory=2900744 CPUtime=160.94 cores=0,2,4,6
/proc/17368/task/17421/stat : 17421 (java) R 17365 17368 10029 0 -1 4202560 63008 13269 0 0 16041 45 5 3 20 0 15 0 107058374 11343855616 725188 33554432000 4194304 4196468 140722587846080 140056177805808 140055759731325 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17422] ppid=17365 vsize=11077984 memory=2900740 CPUtime=1.21 cores=0,2,4,6
/proc/17368/task/17422/stat : 17422 (java) S 17365 17368 10029 0 -1 1077944384 873 13269 0 0 93 20 5 3 20 0 15 0 107058375 11343855616 725188 33554432000 4194304 4196468 140722587846080 140056210214032 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17423] ppid=17365 vsize=11077984 memory=2900744 CPUtime=1.17 cores=0,2,4,6
/proc/17368/task/17423/stat : 17423 (java) S 17365 17368 10029 0 -1 1077944384 3580 13269 0 0 90 19 5 3 20 0 15 0 107058375 11343855616 725188 33554432000 4194304 4196468 140722587846080 140056075549712 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17424] ppid=17365 vsize=11077984 memory=2900744 CPUtime=1.18 cores=0,2,4,6
/proc/17368/task/17424/stat : 17424 (java) S 17365 17368 10029 0 -1 1077944384 1196 13269 0 0 91 19 5 3 20 0 15 0 107058375 11343855616 725188 33554432000 4194304 4196468 140722587846080 140056074496912 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17425] ppid=17365 vsize=11077984 memory=2900744 CPUtime=1.19 cores=0,2,4,6
/proc/17368/task/17425/stat : 17425 (java) S 17365 17368 10029 0 -1 1077944384 2301 13269 0 0 92 19 5 3 20 0 15 0 107058375 11343855616 725188 33554432000 4194304 4196468 140722587846080 140056073444112 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17426] ppid=17365 vsize=11077984 memory=2901244 CPUtime=0.2 cores=0,2,4,6
/proc/17368/task/17426/stat : 17426 (java) S 17365 17368 10029 0 -1 1077944384 9137 13269 0 0 11 1 5 3 20 0 15 0 107058376 11343855616 725188 33554432000 4194304 4196468 140722587846080 140055631661424 140056205982338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17427] ppid=17365 vsize=11077984 memory=2900744 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17427/stat : 17427 (java) S 17365 17368 10029 0 -1 1077944384 21 13269 0 0 0 0 5 3 20 0 15 0 107058377 11343855616 725188 33554432000 4194304 4196468 140722587846080 140055058310240 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17428] ppid=17365 vsize=11077984 memory=3544 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17428/stat : 17428 (java) S 17365 17368 10029 0 -1 1077944384 4 13269 0 0 0 0 5 3 20 0 15 0 107058377 11343855616 725188 33554432000 4194304 4196468 140722587846080 140054856983424 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17429] ppid=17365 vsize=11077984 memory=2900744 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17429/stat : 17429 (java) S 17365 17368 10029 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 107058379 11343855616 725188 33554432000 4194304 4196468 140722587846080 140054549583696 140056205989787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17430] ppid=17365 vsize=11077984 memory=2900740 CPUtime=8.63 cores=0,2,4,6
/proc/17368/task/17430/stat : 17430 (java) S 17365 17368 10029 0 -1 1077944384 14167 13269 0 0 852 3 5 3 20 0 15 0 107058379 11343855616 725188 33554432000 4194304 4196468 140722587846080 140055630609264 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17431] ppid=17365 vsize=11077984 memory=2901244 CPUtime=8.04 cores=0,2,4,6
/proc/17368/task/17431/stat : 17431 (java) S 17365 17368 10029 0 -1 1077944384 12073 13269 0 0 794 2 5 3 20 0 15 0 107058379 11343855616 725188 33554432000 4194304 4196468 140722587846080 140055629556464 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17432] ppid=17365 vsize=11077984 memory=2901244 CPUtime=2.47 cores=0,2,4,6
/proc/17368/task/17432/stat : 17432 (java) S 17365 17368 10029 0 -1 1077944384 19334 13269 0 0 236 3 5 3 20 0 15 0 107058380 11343855616 725188 33554432000 4194304 4196468 140722587846080 140055628503664 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17433] ppid=17365 vsize=11077984 memory=2900744 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17433/stat : 17433 (java) S 17365 17368 10029 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 107058380 11343855616 725188 33554432000 4194304 4196468 140722587846080 140054118787808 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17434] ppid=17365 vsize=11077984 memory=6768 CPUtime=0.17 cores=0,2,4,6
/proc/17368/task/17434/stat : 17434 (java) S 17365 17368 10029 0 -1 1077944384 490 13269 0 0 5 4 5 3 20 0 15 0 107058380 11343855616 725188 33554432000 4194304 4196468 140722587846080 140055627451056 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
Current children cumulated CPU time: 184.58 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2900752 KiB

[startup+222.301 s]
/proc/loadavg: 1.85 1.99 1.92 3/215 17571
/proc/meminfo: memFree=21537160/32770624 swapFree=67028828/67108860
[pid=17368] ppid=17365 vsize=11077984 memory=2900800 CPUtime=245.22 cores=0,2,4,6
/proc/17368/stat : 17368 (java) S 17365 17368 10029 0 -1 1077944320 142109 13269 0 0 24370 144 5 3 20 0 15 0 107058365 11343855616 725200 33554432000 4194304 4196468 140722587846080 140722587828624 140056205971191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
/proc/17368/statm: 2769496 725200 3536 1 0 2731149 0
[pid=17368/tid=17421] ppid=17365 vsize=11077984 memory=2900800 CPUtime=220.72 cores=0,2,4,6
/proc/17368/task/17421/stat : 17421 (java) R 17365 17368 10029 0 -1 4202560 68579 13269 0 0 22016 48 5 3 20 0 15 0 107058374 11343855616 725200 33554432000 4194304 4196468 140722587846080 140056177800624 140055757977570 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17422] ppid=17365 vsize=11077984 memory=2900800 CPUtime=1.4 cores=0,2,4,6
/proc/17368/task/17422/stat : 17422 (java) S 17365 17368 10029 0 -1 1077944384 2318 13269 0 0 112 20 5 3 20 0 15 0 107058375 11343855616 725200 33554432000 4194304 4196468 140722587846080 140056210214032 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17423] ppid=17365 vsize=11077984 memory=2900800 CPUtime=1.37 cores=0,2,4,6
/proc/17368/task/17423/stat : 17423 (java) S 17365 17368 10029 0 -1 1077944384 3686 13269 0 0 109 20 5 3 20 0 15 0 107058375 11343855616 725200 33554432000 4194304 4196468 140722587846080 140056075549712 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17424] ppid=17365 vsize=11077984 memory=8 CPUtime=1.38 cores=0,2,4,6
/proc/17368/task/17424/stat : 17424 (java) S 17365 17368 10029 0 -1 1077944384 1289 13269 0 0 111 19 5 3 20 0 15 0 107058375 11343855616 725200 33554432000 4194304 4196468 140722587846080 140056074496912 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17425] ppid=17365 vsize=11077984 memory=2900804 CPUtime=1.38 cores=0,2,4,6
/proc/17368/task/17425/stat : 17425 (java) S 17365 17368 10029 0 -1 1077944384 2455 13269 0 0 111 19 5 3 20 0 15 0 107058375 11343855616 725200 33554432000 4194304 4196468 140722587846080 140056073444112 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17426] ppid=17365 vsize=11077984 memory=800 CPUtime=0.21 cores=0,2,4,6
/proc/17368/task/17426/stat : 17426 (java) S 17365 17368 10029 0 -1 1077944384 9426 13269 0 0 12 1 5 3 20 0 15 0 107058376 11343855616 725200 33554432000 4194304 4196468 140722587846080 140055631661424 140056205982338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17427] ppid=17365 vsize=11077984 memory=2900800 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17427/stat : 17427 (java) S 17365 17368 10029 0 -1 1077944384 21 13269 0 0 0 0 5 3 20 0 15 0 107058377 11343855616 725200 33554432000 4194304 4196468 140722587846080 140055058310240 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17428] ppid=17365 vsize=11077984 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17428/stat : 17428 (java) S 17365 17368 10029 0 -1 1077944384 4 13269 0 0 0 0 5 3 20 0 15 0 107058377 11343855616 725200 33554432000 4194304 4196468 140722587846080 140054856983424 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17429] ppid=17365 vsize=11077984 memory=15316 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17429/stat : 17429 (java) S 17365 17368 10029 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 107058379 11343855616 725200 33554432000 4194304 4196468 140722587846080 140054549583696 140056205989787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17430] ppid=17365 vsize=11077984 memory=2900800 CPUtime=8.63 cores=0,2,4,6
/proc/17368/task/17430/stat : 17430 (java) S 17365 17368 10029 0 -1 1077944384 14170 13269 0 0 852 3 5 3 20 0 15 0 107058379 11343855616 725200 33554432000 4194304 4196468 140722587846080 140055630609264 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17431] ppid=17365 vsize=11077984 memory=3544 CPUtime=8.04 cores=0,2,4,6
/proc/17368/task/17431/stat : 17431 (java) S 17365 17368 10029 0 -1 1077944384 12350 13269 0 0 794 2 5 3 20 0 15 0 107058379 11343855616 725200 33554432000 4194304 4196468 140722587846080 140055629556464 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17432] ppid=17365 vsize=11077984 memory=27188 CPUtime=2.5 cores=0,2,4,6
/proc/17368/task/17432/stat : 17432 (java) S 17365 17368 10029 0 -1 1077944384 25079 13269 0 0 238 4 5 3 20 0 15 0 107058380 11343855616 725200 33554432000 4194304 4196468 140722587846080 140055628503664 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17433] ppid=17365 vsize=11077984 memory=776 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17433/stat : 17433 (java) S 17365 17368 10029 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 107058380 11343855616 725200 33554432000 4194304 4196468 140722587846080 140054118787808 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17434] ppid=17365 vsize=11077984 memory=2900800 CPUtime=0.2 cores=0,2,4,6
/proc/17368/task/17434/stat : 17434 (java) S 17365 17368 10029 0 -1 1077944384 532 13269 0 0 7 5 5 3 20 0 15 0 107058380 11343855616 725200 33554432000 4194304 4196468 140722587846080 140055627451056 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
Current children cumulated CPU time: 245.22 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2900800 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+229.001 s]*
/proc/loadavg: 1.78 1.97 1.92 3/215 17571
/proc/meminfo: memFree=21376300/32770624 swapFree=67028828/67108860
[pid=17368] ppid=17365 vsize=11077984 memory=2900800 CPUtime=252 cores=0,2,4,6
/proc/17368/stat : 17368 (java) S 17365 17368 10029 0 -1 1077944320 142895 13269 0 0 25048 144 5 3 20 0 15 0 107058365 11343855616 725200 33554432000 4194304 4196468 140722587846080 140722587828624 140056205971191 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
/proc/17368/statm: 2769496 725200 3536 1 0 2731149 0
[pid=17368/tid=17421] ppid=17365 vsize=11077984 memory=6791534058613427641 CPUtime=227.41 cores=0,2,4,6
/proc/17368/task/17421/stat : 17421 (java) R 17365 17368 10029 0 -1 4202560 69293 13269 0 0 22685 48 5 3 20 0 15 0 107058374 11343855616 725200 33554432000 4194304 4196468 140722587846080 140056177800688 140055759931006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17422] ppid=17365 vsize=11077984 memory=4872558044660077418 CPUtime=1.42 cores=0,2,4,6
/proc/17368/task/17422/stat : 17422 (java) S 17365 17368 10029 0 -1 1077944384 2321 13269 0 0 114 20 5 3 20 0 15 0 107058375 11343855616 725200 33554432000 4194304 4196468 140722587846080 140056210214032 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17423] ppid=17365 vsize=11077984 memory=6791534058613427641 CPUtime=1.39 cores=0,2,4,6
/proc/17368/task/17423/stat : 17423 (java) S 17365 17368 10029 0 -1 1077944384 3687 13269 0 0 111 20 5 3 20 0 15 0 107058375 11343855616 725200 33554432000 4194304 4196468 140722587846080 140056075549712 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17424] ppid=17365 vsize=11077984 memory=4872558044660077418 CPUtime=1.4 cores=0,2,4,6
/proc/17368/task/17424/stat : 17424 (java) S 17365 17368 10029 0 -1 1077944384 1293 13269 0 0 113 19 5 3 20 0 15 0 107058375 11343855616 725200 33554432000 4194304 4196468 140722587846080 140056074496912 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17425] ppid=17365 vsize=11077984 memory=1220 CPUtime=1.41 cores=0,2,4,6
/proc/17368/task/17425/stat : 17425 (java) S 17365 17368 10029 0 -1 1077944384 2459 13269 0 0 114 19 5 3 20 0 15 0 107058375 11343855616 725200 33554432000 4194304 4196468 140722587846080 140056073444112 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17426] ppid=17365 vsize=11077984 memory=1612 CPUtime=0.21 cores=0,2,4,6
/proc/17368/task/17426/stat : 17426 (java) S 17365 17368 10029 0 -1 1077944384 9426 13269 0 0 12 1 5 3 20 0 15 0 107058376 11343855616 725200 33554432000 4194304 4196468 140722587846080 140055631661424 140056205982338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17427] ppid=17365 vsize=11077984 memory=2164 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17427/stat : 17427 (java) S 17365 17368 10029 0 -1 1077944384 21 13269 0 0 0 0 5 3 20 0 15 0 107058377 11343855616 725200 33554432000 4194304 4196468 140722587846080 140055058310240 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17428] ppid=17365 vsize=11077984 memory=3700 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17428/stat : 17428 (java) S 17365 17368 10029 0 -1 1077944384 4 13269 0 0 0 0 5 3 20 0 15 0 107058377 11343855616 725200 33554432000 4194304 4196468 140722587846080 140054856983424 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17429] ppid=17365 vsize=11077984 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17429/stat : 17429 (java) S 17365 17368 10029 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 107058379 11343855616 725200 33554432000 4194304 4196468 140722587846080 140054549583696 140056205989787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17430] ppid=17365 vsize=11077984 memory=0 CPUtime=8.63 cores=0,2,4,6
/proc/17368/task/17430/stat : 17430 (java) S 17365 17368 10029 0 -1 1077944384 14170 13269 0 0 852 3 5 3 20 0 15 0 107058379 11343855616 725200 33554432000 4194304 4196468 140722587846080 140055630609264 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17431] ppid=17365 vsize=11077984 memory=0 CPUtime=8.04 cores=0,2,4,6
/proc/17368/task/17431/stat : 17431 (java) S 17365 17368 10029 0 -1 1077944384 12350 13269 0 0 794 2 5 3 20 0 15 0 107058379 11343855616 725200 33554432000 4194304 4196468 140722587846080 140055629556464 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17432] ppid=17365 vsize=11077984 memory=0 CPUtime=2.51 cores=0,2,4,6
/proc/17368/task/17432/stat : 17432 (java) S 17365 17368 10029 0 -1 1077944384 25139 13269 0 0 239 4 5 3 20 0 15 0 107058380 11343855616 725200 33554432000 4194304 4196468 140722587846080 140055628503664 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17433] ppid=17365 vsize=11077984 memory=3472592183261933599 CPUtime=0.08 cores=0,2,4,6
/proc/17368/task/17433/stat : 17433 (java) S 17365 17368 10029 0 -1 1077944384 3 13269 0 0 0 0 5 3 20 0 15 0 107058380 11343855616 725200 33554432000 4194304 4196468 140722587846080 140054118787808 140056205981397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
[pid=17368/tid=17434] ppid=17365 vsize=11077984 memory=7090988413152880236 CPUtime=0.2 cores=0,2,4,6
/proc/17368/task/17434/stat : 17434 (java) S 17365 17368 10029 0 -1 1077944384 532 13269 0 0 7 5 5 3 20 0 15 0 107058380 11343855616 725200 33554432000 4194304 4196468 140722587846080 140055627451056 140056205982338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19689472 140722587851377 140722587854177 140722587854177 140722587856847 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2900800 KiB

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

[startup+229.053 s]
# the end of solver process 17368 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.55 s, system=1.5059 s

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

Child status: 143
Real time (s): 229.053
CPU time (s): 252.056
CPU user time (s): 250.55
CPU system time (s): 1.5059
CPU usage (%): 110.043
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 2901244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.55
system time used= 1.5059
maximum resident set size= 2903460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156927
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15368
involuntary context switches= 533


# summary of solver processes directly reported to runsolver:
#   pid: 17368
#   total CPU time (s): 252.056
#   total CPU user time (s): 250.55
#   total CPU system time (s): 1.5059

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.53538 second user time and 2.05794 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-29 22:09:12
IDJOB=4302292
IDBENCH=141136
IDSOLVER=2776
FILE ID=node102/4302292-1532894952
RUNJOBID= node102-1532894154-16078
PBS_JOBID= 21022526
Free space on /tmp= 52952 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order40_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302292-1532894952/watcher-4302292-1532894952 -o /tmp/evaluation-result-4302292-1532894952/solver-4302292-1532894952 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532894154-16078 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1335486924 HOME/instance-4302292-1532894952.xml

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

MD5SUM BENCH= d1aa36ddb66a988b2d6475ffc1d9c375
RANDOM SEED=1335486924

node102.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.51
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.51
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.51
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.51
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:        24771960 kB
MemAvailable:   30050464 kB
Buffers:          233064 kB
Cached:          5289740 kB
SwapCached:        53024 kB
Active:          3146580 kB
Inactive:        4325100 kB
Active(anon):    1875184 kB
Inactive(anon):    99168 kB
Active(file):    1271396 kB
Inactive(file):  4225932 kB
Unevictable:        6644 kB
Mlocked:            6644 kB
SwapTotal:      67108860 kB
SwapFree:       67028828 kB
Dirty:             28648 kB
Writeback:             0 kB
AnonPages:       1903284 kB
Mapped:            51224 kB
Shmem:             22592 kB
Slab:             223128 kB
SReclaimable:     194020 kB
SUnreclaim:        29108 kB
KernelStack:        3520 kB
PageTables:         9276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3081588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1693696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52924 MiB
End job on node102 at 2018-07-29 22:13:01