Trace number 4403124

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.3SAT (TO)6 2400.1 2340.05

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.89/0.63	c Concrete v3.12.3.1568965526260 running
20.01/8.84	o 851
20.93/9.29	o 850
21.62/9.67	o 849
22.21/10.05	o 848
22.99/10.34	o 847
23.62/10.74	o 846
24.08/11.04	o 845
24.49/11.36	o 844
25.07/11.67	o 843
25.63/12.02	o 842
26.05/12.35	o 841
26.44/12.69	o 840
27.09/13.03	o 839
27.44/13.31	o 838
27.99/13.62	o 837
28.35/13.92	o 836
28.56/14.19	o 835
28.86/14.45	o 834
29.16/14.78	o 833
29.36/15.00	o 832
29.67/15.27	o 831
29.98/15.55	o 830
30.28/15.84	o 829
30.59/16.12	o 828
30.78/16.37	o 827
31.15/16.64	o 826
31.45/16.92	o 825
31.66/17.18	o 824
31.95/17.42	o 823
32.21/17.67	o 822
32.51/17.94	o 821
32.81/18.22	o 820
33.01/18.47	o 819
33.31/18.71	o 818
33.51/18.98	o 817
33.81/19.24	o 816
34.02/19.48	o 815
34.34/19.73	o 814
34.54/19.96	o 813
34.84/20.21	o 812
35.07/20.47	o 811
35.37/20.73	o 810
35.57/20.96	o 809
35.78/21.19	o 808
36.07/21.42	o 807
36.37/21.71	o 806
36.57/21.90	o 805
36.68/22.08	o 804
36.87/22.26	o 803
37.07/22.45	o 802
37.28/22.60	o 801
37.38/22.75	o 800
37.48/22.88	o 799
37.69/23.01	o 798
37.88/23.29	o 797
38.18/23.53	o 796
38.41/23.77	o 795
38.61/23.98	o 794
38.91/24.21	o 793
39.14/24.43	o 792
39.39/24.67	o 791
39.62/24.85	o 790
39.83/25.04	o 789
40.28/25.31	o 788
40.49/25.55	o 787
40.69/25.79	o 786
41.00/26.03	o 785
41.19/26.26	o 784
41.50/26.49	o 783
41.80/26.70	o 782
42.00/26.90	o 781
42.11/27.10	o 780
42.30/27.28	o 779
42.60/27.51	o 778
42.80/27.79	o 777
43.11/28.03	o 776
43.31/28.24	o 775
43.51/28.45	o 774
43.71/28.66	o 773
43.91/28.88	o 772
44.12/29.08	o 771
44.31/29.27	o 770
44.56/29.47	o 769
44.75/29.65	o 768
44.96/29.81	o 767
45.07/29.98	o 766
45.39/30.22	o 765
45.69/30.50	o 764
45.89/30.74	o 763
46.09/30.96	o 762
46.30/31.18	o 761
46.49/31.39	o 760
46.69/31.59	o 759
46.89/31.79	o 758
47.10/31.99	o 757
47.31/32.16	o 756
47.50/32.33	o 755
47.61/32.49	o 754
47.81/32.64	o 753
47.91/32.79	o 752
48.11/32.94	o 751
48.22/33.09	o 750
48.51/33.36	o 749
48.81/33.60	o 748
49.01/33.80	o 747
49.11/34.01	o 746
49.41/34.20	o 745
49.51/34.39	o 744
49.71/34.58	o 743
49.95/34.77	o 742
50.15/34.94	o 741
50.36/35.11	o 740
50.45/35.28	o 739
50.65/35.45	o 738
50.85/35.60	o 737
50.95/35.75	o 736
51.15/35.91	o 735
51.27/36.07	o 734
51.46/36.22	o 733
51.56/36.35	o 732
51.66/36.48	o 731
51.76/36.58	o 730
52.06/36.81	o 729
52.35/37.06	o 728
52.64/37.31	o 727
52.84/37.53	o 726
53.05/37.76	o 725
53.25/37.96	o 724
53.46/38.16	o 723
53.66/38.36	o 722
53.86/38.56	o 721
54.06/38.75	o 720
54.26/38.95	o 719
54.47/39.12	o 718
54.56/39.28	o 717
54.76/39.46	o 716
54.96/39.61	o 715
55.06/39.76	o 714
55.26/39.92	o 713
55.37/40.05	o 712
55.57/40.20	o 711
55.67/40.32	o 710
55.76/40.45	o 709
55.87/40.57	o 708
55.97/40.68	o 707
56.07/40.78	o 706
56.47/41.12	o 705
56.79/41.41	o 704
56.99/41.67	o 703
57.29/41.92	o 702
57.50/42.14	o 701
57.69/42.36	o 700
57.89/42.58	o 699
58.19/42.82	o 698
58.40/43.03	o 697
58.59/43.25	o 696
58.79/43.46	o 695
58.99/43.66	o 694
59.19/43.87	o 693
59.40/44.05	o 692
59.61/44.22	o 691
59.71/44.37	o 690
59.91/44.51	o 689
60.01/44.64	o 688
60.12/44.78	o 687
60.32/44.91	o 686
60.43/45.04	o 685
60.53/45.15	o 684
60.62/45.26	o 683
60.72/45.36	o 682
60.82/45.45	o 681
60.92/45.53	o 680
61.02/45.60	o 679
61.02/45.67	o 678
61.12/45.72	o 677
61.12/45.78	o 676
61.22/45.84	o 675
61.43/46.09	o 674
61.72/46.31	o 673
61.92/46.51	o 672
62.12/46.72	o 671
62.32/46.92	o 670
62.53/47.13	o 669
62.72/47.32	o 668
62.97/47.53	o 667
63.17/47.71	o 666
63.26/47.89	o 665
63.47/48.06	o 664
63.66/48.23	o 663
63.76/48.39	o 662
63.96/48.56	o 661
64.17/48.71	o 660
64.27/48.86	o 659
64.48/49.02	o 658
64.58/49.17	o 657
64.77/49.31	o 656
64.87/49.45	o 655
65.09/49.60	o 654
65.19/49.72	o 653
65.29/49.85	o 652
65.39/49.97	o 651
65.50/50.10	o 650
65.70/50.22	o 649
65.80/50.34	o 648
65.90/50.45	o 647
66.00/50.57	o 646
66.10/50.68	o 645
66.20/50.78	o 644
66.30/50.88	o 643
66.40/50.96	o 642
66.51/51.04	o 641
66.61/51.12	o 640
66.70/51.20	o 639
66.70/51.27	o 638
66.80/51.34	o 637
67.00/51.58	o 636
67.30/51.82	o 635
67.51/52.07	o 634
67.80/52.32	o 633
68.00/52.55	o 632
68.20/52.78	o 631
68.51/53.01	o 630
68.70/53.23	o 629
68.90/53.43	o 628
69.11/53.61	o 627
69.21/53.77	o 626
69.41/53.94	o 625
69.52/54.10	o 624
69.70/54.29	o 623
69.90/54.44	o 622
70.01/54.59	o 621
70.21/54.73	o 620
70.30/54.86	o 619
70.40/55.00	o 618
70.62/55.12	o 617
70.71/55.23	o 616
70.81/55.32	o 615
70.96/55.41	o 614
70.96/55.47	o 613
71.06/55.52	o 612
71.06/55.58	o 611
71.16/55.62	o 610
71.16/55.65	o 609
71.16/55.68	o 608
71.26/55.70	o 607
71.26/55.72	o 606
71.26/55.74	o 605
71.26/55.75	o 604
71.26/55.76	o 603
71.26/55.77	o 602
71.26/55.78	o 601
71.26/55.79	o 600
71.26/55.79	o 599
71.36/55.80	o 598
71.36/55.80	o 597
71.36/55.80	o 7
71.65/55.93	o 6
2400.04/2340.02	Exception in thread "main" java.util.concurrent.TimeoutException
2400.04/2340.02		at concrete.MAC.mac(MAC.scala:192)
2400.04/2340.02		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2400.04/2340.02		at scala.util.Try$.apply(Try.scala:210)
2400.04/2340.02		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.04/2340.02		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.04/2340.02		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.04/2340.02		at concrete.MAC.oneRun(MAC.scala:265)
2400.04/2340.02		at concrete.MAC.nextSolution(MAC.scala:284)
2400.04/2340.02		at concrete.MAC.nextSolution(MAC.scala:369)
2400.04/2340.02		at concrete.Solver.hasNext(Solver.scala:160)
2400.04/2340.02		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2400.04/2340.02		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2400.04/2340.02		at concrete.Solver.foreach(Solver.scala:67)
2400.04/2340.02		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2400.04/2340.02		at scala.util.Success.map(Try.scala:262)
2400.04/2340.02		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2400.04/2340.02		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.04/2340.02		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.04/2340.02		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.04/2340.02		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.04/2340.02		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.04/2340.02		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.04/2340.02		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.04/2340.02		at scala.App.$anonfun$main$1(App.scala:73)
2400.04/2340.02		at scala.App.$anonfun$main$1$adapted(App.scala:73)
2400.04/2340.02		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2400.04/2340.02		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2400.04/2340.02		at scala.collection.AbstractIterable.foreach(Iterable.scala:921)
2400.04/2340.02		at scala.App.main(App.scala:73)
2400.04/2340.02		at scala.App.main$(App.scala:71)
2400.04/2340.02		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.04/2340.02		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.04/2340.03	v <instantiation
2400.04/2340.03	v         cost = '6'>
2400.04/2340.03	v       <list>
2400.04/2340.03	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/2340.03	v       </list>
2400.04/2340.03	v       <values>
2400.04/2340.03	v         0 1 4 1 0 0 3 2 1 2 3 0 3 3 3 3 5 5 3 3 1 5 5 5 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 3 3 3 3 3 3 3 3 3 0 2 3 1 2 5 4 4 4 2 2 2 4 2 4 4 4 5 4 5 4 5 5 5 5 5 5 4 6 2 2 2 2 2 2 2 2 2 2 2 2 2 4 4 4 4 4 4 4 4 4 4 0 2 4 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 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 6 2 2 2 6 2 2 2 2 2 2 6 6 2 2 2 2 5 2 2 2 5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 3 2 0 2 1 4 1 6 1 6 2 1 2 6 6 6 3 3 1 5 1 3 3 1 5 3 5 1 1 1 1 1 1 2 2 1 2 2 2 3 4 3 3 3 3 3 6 3 3 3 3 6 2 3 1 2 6 4 1 4 1 2 2 1 2 4 4 6 5 4 4 6 5 4 4 4 5 4 6 2 2 2 2 2 6 2 2 2 2 2 2 4 4 4 4 4 4 4 4 4 6 4 4 4 4 4 4 1 1 1 1 6 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 6 1 1 1 6 6 1 1 1 1 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 6 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 1 3 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 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 0 0 0 2 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 6 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 1 1 1 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 6 1 1 1 1 6 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 6 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 1 1 6 6 1 1 1 1 1 6 1 1 1 1 1 1 1 1 6 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 6 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 3 0 1 2
2400.04/2340.03	v       </values>
2400.04/2340.03	v     </instantiation>
2400.04/2340.03	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: 16375 MiB (3069 MiB free)
  memory of node 1: 16384 MiB (1438 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403124-1568970008/watcher-4403124-1568970008 -o /tmp/evaluation-result-4403124-1568970008/solver-4403124-1568970008 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568967597-23755 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1567823593 HOME/instance-4403124-1568970008.xml 

running on 4 cores: 0-3

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=24333, runsolver pid=24330

[startup+0.100165 s]*
/proc/loadavg: 1.61 1.48 1.32 4/214 24386
/proc/meminfo: memFree=4613008/32770688 swapFree=66971588/67108860
[pid=24333] ppid=24330 vsize=9972712 memory=14968 CPUtime=0.09 cores=0-3
/proc/24333/stat : 24333 (java) S 24330 24333 23724 0 -1 1077944320 3988 13151 0 0 1 0 5 3 20 0 6 0 472942436 10212057088 3742 33554432000 4194304 4196468 140731863617744 140731863600288 140003235032823 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
/proc/24333/statm: 2493178 3742 1665 1 0 2481616 0
[pid=24333/tid=24386] ppid=24330 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0-3
/proc/24333/task/24386/stat : 24386 (java) R 24330 24333 23724 0 -1 4202560 1857 13151 0 0 0 0 5 3 20 0 6 0 472942446 10212057088 3808 33554432000 4194304 4196468 140731863617744 140003206869584 140003158109763 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24387] ppid=24330 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=0-3
/proc/24333/task/24387/stat : 24387 (java) S 24330 24333 23724 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 6 0 472942447 10212057088 3808 33554432000 4194304 4196468 140731863617744 140003239275024 140003235043029 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24388] ppid=24330 vsize=9972712 memory=140651251431040 CPUtime=0.08 cores=0-3
/proc/24333/task/24388/stat : 24388 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 6 0 472942447 10212057088 3808 33554432000 4194304 4196468 140731863617744 140003127548560 140003235043029 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24389] ppid=24330 vsize=9972712 memory=0 CPUtime=0.08 cores=0-3
/proc/24333/task/24389/stat : 24389 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 6 0 472942447 10212057088 3874 33554432000 4194304 4196468 140731863617744 140003126495504 140003235043029 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24390] ppid=24330 vsize=9972712 memory=-1 CPUtime=0.08 cores=0-3
/proc/24333/task/24390/stat : 24390 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 6 0 472942447 10212057088 3874 33554432000 4194304 4196468 140731863617744 140003125442960 140003235043029 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14968 KiB

[startup+0.211291 s]*
/proc/loadavg: 1.61 1.48 1.32 3/227 24399
/proc/meminfo: memFree=4580200/32770688 swapFree=66971588/67108860
[pid=24333] ppid=24330 vsize=10819716 memory=36452 CPUtime=0.25 cores=0-3
/proc/24333/stat : 24333 (java) S 24330 24333 23724 0 -1 1077944320 6940 13151 0 0 16 1 5 3 20 0 15 0 472942436 11079389184 9113 33554432000 4194304 4196468 140731863617744 140731863600288 140003235032823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
/proc/24333/statm: 2704929 9113 3183 1 0 2667149 0
[pid=24333/tid=24386] ppid=24330 vsize=10819716 memory=7022364594140610616 CPUtime=0.18 cores=0-3
/proc/24333/task/24386/stat : 24386 (java) R 24330 24333 23724 0 -1 4202560 3435 13151 0 0 10 0 5 3 20 0 15 0 472942446 11079389184 9113 33554432000 4194304 4196468 140731863617744 140003206844952 140003219113310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24387] ppid=24330 vsize=10819716 memory=365 CPUtime=0.08 cores=0-3
/proc/24333/task/24387/stat : 24387 (java) S 24330 24333 23724 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 472942447 11079389184 9113 33554432000 4194304 4196468 140731863617744 140003239275024 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24388] ppid=24330 vsize=10819716 memory=140651254907181 CPUtime=0.08 cores=0-3
/proc/24333/task/24388/stat : 24388 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11079389184 9113 33554432000 4194304 4196468 140731863617744 140003127548560 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24389] ppid=24330 vsize=10819716 memory=0 CPUtime=0.08 cores=0-3
/proc/24333/task/24389/stat : 24389 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11079389184 9113 33554432000 4194304 4196468 140731863617744 140003126495504 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24390] ppid=24330 vsize=10819716 memory=-1 CPUtime=0.08 cores=0-3
/proc/24333/task/24390/stat : 24390 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11079389184 9113 33554432000 4194304 4196468 140731863617744 140003125442960 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24391] ppid=24330 vsize=10819716 memory=140651251431040 CPUtime=0.08 cores=0-3
/proc/24333/task/24391/stat : 24391 (java) S 24330 24333 23724 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 472942449 11079389184 9113 33554432000 4194304 4196468 140731863617744 140002304428784 140003235043970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24392] ppid=24330 vsize=10819716 memory=-1 CPUtime=0.08 cores=0-3
/proc/24333/task/24392/stat : 24392 (java) S 24330 24333 23724 0 -1 1077944384 33 13151 0 0 0 0 5 3 20 0 15 0 472942449 11079389184 9113 33554432000 4194304 4196468 140731863617744 140002303375008 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24393] ppid=24330 vsize=10819716 memory=0 CPUtime=0.08 cores=0-3
/proc/24333/task/24393/stat : 24393 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942449 11079389184 9113 33554432000 4194304 4196468 140731863617744 140002042307824 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24394] ppid=24330 vsize=10819716 memory=0 CPUtime=0.08 cores=0-3
/proc/24333/task/24394/stat : 24394 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11079389184 9113 33554432000 4194304 4196468 140731863617744 140001802017232 140003235051419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24395] ppid=24330 vsize=10819716 memory=0 CPUtime=0.09 cores=0-3
/proc/24333/task/24395/stat : 24395 (java) S 24330 24333 23724 0 -1 1077944384 477 13151 0 0 1 0 5 3 20 0 15 0 472942452 11079389184 9113 33554432000 4194304 4196468 140731863617744 140002269817072 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24396] ppid=24330 vsize=10819716 memory=-1 CPUtime=0.09 cores=0-3
/proc/24333/task/24396/stat : 24396 (java) S 24330 24333 23724 0 -1 1077944384 172 13151 0 0 1 0 5 3 20 0 15 0 472942452 11079389184 9113 33554432000 4194304 4196468 140731863617744 140002268764528 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24397] ppid=24330 vsize=10819716 memory=140651251431040 CPUtime=0.11 cores=0-3
/proc/24333/task/24397/stat : 24397 (java) R 24330 24333 23724 0 -1 4202560 606 13151 0 0 3 0 5 3 20 0 15 0 472942452 11079389184 9113 33554432000 4194304 4196468 140731863617744 140002267711472 140003219113310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24398] ppid=24330 vsize=10819716 memory=-1 CPUtime=0.08 cores=0-3
/proc/24333/task/24398/stat : 24398 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11079389184 9113 33554432000 4194304 4196468 140731863617744 140001768458592 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24399] ppid=24330 vsize=10819716 memory=140651251431040 CPUtime=0.08 cores=0-3
/proc/24333/task/24399/stat : 24399 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942453 11079389184 9113 33554432000 4194304 4196468 140731863617744 140002266659888 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 36452 KiB

[startup+0.312298 s]*
/proc/loadavg: 1.61 1.48 1.32 3/227 24399
/proc/meminfo: memFree=4550828/32770688 swapFree=66971588/67108860
[pid=24333] ppid=24330 vsize=10820196 memory=47708 CPUtime=0.39 cores=0-3
/proc/24333/stat : 24333 (java) S 24330 24333 23724 0 -1 1077944320 10525 13151 0 0 28 3 5 3 20 0 15 0 472942436 11079880704 11927 33554432000 4194304 4196468 140731863617744 140731863600288 140003235032823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
/proc/24333/statm: 2705049 11927 3311 1 0 2667149 0
[pid=24333/tid=24386] ppid=24330 vsize=10820196 memory=1398722017469774279 CPUtime=0.28 cores=0-3
/proc/24333/task/24386/stat : 24386 (java) R 24330 24333 23724 0 -1 4202560 6983 13151 0 0 18 2 5 3 20 0 15 0 472942446 11079880704 11927 33554432000 4194304 4196468 140731863617744 140003206837792 140003219113310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24387] ppid=24330 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3
/proc/24333/task/24387/stat : 24387 (java) S 24330 24333 23724 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 472942447 11079880704 11927 33554432000 4194304 4196468 140731863617744 140003239275024 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24388] ppid=24330 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3
/proc/24333/task/24388/stat : 24388 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11079880704 11927 33554432000 4194304 4196468 140731863617744 140003127548560 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24389] ppid=24330 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3
/proc/24333/task/24389/stat : 24389 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11079880704 11927 33554432000 4194304 4196468 140731863617744 140003126495504 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24390] ppid=24330 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3
/proc/24333/task/24390/stat : 24390 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11079880704 11927 33554432000 4194304 4196468 140731863617744 140003125442960 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24391] ppid=24330 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3
/proc/24333/task/24391/stat : 24391 (java) S 24330 24333 23724 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 472942449 11079880704 11927 33554432000 4194304 4196468 140731863617744 140002304428784 140003235043970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24392] ppid=24330 vsize=10820196 memory=-1 CPUtime=0.08 cores=0-3
/proc/24333/task/24392/stat : 24392 (java) S 24330 24333 23724 0 -1 1077944384 33 13151 0 0 0 0 5 3 20 0 15 0 472942449 11079880704 11927 33554432000 4194304 4196468 140731863617744 140002303375008 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24393] ppid=24330 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3
/proc/24333/task/24393/stat : 24393 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942449 11079880704 11927 33554432000 4194304 4196468 140731863617744 140002042307824 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24394] ppid=24330 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3
/proc/24333/task/24394/stat : 24394 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11079880704 11927 33554432000 4194304 4196468 140731863617744 140001802017232 140003235051419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24395] ppid=24330 vsize=10820196 memory=0 CPUtime=0.1 cores=0-3
/proc/24333/task/24395/stat : 24395 (java) S 24330 24333 23724 0 -1 1077944384 487 13151 0 0 2 0 5 3 20 0 15 0 472942452 11079880704 11927 33554432000 4194304 4196468 140731863617744 140002269817072 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24396] ppid=24330 vsize=10820196 memory=-1 CPUtime=0.09 cores=0-3
/proc/24333/task/24396/stat : 24396 (java) S 24330 24333 23724 0 -1 1077944384 172 13151 0 0 1 0 5 3 20 0 15 0 472942452 11079880704 11927 33554432000 4194304 4196468 140731863617744 140002268764528 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24397] ppid=24330 vsize=10820196 memory=140651251431040 CPUtime=0.13 cores=0-3
/proc/24333/task/24397/stat : 24397 (java) S 24330 24333 23724 0 -1 1077944384 631 13151 0 0 5 0 5 3 20 0 15 0 472942452 11079880704 11927 33554432000 4194304 4196468 140731863617744 140002267711472 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24398] ppid=24330 vsize=10820196 memory=-1 CPUtime=0.08 cores=0-3
/proc/24333/task/24398/stat : 24398 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11079880704 11927 33554432000 4194304 4196468 140731863617744 140001768458592 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24399] ppid=24330 vsize=10820196 memory=140651251431040 CPUtime=0.08 cores=0-3
/proc/24333/task/24399/stat : 24399 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942453 11079880704 11927 33554432000 4194304 4196468 140731863617744 140002266659888 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 47708 KiB

[startup+0.709294 s]
/proc/loadavg: 1.61 1.48 1.32 5/227 24399
/proc/meminfo: memFree=4519336/32770688 swapFree=66971588/67108860
[pid=24333] ppid=24330 vsize=10822316 memory=74944 CPUtime=1.07 cores=0-3
/proc/24333/stat : 24333 (java) S 24330 24333 23724 0 -1 1077944320 14542 13151 0 0 93 6 5 3 20 0 15 0 472942436 11082051584 18736 33554432000 4194304 4196468 140731863617744 140731863600288 140003235032823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
/proc/24333/statm: 2705579 18736 3503 1 0 2667661 0
[pid=24333/tid=24386] ppid=24330 vsize=10822316 memory=0 CPUtime=0.66 cores=0-3
/proc/24333/task/24386/stat : 24386 (java) R 24330 24333 23724 0 -1 4202560 9877 13151 0 0 54 4 5 3 20 0 15 0 472942446 11082051584 18736 33554432000 4194304 4196468 140731863617744 140003206858256 140003235054749 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24387] ppid=24330 vsize=10822316 memory=0 CPUtime=0.08 cores=0-3
/proc/24333/task/24387/stat : 24387 (java) S 24330 24333 23724 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 472942447 11082051584 18736 33554432000 4194304 4196468 140731863617744 140003239275024 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24388] ppid=24330 vsize=10822316 memory=0 CPUtime=0.08 cores=0-3
/proc/24333/task/24388/stat : 24388 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11082051584 18736 33554432000 4194304 4196468 140731863617744 140003127548560 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24389] ppid=24330 vsize=10822316 memory=68 CPUtime=0.08 cores=0-3
/proc/24333/task/24389/stat : 24389 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11082051584 18736 33554432000 4194304 4196468 140731863617744 140003126495504 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24390] ppid=24330 vsize=10822316 memory=0 CPUtime=0.08 cores=0-3
/proc/24333/task/24390/stat : 24390 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11082051584 18736 33554432000 4194304 4196468 140731863617744 140003125442960 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24391] ppid=24330 vsize=10822316 memory=0 CPUtime=0.08 cores=0-3
/proc/24333/task/24391/stat : 24391 (java) S 24330 24333 23724 0 -1 1077944384 5 13151 0 0 0 0 5 3 20 0 15 0 472942449 11082051584 18736 33554432000 4194304 4196468 140731863617744 140002304428784 140003235043970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24392] ppid=24330 vsize=10822316 memory=140651119390832 CPUtime=0.08 cores=0-3
/proc/24333/task/24392/stat : 24392 (java) S 24330 24333 23724 0 -1 1077944384 33 13151 0 0 0 0 5 3 20 0 15 0 472942449 11082051584 18736 33554432000 4194304 4196468 140731863617744 140002303375008 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24393] ppid=24330 vsize=10822316 memory=140651589009999 CPUtime=0.08 cores=0-3
/proc/24333/task/24393/stat : 24393 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942449 11082051584 18736 33554432000 4194304 4196468 140731863617744 140002042307824 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24394] ppid=24330 vsize=10822316 memory=1564 CPUtime=0.08 cores=0-3
/proc/24333/task/24394/stat : 24394 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11082051584 18736 33554432000 4194304 4196468 140731863617744 140001802017232 140003235051419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24395] ppid=24330 vsize=10822316 memory=7518026621751088993 CPUtime=0.2 cores=0-3
/proc/24333/task/24395/stat : 24395 (java) R 24330 24333 23724 0 -1 4202560 998 13151 0 0 12 0 5 3 20 0 15 0 472942452 11082051584 18736 33554432000 4194304 4196468 140731863617744 140002269797344 140003218527224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24396] ppid=24330 vsize=10822316 memory=6081102367496366441 CPUtime=0.15 cores=0-3
/proc/24333/task/24396/stat : 24396 (java) R 24330 24333 23724 0 -1 4202560 594 13151 0 0 7 0 5 3 20 0 15 0 472942452 11082051584 18736 33554432000 4194304 4196468 140731863617744 140002268753200 140003218558621 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24397] ppid=24330 vsize=10822316 memory=7881696724453321575 CPUtime=0.25 cores=0-3
/proc/24333/task/24397/stat : 24397 (java) R 24330 24333 23724 0 -1 4202560 817 13151 0 0 17 0 5 3 20 0 15 0 472942452 11082051584 18736 33554432000 4194304 4196468 140731863617744 140002267708408 140003214077338 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24398] ppid=24330 vsize=10822316 memory=3612 CPUtime=0.08 cores=0-3
/proc/24333/task/24398/stat : 24398 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11082051584 18736 33554432000 4194304 4196468 140731863617744 140001768458592 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24399] ppid=24330 vsize=10822316 memory=2241 CPUtime=0.08 cores=0-3
/proc/24333/task/24399/stat : 24399 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942453 11082051584 18736 33554432000 4194304 4196468 140731863617744 140002266659888 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 74944 KiB

[startup+1.5013 s]
/proc/loadavg: 1.61 1.48 1.32 6/227 24399
/proc/meminfo: memFree=4484760/32770688 swapFree=66971588/67108860
[pid=24333] ppid=24330 vsize=10828536 memory=180048 CPUtime=3.28 cores=0-3
/proc/24333/stat : 24333 (java) S 24330 24333 23724 0 -1 1077944320 21773 13151 0 0 311 9 5 3 20 0 15 0 472942436 11088420864 45012 33554432000 4194304 4196468 140731863617744 140731863600288 140003235032823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
/proc/24333/statm: 2707134 45012 3556 1 0 2669197 0
[pid=24333/tid=24386] ppid=24330 vsize=10828536 memory=9316 CPUtime=1.44 cores=0-3
/proc/24333/task/24386/stat : 24386 (java) R 24330 24333 23724 0 -1 4202560 12659 13151 0 0 130 6 5 3 20 0 15 0 472942446 11088420864 45012 33554432000 4194304 4196468 140731863617744 140003206819752 140003219076592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24387] ppid=24330 vsize=10828536 memory=6791534058613427641 CPUtime=0.08 cores=0-3
/proc/24333/task/24387/stat : 24387 (java) S 24330 24333 23724 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 472942447 11088420864 45012 33554432000 4194304 4196468 140731863617744 140003239275024 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24388] ppid=24330 vsize=10828536 memory=380448 CPUtime=0.08 cores=0-3
/proc/24333/task/24388/stat : 24388 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11088420864 45012 33554432000 4194304 4196468 140731863617744 140003127548560 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24389] ppid=24330 vsize=10828536 memory=1408 CPUtime=0.08 cores=0-3
/proc/24333/task/24389/stat : 24389 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11088420864 45012 33554432000 4194304 4196468 140731863617744 140003126495504 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24390] ppid=24330 vsize=10828536 memory=74944 CPUtime=0.08 cores=0-3
/proc/24333/task/24390/stat : 24390 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11088420864 45012 33554432000 4194304 4196468 140731863617744 140003125442960 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24391] ppid=24330 vsize=10828536 memory=0 CPUtime=0.08 cores=0-3
/proc/24333/task/24391/stat : 24391 (java) S 24330 24333 23724 0 -1 1077944384 14 13151 0 0 0 0 5 3 20 0 15 0 472942449 11088420864 45012 33554432000 4194304 4196468 140731863617744 140002304428784 140003235043970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24392] ppid=24330 vsize=10828536 memory=281302238724640 CPUtime=0.08 cores=0-3
/proc/24333/task/24392/stat : 24392 (java) S 24330 24333 23724 0 -1 1077944384 33 13151 0 0 0 0 5 3 20 0 15 0 472942449 11088420864 45012 33554432000 4194304 4196468 140731863617744 140002303375008 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24393] ppid=24330 vsize=10828536 memory=281302238775440 CPUtime=0.08 cores=0-3
/proc/24333/task/24393/stat : 24393 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942449 11088420864 45012 33554432000 4194304 4196468 140731863617744 140002042307824 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24394] ppid=24330 vsize=10828536 memory=281302239320256 CPUtime=0.08 cores=0-3
/proc/24333/task/24394/stat : 24394 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11088420864 45012 33554432000 4194304 4196468 140731863617744 140001802017232 140003235051419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24395] ppid=24330 vsize=10828536 memory=3047711553219693942 CPUtime=0.76 cores=0-3
/proc/24333/task/24395/stat : 24395 (java) S 24330 24333 23724 0 -1 1077944384 2594 13151 0 0 67 1 5 3 20 0 15 0 472942452 11088420864 45012 33554432000 4194304 4196468 140731863617744 140002269817072 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24396] ppid=24330 vsize=10828536 memory=-7521736447810188379 CPUtime=0.76 cores=0-3
/proc/24333/task/24396/stat : 24396 (java) S 24330 24333 23724 0 -1 1077944384 2619 13151 0 0 67 1 5 3 20 0 15 0 472942452 11088420864 45012 33554432000 4194304 4196468 140731863617744 140002268764528 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24397] ppid=24330 vsize=10828536 memory=-8412652160765825907 CPUtime=0.54 cores=0-3
/proc/24333/task/24397/stat : 24397 (java) S 24330 24333 23724 0 -1 1077944384 1634 13151 0 0 45 1 5 3 20 0 15 0 472942452 11088420864 45012 33554432000 4194304 4196468 140731863617744 140002267711472 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24398] ppid=24330 vsize=10828536 memory=-8634980985311628903 CPUtime=0.08 cores=0-3
/proc/24333/task/24398/stat : 24398 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11088420864 45012 33554432000 4194304 4196468 140731863617744 140001768458592 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24399] ppid=24330 vsize=10828536 memory=7100839878645619564 CPUtime=0.08 cores=0-3
/proc/24333/task/24399/stat : 24399 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942453 11088420864 45012 33554432000 4194304 4196468 140731863617744 140002266659888 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
Current children cumulated CPU time: 3.28 s
Current children cumulated vsize: 10828536 KiB

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

/proc/24333/task/24386/stat : 24386 (java) R 24330 24333 23724 0 -1 4202560 106401 13151 0 0 217908 105 5 3 20 0 15 0 472942446 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003206869056 140002808234145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24387] ppid=24330 vsize=10846988 memory=2556044 CPUtime=13.59 cores=0-3
/proc/24333/task/24387/stat : 24387 (java) S 24330 24333 23724 0 -1 1077944384 30954 13151 0 0 1308 43 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003239275024 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24388] ppid=24330 vsize=10846988 memory=2556044 CPUtime=13.61 cores=0-3
/proc/24333/task/24388/stat : 24388 (java) S 24330 24333 23724 0 -1 1077944384 21865 13151 0 0 1305 48 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003127548560 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24389] ppid=24330 vsize=10846988 memory=2556044 CPUtime=13.64 cores=0-3
/proc/24333/task/24389/stat : 24389 (java) S 24330 24333 23724 0 -1 1077944384 25071 13151 0 0 1310 46 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003126495504 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24390] ppid=24330 vsize=10846988 memory=2553996 CPUtime=13.64 cores=0-3
/proc/24333/task/24390/stat : 24390 (java) S 24330 24333 23724 0 -1 1077944384 34089 13151 0 0 1310 46 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003125442960 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24391] ppid=24330 vsize=10846988 memory=2556044 CPUtime=6.72 cores=0-3
/proc/24333/task/24391/stat : 24391 (java) S 24330 24333 23724 0 -1 1077944384 25191 13151 0 0 626 38 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002304428784 140003235043970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24392] ppid=24330 vsize=10846988 memory=2556044 CPUtime=0.08 cores=0-3
/proc/24333/task/24392/stat : 24392 (java) S 24330 24333 23724 0 -1 1077944384 70 13151 0 0 0 0 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002303375072 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24393] ppid=24330 vsize=10846988 memory=14008 CPUtime=0.08 cores=0-3
/proc/24333/task/24393/stat : 24393 (java) S 24330 24333 23724 0 -1 1077944384 13 13151 0 0 0 0 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002042307840 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24394] ppid=24330 vsize=10846988 memory=0 CPUtime=0.08 cores=0-3
/proc/24333/task/24394/stat : 24394 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140001802017232 140003235051419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24395] ppid=24330 vsize=10846988 memory=2556044 CPUtime=7.35 cores=0-3
/proc/24333/task/24395/stat : 24395 (java) S 24330 24333 23724 0 -1 1077944384 30782 13151 0 0 722 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002269817072 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24396] ppid=24330 vsize=10846988 memory=2556044 CPUtime=7.71 cores=0-3
/proc/24333/task/24396/stat : 24396 (java) S 24330 24333 23724 0 -1 1077944384 36161 13151 0 0 758 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002268764528 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24397] ppid=24330 vsize=10846988 memory=281302239518016 CPUtime=2.43 cores=0-3
/proc/24333/task/24397/stat : 24397 (java) S 24330 24333 23724 0 -1 1077944384 17875 13151 0 0 230 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002267711472 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24398] ppid=24330 vsize=10846988 memory=2556044 CPUtime=0.08 cores=0-3
/proc/24333/task/24398/stat : 24398 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140001768458592 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24399] ppid=24330 vsize=10846988 memory=2556044 CPUtime=1.27 cores=0-3
/proc/24333/task/24399/stat : 24399 (java) S 24330 24333 23724 0 -1 1077944384 2238 13151 0 0 60 59 5 3 20 0 15 0 472942453 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002266659888 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
Current children cumulated CPU time: 2259.58 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2556044 KiB

[startup+2262.31 s]
/proc/loadavg: 1.34 1.40 1.40 3/227 24884
/proc/meminfo: memFree=2036696/32770688 swapFree=66971588/67108860
[pid=24333] ppid=24330 vsize=10846988 memory=2556044 CPUtime=2320.79 cores=0-3
/proc/24333/stat : 24333 (java) S 24330 24333 23724 0 -1 1077944320 334941 13151 0 0 231694 377 5 3 20 0 15 0 472942436 11107315712 639011 33554432000 4194304 4196468 140731863617744 140731863600288 140003235032823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
/proc/24333/statm: 2711747 639011 3645 1 0 2673805 0
[pid=24333/tid=24386] ppid=24330 vsize=10846988 memory=6791534058613427641 CPUtime=2239.54 cores=0-3
/proc/24333/task/24386/stat : 24386 (java) R 24330 24333 23724 0 -1 4202560 107321 13151 0 0 223840 106 5 3 20 0 15 0 472942446 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003206868656 140002808234103 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24387] ppid=24330 vsize=10846988 memory=2556044 CPUtime=14 cores=0-3
/proc/24333/task/24387/stat : 24387 (java) S 24330 24333 23724 0 -1 1077944384 31119 13151 0 0 1348 44 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003239275024 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24388] ppid=24330 vsize=10846988 memory=2556044 CPUtime=14.02 cores=0-3
/proc/24333/task/24388/stat : 24388 (java) S 24330 24333 23724 0 -1 1077944384 22172 13151 0 0 1345 49 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003127548560 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24389] ppid=24330 vsize=10846988 memory=2556044 CPUtime=14.06 cores=0-3
/proc/24333/task/24389/stat : 24389 (java) S 24330 24333 23724 0 -1 1077944384 25194 13151 0 0 1351 47 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003126495504 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24390] ppid=24330 vsize=10846988 memory=2556044 CPUtime=14.05 cores=0-3
/proc/24333/task/24390/stat : 24390 (java) S 24330 24333 23724 0 -1 1077944384 34142 13151 0 0 1351 46 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003125442960 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24391] ppid=24330 vsize=10846988 memory=100 CPUtime=6.92 cores=0-3
/proc/24333/task/24391/stat : 24391 (java) S 24330 24333 23724 0 -1 1077944384 25609 13151 0 0 645 39 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002304428784 140003235043970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24392] ppid=24330 vsize=10846988 memory=2556044 CPUtime=0.08 cores=0-3
/proc/24333/task/24392/stat : 24392 (java) S 24330 24333 23724 0 -1 1077944384 70 13151 0 0 0 0 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002303375072 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24393] ppid=24330 vsize=10846988 memory=727 CPUtime=0.08 cores=0-3
/proc/24333/task/24393/stat : 24393 (java) S 24330 24333 23724 0 -1 1077944384 13 13151 0 0 0 0 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002042307840 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24394] ppid=24330 vsize=10846988 memory=2556044 CPUtime=0.08 cores=0-3
/proc/24333/task/24394/stat : 24394 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140001802017232 140003235051419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24395] ppid=24330 vsize=10846988 memory=281302239091808 CPUtime=7.35 cores=0-3
/proc/24333/task/24395/stat : 24395 (java) S 24330 24333 23724 0 -1 1077944384 30787 13151 0 0 722 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002269817072 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24396] ppid=24330 vsize=10846988 memory=2556044 CPUtime=7.71 cores=0-3
/proc/24333/task/24396/stat : 24396 (java) S 24330 24333 23724 0 -1 1077944384 36165 13151 0 0 758 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002268764528 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24397] ppid=24330 vsize=10846988 memory=2556044 CPUtime=2.43 cores=0-3
/proc/24333/task/24397/stat : 24397 (java) S 24330 24333 23724 0 -1 1077944384 17879 13151 0 0 230 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002267711472 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24398] ppid=24330 vsize=10846988 memory=984 CPUtime=0.08 cores=0-3
/proc/24333/task/24398/stat : 24398 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140001768458592 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24399] ppid=24330 vsize=10846988 memory=1056 CPUtime=1.3 cores=0-3
/proc/24333/task/24399/stat : 24399 (java) S 24330 24333 23724 0 -1 1077944384 2259 13151 0 0 62 60 5 3 20 0 15 0 472942453 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002266659888 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
Current children cumulated CPU time: 2320.79 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2556044 KiB

[startup+2322.3 s]
/proc/loadavg: 1.01 1.31 1.37 3/227 24888
/proc/meminfo: memFree=2045924/32770688 swapFree=66971588/67108860
[pid=24333] ppid=24330 vsize=10846988 memory=2556044 CPUtime=2381.97 cores=0-3
/proc/24333/stat : 24333 (java) S 24330 24333 23724 0 -1 1077944320 336980 13151 0 0 237807 382 5 3 20 0 15 0 472942436 11107315712 639011 33554432000 4194304 4196468 140731863617744 140731863600288 140003235032823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
/proc/24333/statm: 2711747 639011 3645 1 0 2673805 0
[pid=24333/tid=24386] ppid=24330 vsize=10846988 memory=2556044 CPUtime=2298.87 cores=0-3
/proc/24333/task/24386/stat : 24386 (java) R 24330 24333 23724 0 -1 4202560 108268 13151 0 0 229772 107 5 3 20 0 15 0 472942446 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003206869056 140002808234145 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24387] ppid=24330 vsize=10846988 memory=2556044 CPUtime=14.4 cores=0-3
/proc/24333/task/24387/stat : 24387 (java) S 24330 24333 23724 0 -1 1077944384 31261 13151 0 0 1387 45 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003239275024 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24388] ppid=24330 vsize=10846988 memory=2556044 CPUtime=14.42 cores=0-3
/proc/24333/task/24388/stat : 24388 (java) S 24330 24333 23724 0 -1 1077944384 22295 13151 0 0 1385 49 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003127548560 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24389] ppid=24330 vsize=10846988 memory=2556044 CPUtime=14.46 cores=0-3
/proc/24333/task/24389/stat : 24389 (java) S 24330 24333 23724 0 -1 1077944384 25246 13151 0 0 1390 48 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003126495504 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24390] ppid=24330 vsize=10846988 memory=2556044 CPUtime=14.46 cores=0-3
/proc/24333/task/24390/stat : 24390 (java) S 24330 24333 23724 0 -1 1077944384 34465 13151 0 0 1391 47 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003125442960 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24391] ppid=24330 vsize=10846988 memory=2556044 CPUtime=7.12 cores=0-3
/proc/24333/task/24391/stat : 24391 (java) S 24330 24333 23724 0 -1 1077944384 26018 13151 0 0 664 40 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002304428784 140003235043970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24392] ppid=24330 vsize=10846988 memory=2556044 CPUtime=0.08 cores=0-3
/proc/24333/task/24392/stat : 24392 (java) S 24330 24333 23724 0 -1 1077944384 70 13151 0 0 0 0 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002303375072 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24393] ppid=24330 vsize=10846988 memory=2556044 CPUtime=0.08 cores=0-3
/proc/24333/task/24393/stat : 24393 (java) S 24330 24333 23724 0 -1 1077944384 13 13151 0 0 0 0 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002042307840 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24394] ppid=24330 vsize=10846988 memory=2556044 CPUtime=0.08 cores=0-3
/proc/24333/task/24394/stat : 24394 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140001802017232 140003235051419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24395] ppid=24330 vsize=10846988 memory=2556044 CPUtime=7.35 cores=0-3
/proc/24333/task/24395/stat : 24395 (java) S 24330 24333 23724 0 -1 1077944384 30791 13151 0 0 722 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002269817072 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24396] ppid=24330 vsize=10846988 memory=2556044 CPUtime=7.71 cores=0-3
/proc/24333/task/24396/stat : 24396 (java) S 24330 24333 23724 0 -1 1077944384 36170 13151 0 0 758 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002268764528 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24397] ppid=24330 vsize=10846988 memory=2556044 CPUtime=2.43 cores=0-3
/proc/24333/task/24397/stat : 24397 (java) S 24330 24333 23724 0 -1 1077944384 17883 13151 0 0 230 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002267711472 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24398] ppid=24330 vsize=10846988 memory=2556044 CPUtime=0.08 cores=0-3
/proc/24333/task/24398/stat : 24398 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140001768458592 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24399] ppid=24330 vsize=10846988 memory=2556044 CPUtime=1.34 cores=0-3
/proc/24333/task/24399/stat : 24399 (java) S 24330 24333 23724 0 -1 1077944384 2289 13151 0 0 64 62 5 3 20 0 15 0 472942453 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002266659888 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
Current children cumulated CPU time: 2381.97 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2556044 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2340 s]*
/proc/loadavg: 1.00 1.29 1.37 3/227 24891
/proc/meminfo: memFree=2045404/32770688 swapFree=66971588/67108860
[pid=24333] ppid=24330 vsize=10846988 memory=2556044 CPUtime=2400.04 cores=0-3
/proc/24333/stat : 24333 (java) S 24330 24333 23724 0 -1 1077944320 337423 13151 0 0 239612 384 5 3 20 0 15 0 472942436 11107315712 639011 33554432000 4194304 4196468 140731863617744 140731863600288 140003235032823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
/proc/24333/statm: 2711747 639011 3645 1 0 2673805 0
[pid=24333/tid=24386] ppid=24330 vsize=10846988 memory=363104 CPUtime=2316.38 cores=0-3
/proc/24333/task/24386/stat : 24386 (java) R 24330 24333 23724 0 -1 4202560 108506 13151 0 0 231523 107 5 3 20 0 15 0 472942446 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003206867984 140002808235413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24387] ppid=24330 vsize=10846988 memory=4126316290023845779 CPUtime=14.53 cores=0-3
/proc/24333/task/24387/stat : 24387 (java) S 24330 24333 23724 0 -1 1077944384 31263 13151 0 0 1399 46 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003239275024 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24388] ppid=24330 vsize=10846988 memory=288230596050944315 CPUtime=14.55 cores=0-3
/proc/24333/task/24388/stat : 24388 (java) S 24330 24333 23724 0 -1 1077944384 22306 13151 0 0 1397 50 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003127548560 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24389] ppid=24330 vsize=10846988 memory=14689699524512798 CPUtime=14.58 cores=0-3
/proc/24333/task/24389/stat : 24389 (java) S 24330 24333 23724 0 -1 1077944384 25248 13151 0 0 1402 48 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003126495504 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24390] ppid=24330 vsize=10846988 memory=3848 CPUtime=14.58 cores=0-3
/proc/24333/task/24390/stat : 24390 (java) S 24330 24333 23724 0 -1 1077944384 34616 13151 0 0 1403 47 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003125442960 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24391] ppid=24330 vsize=10846988 memory=2616 CPUtime=7.19 cores=0-3
/proc/24333/task/24391/stat : 24391 (java) S 24330 24333 23724 0 -1 1077944384 26047 13151 0 0 670 41 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002304428784 140003235043970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24392] ppid=24330 vsize=10846988 memory=2868 CPUtime=0.08 cores=0-3
/proc/24333/task/24392/stat : 24392 (java) S 24330 24333 23724 0 -1 1077944384 70 13151 0 0 0 0 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002303375072 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24393] ppid=24330 vsize=10846988 memory=1408 CPUtime=0.08 cores=0-3
/proc/24333/task/24393/stat : 24393 (java) S 24330 24333 23724 0 -1 1077944384 13 13151 0 0 0 0 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002042307840 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24394] ppid=24330 vsize=10846988 memory=3196 CPUtime=0.08 cores=0-3
/proc/24333/task/24394/stat : 24394 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140001802017232 140003235051419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24395] ppid=24330 vsize=10846988 memory=2556044 CPUtime=7.35 cores=0-3
/proc/24333/task/24395/stat : 24395 (java) S 24330 24333 23724 0 -1 1077944384 30793 13151 0 0 722 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002269817072 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24396] ppid=24330 vsize=10846988 memory=1408 CPUtime=7.72 cores=0-3
/proc/24333/task/24396/stat : 24396 (java) S 24330 24333 23724 0 -1 1077944384 36172 13151 0 0 759 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002268764528 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24397] ppid=24330 vsize=10846988 memory=3296 CPUtime=2.43 cores=0-3
/proc/24333/task/24397/stat : 24397 (java) S 24330 24333 23724 0 -1 1077944384 17885 13151 0 0 230 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002267711472 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24398] ppid=24330 vsize=10846988 memory=363104 CPUtime=0.08 cores=0-3
/proc/24333/task/24398/stat : 24398 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140001768458592 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
[pid=24333/tid=24399] ppid=24330 vsize=10846988 memory=1732 CPUtime=1.35 cores=0-3
/proc/24333/task/24399/stat : 24399 (java) S 24330 24333 23724 0 -1 1077944384 2293 13151 0 0 64 63 5 3 20 0 15 0 472942453 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002266659888 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2556044 KiB

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

[startup+2340.05 s]
# the end of solver process 24333 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.2 s, system=3.89947 s

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

Child status: 143
Real time (s): 2340.05
CPU time (s): 2400.1
CPU user time (s): 2396.2
CPU system time (s): 3.89947
CPU usage (%): 102.566
Max. virtual memory (cumulated for all children) (KiB): 10847604
Max. memory (cumulated for all children) (KiB): 2805200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.2
system time used= 3.89947
maximum resident set size= 2815152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351277
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 197589
involuntary context switches= 5791


# summary of solver processes directly reported to runsolver:
#   pid: 24333
#   total CPU time (s): 2400.1
#   total CPU user time (s): 2396.2
#   total CPU system time (s): 3.89947

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5332 second user time and 24.4897 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-20 10:59:27
IDJOB=4403124
IDBENCH=120609
IDSOLVER=2862
FILE ID=node116/4403124-1568970008
RUNJOBID= node116-1568967597-23755
PBS_JOBID= 21704630
Free space on /tmp= 6244 MiB

SOLVER NAME= Concrete 3.12.3
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-4403124-1568970008/watcher-4403124-1568970008 -o /tmp/evaluation-result-4403124-1568970008/solver-4403124-1568970008 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568967597-23755 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=1567823593 HOME/instance-4403124-1568970008.xml

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

MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33
RANDOM SEED=1567823593

node116.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		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
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		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
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		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
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		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:         4617048 kB
MemAvailable:   31484360 kB
Buffers:          122216 kB
Cached:         26699280 kB
SwapCached:        35500 kB
Active:         13723344 kB
Inactive:       13475180 kB
Active(anon):     336620 kB
Inactive(anon):    89076 kB
Active(file):   13386724 kB
Inactive(file): 13386104 kB
Unevictable:      107888 kB
Mlocked:          107888 kB
SwapTotal:      67108860 kB
SwapFree:       66971588 kB
Dirty:             35736 kB
Writeback:             0 kB
AnonPages:        448568 kB
Mapped:            64912 kB
Shmem:             39660 kB
Slab:             552148 kB
SReclaimable:     522944 kB
SUnreclaim:        29204 kB
KernelStack:        3984 kB
PageTables:         6528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    1684472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    311296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 6212 MiB
End job on node116 at 2019-09-20 11:38:27