Trace number 4248588

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
R1: OscaR - Conflict Ordering 2017-06-30SAT (TO)6 2400.1201 2329.8301

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-38.xml
MD5SUMf8d5128c7bc11e119a8a7f8e485ceae3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark2400.0801
Satisfiable
(Un)Satisfiability was proved
Number of variables1444
Number of constraints8436
Number of domains1
Minimum domain size703
Maximum domain size703
Distribution of domain sizes[{"size":703,"count":703}]
Minimum variable degree0
Maximum variable degree37
Distribution of variable degrees[{"degree":0,"count":741},{"degree":37,"count":703}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":8436}]
Number of extensional constraints0
Number of intensional constraints8436
Distribution of constraint types[{"type":"intension","count":8436}]
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.24/0.37	c version: 2017-06-30
0.24/0.37	c seed: 1642828793
0.24/0.37	c timeout: 2400
0.24/0.37	c memlimit: 15500
0.24/0.38	c nbcore: 4
0.44/0.40	c Parsing instance...
4.76/1.86	c Parsing done, starting search...
11.69/7.32	o 702
18.41/13.35	o 701
24.52/19.26	o 700
30.52/25.12	o 699
36.42/30.94	o 698
42.46/36.83	o 697
48.33/42.53	o 696
54.15/48.23	o 695
60.02/53.93	o 694
65.80/59.57	o 693
71.65/65.26	o 692
77.43/70.85	o 691
83.18/76.48	o 690
88.94/82.06	o 689
94.69/87.65	o 688
100.47/93.22	o 687
106.22/98.83	o 686
111.98/104.41	o 685
117.63/110.00	o 684
123.51/115.60	o 683
129.25/121.21	o 682
134.91/126.79	o 681
140.77/132.41	o 680
146.53/138.06	o 679
152.22/143.59	o 678
157.97/149.16	o 677
163.72/154.75	o 676
169.37/160.29	o 675
175.12/165.85	o 674
180.77/171.39	o 673
186.56/176.93	o 672
192.28/182.54	o 671
197.94/188.01	o 670
203.58/193.53	o 669
209.23/199.03	o 668
214.89/204.51	o 667
220.97/210.44	o 666
227.06/216.35	o 665
233.26/222.32	o 664
239.34/228.25	o 663
245.39/234.17	o 662
251.47/240.08	o 661
257.61/246.01	o 660
263.61/251.88	o 659
269.67/257.77	o 658
275.72/263.62	o 657
281.72/269.44	o 656
287.84/275.29	o 655
293.81/281.03	o 654
299.77/286.82	o 653
305.62/292.54	o 652
311.46/298.23	o 651
317.33/303.90	o 650
323.06/309.59	o 649
328.94/315.27	o 648
334.79/320.91	o 647
340.53/326.52	o 646
346.28/332.15	o 645
352.03/337.70	o 644
357.69/343.27	o 643
363.43/348.82	o 642
368.97/354.29	o 641
374.61/359.74	o 640
380.17/365.18	o 639
385.71/370.58	o 638
391.27/375.98	o 637
396.80/381.34	o 636
402.35/386.74	o 635
407.81/392.05	o 634
413.24/397.33	o 633
419.02/402.65	o 632
424.44/407.85	o 631
429.79/413.03	o 630
435.06/418.17	o 629
440.39/423.31	o 628
445.65/428.45	o 627
450.88/433.59	o 626
456.21/438.79	o 625
461.61/443.98	o 624
466.93/449.12	o 623
472.18/454.27	o 622
477.41/459.38	o 621
482.64/464.47	o 620
487.88/469.58	o 619
493.14/474.65	o 618
498.29/479.67	o 617
503.43/484.70	o 616
508.56/489.69	o 615
513.77/494.73	o 614
518.93/499.76	o 613
524.04/504.73	o 612
529.09/509.68	o 611
534.13/514.58	o 610
539.88/519.68	o 609
544.88/524.54	o 608
549.82/529.37	o 607
554.73/534.18	o 606
559.66/538.97	o 605
564.69/543.80	o 604
569.60/548.61	o 603
574.41/553.33	o 602
579.25/558.01	o 601
583.97/562.70	o 600
588.77/567.36	o 599
593.61/572.05	o 598
598.32/576.66	o 597
603.03/581.23	o 596
607.65/585.74	o 595
612.27/590.23	o 594
616.91/594.71	o 593
621.52/599.29	o 592
626.24/603.82	o 591
630.85/608.36	o 590
635.47/612.85	o 589
640.09/617.32	o 588
644.60/621.78	o 587
649.22/626.22	o 586
654.08/630.73	o 585
658.60/635.13	o 584
663.10/639.50	o 583
667.51/643.88	o 582
672.02/648.27	o 581
676.44/652.60	o 580
680.94/656.90	o 579
685.26/661.20	o 578
689.80/665.52	o 577
694.20/669.88	o 576
698.61/674.13	o 575
702.92/678.36	o 574
707.24/682.57	o 573
711.55/686.76	o 572
715.84/690.99	o 571
720.14/695.16	o 570
724.45/699.33	o 569
728.68/703.42	o 568
732.89/707.57	o 567
737.17/711.75	o 566
741.38/715.81	o 565
745.50/719.85	o 564
749.69/723.94	o 563
753.80/727.94	o 562
758.27/732.05	o 561
762.27/735.99	o 560
766.39/739.92	o 559
770.39/743.89	o 558
774.49/747.84	o 557
778.59/751.84	o 556
782.58/755.74	o 555
786.58/759.61	o 554
790.60/763.52	o 553
794.62/767.40	o 552
798.62/771.35	o 551
802.62/775.24	o 550
806.51/779.09	o 549
810.50/782.96	o 548
814.49/786.82	o 547
818.39/790.67	o 546
822.27/794.43	o 545
826.18/798.23	o 544
829.97/801.98	o 543
833.89/805.74	o 542
837.67/809.44	o 541
841.45/813.13	o 540
845.28/816.82	o 539
848.95/820.46	o 538
852.73/824.19	o 537
856.90/827.95	o 536
860.69/831.61	o 535
864.28/835.18	o 534
868.00/838.79	o 533
871.67/842.31	o 532
875.25/845.83	o 531
878.84/849.32	o 530
882.46/852.82	o 529
885.94/856.28	o 528
889.53/859.76	o 527
893.12/863.22	o 526
896.60/866.67	o 525
900.10/870.08	o 524
903.58/873.46	o 523
907.07/876.86	o 522
910.56/880.23	o 521
914.04/883.60	o 520
917.44/886.95	o 519
920.83/890.28	o 518
924.32/893.62	o 517
927.70/896.92	o 516
931.10/900.22	o 515
934.48/903.53	o 514
937.87/906.86	o 513
941.26/910.19	o 512
944.99/913.55	o 511
948.26/916.79	o 510
951.55/919.99	o 509
954.94/923.24	o 508
958.30/926.50	o 507
961.69/929.81	o 506
964.98/933.03	o 505
968.17/936.16	o 504
971.42/939.38	o 503
974.73/942.52	o 502
977.82/945.59	o 501
981.11/948.70	o 500
984.25/951.85	o 499
987.44/954.91	o 498
990.52/957.96	o 497
993.62/960.97	o 496
996.81/964.01	o 495
999.85/967.08	o 494
1002.94/970.03	o 493
1006.03/973.01	o 492
1009.12/976.01	o 491
1012.16/979.04	o 490
1015.25/982.09	o 489
1018.25/984.99	o 488
1021.33/987.96	o 487
1024.38/990.96	o 486
1027.37/993.82	o 485
1030.35/996.70	o 484
1033.30/999.64	o 483
1036.29/1002.59	o 482
1039.28/1005.44	o 481
1042.24/1008.33	o 480
1045.47/1011.30	o 479
1048.63/1014.33	o 478
1051.48/1017.19	o 477
1054.32/1019.99	o 476
1057.22/1022.77	o 475
1060.16/1025.60	o 474
1062.95/1028.34	o 473
1065.79/1031.11	o 472
1068.48/1033.79	o 471
1071.26/1036.46	o 470
1074.01/1039.19	o 469
1076.79/1041.84	o 468
1079.49/1044.48	o 467
1082.22/1047.18	o 466
1084.92/1049.76	o 465
1087.67/1052.46	o 464
1090.31/1055.07	o 463
1093.01/1057.66	o 462
1095.75/1060.35	o 461
1098.44/1062.91	o 460
1101.10/1065.52	o 459
1103.68/1068.06	o 458
1106.33/1070.66	o 457
1108.88/1073.19	o 456
1111.57/1075.71	o 455
1114.11/1078.23	o 454
1116.61/1080.70	o 453
1119.26/1083.21	o 452
1121.75/1085.66	o 451
1124.30/1088.15	o 450
1126.79/1090.59	o 449
1129.43/1093.10	o 448
1131.89/1095.53	o 447
1134.34/1097.99	o 446
1137.04/1100.51	o 445
1139.58/1103.04	o 444
1142.03/1105.48	o 443
1144.47/1107.86	o 442
1146.96/1110.20	o 441
1149.41/1112.61	o 440
1151.81/1114.92	o 439
1154.25/1117.33	o 438
1156.60/1119.63	o 437
1158.98/1121.95	o 436
1161.43/1124.32	o 435
1163.68/1126.58	o 434
1166.26/1128.88	o 433
1168.64/1131.13	o 432
1170.99/1133.46	o 431
1173.34/1135.70	o 430
1175.52/1137.89	o 429
1177.88/1140.18	o 428
1180.13/1142.38	o 427
1182.37/1144.55	o 426
1184.66/1146.73	o 425
1187.01/1149.02	o 424
1189.25/1151.21	o 423
1191.40/1153.33	o 422
1193.68/1155.56	o 421
1195.93/1157.78	o 420
1198.08/1159.90	o 419
1200.22/1161.99	o 418
1202.36/1164.09	o 417
1204.65/1166.29	o 416
1206.80/1168.38	o 415
1208.94/1170.42	o 414
1210.99/1172.44	o 413
1213.09/1174.48	o 412
1215.23/1176.58	o 411
1217.26/1178.58	o 410
1219.31/1180.55	o 409
1221.37/1182.51	o 408
1223.31/1184.48	o 407
1225.37/1186.43	o 406
1227.31/1188.35	o 405
1229.26/1190.25	o 404
1231.21/1192.17	o 403
1233.35/1194.29	o 402
1235.54/1196.36	o 401
1237.58/1198.39	o 400
1239.63/1200.35	o 399
1241.58/1202.24	o 398
1243.43/1204.09	o 397
1245.37/1205.92	o 396
1247.23/1207.76	o 395
1249.18/1209.63	o 394
1251.14/1211.53	o 393
1253.10/1213.45	o 392
1255.05/1215.36	o 391
1257.00/1217.26	o 390
1258.95/1219.13	o 389
1260.80/1220.96	o 388
1262.76/1222.83	o 387
1264.66/1224.77	o 386
1266.60/1226.65	o 385
1268.35/1228.38	o 384
1270.20/1230.12	o 383
1271.95/1231.90	o 382
1273.81/1233.68	o 381
1275.65/1235.49	o 380
1277.60/1237.30	o 379
1279.36/1239.09	o 378
1281.20/1240.86	o 377
1283.05/1242.66	o 376
1284.85/1244.48	o 375
1286.60/1246.10	o 374
1288.27/1247.75	o 373
1290.01/1249.46	o 372
1291.87/1251.23	o 371
1293.66/1253.00	o 370
1295.32/1254.67	o 369
1296.97/1256.26	o 368
1298.63/1257.82	o 367
1300.27/1259.44	o 366
1302.03/1261.11	o 365
1303.78/1262.84	o 364
1305.48/1264.54	o 363
1307.13/1266.12	o 362
1308.68/1267.64	o 361
1310.23/1269.15	o 360
1311.89/1270.78	o 359
1313.59/1272.43	o 358
1315.04/1273.89	o 357
1316.70/1275.43	o 356
1318.29/1277.04	o 355
1319.94/1278.60	o 354
1321.40/1280.04	o 353
1323.16/1281.58	o 352
1324.71/1283.09	o 351
1326.36/1284.63	o 350
1327.96/1286.20	o 349
1329.52/1287.77	o 348
1330.97/1289.15	o 347
1332.42/1290.56	o 346
1333.92/1292.08	o 345
1335.47/1293.50	o 344
1336.82/1294.87	o 343
1338.38/1296.34	o 342
1339.87/1297.84	o 341
1341.23/1299.16	o 340
1342.58/1300.49	o 339
1344.04/1301.87	o 338
1345.53/1303.32	o 337
1346.88/1304.62	o 336
1348.23/1305.95	o 335
1349.68/1307.35	o 334
1351.08/1308.77	o 333
1352.43/1310.04	o 332
1353.78/1311.39	o 331
1355.18/1312.78	o 330
1356.53/1314.02	o 329
1357.87/1315.33	o 328
1359.17/1316.68	o 327
1360.54/1317.92	o 326
1361.79/1319.14	o 325
1363.09/1320.47	o 324
1364.35/1321.66	o 323
1365.70/1322.90	o 322
1367.00/1324.21	o 321
1368.16/1325.38	o 320
1369.46/1326.67	o 319
1370.81/1327.96	o 318
1372.06/1329.16	o 317
1373.37/1330.42	o 316
1374.52/1331.55	o 315
1375.77/1332.78	o 314
1377.07/1334.03	o 313
1378.22/1335.14	o 312
1379.46/1336.36	o 311
1380.66/1337.58	o 310
1381.81/1338.67	o 309
1383.02/1339.88	o 308
1384.27/1341.06	o 307
1385.47/1342.25	o 306
1386.62/1343.36	o 305
1387.82/1344.53	o 304
1388.97/1345.64	o 303
1390.22/1346.81	o 302
1391.32/1347.97	o 301
1392.47/1349.09	o 300
1393.68/1350.22	o 299
1394.72/1351.27	o 298
1395.92/1352.41	o 297
1396.97/1353.41	o 296
1398.08/1354.54	o 295
1399.23/1355.64	o 294
1400.27/1356.65	o 293
1401.38/1357.74	o 292
1402.42/1358.73	o 291
1403.57/1359.81	o 290
1404.57/1360.88	o 289
1405.61/1361.90	o 288
1406.72/1362.94	o 287
1407.66/1363.89	o 286
1408.76/1364.93	o 285
1409.71/1365.88	o 284
1410.81/1366.91	o 283
1411.76/1367.85	o 282
1412.76/1368.86	o 281
1413.80/1369.84	o 280
1414.85/1370.83	o 279
1415.85/1371.82	o 278
1416.80/1372.77	o 277
1417.80/1373.75	o 276
1418.75/1374.62	o 275
1419.66/1375.57	o 274
1420.60/1376.44	o 273
1421.51/1377.39	o 272
1422.45/1378.24	o 271
1423.35/1379.18	o 270
1424.30/1380.04	o 269
1425.20/1380.96	o 268
1426.10/1381.87	o 267
1427.04/1382.78	o 266
1427.94/1383.69	o 265
1428.89/1384.51	o 264
1429.69/1385.39	o 263
1430.55/1386.19	o 262
1431.45/1387.07	o 261
1432.29/1387.87	o 260
1433.20/1388.73	o 259
1434.04/1389.53	o 258
1434.84/1390.38	o 257
1435.69/1391.18	o 256
1436.59/1392.01	o 255
1437.39/1392.86	o 254
1438.23/1393.67	o 253
1439.03/1394.49	o 252
1439.88/1395.23	o 251
1440.68/1396.04	o 250
1441.53/1396.80	o 249
1442.33/1397.60	o 248
1443.08/1398.39	o 247
1443.88/1399.17	o 246
1444.68/1399.96	o 245
1445.53/1400.73	o 244
1446.33/1401.50	o 243
1447.07/1402.21	o 242
1447.77/1402.97	o 241
1448.57/1403.72	o 240
1449.32/1404.46	o 239
1450.02/1405.20	o 238
1450.77/1405.87	o 237
1451.47/1406.59	o 236
1452.32/1407.30	o 235
1453.02/1408.02	o 234
1453.72/1408.73	o 233
1454.47/1409.42	o 232
1455.17/1410.13	o 231
1455.88/1410.83	o 230
1456.52/1411.46	o 229
1457.22/1412.15	o 228
1457.92/1412.84	o 227
1458.57/1413.47	o 226
1459.28/1414.14	o 225
1459.92/1414.79	o 224
1460.62/1415.45	o 223
1461.32/1416.10	o 222
1461.92/1416.76	o 221
1462.67/1417.41	o 220
1463.26/1418.04	o 219
1463.86/1418.68	o 218
1464.51/1419.29	o 217
1465.21/1419.92	o 216
1465.81/1420.54	o 215
1466.46/1421.13	o 214
1467.06/1421.74	o 213
1467.66/1422.35	o 212
1468.31/1422.95	o 211
1468.91/1423.55	o 210
1469.51/1424.15	o 209
1470.16/1424.74	o 208
1470.76/1425.32	o 207
1471.31/1425.89	o 206
1471.91/1426.47	o 205
1472.51/1427.04	o 204
1473.39/1427.66	o 203
1473.99/1428.22	o 202
1474.49/1428.78	o 201
1475.13/1429.33	o 200
1475.63/1429.88	o 199
1476.23/1430.42	o 198
1476.73/1430.96	o 197
1477.28/1431.48	o 196
1477.88/1432.01	o 195
1478.38/1432.54	o 194
1478.92/1433.02	o 193
1479.42/1433.53	o 192
1479.93/1434.06	o 191
1480.48/1434.53	o 190
1480.99/1435.03	o 189
1481.48/1435.54	o 188
1481.99/1436.04	o 187
1482.53/1436.50	o 186
1482.93/1436.99	o 185
1483.43/1437.48	o 184
1483.93/1437.96	o 183
1484.43/1438.45	o 182
1484.98/1438.93	o 181
1485.39/1439.40	o 180
1485.88/1439.87	o 179
1486.38/1440.33	o 178
1486.83/1440.76	o 177
1487.33/1441.22	o 176
1487.73/1441.67	o 175
1488.23/1442.11	o 174
1488.63/1442.56	o 173
1489.08/1442.99	o 172
1489.58/1443.44	o 171
1489.98/1443.87	o 170
1490.48/1444.30	o 169
1490.93/1444.72	o 168
1491.33/1445.14	o 167
1491.73/1445.56	o 166
1492.13/1445.98	o 165
1492.53/1446.39	o 164
1492.97/1446.79	o 163
1493.38/1447.19	o 162
1493.77/1447.60	o 161
1494.17/1447.99	o 160
1494.62/1448.37	o 159
1495.02/1448.77	o 158
1495.42/1449.15	o 157
1495.82/1449.54	o 156
1496.22/1449.92	o 155
1496.67/1450.31	o 154
1496.97/1450.69	o 153
1497.37/1451.06	o 152
1497.77/1451.43	o 151
1498.12/1451.79	o 150
1498.52/1452.15	o 149
1498.92/1452.51	o 148
1499.22/1452.87	o 147
1499.67/1453.22	o 146
1499.97/1453.57	o 145
1500.37/1453.91	o 144
1500.67/1454.26	o 143
1501.07/1454.60	o 142
1501.37/1454.93	o 141
1501.72/1455.27	o 140
1502.12/1455.60	o 139
1502.42/1455.93	o 138
1502.72/1456.27	o 137
1503.02/1456.59	o 136
1503.42/1456.92	o 135
1503.76/1457.23	o 134
1504.06/1457.55	o 133
1504.36/1457.86	o 132
1504.67/1458.17	o 131
1504.96/1458.48	o 130
1505.27/1458.79	o 129
1505.57/1459.09	o 128
1505.91/1459.39	o 127
1506.21/1459.68	o 126
1506.51/1459.97	o 125
1506.82/1460.25	o 124
1507.11/1460.54	o 123
1507.41/1460.82	o 122
1507.71/1461.11	o 121
1507.97/1461.39	o 120
1508.26/1461.67	o 119
1508.56/1461.94	o 118
1508.86/1462.21	o 117
1509.07/1462.48	o 116
1509.36/1462.75	o 115
1509.66/1463.01	o 114
1509.86/1463.28	o 113
1510.21/1463.54	o 112
1510.41/1463.80	o 111
1510.71/1464.05	o 110
1511.01/1464.30	o 109
1511.21/1464.55	o 108
1511.42/1464.79	o 107
1511.71/1465.05	o 106
1512.06/1465.30	o 105
1512.26/1465.55	o 104
1512.46/1465.79	o 103
1512.76/1466.03	o 102
1512.96/1466.26	o 101
1513.26/1466.50	o 100
1513.46/1466.73	o 99
1513.66/1466.96	o 98
1514.01/1467.20	o 97
1514.20/1467.42	o 96
1514.40/1467.64	o 95
1514.60/1467.86	o 94
1514.81/1468.07	o 93
1515.10/1468.30	o 92
1515.30/1468.51	o 91
1515.51/1468.73	o 90
1515.75/1468.95	o 89
1515.96/1469.16	o 88
1516.15/1469.37	o 87
1516.35/1469.57	o 86
1516.55/1469.78	o 85
1516.75/1469.98	o 84
1516.96/1470.18	o 83
1517.15/1470.37	o 82
1517.40/1470.58	o 81
1517.60/1470.77	o 80
1517.80/1470.97	o 79
1518.00/1471.16	o 78
1518.21/1471.35	o 77
1518.40/1471.54	o 76
1518.60/1471.73	o 75
1518.80/1471.91	o 74
1519.00/1472.10	o 73
1519.15/1472.29	o 72
1519.36/1472.47	o 71
1519.55/1472.65	o 70
1519.75/1472.82	o 69
1519.85/1472.99	o 68
1520.05/1473.17	o 67
1520.25/1473.35	o 66
1520.46/1473.52	o 65
1520.55/1473.69	o 64
1520.80/1473.87	o 63
1521.00/1474.03	o 62
1521.10/1474.19	o 61
1521.30/1474.36	o 60
1521.51/1474.52	o 59
1521.61/1474.67	o 58
1521.80/1474.83	o 57
1521.90/1474.99	o 56
1522.10/1475.14	o 55
1522.30/1475.30	o 54
1522.40/1475.45	o 53
1522.50/1475.60	o 52
1522.71/1475.75	o 51
1522.95/1475.91	o 50
1523.05/1476.05	o 49
1523.15/1476.20	o 48
1523.35/1476.34	o 47
1523.45/1476.48	o 46
1523.65/1476.62	o 45
1523.76/1476.76	o 44
1523.95/1476.90	o 43
1524.05/1477.04	o 42
1524.15/1477.17	o 41
1524.35/1477.30	o 40
1524.46/1477.43	o 39
1524.56/1477.56	o 38
1524.66/1477.69	o 37
1524.87/1477.82	o 36
1525.01/1477.97	o 35
1525.11/1478.09	o 34
1525.31/1478.21	o 33
1525.41/1478.33	o 32
1525.51/1478.45	o 31
1525.61/1478.57	o 30
1525.71/1478.69	o 29
1525.91/1478.81	o 28
1526.01/1478.93	o 27
1526.11/1479.04	o 26
1526.21/1479.15	o 25
1526.31/1479.26	o 24
1526.41/1479.37	o 23
1526.51/1479.48	o 22
1526.61/1479.59	o 21
1526.81/1479.70	o 20
1526.91/1479.80	o 19
1527.01/1479.91	o 18
1527.11/1480.01	o 17
1527.25/1480.13	o 16
1527.36/1480.23	o 15
1527.46/1480.33	o 14
1527.56/1480.43	o 13
1527.66/1480.52	o 12
1527.76/1480.62	o 11
1527.86/1480.72	o 10
1527.96/1480.81	o 9
1528.06/1480.91	o 8
1528.16/1481.00	o 7
1528.16/1481.10	o 6
2400.07/2329.80	s SATISFIABLE
2400.07/2329.81	v <instantiation>
2400.07/2329.81	v 	<list>
2400.07/2329.81	v 		x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[33][34] x[33][35] x[33][36] x[33][37] x[34][35] x[34][36] x[34][37] x[35][36] x[35][37] x[36][37]
2400.07/2329.81	v 	</list>
2400.07/2329.81	v 	<values>
2400.07/2329.81	v 		0 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 2 5 4 5 3 5 4 6 5 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 2 5 4 5 3 5 4 6 5 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 2 5 4 5 3 5 5 4 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 2 5 4 5 3 6 5 5 5 5 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 2 5 4 5 4 3 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 2 5 4 6 5 4 4 4 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 2 5 5 4 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 2 6 5 5 5 5 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 5 3 2 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 4 6 5 3 3 3 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 5 5 4 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 3 6 5 5 5 5 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 5 4 3 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 4 6 5 4 4 4 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 5 5 4 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 1 6 5 5 5 5 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 5 2 1 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 5 4 6 5 2 2 2 6 5 4 5 3 5 4 5 2 5 4 5 3 5 5 4 6 6 6 6 5 4 5 3 5 4 5 2 5 4 5 3 6 5 5 5 5 6 5 4 5 3 5 4 5 2 5 4 5 4 3 6 6 6 6 5 4 5 3 5 4 5 2 5 4 6 5 4 4 4 6 5 4 5 3 5 4 5 2 5 5 4 6 6 6 6 5 4 5 3 5 4 5 2 6 5 5 5 5 6 5 4 5 3 5 4 5 3 2 6 6 6 6 5 4 5 3 5 4 6 5 3 3 3 6 5 4 5 3 5 5 4 6 6 6 6 5 4 5 3 6 5 5 5 5 6 5 4 5 4 3 6 6 6 6 5 4 6 5 4 4 4 6 5 5 4 6 6 6 6 6 5 5 5 5 6 6 5 5 5 5 6 6 6 6 0 1 4 1 4 4 
2400.07/2329.81	v 	</values>
2400.07/2329.81	v </instantiation>

Verifier Data 

OK	6

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248588-1502122718/watcher-4248588-1502122718 -o /tmp/evaluation-result-4248588-1502122718/solver-4248588-1502122718 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502065585-15256 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1642828793 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4248588-1502122718.xml 

pid=25446
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.18 1.33 1.44 4/199 25449
/proc/meminfo: memFree=28937672/32770624 swapFree=0/351208
[pid=25449] ppid=25446 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/25449/stat : 25449 (runsolver) D 25446 25449 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 60087049 24240128 107 18446744073709551615 4194304 4338465 140736185742096 140736185739736 139776678150871 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 15638528 140736185745509 140736185745993 140736185745993 140736185749450 0
/proc/25449/statm: 5918 107 54 36 0 2156 0

[startup+0.100162 s]
/proc/loadavg: 1.18 1.33 1.44 4/199 25449
/proc/meminfo: memFree=28937672/32770624 swapFree=0/351208
[pid=25449] ppid=25446 vsize=12379128 CPUtime=0.02 cores=0,2,4,6
/proc/25449/stat : 25449 (java) S 25446 25449 25100 0 -1 1077944320 3840 0 0 0 1 1 0 0 20 0 7 0 60087049 12676227072 3519 18446744073709551615 4194304 4196468 140732220028624 140732220011168 140299632238327 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
/proc/25449/statm: 3094782 3519 2027 1 0 3084279 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12379128

[startup+0.200284 s]
/proc/loadavg: 1.18 1.33 1.44 4/199 25449
/proc/meminfo: memFree=28937672/32770624 swapFree=0/351208
[pid=25449] ppid=25446 vsize=12914512 CPUtime=0.09 cores=0,2,4,6
/proc/25449/stat : 25449 (java) S 25446 25449 25100 0 -1 1077944320 6960 0 0 0 7 2 0 0 20 0 15 0 60087049 13224460288 7175 18446744073709551615 4194304 4196468 140732220028624 140732220011168 140299632238327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
/proc/25449/statm: 3228628 7175 3359 1 0 3217407 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12914512

[startup+0.300334 s]
/proc/loadavg: 1.18 1.33 1.44 4/199 25449
/proc/meminfo: memFree=28937672/32770624 swapFree=0/351208
[pid=25449] ppid=25446 vsize=12914512 CPUtime=0.24 cores=0,2,4,6
/proc/25449/stat : 25449 (java) S 25446 25449 25100 0 -1 1077944320 10378 0 0 0 21 3 0 0 20 0 15 0 60087049 13224460288 9627 18446744073709551615 4194304 4196468 140732220028624 140732220011168 140299632238327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
/proc/25449/statm: 3228628 9627 3546 1 0 3217407 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 12914512

[startup+0.704596 s]
/proc/loadavg: 1.18 1.33 1.44 4/199 25449
/proc/meminfo: memFree=28937672/32770624 swapFree=0/351208
[pid=25449] ppid=25446 vsize=12916580 CPUtime=1.24 cores=0,2,4,6
/proc/25449/stat : 25449 (java) S 25446 25449 25100 0 -1 1077944320 16163 0 0 0 118 6 0 0 20 0 15 0 60087049 13226577920 20497 18446744073709551615 4194304 4196468 140732220028624 140732220011168 140299632238327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
/proc/25449/statm: 3229145 20497 3728 1 0 3217919 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 12916580

[startup+1.50064 s]
/proc/loadavg: 1.18 1.33 1.44 4/199 25449
/proc/meminfo: memFree=28937672/32770624 swapFree=0/351208
[pid=25449] ppid=25446 vsize=12916580 CPUtime=3.91 cores=0,2,4,6
/proc/25449/stat : 25449 (java) S 25446 25449 25100 0 -1 1077944320 26571 0 0 0 381 10 0 0 20 0 15 0 60087049 13226577920 53128 18446744073709551615 4194304 4196468 140732220028624 140732220011168 140299632238327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
/proc/25449/statm: 3229145 53128 3798 1 0 3217919 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 12916580

[startup+3.10064 s]
/proc/loadavg: 1.18 1.33 1.44 3/214 25464
/proc/meminfo: memFree=28328044/32770624 swapFree=0/351516
[pid=25449] ppid=25446 vsize=12920676 CPUtime=7.1 cores=0,2,4,6
/proc/25449/stat : 25449 (java) S 25446 25449 25100 0 -1 1077944320 35073 0 0 0 679 31 0 0 20 0 15 0 60087049 13230772224 174021 18446744073709551615 4194304 4196468 140732220028624 140732220011168 140299632238327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
/proc/25449/statm: 3230169 174021 3806 1 0 3218943 0
[pid=25449/tid=25451] ppid=25446 vsize=12920676 CPUtime=2.79 cores=0,2,4,6
/proc/25449/task/25451/stat : 25451 (java) S 25446 25449 25100 0 -1 1077944384 15092 0 0 0 267 12 0 0 20 0 15 0 60087057 13230772224 174021 18446744073709551615 4194304 4196468 140732220028624 140299636476560 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25452] ppid=25446 vsize=12920676 CPUtime=0.11 cores=0,2,4,6
/proc/25449/task/25452/stat : 25452 (java) R 25446 25449 25100 0 -1 4202560 449 0 0 0 8 3 0 0 20 0 15 0 60087057 13230772224 174021 18446744073709551615 4194304 4196468 140732220028624 140299604081880 140299617262674 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25453] ppid=25446 vsize=12920676 CPUtime=0.13 cores=0,2,4,6
/proc/25449/task/25453/stat : 25453 (java) R 25446 25449 25100 0 -1 4202560 109 0 0 0 9 4 0 0 20 0 15 0 60087057 13230772224 174021 18446744073709551615 4194304 4196468 140732220028624 140299235228816 140299616686431 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25454] ppid=25446 vsize=12920676 CPUtime=0.14 cores=0,2,4,6
/proc/25449/task/25454/stat : 25454 (java) R 25446 25449 25100 0 -1 4202560 428 0 0 0 10 4 0 0 20 0 15 0 60087057 13230772224 174021 18446744073709551615 4194304 4196468 140732220028624 140299234175760 140299613864272 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25455] ppid=25446 vsize=12920676 CPUtime=0.11 cores=0,2,4,6
/proc/25449/task/25455/stat : 25455 (java) R 25446 25449 25100 0 -1 4202560 227 0 0 0 8 3 0 0 20 0 15 0 60087057 13230772224 174021 18446744073709551615 4194304 4196468 140732220028624 140299233123216 140299613864316 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25456] ppid=25446 vsize=12920676 CPUtime=0.01 cores=0,2,4,6
/proc/25449/task/25456/stat : 25456 (java) S 25446 25449 25100 0 -1 1077944384 726 0 0 0 1 0 0 0 20 0 15 0 60087059 13230772224 174021 18446744073709551615 4194304 4196468 140732220028624 140299117134624 140299632248533 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25457] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25457/stat : 25457 (java) S 25446 25449 25100 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 60087059 13230772224 174021 18446744073709551615 4194304 4196468 140732220028624 140299116082400 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25458] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25458/stat : 25458 (java) S 25446 25449 25100 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 60087059 13230772224 174021 18446744073709551615 4194304 4196468 140732220028624 140299115029248 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25459] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25459/stat : 25459 (java) S 25446 25449 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60087062 13230772224 174021 18446744073709551615 4194304 4196468 140732220028624 140299113977808 140299632256923 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25460] ppid=25446 vsize=12920676 CPUtime=1.48 cores=0,2,4,6
/proc/25449/task/25460/stat : 25460 (java) S 25446 25449 25100 0 -1 1077944384 5373 0 0 0 147 1 0 0 20 0 15 0 60087062 13230772224 174021 18446744073709551615 4194304 4196468 140732220028624 140299112925936 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25461] ppid=25446 vsize=12920676 CPUtime=1.49 cores=0,2,4,6
/proc/25449/task/25461/stat : 25461 (java) S 25446 25449 25100 0 -1 1077944384 4286 0 0 0 148 1 0 0 20 0 15 0 60087062 13230772224 174021 18446744073709551615 4194304 4196468 140732220028624 140299111873392 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25462] ppid=25446 vsize=12920676 CPUtime=0.78 cores=0,2,4,6
/proc/25449/task/25462/stat : 25462 (java) S 25446 25449 25100 0 -1 1077944384 6931 0 0 0 77 1 0 0 20 0 15 0 60087062 13230772224 174021 18446744073709551615 4194304 4196468 140732220028624 140299110820336 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25463] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25463/stat : 25463 (java) S 25446 25449 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60087062 13230772224 174021 18446744073709551615 4194304 4196468 140732220028624 140299109768032 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25464] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25464/stat : 25464 (java) S 25446 25449 25100 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 60087067 13230772224 174021 18446744073709551615 4194304 4196468 140732220028624 140299108715056 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 12920676

[startup+6.30063 s]
/proc/loadavg: 1.17 1.33 1.44 3/214 25464
/proc/meminfo: memFree=26860464/32770624 swapFree=0/351512
[pid=25449] ppid=25446 vsize=12920676 CPUtime=10.69 cores=0,2,4,6
/proc/25449/stat : 25449 (java) S 25446 25449 25100 0 -1 1077944320 37615 0 0 0 1009 60 0 0 20 0 15 0 60087049 13230772224 554244 18446744073709551615 4194304 4196468 140732220028624 140732220011168 140299632238327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
/proc/25449/statm: 3230169 554244 3807 1 0 3218943 0
[pid=25449/tid=25451] ppid=25446 vsize=12920676 CPUtime=5.9 cores=0,2,4,6
/proc/25449/task/25451/stat : 25451 (java) R 25446 25449 25100 0 -1 4202560 16101 0 0 0 558 32 0 0 20 0 15 0 60087057 13230772224 554244 18446744073709551615 4194304 4196468 140732220028624 140299636476800 140299282580319 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25452] ppid=25446 vsize=12920676 CPUtime=0.19 cores=0,2,4,6
/proc/25449/task/25452/stat : 25452 (java) S 25446 25449 25100 0 -1 1077944384 494 0 0 0 14 5 0 0 20 0 15 0 60087057 13230772224 554244 18446744073709551615 4194304 4196468 140732220028624 140299604081680 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25453] ppid=25446 vsize=12920676 CPUtime=0.2 cores=0,2,4,6
/proc/25449/task/25453/stat : 25453 (java) S 25446 25449 25100 0 -1 1077944384 143 0 0 0 15 5 0 0 20 0 15 0 60087057 13230772224 554244 18446744073709551615 4194304 4196468 140732220028624 140299235228816 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25454] ppid=25446 vsize=12920676 CPUtime=0.22 cores=0,2,4,6
/proc/25449/task/25454/stat : 25454 (java) S 25446 25449 25100 0 -1 1077944384 641 0 0 0 16 6 0 0 20 0 15 0 60087057 13230772224 554244 18446744073709551615 4194304 4196468 140732220028624 140299234175760 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25455] ppid=25446 vsize=12920676 CPUtime=0.19 cores=0,2,4,6
/proc/25449/task/25455/stat : 25455 (java) S 25446 25449 25100 0 -1 1077944384 270 0 0 0 14 5 0 0 20 0 15 0 60087057 13230772224 554244 18446744073709551615 4194304 4196468 140732220028624 140299233123216 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25456] ppid=25446 vsize=12920676 CPUtime=0.02 cores=0,2,4,6
/proc/25449/task/25456/stat : 25456 (java) S 25446 25449 25100 0 -1 1077944384 1836 0 0 0 2 0 0 0 20 0 15 0 60087059 13230772224 554244 18446744073709551615 4194304 4196468 140732220028624 140299117136112 140299632249474 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25457] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25457/stat : 25457 (java) S 25446 25449 25100 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 60087059 13230772224 554244 18446744073709551615 4194304 4196468 140732220028624 140299116082400 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25458] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25458/stat : 25458 (java) S 25446 25449 25100 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 60087059 13230772224 554244 18446744073709551615 4194304 4196468 140732220028624 140299115029248 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25459] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25459/stat : 25459 (java) S 25446 25449 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60087062 13230772224 554244 18446744073709551615 4194304 4196468 140732220028624 140299113977808 140299632256923 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25460] ppid=25446 vsize=12920676 CPUtime=1.55 cores=0,2,4,6
/proc/25449/task/25460/stat : 25460 (java) S 25446 25449 25100 0 -1 1077944384 5399 0 0 0 154 1 0 0 20 0 15 0 60087062 13230772224 554244 18446744073709551615 4194304 4196468 140732220028624 140299112925936 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25461] ppid=25446 vsize=12920676 CPUtime=1.57 cores=0,2,4,6
/proc/25449/task/25461/stat : 25461 (java) S 25446 25449 25100 0 -1 1077944384 4333 0 0 0 156 1 0 0 20 0 15 0 60087062 13230772224 554244 18446744073709551615 4194304 4196468 140732220028624 140299111873392 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25462] ppid=25446 vsize=12920676 CPUtime=0.78 cores=0,2,4,6
/proc/25449/task/25462/stat : 25462 (java) S 25446 25449 25100 0 -1 1077944384 6937 0 0 0 77 1 0 0 20 0 15 0 60087062 13230772224 554244 18446744073709551615 4194304 4196468 140732220028624 140299110820336 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25463] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25463/stat : 25463 (java) S 25446 25449 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60087062 13230772224 554244 18446744073709551615 4194304 4196468 140732220028624 140299109768032 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25464] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25464/stat : 25464 (java) S 25446 25449 25100 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 60087067 13230772224 554244 18446744073709551615 4194304 4196468 140732220028624 140299108715056 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
Current children cumulated CPU time (s) 10.69
Current children cumulated vsize (KiB) 12920676

[startup+12.7066 s]
/proc/loadavg: 1.16 1.32 1.44 3/214 25464
/proc/meminfo: memFree=25493112/32770624 swapFree=0/351504
[pid=25449] ppid=25446 vsize=12920676 CPUtime=17.77 cores=0,2,4,6
/proc/25449/stat : 25449 (java) S 25446 25449 25100 0 -1 1077944320 38979 0 0 0 1698 79 0 0 20 0 15 0 60087049 13230772224 866818 18446744073709551615 4194304 4196468 140732220028624 140732220011168 140299632238327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
/proc/25449/statm: 3230169 866818 3807 1 0 3218943 0
[pid=25449/tid=25451] ppid=25446 vsize=12920676 CPUtime=12.27 cores=0,2,4,6
/proc/25449/task/25451/stat : 25451 (java) R 25446 25449 25100 0 -1 4202560 16911 0 0 0 1179 48 0 0 20 0 15 0 60087057 13230772224 866818 18446744073709551615 4194304 4196468 140732220028624 140299636474504 140299282736880 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25452] ppid=25446 vsize=12920676 CPUtime=0.23 cores=0,2,4,6
/proc/25449/task/25452/stat : 25452 (java) S 25446 25449 25100 0 -1 1077944384 541 0 0 0 17 6 0 0 20 0 15 0 60087057 13230772224 866818 18446744073709551615 4194304 4196468 140732220028624 140299604081680 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25453] ppid=25446 vsize=12920676 CPUtime=0.24 cores=0,2,4,6
/proc/25449/task/25453/stat : 25453 (java) S 25446 25449 25100 0 -1 1077944384 365 0 0 0 18 6 0 0 20 0 15 0 60087057 13230772224 866818 18446744073709551615 4194304 4196468 140732220028624 140299235228816 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25454] ppid=25446 vsize=12920676 CPUtime=0.25 cores=0,2,4,6
/proc/25449/task/25454/stat : 25454 (java) S 25446 25449 25100 0 -1 1077944384 698 0 0 0 18 7 0 0 20 0 15 0 60087057 13230772224 866818 18446744073709551615 4194304 4196468 140732220028624 140299234175760 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25455] ppid=25446 vsize=12920676 CPUtime=0.22 cores=0,2,4,6
/proc/25449/task/25455/stat : 25455 (java) S 25446 25449 25100 0 -1 1077944384 336 0 0 0 17 5 0 0 20 0 15 0 60087057 13230772224 866818 18446744073709551615 4194304 4196468 140732220028624 140299233123216 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25456] ppid=25446 vsize=12920676 CPUtime=0.02 cores=0,2,4,6
/proc/25449/task/25456/stat : 25456 (java) S 25446 25449 25100 0 -1 1077944384 1852 0 0 0 2 0 0 0 20 0 15 0 60087059 13230772224 866818 18446744073709551615 4194304 4196468 140732220028624 140299117136112 140299632249474 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25457] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25457/stat : 25457 (java) S 25446 25449 25100 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 60087059 13230772224 866818 18446744073709551615 4194304 4196468 140732220028624 140299116082400 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25458] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25458/stat : 25458 (java) S 25446 25449 25100 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 60087059 13230772224 866818 18446744073709551615 4194304 4196468 140732220028624 140299115029248 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25459] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25459/stat : 25459 (java) S 25446 25449 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60087062 13230772224 866818 18446744073709551615 4194304 4196468 140732220028624 140299113977808 140299632256923 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25460] ppid=25446 vsize=12920676 CPUtime=1.83 cores=0,2,4,6
/proc/25449/task/25460/stat : 25460 (java) S 25446 25449 25100 0 -1 1077944384 5459 0 0 0 182 1 0 0 20 0 15 0 60087062 13230772224 866818 18446744073709551615 4194304 4196468 140732220028624 140299112925936 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25461] ppid=25446 vsize=12920676 CPUtime=1.81 cores=0,2,4,6
/proc/25449/task/25461/stat : 25461 (java) S 25446 25449 25100 0 -1 1077944384 4388 0 0 0 180 1 0 0 20 0 15 0 60087062 13230772224 866818 18446744073709551615 4194304 4196468 140732220028624 140299111873392 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25462] ppid=25446 vsize=12920676 CPUtime=0.81 cores=0,2,4,6
/proc/25449/task/25462/stat : 25462 (java) S 25446 25449 25100 0 -1 1077944384 6967 0 0 0 80 1 0 0 20 0 15 0 60087062 13230772224 866818 18446744073709551615 4194304 4196468 140732220028624 140299110820336 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25463] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25463/stat : 25463 (java) S 25446 25449 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60087062 13230772224 866818 18446744073709551615 4194304 4196468 140732220028624 140299109768032 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25464] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25464/stat : 25464 (java) S 25446 25449 25100 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 60087067 13230772224 866818 18446744073709551615 4194304 4196468 140732220028624 140299108715056 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
Current children cumulated CPU time (s) 17.77
Current children cumulated vsize (KiB) 12920676

[startup+25.5006 s]
/proc/loadavg: 1.20 1.32 1.44 3/214 25464
/proc/meminfo: memFree=25459788/32770624 swapFree=0/351504
[pid=25449] ppid=25446 vsize=12920676 CPUtime=30.92 cores=0,2,4,6
/proc/25449/stat : 25449 (java) S 25446 25449 25100 0 -1 1077944320 40534 0 0 0 3009 83 0 0 20 0 15 0 60087049 13230772224 881171 18446744073709551615 4194304 4196468 140732220028624 140732220011168 140299632238327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
/proc/25449/statm: 3230169 881171 3807 1 0 3218943 0
[pid=25449/tid=25451] ppid=25446 vsize=12920676 CPUtime=24.98 cores=0,2,4,6
/proc/25449/task/25451/stat : 25451 (java) R 25446 25449 25100 0 -1 4202560 17415 0 0 0 2449 49 0 0 20 0 15 0 60087057 13230772224 881171 18446744073709551615 4194304 4196468 140732220028624 140299636473744 140299282305873 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25452] ppid=25446 vsize=12920676 CPUtime=0.31 cores=0,2,4,6
/proc/25449/task/25452/stat : 25452 (java) S 25446 25449 25100 0 -1 1077944384 943 0 0 0 24 7 0 0 20 0 15 0 60087057 13230772224 881171 18446744073709551615 4194304 4196468 140732220028624 140299604081680 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25453] ppid=25446 vsize=12920676 CPUtime=0.32 cores=0,2,4,6
/proc/25449/task/25453/stat : 25453 (java) S 25446 25449 25100 0 -1 1077944384 506 0 0 0 25 7 0 0 20 0 15 0 60087057 13230772224 881171 18446744073709551615 4194304 4196468 140732220028624 140299235228816 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25454] ppid=25446 vsize=12920676 CPUtime=0.33 cores=0,2,4,6
/proc/25449/task/25454/stat : 25454 (java) S 25446 25449 25100 0 -1 1077944384 897 0 0 0 25 8 0 0 20 0 15 0 60087057 13230772224 881171 18446744073709551615 4194304 4196468 140732220028624 140299234175760 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25455] ppid=25446 vsize=12920676 CPUtime=0.3 cores=0,2,4,6

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

/proc/25449/task/25463/stat : 25463 (java) S 25446 25449 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60087062 13230772224 537236 18446744073709551615 4194304 4196468 140732220028624 140299109768032 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25464] ppid=25446 vsize=12920676 CPUtime=1.32 cores=0,2,4,6
/proc/25449/task/25464/stat : 25464 (java) S 25446 25449 25100 0 -1 1077944384 1182 0 0 0 62 70 0 0 20 0 15 0 60087067 13230772224 537236 18446744073709551615 4194304 4196468 140732220028624 140299108715056 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
Current children cumulated CPU time (s) 2269.01
Current children cumulated vsize (KiB) 12920676

[startup+2262.3 s]
/proc/loadavg: 1.81 1.62 1.58 3/214 25707
/proc/meminfo: memFree=25516788/32770624 swapFree=0/352456
[pid=25449] ppid=25446 vsize=12920676 CPUtime=2330.76 cores=0,2,4,6
/proc/25449/stat : 25449 (java) S 25446 25449 25100 0 -1 1077944320 382225 0 0 0 232755 321 0 0 20 0 15 0 60087049 13230772224 526771 18446744073709551615 4194304 4196468 140732220028624 140732220011168 140299632238327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
/proc/25449/statm: 3230169 526771 3824 1 0 3218943 0
[pid=25449/tid=25451] ppid=25446 vsize=12920676 CPUtime=2239.32 cores=0,2,4,6
/proc/25449/task/25451/stat : 25451 (java) R 25446 25449 25100 0 -1 4202560 142230 0 0 0 223844 88 0 0 20 0 15 0 60087057 13230772224 526771 18446744073709551615 4194304 4196468 140732220028624 140299636476592 140299282740121 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25452] ppid=25446 vsize=12920676 CPUtime=20.62 cores=0,2,4,6
/proc/25449/task/25452/stat : 25452 (java) S 25446 25449 25100 0 -1 1077944384 30034 0 0 0 2025 37 0 0 20 0 15 0 60087057 13230772224 526771 18446744073709551615 4194304 4196468 140732220028624 140299604081680 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25453] ppid=25446 vsize=12920676 CPUtime=20.67 cores=0,2,4,6
/proc/25449/task/25453/stat : 25453 (java) S 25446 25449 25100 0 -1 1077944384 26082 0 0 0 2032 35 0 0 20 0 15 0 60087057 13230772224 526771 18446744073709551615 4194304 4196468 140732220028624 140299235228816 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25454] ppid=25446 vsize=12920676 CPUtime=20.68 cores=0,2,4,6
/proc/25449/task/25454/stat : 25454 (java) S 25446 25449 25100 0 -1 1077944384 27600 0 0 0 2032 36 0 0 20 0 15 0 60087057 13230772224 526771 18446744073709551615 4194304 4196468 140732220028624 140299234175760 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25455] ppid=25446 vsize=12920676 CPUtime=20.63 cores=0,2,4,6
/proc/25449/task/25455/stat : 25455 (java) S 25446 25449 25100 0 -1 1077944384 27645 0 0 0 2025 38 0 0 20 0 15 0 60087057 13230772224 526771 18446744073709551615 4194304 4196468 140732220028624 140299233123216 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25456] ppid=25446 vsize=12920676 CPUtime=1.5 cores=0,2,4,6
/proc/25449/task/25456/stat : 25456 (java) S 25446 25449 25100 0 -1 1077944384 68982 0 0 0 121 29 0 0 20 0 15 0 60087059 13230772224 526771 18446744073709551615 4194304 4196468 140732220028624 140299117136112 140299632249474 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25457] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25457/stat : 25457 (java) S 25446 25449 25100 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 60087059 13230772224 526771 18446744073709551615 4194304 4196468 140732220028624 140299116082400 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25458] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25458/stat : 25458 (java) S 25446 25449 25100 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 60087059 13230772224 526771 18446744073709551615 4194304 4196468 140732220028624 140299115029248 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25459] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25459/stat : 25459 (java) S 25446 25449 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60087062 13230772224 526771 18446744073709551615 4194304 4196468 140732220028624 140299113977808 140299632256923 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25460] ppid=25446 vsize=12920676 CPUtime=2.42 cores=0,2,4,6
/proc/25449/task/25460/stat : 25460 (java) S 25446 25449 25100 0 -1 1077944384 15097 0 0 0 240 2 0 0 20 0 15 0 60087062 13230772224 526771 18446744073709551615 4194304 4196468 140732220028624 140299112925936 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25461] ppid=25446 vsize=12920676 CPUtime=2.52 cores=0,2,4,6
/proc/25449/task/25461/stat : 25461 (java) S 25446 25449 25100 0 -1 1077944384 17475 0 0 0 249 3 0 0 20 0 15 0 60087062 13230772224 526771 18446744073709551615 4194304 4196468 140732220028624 140299111873392 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25462] ppid=25446 vsize=12920676 CPUtime=0.96 cores=0,2,4,6
/proc/25449/task/25462/stat : 25462 (java) S 25446 25449 25100 0 -1 1077944384 24424 0 0 0 94 2 0 0 20 0 15 0 60087062 13230772224 526771 18446744073709551615 4194304 4196468 140732220028624 140299110820336 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25463] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25463/stat : 25463 (java) S 25446 25449 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60087062 13230772224 526771 18446744073709551615 4194304 4196468 140732220028624 140299109768032 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25464] ppid=25446 vsize=12920676 CPUtime=1.35 cores=0,2,4,6
/proc/25449/task/25464/stat : 25464 (java) S 25446 25449 25100 0 -1 1077944384 1214 0 0 0 63 72 0 0 20 0 15 0 60087067 13230772224 526771 18446744073709551615 4194304 4196468 140732220028624 140299108715056 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
Current children cumulated CPU time (s) 2330.76
Current children cumulated vsize (KiB) 12920676

[startup+2322.3 s]
/proc/loadavg: 1.51 1.58 1.57 3/214 25709
/proc/meminfo: memFree=25613288/32770624 swapFree=0/352472
[pid=25449] ppid=25446 vsize=12920676 CPUtime=2392.36 cores=0,2,4,6
/proc/25449/stat : 25449 (java) S 25446 25449 25100 0 -1 1077944320 388498 0 0 0 238912 324 0 0 20 0 15 0 60087049 13230772224 516244 18446744073709551615 4194304 4196468 140732220028624 140732220011168 140299632238327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
/proc/25449/statm: 3230169 516244 3824 1 0 3218943 0
[pid=25449/tid=25451] ppid=25446 vsize=12920676 CPUtime=2298.74 cores=0,2,4,6
/proc/25449/task/25451/stat : 25451 (java) R 25446 25449 25100 0 -1 4202560 144377 0 0 0 229786 88 0 0 20 0 15 0 60087057 13230772224 516244 18446744073709551615 4194304 4196468 140732220028624 140299636476656 140299282614874 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25452] ppid=25446 vsize=12920676 CPUtime=21.14 cores=0,2,4,6
/proc/25449/task/25452/stat : 25452 (java) S 25446 25449 25100 0 -1 1077944384 30738 0 0 0 2077 37 0 0 20 0 15 0 60087057 13230772224 516244 18446744073709551615 4194304 4196468 140732220028624 140299604081680 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25453] ppid=25446 vsize=12920676 CPUtime=21.19 cores=0,2,4,6
/proc/25449/task/25453/stat : 25453 (java) S 25446 25449 25100 0 -1 1077944384 26913 0 0 0 2084 35 0 0 20 0 15 0 60087057 13230772224 516244 18446744073709551615 4194304 4196468 140732220028624 140299235228816 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25454] ppid=25446 vsize=12920676 CPUtime=21.2 cores=0,2,4,6
/proc/25449/task/25454/stat : 25454 (java) S 25446 25449 25100 0 -1 1077944384 28826 0 0 0 2084 36 0 0 20 0 15 0 60087057 13230772224 516244 18446744073709551615 4194304 4196468 140732220028624 140299234175760 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25455] ppid=25446 vsize=12920676 CPUtime=21.15 cores=0,2,4,6
/proc/25449/task/25455/stat : 25455 (java) S 25446 25449 25100 0 -1 1077944384 28447 0 0 0 2077 38 0 0 20 0 15 0 60087057 13230772224 516244 18446744073709551615 4194304 4196468 140732220028624 140299233123216 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25456] ppid=25446 vsize=12920676 CPUtime=1.54 cores=0,2,4,6
/proc/25449/task/25456/stat : 25456 (java) S 25446 25449 25100 0 -1 1077944384 69485 0 0 0 125 29 0 0 20 0 15 0 60087059 13230772224 516244 18446744073709551615 4194304 4196468 140732220028624 140299117136112 140299632249474 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25457] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25457/stat : 25457 (java) S 25446 25449 25100 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 60087059 13230772224 516244 18446744073709551615 4194304 4196468 140732220028624 140299116082400 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25458] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25458/stat : 25458 (java) S 25446 25449 25100 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 60087059 13230772224 516244 18446744073709551615 4194304 4196468 140732220028624 140299115029248 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25459] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25459/stat : 25459 (java) S 25446 25449 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60087062 13230772224 516244 18446744073709551615 4194304 4196468 140732220028624 140299113977808 140299632256923 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25460] ppid=25446 vsize=12920676 CPUtime=2.42 cores=0,2,4,6
/proc/25449/task/25460/stat : 25460 (java) S 25446 25449 25100 0 -1 1077944384 15102 0 0 0 240 2 0 0 20 0 15 0 60087062 13230772224 516244 18446744073709551615 4194304 4196468 140732220028624 140299112925936 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25461] ppid=25446 vsize=12920676 CPUtime=2.52 cores=0,2,4,6
/proc/25449/task/25461/stat : 25461 (java) S 25446 25449 25100 0 -1 1077944384 17481 0 0 0 249 3 0 0 20 0 15 0 60087062 13230772224 516244 18446744073709551615 4194304 4196468 140732220028624 140299111873392 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25462] ppid=25446 vsize=12920676 CPUtime=0.96 cores=0,2,4,6
/proc/25449/task/25462/stat : 25462 (java) S 25446 25449 25100 0 -1 1077944384 24433 0 0 0 94 2 0 0 20 0 15 0 60087062 13230772224 516244 18446744073709551615 4194304 4196468 140732220028624 140299110820336 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25463] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25463/stat : 25463 (java) S 25446 25449 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60087062 13230772224 516244 18446744073709551615 4194304 4196468 140732220028624 140299109768032 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25464] ppid=25446 vsize=12920676 CPUtime=1.39 cores=0,2,4,6
/proc/25449/task/25464/stat : 25464 (java) S 25446 25449 25100 0 -1 1077944384 1254 0 0 0 65 74 0 0 20 0 15 0 60087067 13230772224 516244 18446744073709551615 4194304 4196468 140732220028624 140299108715056 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
Current children cumulated CPU time (s) 2392.36
Current children cumulated vsize (KiB) 12920676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2329.8 s]
/proc/loadavg: 1.55 1.59 1.57 3/214 25709
/proc/meminfo: memFree=25624196/32770624 swapFree=0/352480
[pid=25449] ppid=25446 vsize=12920676 CPUtime=2400.07 cores=0,2,4,6
/proc/25449/stat : 25449 (java) S 25446 25449 25100 0 -1 1077944320 388721 0 0 0 239682 325 0 0 20 0 15 0 60087049 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140732220011168 140299632238327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
/proc/25449/statm: 3230169 514705 3824 1 0 3218943 0
[pid=25449/tid=25451] ppid=25446 vsize=12920676 CPUtime=2306.16 cores=0,2,4,6
/proc/25449/task/25451/stat : 25451 (java) R 25446 25449 25100 0 -1 4202560 144581 0 0 0 230528 88 0 0 20 0 15 0 60087057 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299636476592 140299283427470 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25452] ppid=25446 vsize=12920676 CPUtime=21.21 cores=0,2,4,6
/proc/25449/task/25452/stat : 25452 (java) S 25446 25449 25100 0 -1 1077944384 30741 0 0 0 2084 37 0 0 20 0 15 0 60087057 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299604081680 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25453] ppid=25446 vsize=12920676 CPUtime=21.26 cores=0,2,4,6
/proc/25449/task/25453/stat : 25453 (java) S 25446 25449 25100 0 -1 1077944384 26920 0 0 0 2091 35 0 0 20 0 15 0 60087057 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299235228816 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25454] ppid=25446 vsize=12920676 CPUtime=21.27 cores=0,2,4,6
/proc/25449/task/25454/stat : 25454 (java) S 25446 25449 25100 0 -1 1077944384 28831 0 0 0 2091 36 0 0 20 0 15 0 60087057 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299234175760 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25455] ppid=25446 vsize=12920676 CPUtime=21.22 cores=0,2,4,6
/proc/25449/task/25455/stat : 25455 (java) S 25446 25449 25100 0 -1 1077944384 28450 0 0 0 2084 38 0 0 20 0 15 0 60087057 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299233123216 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25456] ppid=25446 vsize=12920676 CPUtime=1.54 cores=0,2,4,6
/proc/25449/task/25456/stat : 25456 (java) S 25446 25449 25100 0 -1 1077944384 69486 0 0 0 125 29 0 0 20 0 15 0 60087059 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299117136112 140299632249474 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25457] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25457/stat : 25457 (java) S 25446 25449 25100 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 60087059 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299116082400 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25458] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25458/stat : 25458 (java) S 25446 25449 25100 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 60087059 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299115029248 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25459] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25459/stat : 25459 (java) S 25446 25449 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60087062 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299113977808 140299632256923 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25460] ppid=25446 vsize=12920676 CPUtime=2.42 cores=0,2,4,6
/proc/25449/task/25460/stat : 25460 (java) S 25446 25449 25100 0 -1 1077944384 15102 0 0 0 240 2 0 0 20 0 15 0 60087062 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299112925936 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25461] ppid=25446 vsize=12920676 CPUtime=2.52 cores=0,2,4,6
/proc/25449/task/25461/stat : 25461 (java) S 25446 25449 25100 0 -1 1077944384 17481 0 0 0 249 3 0 0 20 0 15 0 60087062 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299111873392 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25462] ppid=25446 vsize=12920676 CPUtime=0.96 cores=0,2,4,6
/proc/25449/task/25462/stat : 25462 (java) S 25446 25449 25100 0 -1 1077944384 24433 0 0 0 94 2 0 0 20 0 15 0 60087062 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299110820336 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25463] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25463/stat : 25463 (java) S 25446 25449 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60087062 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299109768032 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25464] ppid=25446 vsize=12920676 CPUtime=1.39 cores=0,2,4,6
/proc/25449/task/25464/stat : 25464 (java) S 25446 25449 25100 0 -1 1077944384 1254 0 0 0 65 74 0 0 20 0 15 0 60087067 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299108715056 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 12920676

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25449 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2329.8 s]
/proc/loadavg: 1.55 1.59 1.57 3/214 25709
/proc/meminfo: memFree=25624196/32770624 swapFree=0/352480
[pid=25449] ppid=25446 vsize=12920676 CPUtime=2400.07 cores=0,2,4,6
/proc/25449/stat : 25449 (java) S 25446 25449 25100 0 -1 1077944320 388721 0 0 0 239682 325 0 0 20 0 15 0 60087049 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140732220011168 140299632238327 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
/proc/25449/statm: 3230169 514705 3824 1 0 3218943 0
[pid=25449/tid=25451] ppid=25446 vsize=12920676 CPUtime=2306.16 cores=0,2,4,6
/proc/25449/task/25451/stat : 25451 (java) R 25446 25449 25100 0 -1 4202560 144581 0 0 0 230528 88 0 0 20 0 15 0 60087057 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299636476592 140299283427470 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25452] ppid=25446 vsize=12920676 CPUtime=21.21 cores=0,2,4,6
/proc/25449/task/25452/stat : 25452 (java) S 25446 25449 25100 0 -1 1077944384 30741 0 0 0 2084 37 0 0 20 0 15 0 60087057 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299604081680 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25453] ppid=25446 vsize=12920676 CPUtime=21.26 cores=0,2,4,6
/proc/25449/task/25453/stat : 25453 (java) S 25446 25449 25100 0 -1 1077944384 26920 0 0 0 2091 35 0 0 20 0 15 0 60087057 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299235228816 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25454] ppid=25446 vsize=12920676 CPUtime=21.27 cores=0,2,4,6
/proc/25449/task/25454/stat : 25454 (java) S 25446 25449 25100 0 -1 1077944384 28831 0 0 0 2091 36 0 0 20 0 15 0 60087057 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299234175760 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25455] ppid=25446 vsize=12920676 CPUtime=21.22 cores=0,2,4,6
/proc/25449/task/25455/stat : 25455 (java) S 25446 25449 25100 0 -1 1077944384 28450 0 0 0 2084 38 0 0 20 0 15 0 60087057 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299233123216 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25456] ppid=25446 vsize=12920676 CPUtime=1.54 cores=0,2,4,6
/proc/25449/task/25456/stat : 25456 (java) S 25446 25449 25100 0 -1 1077944384 69486 0 0 0 125 29 0 0 20 0 15 0 60087059 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299117136112 140299632249474 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25457] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25457/stat : 25457 (java) S 25446 25449 25100 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 60087059 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299116082400 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25458] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25458/stat : 25458 (java) S 25446 25449 25100 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 60087059 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299115029248 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25459] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25459/stat : 25459 (java) S 25446 25449 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60087062 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299113977808 140299632256923 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25460] ppid=25446 vsize=12920676 CPUtime=2.42 cores=0,2,4,6
/proc/25449/task/25460/stat : 25460 (java) S 25446 25449 25100 0 -1 1077944384 15102 0 0 0 240 2 0 0 20 0 15 0 60087062 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299112925936 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25461] ppid=25446 vsize=12920676 CPUtime=2.52 cores=0,2,4,6
/proc/25449/task/25461/stat : 25461 (java) S 25446 25449 25100 0 -1 1077944384 17481 0 0 0 249 3 0 0 20 0 15 0 60087062 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299111873392 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25462] ppid=25446 vsize=12920676 CPUtime=0.96 cores=0,2,4,6
/proc/25449/task/25462/stat : 25462 (java) S 25446 25449 25100 0 -1 1077944384 24433 0 0 0 94 2 0 0 20 0 15 0 60087062 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299110820336 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25463] ppid=25446 vsize=12920676 CPUtime=0 cores=0,2,4,6
/proc/25449/task/25463/stat : 25463 (java) S 25446 25449 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60087062 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299109768032 140299632248533 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
[pid=25449/tid=25464] ppid=25446 vsize=12920676 CPUtime=1.39 cores=0,2,4,6
/proc/25449/task/25464/stat : 25464 (java) S 25446 25449 25100 0 -1 1077944384 1254 0 0 0 65 74 0 0 20 0 15 0 60087067 13230772224 514705 18446744073709551615 4194304 4196468 140732220028624 140299108715056 140299632249474 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21360640 140732220031379 140732220031566 140732220031566 140732220035023 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 12920676

Child status: 143
Real time (s): 2329.83
CPU time (s): 2400.12
CPU user time (s): 2396.85
CPU system time (s): 3.266
CPU usage (%): 103.017
Max. virtual memory (cumulated for all children) (KiB): 12920676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.85
system time used= 3.266
maximum resident set size= 3533164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 389979
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80772
involuntary context switches= 5909

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1987 second user time and 14.8505 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-07 18:04:31
IDJOB=4248588
IDBENCH=140583
IDSOLVER=2628
FILE ID=node133/4248588-1502122718
RUNJOBID= node133-1502065585-15256
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-38.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248588-1502122718/watcher-4248588-1502122718 -o /tmp/evaluation-result-4248588-1502122718/solver-4248588-1502122718 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502065585-15256 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1642828793 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4248588-1502122718.xml

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

MD5SUM BENCH= f8d5128c7bc11e119a8a7f8e485ceae3
RANDOM SEED=1642828793

node133.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.17
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.17
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.17
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.17
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:        28939432 kB
MemAvailable:   29554744 kB
Buffers:          232700 kB
Cached:           671980 kB
SwapCached:            0 kB
Active:          3024028 kB
Inactive:         376128 kB
Active(anon):    2495500 kB
Inactive(anon):    24920 kB
Active(file):     528528 kB
Inactive(file):   351208 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42120 kB
Writeback:             4 kB
AnonPages:       2497660 kB
Mapped:            56252 kB
Shmem:             25276 kB
Slab:             129808 kB
SReclaimable:     102820 kB
SUnreclaim:        26988 kB
KernelStack:        3520 kB
PageTables:        10512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3056472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2365440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61948 MiB
End job on node133 at 2017-08-07 18:43:21