Trace number 4401024

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.12.2SAT (TO)6 2520.1 2457.04

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-2-fullins-5.xml
MD5SUM7175cc64c8263572fa1d1d1459976d33
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark58.2779
Satisfiable
(Un)Satisfiability was proved
Number of variables852
Number of constraints12201
Number of domains1
Minimum domain size852
Maximum domain size852
Distribution of domain sizes[{"size":852,"count":852}]
Minimum variable degree9
Maximum variable degree216
Distribution of variable degrees[{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":12201}]
Number of extensional constraints0
Number of intensional constraints12201
Distribution of constraint types[{"type":"intension","count":12201}]
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.75/0.55	c Concrete v3.12.2.1568631193530 running
21.41/9.88	o 851
22.57/10.30	o 850
23.19/10.65	o 849
23.91/11.02	o 848
24.64/11.34	o 847
25.08/11.62	o 846
25.33/11.88	o 845
25.70/12.12	o 844
26.04/12.39	o 843
26.49/12.64	o 842
26.87/12.92	o 841
27.30/13.21	o 840
27.54/13.46	o 839
28.26/13.71	o 838
28.79/14.01	o 837
29.16/14.26	o 836
29.47/14.51	o 835
29.67/14.76	o 834
30.03/15.03	o 833
30.22/15.26	o 832
30.68/15.54	o 831
30.89/15.75	o 830
31.09/15.98	o 829
31.39/16.24	o 828
31.59/16.47	o 827
31.82/16.68	o 826
32.12/16.93	o 825
32.33/17.15	o 824
32.52/17.35	o 823
32.76/17.55	o 822
33.06/17.80	o 821
33.27/18.10	o 820
33.56/18.34	o 819
33.75/18.56	o 818
34.07/18.83	o 817
34.28/19.06	o 816
34.50/19.25	o 815
34.73/19.43	o 814
34.93/19.60	o 813
35.13/19.85	o 812
35.34/20.10	o 811
35.63/20.31	o 810
35.83/20.51	o 809
36.03/20.71	o 808
36.23/20.90	o 807
36.44/21.14	o 806
36.63/21.35	o 805
36.83/21.56	o 804
37.03/21.76	o 803
37.25/21.98	o 802
37.57/22.20	o 801
37.77/22.42	o 800
37.97/22.64	o 799
38.17/22.88	o 798
38.52/23.11	o 797
38.72/23.36	o 796
38.95/23.58	o 795
39.21/23.78	o 794
39.41/23.98	o 793
39.62/24.17	o 792
39.81/24.34	o 791
40.01/24.59	o 790
40.46/24.81	o 789
40.67/25.01	o 788
40.86/25.20	o 787
40.96/25.36	o 786
41.16/25.52	o 785
41.26/25.68	o 784
41.57/25.82	o 783
41.67/25.96	o 782
41.78/26.09	o 781
41.97/26.22	o 780
42.20/26.45	o 779
42.41/26.66	o 778
42.61/26.86	o 777
42.82/27.05	o 776
43.01/27.23	o 775
43.20/27.41	o 774
43.31/27.58	o 773
43.50/27.75	o 772
43.70/27.92	o 771
43.83/28.10	o 770
44.04/28.26	o 769
44.24/28.40	o 768
44.34/28.53	o 767
44.55/28.78	o 766
44.75/28.99	o 765
45.05/29.21	o 764
45.25/29.42	o 763
45.45/29.62	o 762
45.65/29.81	o 761
45.75/30.00	o 760
45.96/30.18	o 759
46.15/30.36	o 758
46.36/30.52	o 757
46.46/30.67	o 756
46.66/30.83	o 755
46.77/30.96	o 754
46.88/31.09	o 753
47.07/31.22	o 752
47.17/31.34	o 751
47.44/31.57	o 750
47.64/31.78	o 749
47.85/32.00	o 748
48.15/32.22	o 747
48.35/32.41	o 746
48.45/32.59	o 745
48.65/32.76	o 744
48.90/32.95	o 743
49.11/33.13	o 742
49.20/33.29	o 741
49.40/33.44	o 740
49.50/33.58	o 739
49.70/33.73	o 738
49.80/33.86	o 737
49.90/33.99	o 736
50.01/34.10	o 735
50.21/34.20	o 734
50.31/34.30	o 733
50.31/34.39	o 732
50.41/34.49	o 731
50.76/34.70	o 730
50.96/34.93	o 729
51.17/35.12	o 728
51.36/35.31	o 727
51.46/35.49	o 726
51.66/35.66	o 725
51.87/35.84	o 724
52.08/36.02	o 723
52.27/36.20	o 722
52.37/36.36	o 721
52.58/36.51	o 720
52.68/36.66	o 719
52.78/36.79	o 718
52.98/36.93	o 717
53.08/37.05	o 716
53.19/37.16	o 715
53.28/37.28	o 714
53.38/37.39	o 713
53.48/37.49	o 712
53.58/37.60	o 711
53.68/37.69	o 710
53.78/37.78	o 709
53.88/37.86	o 708
53.98/37.93	o 707
53.98/38.00	o 706
54.09/38.07	o 705
54.38/38.30	o 704
54.58/38.55	o 703
54.88/38.81	o 702
55.13/39.02	o 701
55.32/39.21	o 700
55.52/39.40	o 699
55.62/39.58	o 698
55.82/39.74	o 697
56.02/39.90	o 696
56.13/40.05	o 695
56.32/40.20	o 694
56.42/40.35	o 693
56.52/40.49	o 692
56.72/40.61	o 691
56.82/40.73	o 690
56.92/40.84	o 689
57.02/40.94	o 688
57.14/41.04	o 687
57.24/41.14	o 686
57.33/41.23	o 685
57.43/41.32	o 684
57.53/41.41	o 683
57.53/41.49	o 682
57.63/41.58	o 681
57.73/41.66	o 680
57.83/41.74	o 679
57.93/41.82	o 678
57.93/41.89	o 677
58.03/41.96	o 676
58.14/42.03	o 675
58.14/42.09	o 674
58.24/42.15	o 673
58.33/42.21	o 672
58.53/42.43	o 671
58.73/42.65	o 670
58.93/42.88	o 669
59.14/43.09	o 668
59.43/43.32	o 667
59.64/43.52	o 666
59.84/43.71	o 665
60.04/43.91	o 664
60.15/44.09	o 663
60.34/44.27	o 662
60.54/44.45	o 661
60.74/44.63	o 660
60.94/44.81	o 659
61.05/44.97	o 658
61.30/45.16	o 657
61.49/45.31	o 656
61.59/45.45	o 655
61.69/45.59	o 654
61.89/45.71	o 653
61.99/45.82	o 652
62.09/45.92	o 651
62.20/46.02	o 650
62.30/46.12	o 649
62.39/46.20	o 648
62.39/46.29	o 647
62.49/46.36	o 646
62.59/46.42	o 645
62.59/46.47	o 644
62.69/46.52	o 643
62.69/46.55	o 642
62.69/46.59	o 641
62.79/46.61	o 640
62.79/46.62	o 639
62.79/46.64	o 638
62.79/46.65	o 637
62.79/46.67	o 636
62.79/46.68	o 635
62.79/46.68	o 634
62.79/46.69	o 633
62.79/46.70	o 632
62.89/46.70	o 631
62.89/46.70	o 630
62.89/46.71	o 629
62.89/46.71	o 7
63.17/46.88	o 6
2520.05/2457.02	Exception in thread "main" java.util.concurrent.TimeoutException
2520.05/2457.02		at concrete.MAC.mac(MAC.scala:192)
2520.05/2457.02		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.05/2457.02		at scala.util.Try$.apply(Try.scala:212)
2520.05/2457.02		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.05/2457.02		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.05/2457.02		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.05/2457.02		at concrete.MAC.oneRun(MAC.scala:265)
2520.05/2457.02		at concrete.MAC.nextSolution(MAC.scala:284)
2520.05/2457.02		at concrete.MAC.nextSolution(MAC.scala:369)
2520.05/2457.02		at concrete.Solver.hasNext(Solver.scala:160)
2520.05/2457.02		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.05/2457.02		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.05/2457.02		at concrete.Solver.foreach(Solver.scala:67)
2520.05/2457.02		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.05/2457.02		at scala.util.Success.map(Try.scala:264)
2520.05/2457.02		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.05/2457.02		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.05/2457.02		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.05/2457.02		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.05/2457.02		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.05/2457.02		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.05/2457.02		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.05/2457.02		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.05/2457.02		at scala.App.$anonfun$main$1(App.scala:75)
2520.05/2457.02		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.05/2457.02		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.05/2457.02		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.05/2457.02		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.05/2457.02		at scala.App.main(App.scala:75)
2520.05/2457.02		at scala.App.main$(App.scala:73)
2520.05/2457.02		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.05/2457.02		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2457.02	v <instantiation
2520.05/2457.02	v         cost = '6'>
2520.05/2457.02	v       <list>
2520.05/2457.02	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851]
2520.05/2457.02	v       </list>
2520.05/2457.02	v       <values>
2520.05/2457.02	v         0 2 1 1 0 6 2 2 0 3 2 1 0 4 4 4 0 4 4 4 0 4 4 4 1 1 1 1 1 1 1 1 1 1 1 1 4 4 4 4 4 4 4 4 4 4 4 4 3 2 4 1 6 2 5 2 6 6 2 2 6 6 2 6 4 4 4 4 4 4 4 4 4 4 4 4 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 6 0 0 0 2 0 0 0 2 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 1 6 1 1 1 1 1 1 1 1 2 2 2 2 2 2 5 2 2 2 2 2 2 2 2 6 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 3 2 0 3 3 0 5 3 3 3 3 0 3 5 5 3 3 5 5 3 3 3 3 5 3 5 5 1 1 3 3 3 3 3 3 3 3 3 3 4 4 6 4 4 4 4 4 4 4 6 4 3 6 4 1 5 5 5 5 5 5 5 5 5 5 5 5 4 4 4 4 4 4 4 4 4 4 4 4 5 5 6 5 5 5 5 5 5 5 5 5 4 4 4 4 4 4 4 4 4 4 4 4 5 5 4 5 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 1 1 1 1 1 1 6 1 1 1 1 1 1 1 1 1 3 3 1 1 1 1 1 1 1 1 1 3 1 3 1 4 3 6 3 3 3 3 3 3 3 3 3 4 3 4 3 3 3 3 3 6 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 6 3 3 3 3 3 3 3 3 3 3 3 3 3 3 1 3 4 4 0 6 0 0 0 6 6 1 0 1 1 1 4 4 0 0 0 1 1 1 0 1 1 1 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 4 4 6 0 4 4 4 0 5 0 0 0 4 4 4 0 4 4 4 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 6 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 2 2 2 2 5 2 2 2 0 2 2 2 2 2 2 2 2 5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5 2 5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 3 4
2520.05/2457.02	v       </values>
2520.05/2457.02	v     </instantiation>
2520.05/2457.02	s SATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401024-1568674296/watcher-4401024-1568674296 -o /tmp/evaluation-result-4401024-1568674296/solver-4401024-1568674296 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568673287-15923 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1790479423 HOME/instance-4401024-1568674296.xml 

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

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

solver pid=16617, runsolver pid=16614

[startup+0.100149 s]*
/proc/loadavg: 1.43 1.44 2.11 3/219 16674
/proc/meminfo: memFree=30967740/32770624 swapFree=67002396/67108860
[pid=16617] ppid=16614 vsize=9972712 memory=18860 CPUtime=0.09 cores=1,3,5,7
/proc/16617/stat : 16617 (java) S 16614 16617 15891 0 -1 1077944320 4458 13107 0 0 1 0 5 3 20 0 6 0 443678225 10212057088 4715 33554432000 4194304 4196468 140725261522960 140725261505504 140261610155767 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
/proc/16617/statm: 2493178 4715 1935 1 0 2481616 0
[pid=16617/tid=16670] ppid=16614 vsize=9972712 memory=4279135703913235855 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16670/stat : 16670 (java) R 16614 16617 15891 0 -1 4202560 2246 13107 0 0 0 0 5 3 20 0 6 0 443678234 10212057088 4715 33554432000 4194304 4196468 140725261522960 140261581992528 140261593502245 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16671] ppid=16614 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16671/stat : 16671 (java) S 16614 16617 15891 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 6 0 443678235 10212057088 4715 33554432000 4194304 4196468 140725261522960 140261614398480 140261610165973 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16672] ppid=16614 vsize=9972712 memory=140098640410240 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16672/stat : 16672 (java) S 16614 16617 15891 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 6 0 443678235 10212057088 4715 33554432000 4194304 4196468 140725261522960 140261502672016 140261610165973 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16673] ppid=16614 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16673/stat : 16673 (java) S 16614 16617 15891 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 6 0 443678235 10212057088 4715 33554432000 4194304 4196468 140725261522960 140261501618960 140261610165973 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16674] ppid=16614 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16674/stat : 16674 (java) S 16614 16617 15891 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 6 0 443678235 10212057088 4715 33554432000 4194304 4196468 140725261522960 140261500566416 140261610165973 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18860 KiB

[startup+0.210103 s]*
/proc/loadavg: 1.43 1.44 2.11 4/228 16683
/proc/meminfo: memFree=30948048/32770624 swapFree=67002396/67108860
[pid=16617] ppid=16614 vsize=10820196 memory=43768 CPUtime=0.28 cores=1,3,5,7
/proc/16617/stat : 16617 (java) S 16614 16617 15891 0 -1 1077944320 7273 13107 0 0 18 2 5 3 20 0 15 0 443678225 11079880704 10942 33554432000 4194304 4196468 140725261522960 140725261505504 140261610155767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
/proc/16617/statm: 2705049 10942 3296 1 0 2667149 0
[pid=16617/tid=16670] ppid=16614 vsize=10820196 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/16617/task/16670/stat : 16670 (java) R 16614 16617 15891 0 -1 4202560 3740 13107 0 0 10 1 5 3 20 0 15 0 443678234 11079880704 10942 33554432000 4194304 4196468 140725261522960 140261581974240 140261610177693 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16671] ppid=16614 vsize=10820196 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16671/stat : 16671 (java) S 16614 16617 15891 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 443678235 11079880704 10942 33554432000 4194304 4196468 140725261522960 140261614398480 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16672] ppid=16614 vsize=10820196 memory=140098640410240 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16672/stat : 16672 (java) S 16614 16617 15891 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 443678235 11079880704 10942 33554432000 4194304 4196468 140725261522960 140261502672016 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16673] ppid=16614 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16673/stat : 16673 (java) S 16614 16617 15891 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 443678235 11079880704 10942 33554432000 4194304 4196468 140725261522960 140261501618960 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16674] ppid=16614 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16674/stat : 16674 (java) S 16614 16617 15891 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 443678235 11079880704 10942 33554432000 4194304 4196468 140725261522960 140261500566416 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16675] ppid=16614 vsize=10820196 memory=140098640410240 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16675/stat : 16675 (java) S 16614 16617 15891 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 443678236 11079880704 10942 33554432000 4194304 4196468 140725261522960 140261068839152 140261610166914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16676] ppid=16614 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16676/stat : 16676 (java) S 16614 16617 15891 0 -1 1077944384 33 13107 0 0 0 0 5 3 20 0 15 0 443678237 11079880704 10942 33554432000 4194304 4196468 140725261522960 140261067785376 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16677] ppid=16614 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16677/stat : 16677 (java) S 16614 16617 15891 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 443678237 11079880704 10942 33554432000 4194304 4196468 140725261522960 140260948304624 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16678] ppid=16614 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16678/stat : 16678 (java) S 16614 16617 15891 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 443678239 11079880704 10942 33554432000 4194304 4196468 140725261522960 140260344326096 140261610174363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16679] ppid=16614 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16679/stat : 16679 (java) S 16614 16617 15891 0 -1 1077944384 201 13107 0 0 0 0 5 3 20 0 15 0 443678239 11079880704 10942 33554432000 4194304 4196468 140725261522960 140261034228464 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16680] ppid=16614 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/16617/task/16680/stat : 16680 (java) S 16614 16617 15891 0 -1 1077944384 454 13107 0 0 1 0 5 3 20 0 15 0 443678239 11079880704 10942 33554432000 4194304 4196468 140725261522960 140261033175920 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16681] ppid=16614 vsize=10820196 memory=140098640410240 CPUtime=0.11 cores=1,3,5,7
/proc/16617/task/16681/stat : 16681 (java) S 16614 16617 15891 0 -1 1077944384 625 13107 0 0 3 0 5 3 20 0 15 0 443678239 11079880704 10942 33554432000 4194304 4196468 140725261522960 140261032122864 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16682] ppid=16614 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16682/stat : 16682 (java) S 16614 16617 15891 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 443678240 11079880704 10942 33554432000 4194304 4196468 140725261522960 140259874564960 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16683] ppid=16614 vsize=10820196 memory=140098640410240 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16683/stat : 16683 (java) S 16614 16617 15891 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 443678240 11079880704 10942 33554432000 4194304 4196468 140725261522960 140261031070256 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 43768 KiB

[startup+0.31055 s]*
/proc/loadavg: 1.43 1.44 2.11 3/228 16683
/proc/meminfo: memFree=30935604/32770624 swapFree=67002396/67108860
[pid=16617] ppid=16614 vsize=10820196 memory=52000 CPUtime=0.41 cores=1,3,5,7
/proc/16617/stat : 16617 (java) S 16614 16617 15891 0 -1 1077944320 10767 13107 0 0 29 4 5 3 20 0 15 0 443678225 11079880704 13000 33554432000 4194304 4196468 140725261522960 140725261505504 140261610155767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
/proc/16617/statm: 2705049 13000 3307 1 0 2667149 0
[pid=16617/tid=16670] ppid=16614 vsize=10820196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/16617/task/16670/stat : 16670 (java) R 16614 16617 15891 0 -1 4202560 7211 13107 0 0 19 3 5 3 20 0 15 0 443678234 11079880704 13000 33554432000 4194304 4196468 140725261522960 140261581964720 140261610177693 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16671] ppid=16614 vsize=10820196 memory=7228928657774891088 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16671/stat : 16671 (java) S 16614 16617 15891 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 443678235 11079880704 13000 33554432000 4194304 4196468 140725261522960 140261614398480 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16672] ppid=16614 vsize=10820196 memory=2080 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16672/stat : 16672 (java) S 16614 16617 15891 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 443678235 11079880704 13000 33554432000 4194304 4196468 140725261522960 140261502672016 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16673] ppid=16614 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16673/stat : 16673 (java) S 16614 16617 15891 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 443678235 11079880704 13000 33554432000 4194304 4196468 140725261522960 140261501618960 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16674] ppid=16614 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16674/stat : 16674 (java) S 16614 16617 15891 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 443678235 11079880704 13000 33554432000 4194304 4196468 140725261522960 140261500566416 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16675] ppid=16614 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16675/stat : 16675 (java) S 16614 16617 15891 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 443678236 11079880704 13000 33554432000 4194304 4196468 140725261522960 140261068839152 140261610166914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16676] ppid=16614 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16676/stat : 16676 (java) S 16614 16617 15891 0 -1 1077944384 33 13107 0 0 0 0 5 3 20 0 15 0 443678237 11079880704 13000 33554432000 4194304 4196468 140725261522960 140261067785376 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16677] ppid=16614 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16677/stat : 16677 (java) S 16614 16617 15891 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 443678237 11079880704 13000 33554432000 4194304 4196468 140725261522960 140260948304624 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16678] ppid=16614 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16678/stat : 16678 (java) S 16614 16617 15891 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 443678239 11079880704 13000 33554432000 4194304 4196468 140725261522960 140260344326096 140261610174363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16679] ppid=16614 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/16617/task/16679/stat : 16679 (java) S 16614 16617 15891 0 -1 1077944384 201 13107 0 0 1 0 5 3 20 0 15 0 443678239 11079880704 13000 33554432000 4194304 4196468 140725261522960 140261034228464 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16680] ppid=16614 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/16617/task/16680/stat : 16680 (java) S 16614 16617 15891 0 -1 1077944384 455 13107 0 0 2 0 5 3 20 0 15 0 443678239 11079880704 13000 33554432000 4194304 4196468 140725261522960 140261033175920 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16681] ppid=16614 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/16617/task/16681/stat : 16681 (java) R 16614 16617 15891 0 -1 4202560 644 13107 0 0 5 0 5 3 20 0 15 0 443678239 11079880704 13000 33554432000 4194304 4196468 140725261522960 140261032122864 140261589491105 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16682] ppid=16614 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16682/stat : 16682 (java) S 16614 16617 15891 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 443678240 11079880704 13000 33554432000 4194304 4196468 140725261522960 140259874564960 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16683] ppid=16614 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16683/stat : 16683 (java) S 16614 16617 15891 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 443678240 11079880704 13000 33554432000 4194304 4196468 140725261522960 140261031070256 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52000 KiB

[startup+0.706656 s]
/proc/loadavg: 1.43 1.44 2.11 3/228 16683
/proc/meminfo: memFree=30919452/32770624 swapFree=67002396/67108860
[pid=16617] ppid=16614 vsize=10824364 memory=85764 CPUtime=1.14 cores=1,3,5,7
/proc/16617/stat : 16617 (java) S 16614 16617 15891 0 -1 1077944320 15143 13107 0 0 101 5 5 3 20 0 15 0 443678225 11084148736 21441 33554432000 4194304 4196468 140725261522960 140725261505504 140261610155767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
/proc/16617/statm: 2706091 21441 3512 1 0 2668173 0
[pid=16617/tid=16670] ppid=16614 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/16617/task/16670/stat : 16670 (java) R 16614 16617 15891 0 -1 4202560 10287 13107 0 0 55 4 5 3 20 0 15 0 443678234 11084148736 21441 33554432000 4194304 4196468 140725261522960 140261581982720 140261610177789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16671] ppid=16614 vsize=10824364 memory=827 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16671/stat : 16671 (java) S 16614 16617 15891 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 443678235 11084148736 21441 33554432000 4194304 4196468 140725261522960 140261614398480 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16672] ppid=16614 vsize=10824364 memory=3616 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16672/stat : 16672 (java) S 16614 16617 15891 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 443678235 11084148736 21441 33554432000 4194304 4196468 140725261522960 140261502672016 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16673] ppid=16614 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16673/stat : 16673 (java) S 16614 16617 15891 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 443678235 11084148736 21441 33554432000 4194304 4196468 140725261522960 140261501618960 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16674] ppid=16614 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16674/stat : 16674 (java) S 16614 16617 15891 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 443678235 11084148736 21441 33554432000 4194304 4196468 140725261522960 140261500566416 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16675] ppid=16614 vsize=10824364 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16675/stat : 16675 (java) S 16614 16617 15891 0 -1 1077944384 5 13107 0 0 0 0 5 3 20 0 15 0 443678236 11084148736 21441 33554432000 4194304 4196468 140725261522960 140261068839152 140261610166914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16676] ppid=16614 vsize=10824364 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16676/stat : 16676 (java) S 16614 16617 15891 0 -1 1077944384 33 13107 0 0 0 0 5 3 20 0 15 0 443678237 11084148736 21441 33554432000 4194304 4196468 140725261522960 140261067785376 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16677] ppid=16614 vsize=10824364 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16677/stat : 16677 (java) S 16614 16617 15891 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 443678237 11084148736 21441 33554432000 4194304 4196468 140725261522960 140260948304624 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16678] ppid=16614 vsize=10824364 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16678/stat : 16678 (java) S 16614 16617 15891 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 443678239 11084148736 21441 33554432000 4194304 4196468 140725261522960 140260344326096 140261610174363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16679] ppid=16614 vsize=10824364 memory=13252 CPUtime=0.2 cores=1,3,5,7
/proc/16617/task/16679/stat : 16679 (java) R 16614 16617 15891 0 -1 4202560 681 13107 0 0 12 0 5 3 20 0 15 0 443678239 11084148736 21441 33554432000 4194304 4196468 140725261522960 140261034210064 140261591676846 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16680] ppid=16614 vsize=10824364 memory=15460 CPUtime=0.22 cores=1,3,5,7
/proc/16617/task/16680/stat : 16680 (java) S 16614 16617 15891 0 -1 1077944384 977 13107 0 0 14 0 5 3 20 0 15 0 443678239 11084148736 21441 33554432000 4194304 4196468 140725261522960 140261033175920 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16681] ppid=16614 vsize=10824364 memory=17668 CPUtime=0.25 cores=1,3,5,7
/proc/16617/task/16681/stat : 16681 (java) R 16614 16617 15891 0 -1 4202560 938 13107 0 0 17 0 5 3 20 0 15 0 443678239 11084148736 21441 33554432000 4194304 4196468 140725261522960 140261032122864 140261610177114 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16682] ppid=16614 vsize=10824364 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16682/stat : 16682 (java) S 16614 16617 15891 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 443678240 11084148736 21441 33554432000 4194304 4196468 140725261522960 140259874564960 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16683] ppid=16614 vsize=10824364 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16683/stat : 16683 (java) S 16614 16617 15891 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 443678240 11084148736 21441 33554432000 4194304 4196468 140725261522960 140261031070256 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85764 KiB

[startup+1.50073 s]
/proc/loadavg: 1.43 1.44 2.11 5/229 16685
/proc/meminfo: memFree=30870772/32770624 swapFree=67002396/67108860
[pid=16617] ppid=16614 vsize=10830584 memory=222428 CPUtime=3.22 cores=1,3,5,7
/proc/16617/stat : 16617 (java) S 16614 16617 15891 0 -1 1077944320 24066 13107 0 0 305 9 5 3 20 0 15 0 443678225 11090518016 55607 33554432000 4194304 4196468 140725261522960 140725261505504 140261610155767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
/proc/16617/statm: 2707646 55607 3572 1 0 2669709 0
[pid=16617/tid=16670] ppid=16614 vsize=10830584 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/16617/task/16670/stat : 16670 (java) R 16614 16617 15891 0 -1 4202560 13798 13107 0 0 132 6 5 3 20 0 15 0 443678234 11090518016 55607 33554432000 4194304 4196468 140725261522960 140261581971720 140261594236254 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16671] ppid=16614 vsize=10830584 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16671/stat : 16671 (java) S 16614 16617 15891 0 -1 1077944384 20 13107 0 0 0 0 5 3 20 0 15 0 443678235 11090518016 55607 33554432000 4194304 4196468 140725261522960 140261614398480 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16672] ppid=16614 vsize=10830584 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16672/stat : 16672 (java) S 16614 16617 15891 0 -1 1077944384 10 13107 0 0 0 0 5 3 20 0 15 0 443678235 11090518016 55607 33554432000 4194304 4196468 140725261522960 140261502672016 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16673] ppid=16614 vsize=10830584 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16673/stat : 16673 (java) S 16614 16617 15891 0 -1 1077944384 67 13107 0 0 0 0 5 3 20 0 15 0 443678235 11090518016 55607 33554432000 4194304 4196468 140725261522960 140261501618960 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16674] ppid=16614 vsize=10830584 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16674/stat : 16674 (java) S 16614 16617 15891 0 -1 1077944384 197 13107 0 0 0 0 5 3 20 0 15 0 443678235 11090518016 55607 33554432000 4194304 4196468 140725261522960 140261500566416 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16675] ppid=16614 vsize=10830584 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16675/stat : 16675 (java) S 16614 16617 15891 0 -1 1077944384 99 13107 0 0 0 0 5 3 20 0 15 0 443678236 11090518016 55607 33554432000 4194304 4196468 140725261522960 140261068839152 140261610166914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16676] ppid=16614 vsize=10830584 memory=280196955580672 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16676/stat : 16676 (java) S 16614 16617 15891 0 -1 1077944384 33 13107 0 0 0 0 5 3 20 0 15 0 443678237 11090518016 55607 33554432000 4194304 4196468 140725261522960 140261067785440 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16677] ppid=16614 vsize=10830584 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16677/stat : 16677 (java) S 16614 16617 15891 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 443678237 11090518016 55607 33554432000 4194304 4196468 140725261522960 140260948304640 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16678] ppid=16614 vsize=10830584 memory=1220 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16678/stat : 16678 (java) S 16614 16617 15891 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 443678239 11090518016 55607 33554432000 4194304 4196468 140725261522960 140260344326096 140261610174363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16679] ppid=16614 vsize=10830584 memory=10600 CPUtime=0.7 cores=1,3,5,7
/proc/16617/task/16679/stat : 16679 (java) S 16614 16617 15891 0 -1 1077944384 2596 13107 0 0 62 0 5 3 20 0 15 0 443678239 11090518016 55607 33554432000 4194304 4196468 140725261522960 140261034228464 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16680] ppid=16614 vsize=10830584 memory=1740 CPUtime=0.71 cores=1,3,5,7
/proc/16617/task/16680/stat : 16680 (java) S 16614 16617 15891 0 -1 1077944384 3133 13107 0 0 63 0 5 3 20 0 15 0 443678239 11090518016 55607 33554432000 4194304 4196468 140725261522960 140261033175920 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16681] ppid=16614 vsize=10830584 memory=5992 CPUtime=0.5 cores=1,3,5,7
/proc/16617/task/16681/stat : 16681 (java) S 16614 16617 15891 0 -1 1077944384 1895 13107 0 0 42 0 5 3 20 0 15 0 443678239 11090518016 55607 33554432000 4194304 4196468 140725261522960 140261032122864 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16682] ppid=16614 vsize=10830584 memory=636 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16682/stat : 16682 (java) S 16614 16617 15891 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 443678240 11090518016 55607 33554432000 4194304 4196468 140725261522960 140259874564960 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16683] ppid=16614 vsize=10830584 memory=2884 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16683/stat : 16683 (java) S 16614 16617 15891 0 -1 1077944384 1 13107 0 0 0 0 5 3 20 0 15 0 443678240 11090518016 55607 33554432000 4194304 4196468 140725261522960 140261031070256 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
Current children cumulated CPU time: 3.22 s
Current children cumulated vsize: 10830584 KiB

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

/proc/16617/task/16670/stat : 16670 (java) R 16614 16617 15891 0 -1 4202560 112145 13107 0 0 229868 73 5 3 20 0 15 0 443678234 11107315712 655533 33554432000 4194304 4196468 140725261522960 140261581991904 140261181124231 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16671] ppid=16614 vsize=10846988 memory=1391 CPUtime=14.1 cores=1,3,5,7
/proc/16617/task/16671/stat : 16671 (java) S 16614 16617 15891 0 -1 1077944384 31182 13107 0 0 1358 44 5 3 20 0 15 0 443678235 11107315712 655533 33554432000 4194304 4196468 140725261522960 140261614398480 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16672] ppid=16614 vsize=10846988 memory=2622132 CPUtime=14.11 cores=1,3,5,7
/proc/16617/task/16672/stat : 16672 (java) S 16614 16617 15891 0 -1 1077944384 44551 13107 0 0 1359 44 5 3 20 0 15 0 443678235 11107315712 655533 33554432000 4194304 4196468 140725261522960 140261502672016 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16673] ppid=16614 vsize=10846988 memory=2622132 CPUtime=14.07 cores=1,3,5,7
/proc/16617/task/16673/stat : 16673 (java) S 16614 16617 15891 0 -1 1077944384 42856 13107 0 0 1356 43 5 3 20 0 15 0 443678235 11107315712 655533 33554432000 4194304 4196468 140725261522960 140261501618960 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16674] ppid=16614 vsize=10846988 memory=2622132 CPUtime=14.03 cores=1,3,5,7
/proc/16617/task/16674/stat : 16674 (java) S 16614 16617 15891 0 -1 1077944384 40159 13107 0 0 1349 46 5 3 20 0 15 0 443678235 11107315712 655533 33554432000 4194304 4196468 140725261522960 140261500566416 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16675] ppid=16614 vsize=10846988 memory=2622132 CPUtime=7.31 cores=1,3,5,7
/proc/16617/task/16675/stat : 16675 (java) S 16614 16617 15891 0 -1 1077944384 36553 13107 0 0 676 47 5 3 20 0 15 0 443678236 11107315712 655533 33554432000 4194304 4196468 140725261522960 140261068839152 140261610166914 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16676] ppid=16614 vsize=10846988 memory=2622132 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16676/stat : 16676 (java) S 16614 16617 15891 0 -1 1077944384 48 13107 0 0 0 0 5 3 20 0 15 0 443678237 11107315712 655533 33554432000 4194304 4196468 140725261522960 140261067785440 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16677] ppid=16614 vsize=10846988 memory=2622132 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16677/stat : 16677 (java) S 16614 16617 15891 0 -1 1077944384 6 13107 0 0 0 0 5 3 20 0 15 0 443678237 11107315712 655533 33554432000 4194304 4196468 140725261522960 140260948304640 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16678] ppid=16614 vsize=10846988 memory=2622132 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16678/stat : 16678 (java) S 16614 16617 15891 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 443678239 11107315712 655533 33554432000 4194304 4196468 140725261522960 140260344326096 140261610174363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16679] ppid=16614 vsize=10846988 memory=3616 CPUtime=7.99 cores=1,3,5,7
/proc/16617/task/16679/stat : 16679 (java) S 16614 16617 15891 0 -1 1077944384 28608 13107 0 0 788 3 5 3 20 0 15 0 443678239 11107315712 655533 33554432000 4194304 4196468 140725261522960 140261034228464 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16680] ppid=16614 vsize=10846988 memory=47192 CPUtime=8.29 cores=1,3,5,7
/proc/16617/task/16680/stat : 16680 (java) S 16614 16617 15891 0 -1 1077944384 44381 13107 0 0 816 5 5 3 20 0 15 0 443678239 11107315712 655533 33554432000 4194304 4196468 140725261522960 140261033175920 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16681] ppid=16614 vsize=10846988 memory=2622132 CPUtime=2.37 cores=1,3,5,7
/proc/16617/task/16681/stat : 16681 (java) S 16614 16617 15891 0 -1 1077944384 16685 13107 0 0 227 2 5 3 20 0 15 0 443678239 11107315712 655533 33554432000 4194304 4196468 140725261522960 140261032122864 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16682] ppid=16614 vsize=10846988 memory=2622132 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16682/stat : 16682 (java) S 16614 16617 15891 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 443678240 11107315712 655533 33554432000 4194304 4196468 140725261522960 140259874564960 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16683] ppid=16614 vsize=10846988 memory=2622132 CPUtime=1.43 cores=1,3,5,7
/proc/16617/task/16683/stat : 16683 (java) S 16614 16617 15891 0 -1 1077944384 2173 13107 0 0 62 73 5 3 20 0 15 0 443678240 11107315712 655533 33554432000 4194304 4196468 140725261522960 140261031070256 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
Current children cumulated CPU time: 2382.6 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2622132 KiB

[startup+2382.3 s]
/proc/loadavg: 1.46 1.37 1.47 3/227 17188
/proc/meminfo: memFree=28414752/32770624 swapFree=67002400/67108860
[pid=16617] ppid=16614 vsize=10846988 memory=2626144 CPUtime=2443.82 cores=1,3,5,7
/proc/16617/stat : 16617 (java) S 16614 16617 15891 0 -1 1077944320 405583 13107 0 0 244020 354 5 3 20 0 15 0 443678225 11107315712 656536 33554432000 4194304 4196468 140725261522960 140725261505504 140261610155767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
/proc/16617/statm: 2711747 656536 3640 1 0 2673805 0
[pid=16617/tid=16670] ppid=16614 vsize=10846988 memory=2626144 CPUtime=2358.8 cores=1,3,5,7
/proc/16617/task/16670/stat : 16670 (java) R 16614 16617 15891 0 -1 4202560 113774 13107 0 0 235799 73 5 3 20 0 15 0 443678234 11107315712 656536 33554432000 4194304 4196468 140725261522960 140261581991248 140261179743081 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16671] ppid=16614 vsize=10846988 memory=2626144 CPUtime=14.51 cores=1,3,5,7
/proc/16617/task/16671/stat : 16671 (java) S 16614 16617 15891 0 -1 1077944384 31359 13107 0 0 1398 45 5 3 20 0 15 0 443678235 11107315712 656536 33554432000 4194304 4196468 140725261522960 140261614398480 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16672] ppid=16614 vsize=10846988 memory=2622132 CPUtime=14.53 cores=1,3,5,7
/proc/16617/task/16672/stat : 16672 (java) S 16614 16617 15891 0 -1 1077944384 44701 13107 0 0 1400 45 5 3 20 0 15 0 443678235 11107315712 656536 33554432000 4194304 4196468 140725261522960 140261502672016 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16673] ppid=16614 vsize=10846988 memory=2622132 CPUtime=14.49 cores=1,3,5,7
/proc/16617/task/16673/stat : 16673 (java) S 16614 16617 15891 0 -1 1077944384 43574 13107 0 0 1398 43 5 3 20 0 15 0 443678235 11107315712 656536 33554432000 4194304 4196468 140725261522960 140261501618960 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16674] ppid=16614 vsize=10846988 memory=2622132 CPUtime=14.45 cores=1,3,5,7
/proc/16617/task/16674/stat : 16674 (java) S 16614 16617 15891 0 -1 1077944384 40810 13107 0 0 1390 47 5 3 20 0 15 0 443678235 11107315712 656536 33554432000 4194304 4196468 140725261522960 140261500566416 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16675] ppid=16614 vsize=10846988 memory=2626144 CPUtime=7.53 cores=1,3,5,7
/proc/16617/task/16675/stat : 16675 (java) S 16614 16617 15891 0 -1 1077944384 37192 13107 0 0 697 48 5 3 20 0 15 0 443678236 11107315712 656536 33554432000 4194304 4196468 140725261522960 140261068839152 140261610166914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16676] ppid=16614 vsize=10846988 memory=2622132 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16676/stat : 16676 (java) S 16614 16617 15891 0 -1 1077944384 48 13107 0 0 0 0 5 3 20 0 15 0 443678237 11107315712 656536 33554432000 4194304 4196468 140725261522960 140261067785440 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16677] ppid=16614 vsize=10846988 memory=2626144 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16677/stat : 16677 (java) S 16614 16617 15891 0 -1 1077944384 6 13107 0 0 0 0 5 3 20 0 15 0 443678237 11107315712 656536 33554432000 4194304 4196468 140725261522960 140260948304640 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16678] ppid=16614 vsize=10846988 memory=2257 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16678/stat : 16678 (java) S 16614 16617 15891 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 443678239 11107315712 656536 33554432000 4194304 4196468 140725261522960 140260344326096 140261610174363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16679] ppid=16614 vsize=10846988 memory=2622132 CPUtime=7.99 cores=1,3,5,7
/proc/16617/task/16679/stat : 16679 (java) S 16614 16617 15891 0 -1 1077944384 28612 13107 0 0 788 3 5 3 20 0 15 0 443678239 11107315712 656536 33554432000 4194304 4196468 140725261522960 140261034228464 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16680] ppid=16614 vsize=10846988 memory=193 CPUtime=8.29 cores=1,3,5,7
/proc/16617/task/16680/stat : 16680 (java) S 16614 16617 15891 0 -1 1077944384 44387 13107 0 0 816 5 5 3 20 0 15 0 443678239 11107315712 656536 33554432000 4194304 4196468 140725261522960 140261033175920 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16681] ppid=16614 vsize=10846988 memory=2626144 CPUtime=2.37 cores=1,3,5,7
/proc/16617/task/16681/stat : 16681 (java) S 16614 16617 15891 0 -1 1077944384 16689 13107 0 0 227 2 5 3 20 0 15 0 443678239 11107315712 656536 33554432000 4194304 4196468 140725261522960 140261032122864 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16682] ppid=16614 vsize=10846988 memory=4108 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16682/stat : 16682 (java) S 16614 16617 15891 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 443678240 11107315712 656536 33554432000 4194304 4196468 140725261522960 140259874564960 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16683] ppid=16614 vsize=10846988 memory=2626144 CPUtime=1.47 cores=1,3,5,7
/proc/16617/task/16683/stat : 16683 (java) S 16614 16617 15891 0 -1 1077944384 2216 13107 0 0 63 76 5 3 20 0 15 0 443678240 11107315712 656536 33554432000 4194304 4196468 140725261522960 140261031070256 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
Current children cumulated CPU time: 2443.82 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2626144 KiB

[startup+2442.3 s]
/proc/loadavg: 1.55 1.41 1.47 3/227 17194
/proc/meminfo: memFree=28300324/32770624 swapFree=67002400/67108860
[pid=16617] ppid=16614 vsize=10846988 memory=2632576 CPUtime=2505.03 cores=1,3,5,7
/proc/16617/stat : 16617 (java) S 16614 16617 15891 0 -1 1077944320 409686 13107 0 0 250135 360 5 3 20 0 15 0 443678225 11107315712 658144 33554432000 4194304 4196468 140725261522960 140725261505504 140261610155767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
/proc/16617/statm: 2711747 658144 3640 1 0 2673805 0
[pid=16617/tid=16670] ppid=16614 vsize=10846988 memory=2632576 CPUtime=2418.13 cores=1,3,5,7
/proc/16617/task/16670/stat : 16670 (java) R 16614 16617 15891 0 -1 4202560 115361 13107 0 0 241731 74 5 3 20 0 15 0 443678234 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261581991472 140261178753876 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16671] ppid=16614 vsize=10846988 memory=2632576 CPUtime=14.91 cores=1,3,5,7
/proc/16617/task/16671/stat : 16671 (java) S 16614 16617 15891 0 -1 1077944384 31811 13107 0 0 1438 45 5 3 20 0 15 0 443678235 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261614398480 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16672] ppid=16614 vsize=10846988 memory=2632576 CPUtime=14.93 cores=1,3,5,7
/proc/16617/task/16672/stat : 16672 (java) S 16614 16617 15891 0 -1 1077944384 44957 13107 0 0 1440 45 5 3 20 0 15 0 443678235 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261502672016 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16673] ppid=16614 vsize=10846988 memory=2632576 CPUtime=14.9 cores=1,3,5,7
/proc/16617/task/16673/stat : 16673 (java) S 16614 16617 15891 0 -1 1077944384 43766 13107 0 0 1437 45 5 3 20 0 15 0 443678235 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261501618960 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16674] ppid=16614 vsize=10846988 memory=2632576 CPUtime=14.85 cores=1,3,5,7
/proc/16617/task/16674/stat : 16674 (java) S 16614 16617 15891 0 -1 1077944384 41620 13107 0 0 1429 48 5 3 20 0 15 0 443678235 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261500566416 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16675] ppid=16614 vsize=10846988 memory=2632576 CPUtime=7.74 cores=1,3,5,7
/proc/16617/task/16675/stat : 16675 (java) S 16614 16617 15891 0 -1 1077944384 37927 13107 0 0 717 49 5 3 20 0 15 0 443678236 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261068839152 140261610166914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16676] ppid=16614 vsize=10846988 memory=2632576 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16676/stat : 16676 (java) S 16614 16617 15891 0 -1 1077944384 48 13107 0 0 0 0 5 3 20 0 15 0 443678237 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261067785440 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16677] ppid=16614 vsize=10846988 memory=2632576 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16677/stat : 16677 (java) S 16614 16617 15891 0 -1 1077944384 6 13107 0 0 0 0 5 3 20 0 15 0 443678237 11107315712 658144 33554432000 4194304 4196468 140725261522960 140260948304640 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16678] ppid=16614 vsize=10846988 memory=2632576 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16678/stat : 16678 (java) S 16614 16617 15891 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 443678239 11107315712 658144 33554432000 4194304 4196468 140725261522960 140260344326096 140261610174363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16679] ppid=16614 vsize=10846988 memory=2632576 CPUtime=7.99 cores=1,3,5,7
/proc/16617/task/16679/stat : 16679 (java) S 16614 16617 15891 0 -1 1077944384 28618 13107 0 0 788 3 5 3 20 0 15 0 443678239 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261034228464 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16680] ppid=16614 vsize=10846988 memory=2632576 CPUtime=8.29 cores=1,3,5,7
/proc/16617/task/16680/stat : 16680 (java) S 16614 16617 15891 0 -1 1077944384 44395 13107 0 0 816 5 5 3 20 0 15 0 443678239 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261033175920 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16681] ppid=16614 vsize=10846988 memory=2024 CPUtime=2.37 cores=1,3,5,7
/proc/16617/task/16681/stat : 16681 (java) S 16614 16617 15891 0 -1 1077944384 16695 13107 0 0 227 2 5 3 20 0 15 0 443678239 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261032122864 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16682] ppid=16614 vsize=10846988 memory=3616 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16682/stat : 16682 (java) S 16614 16617 15891 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 443678240 11107315712 658144 33554432000 4194304 4196468 140725261522960 140259874564960 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16683] ppid=16614 vsize=10846988 memory=47200 CPUtime=1.51 cores=1,3,5,7
/proc/16617/task/16683/stat : 16683 (java) S 16614 16617 15891 0 -1 1077944384 2267 13107 0 0 65 78 5 3 20 0 15 0 443678240 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261031070256 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
Current children cumulated CPU time: 2505.03 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2632576 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2457 s]*
/proc/loadavg: 1.58 1.43 1.48 3/227 17194
/proc/meminfo: memFree=28341576/32770624 swapFree=67002400/67108860
[pid=16617] ppid=16614 vsize=10846988 memory=2632576 CPUtime=2520.05 cores=1,3,5,7
/proc/16617/stat : 16617 (java) S 16614 16617 15891 0 -1 1077944320 410560 13107 0 0 251635 362 5 3 20 0 15 0 443678225 11107315712 658144 33554432000 4194304 4196468 140725261522960 140725261505504 140261610155767 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
/proc/16617/statm: 2711747 658144 3640 1 0 2673805 0
[pid=16617/tid=16670] ppid=16614 vsize=10846988 memory=29678448712876256 CPUtime=2432.67 cores=1,3,5,7
/proc/16617/task/16670/stat : 16670 (java) S 16614 16617 15891 0 -1 1077944384 115709 13107 0 0 243185 74 5 3 20 0 15 0 443678234 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261581991968 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16671] ppid=16614 vsize=10846988 memory=0 CPUtime=15.03 cores=1,3,5,7
/proc/16617/task/16671/stat : 16671 (java) R 16614 16617 15891 0 -1 4202560 31825 13107 0 0 1449 46 5 3 20 0 15 0 443678235 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261614398480 140261602783975 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16672] ppid=16614 vsize=10846988 memory=140098643655283 CPUtime=15.04 cores=1,3,5,7
/proc/16617/task/16672/stat : 16672 (java) R 16614 16617 15891 0 -1 1077944384 45119 13107 0 0 1450 46 5 3 20 0 15 0 443678235 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261502672016 140261610165973 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16673] ppid=16614 vsize=10846988 memory=6944656592455360604 CPUtime=15.01 cores=1,3,5,7
/proc/16617/task/16673/stat : 16673 (java) R 16614 16617 15891 0 -1 4202560 43872 13107 0 0 1448 45 5 3 20 0 15 0 443678235 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261501618960 140261602783975 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16674] ppid=16614 vsize=10846988 memory=6944652177228980320 CPUtime=14.96 cores=1,3,5,7
/proc/16617/task/16674/stat : 16674 (java) R 16614 16617 15891 0 -1 4202560 41644 13107 0 0 1439 49 5 3 20 0 15 0 443678235 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261500566536 140261602783975 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16675] ppid=16614 vsize=10846988 memory=0 CPUtime=7.8 cores=1,3,5,7
/proc/16617/task/16675/stat : 16675 (java) S 16614 16617 15891 0 -1 1077944384 38125 13107 0 0 723 49 5 3 20 0 15 0 443678236 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261068837664 140261610165973 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16676] ppid=16614 vsize=10846988 memory=6873730494919109728 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16676/stat : 16676 (java) S 16614 16617 15891 0 -1 1077944384 48 13107 0 0 0 0 5 3 20 0 15 0 443678237 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261067785440 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16677] ppid=16614 vsize=10846988 memory=7309783720498050901 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16677/stat : 16677 (java) S 16614 16617 15891 0 -1 1077944384 6 13107 0 0 0 0 5 3 20 0 15 0 443678237 11107315712 658144 33554432000 4194304 4196468 140725261522960 140260948304640 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16678] ppid=16614 vsize=10846988 memory=280196955504880 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16678/stat : 16678 (java) S 16614 16617 15891 0 -1 1077944384 2 13107 0 0 0 0 5 3 20 0 15 0 443678239 11107315712 658144 33554432000 4194304 4196468 140725261522960 140260344326096 140261610174363 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16679] ppid=16614 vsize=10846988 memory=0 CPUtime=7.99 cores=1,3,5,7
/proc/16617/task/16679/stat : 16679 (java) S 16614 16617 15891 0 -1 1077944384 28620 13107 0 0 788 3 5 3 20 0 15 0 443678239 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261034228464 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16680] ppid=16614 vsize=10846988 memory=3472328296227418159 CPUtime=8.29 cores=1,3,5,7
/proc/16617/task/16680/stat : 16680 (java) S 16614 16617 15891 0 -1 1077944384 44397 13107 0 0 816 5 5 3 20 0 15 0 443678239 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261033175920 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16681] ppid=16614 vsize=10846988 memory=7809768276838794122 CPUtime=2.37 cores=1,3,5,7
/proc/16617/task/16681/stat : 16681 (java) S 16614 16617 15891 0 -1 1077944384 16697 13107 0 0 227 2 5 3 20 0 15 0 443678239 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261032122864 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16682] ppid=16614 vsize=10846988 memory=3472328296227679279 CPUtime=0.08 cores=1,3,5,7
/proc/16617/task/16682/stat : 16682 (java) S 16614 16617 15891 0 -1 1077944384 3 13107 0 0 0 0 5 3 20 0 15 0 443678240 11107315712 658144 33554432000 4194304 4196468 140725261522960 140259874564960 140261610165973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
[pid=16617/tid=16683] ppid=16614 vsize=10846988 memory=3540022320559298227 CPUtime=1.51 cores=1,3,5,7
/proc/16617/task/16683/stat : 16683 (java) S 16614 16617 15891 0 -1 1077944384 2283 13107 0 0 65 78 5 3 20 0 15 0 443678240 11107315712 658144 33554432000 4194304 4196468 140725261522960 140261031070256 140261610166914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 17 0 0 6293624 6294260 11640832 140725261527791 140725261530309 140725261530309 140725261533135 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2632576 KiB

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

[startup+2457.04 s]
# the end of solver process 16617 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.43 s, system=3.67328 s

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

Child status: 143
Real time (s): 2457.04
CPU time (s): 2520.1
CPU user time (s): 2516.43
CPU system time (s): 3.67328
CPU usage (%): 102.566
Max. virtual memory (cumulated for all children) (KiB): 10847640
Max. memory (cumulated for all children) (KiB): 2839736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.43
system time used= 3.67328
maximum resident set size= 2845880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 424798
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 214892
involuntary context switches= 7480


# summary of solver processes directly reported to runsolver:
#   pid: 16617
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2516.43
#   total CPU system time (s): 3.67328

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0698 second user time and 24.1366 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-17 00:50:51
IDJOB=4401024
IDBENCH=120609
IDSOLVER=2857
FILE ID=node136/4401024-1568674296
RUNJOBID= node136-1568673287-15923
PBS_JOBID= 21703781
Free space on /tmp= 61108 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-2-fullins-5.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4401024-1568674296/watcher-4401024-1568674296 -o /tmp/evaluation-result-4401024-1568674296/solver-4401024-1568674296 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568673287-15923 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1790479423 HOME/instance-4401024-1568674296.xml

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

MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33
RANDOM SEED=1790479423

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30976280 kB
MemAvailable:   31181656 kB
Buffers:           36892 kB
Cached:           470736 kB
SwapCached:         3568 kB
Active:           968448 kB
Inactive:         263680 kB
Active(anon):     724424 kB
Inactive(anon):    49424 kB
Active(file):     244024 kB
Inactive(file):   214256 kB
Unevictable:      110284 kB
Mlocked:          110284 kB
SwapTotal:      67108860 kB
SwapFree:       67002396 kB
Dirty:             35852 kB
Writeback:             0 kB
AnonPages:        851484 kB
Mapped:            61616 kB
Shmem:             40332 kB
Slab:             154824 kB
SReclaimable:     125860 kB
SUnreclaim:        28964 kB
KernelStack:        4000 kB
PageTables:         7036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2005836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    690176 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61076 MiB
End job on node136 at 2019-09-17 01:31:49