Trace number 4401324

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 2400.1 2342.43

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.1955
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.73/0.56	c Concrete v3.12.2.1568631193530 running
20.63/9.45	o 851
21.48/9.89	o 850
22.30/10.30	o 849
22.98/10.64	o 848
23.66/10.99	o 847
24.20/11.33	o 846
24.60/11.61	o 845
24.89/11.88	o 844
25.31/12.16	o 843
25.74/12.47	o 842
26.14/12.73	o 841
26.61/13.07	o 840
27.15/13.36	o 839
27.55/13.60	o 838
27.78/13.86	o 837
27.99/14.09	o 836
28.38/14.41	o 835
28.58/14.68	o 834
28.88/14.96	o 833
29.19/15.26	o 832
29.59/15.56	o 831
29.89/15.82	o 830
30.10/16.05	o 829
30.29/16.29	o 828
30.66/16.53	o 827
30.92/16.76	o 826
31.23/17.01	o 825
31.42/17.25	o 824
31.63/17.47	o 823
31.96/17.72	o 822
32.16/17.98	o 821
32.46/18.20	o 820
32.66/18.42	o 819
32.86/18.65	o 818
33.17/18.90	o 817
33.38/19.16	o 816
33.58/19.39	o 815
33.95/19.63	o 814
34.15/19.84	o 813
34.46/20.17	o 812
34.66/20.39	o 811
34.96/20.63	o 810
35.18/20.86	o 809
35.39/21.05	o 808
35.58/21.24	o 807
35.78/21.48	o 806
35.98/21.67	o 805
36.18/21.87	o 804
36.39/22.06	o 803
36.58/22.25	o 802
36.79/22.43	o 801
36.99/22.61	o 800
37.09/22.79	o 799
37.40/23.02	o 798
37.59/23.24	o 797
37.80/23.44	o 796
38.00/23.67	o 795
38.20/23.87	o 794
38.41/24.07	o 793
38.64/24.26	o 792
38.84/24.44	o 791
39.04/24.61	o 790
39.40/24.84	o 789
39.61/25.06	o 788
39.80/25.28	o 787
40.00/25.49	o 786
40.20/25.68	o 785
40.51/25.88	o 784
40.72/26.07	o 783
40.91/26.25	o 782
41.11/26.43	o 781
41.31/26.60	o 780
41.52/26.82	o 779
41.73/27.03	o 778
41.92/27.25	o 777
42.12/27.46	o 776
42.32/27.66	o 775
42.52/27.85	o 774
42.73/28.04	o 773
42.92/28.21	o 772
43.02/28.37	o 771
43.22/28.52	o 770
43.32/28.67	o 769
43.53/28.82	o 768
43.62/28.96	o 767
43.85/29.17	o 766
44.13/29.44	o 765
44.33/29.65	o 764
44.53/29.85	o 763
44.82/30.06	o 762
45.05/30.27	o 761
45.25/30.46	o 760
45.45/30.63	o 759
45.65/30.81	o 758
45.76/30.98	o 757
45.97/31.14	o 756
46.06/31.29	o 755
46.26/31.44	o 754
46.36/31.58	o 753
46.57/31.71	o 752
46.67/31.84	o 751
46.88/32.09	o 750
47.17/32.30	o 749
47.37/32.50	o 748
47.57/32.73	o 747
47.77/32.92	o 746
47.98/33.12	o 745
48.07/33.29	o 744
48.27/33.46	o 743
48.47/33.62	o 742
48.57/33.76	o 741
48.77/33.90	o 740
48.88/34.03	o 739
48.98/34.16	o 738
49.07/34.28	o 737
49.17/34.39	o 736
49.27/34.50	o 735
49.48/34.60	o 734
49.48/34.69	o 733
49.58/34.79	o 732
49.68/34.89	o 731
49.78/34.99	o 730
50.08/35.30	o 729
50.38/35.52	o 728
50.58/35.72	o 727
50.79/35.92	o 726
51.00/36.11	o 725
51.23/36.31	o 724
51.34/36.49	o 723
51.54/36.67	o 722
51.74/36.82	o 721
51.84/36.97	o 720
52.05/37.11	o 719
52.14/37.25	o 718
52.34/37.40	o 717
52.44/37.54	o 716
52.54/37.67	o 715
52.64/37.79	o 714
52.84/37.90	o 713
52.95/38.02	o 712
53.05/38.12	o 711
53.14/38.23	o 710
53.24/38.34	o 709
53.34/38.44	o 708
53.44/38.54	o 707
53.54/38.64	o 706
53.64/38.74	o 705
53.84/38.95	o 704
54.05/39.18	o 703
54.34/39.40	o 702
54.54/39.61	o 701
54.74/39.81	o 700
54.95/40.03	o 699
55.14/40.23	o 698
55.34/40.42	o 697
55.44/40.58	o 696
55.64/40.74	o 695
55.74/40.89	o 694
55.95/41.04	o 693
56.05/41.19	o 692
56.24/41.35	o 691
56.34/41.48	o 690
56.54/41.62	o 689
56.64/41.76	o 688
56.75/41.88	o 687
56.85/41.99	o 686
56.96/42.09	o 685
57.06/42.19	o 684
57.15/42.29	o 683
57.25/42.39	o 682
57.35/42.49	o 681
57.45/42.58	o 680
57.55/42.67	o 679
57.65/42.76	o 678
57.75/42.85	o 677
57.85/42.93	o 676
57.96/43.01	o 675
58.15/43.25	o 674
58.45/43.50	o 673
58.65/43.71	o 672
58.90/43.92	o 671
59.00/44.10	o 670
59.20/44.27	o 669
59.40/44.42	o 668
59.50/44.59	o 667
59.70/44.73	o 666
59.80/44.87	o 665
60.00/45.02	o 664
60.10/45.15	o 663
60.20/45.28	o 662
60.40/45.41	o 661
60.50/45.54	o 660
60.60/45.64	o 659
60.70/45.76	o 658
60.80/45.84	o 657
60.90/45.93	o 656
61.01/46.01	o 655
61.01/46.10	o 654
61.11/46.17	o 653
61.20/46.24	o 652
61.20/46.29	o 651
61.30/46.35	o 650
61.40/46.41	o 649
61.40/46.46	o 648
61.40/46.49	o 647
61.50/46.53	o 646
61.50/46.56	o 645
61.50/46.59	o 644
61.60/46.63	o 643
61.60/46.65	o 642
61.60/46.67	o 641
61.60/46.69	o 640
61.70/46.70	o 639
61.70/46.72	o 638
61.70/46.73	o 637
61.70/46.74	o 636
61.70/46.75	o 635
61.70/46.76	o 634
61.70/46.76	o 633
61.70/46.76	o 632
61.70/46.77	o 631
61.70/46.77	o 630
61.70/46.77	o 629
61.70/46.78	o 628
61.70/46.78	o 627
61.70/46.78	o 626
61.70/46.78	o 625
61.70/46.79	o 624
61.70/46.79	o 6
2400.04/2342.41	Exception in thread "main" java.util.concurrent.TimeoutException
2400.04/2342.41		at concrete.MAC.mac(MAC.scala:192)
2400.04/2342.41		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2400.04/2342.41		at scala.util.Try$.apply(Try.scala:212)
2400.04/2342.41		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.04/2342.41		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.04/2342.41		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.04/2342.41		at concrete.MAC.oneRun(MAC.scala:265)
2400.04/2342.41		at concrete.MAC.nextSolution(MAC.scala:284)
2400.04/2342.41		at concrete.MAC.nextSolution(MAC.scala:369)
2400.04/2342.41		at concrete.Solver.hasNext(Solver.scala:160)
2400.04/2342.41		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.04/2342.41		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.04/2342.41		at concrete.Solver.foreach(Solver.scala:67)
2400.04/2342.41		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2400.04/2342.41		at scala.util.Success.map(Try.scala:264)
2400.04/2342.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2400.04/2342.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.04/2342.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.04/2342.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.04/2342.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.04/2342.41		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.04/2342.41		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.04/2342.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.04/2342.41		at scala.App.$anonfun$main$1(App.scala:75)
2400.04/2342.41		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2400.04/2342.41		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.04/2342.41		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.04/2342.41		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2400.04/2342.41		at scala.App.main(App.scala:75)
2400.04/2342.41		at scala.App.main$(App.scala:73)
2400.04/2342.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.04/2342.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.04/2342.41	v <instantiation
2400.04/2342.41	v         cost = '6'>
2400.04/2342.41	v       <list>
2400.04/2342.41	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]
2400.04/2342.41	v       </list>
2400.04/2342.41	v       <values>
2400.04/2342.41	v         1 2 1 0 1 0 2 2 0 3 2 1 1 3 1 6 1 3 6 3 6 3 6 1 0 0 0 0 0 0 0 0 0 0 0 0 4 4 4 4 4 4 4 4 4 4 4 4 0 2 4 1 1 2 1 2 1 3 2 2 5 3 2 5 3 3 5 5 3 3 3 3 5 3 5 5 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 2 3 3 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 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 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 1 4 2 0 4 0 4 0 4 0 2 2 0 4 2 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 4 4 4 4 4 4 4 4 4 4 4 4 0 2 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 0 5 5 5 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 4 4 4 4 4 4 4 4 4 4 4 4 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 1 4 5 5 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 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 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 1 1 1 1 1 2 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 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 1 2 2 2 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 3 0 2
2400.04/2342.41	v       </values>
2400.04/2342.41	v     </instantiation>
2400.04/2342.41	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 (14827 MiB free)
  memory of node 1: 16384 MiB (15674 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401324-1568675696/watcher-4401324-1568675696 -o /tmp/evaluation-result-4401324-1568675696/solver-4401324-1568675696 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568669113-17368 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=140789969 HOME/instance-4401324-1568675696.xml 

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

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

solver pid=17856, runsolver pid=17853

[startup+0.100112 s]*
/proc/loadavg: 1.65 1.39 1.59 4/203 17917
/proc/meminfo: memFree=31229240/32770624 swapFree=66977372/67108860
[pid=17856] ppid=17853 vsize=9972712 memory=15180 CPUtime=0.08 cores=1,3,5,7
/proc/17856/stat : 17856 (java) S 17853 17856 17336 0 -1 1077944320 4556 12946 0 0 1 0 5 2 20 0 6 0 443826730 10212057088 3795 33554432000 4194304 4196468 140726195183072 140726195165616 140595011346167 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
/proc/17856/statm: 2493178 3795 1935 1 0 2481616 0
[pid=17856/tid=17909] ppid=17853 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/17856/task/17909/stat : 17909 (java) R 17853 17856 17336 0 -1 4202560 2383 12946 0 0 1 0 5 2 20 0 6 0 443826739 10212057088 3861 33554432000 4194304 4196468 140726195183072 140594983182928 140594992756317 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17911] ppid=17853 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17911/stat : 17911 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 6 0 443826740 10212057088 3861 33554432000 4194304 4196468 140726195183072 140595015589008 140595011356373 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17912] ppid=17853 vsize=9972712 memory=139917389390863 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17912/stat : 17912 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 6 0 443826740 10212057088 3861 33554432000 4194304 4196468 140726195183072 140594584587280 140595011356373 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17913] ppid=17853 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17913/stat : 17913 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 6 0 443826740 10212057088 3861 33554432000 4194304 4196468 140726195183072 140594583534480 140595011356373 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17914] ppid=17853 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17914/stat : 17914 (java) S 17853 17856 17336 0 -1 1077944384 2 12946 0 0 0 0 5 2 20 0 6 0 443826740 10212057088 3861 33554432000 4194304 4196468 140726195183072 140594582481680 140595011356373 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15180 KiB

[startup+0.212898 s]*
/proc/loadavg: 1.68 1.40 1.59 4/228 17951
/proc/meminfo: memFree=31198320/32770624 swapFree=66977372/67108860
[pid=17856] ppid=17853 vsize=10820164 memory=41388 CPUtime=0.26 cores=1,3,5,7
/proc/17856/stat : 17856 (java) S 17853 17856 17336 0 -1 1077944320 7696 12946 0 0 18 1 5 2 20 0 15 0 443826730 11079847936 10347 33554432000 4194304 4196468 140726195183072 140726195165616 140595011346167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
/proc/17856/statm: 2705041 10347 3266 1 0 2667149 0
[pid=17856/tid=17909] ppid=17853 vsize=10820196 memory=585503277933199636 CPUtime=0.18 cores=1,3,5,7
/proc/17856/task/17909/stat : 17909 (java) R 17853 17856 17336 0 -1 4202560 4125 12946 0 0 11 0 5 2 20 0 15 0 443826739 11079880704 10347 33554432000 4194304 4196468 140726195183072 140594983167744 140595011368093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17911] ppid=17853 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17911/stat : 17911 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 443826740 11079880704 10347 33554432000 4194304 4196468 140726195183072 140595015589008 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17912] ppid=17853 vsize=10820196 memory=139917389395237 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17912/stat : 17912 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 443826740 11079880704 10347 33554432000 4194304 4196468 140726195183072 140594584587280 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17913] ppid=17853 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17913/stat : 17913 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 443826740 11079880704 10347 33554432000 4194304 4196468 140726195183072 140594583534480 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17914] ppid=17853 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17914/stat : 17914 (java) S 17853 17856 17336 0 -1 1077944384 2 12946 0 0 0 0 5 2 20 0 15 0 443826740 11079880704 10347 33554432000 4194304 4196468 140726195183072 140594582481680 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17918] ppid=17853 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17918/stat : 17918 (java) S 17853 17856 17336 0 -1 1077944384 2 12946 0 0 0 0 5 2 20 0 15 0 443826741 11079880704 10347 33554432000 4194304 4196468 140726195183072 140594014673264 140595011357314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17923] ppid=17853 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17923/stat : 17923 (java) S 17853 17856 17336 0 -1 1077944384 13 12946 0 0 0 0 5 2 20 0 15 0 443826742 11079880704 10347 33554432000 4194304 4196468 140726195183072 140593942488096 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17924] ppid=17853 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17924/stat : 17924 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 443826742 11079880704 10347 33554432000 4194304 4196468 140726195183072 140593808270192 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17927] ppid=17853 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17927/stat : 17927 (java) S 17853 17856 17336 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 443826745 11079880704 10347 33554432000 4194304 4196468 140726195183072 140593567979344 140595011364763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17928] ppid=17853 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17856/task/17928/stat : 17928 (java) S 17853 17856 17336 0 -1 1077944384 493 12946 0 0 1 0 5 2 20 0 15 0 443826745 11079880704 10347 33554432000 4194304 4196468 140726195183072 140594013621104 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17929] ppid=17853 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17856/task/17929/stat : 17929 (java) R 17853 17856 17336 0 -1 4202560 181 12946 0 0 1 0 5 2 20 0 15 0 443826745 11079880704 10347 33554432000 4194304 4196468 140726195183072 140594012568304 140594990999681 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17930] ppid=17853 vsize=10820196 memory=139917386249856 CPUtime=0.1 cores=1,3,5,7
/proc/17856/task/17930/stat : 17930 (java) S 17853 17856 17336 0 -1 1077944384 681 12946 0 0 3 0 5 2 20 0 15 0 443826745 11079880704 10347 33554432000 4194304 4196468 140726195183072 140594011515504 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17933] ppid=17853 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17933/stat : 17933 (java) S 17853 17856 17336 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 443826745 11079880704 10347 33554432000 4194304 4196468 140726195183072 140593534421728 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17937] ppid=17853 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17937/stat : 17937 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 443826745 11079880704 10347 33554432000 4194304 4196468 140726195183072 140593908931248 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 41388 KiB

[startup+0.310941 s]*
/proc/loadavg: 1.68 1.40 1.59 4/228 17951
/proc/meminfo: memFree=31173620/32770624 swapFree=66977372/67108860
[pid=17856] ppid=17853 vsize=10820196 memory=49684 CPUtime=0.39 cores=1,3,5,7
/proc/17856/stat : 17856 (java) S 17853 17856 17336 0 -1 1077944320 11202 12946 0 0 28 4 5 2 20 0 15 0 443826730 11079880704 12421 33554432000 4194304 4196468 140726195183072 140726195165616 140595011346167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
/proc/17856/statm: 2705049 12421 3313 1 0 2667149 0
[pid=17856/tid=17909] ppid=17853 vsize=10820196 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/17856/task/17909/stat : 17909 (java) R 17853 17856 17336 0 -1 4202560 7559 12946 0 0 19 2 5 2 20 0 15 0 443826739 11079880704 12421 33554432000 4194304 4196468 140726195183072 140594983151504 140594989609825 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17911] ppid=17853 vsize=10820196 memory=1398720917958146503 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17911/stat : 17911 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 443826740 11079880704 12421 33554432000 4194304 4196468 140726195183072 140595015589008 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17912] ppid=17853 vsize=10820196 memory=139917386256849 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17912/stat : 17912 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 443826740 11079880704 12421 33554432000 4194304 4196468 140726195183072 140594584587280 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17913] ppid=17853 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17913/stat : 17913 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 443826740 11079880704 12421 33554432000 4194304 4196468 140726195183072 140594583534480 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17914] ppid=17853 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17914/stat : 17914 (java) S 17853 17856 17336 0 -1 1077944384 2 12946 0 0 0 0 5 2 20 0 15 0 443826740 11079880704 12421 33554432000 4194304 4196468 140726195183072 140594582481680 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17918] ppid=17853 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17918/stat : 17918 (java) S 17853 17856 17336 0 -1 1077944384 2 12946 0 0 0 0 5 2 20 0 15 0 443826741 11079880704 12421 33554432000 4194304 4196468 140726195183072 140594014673264 140595011357314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17923] ppid=17853 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17923/stat : 17923 (java) S 17853 17856 17336 0 -1 1077944384 13 12946 0 0 0 0 5 2 20 0 15 0 443826742 11079880704 12421 33554432000 4194304 4196468 140726195183072 140593942488096 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17924] ppid=17853 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17924/stat : 17924 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 443826742 11079880704 12421 33554432000 4194304 4196468 140726195183072 140593808270192 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17927] ppid=17853 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17927/stat : 17927 (java) S 17853 17856 17336 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 443826745 11079880704 12421 33554432000 4194304 4196468 140726195183072 140593567979344 140595011364763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17928] ppid=17853 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/17856/task/17928/stat : 17928 (java) S 17853 17856 17336 0 -1 1077944384 500 12946 0 0 2 0 5 2 20 0 15 0 443826745 11079880704 12421 33554432000 4194304 4196468 140726195183072 140594013621104 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17929] ppid=17853 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17856/task/17929/stat : 17929 (java) S 17853 17856 17336 0 -1 1077944384 195 12946 0 0 1 0 5 2 20 0 15 0 443826745 11079880704 12421 33554432000 4194304 4196468 140726195183072 140594012568304 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17930] ppid=17853 vsize=10820196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17856/task/17930/stat : 17930 (java) R 17853 17856 17336 0 -1 4202560 712 12946 0 0 5 0 5 2 20 0 15 0 443826745 11079880704 12421 33554432000 4194304 4196468 140726195183072 140594011515504 140594992596593 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17933] ppid=17853 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17933/stat : 17933 (java) S 17853 17856 17336 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 443826745 11079880704 12421 33554432000 4194304 4196468 140726195183072 140593534421728 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17937] ppid=17853 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17937/stat : 17937 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 443826745 11079880704 12421 33554432000 4194304 4196468 140726195183072 140593908931248 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49684 KiB

[startup+0.704904 s]
/proc/loadavg: 1.68 1.40 1.59 5/228 17951
/proc/meminfo: memFree=31149180/32770624 swapFree=66977372/67108860
[pid=17856] ppid=17853 vsize=10824364 memory=84700 CPUtime=1.09 cores=1,3,5,7
/proc/17856/stat : 17856 (java) S 17853 17856 17336 0 -1 1077944320 15360 12946 0 0 97 5 5 2 20 0 15 0 443826730 11084148736 21175 33554432000 4194304 4196468 140726195183072 140726195165616 140595011346167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
/proc/17856/statm: 2706091 21175 3513 1 0 2668173 0
[pid=17856/tid=17909] ppid=17853 vsize=10824364 memory=47056 CPUtime=0.66 cores=1,3,5,7
/proc/17856/task/17909/stat : 17909 (java) R 17853 17856 17336 0 -1 4202560 10476 12946 0 0 55 4 5 2 20 0 15 0 443826739 11084148736 21175 33554432000 4194304 4196468 140726195183072 140594983153136 140594994741760 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17911] ppid=17853 vsize=10824364 memory=1716 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17911/stat : 17911 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 443826740 11084148736 21175 33554432000 4194304 4196468 140726195183072 140595015589008 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17912] ppid=17853 vsize=10824364 memory=692 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17912/stat : 17912 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 443826740 11084148736 21175 33554432000 4194304 4196468 140726195183072 140594584587280 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17913] ppid=17853 vsize=10824364 memory=1056 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17913/stat : 17913 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 443826740 11084148736 21175 33554432000 4194304 4196468 140726195183072 140594583534480 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17914] ppid=17853 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17914/stat : 17914 (java) S 17853 17856 17336 0 -1 1077944384 2 12946 0 0 0 0 5 2 20 0 15 0 443826740 11084148736 21175 33554432000 4194304 4196468 140726195183072 140594582481680 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17918] ppid=17853 vsize=10824364 memory=6004 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17918/stat : 17918 (java) S 17853 17856 17336 0 -1 1077944384 5 12946 0 0 0 0 5 2 20 0 15 0 443826741 11084148736 21175 33554432000 4194304 4196468 140726195183072 140594014673264 140595011357314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17923] ppid=17853 vsize=10824364 memory=7552 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17923/stat : 17923 (java) S 17853 17856 17336 0 -1 1077944384 13 12946 0 0 0 0 5 2 20 0 15 0 443826742 11084148736 21175 33554432000 4194304 4196468 140726195183072 140593942488096 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17924] ppid=17853 vsize=10824364 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17924/stat : 17924 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 443826742 11084148736 21175 33554432000 4194304 4196468 140726195183072 140593808270192 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17927] ppid=17853 vsize=10824364 memory=1084 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17927/stat : 17927 (java) S 17853 17856 17336 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 443826745 11084148736 21175 33554432000 4194304 4196468 140726195183072 140593567979344 140595011364763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17928] ppid=17853 vsize=10824364 memory=14008 CPUtime=0.19 cores=1,3,5,7
/proc/17856/task/17928/stat : 17928 (java) R 17853 17856 17336 0 -1 4202560 941 12946 0 0 12 0 5 2 20 0 15 0 443826745 11084148736 21175 33554432000 4194304 4196468 140726195183072 140594013621104 140594994829656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17929] ppid=17853 vsize=10824364 memory=14048 CPUtime=0.19 cores=1,3,5,7
/proc/17856/task/17929/stat : 17929 (java) S 17853 17856 17336 0 -1 1077944384 686 12946 0 0 12 0 5 2 20 0 15 0 443826745 11084148736 21175 33554432000 4194304 4196468 140726195183072 140594012568304 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17930] ppid=17853 vsize=10824364 memory=24836 CPUtime=0.24 cores=1,3,5,7
/proc/17856/task/17930/stat : 17930 (java) S 17853 17856 17336 0 -1 1077944384 1016 12946 0 0 17 0 5 2 20 0 15 0 443826745 11084148736 21175 33554432000 4194304 4196468 140726195183072 140594011515504 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17933] ppid=17853 vsize=10824364 memory=2120 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17933/stat : 17933 (java) S 17853 17856 17336 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 443826745 11084148736 21175 33554432000 4194304 4196468 140726195183072 140593534421728 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17937] ppid=17853 vsize=10824364 memory=532 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17937/stat : 17937 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 443826745 11084148736 21175 33554432000 4194304 4196468 140726195183072 140593908931248 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 84700 KiB

[startup+1.50079 s]
/proc/loadavg: 1.68 1.40 1.59 5/216 17987
/proc/meminfo: memFree=31139928/32770624 swapFree=66977372/67108860
[pid=17856] ppid=17853 vsize=10830584 memory=199252 CPUtime=3.21 cores=1,3,5,7
/proc/17856/stat : 17856 (java) S 17853 17856 17336 0 -1 1077944320 23071 12946 0 0 305 9 5 2 20 0 15 0 443826730 11090518016 49813 33554432000 4194304 4196468 140726195183072 140726195165616 140595011346167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
/proc/17856/statm: 2707646 49813 3557 1 0 2669709 0
[pid=17856/tid=17909] ppid=17853 vsize=10830584 memory=7 CPUtime=1.45 cores=1,3,5,7
/proc/17856/task/17909/stat : 17909 (java) R 17853 17856 17336 0 -1 4202560 14075 12946 0 0 132 6 5 2 20 0 15 0 443826739 11090518016 49813 33554432000 4194304 4196468 140726195183072 140594983164256 140594992909742 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17911] ppid=17853 vsize=10830584 memory=1716 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17911/stat : 17911 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 443826740 11090518016 49813 33554432000 4194304 4196468 140726195183072 140595015589008 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17912] ppid=17853 vsize=10830584 memory=692 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17912/stat : 17912 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 443826740 11090518016 49813 33554432000 4194304 4196468 140726195183072 140594584587280 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17913] ppid=17853 vsize=10830584 memory=1056 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17913/stat : 17913 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 443826740 11090518016 49813 33554432000 4194304 4196468 140726195183072 140594583534480 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17914] ppid=17853 vsize=10830584 memory=139917284126801 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17914/stat : 17914 (java) S 17853 17856 17336 0 -1 1077944384 2 12946 0 0 0 0 5 2 20 0 15 0 443826740 11090518016 49813 33554432000 4194304 4196468 140726195183072 140594582481680 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17918] ppid=17853 vsize=10830584 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17918/stat : 17918 (java) S 17853 17856 17336 0 -1 1077944384 16 12946 0 0 0 0 5 2 20 0 15 0 443826741 11090518016 49813 33554432000 4194304 4196468 140726195183072 140594014673264 140595011357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17923] ppid=17853 vsize=10830584 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17923/stat : 17923 (java) S 17853 17856 17336 0 -1 1077944384 13 12946 0 0 0 0 5 2 20 0 15 0 443826742 11090518016 49813 33554432000 4194304 4196468 140726195183072 140593942488096 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17924] ppid=17853 vsize=10830584 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17924/stat : 17924 (java) S 17853 17856 17336 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 443826742 11090518016 49813 33554432000 4194304 4196468 140726195183072 140593808270192 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17927] ppid=17853 vsize=10830584 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17927/stat : 17927 (java) S 17853 17856 17336 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 443826745 11090518016 49813 33554432000 4194304 4196468 140726195183072 140593567979344 140595011364763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17928] ppid=17853 vsize=10830584 memory=13252 CPUtime=0.71 cores=1,3,5,7
/proc/17856/task/17928/stat : 17928 (java) S 17853 17856 17336 0 -1 1077944384 2652 12946 0 0 64 0 5 2 20 0 15 0 443826745 11090518016 49813 33554432000 4194304 4196468 140726195183072 140594013621104 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17929] ppid=17853 vsize=10830584 memory=15460 CPUtime=0.72 cores=1,3,5,7
/proc/17856/task/17929/stat : 17929 (java) S 17853 17856 17336 0 -1 1077944384 2216 12946 0 0 65 0 5 2 20 0 15 0 443826745 11090518016 49813 33554432000 4194304 4196468 140726195183072 140594012568304 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17930] ppid=17853 vsize=10830584 memory=17668 CPUtime=0.49 cores=1,3,5,7
/proc/17856/task/17930/stat : 17930 (java) S 17853 17856 17336 0 -1 1077944384 1874 12946 0 0 42 0 5 2 20 0 15 0 443826745 11090518016 49813 33554432000 4194304 4196468 140726195183072 140594011515504 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17933] ppid=17853 vsize=10830584 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17933/stat : 17933 (java) S 17853 17856 17336 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 443826745 11090518016 49813 33554432000 4194304 4196468 140726195183072 140593534421728 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17937] ppid=17853 vsize=10830584 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17937/stat : 17937 (java) S 17853 17856 17336 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 443826745 11090518016 49813 33554432000 4194304 4196468 140726195183072 140593908931248 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
Current children cumulated CPU time: 3.21 s
Current children cumulated vsize: 10830584 KiB

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

/proc/17856/task/17909/stat : 17909 (java) R 17853 17856 17336 0 -1 4202560 92689 12946 0 0 217886 73 5 2 20 0 15 0 443826739 11107315712 639175 33554432000 4194304 4196468 140726195183072 140594983180768 140594628378204 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17911] ppid=17853 vsize=10846988 memory=2556700 CPUtime=13.25 cores=1,3,5,7
/proc/17856/task/17911/stat : 17911 (java) S 17853 17856 17336 0 -1 1077944384 24927 12946 0 0 1280 38 5 2 20 0 15 0 443826740 11107315712 639175 33554432000 4194304 4196468 140726195183072 140595015589008 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17912] ppid=17853 vsize=10846988 memory=2556700 CPUtime=13.34 cores=1,3,5,7
/proc/17856/task/17912/stat : 17912 (java) S 17853 17856 17336 0 -1 1077944384 34745 12946 0 0 1287 40 5 2 20 0 15 0 443826740 11107315712 639175 33554432000 4194304 4196468 140726195183072 140594584587280 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17913] ppid=17853 vsize=10846988 memory=2556700 CPUtime=13.26 cores=1,3,5,7
/proc/17856/task/17913/stat : 17913 (java) S 17853 17856 17336 0 -1 1077944384 21626 12946 0 0 1283 36 5 2 20 0 15 0 443826740 11107315712 639175 33554432000 4194304 4196468 140726195183072 140594583534480 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17914] ppid=17853 vsize=10846988 memory=2556700 CPUtime=13.2 cores=1,3,5,7
/proc/17856/task/17914/stat : 17914 (java) S 17853 17856 17336 0 -1 1077944384 21006 12946 0 0 1274 39 5 2 20 0 15 0 443826740 11107315712 639175 33554432000 4194304 4196468 140726195183072 140594582481680 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17918] ppid=17853 vsize=10846988 memory=2556700 CPUtime=6.92 cores=1,3,5,7
/proc/17856/task/17918/stat : 17918 (java) S 17853 17856 17336 0 -1 1077944384 24744 12946 0 0 641 44 5 2 20 0 15 0 443826741 11107315712 639175 33554432000 4194304 4196468 140726195183072 140594014673264 140595011357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17923] ppid=17853 vsize=10846988 memory=3616 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17923/stat : 17923 (java) S 17853 17856 17336 0 -1 1077944384 21 12946 0 0 0 0 5 2 20 0 15 0 443826742 11107315712 639175 33554432000 4194304 4196468 140726195183072 140593942488224 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17924] ppid=17853 vsize=10846988 memory=139917284399457 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17924/stat : 17924 (java) S 17853 17856 17336 0 -1 1077944384 8 12946 0 0 0 0 5 2 20 0 15 0 443826742 11107315712 639175 33554432000 4194304 4196468 140726195183072 140593808270208 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17927] ppid=17853 vsize=10846988 memory=6004 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17927/stat : 17927 (java) S 17853 17856 17336 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 443826745 11107315712 639175 33554432000 4194304 4196468 140726195183072 140593567979344 140595011364763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17928] ppid=17853 vsize=10846988 memory=2554652 CPUtime=7.07 cores=1,3,5,7
/proc/17856/task/17928/stat : 17928 (java) S 17853 17856 17336 0 -1 1077944384 28292 12946 0 0 696 4 5 2 20 0 15 0 443826745 11107315712 639175 33554432000 4194304 4196468 140726195183072 140594013621104 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17929] ppid=17853 vsize=10846988 memory=2556700 CPUtime=7.53 cores=1,3,5,7
/proc/17856/task/17929/stat : 17929 (java) S 17853 17856 17336 0 -1 1077944384 26581 12946 0 0 742 4 5 2 20 0 15 0 443826745 11107315712 639175 33554432000 4194304 4196468 140726195183072 140594012568304 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17930] ppid=17853 vsize=10846988 memory=2556700 CPUtime=2.28 cores=1,3,5,7
/proc/17856/task/17930/stat : 17930 (java) S 17853 17856 17336 0 -1 1077944384 16947 12946 0 0 216 5 5 2 20 0 15 0 443826745 11107315712 639175 33554432000 4194304 4196468 140726195183072 140594011515504 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17933] ppid=17853 vsize=10846988 memory=2556700 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17933/stat : 17933 (java) S 17853 17856 17336 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 443826745 11107315712 639175 33554432000 4194304 4196468 140726195183072 140593534421728 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17937] ppid=17853 vsize=10846988 memory=2556700 CPUtime=1.29 cores=1,3,5,7
/proc/17856/task/17937/stat : 17937 (java) S 17853 17856 17336 0 -1 1077944384 1982 12946 0 0 55 67 5 2 20 0 15 0 443826745 11107315712 639175 33554432000 4194304 4196468 140726195183072 140593908931248 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
Current children cumulated CPU time: 2257.25 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2556700 KiB

[startup+2262.3 s]
/proc/loadavg: 1.33 1.41 1.40 4/227 18262
/proc/meminfo: memFree=27933208/32770624 swapFree=66977376/67108860
[pid=17856] ppid=17853 vsize=10846988 memory=2558748 CPUtime=2318.43 cores=1,3,5,7
/proc/17856/stat : 17856 (java) S 17853 17856 17336 0 -1 1077944320 298290 12946 0 0 231509 327 5 2 20 0 15 0 443826730 11107315712 639687 33554432000 4194304 4196468 140726195183072 140726195165616 140595011346167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
/proc/17856/statm: 2711747 639687 3639 1 0 2673805 0
[pid=17856/tid=17909] ppid=17853 vsize=10846988 memory=2558748 CPUtime=2238.96 cores=1,3,5,7
/proc/17856/task/17909/stat : 17909 (java) R 17853 17856 17336 0 -1 4202560 93841 12946 0 0 223815 74 5 2 20 0 15 0 443826739 11107315712 639687 33554432000 4194304 4196468 140726195183072 140594983180944 140594628378317 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17911] ppid=17853 vsize=10846988 memory=2558748 CPUtime=13.65 cores=1,3,5,7
/proc/17856/task/17911/stat : 17911 (java) S 17853 17856 17336 0 -1 1077944384 25195 12946 0 0 1319 39 5 2 20 0 15 0 443826740 11107315712 639687 33554432000 4194304 4196468 140726195183072 140595015589008 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17912] ppid=17853 vsize=10846988 memory=2558748 CPUtime=13.75 cores=1,3,5,7
/proc/17856/task/17912/stat : 17912 (java) S 17853 17856 17336 0 -1 1077944384 35092 12946 0 0 1327 41 5 2 20 0 15 0 443826740 11107315712 639687 33554432000 4194304 4196468 140726195183072 140594584587280 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17913] ppid=17853 vsize=10846988 memory=2558748 CPUtime=13.67 cores=1,3,5,7
/proc/17856/task/17913/stat : 17913 (java) S 17853 17856 17336 0 -1 1077944384 21793 12946 0 0 1323 37 5 2 20 0 15 0 443826740 11107315712 639687 33554432000 4194304 4196468 140726195183072 140594583534480 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17914] ppid=17853 vsize=10846988 memory=2558748 CPUtime=13.61 cores=1,3,5,7
/proc/17856/task/17914/stat : 17914 (java) S 17853 17856 17336 0 -1 1077944384 21197 12946 0 0 1314 40 5 2 20 0 15 0 443826740 11107315712 639687 33554432000 4194304 4196468 140726195183072 140594582481680 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17918] ppid=17853 vsize=10846988 memory=2558748 CPUtime=7.12 cores=1,3,5,7
/proc/17856/task/17918/stat : 17918 (java) S 17853 17856 17336 0 -1 1077944384 25080 12946 0 0 660 45 5 2 20 0 15 0 443826741 11107315712 639687 33554432000 4194304 4196468 140726195183072 140594014673264 140595011357314 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17923] ppid=17853 vsize=10846988 memory=2558748 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17923/stat : 17923 (java) S 17853 17856 17336 0 -1 1077944384 21 12946 0 0 0 0 5 2 20 0 15 0 443826742 11107315712 639687 33554432000 4194304 4196468 140726195183072 140593942488224 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17924] ppid=17853 vsize=10846988 memory=2558748 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17924/stat : 17924 (java) S 17853 17856 17336 0 -1 1077944384 8 12946 0 0 0 0 5 2 20 0 15 0 443826742 11107315712 639687 33554432000 4194304 4196468 140726195183072 140593808270208 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17927] ppid=17853 vsize=10846988 memory=780 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17927/stat : 17927 (java) S 17853 17856 17336 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 443826745 11107315712 639687 33554432000 4194304 4196468 140726195183072 140593567979344 140595011364763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17928] ppid=17853 vsize=10846988 memory=2558748 CPUtime=7.07 cores=1,3,5,7
/proc/17856/task/17928/stat : 17928 (java) S 17853 17856 17336 0 -1 1077944384 28298 12946 0 0 696 4 5 2 20 0 15 0 443826745 11107315712 639687 33554432000 4194304 4196468 140726195183072 140594013621104 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17929] ppid=17853 vsize=10846988 memory=2558748 CPUtime=7.53 cores=1,3,5,7
/proc/17856/task/17929/stat : 17929 (java) S 17853 17856 17336 0 -1 1077944384 26585 12946 0 0 742 4 5 2 20 0 15 0 443826745 11107315712 639687 33554432000 4194304 4196468 140726195183072 140594012568304 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17930] ppid=17853 vsize=10846988 memory=2558748 CPUtime=2.28 cores=1,3,5,7
/proc/17856/task/17930/stat : 17930 (java) S 17853 17856 17336 0 -1 1077944384 16951 12946 0 0 216 5 5 2 20 0 15 0 443826745 11107315712 639687 33554432000 4194304 4196468 140726195183072 140594011515504 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17933] ppid=17853 vsize=10846988 memory=3616 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17933/stat : 17933 (java) S 17853 17856 17336 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 443826745 11107315712 639687 33554432000 4194304 4196468 140726195183072 140593534421728 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17937] ppid=17853 vsize=10846988 memory=47120 CPUtime=1.32 cores=1,3,5,7
/proc/17856/task/17937/stat : 17937 (java) S 17853 17856 17336 0 -1 1077944384 2013 12946 0 0 56 69 5 2 20 0 15 0 443826745 11107315712 639687 33554432000 4194304 4196468 140726195183072 140593908931248 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
Current children cumulated CPU time: 2318.43 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2558748 KiB

[startup+2322.3 s]
/proc/loadavg: 1.23 1.36 1.38 4/228 18268
/proc/meminfo: memFree=27939404/32770624 swapFree=66977376/67108860
[pid=17856] ppid=17853 vsize=10846988 memory=2551564 CPUtime=2379.58 cores=1,3,5,7
/proc/17856/stat : 17856 (java) S 17853 17856 17336 0 -1 1077944320 300983 12946 0 0 237618 333 5 2 20 0 15 0 443826730 11107315712 637891 33554432000 4194304 4196468 140726195183072 140726195165616 140595011346167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
/proc/17856/statm: 2711747 637891 3639 1 0 2673805 0
[pid=17856/tid=17909] ppid=17853 vsize=10846988 memory=2552080 CPUtime=2298.25 cores=1,3,5,7
/proc/17856/task/17909/stat : 17909 (java) R 17853 17856 17336 0 -1 4202560 95002 12946 0 0 229743 75 5 2 20 0 15 0 443826739 11107315712 637891 33554432000 4194304 4196468 140726195183072 140594983182112 140594632758057 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17911] ppid=17853 vsize=10846988 memory=2551564 CPUtime=14.06 cores=1,3,5,7
/proc/17856/task/17911/stat : 17911 (java) S 17853 17856 17336 0 -1 1077944384 25426 12946 0 0 1359 40 5 2 20 0 15 0 443826740 11107315712 637891 33554432000 4194304 4196468 140726195183072 140595015589008 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17912] ppid=17853 vsize=10846988 memory=2551564 CPUtime=14.16 cores=1,3,5,7
/proc/17856/task/17912/stat : 17912 (java) S 17853 17856 17336 0 -1 1077944384 35450 12946 0 0 1367 42 5 2 20 0 15 0 443826740 11107315712 637891 33554432000 4194304 4196468 140726195183072 140594584587280 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17913] ppid=17853 vsize=10846988 memory=2551564 CPUtime=14.07 cores=1,3,5,7
/proc/17856/task/17913/stat : 17913 (java) S 17853 17856 17336 0 -1 1077944384 22042 12946 0 0 1362 38 5 2 20 0 15 0 443826740 11107315712 637891 33554432000 4194304 4196468 140726195183072 140594583534480 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17914] ppid=17853 vsize=10846988 memory=2555156 CPUtime=14 cores=1,3,5,7
/proc/17856/task/17914/stat : 17914 (java) S 17853 17856 17336 0 -1 1077944384 21515 12946 0 0 1353 40 5 2 20 0 15 0 443826740 11107315712 637891 33554432000 4194304 4196468 140726195183072 140594582481680 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17918] ppid=17853 vsize=10846988 memory=47120 CPUtime=7.33 cores=1,3,5,7
/proc/17856/task/17918/stat : 17918 (java) S 17853 17856 17336 0 -1 1077944384 25413 12946 0 0 680 46 5 2 20 0 15 0 443826741 11107315712 637891 33554432000 4194304 4196468 140726195183072 140594014673264 140595011357314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17923] ppid=17853 vsize=10846988 memory=988 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17923/stat : 17923 (java) S 17853 17856 17336 0 -1 1077944384 21 12946 0 0 0 0 5 2 20 0 15 0 443826742 11107315712 637891 33554432000 4194304 4196468 140726195183072 140593942488224 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17924] ppid=17853 vsize=10846988 memory=2558236 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17924/stat : 17924 (java) S 17853 17856 17336 0 -1 1077944384 8 12946 0 0 0 0 5 2 20 0 15 0 443826742 11107315712 637891 33554432000 4194304 4196468 140726195183072 140593808270208 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17927] ppid=17853 vsize=10846988 memory=2004 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17927/stat : 17927 (java) S 17853 17856 17336 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 443826745 11107315712 637891 33554432000 4194304 4196468 140726195183072 140593567979344 140595011364763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17928] ppid=17853 vsize=10846988 memory=2551564 CPUtime=7.07 cores=1,3,5,7
/proc/17856/task/17928/stat : 17928 (java) S 17853 17856 17336 0 -1 1077944384 28302 12946 0 0 696 4 5 2 20 0 15 0 443826745 11107315712 637891 33554432000 4194304 4196468 140726195183072 140594013621104 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17929] ppid=17853 vsize=10846988 memory=1556 CPUtime=7.53 cores=1,3,5,7
/proc/17856/task/17929/stat : 17929 (java) S 17853 17856 17336 0 -1 1077944384 26589 12946 0 0 742 4 5 2 20 0 15 0 443826745 11107315712 637891 33554432000 4194304 4196468 140726195183072 140594012568304 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17930] ppid=17853 vsize=10846988 memory=2555668 CPUtime=2.28 cores=1,3,5,7
/proc/17856/task/17930/stat : 17930 (java) S 17853 17856 17336 0 -1 1077944384 16955 12946 0 0 216 5 5 2 20 0 15 0 443826745 11107315712 637891 33554432000 4194304 4196468 140726195183072 140594011515504 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17933] ppid=17853 vsize=10846988 memory=2556184 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17933/stat : 17933 (java) S 17853 17856 17336 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 443826745 11107315712 637891 33554432000 4194304 4196468 140726195183072 140593534421728 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17937] ppid=17853 vsize=10846988 memory=6004 CPUtime=1.35 cores=1,3,5,7
/proc/17856/task/17937/stat : 17937 (java) S 17853 17856 17336 0 -1 1077944384 2044 12946 0 0 57 71 5 2 20 0 15 0 443826745 11107315712 637891 33554432000 4194304 4196468 140726195183072 140593908931248 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
Current children cumulated CPU time: 2379.58 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2551564 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2342.4 s]
/proc/loadavg: 1.24 1.35 1.38 4/227 18268
/proc/meminfo: memFree=27939860/32770624 swapFree=66977376/67108860
[pid=17856] ppid=17853 vsize=10846988 memory=2551564 CPUtime=2400.04 cores=1,3,5,7
/proc/17856/stat : 17856 (java) S 17853 17856 17336 0 -1 1077944320 301471 12946 0 0 239662 335 5 2 20 0 15 0 443826730 11107315712 637891 33554432000 4194304 4196468 140726195183072 140726195165616 140595011346167 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
/proc/17856/statm: 2711747 637891 3639 1 0 2673805 0
[pid=17856/tid=17909] ppid=17853 vsize=10846988 memory=1416 CPUtime=2318.13 cores=1,3,5,7
/proc/17856/task/17909/stat : 17909 (java) R 17853 17856 17336 0 -1 4202560 95298 12946 0 0 231730 76 5 2 20 0 15 0 443826739 11107315712 637891 33554432000 4194304 4196468 140726195183072 140594983181584 140594628378395 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17911] ppid=17853 vsize=10846988 memory=2551564 CPUtime=14.19 cores=1,3,5,7
/proc/17856/task/17911/stat : 17911 (java) S 17853 17856 17336 0 -1 1077944384 25430 12946 0 0 1372 40 5 2 20 0 15 0 443826740 11107315712 637891 33554432000 4194304 4196468 140726195183072 140595015589008 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17912] ppid=17853 vsize=10846988 memory=2480 CPUtime=14.29 cores=1,3,5,7
/proc/17856/task/17912/stat : 17912 (java) S 17853 17856 17336 0 -1 1077944384 35599 12946 0 0 1380 42 5 2 20 0 15 0 443826740 11107315712 637891 33554432000 4194304 4196468 140726195183072 140594584587280 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17913] ppid=17853 vsize=10846988 memory=1768 CPUtime=14.19 cores=1,3,5,7
/proc/17856/task/17913/stat : 17913 (java) S 17853 17856 17336 0 -1 1077944384 22043 12946 0 0 1374 38 5 2 20 0 15 0 443826740 11107315712 637891 33554432000 4194304 4196468 140726195183072 140594583534480 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17914] ppid=17853 vsize=10846988 memory=2551564 CPUtime=14.14 cores=1,3,5,7
/proc/17856/task/17914/stat : 17914 (java) S 17853 17856 17336 0 -1 1077944384 21519 12946 0 0 1366 41 5 2 20 0 15 0 443826740 11107315712 637891 33554432000 4194304 4196468 140726195183072 140594582481680 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17918] ppid=17853 vsize=10846988 memory=2551564 CPUtime=7.4 cores=1,3,5,7
/proc/17856/task/17918/stat : 17918 (java) S 17853 17856 17336 0 -1 1077944384 25437 12946 0 0 686 47 5 2 20 0 15 0 443826741 11107315712 637891 33554432000 4194304 4196468 140726195183072 140594014673264 140595011357314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17923] ppid=17853 vsize=10846988 memory=14008 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17923/stat : 17923 (java) S 17853 17856 17336 0 -1 1077944384 21 12946 0 0 0 0 5 2 20 0 15 0 443826742 11107315712 637891 33554432000 4194304 4196468 140726195183072 140593942488224 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17924] ppid=17853 vsize=10846988 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17924/stat : 17924 (java) S 17853 17856 17336 0 -1 1077944384 8 12946 0 0 0 0 5 2 20 0 15 0 443826742 11107315712 637891 33554432000 4194304 4196468 140726195183072 140593808270208 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17927] ppid=17853 vsize=10846988 memory=47120 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17927/stat : 17927 (java) S 17853 17856 17336 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 443826745 11107315712 637891 33554432000 4194304 4196468 140726195183072 140593567979344 140595011364763 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17928] ppid=17853 vsize=10846988 memory=988 CPUtime=7.07 cores=1,3,5,7
/proc/17856/task/17928/stat : 17928 (java) S 17853 17856 17336 0 -1 1077944384 28304 12946 0 0 696 4 5 2 20 0 15 0 443826745 11107315712 637891 33554432000 4194304 4196468 140726195183072 140594013621104 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17929] ppid=17853 vsize=10846988 memory=6791534058613427641 CPUtime=7.53 cores=1,3,5,7
/proc/17856/task/17929/stat : 17929 (java) S 17853 17856 17336 0 -1 1077944384 26591 12946 0 0 742 4 5 2 20 0 15 0 443826745 11107315712 637891 33554432000 4194304 4196468 140726195183072 140594012568304 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17930] ppid=17853 vsize=10846988 memory=4132 CPUtime=2.28 cores=1,3,5,7
/proc/17856/task/17930/stat : 17930 (java) S 17853 17856 17336 0 -1 1077944384 16957 12946 0 0 216 5 5 2 20 0 15 0 443826745 11107315712 637891 33554432000 4194304 4196468 140726195183072 140594011515504 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17933] ppid=17853 vsize=10846988 memory=1112 CPUtime=0.07 cores=1,3,5,7
/proc/17856/task/17933/stat : 17933 (java) S 17853 17856 17336 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 443826745 11107315712 637891 33554432000 4194304 4196468 140726195183072 140593534421728 140595011356373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
[pid=17856/tid=17937] ppid=17853 vsize=10846988 memory=6004 CPUtime=1.36 cores=1,3,5,7
/proc/17856/task/17937/stat : 17937 (java) S 17853 17856 17336 0 -1 1077944384 2048 12946 0 0 58 71 5 2 20 0 15 0 443826745 11107315712 637891 33554432000 4194304 4196468 140726195183072 140593908931248 140595011357314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140726195190512 140726195193029 140726195193029 140726195195855 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2551564 KiB

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

[startup+2342.43 s]
# the end of solver process 17856 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.7 s, system=3.39941 s

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

Child status: 143
Real time (s): 2342.43
CPU time (s): 2400.1
CPU user time (s): 2396.7
CPU system time (s): 3.39941
CPU usage (%): 102.462
Max. virtual memory (cumulated for all children) (KiB): 10847640
Max. memory (cumulated for all children) (KiB): 2833936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.7
system time used= 3.39941
maximum resident set size= 2833952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315695
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 206308
involuntary context switches= 7554


# summary of solver processes directly reported to runsolver:
#   pid: 17856
#   total CPU time (s): 2400.1
#   total CPU user time (s): 2396.7
#   total CPU system time (s): 3.39941

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4742 second user time and 19.9393 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-17 00:04:37
IDJOB=4401324
IDBENCH=120609
IDSOLVER=2858
FILE ID=node104/4401324-1568675696
RUNJOBID= node104-1568669113-17368
PBS_JOBID= 21703796
Free space on /tmp= 58976 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-4401324-1568675696/watcher-4401324-1568675696 -o /tmp/evaluation-result-4401324-1568675696/solver-4401324-1568675696 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568669113-17368 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=140789969 HOME/instance-4401324-1568675696.xml

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

MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33
RANDOM SEED=140789969

node104.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.09
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.09
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.09
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.09
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:        30301344 kB
MemAvailable:   30930936 kB
Buffers:           80700 kB
Cached:           846032 kB
SwapCached:        32248 kB
Active:          1570984 kB
Inactive:         324148 kB
Active(anon):     936944 kB
Inactive(anon):    80672 kB
Active(file):     634040 kB
Inactive(file):   243476 kB
Unevictable:      109412 kB
Mlocked:          109412 kB
SwapTotal:      67108860 kB
SwapFree:       66977372 kB
Dirty:             35828 kB
Writeback:             0 kB
AnonPages:       1058560 kB
Mapped:            61504 kB
Shmem:             40460 kB
Slab:             165032 kB
SReclaimable:     135428 kB
SUnreclaim:        29604 kB
KernelStack:        4016 kB
PageTables:         7204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2239832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    974848 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 58940 MiB
End job on node104 at 2019-09-17 00:43:40