Trace number 4396144

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)701 2520.09 2486.75

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.58	c Concrete v3.12.2.1568380929293 running
69.99/57.59	o 851
93.60/80.41	o 850
113.57/100.08	o 849
134.00/120.27	o 848
153.09/139.20	o 847
173.83/159.61	o 846
209.98/195.25	o 845
235.69/220.60	o 844
256.85/241.23	o 843
276.82/260.88	o 842
296.09/279.79	o 841
314.84/298.08	o 840
333.62/316.44	o 839
352.42/334.98	o 838
371.83/354.03	o 837
389.09/371.06	o 836
410.43/392.07	o 835
430.13/411.43	o 834
449.25/430.21	o 833
466.93/447.66	o 832
485.22/465.65	o 831
504.72/484.89	o 830
523.01/502.84	o 829
542.54/522.01	o 828
560.14/539.40	o 827
577.16/556.02	o 826
594.56/573.15	o 825
614.28/592.50	o 824
634.00/611.97	o 823
650.93/628.55	o 822
668.54/645.84	o 821
684.19/661.21	o 820
699.84/676.64	o 819
714.50/691.04	o 818
731.48/707.73	o 817
749.05/724.75	o 816
766.84/742.28	o 815
783.37/758.57	o 814
800.80/775.78	o 813
821.53/796.16	o 812
839.09/813.50	o 811
854.23/828.57	o 810
869.55/843.76	o 809
884.75/858.86	o 808
898.94/873.00	o 807
916.25/890.17	o 806
932.76/906.52	o 805
949.93/923.67	o 804
968.03/941.61	o 803
985.31/958.88	o 802
1002.60/976.04	o 801
1018.97/992.31	o 800
1040.16/1013.44	o 799
1060.15/1033.33	o 798
1081.15/1054.23	o 797
1100.54/1073.59	o 796
1119.22/1092.17	o 795
1137.40/1110.29	o 794
1153.88/1126.68	o 793
1169.84/1142.55	o 792
1186.31/1158.97	o 791
1204.79/1177.06	o 790
1221.35/1193.55	o 789
1237.55/1209.68	o 788
1254.52/1226.56	o 787
1270.26/1242.09	o 786
1285.82/1257.60	o 785
1301.18/1272.88	o 784
1316.46/1288.07	o 783
1331.63/1303.15	o 782
1346.49/1317.97	o 781
1366.78/1338.18	o 780
1385.07/1356.31	o 779
1403.96/1375.19	o 778
1421.94/1393.01	o 777
1439.40/1410.42	o 776
1456.10/1427.06	o 775
1472.36/1443.28	o 774
1488.24/1459.01	o 773
1503.59/1474.38	o 772
1518.76/1489.45	o 771
1533.43/1504.04	o 770
1547.38/1517.90	o 769
1564.96/1535.47	o 768
1580.73/1551.15	o 767
1595.29/1565.70	o 766
1609.77/1580.07	o 765
1623.83/1594.06	o 764
1637.89/1608.09	o 763
1651.43/1621.58	o 762
1663.08/1633.13	o 761
1674.21/1644.25	o 760
1685.34/1655.39	o 759
1696.18/1666.14	o 758
1706.40/1676.39	o 757
1715.24/1685.18	o 756
1723.65/1693.58	o 755
1731.98/1701.81	o 754
1739.59/1709.47	o 753
1747.10/1716.98	o 752
1754.63/1724.47	o 751
1761.94/1731.76	o 750
1769.36/1739.11	o 749
1776.16/1745.92	o 748
1781.87/1751.65	o 747
1798.03/1767.70	o 746
1813.51/1783.18	o 745
1829.48/1799.08	o 744
1845.87/1815.32	o 743
1860.94/1830.38	o 742
1875.28/1844.69	o 741
1889.05/1858.38	o 740
1903.21/1872.47	o 739
1916.76/1885.94	o 738
1929.94/1899.06	o 737
1942.99/1912.02	o 736
1955.82/1924.81	o 735
1968.16/1937.19	o 734
1980.29/1949.27	o 733
1992.03/1960.95	o 732
2003.67/1972.58	o 731
2014.70/1983.55	o 730
2025.73/1994.56	o 729
2036.37/2005.17	o 728
2046.39/2015.18	o 727
2056.70/2025.42	o 726
2075.98/2044.67	o 725
2096.49/2065.09	o 724
2120.49/2088.98	o 723
2140.39/2108.78	o 722
2162.08/2130.38	o 721
2184.78/2152.94	o 720
2206.90/2174.93	o 719
2226.10/2194.02	o 718
2244.38/2212.28	o 717
2261.57/2229.38	o 716
2278.04/2245.71	o 715
2294.41/2262.03	o 714
2309.97/2277.57	o 713
2325.64/2293.14	o 712
2341.19/2308.63	o 711
2356.24/2323.61	o 710
2370.30/2337.62	o 709
2384.56/2351.84	o 708
2398.39/2365.69	o 707
2411.45/2378.69	o 706
2424.51/2391.61	o 705
2436.24/2403.38	o 704
2456.23/2423.28	o 703
2477.32/2444.22	o 702
2498.02/2464.88	o 701
2520.03/2486.72	Exception in thread "main" java.util.concurrent.TimeoutException
2520.03/2486.72		at concrete.MAC.mac(MAC.scala:192)
2520.03/2486.72		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.03/2486.72		at scala.util.Try$.apply(Try.scala:212)
2520.03/2486.72		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.03/2486.72		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.03/2486.72		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.03/2486.72		at concrete.MAC.oneRun(MAC.scala:265)
2520.03/2486.72		at concrete.MAC.nextSolution(MAC.scala:284)
2520.03/2486.72		at concrete.MAC.nextSolution(MAC.scala:369)
2520.03/2486.72		at concrete.Solver.hasNext(Solver.scala:160)
2520.03/2486.72		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.03/2486.72		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.03/2486.72		at concrete.Solver.foreach(Solver.scala:67)
2520.03/2486.72		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.03/2486.72		at scala.util.Success.map(Try.scala:264)
2520.03/2486.72		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.03/2486.72		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.03/2486.72		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.03/2486.72		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.03/2486.72		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.03/2486.72		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.03/2486.72		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.03/2486.72		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.03/2486.72		at scala.App.$anonfun$main$1(App.scala:75)
2520.03/2486.72		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2520.03/2486.72		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2520.03/2486.72		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2520.03/2486.72		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2520.03/2486.72		at scala.App.main(App.scala:75)
2520.03/2486.72		at scala.App.main$(App.scala:73)
2520.03/2486.72		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.03/2486.72		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2486.72	v <instantiation
2520.03/2486.72	v         cost = '701'>
2520.03/2486.72	v       <list>
2520.03/2486.72	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.03/2486.72	v       </list>
2520.03/2486.72	v       <values>
2520.03/2486.72	v         2 1 0 1 0 1 3 2 0 3 2 1 700 4 700 4 3 4 3 5 5 3 5 5 1 1 1 1 1 1 700 1 1 2 2 1 4 4 4 4 4 4 4 4 4 4 4 4 3 0 4 1 701 3 6 4 700 4 3 4 4 3 6 6 701 3 700 4 700 4 3 3 6 3 700 4 701 701 701 701 3 701 3 701 701 701 701 701 7 701 7 701 701 701 701 701 701 701 701 7 701 701 701 701 701 1 1 1 1 1 701 701 1 1 1 1 700 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 700 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 701 3 3 3 3 3 3 701 3 3 3 3 3 3 701 3 701 3 3 3 3 3 3 3 3 3 3 701 3 3 3 701 3 1 5 3 2 2 3 0 4 0 4 2 2 0 3 2 701 700 3 700 4 3 699 3 699 699 3 5 699 0 2 2 2 2 2 699 2 2 2 2 2 2 0 4 4 4 4 2 2 4 4 4 4 3 0 4 6 2 3 2 4 0 6 2 2 0 3 2 4 2 3 4 4 4 4 701 3 4 3 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 701 0 0 0 0 0 0 2 0 701 700 0 0 0 0 0 0 0 0 0 701 0 0 2 2 700 2 700 0 2 0 2 2 2 0 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 4 2 2 4 2 2 4 700 2 2 4 0 0 0 699 0 700 0 0 0 0 700 700 0 0 700 0 0 0 0 0 700 0 700 0 700 0 700 0 0 700 0 700 0 0 0 0 0 0 699 0 0 0 0 699 0 0 699 699 0 0 0 0 0 0 0 4 1 1 1 1 701 1 1 1 1 1 1 1 1 1 1 1 1 1 1 700 1 1 1 1 1 1 1 1 1 1 1 1 1 1 700 1 1 1 701 1 1 1 1 1 1 1 1 1 1 1 701 1 1 1 1 1 701 1 700 1 1 1 1 1 1 1 700 1 1 1 1 1 1 1 1 700 1 1 1 1 1 1 1 1 1 701 1 1 1 1 1 1 701 1 1 1 1 1 1 1 701 1 1 1 1 1 1 1 701 1 1 1 1 701 1 1 1 1 1 1 1 701 1 1 1 1 701 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 701 701 1 1 701 1 1 1 1 1 1 1 699 1 1 700 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 701 701 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 699 1 1 1 1 701 701 1 1 1 701 0 701 0 0 0 0 0 0 0 0 0 0 701 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 699 0 699 0 0 0 0 0 0 0 0 0 0 0 0 699 0 0 0 700 0 0 0 0 0 0 0 0 700 0 0 0 0 700 0 0 0 0 0 0 0 0 0 0 0 700 0 700 700 700 700 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 701 0 0 0 0 0 0 0 0 0 0 701 0 701 0 701 0 699 0 0 0 0 0 0 701 0 0 0 0 0 0 0 0 0 0 701 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 700 0 0 0 0 0 700 700 0 0 0 0 0 0 0 0 0 0 0 0 0 700 0 0 0 0 700 0 0 0 0 0 0 0 0 0 0 0 0 0 0 700 0 0 700 0 0 0 0 0 700 700 0 0 0 0 0 0 3 1 0 2
2520.03/2486.72	v       </values>
2520.03/2486.72	v     </instantiation>
2520.03/2486.72	s SATISFIABLE

Verifier Data 

OK	701

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396144-1568394095/watcher-4396144-1568394095 -o /tmp/evaluation-result-4396144-1568394095/solver-4396144-1568394095 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568394053-20871 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=771107424 HOME/instance-4396144-1568394095.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
solver pid=20896, runsolver pid=20892
Current StackSize limit: 8192 KiB


[startup+0.10016 s]*
/proc/loadavg: 1.76 1.66 1.66 3/222 20973
/proc/meminfo: memFree=26679112/32770624 swapFree=66927244/67108860
[pid=20896] ppid=20892 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/20896/stat : 20896 (bash) S 20892 20896 19826 0 -1 4202496 892 5690 1 0 0 0 0 1 20 0 1 0 415656906 115974144 404 33554432000 4194304 5098028 140726476330928 140726476324936 139713220602880 0 0 4100 65536 18446744071580971376 0 0 17 3 0 0 2 0 0 7196144 7232144 30023680 140726476334101 140726476334225 140726476334225 140726476337134 0
/proc/20896/statm: 28314 404 320 221 0 119 0
[pid=20953] ppid=20896 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/20953/stat : 20953 (bash) S 20896 20896 19826 0 -1 4202560 155 0 0 0 0 0 0 0 20 0 1 0 415656911 115974144 178 33554432000 4194304 5098028 140726476330928 140726476323608 139713220428412 0 65536 4096 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 30023680 140726476334101 140726476334225 140726476334225 140726476337134 0
/proc/20953/statm: 28314 178 94 221 0 119 0
[pid=20957] ppid=20953 vsize=113492 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/20957/stat : 20957 (awk) R 20953 20896 19826 0 -1 4202496 448 0 0 0 0 0 0 0 20 0 1 0 415656911 116215808 307 33554432000 4194304 4609284 140723684151520 140723684150696 139987093613568 0 0 4096 1216 0 0 0 17 5 0 0 0 0 0 6708720 6711756 20500480 140723684152508 140723684152538 140723684152538 140723684155375 0
/proc/20957/statm: 28373 307 256 102 0 89 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 340004 KiB
Current children cumulated memory: 3556 KiB

[startup+0.210664 s]*
/proc/loadavg: 1.76 1.66 1.66 4/227 21031
/proc/meminfo: memFree=26658040/32770624 swapFree=66927244/67108860
[pid=20896] ppid=20892 vsize=10819664 memory=38688 CPUtime=0.2 cores=1,3,5,7
/proc/20896/stat : 20896 (java) S 20892 20896 19826 0 -1 1077944320 7042 13316 1 0 10 2 5 3 20 0 15 0 415656906 11079335936 9672 33554432000 4194304 4196468 140735582000496 140735581983040 139650795990775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 2 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
/proc/20896/statm: 2704916 9672 3126 1 0 2667149 0
[pid=20896/tid=21004] ppid=20892 vsize=10819664 memory=7022364594140610616 CPUtime=0.17 cores=1,3,5,7
/proc/20896/task/21004/stat : 21004 (java) R 20892 20896 19826 0 -1 4202560 3677 13316 0 0 8 1 5 3 20 0 15 0 415656918 11079335936 9738 33554432000 4194304 4196468 140735582000496 139650767814936 139650788227902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21006] ppid=20892 vsize=10819664 memory=365 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21006/stat : 21006 (java) S 20892 20896 19826 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 415656919 11079335936 9738 33554432000 4194304 4196468 140735582000496 139650800233616 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21007] ppid=20892 vsize=10819664 memory=3690057769448167072 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21007/stat : 21007 (java) S 20892 20896 19826 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 415656919 11079335936 9738 33554432000 4194304 4196468 140735582000496 139650369432592 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21008] ppid=20892 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21008/stat : 21008 (java) S 20892 20896 19826 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 415656919 11079335936 9738 33554432000 4194304 4196468 140735582000496 139650368379792 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21009] ppid=20892 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21009/stat : 21009 (java) S 20892 20896 19826 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 415656919 11079335936 9738 33554432000 4194304 4196468 140735582000496 139650367326992 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21014] ppid=20892 vsize=10819664 memory=140481461540480 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21014/stat : 21014 (java) S 20892 20896 19826 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 415656920 11079335936 9738 33554432000 4194304 4196468 140735582000496 139650255538544 139650796001922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21016] ppid=20892 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21016/stat : 21016 (java) S 20892 20896 19826 0 -1 1077944384 33 13316 0 0 0 0 5 3 20 0 15 0 415656921 11079335936 9738 33554432000 4194304 4196468 140735582000496 139650254484512 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21018] ppid=20892 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21018/stat : 21018 (java) S 20892 20896 19826 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 415656921 11079335936 9738 33554432000 4194304 4196468 140735582000496 139650123424624 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21022] ppid=20892 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21022/stat : 21022 (java) S 20892 20896 19826 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 415656924 11079335936 9738 33554432000 4194304 4196468 140735582000496 139649519445840 139650796009371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21025] ppid=20892 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21025/stat : 21025 (java) R 20892 20896 19826 0 -1 1077944384 305 13316 0 0 0 0 5 3 20 0 15 0 415656924 11079335936 9738 33554432000 4194304 4196468 140735582000496 139650220927856 139650796001922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21026] ppid=20892 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21026/stat : 21026 (java) R 20892 20896 19826 0 -1 4202560 275 13316 0 0 0 0 5 3 20 0 15 0 415656924 11079335936 9738 33554432000 4194304 4196468 140735582000496 139650219867800 139650773830976 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21027] ppid=20892 vsize=10819664 memory=140481461540480 CPUtime=0.09 cores=1,3,5,7
/proc/20896/task/21027/stat : 21027 (java) R 20892 20896 19826 0 -1 4202560 583 13316 0 0 1 0 5 3 20 0 15 0 415656924 11079335936 9738 33554432000 4194304 4196468 140735582000496 139650218818168 139650776333317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21029] ppid=20892 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21029/stat : 21029 (java) S 20892 20896 19826 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 415656924 11079335936 9738 33554432000 4194304 4196468 140735582000496 139649049684704 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21031] ppid=20892 vsize=10819664 memory=140481461540480 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21031/stat : 21031 (java) S 20892 20896 19826 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 415656924 11079335936 9738 33554432000 4194304 4196468 140735582000496 139650217769648 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 38688 KiB

[startup+0.310753 s]*
/proc/loadavg: 1.76 1.66 1.66 3/227 21031
/proc/meminfo: memFree=26623548/32770624 swapFree=66927244/67108860
[pid=20896] ppid=20892 vsize=10820148 memory=53068 CPUtime=0.36 cores=1,3,5,7
/proc/20896/stat : 20896 (java) S 20892 20896 19826 0 -1 1077944320 10422 13316 1 0 25 3 5 3 20 0 15 0 415656906 11079831552 13267 33554432000 4194304 4196468 140735582000496 140735581983040 139650795990775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 2 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
/proc/20896/statm: 2705037 13267 3315 1 0 2667149 0
[pid=20896/tid=21004] ppid=20892 vsize=10820148 memory=6791534058613427641 CPUtime=0.26 cores=1,3,5,7
/proc/20896/task/21004/stat : 21004 (java) R 20892 20896 19826 0 -1 1077944384 6972 13316 0 0 16 2 5 3 20 0 15 0 415656918 11079831552 13285 33554432000 4194304 4196468 140735582000496 139650767795840 139650788669997 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21006] ppid=20892 vsize=10821172 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21006/stat : 21006 (java) S 20892 20896 19826 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 415656919 11080880128 13285 33554432000 4194304 4196468 140735582000496 139650800233616 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21007] ppid=20892 vsize=10821172 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21007/stat : 21007 (java) S 20892 20896 19826 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 415656919 11080880128 13285 33554432000 4194304 4196468 140735582000496 139650369432592 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21008] ppid=20892 vsize=10821172 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21008/stat : 21008 (java) S 20892 20896 19826 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 415656919 11080880128 13285 33554432000 4194304 4196468 140735582000496 139650368379792 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21009] ppid=20892 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21009/stat : 21009 (java) S 20892 20896 19826 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 415656919 11079831552 13285 33554432000 4194304 4196468 140735582000496 139650367326992 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21014] ppid=20892 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21014/stat : 21014 (java) S 20892 20896 19826 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 415656920 11079831552 13285 33554432000 4194304 4196468 140735582000496 139650255538544 139650796001922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21016] ppid=20892 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21016/stat : 21016 (java) S 20892 20896 19826 0 -1 1077944384 33 13316 0 0 0 0 5 3 20 0 15 0 415656921 11079831552 13285 33554432000 4194304 4196468 140735582000496 139650254484512 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21018] ppid=20892 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21018/stat : 21018 (java) S 20892 20896 19826 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 415656921 11079831552 13285 33554432000 4194304 4196468 140735582000496 139650123424624 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21022] ppid=20892 vsize=10821172 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21022/stat : 21022 (java) S 20892 20896 19826 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 415656924 11080880128 13285 33554432000 4194304 4196468 140735582000496 139649519445840 139650796009371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21025] ppid=20892 vsize=10821172 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20896/task/21025/stat : 21025 (java) S 20892 20896 19826 0 -1 1077944384 343 13316 0 0 1 0 5 3 20 0 15 0 415656924 11080880128 13285 33554432000 4194304 4196468 140735582000496 139650220927856 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21026] ppid=20892 vsize=10821172 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/20896/task/21026/stat : 21026 (java) S 20892 20896 19826 0 -1 1077944384 335 13316 0 0 2 0 5 3 20 0 15 0 415656924 11080880128 13285 33554432000 4194304 4196468 140735582000496 139650219875056 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21027] ppid=20892 vsize=10820148 memory=140481461540480 CPUtime=0.13 cores=1,3,5,7
/proc/20896/task/21027/stat : 21027 (java) S 20892 20896 19826 0 -1 1077944384 609 13316 0 0 5 0 5 3 20 0 15 0 415656924 11079831552 13285 33554432000 4194304 4196468 140735582000496 139650218822256 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21029] ppid=20892 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21029/stat : 21029 (java) S 20892 20896 19826 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 415656924 11079831552 13285 33554432000 4194304 4196468 140735582000496 139649049684704 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21031] ppid=20892 vsize=10820148 memory=140481461540480 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21031/stat : 21031 (java) S 20892 20896 19826 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 415656924 11079831552 13285 33554432000 4194304 4196468 140735582000496 139650217769648 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 53068 KiB

[startup+0.700733 s]
/proc/loadavg: 1.76 1.66 1.66 3/227 21031
/proc/meminfo: memFree=26594260/32770624 swapFree=66927244/67108860
[pid=20896] ppid=20892 vsize=10822312 memory=82984 CPUtime=1.08 cores=1,3,5,7
/proc/20896/stat : 20896 (java) S 20892 20896 19826 0 -1 1077944320 15020 13316 1 0 93 7 5 3 20 0 15 0 415656906 11082047488 20746 33554432000 4194304 4196468 140735582000496 140735581983040 139650795990775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 2 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
/proc/20896/statm: 2705578 20746 3500 1 0 2667661 0
[pid=20896/tid=21004] ppid=20892 vsize=10822312 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/20896/task/21004/stat : 21004 (java) R 20892 20896 19826 0 -1 4202560 10335 13316 0 0 51 4 5 3 20 0 15 0 415656918 11082047488 20746 33554432000 4194304 4196468 140735582000496 139650767817328 139650796012701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21006] ppid=20892 vsize=10822312 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21006/stat : 21006 (java) S 20892 20896 19826 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 415656919 11082047488 20746 33554432000 4194304 4196468 140735582000496 139650800233616 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21007] ppid=20892 vsize=10822312 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21007/stat : 21007 (java) S 20892 20896 19826 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 415656919 11082047488 20746 33554432000 4194304 4196468 140735582000496 139650369432592 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21008] ppid=20892 vsize=10822312 memory=140481333967216 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21008/stat : 21008 (java) S 20892 20896 19826 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 415656919 11082047488 20746 33554432000 4194304 4196468 140735582000496 139650368379792 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21009] ppid=20892 vsize=10822312 memory=140484085285459 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21009/stat : 21009 (java) S 20892 20896 19826 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 415656919 11082047488 20746 33554432000 4194304 4196468 140735582000496 139650367326992 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21014] ppid=20892 vsize=10822312 memory=5924 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21014/stat : 21014 (java) S 20892 20896 19826 0 -1 1077944384 5 13316 0 0 0 0 5 3 20 0 15 0 415656920 11082047488 20746 33554432000 4194304 4196468 140735582000496 139650255538544 139650796001922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21016] ppid=20892 vsize=10822312 memory=4639098309541127013 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21016/stat : 21016 (java) S 20892 20896 19826 0 -1 1077944384 33 13316 0 0 0 0 5 3 20 0 15 0 415656921 11082047488 20746 33554432000 4194304 4196468 140735582000496 139650254484512 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21018] ppid=20892 vsize=10822312 memory=7589801671532310120 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21018/stat : 21018 (java) S 20892 20896 19826 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 415656921 11082047488 20746 33554432000 4194304 4196468 140735582000496 139650123424624 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21022] ppid=20892 vsize=10822312 memory=5788647689011156329 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21022/stat : 21022 (java) S 20892 20896 19826 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 415656924 11082047488 20746 33554432000 4194304 4196468 140735582000496 139649519445840 139650796009371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21025] ppid=20892 vsize=10822312 memory=2120 CPUtime=0.21 cores=1,3,5,7
/proc/20896/task/21025/stat : 21025 (java) S 20892 20896 19826 0 -1 1077944384 917 13316 0 0 13 0 5 3 20 0 15 0 415656924 11082047488 20746 33554432000 4194304 4196468 140735582000496 139650220927856 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21026] ppid=20892 vsize=10822312 memory=21680 CPUtime=0.18 cores=1,3,5,7
/proc/20896/task/21026/stat : 21026 (java) R 20892 20896 19826 0 -1 4202560 747 13316 0 0 10 0 5 3 20 0 15 0 415656924 11082047488 20746 33554432000 4194304 4196468 140735582000496 139650219875056 139650779491211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21027] ppid=20892 vsize=10822312 memory=14068 CPUtime=0.24 cores=1,3,5,7
/proc/20896/task/21027/stat : 21027 (java) S 20892 20896 19826 0 -1 1077944384 762 13316 0 0 16 0 5 3 20 0 15 0 415656924 11082047488 20746 33554432000 4194304 4196468 140735582000496 139650218822256 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21029] ppid=20892 vsize=10822312 memory=528 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21029/stat : 21029 (java) S 20892 20896 19826 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 415656924 11082047488 20746 33554432000 4194304 4196468 140735582000496 139649049684704 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21031] ppid=20892 vsize=10822312 memory=1560 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21031/stat : 21031 (java) S 20892 20896 19826 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 415656924 11082047488 20746 33554432000 4194304 4196468 140735582000496 139650217769648 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 10822312 KiB
Current children cumulated memory: 82984 KiB

[startup+1.50168 s]
/proc/loadavg: 1.76 1.66 1.66 8/227 21031
/proc/meminfo: memFree=26512008/32770624 swapFree=66927244/67108860
[pid=20896] ppid=20892 vsize=10830580 memory=219092 CPUtime=3.26 cores=1,3,5,7
/proc/20896/stat : 20896 (java) S 20892 20896 19826 0 -1 1077944320 23177 13316 1 0 307 11 5 3 20 0 15 0 415656906 11090513920 54773 33554432000 4194304 4196468 140735582000496 140735581983040 139650795990775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 2 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
/proc/20896/statm: 2707645 54773 3574 1 0 2669709 0
[pid=20896/tid=21004] ppid=20892 vsize=10830580 memory=24774451 CPUtime=1.42 cores=1,3,5,7
/proc/20896/task/21004/stat : 21004 (java) S 20892 20896 19826 0 -1 1077944384 13943 13316 0 0 127 7 5 3 20 0 15 0 415656918 11090513920 54773 33554432000 4194304 4196468 140735582000496 139650767808880 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21006] ppid=20892 vsize=10830580 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21006/stat : 21006 (java) S 20892 20896 19826 0 -1 1077944384 20 13316 0 0 0 0 5 3 20 0 15 0 415656919 11090513920 54773 33554432000 4194304 4196468 140735582000496 139650800233616 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21007] ppid=20892 vsize=10830580 memory=280962668202432 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21007/stat : 21007 (java) S 20892 20896 19826 0 -1 1077944384 11 13316 0 0 0 0 5 3 20 0 15 0 415656919 11090513920 54773 33554432000 4194304 4196468 140735582000496 139650369432592 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21008] ppid=20892 vsize=10830580 memory=6944656592452938395 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21008/stat : 21008 (java) S 20892 20896 19826 0 -1 1077944384 67 13316 0 0 0 0 5 3 20 0 15 0 415656919 11090513920 54773 33554432000 4194304 4196468 140735582000496 139650368379792 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21009] ppid=20892 vsize=10830580 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21009/stat : 21009 (java) S 20892 20896 19826 0 -1 1077944384 198 13316 0 0 0 0 5 3 20 0 15 0 415656919 11090513920 54773 33554432000 4194304 4196468 140735582000496 139650367326992 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21014] ppid=20892 vsize=10830580 memory=6944656425123094137 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21014/stat : 21014 (java) S 20892 20896 19826 0 -1 1077944384 101 13316 0 0 0 0 5 3 20 0 15 0 415656920 11090513920 54773 33554432000 4194304 4196468 140735582000496 139650255538544 139650796001922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21016] ppid=20892 vsize=10830580 memory=-6876588461455810464 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21016/stat : 21016 (java) S 20892 20896 19826 0 -1 1077944384 34 13316 0 0 0 0 5 3 20 0 15 0 415656921 11090513920 54773 33554432000 4194304 4196468 140735582000496 139650254484576 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21018] ppid=20892 vsize=10830580 memory=-2331055268852096867 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21018/stat : 21018 (java) S 20892 20896 19826 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 415656921 11090513920 54773 33554432000 4194304 4196468 140735582000496 139650123424640 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21022] ppid=20892 vsize=10830580 memory=-7161732098442470212 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21022/stat : 21022 (java) S 20892 20896 19826 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 415656924 11090513920 54773 33554432000 4194304 4196468 140735582000496 139649519445840 139650796009371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21025] ppid=20892 vsize=10830580 memory=6944656592455360604 CPUtime=0.76 cores=1,3,5,7
/proc/20896/task/21025/stat : 21025 (java) S 20892 20896 19826 0 -1 1077944384 2207 13316 0 0 68 0 5 3 20 0 15 0 415656924 11090513920 54773 33554432000 4194304 4196468 140735582000496 139650220918240 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21026] ppid=20892 vsize=10830580 memory=7522532450768742737 CPUtime=0.73 cores=1,3,5,7
/proc/20896/task/21026/stat : 21026 (java) S 20892 20896 19826 0 -1 1077944384 2528 13316 0 0 65 0 5 3 20 0 15 0 415656924 11090513920 54773 33554432000 4194304 4196468 140735582000496 139650219875056 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21027] ppid=20892 vsize=10830580 memory=7661859270000537961 CPUtime=0.49 cores=1,3,5,7
/proc/20896/task/21027/stat : 21027 (java) R 20892 20896 19826 0 -1 4202560 1983 13316 0 0 41 0 5 3 20 0 15 0 415656924 11090513920 54773 33554432000 4194304 4196468 140735582000496 139650218822256 139650777554276 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21029] ppid=20892 vsize=10830580 memory=3580 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21029/stat : 21029 (java) S 20892 20896 19826 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 415656924 11090513920 54773 33554432000 4194304 4196468 140735582000496 139649049684704 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21031] ppid=20892 vsize=10830580 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21031/stat : 21031 (java) S 20892 20896 19826 0 -1 1077944384 1 13316 0 0 0 0 5 3 20 0 15 0 415656924 11090513920 54773 33554432000 4194304 4196468 140735582000496 139650217769648 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
Current children cumulated CPU time: 3.26 s
Current children cumulated vsize: 10830580 KiB
Current children cumulated memory: 219092 KiB

[startup+3.11128 s]
/proc/loadavg: 1.78 1.67 1.66 5/227 21031

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

/proc/20896/task/21004/stat : 21004 (java) R 20892 20896 19826 0 -1 4202560 612647 13316 0 0 237271 105 5 3 20 0 15 0 415656918 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650767826384 139650417642334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21006] ppid=20892 vsize=10846984 memory=3095760 CPUtime=5.99 cores=1,3,5,7
/proc/20896/task/21006/stat : 21006 (java) S 20892 20896 19826 0 -1 1077944384 22382 13316 0 0 553 38 5 3 20 0 15 0 415656919 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650800233616 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21007] ppid=20892 vsize=10846984 memory=3095760 CPUtime=5.98 cores=1,3,5,7
/proc/20896/task/21007/stat : 21007 (java) S 20892 20896 19826 0 -1 1077944384 15575 13316 0 0 550 40 5 3 20 0 15 0 415656919 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650369432592 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21008] ppid=20892 vsize=10846984 memory=3095760 CPUtime=5.95 cores=1,3,5,7
/proc/20896/task/21008/stat : 21008 (java) S 20892 20896 19826 0 -1 1077944384 17801 13316 0 0 547 40 5 3 20 0 15 0 415656919 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650368379792 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21009] ppid=20892 vsize=10846984 memory=1656 CPUtime=5.97 cores=1,3,5,7
/proc/20896/task/21009/stat : 21009 (java) S 20892 20896 19826 0 -1 1077944384 20591 13316 0 0 549 40 5 3 20 0 15 0 415656919 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650367326992 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21014] ppid=20892 vsize=10846984 memory=3095760 CPUtime=1.78 cores=1,3,5,7
/proc/20896/task/21014/stat : 21014 (java) S 20892 20896 19826 0 -1 1077944384 23590 13316 0 0 140 30 5 3 20 0 15 0 415656920 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650255538544 139650796001922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21016] ppid=20892 vsize=10846984 memory=3095760 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21016/stat : 21016 (java) S 20892 20896 19826 0 -1 1077944384 51 13316 0 0 0 0 5 3 20 0 15 0 415656921 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650254484640 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21018] ppid=20892 vsize=10846984 memory=776 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21018/stat : 21018 (java) S 20892 20896 19826 0 -1 1077944384 6 13316 0 0 0 0 5 3 20 0 15 0 415656921 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650123424640 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21022] ppid=20892 vsize=10846984 memory=3095760 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21022/stat : 21022 (java) S 20892 20896 19826 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 415656924 11107311616 773940 33554432000 4194304 4196468 140735582000496 139649519445840 139650796009371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21025] ppid=20892 vsize=10846984 memory=3095760 CPUtime=6.21 cores=1,3,5,7
/proc/20896/task/21025/stat : 21025 (java) S 20892 20896 19826 0 -1 1077944384 43224 13316 0 0 608 5 5 3 20 0 15 0 415656924 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650220927856 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21026] ppid=20892 vsize=10846984 memory=3095760 CPUtime=6.37 cores=1,3,5,7
/proc/20896/task/21026/stat : 21026 (java) S 20892 20896 19826 0 -1 1077944384 47328 13316 0 0 624 5 5 3 20 0 15 0 415656924 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650219875056 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21027] ppid=20892 vsize=10846984 memory=3095760 CPUtime=2.25 cores=1,3,5,7
/proc/20896/task/21027/stat : 21027 (java) S 20892 20896 19826 0 -1 1077944384 34682 13316 0 0 211 6 5 3 20 0 15 0 415656924 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650218822256 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21029] ppid=20892 vsize=10846984 memory=3095760 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21029/stat : 21029 (java) S 20892 20896 19826 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 415656924 11107311616 773940 33554432000 4194304 4196468 140735582000496 139649049684704 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21031] ppid=20892 vsize=10846984 memory=3095760 CPUtime=1.44 cores=1,3,5,7
/proc/20896/task/21031/stat : 21031 (java) S 20892 20896 19826 0 -1 1077944384 2984 13316 0 0 63 73 5 3 20 0 15 0 415656924 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650217769648 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
Current children cumulated CPU time: 2415.17 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 3095760 KiB

[startup+2442.3 s]
/proc/loadavg: 1.73 1.59 1.61 3/229 21786
/proc/meminfo: memFree=22943456/32770624 swapFree=66927244/67108860
[pid=20896] ppid=20892 vsize=10846984 memory=3096272 CPUtime=2475.42 cores=1,3,5,7
/proc/20896/stat : 20896 (java) S 20892 20896 19826 0 -1 1077944320 865422 13316 1 0 247170 364 5 3 20 0 15 0 415656906 11107311616 774068 33554432000 4194304 4196468 140735582000496 140735581983040 139650795990775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 2 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
/proc/20896/statm: 2711746 774068 3643 1 0 2673805 0
[pid=20896/tid=21004] ppid=20892 vsize=10846984 memory=3095828 CPUtime=2433.75 cores=1,3,5,7
/proc/20896/task/21004/stat : 21004 (java) R 20892 20896 19826 0 -1 4202560 632635 13316 0 0 243261 106 5 3 20 0 15 0 415656918 11107311616 774068 33554432000 4194304 4196468 140735582000496 139650767826880 139650413476042 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21006] ppid=20892 vsize=10846984 memory=3095828 CPUtime=6.06 cores=1,3,5,7
/proc/20896/task/21006/stat : 21006 (java) S 20892 20896 19826 0 -1 1077944384 22790 13316 0 0 560 38 5 3 20 0 15 0 415656919 11107311616 774068 33554432000 4194304 4196468 140735582000496 139650800233616 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21007] ppid=20892 vsize=10846984 memory=3096272 CPUtime=6.05 cores=1,3,5,7
/proc/20896/task/21007/stat : 21007 (java) S 20892 20896 19826 0 -1 1077944384 16075 13316 0 0 557 40 5 3 20 0 15 0 415656919 11107311616 774068 33554432000 4194304 4196468 140735582000496 139650369432592 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21008] ppid=20892 vsize=10846984 memory=3096272 CPUtime=6.03 cores=1,3,5,7
/proc/20896/task/21008/stat : 21008 (java) S 20892 20896 19826 0 -1 1077944384 18444 13316 0 0 555 40 5 3 20 0 15 0 415656919 11107311616 774068 33554432000 4194304 4196468 140735582000496 139650368379792 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21009] ppid=20892 vsize=10846984 memory=3096272 CPUtime=6.05 cores=1,3,5,7
/proc/20896/task/21009/stat : 21009 (java) S 20892 20896 19826 0 -1 1077944384 21095 13316 0 0 557 40 5 3 20 0 15 0 415656919 11107311616 774068 33554432000 4194304 4196468 140735582000496 139650367326992 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21014] ppid=20892 vsize=10846984 memory=3096272 CPUtime=1.79 cores=1,3,5,7
/proc/20896/task/21014/stat : 21014 (java) S 20892 20896 19826 0 -1 1077944384 23779 13316 0 0 141 30 5 3 20 0 15 0 415656920 11107311616 774068 33554432000 4194304 4196468 140735582000496 139650255538544 139650796001922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21016] ppid=20892 vsize=10846984 memory=3096272 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21016/stat : 21016 (java) S 20892 20896 19826 0 -1 1077944384 51 13316 0 0 0 0 5 3 20 0 15 0 415656921 11107311616 774068 33554432000 4194304 4196468 140735582000496 139650254484640 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21018] ppid=20892 vsize=10846984 memory=3096272 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21018/stat : 21018 (java) S 20892 20896 19826 0 -1 1077944384 6 13316 0 0 0 0 5 3 20 0 15 0 415656921 11107311616 774068 33554432000 4194304 4196468 140735582000496 139650123424640 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21022] ppid=20892 vsize=10846984 memory=3096272 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21022/stat : 21022 (java) S 20892 20896 19826 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 415656924 11107311616 774068 33554432000 4194304 4196468 140735582000496 139649519445840 139650796009371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21025] ppid=20892 vsize=10846984 memory=3096272 CPUtime=6.21 cores=1,3,5,7
/proc/20896/task/21025/stat : 21025 (java) S 20892 20896 19826 0 -1 1077944384 43226 13316 0 0 608 5 5 3 20 0 15 0 415656924 11107311616 774068 33554432000 4194304 4196468 140735582000496 139650220927856 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21026] ppid=20892 vsize=10846984 memory=3096272 CPUtime=6.37 cores=1,3,5,7
/proc/20896/task/21026/stat : 21026 (java) S 20892 20896 19826 0 -1 1077944384 47330 13316 0 0 624 5 5 3 20 0 15 0 415656924 11107311616 774068 33554432000 4194304 4196468 140735582000496 139650219875056 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21027] ppid=20892 vsize=10846984 memory=1540 CPUtime=2.25 cores=1,3,5,7
/proc/20896/task/21027/stat : 21027 (java) S 20892 20896 19826 0 -1 1077944384 34775 13316 0 0 211 6 5 3 20 0 15 0 415656924 11107311616 774068 33554432000 4194304 4196468 140735582000496 139650218822256 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21029] ppid=20892 vsize=10846984 memory=692 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21029/stat : 21029 (java) S 20892 20896 19826 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 415656924 11107311616 774068 33554432000 4194304 4196468 140735582000496 139649049684704 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21031] ppid=20892 vsize=10846984 memory=3096272 CPUtime=1.47 cores=1,3,5,7
/proc/20896/task/21031/stat : 21031 (java) S 20892 20896 19826 0 -1 1077944384 3002 13316 0 0 65 74 5 3 20 0 15 0 415656924 11107311616 774068 33554432000 4194304 4196468 140735582000496 139650217769648 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
Current children cumulated CPU time: 2475.42 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 3096272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2486.7 s]
/proc/loadavg: 1.70 1.60 1.61 3/229 21790
/proc/meminfo: memFree=22942136/32770624 swapFree=66927244/67108860
[pid=20896] ppid=20892 vsize=10846984 memory=3095760 CPUtime=2520.03 cores=1,3,5,7
/proc/20896/stat : 20896 (java) S 20892 20896 19826 0 -1 1077944320 882444 13316 1 0 251629 366 5 3 20 0 15 0 415656906 11107311616 773940 33554432000 4194304 4196468 140735582000496 140735581983040 139650795990775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 2 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
/proc/20896/statm: 2711746 773940 3643 1 0 2673805 0
[pid=20896/tid=21004] ppid=20892 vsize=10846984 memory=924 CPUtime=2478.07 cores=1,3,5,7
/proc/20896/task/21004/stat : 21004 (java) R 20892 20896 19826 0 -1 4202560 649523 13316 0 0 247692 107 5 3 20 0 15 0 415656918 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650767826480 139650408320148 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21006] ppid=20892 vsize=10846984 memory=3096272 CPUtime=6.13 cores=1,3,5,7
/proc/20896/task/21006/stat : 21006 (java) S 20892 20896 19826 0 -1 1077944384 22851 13316 0 0 567 38 5 3 20 0 15 0 415656919 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650800233616 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21007] ppid=20892 vsize=10846984 memory=3096272 CPUtime=6.12 cores=1,3,5,7
/proc/20896/task/21007/stat : 21007 (java) S 20892 20896 19826 0 -1 1077944384 16114 13316 0 0 564 40 5 3 20 0 15 0 415656919 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650369432592 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21008] ppid=20892 vsize=10846984 memory=3095760 CPUtime=6.09 cores=1,3,5,7
/proc/20896/task/21008/stat : 21008 (java) S 20892 20896 19826 0 -1 1077944384 18465 13316 0 0 561 40 5 3 20 0 15 0 415656919 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650368379792 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21009] ppid=20892 vsize=10846984 memory=111632 CPUtime=6.11 cores=1,3,5,7
/proc/20896/task/21009/stat : 21009 (java) S 20892 20896 19826 0 -1 1077944384 21100 13316 0 0 563 40 5 3 20 0 15 0 415656919 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650367326992 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21014] ppid=20892 vsize=10846984 memory=4100 CPUtime=1.8 cores=1,3,5,7
/proc/20896/task/21014/stat : 21014 (java) S 20892 20896 19826 0 -1 1077944384 23785 13316 0 0 142 30 5 3 20 0 15 0 415656920 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650255538544 139650796001922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21016] ppid=20892 vsize=10846984 memory=3095760 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21016/stat : 21016 (java) S 20892 20896 19826 0 -1 1077944384 51 13316 0 0 0 0 5 3 20 0 15 0 415656921 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650254484640 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21018] ppid=20892 vsize=10846984 memory=3095760 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21018/stat : 21018 (java) S 20892 20896 19826 0 -1 1077944384 6 13316 0 0 0 0 5 3 20 0 15 0 415656921 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650123424640 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21022] ppid=20892 vsize=10846984 memory=3095760 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21022/stat : 21022 (java) S 20892 20896 19826 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 415656924 11107311616 773940 33554432000 4194304 4196468 140735582000496 139649519445840 139650796009371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21025] ppid=20892 vsize=10846984 memory=4639948313719891052 CPUtime=6.21 cores=1,3,5,7
/proc/20896/task/21025/stat : 21025 (java) S 20892 20896 19826 0 -1 1077944384 43226 13316 0 0 608 5 5 3 20 0 15 0 415656924 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650220927856 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21026] ppid=20892 vsize=10846984 memory=6791534058613427641 CPUtime=6.37 cores=1,3,5,7
/proc/20896/task/21026/stat : 21026 (java) S 20892 20896 19826 0 -1 1077944384 47330 13316 0 0 624 5 5 3 20 0 15 0 415656924 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650219875056 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21027] ppid=20892 vsize=10846984 memory=288230596050944315 CPUtime=2.25 cores=1,3,5,7
/proc/20896/task/21027/stat : 21027 (java) S 20892 20896 19826 0 -1 1077944384 34775 13316 0 0 211 6 5 3 20 0 15 0 415656924 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650218822256 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21029] ppid=20892 vsize=10846984 memory=3095760 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21029/stat : 21029 (java) S 20892 20896 19826 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 415656924 11107311616 773940 33554432000 4194304 4196468 140735582000496 139649049684704 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21031] ppid=20892 vsize=10846984 memory=3095760 CPUtime=1.49 cores=1,3,5,7
/proc/20896/task/21031/stat : 21031 (java) S 20892 20896 19826 0 -1 1077944384 3004 13316 0 0 66 75 5 3 20 0 15 0 415656924 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650217769648 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 3095760 KiB

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

[startup+2486.75 s]
# the end of solver process 20896 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.37 s, system=3.72315 s

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

[startup+2486.7 s]
/proc/loadavg: 1.70 1.60 1.61 3/229 21790
/proc/meminfo: memFree=22942136/32770624 swapFree=66927244/67108860
[pid=20896] ppid=20892 vsize=10846984 memory=3095760 CPUtime=2520.03 cores=1,3,5,7
/proc/20896/stat : 20896 (java) S 20892 20896 19826 0 -1 1077944320 882444 13316 1 0 251629 366 5 3 20 0 15 0 415656906 11107311616 773940 33554432000 4194304 4196468 140735582000496 140735581983040 139650795990775 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 2 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
/proc/20896/statm: 2711746 773940 3643 1 0 2673805 0
[pid=20896/tid=21004] ppid=20892 vsize=10846984 memory=924 CPUtime=2478.07 cores=1,3,5,7
/proc/20896/task/21004/stat : 21004 (java) R 20892 20896 19826 0 -1 4202560 649523 13316 0 0 247692 107 5 3 20 0 15 0 415656918 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650767826480 139650408320148 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21006] ppid=20892 vsize=10846984 memory=3096272 CPUtime=6.13 cores=1,3,5,7
/proc/20896/task/21006/stat : 21006 (java) S 20892 20896 19826 0 -1 1077944384 22851 13316 0 0 567 38 5 3 20 0 15 0 415656919 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650800233616 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21007] ppid=20892 vsize=10846984 memory=3096272 CPUtime=6.12 cores=1,3,5,7
/proc/20896/task/21007/stat : 21007 (java) S 20892 20896 19826 0 -1 1077944384 16114 13316 0 0 564 40 5 3 20 0 15 0 415656919 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650369432592 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21008] ppid=20892 vsize=10846984 memory=3095760 CPUtime=6.09 cores=1,3,5,7
/proc/20896/task/21008/stat : 21008 (java) S 20892 20896 19826 0 -1 1077944384 18465 13316 0 0 561 40 5 3 20 0 15 0 415656919 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650368379792 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21009] ppid=20892 vsize=10846984 memory=111632 CPUtime=6.11 cores=1,3,5,7
/proc/20896/task/21009/stat : 21009 (java) S 20892 20896 19826 0 -1 1077944384 21100 13316 0 0 563 40 5 3 20 0 15 0 415656919 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650367326992 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21014] ppid=20892 vsize=10846984 memory=4100 CPUtime=1.8 cores=1,3,5,7
/proc/20896/task/21014/stat : 21014 (java) S 20892 20896 19826 0 -1 1077944384 23785 13316 0 0 142 30 5 3 20 0 15 0 415656920 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650255538544 139650796001922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21016] ppid=20892 vsize=10846984 memory=3095760 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21016/stat : 21016 (java) S 20892 20896 19826 0 -1 1077944384 51 13316 0 0 0 0 5 3 20 0 15 0 415656921 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650254484640 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21018] ppid=20892 vsize=10846984 memory=3095760 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21018/stat : 21018 (java) S 20892 20896 19826 0 -1 1077944384 6 13316 0 0 0 0 5 3 20 0 15 0 415656921 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650123424640 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21022] ppid=20892 vsize=10846984 memory=3095760 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21022/stat : 21022 (java) S 20892 20896 19826 0 -1 1077944384 2 13316 0 0 0 0 5 3 20 0 15 0 415656924 11107311616 773940 33554432000 4194304 4196468 140735582000496 139649519445840 139650796009371 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21025] ppid=20892 vsize=10846984 memory=4639948313719891052 CPUtime=6.21 cores=1,3,5,7
/proc/20896/task/21025/stat : 21025 (java) S 20892 20896 19826 0 -1 1077944384 43226 13316 0 0 608 5 5 3 20 0 15 0 415656924 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650220927856 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21026] ppid=20892 vsize=10846984 memory=6791534058613427641 CPUtime=6.37 cores=1,3,5,7
/proc/20896/task/21026/stat : 21026 (java) S 20892 20896 19826 0 -1 1077944384 47330 13316 0 0 624 5 5 3 20 0 15 0 415656924 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650219875056 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21027] ppid=20892 vsize=10846984 memory=288230596050944315 CPUtime=2.25 cores=1,3,5,7
/proc/20896/task/21027/stat : 21027 (java) S 20892 20896 19826 0 -1 1077944384 34775 13316 0 0 211 6 5 3 20 0 15 0 415656924 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650218822256 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21029] ppid=20892 vsize=10846984 memory=3095760 CPUtime=0.08 cores=1,3,5,7
/proc/20896/task/21029/stat : 21029 (java) S 20892 20896 19826 0 -1 1077944384 3 13316 0 0 0 0 5 3 20 0 15 0 415656924 11107311616 773940 33554432000 4194304 4196468 140735582000496 139649049684704 139650796000981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
[pid=20896/tid=21031] ppid=20892 vsize=10846984 memory=3095760 CPUtime=1.49 cores=1,3,5,7
/proc/20896/task/21031/stat : 21031 (java) S 20892 20896 19826 0 -1 1077944384 3004 13316 0 0 66 75 5 3 20 0 15 0 415656924 11107311616 773940 33554432000 4194304 4196468 140735582000496 139650217769648 139650796001922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36225024 140735582001904 140735582004421 140735582004421 140735582007247 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 3095760 KiB

Child status: 143
Real time (s): 2486.75
CPU time (s): 2520.09
CPU user time (s): 2516.37
CPU system time (s): 3.72315
CPU usage (%): 101.341
Max. virtual memory (cumulated for all children) (KiB): 10850240
Max. memory (cumulated for all children) (KiB): 3096616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.37
system time used= 3.72315
maximum resident set size= 3099896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 896478
page faults= 1
swaps= 0
block input operations= 112
block output operations= 3216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91451
involuntary context switches= 4402


# summary of solver processes directly reported to runsolver:
#   pid: 20896
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2516.37
#   total CPU system time (s): 3.72315

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0957 second user time and 23.4533 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-13 19:00:53
IDJOB=4396144
IDBENCH=120609
IDSOLVER=2846
FILE ID=node137/4396144-1568394095
RUNJOBID= node137-1568394053-20871
PBS_JOBID= 21701855
Free space on /tmp= 61428 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-4396144-1568394095/watcher-4396144-1568394095 -o /tmp/evaluation-result-4396144-1568394095/solver-4396144-1568394095 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568394053-20871 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=771107424 HOME/instance-4396144-1568394095.xml

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

MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33
RANDOM SEED=771107424

node137.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	: 5334.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.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	: 5334.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.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	: 5334.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.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	: 5334.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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26707232 kB
MemAvailable:   31809036 kB
Buffers:          166968 kB
Cached:          5201008 kB
SwapCached:        77564 kB
Active:          1405092 kB
Inactive:        4042196 kB
Active(anon):       3696 kB
Inactive(anon):   117600 kB
Active(file):    1401396 kB
Inactive(file):  3924596 kB
Unevictable:      108712 kB
Mlocked:          108712 kB
SwapTotal:      67108860 kB
SwapFree:       66927244 kB
Dirty:             71316 kB
Writeback:             0 kB
AnonPages:        112520 kB
Mapped:            44272 kB
Shmem:             32756 kB
Slab:             213084 kB
SReclaimable:     183296 kB
SUnreclaim:        29788 kB
KernelStack:        3408 kB
PageTables:         5528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     501644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61356 MiB
End job on node137 at 2019-09-13 19:42:20