Trace number 4274327

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering 2017-07-26SAT (TO)6 2520.1001 2446.9399

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.23/0.40	c version: 2017-07-26
0.23/0.40	c seed: 1491041093
0.23/0.40	c timeout: 2520
0.23/0.40	c memlimit: 11000
0.23/0.40	c nbcore: 4
0.43/0.42	c Parsing instance...
5.12/1.91	c Parsing done, starting search...
11.97/7.34	o 702
18.45/13.12	o 701
24.38/18.95	o 700
30.30/24.72	o 699
36.21/30.51	o 698
41.81/36.10	o 697
47.48/41.58	o 696
53.12/47.05	o 695
58.64/52.44	o 694
64.23/57.83	o 693
69.78/63.26	o 692
75.30/68.65	o 691
80.87/74.02	o 690
86.32/79.36	o 689
91.86/84.72	o 688
97.49/90.22	o 687
102.94/95.53	o 686
108.41/100.83	o 685
113.86/106.13	o 684
119.29/111.44	o 683
124.74/116.75	o 682
130.30/122.13	o 681
135.74/127.42	o 680
141.18/132.71	o 679
146.53/137.96	o 678
152.00/143.21	o 677
157.52/148.62	o 676
162.97/153.94	o 675
168.44/159.22	o 674
173.88/164.52	o 673
179.22/169.75	o 672
184.68/175.02	o 671
190.12/180.32	o 670
195.45/185.57	o 669
200.89/190.88	o 668
206.28/196.07	o 667
212.11/201.72	o 666
217.98/207.48	o 665
223.87/213.15	o 664
229.62/218.76	o 663
235.55/224.50	o 662
241.21/230.10	o 661
247.07/235.73	o 660
252.72/241.28	o 659
258.48/246.85	o 658
264.23/252.43	o 657
269.88/257.95	o 656
275.85/263.52	o 655
281.40/268.99	o 654
287.06/274.49	o 653
292.80/280.07	o 652
298.46/285.51	o 651
304.09/291.02	o 650
309.66/296.48	o 649
315.33/301.91	o 648
320.86/307.37	o 647
326.42/312.78	o 646
332.05/318.23	o 645
337.52/323.59	o 644
343.04/328.93	o 643
348.52/334.21	o 642
353.95/339.54	o 641
359.43/344.82	o 640
364.76/350.04	o 639
370.08/355.27	o 638
375.56/360.58	o 637
380.89/365.75	o 636
386.12/370.86	o 635
391.40/375.95	o 634
396.63/381.05	o 633
401.93/386.16	o 632
407.49/391.26	o 631
412.71/396.33	o 630
417.87/401.31	o 629
423.00/406.30	o 628
428.07/411.26	o 627
433.19/416.25	o 626
438.31/421.21	o 625
443.37/426.15	o 624
448.43/431.05	o 623
453.44/435.99	o 622
458.57/440.90	o 621
463.63/445.80	o 620
468.66/450.74	o 619
473.73/455.60	o 618
478.65/460.44	o 617
483.58/465.25	o 616
488.66/470.17	o 615
493.68/475.04	o 614
498.60/479.84	o 613
503.53/484.60	o 612
508.36/489.38	o 611
513.20/494.09	o 610
518.02/498.78	o 609
523.52/503.64	o 608
528.25/508.25	o 607
532.97/512.84	o 606
537.70/517.43	o 605
542.44/522.04	o 604
547.16/526.68	o 603
551.93/531.33	o 602
556.56/535.85	o 601
561.21/540.32	o 600
565.73/544.79	o 599
570.36/549.29	o 598
575.04/553.84	o 597
579.57/558.25	o 596
584.11/562.68	o 595
588.69/567.14	o 594
593.22/571.54	o 593
597.65/575.88	o 592
602.12/580.26	o 591
606.73/584.72	o 590
611.08/589.00	o 589
615.51/593.25	o 588
619.98/597.60	o 587
624.53/602.02	o 586
628.94/606.31	o 585
633.31/610.64	o 584
637.74/614.95	o 583
642.17/619.24	o 582
646.50/623.47	o 581
650.87/627.76	o 580
655.21/631.96	o 579
659.85/636.26	o 578
664.25/640.53	o 577
668.48/644.62	o 576
672.71/648.70	o 575
676.88/652.84	o 574
681.01/656.88	o 573
685.23/660.93	o 572
689.35/664.96	o 571
693.53/669.07	o 570
697.65/673.07	o 569
701.72/677.09	o 568
705.84/681.02	o 567
709.85/684.97	o 566
713.92/688.94	o 565
717.95/692.89	o 564
722.02/696.83	o 563
725.95/700.64	o 562
729.82/704.48	o 561
733.87/708.35	o 560
737.75/712.18	o 559
741.79/716.02	o 558
745.76/719.94	o 557
749.67/723.76	o 556
753.66/727.62	o 555
757.49/731.38	o 554
761.46/735.22	o 553
765.23/738.97	o 552
769.26/742.86	o 551
773.13/746.60	o 550
776.86/750.27	o 549
780.63/753.97	o 548
784.56/757.77	o 547
788.33/761.49	o 546
792.07/765.10	o 545
795.92/768.80	o 544
799.91/772.48	o 543
803.68/776.19	o 542
807.36/779.79	o 541
811.03/783.33	o 540
814.66/786.87	o 539
818.33/790.44	o 538
821.94/793.95	o 537
825.62/797.52	o 536
829.09/800.99	o 535
832.81/804.58	o 534
836.28/808.00	o 533
840.01/811.51	o 532
843.47/814.96	o 531
846.98/818.32	o 530
850.45/821.72	o 529
853.89/825.03	o 528
857.35/828.48	o 527
860.82/831.82	o 526
864.10/835.10	o 525
867.62/838.45	o 524
871.19/841.90	o 523
874.57/845.22	o 522
877.84/848.46	o 521
881.37/851.81	o 520
884.74/855.15	o 519
888.00/858.39	o 518
891.34/861.58	o 517
894.80/864.94	o 516
898.08/868.18	o 515
901.34/871.35	o 514
904.68/874.59	o 513
908.14/877.91	o 512
911.32/881.10	o 511
914.58/884.22	o 510
917.80/887.37	o 509
921.08/890.59	o 508
924.35/893.70	o 507
927.42/896.76	o 506
930.59/899.82	o 505
933.81/902.90	o 504
936.98/906.01	o 503
940.05/909.01	o 502
943.00/911.99	o 501
946.07/914.99	o 500
949.30/918.10	o 499
952.37/921.07	o 498
955.33/923.99	o 497
958.39/926.91	o 496
961.38/929.83	o 495
964.36/932.74	o 494
967.33/935.62	o 493
970.19/938.49	o 492
973.22/941.39	o 491
976.29/944.39	o 490
979.26/947.27	o 489
982.14/950.07	o 488
985.33/952.93	o 487
988.21/955.70	o 486
990.99/958.45	o 485
993.77/961.19	o 484
996.63/963.90	o 483
999.40/966.62	o 482
1002.17/969.33	o 481
1004.83/971.99	o 480
1007.60/974.67	o 479
1010.48/977.40	o 478
1013.16/980.09	o 477
1015.92/982.74	o 476
1018.61/985.37	o 475
1021.27/987.99	o 474
1024.06/990.62	o 473
1026.74/993.24	o 472
1029.41/995.83	o 471
1032.07/998.41	o 470
1034.64/1000.95	o 469
1037.21/1003.49	o 468
1039.89/1006.04	o 467
1042.45/1008.57	o 466
1045.03/1011.08	o 465
1047.60/1013.60	o 464
1050.28/1016.18	o 463
1053.04/1018.86	o 462
1055.74/1021.55	o 461
1058.51/1024.20	o 460
1060.98/1026.69	o 459
1063.56/1029.16	o 458
1066.28/1031.77	o 457
1068.95/1034.30	o 456
1071.42/1036.76	o 455
1073.99/1039.20	o 454
1076.57/1041.73	o 453
1079.17/1044.33	o 452
1081.65/1046.75	o 451
1084.04/1049.07	o 450
1086.40/1051.38	o 449
1088.88/1053.70	o 448
1091.37/1056.12	o 447
1093.86/1058.62	o 446
1096.44/1061.12	o 445
1098.70/1063.36	o 444
1100.98/1065.59	o 443
1103.35/1067.82	o 442
1105.62/1070.06	o 441
1107.88/1072.28	o 440
1110.25/1074.57	o 439
1112.65/1076.96	o 438
1114.94/1079.17	o 437
1117.21/1081.33	o 436
1119.48/1083.56	o 435
1121.85/1085.86	o 434
1124.16/1088.18	o 433
1126.42/1090.38	o 432
1128.59/1092.48	o 431
1130.77/1094.55	o 430
1132.94/1096.63	o 429
1135.22/1098.89	o 428
1137.53/1101.16	o 427
1139.61/1103.19	o 426
1141.87/1105.34	o 425
1144.07/1107.58	o 424
1146.24/1109.64	o 423
1148.31/1111.65	o 422
1150.48/1113.70	o 421
1152.65/1115.81	o 420
1154.82/1117.95	o 419
1157.04/1120.11	o 418
1159.00/1122.05	o 417
1161.07/1124.03	o 416
1163.14/1126.08	o 415
1165.40/1128.21	o 414
1167.50/1130.31	o 413
1169.47/1132.21	o 412
1171.54/1134.22	o 411
1173.54/1136.29	o 410
1175.84/1138.27	o 409
1177.82/1140.13	o 408
1179.79/1142.02	o 407
1181.75/1143.97	o 406
1183.75/1145.98	o 405
1185.62/1147.76	o 404
1187.70/1149.70	o 403
1189.70/1151.70	o 402
1191.47/1153.49	o 401
1193.53/1155.45	o 400
1195.53/1157.40	o 399
1197.31/1159.15	o 398
1199.28/1161.02	o 397
1201.17/1162.94	o 396
1202.93/1164.68	o 395
1204.80/1166.41	o 394
1206.58/1168.19	o 393
1208.48/1170.08	o 392
1210.24/1171.79	o 391
1212.22/1173.63	o 390
1214.02/1175.49	o 389
1215.79/1177.19	o 388
1217.69/1179.03	o 387
1219.36/1180.68	o 386
1221.23/1182.42	o 385
1223.03/1184.23	o 384
1224.70/1185.84	o 383
1226.47/1187.53	o 382
1228.27/1189.30	o 381
1229.94/1190.92	o 380
1231.60/1192.51	o 379
1233.31/1194.25	o 378
1235.08/1195.93	o 377
1236.84/1197.64	o 376
1238.55/1199.37	o 375
1240.32/1201.02	o 374
1242.01/1202.72	o 373
1243.59/1204.29	o 372
1245.29/1205.97	o 371
1246.86/1207.46	o 370
1248.63/1209.11	o 369
1250.22/1210.76	o 368
1251.79/1212.26	o 367
1253.54/1213.92	o 366
1255.15/1215.54	o 365
1256.73/1217.01	o 364
1258.29/1218.58	o 363
1259.90/1220.17	o 362
1261.46/1221.64	o 361
1263.06/1223.20	o 360
1264.53/1224.64	o 359
1266.13/1226.20	o 358
1267.60/1227.67	o 357
1269.21/1229.21	o 356
1270.69/1230.67	o 355
1272.20/1232.19	o 354
1273.76/1233.62	o 353
1275.27/1235.13	o 352
1276.74/1236.53	o 351
1278.14/1238.00	o 350
1279.61/1239.34	o 349
1281.11/1240.80	o 348
1282.39/1242.10	o 347
1283.88/1243.57	o 346
1285.46/1245.01	o 345
1286.85/1246.44	o 344
1288.34/1247.84	o 343
1289.74/1249.25	o 342
1291.11/1250.54	o 341
1292.51/1251.93	o 340
1293.89/1253.26	o 339
1295.29/1254.63	o 338
1296.77/1256.01	o 337
1298.06/1257.37	o 336
1299.46/1258.73	o 335
1300.73/1259.97	o 334
1302.13/1261.31	o 333
1303.40/1262.50	o 332
1304.70/1263.81	o 331
1305.87/1264.99	o 330
1307.17/1266.29	o 329
1308.45/1267.45	o 328
1309.75/1268.74	o 327
1311.02/1269.96	o 326
1312.32/1271.25	o 325
1313.49/1272.37	o 324
1314.79/1273.62	o 323
1315.96/1274.76	o 322
1317.27/1276.01	o 321
1318.44/1277.16	o 320
1319.64/1278.38	o 319
1320.91/1279.53	o 318
1322.11/1280.75	o 317
1323.31/1281.96	o 316
1324.49/1283.07	o 315
1325.68/1284.27	o 314
1326.85/1285.34	o 313
1328.05/1286.51	o 312
1329.23/1287.63	o 311
1330.33/1288.78	o 310
1331.59/1289.93	o 309
1332.70/1291.07	o 308
1333.89/1292.21	o 307
1334.95/1293.27	o 306
1336.15/1294.40	o 305
1337.22/1295.41	o 304
1338.32/1296.51	o 303
1339.39/1297.56	o 302
1340.49/1298.65	o 301
1341.59/1299.74	o 300
1342.67/1300.73	o 299
1343.77/1301.80	o 298
1344.73/1302.77	o 297
1345.83/1303.83	o 296
1346.83/1304.89	o 295
1347.91/1305.82	o 294
1348.91/1306.86	o 293
1349.91/1307.89	o 292
1351.08/1308.92	o 291
1352.08/1309.94	o 290
1353.15/1310.91	o 289
1354.15/1311.91	o 288
1355.15/1312.92	o 287
1356.12/1313.81	o 286
1357.02/1314.79	o 285
1358.09/1315.73	o 284
1359.09/1316.70	o 283
1359.99/1317.66	o 282
1360.96/1318.53	o 281
1361.86/1319.48	o 280
1362.86/1320.42	o 279
1363.74/1321.29	o 278
1364.74/1322.23	o 277
1365.65/1323.15	o 276
1366.61/1324.02	o 275
1367.51/1324.93	o 274
1368.41/1325.85	o 273
1369.31/1326.76	o 272
1370.18/1327.57	o 271
1371.08/1328.47	o 270
1371.98/1329.36	o 269
1372.86/1330.17	o 268
1373.76/1331.05	o 267
1374.65/1331.91	o 266
1375.52/1332.76	o 265
1376.42/1333.61	o 264
1377.22/1334.46	o 263
1378.12/1335.30	o 262
1378.99/1336.13	o 261
1379.78/1336.96	o 260
1380.58/1337.78	o 259
1381.46/1338.54	o 258
1382.26/1339.35	o 257
1383.07/1340.16	o 256
1383.83/1340.87	o 255
1384.63/1341.68	o 254
1385.43/1342.47	o 253
1386.21/1343.17	o 252
1387.00/1343.95	o 251
1387.80/1344.72	o 250
1388.55/1345.49	o 249
1389.38/1346.25	o 248
1390.08/1347.00	o 247
1390.88/1347.75	o 246
1391.58/1348.49	o 245
1392.36/1349.16	o 244
1393.05/1349.89	o 243
1393.85/1350.62	o 242
1394.55/1351.34	o 241
1395.55/1352.10	o 240
1396.35/1352.80	o 239
1397.05/1353.51	o 238
1397.75/1354.20	o 237
1398.35/1354.89	o 236
1399.10/1355.59	o 235
1399.80/1356.28	o 234
1400.50/1356.96	o 233
1401.20/1357.64	o 232
1401.87/1358.28	o 231
1402.58/1358.95	o 230
1403.28/1359.61	o 229
1403.88/1360.27	o 228
1404.55/1360.86	o 227
1405.25/1361.51	o 226
1405.86/1362.15	o 225
1406.45/1362.79	o 224
1407.12/1363.37	o 223
1407.72/1363.99	o 222
1408.42/1364.61	o 221
1409.02/1365.22	o 220
1409.59/1365.78	o 219
1410.19/1366.39	o 218
1410.79/1366.99	o 217
1411.39/1367.58	o 216
1412.00/1368.17	o 215
1412.66/1368.72	o 214
1413.26/1369.30	o 213
1413.76/1369.88	o 212
1414.36/1370.46	o 211
1414.97/1371.03	o 210
1415.53/1371.58	o 209
1416.14/1372.14	o 208
1416.73/1372.70	o 207
1417.23/1373.26	o 206
1417.90/1373.81	o 205
1418.40/1374.35	o 204
1418.90/1374.89	o 203
1419.50/1375.43	o 202
1420.00/1375.96	o 201
1420.58/1376.46	o 200
1421.07/1376.98	o 199
1421.68/1377.50	o 198
1422.18/1378.02	o 197
1422.67/1378.53	o 196
1423.14/1379.00	o 195
1423.74/1379.50	o 194
1424.14/1380.00	o 193
1424.64/1380.49	o 192
1425.31/1381.01	o 191
1425.71/1381.49	o 190
1426.21/1381.98	o 189
1426.71/1382.46	o 188
1427.21/1382.93	o 187
1427.68/1383.39	o 186
1428.18/1383.85	o 185
1428.68/1384.32	o 184
1429.08/1384.78	o 183
1429.58/1385.24	o 182
1430.08/1385.70	o 181
1430.56/1386.13	o 180
1430.95/1386.58	o 179
1431.46/1387.02	o 178
1431.86/1387.45	o 177
1432.26/1387.88	o 176
1432.76/1388.32	o 175
1433.16/1388.74	o 174
1433.64/1389.14	o 173
1434.03/1389.57	o 172
1434.43/1389.99	o 171
1434.93/1390.40	o 170
1435.33/1390.81	o 169
1435.73/1391.22	o 168
1436.13/1391.62	o 167
1436.60/1392.01	o 166
1436.99/1392.41	o 165
1437.39/1392.80	o 164
1437.70/1393.19	o 163
1438.09/1393.58	o 162
1438.49/1393.96	o 161
1438.89/1394.34	o 160
1439.36/1394.72	o 159
1439.67/1395.09	o 158
1440.07/1395.45	o 157
1440.46/1395.82	o 156
1440.77/1396.18	o 155
1441.16/1396.55	o 154
1441.56/1396.91	o 153
1441.86/1397.26	o 152
1442.33/1397.62	o 151
1442.63/1397.97	o 150
1443.03/1398.32	o 149
1443.33/1398.67	o 148
1443.74/1399.01	o 147
1444.04/1399.34	o 146
1444.34/1399.68	o 145
1444.71/1400.00	o 144
1445.11/1400.33	o 143
1445.41/1400.65	o 142
1445.71/1400.97	o 141
1446.01/1401.29	o 140
1446.41/1401.61	o 139
1446.71/1401.92	o 138
1447.01/1402.24	o 137
1447.37/1402.56	o 136
1447.67/1402.86	o 135
1447.98/1403.17	o 134
1448.27/1403.47	o 133
1448.57/1403.77	o 132
1448.88/1404.06	o 131
1449.17/1404.36	o 130
1449.47/1404.66	o 129
1449.84/1404.95	o 128
1450.14/1405.24	o 127
1450.44/1405.52	o 126
1450.64/1405.79	o 125
1450.95/1406.07	o 124
1451.24/1406.34	o 123
1451.54/1406.61	o 122
1451.74/1406.89	o 121
1452.12/1407.18	o 120
1452.42/1407.45	o 119
1452.72/1407.71	o 118
1452.92/1407.97	o 117
1453.22/1408.24	o 116
1453.42/1408.49	o 115
1453.72/1408.75	o 114
1453.92/1409.00	o 113
1454.22/1409.25	o 112
1454.52/1409.50	o 111
1454.76/1409.76	o 110
1454.99/1410.00	o 109
1455.28/1410.24	o 108
1455.48/1410.47	o 107
1455.78/1410.71	o 106
1455.98/1410.95	o 105
1456.19/1411.18	o 104
1456.48/1411.41	o 103
1456.68/1411.64	o 102
1456.88/1411.87	o 101
1457.09/1412.09	o 100
1457.38/1412.32	o 99
1457.65/1412.55	o 98
1457.85/1412.77	o 97
1458.05/1412.98	o 96
1458.26/1413.20	o 95
1458.55/1413.41	o 94
1458.75/1413.61	o 93
1458.95/1413.83	o 92
1459.16/1414.03	o 91
1459.35/1414.24	o 90
1459.55/1414.44	o 89
1459.75/1414.64	o 88
1459.95/1414.84	o 87
1460.23/1415.07	o 86
1460.42/1415.26	o 85
1460.62/1415.46	o 84
1460.82/1415.65	o 83
1461.02/1415.84	o 82
1461.23/1416.03	o 81
1461.42/1416.21	o 80
1461.62/1416.41	o 79
1461.72/1416.59	o 78
1461.92/1416.78	o 77
1462.12/1416.96	o 76
1462.33/1417.14	o 75
1462.52/1417.32	o 74
1462.76/1417.52	o 73
1462.89/1417.69	o 72
1463.09/1417.86	o 71
1463.30/1418.03	o 70
1463.49/1418.20	o 69
1463.59/1418.36	o 68
1463.79/1418.54	o 67
1463.99/1418.70	o 66
1464.09/1418.87	o 65
1464.30/1419.03	o 64
1464.40/1419.19	o 63
1464.59/1419.35	o 62
1464.79/1419.51	o 61
1464.89/1419.66	o 60
1465.09/1419.82	o 59
1465.19/1419.97	o 58
1465.47/1420.14	o 57
1465.56/1420.30	o 56
1465.76/1420.45	o 55
1465.86/1420.59	o 54
1466.06/1420.74	o 53
1466.16/1420.88	o 52
1466.37/1421.03	o 51
1466.47/1421.17	o 50
1466.66/1421.31	o 49
1466.76/1421.45	o 48
1466.86/1421.59	o 47
1467.06/1421.73	o 46
1467.16/1421.86	o 45
1467.26/1422.00	o 44
1467.48/1422.13	o 43
1467.57/1422.26	o 42
1467.67/1422.40	o 41
1467.87/1422.52	o 40
1467.97/1422.67	o 39
1468.24/1422.80	o 38
1468.34/1422.93	o 37
1468.44/1423.05	o 36
1468.54/1423.18	o 35
1468.74/1423.30	o 34
1468.84/1423.42	o 33
1468.94/1423.54	o 32
1469.04/1423.65	o 31
1469.14/1423.77	o 30
1469.24/1423.89	o 29
1469.34/1424.00	o 28
1469.54/1424.12	o 27
1469.64/1424.23	o 26
1469.74/1424.34	o 25
1469.84/1424.45	o 24
1469.94/1424.56	o 23
1470.04/1424.67	o 22
1470.14/1424.78	o 21
1470.24/1424.88	o 20
1470.34/1424.98	o 19
1470.44/1425.09	o 18
1470.55/1425.19	o 17
1470.64/1425.29	o 16
1470.74/1425.39	o 15
1470.84/1425.49	o 14
1471.11/1425.61	o 13
1471.21/1425.71	o 12
1471.31/1425.80	o 11
1471.41/1425.90	o 10
1471.41/1425.99	o 9
1471.52/1426.08	o 8
1471.62/1426.18	o 7
1471.71/1426.27	o 6
2520.05/2446.90	s SATISFIABLE
2520.05/2446.91	v <instantiation>
2520.05/2446.91	v 	<list>
2520.05/2446.91	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]
2520.05/2446.91	v 	</list>
2520.05/2446.91	v 	<values>
2520.05/2446.91	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 
2520.05/2446.91	v 	</values>
2520.05/2446.91	v </instantiation>

Verifier Data

OK	6

Watcher Data

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15414 MiB free)
  memory of node 1: 16384 MiB (13135 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274327-1502864770/watcher-4274327-1502864770 -o /tmp/evaluation-result-4274327-1502864770/solver-4274327-1502864770 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10387 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1491041093 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274327-1502864770.xml 

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

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

solver pid=18545, runsolver pid=18542

[startup+0.100107 s]*
/proc/loadavg: 1.34 1.43 1.44 2/197 18547
/proc/meminfo: memFree=29234608/32770624 swapFree=67105588/67108860
[pid=18545] ppid=18542 vsize=13358552 memory=14020 CPUtime=0 cores=0,2,4,6
/proc/18545/stat : 18545 (java) S 18542 18545 12560 0 -1 1077944320 3366 0 0 0 0 0 0 0 20 0 6 0 88672243 13679157248 3505 18446744073709551615 4194304 4196468 140734944302496 140734944285040 139640826253047 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
/proc/18545/statm: 3339638 3505 1875 1 0 3329135 0
[pid=18545/tid=18547] ppid=18542 vsize=13358552 memory=-6439968830534014599 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18547/stat : 18547 (java) R 18542 18545 12560 0 -1 4202560 2052 0 0 0 0 0 0 0 20 0 6 0 88672253 13679157248 3505 18446744073709551615 4194304 4196468 140734944302496 139640830489168 139640811935573 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18548] ppid=18542 vsize=13358552 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18548/stat : 18548 (java) S 18542 18545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 88672253 13679157248 3505 18446744073709551615 4194304 4196468 140734944302496 139640426228752 139640826263253 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18549] ppid=18542 vsize=13358552 memory=140511070295680 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18549/stat : 18549 (java) S 18542 18545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 88672253 13679157248 3505 18446744073709551615 4194304 4196468 140734944302496 139640425176208 139640826263253 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18550] ppid=18542 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18550/stat : 18550 (java) S 18542 18545 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 88672253 13679157248 3505 18446744073709551615 4194304 4196468 140734944302496 139640424123152 139640826263253 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18551] ppid=18542 vsize=13358552 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18551/stat : 18551 (java) S 18542 18545 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 88672253 13679157248 3505 18446744073709551615 4194304 4196468 140734944302496 139640423070608 139640826263253 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 14020 KiB

[startup+0.210058 s]*
/proc/loadavg: 1.34 1.43 1.44 3/210 18560
/proc/meminfo: memFree=29222972/32770624 swapFree=67105588/67108860
[pid=18545] ppid=18542 vsize=13975920 memory=28708 CPUtime=0.07 cores=0,2,4,6
/proc/18545/stat : 18545 (java) S 18542 18545 12560 0 -1 1077944320 6469 0 0 0 6 1 0 0 20 0 15 0 88672243 14311342080 7177 18446744073709551615 4194304 4196468 140734944302496 140734944285040 139640826253047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
/proc/18545/statm: 3493980 7177 3328 1 0 3482759 0
[pid=18545/tid=18547] ppid=18542 vsize=13975920 memory=8318255677412212789 CPUtime=0.05 cores=0,2,4,6
/proc/18545/task/18547/stat : 18547 (java) R 18542 18545 12560 0 -1 4202560 4553 0 0 0 5 0 0 0 20 0 15 0 88672253 14311342080 7177 18446744073709551615 4194304 4196468 140734944302496 139640830495328 139640467844953 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18548] ppid=18542 vsize=13975920 memory=328 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18548/stat : 18548 (java) S 18542 18545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88672253 14311342080 7177 18446744073709551615 4194304 4196468 140734944302496 139640426228752 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18549] ppid=18542 vsize=13975920 memory=288370887222007424 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18549/stat : 18549 (java) S 18542 18545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88672253 14311342080 7177 18446744073709551615 4194304 4196468 140734944302496 139640425176208 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18550] ppid=18542 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18550/stat : 18550 (java) S 18542 18545 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88672253 14311342080 7177 18446744073709551615 4194304 4196468 140734944302496 139640424123152 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18551] ppid=18542 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18551/stat : 18551 (java) S 18542 18545 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88672253 14311342080 7177 18446744073709551615 4194304 4196468 140734944302496 139640423070608 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18552] ppid=18542 vsize=13975920 memory=140511070295680 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18552/stat : 18552 (java) S 18542 18545 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88672255 14311342080 7177 18446744073709551615 4194304 4196468 140734944302496 139640304511216 139640826264194 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18553] ppid=18542 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18553/stat : 18553 (java) S 18542 18545 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88672255 14311342080 7177 18446744073709551615 4194304 4196468 140734944302496 139640303457440 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18554] ppid=18542 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18554/stat : 18554 (java) S 18542 18545 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88672255 14311342080 7177 18446744073709551615 4194304 4196468 140734944302496 139640302404336 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18555] ppid=18542 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18555/stat : 18555 (java) S 18542 18545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88672258 14311342080 7177 18446744073709551615 4194304 4196468 140734944302496 139640301352912 139640826271643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18556] ppid=18542 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18556/stat : 18556 (java) S 18542 18545 12560 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 88672258 14311342080 7177 18446744073709551615 4194304 4196468 140734944302496 139640300301040 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18557] ppid=18542 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18557/stat : 18557 (java) S 18542 18545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88672258 14311342080 7177 18446744073709551615 4194304 4196468 140734944302496 139640299248496 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18558] ppid=18542 vsize=13975920 memory=140511070295680 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18558/stat : 18558 (java) S 18542 18545 12560 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 88672258 14311342080 7177 18446744073709551615 4194304 4196468 140734944302496 139640298195440 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18559] ppid=18542 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18559/stat : 18559 (java) S 18542 18545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88672258 14311342080 7177 18446744073709551615 4194304 4196468 140734944302496 139640297143136 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18560] ppid=18542 vsize=13975920 memory=140511070295680 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18560/stat : 18560 (java) S 18542 18545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88672263 14311342080 7177 18446744073709551615 4194304 4196468 140734944302496 139640296090160 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 28708 KiB

[startup+0.3106 s]*
/proc/loadavg: 1.34 1.43 1.44 4/210 18560
/proc/meminfo: memFree=29207700/32770624 swapFree=67105588/67108860
[pid=18545] ppid=18542 vsize=13975920 memory=40636 CPUtime=0.23 cores=0,2,4,6
/proc/18545/stat : 18545 (java) S 18542 18545 12560 0 -1 1077944320 9871 0 0 0 21 2 0 0 20 0 15 0 88672243 14311342080 10159 18446744073709551615 4194304 4196468 140734944302496 140734944285040 139640826253047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
/proc/18545/statm: 3493980 10159 3538 1 0 3482759 0
[pid=18545/tid=18547] ppid=18542 vsize=13975920 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/18545/task/18547/stat : 18547 (java) R 18542 18545 12560 0 -1 4202560 7582 0 0 0 14 2 0 0 20 0 15 0 88672253 14311342080 10159 18446744073709551615 4194304 4196468 140734944302496 139640830480320 139640826274973 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18548] ppid=18542 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18548/stat : 18548 (java) S 18542 18545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88672253 14311342080 10159 18446744073709551615 4194304 4196468 140734944302496 139640426228752 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18549] ppid=18542 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18549/stat : 18549 (java) S 18542 18545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88672253 14311342080 10159 18446744073709551615 4194304 4196468 140734944302496 139640425176208 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18550] ppid=18542 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18550/stat : 18550 (java) S 18542 18545 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88672253 14311342080 10159 18446744073709551615 4194304 4196468 140734944302496 139640424123152 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18551] ppid=18542 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18551/stat : 18551 (java) S 18542 18545 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88672253 14311342080 10159 18446744073709551615 4194304 4196468 140734944302496 139640423070608 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18552] ppid=18542 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18552/stat : 18552 (java) S 18542 18545 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 88672255 14311342080 10159 18446744073709551615 4194304 4196468 140734944302496 139640304511216 139640826264194 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18553] ppid=18542 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18553/stat : 18553 (java) S 18542 18545 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88672255 14311342080 10159 18446744073709551615 4194304 4196468 140734944302496 139640303457440 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18554] ppid=18542 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18554/stat : 18554 (java) S 18542 18545 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88672255 14311342080 10159 18446744073709551615 4194304 4196468 140734944302496 139640302404336 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18555] ppid=18542 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18555/stat : 18555 (java) S 18542 18545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88672258 14311342080 10159 18446744073709551615 4194304 4196468 140734944302496 139640301352912 139640826271643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18556] ppid=18542 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18545/task/18556/stat : 18556 (java) S 18542 18545 12560 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 15 0 88672258 14311342080 10159 18446744073709551615 4194304 4196468 140734944302496 139640300301040 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18557] ppid=18542 vsize=13975920 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/18545/task/18557/stat : 18557 (java) S 18542 18545 12560 0 -1 1077944384 176 0 0 0 1 0 0 0 20 0 15 0 88672258 14311342080 10159 18446744073709551615 4194304 4196468 140734944302496 139640299248496 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18558] ppid=18542 vsize=13975920 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/18545/task/18558/stat : 18558 (java) S 18542 18545 12560 0 -1 1077944384 388 0 0 0 4 0 0 0 20 0 15 0 88672258 14311342080 10159 18446744073709551615 4194304 4196468 140734944302496 139640298195440 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18559] ppid=18542 vsize=13975920 memory=140511070295680 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18559/stat : 18559 (java) S 18542 18545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88672258 14311342080 10159 18446744073709551615 4194304 4196468 140734944302496 139640297143136 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18560] ppid=18542 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18560/stat : 18560 (java) S 18542 18545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88672263 14311342080 10159 18446744073709551615 4194304 4196468 140734944302496 139640296090160 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40636 KiB

[startup+0.700783 s]
/proc/loadavg: 1.34 1.43 1.44 4/210 18560
/proc/meminfo: memFree=29196780/32770624 swapFree=67105588/67108860
[pid=18545] ppid=18542 vsize=13977988 memory=81356 CPUtime=1.12 cores=0,2,4,6
/proc/18545/stat : 18545 (java) S 18542 18545 12560 0 -1 1077944320 15038 0 0 0 107 5 0 0 20 0 15 0 88672243 14313459712 20339 18446744073709551615 4194304 4196468 140734944302496 140734944285040 139640826253047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
/proc/18545/statm: 3494497 20339 3726 1 0 3483271 0
[pid=18545/tid=18547] ppid=18542 vsize=13977988 memory=53 CPUtime=0.54 cores=0,2,4,6
/proc/18545/task/18547/stat : 18547 (java) R 18542 18545 12560 0 -1 4202560 9862 0 0 0 50 4 0 0 20 0 15 0 88672253 14313459712 20339 18446744073709551615 4194304 4196468 140734944302496 139640830488272 139640467854809 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18548] ppid=18542 vsize=13977988 memory=2209 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18548/stat : 18548 (java) S 18542 18545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88672253 14313459712 20339 18446744073709551615 4194304 4196468 140734944302496 139640426228752 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18549] ppid=18542 vsize=13977988 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18549/stat : 18549 (java) S 18542 18545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88672253 14313459712 20339 18446744073709551615 4194304 4196468 140734944302496 139640425176208 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18550] ppid=18542 vsize=13977988 memory=33 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18550/stat : 18550 (java) S 18542 18545 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88672253 14313459712 20339 18446744073709551615 4194304 4196468 140734944302496 139640424123152 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18551] ppid=18542 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18551/stat : 18551 (java) S 18542 18545 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88672253 14313459712 20339 18446744073709551615 4194304 4196468 140734944302496 139640423070608 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18552] ppid=18542 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18552/stat : 18552 (java) S 18542 18545 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 88672255 14313459712 20339 18446744073709551615 4194304 4196468 140734944302496 139640304511216 139640826264194 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18553] ppid=18542 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18553/stat : 18553 (java) S 18542 18545 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88672255 14313459712 20339 18446744073709551615 4194304 4196468 140734944302496 139640303457440 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18554] ppid=18542 vsize=13977988 memory=281021857748624 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18554/stat : 18554 (java) S 18542 18545 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88672255 14313459712 20339 18446744073709551615 4194304 4196468 140734944302496 139640302404336 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18555] ppid=18542 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18555/stat : 18555 (java) S 18542 18545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88672258 14313459712 20339 18446744073709551615 4194304 4196468 140734944302496 139640301352912 139640826271643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18556] ppid=18542 vsize=13977988 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/18545/task/18556/stat : 18556 (java) R 18542 18545 12560 0 -1 4202560 1775 0 0 0 17 0 0 0 20 0 15 0 88672258 14313459712 20339 18446744073709551615 4194304 4196468 140734944302496 139640300282056 139640809739023 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18557] ppid=18542 vsize=13977988 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/18545/task/18557/stat : 18557 (java) R 18542 18545 12560 0 -1 4202560 952 0 0 0 18 0 0 0 20 0 15 0 88672258 14313459712 20339 18446744073709551615 4194304 4196468 140734944302496 139640299229512 139640819349883 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18558] ppid=18542 vsize=13977988 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/18545/task/18558/stat : 18558 (java) R 18542 18545 12560 0 -1 4202560 1066 0 0 0 20 0 0 0 20 0 15 0 88672258 14313459712 20339 18446744073709551615 4194304 4196468 140734944302496 139640298192248 139640818970199 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18559] ppid=18542 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18559/stat : 18559 (java) S 18542 18545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88672258 14313459712 20339 18446744073709551615 4194304 4196468 140734944302496 139640297143136 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18560] ppid=18542 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18560/stat : 18560 (java) S 18542 18545 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88672263 14313459712 20339 18446744073709551615 4194304 4196468 140734944302496 139640296090160 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 81356 KiB

[startup+1.50073 s]
/proc/loadavg: 1.34 1.43 1.44 5/210 18560
/proc/meminfo: memFree=29092796/32770624 swapFree=67105588/67108860
[pid=18545] ppid=18542 vsize=13977988 memory=212260 CPUtime=3.76 cores=0,2,4,6
/proc/18545/stat : 18545 (java) S 18542 18545 12560 0 -1 1077944320 24970 0 0 0 367 9 0 0 20 0 15 0 88672243 14313459712 53065 18446744073709551615 4194304 4196468 140734944302496 140734944285040 139640826253047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
/proc/18545/statm: 3494497 53065 3790 1 0 3483271 0
[pid=18545/tid=18547] ppid=18542 vsize=13977988 memory=-8774313645642428999 CPUtime=1.32 cores=0,2,4,6
/proc/18545/task/18547/stat : 18547 (java) R 18542 18545 12560 0 -1 4202560 10984 0 0 0 127 5 0 0 20 0 15 0 88672253 14313459712 53065 18446744073709551615 4194304 4196468 140734944302496 139640830488880 139640473111201 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18548] ppid=18542 vsize=13977988 memory=7674596115929182250 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18548/stat : 18548 (java) S 18542 18545 12560 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 88672253 14313459712 53065 18446744073709551615 4194304 4196468 140734944302496 139640426228752 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18549] ppid=18542 vsize=13977988 memory=4638778398333030736 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18549/stat : 18549 (java) S 18542 18545 12560 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 88672253 14313459712 53065 18446744073709551615 4194304 4196468 140734944302496 139640425176208 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18550] ppid=18542 vsize=13977988 memory=2984339746955739232 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18550/stat : 18550 (java) S 18542 18545 12560 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 15 0 88672253 14313459712 53065 18446744073709551615 4194304 4196468 140734944302496 139640424123152 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18551] ppid=18542 vsize=13977988 memory=6935651454782824512 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18551/stat : 18551 (java) S 18542 18545 12560 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 88672253 14313459712 53065 18446744073709551615 4194304 4196468 140734944302496 139640423070608 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18552] ppid=18542 vsize=13977988 memory=-9123011406873206402 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18552/stat : 18552 (java) S 18542 18545 12560 0 -1 1077944384 250 0 0 0 0 0 0 0 20 0 15 0 88672255 14313459712 53065 18446744073709551615 4194304 4196468 140734944302496 139640304511216 139640826264194 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18553] ppid=18542 vsize=13977988 memory=4346044353833085232 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18553/stat : 18553 (java) S 18542 18545 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 88672255 14313459712 53065 18446744073709551615 4194304 4196468 140734944302496 139640303457440 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18554] ppid=18542 vsize=13977988 memory=-8253362664916754368 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18554/stat : 18554 (java) S 18542 18545 12560 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 88672255 14313459712 53065 18446744073709551615 4194304 4196468 140734944302496 139640302404336 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18555] ppid=18542 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18555/stat : 18555 (java) S 18542 18545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88672258 14313459712 53065 18446744073709551615 4194304 4196468 140734944302496 139640301352912 139640826271643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18556] ppid=18542 vsize=13977988 memory=-3395018499077079128 CPUtime=0.92 cores=0,2,4,6
/proc/18545/task/18556/stat : 18556 (java) R 18542 18545 12560 0 -1 4202560 4157 0 0 0 92 0 0 0 20 0 15 0 88672258 14313459712 53065 18446744073709551615 4194304 4196468 140734944302496 139640300286416 139640807797364 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18557] ppid=18542 vsize=13977988 memory=1399101730491701635 CPUtime=0.93 cores=0,2,4,6
/proc/18545/task/18557/stat : 18557 (java) R 18542 18545 12560 0 -1 4202560 3819 0 0 0 93 0 0 0 20 0 15 0 88672258 14313459712 53065 18446744073709551615 4194304 4196468 140734944302496 139640299233456 139640805939568 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18558] ppid=18542 vsize=13977988 memory=1399101730491701635 CPUtime=0.49 cores=0,2,4,6
/proc/18545/task/18558/stat : 18558 (java) S 18542 18545 12560 0 -1 1077944384 3629 0 0 0 49 0 0 0 20 0 15 0 88672258 14313459712 53065 18446744073709551615 4194304 4196468 140734944302496 139640298195440 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18559] ppid=18542 vsize=13977988 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18559/stat : 18559 (java) S 18542 18545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88672258 14313459712 53065 18446744073709551615 4194304 4196468 140734944302496 139640297143136 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18560] ppid=18542 vsize=13977988 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18560/stat : 18560 (java) S 18542 18545 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 88672263 14313459712 53065 18446744073709551615 4194304 4196468 140734944302496 139640296090160 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
Current children cumulated CPU time: 3.76 s
Current children cumulated vsize: 13977988 KiB

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

/proc/18545/task/18547/stat : 18547 (java) R 18542 18545 12560 0 -1 4202560 150786 0 0 0 235682 95 0 0 20 0 15 0 88672253 14317654016 764301 18446744073709551615 4194304 4196468 140734944302496 139640830491536 139640472212371 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18548] ppid=18542 vsize=13982084 memory=113 CPUtime=21.72 cores=0,2,4,6
/proc/18545/task/18548/stat : 18548 (java) S 18542 18545 12560 0 -1 1077944384 29410 0 0 0 2133 39 0 0 20 0 15 0 88672253 14317654016 764301 18446744073709551615 4194304 4196468 140734944302496 139640426228752 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18549] ppid=18542 vsize=13982084 memory=3070540 CPUtime=21.64 cores=0,2,4,6
/proc/18545/task/18549/stat : 18549 (java) S 18542 18545 12560 0 -1 1077944384 33906 0 0 0 2126 38 0 0 20 0 15 0 88672253 14317654016 764301 18446744073709551615 4194304 4196468 140734944302496 139640425176208 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18550] ppid=18542 vsize=13982084 memory=3066436 CPUtime=21.66 cores=0,2,4,6
/proc/18545/task/18550/stat : 18550 (java) S 18542 18545 12560 0 -1 1077944384 34566 0 0 0 2129 37 0 0 20 0 15 0 88672253 14317654016 764301 18446744073709551615 4194304 4196468 140734944302496 139640424123152 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18551] ppid=18542 vsize=13982084 memory=3058228 CPUtime=21.69 cores=0,2,4,6
/proc/18545/task/18551/stat : 18551 (java) S 18542 18545 12560 0 -1 1077944384 36061 0 0 0 2129 40 0 0 20 0 15 0 88672253 14317654016 764301 18446744073709551615 4194304 4196468 140734944302496 139640423070608 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18552] ppid=18542 vsize=13982084 memory=3057204 CPUtime=1.35 cores=0,2,4,6
/proc/18545/task/18552/stat : 18552 (java) S 18542 18545 12560 0 -1 1077944384 60067 0 0 0 108 27 0 0 20 0 15 0 88672255 14317654016 764301 18446744073709551615 4194304 4196468 140734944302496 139640304511216 139640826264194 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18553] ppid=18542 vsize=13982084 memory=3057204 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18553/stat : 18553 (java) S 18542 18545 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 88672255 14317654016 764301 18446744073709551615 4194304 4196468 140734944302496 139640303457504 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18554] ppid=18542 vsize=13982084 memory=3061308 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18554/stat : 18554 (java) S 18542 18545 12560 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 88672255 14317654016 764301 18446744073709551615 4194304 4196468 140734944302496 139640302404352 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18555] ppid=18542 vsize=13982084 memory=3069516 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18555/stat : 18555 (java) S 18542 18545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88672258 14317654016 764301 18446744073709551615 4194304 4196468 140734944302496 139640301352912 139640826271643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18556] ppid=18542 vsize=13982084 memory=3057204 CPUtime=2.59 cores=0,2,4,6
/proc/18545/task/18556/stat : 18556 (java) S 18542 18545 12560 0 -1 1077944384 16659 0 0 0 257 2 0 0 20 0 15 0 88672258 14317654016 764301 18446744073709551615 4194304 4196468 140734944302496 139640300301040 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18557] ppid=18542 vsize=13982084 memory=3057204 CPUtime=2.68 cores=0,2,4,6
/proc/18545/task/18557/stat : 18557 (java) S 18542 18545 12560 0 -1 1077944384 21133 0 0 0 265 3 0 0 20 0 15 0 88672258 14317654016 764301 18446744073709551615 4194304 4196468 140734944302496 139640299248496 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18558] ppid=18542 vsize=13982084 memory=3058228 CPUtime=0.93 cores=0,2,4,6
/proc/18545/task/18558/stat : 18558 (java) S 18542 18545 12560 0 -1 1077944384 25208 0 0 0 90 3 0 0 20 0 15 0 88672258 14317654016 764301 18446744073709551615 4194304 4196468 140734944302496 139640298195440 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18559] ppid=18542 vsize=13982084 memory=3058228 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18559/stat : 18559 (java) S 18542 18545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88672258 14317654016 764301 18446744073709551615 4194304 4196468 140734944302496 139640297143136 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18560] ppid=18542 vsize=13982084 memory=1240 CPUtime=1.44 cores=0,2,4,6
/proc/18545/task/18560/stat : 18560 (java) S 18542 18545 12560 0 -1 1077944384 1853 0 0 0 73 71 0 0 20 0 15 0 88672263 14317654016 764301 18446744073709551615 4194304 4196468 140734944302496 139640296090160 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
Current children cumulated CPU time: 2453.56 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3057204 KiB

[startup+2442.3 s]
/proc/loadavg: 1.40 1.55 1.55 3/210 18781
/proc/meminfo: memFree=24590944/32770624 swapFree=67105588/67108860
[pid=18545] ppid=18542 vsize=13982084 memory=3014440 CPUtime=2515.34 cores=0,2,4,6
/proc/18545/stat : 18545 (java) S 18542 18545 12560 0 -1 1077944320 422580 0 0 0 251196 338 0 0 20 0 15 0 88672243 14317654016 753610 18446744073709551615 4194304 4196468 140734944302496 140734944285040 139640826253047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
/proc/18545/statm: 3495521 753610 3819 1 0 3484295 0
[pid=18545/tid=18547] ppid=18542 vsize=13982084 memory=3016492 CPUtime=2417.09 cores=0,2,4,6
/proc/18545/task/18547/stat : 18547 (java) R 18542 18545 12560 0 -1 4202560 152992 0 0 0 241614 95 0 0 20 0 15 0 88672253 14317654016 753610 18446744073709551615 4194304 4196468 140734944302496 139640830491248 139640476905378 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18548] ppid=18542 vsize=13982084 memory=-8774313645642428999 CPUtime=22.3 cores=0,2,4,6
/proc/18545/task/18548/stat : 18548 (java) S 18542 18545 12560 0 -1 1077944384 30309 0 0 0 2191 39 0 0 20 0 15 0 88672253 14317654016 753610 18446744073709551615 4194304 4196468 140734944302496 139640426228752 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18549] ppid=18542 vsize=13982084 memory=3023676 CPUtime=22.24 cores=0,2,4,6
/proc/18545/task/18549/stat : 18549 (java) S 18542 18545 12560 0 -1 1077944384 34806 0 0 0 2185 39 0 0 20 0 15 0 88672253 14317654016 753610 18446744073709551615 4194304 4196468 140734944302496 139640425176208 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18550] ppid=18542 vsize=13982084 memory=3053428 CPUtime=22.26 cores=0,2,4,6
/proc/18545/task/18550/stat : 18550 (java) S 18542 18545 12560 0 -1 1077944384 35828 0 0 0 2188 38 0 0 20 0 15 0 88672253 14317654016 753610 18446744073709551615 4194304 4196468 140734944302496 139640424123152 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18551] ppid=18542 vsize=13982084 memory=3023676 CPUtime=22.28 cores=0,2,4,6
/proc/18545/task/18551/stat : 18551 (java) S 18542 18545 12560 0 -1 1077944384 37422 0 0 0 2188 40 0 0 20 0 15 0 88672253 14317654016 753610 18446744073709551615 4194304 4196468 140734944302496 139640423070608 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18552] ppid=18542 vsize=13982084 memory=3020596 CPUtime=1.4 cores=0,2,4,6
/proc/18545/task/18552/stat : 18552 (java) S 18542 18545 12560 0 -1 1077944384 64887 0 0 0 112 28 0 0 20 0 15 0 88672255 14317654016 753610 18446744073709551615 4194304 4196468 140734944302496 139640304511216 139640826264194 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18553] ppid=18542 vsize=13982084 memory=3016492 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18553/stat : 18553 (java) S 18542 18545 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 88672255 14317654016 753610 18446744073709551615 4194304 4196468 140734944302496 139640303457504 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18554] ppid=18542 vsize=13982084 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18554/stat : 18554 (java) S 18542 18545 12560 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 88672255 14317654016 753610 18446744073709551615 4194304 4196468 140734944302496 139640302404352 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18555] ppid=18542 vsize=13982084 memory=3019572 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18555/stat : 18555 (java) S 18542 18545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88672258 14317654016 753610 18446744073709551615 4194304 4196468 140734944302496 139640301352912 139640826271643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18556] ppid=18542 vsize=13982084 memory=3020596 CPUtime=2.59 cores=0,2,4,6
/proc/18545/task/18556/stat : 18556 (java) S 18542 18545 12560 0 -1 1077944384 16663 0 0 0 257 2 0 0 20 0 15 0 88672258 14317654016 753610 18446744073709551615 4194304 4196468 140734944302496 139640300301040 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18557] ppid=18542 vsize=13982084 memory=3016492 CPUtime=2.68 cores=0,2,4,6
/proc/18545/task/18557/stat : 18557 (java) S 18542 18545 12560 0 -1 1077944384 21137 0 0 0 265 3 0 0 20 0 15 0 88672258 14317654016 753610 18446744073709551615 4194304 4196468 140734944302496 139640299248496 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18558] ppid=18542 vsize=13982084 memory=1164 CPUtime=0.93 cores=0,2,4,6
/proc/18545/task/18558/stat : 18558 (java) S 18542 18545 12560 0 -1 1077944384 25212 0 0 0 90 3 0 0 20 0 15 0 88672258 14317654016 753610 18446744073709551615 4194304 4196468 140734944302496 139640298195440 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18559] ppid=18542 vsize=13982084 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18559/stat : 18559 (java) S 18542 18545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88672258 14317654016 753610 18446744073709551615 4194304 4196468 140734944302496 139640297143136 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18560] ppid=18542 vsize=13982084 memory=288230574492221466 CPUtime=1.48 cores=0,2,4,6
/proc/18545/task/18560/stat : 18560 (java) S 18542 18545 12560 0 -1 1077944384 1897 0 0 0 75 73 0 0 20 0 15 0 88672263 14317654016 753610 18446744073709551615 4194304 4196468 140734944302496 139640296090160 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
Current children cumulated CPU time: 2515.34 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3014440 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2446.9 s]
/proc/loadavg: 1.37 1.54 1.54 3/210 18781
/proc/meminfo: memFree=24600688/32770624 swapFree=67105588/67108860
[pid=18545] ppid=18542 vsize=13982084 memory=3011364 CPUtime=2520.05 cores=0,2,4,6
/proc/18545/stat : 18545 (java) S 18542 18545 12560 0 -1 1077944320 423356 0 0 0 251666 339 0 0 20 0 15 0 88672243 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 140734944285040 139640826253047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
/proc/18545/statm: 3495521 752841 3819 1 0 3484295 0
[pid=18545/tid=18547] ppid=18542 vsize=13982084 memory=4144 CPUtime=2421.65 cores=0,2,4,6
/proc/18545/task/18547/stat : 18547 (java) R 18542 18545 12560 0 -1 4202560 153022 0 0 0 242070 95 0 0 20 0 15 0 88672253 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640830491536 139640477170158 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18548] ppid=18542 vsize=13982084 memory=3023676 CPUtime=22.34 cores=0,2,4,6
/proc/18545/task/18548/stat : 18548 (java) S 18542 18545 12560 0 -1 1077944384 30374 0 0 0 2195 39 0 0 20 0 15 0 88672253 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640426228752 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18549] ppid=18542 vsize=13982084 memory=3053428 CPUtime=22.27 cores=0,2,4,6
/proc/18545/task/18549/stat : 18549 (java) S 18542 18545 12560 0 -1 1077944384 34919 0 0 0 2188 39 0 0 20 0 15 0 88672253 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640425176208 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18550] ppid=18542 vsize=13982084 memory=3023676 CPUtime=22.29 cores=0,2,4,6
/proc/18545/task/18550/stat : 18550 (java) S 18542 18545 12560 0 -1 1077944384 36335 0 0 0 2191 38 0 0 20 0 15 0 88672253 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640424123152 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18551] ppid=18542 vsize=13982084 memory=-8774313645642428999 CPUtime=22.31 cores=0,2,4,6
/proc/18545/task/18551/stat : 18551 (java) S 18542 18545 12560 0 -1 1077944384 37476 0 0 0 2191 40 0 0 20 0 15 0 88672253 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640423070608 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18552] ppid=18542 vsize=13982084 memory=3013416 CPUtime=1.4 cores=0,2,4,6
/proc/18545/task/18552/stat : 18552 (java) S 18542 18545 12560 0 -1 1077944384 64894 0 0 0 112 28 0 0 20 0 15 0 88672255 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640304511216 139640826264194 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18553] ppid=18542 vsize=13982084 memory=3013416 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18553/stat : 18553 (java) S 18542 18545 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 88672255 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640303457504 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18554] ppid=18542 vsize=13982084 memory=3011364 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18554/stat : 18554 (java) S 18542 18545 12560 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 88672255 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640302404352 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18555] ppid=18542 vsize=13982084 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18555/stat : 18555 (java) S 18542 18545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88672258 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640301352912 139640826271643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18556] ppid=18542 vsize=13982084 memory=3019572 CPUtime=2.59 cores=0,2,4,6
/proc/18545/task/18556/stat : 18556 (java) S 18542 18545 12560 0 -1 1077944384 16663 0 0 0 257 2 0 0 20 0 15 0 88672258 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640300301040 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18557] ppid=18542 vsize=13982084 memory=3016492 CPUtime=2.68 cores=0,2,4,6
/proc/18545/task/18557/stat : 18557 (java) S 18542 18545 12560 0 -1 1077944384 21137 0 0 0 265 3 0 0 20 0 15 0 88672258 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640299248496 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18558] ppid=18542 vsize=13982084 memory=3020596 CPUtime=0.93 cores=0,2,4,6
/proc/18545/task/18558/stat : 18558 (java) S 18542 18545 12560 0 -1 1077944384 25212 0 0 0 90 3 0 0 20 0 15 0 88672258 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640298195440 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18559] ppid=18542 vsize=13982084 memory=3011364 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18559/stat : 18559 (java) S 18542 18545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88672258 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640297143136 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18560] ppid=18542 vsize=13982084 memory=3011364 CPUtime=1.48 cores=0,2,4,6
/proc/18545/task/18560/stat : 18560 (java) S 18542 18545 12560 0 -1 1077944384 1897 0 0 0 75 73 0 0 20 0 15 0 88672263 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640296090160 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3011364 KiB

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

[startup+2446.94 s]
# the end of solver process 18545 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.69 s, system=3.41024 s

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

[startup+2446.9 s]
/proc/loadavg: 1.37 1.54 1.54 3/210 18781
/proc/meminfo: memFree=24600688/32770624 swapFree=67105588/67108860
[pid=18545] ppid=18542 vsize=13982084 memory=3011364 CPUtime=2520.05 cores=0,2,4,6
/proc/18545/stat : 18545 (java) S 18542 18545 12560 0 -1 1077944320 423356 0 0 0 251666 339 0 0 20 0 15 0 88672243 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 140734944285040 139640826253047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
/proc/18545/statm: 3495521 752841 3819 1 0 3484295 0
[pid=18545/tid=18547] ppid=18542 vsize=13982084 memory=4144 CPUtime=2421.65 cores=0,2,4,6
/proc/18545/task/18547/stat : 18547 (java) R 18542 18545 12560 0 -1 4202560 153022 0 0 0 242070 95 0 0 20 0 15 0 88672253 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640830491536 139640477170158 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18548] ppid=18542 vsize=13982084 memory=3023676 CPUtime=22.34 cores=0,2,4,6
/proc/18545/task/18548/stat : 18548 (java) S 18542 18545 12560 0 -1 1077944384 30374 0 0 0 2195 39 0 0 20 0 15 0 88672253 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640426228752 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18549] ppid=18542 vsize=13982084 memory=3053428 CPUtime=22.27 cores=0,2,4,6
/proc/18545/task/18549/stat : 18549 (java) S 18542 18545 12560 0 -1 1077944384 34919 0 0 0 2188 39 0 0 20 0 15 0 88672253 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640425176208 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18550] ppid=18542 vsize=13982084 memory=3023676 CPUtime=22.29 cores=0,2,4,6
/proc/18545/task/18550/stat : 18550 (java) S 18542 18545 12560 0 -1 1077944384 36335 0 0 0 2191 38 0 0 20 0 15 0 88672253 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640424123152 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18551] ppid=18542 vsize=13982084 memory=-8774313645642428999 CPUtime=22.31 cores=0,2,4,6
/proc/18545/task/18551/stat : 18551 (java) S 18542 18545 12560 0 -1 1077944384 37476 0 0 0 2191 40 0 0 20 0 15 0 88672253 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640423070608 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18552] ppid=18542 vsize=13982084 memory=3013416 CPUtime=1.4 cores=0,2,4,6
/proc/18545/task/18552/stat : 18552 (java) S 18542 18545 12560 0 -1 1077944384 64894 0 0 0 112 28 0 0 20 0 15 0 88672255 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640304511216 139640826264194 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18553] ppid=18542 vsize=13982084 memory=3013416 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18553/stat : 18553 (java) S 18542 18545 12560 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 88672255 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640303457504 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18554] ppid=18542 vsize=13982084 memory=3011364 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18554/stat : 18554 (java) S 18542 18545 12560 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 88672255 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640302404352 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18555] ppid=18542 vsize=13982084 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18555/stat : 18555 (java) S 18542 18545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88672258 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640301352912 139640826271643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18556] ppid=18542 vsize=13982084 memory=3019572 CPUtime=2.59 cores=0,2,4,6
/proc/18545/task/18556/stat : 18556 (java) S 18542 18545 12560 0 -1 1077944384 16663 0 0 0 257 2 0 0 20 0 15 0 88672258 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640300301040 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18557] ppid=18542 vsize=13982084 memory=3016492 CPUtime=2.68 cores=0,2,4,6
/proc/18545/task/18557/stat : 18557 (java) S 18542 18545 12560 0 -1 1077944384 21137 0 0 0 265 3 0 0 20 0 15 0 88672258 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640299248496 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18558] ppid=18542 vsize=13982084 memory=3020596 CPUtime=0.93 cores=0,2,4,6
/proc/18545/task/18558/stat : 18558 (java) S 18542 18545 12560 0 -1 1077944384 25212 0 0 0 90 3 0 0 20 0 15 0 88672258 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640298195440 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18559] ppid=18542 vsize=13982084 memory=3011364 CPUtime=0 cores=0,2,4,6
/proc/18545/task/18559/stat : 18559 (java) S 18542 18545 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88672258 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640297143136 139640826263253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
[pid=18545/tid=18560] ppid=18542 vsize=13982084 memory=3011364 CPUtime=1.48 cores=0,2,4,6
/proc/18545/task/18560/stat : 18560 (java) S 18542 18545 12560 0 -1 1077944384 1897 0 0 0 75 73 0 0 20 0 15 0 88672263 14317654016 752841 18446744073709551615 4194304 4196468 140734944302496 139640296090160 139640826264194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 15458304 140734944309614 140734944309801 140734944309801 140734944313295 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3011364 KiB

Child status: 143
Real time (s): 2446.94
CPU time (s): 2520.1
CPU user time (s): 2516.69
CPU system time (s): 3.41024
CPU usage (%): 102.99
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 4093592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.69
system time used= 3.41024
maximum resident set size= 4096708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 424910
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80889
involuntary context switches= 5716


# summary of solver processes directly reported to runsolver:
#   pid: 18545
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2516.69
#   total CPU system time (s): 3.41024

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5419 second user time and 23.3325 second system time

The end

Launcher Data

Begin job on node126 at 2017-08-16 08:12:07
IDJOB=4274327
IDBENCH=140583
IDSOLVER=2666
FILE ID=node126/4274327-1502864770
RUNJOBID= node126-1502662832-10387
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-38.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274327-1502864770/watcher-4274327-1502864770 -o /tmp/evaluation-result-4274327-1502864770/solver-4274327-1502864770 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10387 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1491041093 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274327-1502864770.xml

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

MD5SUM BENCH= f8d5128c7bc11e119a8a7f8e485ceae3
RANDOM SEED=1491041093

node126.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.81
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.81
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.81
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.81
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:        29235888 kB
MemAvailable:   29654984 kB
Buffers:          249420 kB
Cached:           450892 kB
SwapCached:          524 kB
Active:          2767852 kB
Inactive:         288156 kB
Active(anon):    2308104 kB
Inactive(anon):    89000 kB
Active(file):     459748 kB
Inactive(file):   199156 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67105588 kB
Dirty:             42696 kB
Writeback:             0 kB
AnonPages:       2354948 kB
Mapped:            65116 kB
Shmem:             41632 kB
Slab:             178216 kB
SReclaimable:     152056 kB
SUnreclaim:        26160 kB
KernelStack:        3456 kB
PageTables:        11232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3347624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2238464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61948 MiB
End job on node126 at 2017-08-16 08:52:54