Trace number 4302284

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.9.2SAT (TO)6 252.158 231.85

General information on the benchmark

NameGraphColoring/
GraphColoring-2-fullins-5_c18.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 benchmark236.466
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.98/0.74	c Concrete v3.9.2.1532736233296 running
24.98/12.15	o 851
26.70/13.19	o 850
27.43/13.40	o 849
27.83/13.60	o 848
27.98/13.77	o 847
28.40/13.95	o 846
28.76/14.12	o 845
28.92/14.29	o 844
29.28/14.43	o 843
29.45/14.60	o 842
29.75/14.76	o 841
30.01/14.91	o 840
30.32/15.11	o 839
30.51/15.27	o 838
30.64/15.39	o 837
30.90/15.53	o 836
31.02/15.68	o 835
31.25/15.81	o 834
31.35/15.94	o 833
31.46/16.07	o 832
31.56/16.20	o 831
31.76/16.31	o 830
31.86/16.42	o 829
31.96/16.56	o 828
32.06/16.67	o 827
32.17/16.79	o 826
32.38/16.93	o 825
32.49/17.03	o 824
32.59/17.14	o 823
32.75/17.25	o 822
32.85/17.38	o 821
33.05/17.51	o 820
33.19/17.64	o 819
33.30/17.76	o 818
33.40/17.88	o 817
33.50/18.00	o 816
33.61/18.10	o 815
33.83/18.20	o 814
33.83/18.29	o 813
34.03/18.41	o 812
34.13/18.52	o 811
34.23/18.64	o 810
34.39/18.72	o 809
34.49/18.81	o 808
34.59/18.90	o 807
34.70/19.02	o 806
34.80/19.13	o 805
34.89/19.23	o 804
34.99/19.33	o 803
35.09/19.42	o 802
35.19/19.51	o 801
35.29/19.60	o 800
35.39/19.72	o 799
35.49/19.82	o 798
35.59/19.92	o 797
35.70/20.01	o 796
35.70/20.10	o 795
35.81/20.20	o 794
35.90/20.29	o 793
36.00/20.37	o 792
36.10/20.45	o 791
36.20/20.57	o 790
36.52/20.71	o 789
36.69/20.85	o 788
36.81/20.99	o 787
37.03/21.11	o 786
37.12/21.22	o 785
37.29/21.34	o 784
37.44/21.44	o 783
37.54/21.54	o 782
37.64/21.63	o 781
37.74/21.75	o 780
37.94/21.90	o 779
38.05/22.03	o 778
38.15/22.15	o 777
38.24/22.25	o 776
38.34/22.36	o 775
38.44/22.47	o 774
38.54/22.56	o 773
38.64/22.66	o 772
38.74/22.76	o 771
38.84/22.84	o 770
38.94/22.92	o 769
39.06/23.04	o 768
39.16/23.13	o 767
39.25/23.23	o 766
39.35/23.31	o 765
39.45/23.40	o 764
39.45/23.48	o 763
39.55/23.56	o 762
39.65/23.64	o 761
39.75/23.71	o 760
39.75/23.78	o 759
39.85/23.85	o 758
39.96/23.91	o 757
39.96/23.97	o 756
40.07/24.04	o 755
40.07/24.10	o 754
40.20/24.15	o 753
40.29/24.20	o 752
40.39/24.31	o 751
40.49/24.42	o 750
40.59/24.53	o 749
40.69/24.62	o 748
40.79/24.70	o 747
40.79/24.79	o 746
40.89/24.87	o 745
40.99/24.95	o 744
41.10/25.04	o 743
41.21/25.11	o 742
41.21/25.18	o 741
41.30/25.25	o 740
41.40/25.31	o 739
41.40/25.36	o 738
41.50/25.41	o 737
41.50/25.46	o 736
41.60/25.50	o 735
41.60/25.54	o 734
41.60/25.58	o 733
41.70/25.62	o 732
41.70/25.65	o 731
41.70/25.69	o 730
41.80/25.71	o 729
41.90/25.82	o 728
42.00/25.92	o 727
42.11/26.04	o 726
42.22/26.14	o 725
42.31/26.24	o 724
42.41/26.32	o 723
42.51/26.41	o 722
42.61/26.50	o 721
42.61/26.58	o 720
42.71/26.66	o 719
42.81/26.74	o 718
42.91/26.82	o 717
42.91/26.89	o 716
43.01/26.97	o 715
43.12/27.04	o 714
43.12/27.10	o 713
43.22/27.17	o 712
43.31/27.23	o 711
43.31/27.29	o 710
43.42/27.35	o 709
43.52/27.40	o 708
43.52/27.46	o 707
43.62/27.50	o 706
43.62/27.55	o 705
43.62/27.59	o 704
43.81/27.72	o 703
43.93/27.84	o 702
44.03/27.97	o 701
44.14/28.09	o 700
44.33/28.20	o 699
44.43/28.31	o 698
44.53/28.42	o 697
44.63/28.52	o 696
44.73/28.62	o 695
44.83/28.72	o 694
44.93/28.81	o 693
45.03/28.90	o 692
45.03/28.98	o 691
45.15/29.05	o 690
45.24/29.12	o 689
45.24/29.17	o 688
45.34/29.23	o 687
45.34/29.27	o 686
45.44/29.32	o 685
45.44/29.37	o 684
45.54/29.42	o 683
45.54/29.46	o 682
45.64/29.50	o 681
45.64/29.54	o 680
45.64/29.58	o 679
45.74/29.61	o 678
45.74/29.65	o 677
45.74/29.68	o 676
45.84/29.71	o 675
45.84/29.74	o 674
45.84/29.77	o 673
45.84/29.79	o 672
45.94/29.81	o 671
46.04/29.92	o 670
46.15/30.03	o 669
46.25/30.13	o 668
46.34/30.25	o 667
46.44/30.34	o 666
46.54/30.43	o 665
46.64/30.53	o 664
46.75/30.62	o 663
46.86/30.70	o 662
46.86/30.78	o 661
46.96/30.86	o 660
47.07/30.94	o 659
47.17/31.02	o 658
47.17/31.08	o 657
47.28/31.15	o 656
47.37/31.22	o 655
47.37/31.28	o 654
47.47/31.35	o 653
47.57/31.41	o 652
47.57/31.48	o 651
47.69/31.53	o 650
47.69/31.58	o 649
47.79/31.63	o 648
47.79/31.67	o 647
47.89/31.71	o 646
47.89/31.75	o 645
47.89/31.78	o 644
47.99/31.81	o 643
47.99/31.85	o 642
47.99/31.88	o 641
48.09/31.91	o 640
48.09/31.94	o 639
48.09/31.97	o 638
48.09/32.00	o 637
48.20/32.02	o 636
48.20/32.05	o 635
48.20/32.07	o 634
48.20/32.09	o 633
48.31/32.11	o 632
48.31/32.13	o 631
48.31/32.14	o 630
48.31/32.15	o 629
48.31/32.16	o 628
48.31/32.17	o 627
48.31/32.18	o 626
48.31/32.19	o 625
48.31/32.20	o 624
48.41/32.20	o 623
48.41/32.21	o 622
48.41/32.22	o 621
48.41/32.22	o 620
48.41/32.23	o 619
48.41/32.23	o 618
48.41/32.24	o 617
48.41/32.24	o 616
48.41/32.25	o 7
48.93/32.49	o 6
252.08/231.80	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
252.08/231.80		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
252.08/231.80		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
252.08/231.80		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
252.08/231.80		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
252.08/231.80		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
252.08/231.80		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
252.08/231.80		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
252.08/231.80		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.08/231.80		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.08/231.80		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.08/231.80		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.08/231.80		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.08/231.80		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.08/231.80		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.08/231.80		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
252.08/231.81		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
252.08/231.81		at scala.Option.map(Option.scala:146)
252.08/231.81		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
252.08/231.81		at concrete.MAC.mac(MAC.scala:203)
252.08/231.81		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.08/231.81		at scala.util.Try$.apply(Try.scala:209)
252.08/231.81		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.08/231.81		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.08/231.81		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.08/231.81		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.08/231.81		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.08/231.81		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.08/231.81		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.08/231.81		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.08/231.81		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.08/231.81		at concrete.MAC.oneRun(MAC.scala:253)
252.08/231.81		at concrete.MAC.nextSolution(MAC.scala:272)
252.08/231.81		at concrete.MAC.nextSolution(MAC.scala:355)
252.08/231.81		at concrete.Solver.hasNext(Solver.scala:166)
252.08/231.81		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.08/231.81		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.08/231.81		at concrete.Solver.foreach(Solver.scala:68)
252.08/231.81		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.08/231.81		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.08/231.81		at scala.util.Success.map(Try.scala:209)
252.08/231.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.08/231.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.08/231.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.08/231.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.08/231.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.08/231.81		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.08/231.81		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.08/231.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.08/231.81		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.08/231.81		at scala.collection.immutable.List.foreach(List.scala:389)
252.08/231.81		at scala.App.main(App.scala:76)
252.08/231.81		at scala.App.main$(App.scala:74)
252.08/231.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.08/231.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.08/231.82	v <instantiation cost="6">
252.08/231.82	v       <list>
252.08/231.82	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]
252.08/231.82	v       </list>
252.08/231.82	v       <values>
252.08/231.82	v         0 1 0 5 1 1 0 0 3 1 0 2 6 6 2 2 2 5 5 5 5 1 5 2 1 1 3 0 1 1 1 0 0 1 0 3 6 0 0 0 6 6 6 6 6 6 6 6 2 0 6 1 3 1 3 3 1 1 6 6 6 1 6 2 2 2 6 6 1 4 6 6 6 6 6 6 1 4 2 3 1 1 1 1 3 1 3 2 3 4 4 6 4 4 4 6 6 4 6 6 4 3 4 1 0 0 0 0 0 0 0 0 5 1 0 0 0 0 6 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 6 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6 2 2 2 2 2 2 2 6 2 2 2 2 2 2 2 6 2 2 2 2 2 2 2 6 2 2 2 2 2 2 2 2 2 2 2 2 2 3 0 2 1 4 5 3 4 4 4 0 0 4 4 0 2 2 4 2 6 2 5 4 4 4 4 4 2 3 5 3 5 3 3 3 3 3 3 3 2 6 0 0 6 6 5 6 5 5 6 5 5 5 3 5 5 4 3 2 3 6 4 6 6 3 4 6 2 2 4 2 4 6 2 6 4 4 4 6 2 5 5 2 3 3 3 4 4 4 3 3 2 3 4 3 3 3 6 4 6 6 4 4 3 2 3 4 5 5 0 5 5 0 0 5 0 3 0 5 5 5 6 5 6 5 0 0 0 5 0 0 5 0 0 5 5 0 0 3 0 5 0 5 5 0 6 0 3 5 0 0 0 5 6 0 5 0 5 5 0 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 3 5 2 4 1 0 1 1 1 1 1 1 1 1 1 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 6 1 1 1 1 1 0 1 1 1 1 1 0 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 1 1 1 1 4 1 1 1 1 1 1 1 6 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 6 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 0 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 6 2 5 6 6 2 2 2 6 6 6 6 2 2 2 6 2 2 2 6 6 2 2 6 2 6 2 2 5 6 6 2 5 2 6 2 2 6 2 6 2 2 2 2 6 6 2 5 2 5 5 2 2 2 6 6 2 6 2 6 6 2 2 2 2 6 2 6 2 6 2 2 6 2 2 2 2 6 5 2 5 2 2 6 2 2 6 6 2 6 2 6 2 6 2 2 6 2 2 2 6 2 5 2 2 2 2 2 2 6 2 2 2 2 2 6 6 6 6 2 6 6 6 2 2 6 2 2 2 5 5 6 2 6 2 5 2 2 2 3 2 6 2 6 2 2 6 6 2 2 6 2 6 2 2 6 5 2 6 6 2 2 2 2 6 2 6 6 6 6 2 2 6 6 6 2 6 2 5 6 2 2 2 2 6 6 2 2 2 5 2 2 2 6 2 6 2 6 2 2 6 6 5 2 6 2 5 5 5 5 0 1 3 4
252.08/231.82	v       </values>
252.08/231.82	v     </instantiation>
252.08/231.82	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 (10486 MiB free)
  memory of node 1: 16384 MiB (10082 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302284-1532895114/watcher-4302284-1532895114 -o /tmp/evaluation-result-4302284-1532895114/solver-4302284-1532895114 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13712 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1422446069 HOME/instance-4302284-1532895114.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=16743, runsolver pid=16740

[startup+0.10006 s]*
/proc/loadavg: 2.37 2.25 1.95 3/207 16800
/proc/meminfo: memFree=21057100/32770624 swapFree=67108860/67108860
[pid=16743] ppid=16740 vsize=10005480 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/16743/stat : 16743 (java) S 16740 16743 12183 0 -1 1077944320 4345 12973 0 0 1 1 5 2 20 0 6 0 107074609 10245611520 4203 33554432000 4194304 4196468 140725082821136 140725082803680 140098009075447 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
/proc/16743/statm: 2501370 4203 1935 1 0 2489808 0
[pid=16743/tid=16796] ppid=16740 vsize=10005480 memory=4279135703946462605 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16796/stat : 16796 (java) R 16740 16743 12183 0 -1 4202560 2180 12973 0 0 0 0 5 2 20 0 6 0 107074618 10245611520 4203 33554432000 4194304 4196468 140725082821136 140097980912208 140097994757939 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16797] ppid=16740 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16797/stat : 16797 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 6 0 107074619 10245611520 4203 33554432000 4194304 4196468 140725082821136 140098013317392 140098009085653 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16798] ppid=16740 vsize=10005480 memory=140492377216640 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16798/stat : 16798 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 6 0 107074619 10245611520 4203 33554432000 4194304 4196468 140725082821136 140097878653328 140098009085653 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16799] ppid=16740 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16799/stat : 16799 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 6 0 107074619 10245611520 4203 33554432000 4194304 4196468 140725082821136 140097877600784 140098009085653 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16800] ppid=16740 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16800/stat : 16800 (java) S 16740 16743 12183 0 -1 1077944384 2 12973 0 0 0 0 5 2 20 0 6 0 107074619 10245611520 4203 33554432000 4194304 4196468 140725082821136 140097876548240 140098009085653 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB

[startup+0.209964 s]*
/proc/loadavg: 2.37 2.25 1.95 3/216 16809
/proc/meminfo: memFree=21033064/32770624 swapFree=67108860/67108860
[pid=16743] ppid=16740 vsize=10982744 memory=44448 CPUtime=0.26 cores=0,2,4,6
/proc/16743/stat : 16743 (java) S 16740 16743 12183 0 -1 1077944320 7804 12973 0 0 17 2 5 2 20 0 15 0 107074609 11246329856 11112 33554432000 4194304 4196468 140725082821136 140725082803680 140098009075447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
/proc/16743/statm: 2745686 11112 2950 1 0 2708109 0
[pid=16743/tid=16796] ppid=16740 vsize=10982744 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/16743/task/16796/stat : 16796 (java) R 16740 16743 12183 0 -1 4202560 4516 12973 0 0 10 1 5 2 20 0 15 0 107074618 11246329856 11244 33554432000 4194304 4196468 140725082821136 140097980853408 140097989351261 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16797] ppid=16740 vsize=10982744 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16797/stat : 16797 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074619 11246329856 11244 33554432000 4194304 4196468 140725082821136 140098013317392 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16798] ppid=16740 vsize=10982744 memory=140492377216640 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16798/stat : 16798 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074619 11246329856 11244 33554432000 4194304 4196468 140725082821136 140097878653328 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16799] ppid=16740 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16799/stat : 16799 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074619 11246329856 11244 33554432000 4194304 4196468 140725082821136 140097877600784 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16800] ppid=16740 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16800/stat : 16800 (java) S 16740 16743 12183 0 -1 1077944384 2 12973 0 0 0 0 5 2 20 0 15 0 107074619 11246329856 11244 33554432000 4194304 4196468 140725082821136 140097876548240 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16801] ppid=16740 vsize=10982744 memory=140492377216640 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16801/stat : 16801 (java) S 16740 16743 12183 0 -1 1077944384 2 12973 0 0 0 0 5 2 20 0 15 0 107074620 11246329856 11244 33554432000 4194304 4196468 140725082821136 140096978057712 140098009086594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16802] ppid=16740 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16802/stat : 16802 (java) S 16740 16743 12183 0 -1 1077944384 13 12973 0 0 0 0 5 2 20 0 15 0 107074621 11246329856 11310 33554432000 4194304 4196468 140725082821136 140096867132832 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16803] ppid=16740 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16803/stat : 16803 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074621 11246329856 11310 33554432000 4194304 4196468 140725082821136 140096665806320 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16804] ppid=16740 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16804/stat : 16804 (java) S 16740 16743 12183 0 -1 1077944384 3 12973 0 0 0 0 5 2 20 0 15 0 107074624 11246329856 11310 33554432000 4194304 4196468 140725082821136 140096358406864 140098009094043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16805] ppid=16740 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16743/task/16805/stat : 16805 (java) S 16740 16743 12183 0 -1 1077944384 488 12973 0 0 1 0 5 2 20 0 15 0 107074624 11246329856 11310 33554432000 4194304 4196468 140725082821136 140096977004528 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16806] ppid=16740 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16806/stat : 16806 (java) S 16740 16743 12183 0 -1 1077944384 131 12973 0 0 0 0 5 2 20 0 15 0 107074624 11246329856 11310 33554432000 4194304 4196468 140725082821136 140096975951984 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16807] ppid=16740 vsize=10982744 memory=140492377216640 CPUtime=0.1 cores=0,2,4,6
/proc/16743/task/16807/stat : 16807 (java) S 16740 16743 12183 0 -1 1077944384 602 12973 0 0 3 0 5 2 20 0 15 0 107074624 11246329856 11310 33554432000 4194304 4196468 140725082821136 140096974899440 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16808] ppid=16740 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16808/stat : 16808 (java) S 16740 16743 12183 0 -1 1077944384 3 12973 0 0 0 0 5 2 20 0 15 0 107074624 11246329856 11310 33554432000 4194304 4196468 140725082821136 140095927609952 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16809] ppid=16740 vsize=10982744 memory=140492377216640 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16809/stat : 16809 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074624 11246329856 11310 33554432000 4194304 4196468 140725082821136 140096973847344 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44448 KiB

[startup+0.310249 s]*
/proc/loadavg: 2.37 2.25 1.95 3/216 16809
/proc/meminfo: memFree=21021404/32770624 swapFree=67108860/67108860
[pid=16743] ppid=16740 vsize=10983192 memory=56220 CPUtime=0.37 cores=0,2,4,6
/proc/16743/stat : 16743 (java) S 16740 16743 12183 0 -1 1077944320 10541 12973 0 0 28 2 5 2 20 0 15 0 107074609 11246788608 14055 33554432000 4194304 4196468 140725082821136 140725082803680 140098009075447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
/proc/16743/statm: 2745798 14055 3100 1 0 2708109 0
[pid=16743/tid=16796] ppid=16740 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/16743/task/16796/stat : 16796 (java) R 16740 16743 12183 0 -1 4202560 7091 12973 0 0 19 2 5 2 20 0 15 0 107074618 11246788608 14055 33554432000 4194304 4196468 140725082821136 140097980887456 140098009097373 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16797] ppid=16740 vsize=10983192 memory=7012755875661107280 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16797/stat : 16797 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074619 11246788608 14055 33554432000 4194304 4196468 140725082821136 140098013317392 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16798] ppid=16740 vsize=10983192 memory=2080 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16798/stat : 16798 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074619 11246788608 14055 33554432000 4194304 4196468 140725082821136 140097878653328 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16799] ppid=16740 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16799/stat : 16799 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074619 11246788608 14055 33554432000 4194304 4196468 140725082821136 140097877600784 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16800] ppid=16740 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16800/stat : 16800 (java) S 16740 16743 12183 0 -1 1077944384 2 12973 0 0 0 0 5 2 20 0 15 0 107074619 11246788608 14055 33554432000 4194304 4196468 140725082821136 140097876548240 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16801] ppid=16740 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16801/stat : 16801 (java) S 16740 16743 12183 0 -1 1077944384 2 12973 0 0 0 0 5 2 20 0 15 0 107074620 11246788608 14055 33554432000 4194304 4196468 140725082821136 140096978057712 140098009086594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16802] ppid=16740 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16802/stat : 16802 (java) S 16740 16743 12183 0 -1 1077944384 13 12973 0 0 0 0 5 2 20 0 15 0 107074621 11246788608 14055 33554432000 4194304 4196468 140725082821136 140096867132832 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16803] ppid=16740 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16803/stat : 16803 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074621 11246788608 14055 33554432000 4194304 4196468 140725082821136 140096665806320 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16804] ppid=16740 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16804/stat : 16804 (java) S 16740 16743 12183 0 -1 1077944384 3 12973 0 0 0 0 5 2 20 0 15 0 107074624 11246788608 14055 33554432000 4194304 4196468 140725082821136 140096358406864 140098009094043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16805] ppid=16740 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/16743/task/16805/stat : 16805 (java) S 16740 16743 12183 0 -1 1077944384 488 12973 0 0 2 0 5 2 20 0 15 0 107074624 11246788608 14055 33554432000 4194304 4196468 140725082821136 140096977004528 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16806] ppid=16740 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16743/task/16806/stat : 16806 (java) S 16740 16743 12183 0 -1 1077944384 134 12973 0 0 1 0 5 2 20 0 15 0 107074624 11246788608 14055 33554432000 4194304 4196468 140725082821136 140096975951984 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16807] ppid=16740 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/16743/task/16807/stat : 16807 (java) S 16740 16743 12183 0 -1 1077944384 611 12973 0 0 5 0 5 2 20 0 15 0 107074624 11246788608 14055 33554432000 4194304 4196468 140725082821136 140096974899440 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16808] ppid=16740 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16808/stat : 16808 (java) S 16740 16743 12183 0 -1 1077944384 3 12973 0 0 0 0 5 2 20 0 15 0 107074624 11246788608 14055 33554432000 4194304 4196468 140725082821136 140095927609952 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16809] ppid=16740 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16809/stat : 16809 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074624 11246788608 14055 33554432000 4194304 4196468 140725082821136 140096973847344 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56220 KiB

[startup+0.700723 s]
/proc/loadavg: 2.37 2.25 1.95 4/216 16809
/proc/meminfo: memFree=21010488/32770624 swapFree=67108860/67108860
[pid=16743] ppid=16740 vsize=10983192 memory=88504 CPUtime=0.98 cores=0,2,4,6
/proc/16743/stat : 16743 (java) S 16740 16743 12183 0 -1 1077944320 16743 12973 0 0 87 4 5 2 20 0 15 0 107074609 11246788608 22126 33554432000 4194304 4196468 140725082821136 140725082803680 140098009075447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
/proc/16743/statm: 2745798 22126 3243 1 0 2708109 0
[pid=16743/tid=16796] ppid=16740 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/16743/task/16796/stat : 16796 (java) R 16740 16743 12183 0 -1 4202560 12205 12973 0 0 56 3 5 2 20 0 15 0 107074618 11246788608 22126 33554432000 4194304 4196468 140725082821136 140097980896272 140098009097373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16797] ppid=16740 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16797/stat : 16797 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074619 11246788608 22126 33554432000 4194304 4196468 140725082821136 140098013317392 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16798] ppid=16740 vsize=10983192 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16798/stat : 16798 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074619 11246788608 22126 33554432000 4194304 4196468 140725082821136 140097878653328 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16799] ppid=16740 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16799/stat : 16799 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074619 11246788608 22126 33554432000 4194304 4196468 140725082821136 140097877600784 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16800] ppid=16740 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16800/stat : 16800 (java) S 16740 16743 12183 0 -1 1077944384 2 12973 0 0 0 0 5 2 20 0 15 0 107074619 11246788608 22126 33554432000 4194304 4196468 140725082821136 140097876548240 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16801] ppid=16740 vsize=10983192 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16801/stat : 16801 (java) S 16740 16743 12183 0 -1 1077944384 5 12973 0 0 0 0 5 2 20 0 15 0 107074620 11246788608 22126 33554432000 4194304 4196468 140725082821136 140096978057712 140098009086594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16802] ppid=16740 vsize=10983192 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16802/stat : 16802 (java) S 16740 16743 12183 0 -1 1077944384 13 12973 0 0 0 0 5 2 20 0 15 0 107074621 11246788608 22126 33554432000 4194304 4196468 140725082821136 140096867132832 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16803] ppid=16740 vsize=10983192 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16803/stat : 16803 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074621 11246788608 22126 33554432000 4194304 4196468 140725082821136 140096665806320 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16804] ppid=16740 vsize=10983192 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16804/stat : 16804 (java) S 16740 16743 12183 0 -1 1077944384 3 12973 0 0 0 0 5 2 20 0 15 0 107074624 11246788608 22126 33554432000 4194304 4196468 140725082821136 140096358406864 140098009094043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16805] ppid=16740 vsize=10983192 memory=13252 CPUtime=0.16 cores=0,2,4,6
/proc/16743/task/16805/stat : 16805 (java) S 16740 16743 12183 0 -1 1077944384 1083 12973 0 0 9 0 5 2 20 0 15 0 107074624 11246788608 22190 33554432000 4194304 4196468 140725082821136 140096977004528 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16806] ppid=16740 vsize=10983192 memory=15460 CPUtime=0.14 cores=0,2,4,6
/proc/16743/task/16806/stat : 16806 (java) S 16740 16743 12183 0 -1 1077944384 549 12973 0 0 7 0 5 2 20 0 15 0 107074624 11246788608 22190 33554432000 4194304 4196468 140725082821136 140096975951984 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16807] ppid=16740 vsize=10983192 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/16743/task/16807/stat : 16807 (java) R 16740 16743 12183 0 -1 4202560 686 12973 0 0 13 0 5 2 20 0 15 0 107074624 11246788608 22190 33554432000 4194304 4196468 140725082821136 140096974899440 140098009087382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16808] ppid=16740 vsize=10983192 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16808/stat : 16808 (java) S 16740 16743 12183 0 -1 1077944384 3 12973 0 0 0 0 5 2 20 0 15 0 107074624 11246788608 22190 33554432000 4194304 4196468 140725082821136 140095927609952 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16809] ppid=16740 vsize=10983192 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16809/stat : 16809 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074624 11246788608 22190 33554432000 4194304 4196468 140725082821136 140096973847344 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88504 KiB

[startup+1.50068 s]
/proc/loadavg: 2.37 2.25 1.95 3/216 16809
/proc/meminfo: memFree=20967696/32770624 swapFree=67108860/67108860
[pid=16743] ppid=16740 vsize=10991948 memory=193240 CPUtime=3.03 cores=0,2,4,6
/proc/16743/stat : 16743 (java) S 16740 16743 12183 0 -1 1077944320 22559 12973 0 0 288 8 5 2 20 0 15 0 107074609 11255754752 48310 33554432000 4194304 4196468 140725082821136 140725082803680 140098009075447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
/proc/16743/statm: 2747987 48310 3453 1 0 2709645 0
[pid=16743/tid=16796] ppid=16740 vsize=10991948 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/16743/task/16796/stat : 16796 (java) R 16740 16743 12183 0 -1 4202560 15176 12973 0 0 132 6 5 2 20 0 15 0 107074618 11255754752 48310 33554432000 4194304 4196468 140725082821136 140097980908208 140097991290536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16797] ppid=16740 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16797/stat : 16797 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074619 11255754752 48310 33554432000 4194304 4196468 140725082821136 140098013317392 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16798] ppid=16740 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16798/stat : 16798 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074619 11255754752 48310 33554432000 4194304 4196468 140725082821136 140097878653328 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16799] ppid=16740 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16799/stat : 16799 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074619 11255754752 48310 33554432000 4194304 4196468 140725082821136 140097877600784 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16800] ppid=16740 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16800/stat : 16800 (java) S 16740 16743 12183 0 -1 1077944384 2 12973 0 0 0 0 5 2 20 0 15 0 107074619 11255754752 48310 33554432000 4194304 4196468 140725082821136 140097876548240 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16801] ppid=16740 vsize=10991948 memory=-7965959130280075168 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16801/stat : 16801 (java) S 16740 16743 12183 0 -1 1077944384 13 12973 0 0 0 0 5 2 20 0 15 0 107074620 11255754752 48312 33554432000 4194304 4196468 140725082821136 140096978057712 140098009086594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16802] ppid=16740 vsize=10991948 memory=280984545208576 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16802/stat : 16802 (java) S 16740 16743 12183 0 -1 1077944384 13 12973 0 0 0 0 5 2 20 0 15 0 107074621 11255754752 48312 33554432000 4194304 4196468 140725082821136 140096867132832 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16803] ppid=16740 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16803/stat : 16803 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074621 11255754752 48312 33554432000 4194304 4196468 140725082821136 140096665806320 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16804] ppid=16740 vsize=10991948 memory=1952 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16804/stat : 16804 (java) S 16740 16743 12183 0 -1 1077944384 3 12973 0 0 0 0 5 2 20 0 15 0 107074624 11255754752 48312 33554432000 4194304 4196468 140725082821136 140096358406864 140098009094043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16805] ppid=16740 vsize=10991948 memory=1232 CPUtime=0.64 cores=0,2,4,6
/proc/16743/task/16805/stat : 16805 (java) R 16740 16743 12183 0 -1 4202560 2311 12973 0 0 57 0 5 2 20 0 15 0 107074624 11255754752 48312 33554432000 4194304 4196468 140725082821136 140096977004656 140097988792583 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16806] ppid=16740 vsize=10991948 memory=8560 CPUtime=0.6 cores=0,2,4,6
/proc/16743/task/16806/stat : 16806 (java) R 16740 16743 12183 0 -1 4202560 1352 12973 0 0 53 0 5 2 20 0 15 0 107074624 11255754752 48312 33554432000 4194304 4196468 140725082821136 140096975940336 140097987241928 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16807] ppid=16740 vsize=10991948 memory=1712 CPUtime=0.51 cores=0,2,4,6
/proc/16743/task/16807/stat : 16807 (java) R 16740 16743 12183 0 -1 4202560 1496 12973 0 0 44 0 5 2 20 0 15 0 107074624 11255754752 48312 33554432000 4194304 4196468 140725082821136 140096974895408 140097988002900 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16808] ppid=16740 vsize=10991948 memory=5412 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16808/stat : 16808 (java) S 16740 16743 12183 0 -1 1077944384 3 12973 0 0 0 0 5 2 20 0 15 0 107074624 11255754752 48312 33554432000 4194304 4196468 140725082821136 140095927609952 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16809] ppid=16740 vsize=10991948 memory=4612 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16809/stat : 16809 (java) S 16740 16743 12183 0 -1 1077944384 1 12973 0 0 0 0 5 2 20 0 15 0 107074624 11255754752 48312 33554432000 4194304 4196468 140725082821136 140096973847344 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10991948 KiB

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

/proc/16743/task/16796/stat : 16796 (java) R 16740 16743 12183 0 -1 4202560 52936 12973 0 0 10109 44 5 2 20 0 15 0 107074618 11343855616 734734 33554432000 4194304 4196468 140725082821136 140097980910736 140097571701696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16797] ppid=16740 vsize=11077984 memory=7 CPUtime=0.54 cores=0,2,4,6
/proc/16743/task/16797/stat : 16797 (java) S 16740 16743 12183 0 -1 1077944384 1285 12973 0 0 40 7 5 2 20 0 15 0 107074619 11343855616 734734 33554432000 4194304 4196468 140725082821136 140098013317392 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16798] ppid=16740 vsize=11077984 memory=2257 CPUtime=0.56 cores=0,2,4,6
/proc/16743/task/16798/stat : 16798 (java) S 16740 16743 12183 0 -1 1077944384 2703 12973 0 0 41 8 5 2 20 0 15 0 107074619 11343855616 734734 33554432000 4194304 4196468 140725082821136 140097878653328 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16799] ppid=16740 vsize=11077984 memory=140492273076309 CPUtime=0.55 cores=0,2,4,6
/proc/16743/task/16799/stat : 16799 (java) S 16740 16743 12183 0 -1 1077944384 1306 12973 0 0 41 7 5 2 20 0 15 0 107074619 11343855616 734734 33554432000 4194304 4196468 140725082821136 140097877600784 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16800] ppid=16740 vsize=11077984 memory=1200 CPUtime=0.55 cores=0,2,4,6
/proc/16743/task/16800/stat : 16800 (java) S 16740 16743 12183 0 -1 1077944384 1508 12973 0 0 40 8 5 2 20 0 15 0 107074619 11343855616 734734 33554432000 4194304 4196468 140725082821136 140097876548240 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16801] ppid=16740 vsize=11077984 memory=15876 CPUtime=0.15 cores=0,2,4,6
/proc/16743/task/16801/stat : 16801 (java) S 16740 16743 12183 0 -1 1077944384 4497 12973 0 0 8 0 5 2 20 0 15 0 107074620 11343855616 734734 33554432000 4194304 4196468 140725082821136 140096978057712 140098009086594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16802] ppid=16740 vsize=11077984 memory=2933692 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16802/stat : 16802 (java) S 16740 16743 12183 0 -1 1077944384 22 12973 0 0 0 0 5 2 20 0 15 0 107074621 11343855616 734734 33554432000 4194304 4196468 140725082821136 140096867132896 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16803] ppid=16740 vsize=11077984 memory=2929596 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16803/stat : 16803 (java) S 16740 16743 12183 0 -1 1077944384 11 12973 0 0 0 0 5 2 20 0 15 0 107074621 11343855616 734734 33554432000 4194304 4196468 140725082821136 140096665806336 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16804] ppid=16740 vsize=11077984 memory=2935716 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16804/stat : 16804 (java) S 16740 16743 12183 0 -1 1077944384 3 12973 0 0 0 0 5 2 20 0 15 0 107074624 11343855616 734734 33554432000 4194304 4196468 140725082821136 140096358406864 140098009094043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16805] ppid=16740 vsize=11077984 memory=2935716 CPUtime=8.04 cores=0,2,4,6
/proc/16743/task/16805/stat : 16805 (java) S 16740 16743 12183 0 -1 1077944384 19540 12973 0 0 793 4 5 2 20 0 15 0 107074624 11343855616 734734 33554432000 4194304 4196468 140725082821136 140096977004528 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16806] ppid=16740 vsize=11077984 memory=0 CPUtime=7.47 cores=0,2,4,6
/proc/16743/task/16806/stat : 16806 (java) S 16740 16743 12183 0 -1 1077944384 17028 12973 0 0 737 3 5 2 20 0 15 0 107074624 11343855616 734734 33554432000 4194304 4196468 140725082821136 140096975951984 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16807] ppid=16740 vsize=11077984 memory=1892 CPUtime=2.62 cores=0,2,4,6
/proc/16743/task/16807/stat : 16807 (java) S 16740 16743 12183 0 -1 1077944384 13091 12973 0 0 251 4 5 2 20 0 15 0 107074624 11343855616 734734 33554432000 4194304 4196468 140725082821136 140096974899440 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16808] ppid=16740 vsize=11077984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16808/stat : 16808 (java) S 16740 16743 12183 0 -1 1077944384 3 12973 0 0 0 0 5 2 20 0 15 0 107074624 11343855616 734734 33554432000 4194304 4196468 140725082821136 140095927609952 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16809] ppid=16740 vsize=11077984 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/16743/task/16809/stat : 16809 (java) S 16740 16743 12183 0 -1 1077944384 636 12973 0 0 3 2 5 2 20 0 15 0 107074624 11343855616 734734 33554432000 4194304 4196468 140725082821136 140096973847344 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
Current children cumulated CPU time: 121.7 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2938936 KiB

[startup+162.301 s]
/proc/loadavg: 1.92 2.16 1.97 3/216 16939
/proc/meminfo: memFree=20295144/32770624 swapFree=67108860/67108860
[pid=16743] ppid=16740 vsize=11077984 memory=2835816 CPUtime=181.87 cores=0,2,4,6
/proc/16743/stat : 16743 (java) S 16740 16743 12183 0 -1 1077944320 124288 12973 0 0 18085 95 5 2 20 0 15 0 107074609 11343855616 708954 33554432000 4194304 4196468 140725082821136 140725082803680 140098009075447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
/proc/16743/statm: 2769496 708954 3536 1 0 2731149 0
[pid=16743/tid=16796] ppid=16740 vsize=11077984 memory=2867108 CPUtime=161.54 cores=0,2,4,6
/proc/16743/task/16796/stat : 16796 (java) R 16740 16743 12183 0 -1 4202560 56218 12973 0 0 16102 45 5 2 20 0 15 0 107074618 11343855616 708954 33554432000 4194304 4196468 140725082821136 140097980910144 140097572526941 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16797] ppid=16740 vsize=11077984 memory=2853772 CPUtime=0.59 cores=0,2,4,6
/proc/16743/task/16797/stat : 16797 (java) S 16740 16743 12183 0 -1 1077944384 1332 12973 0 0 45 7 5 2 20 0 15 0 107074619 11343855616 708954 33554432000 4194304 4196468 140725082821136 140098013317392 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16798] ppid=16740 vsize=11077984 memory=280984545597632 CPUtime=0.6 cores=0,2,4,6
/proc/16743/task/16798/stat : 16798 (java) S 16740 16743 12183 0 -1 1077944384 3306 12973 0 0 45 8 5 2 20 0 15 0 107074619 11343855616 708954 33554432000 4194304 4196468 140725082821136 140097878653328 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16799] ppid=16740 vsize=11077984 memory=2848128 CPUtime=0.6 cores=0,2,4,6
/proc/16743/task/16799/stat : 16799 (java) S 16740 16743 12183 0 -1 1077944384 2358 12973 0 0 45 8 5 2 20 0 15 0 107074619 11343855616 708954 33554432000 4194304 4196468 140725082821136 140097877600784 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16800] ppid=16740 vsize=11077984 memory=2839408 CPUtime=0.59 cores=0,2,4,6
/proc/16743/task/16800/stat : 16800 (java) S 16740 16743 12183 0 -1 1077944384 1657 12973 0 0 44 8 5 2 20 0 15 0 107074619 11343855616 708954 33554432000 4194304 4196468 140725082821136 140097876548240 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16801] ppid=16740 vsize=11077984 memory=2839408 CPUtime=0.18 cores=0,2,4,6
/proc/16743/task/16801/stat : 16801 (java) S 16740 16743 12183 0 -1 1077944384 4818 12973 0 0 10 1 5 2 20 0 15 0 107074620 11343855616 708954 33554432000 4194304 4196468 140725082821136 140096978057712 140098009086594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16802] ppid=16740 vsize=11077984 memory=2839408 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16802/stat : 16802 (java) S 16740 16743 12183 0 -1 1077944384 22 12973 0 0 0 0 5 2 20 0 15 0 107074621 11343855616 708954 33554432000 4194304 4196468 140725082821136 140096867132896 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16803] ppid=16740 vsize=11077984 memory=2835816 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16803/stat : 16803 (java) S 16740 16743 12183 0 -1 1077944384 11 12973 0 0 0 0 5 2 20 0 15 0 107074621 11343855616 708954 33554432000 4194304 4196468 140725082821136 140096665806336 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16804] ppid=16740 vsize=11077984 memory=2835816 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16804/stat : 16804 (java) S 16740 16743 12183 0 -1 1077944384 3 12973 0 0 0 0 5 2 20 0 15 0 107074624 11343855616 708954 33554432000 4194304 4196468 140725082821136 140096358406864 140098009094043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16805] ppid=16740 vsize=11077984 memory=2843512 CPUtime=8.05 cores=0,2,4,6
/proc/16743/task/16805/stat : 16805 (java) S 16740 16743 12183 0 -1 1077944384 21544 12973 0 0 794 4 5 2 20 0 15 0 107074624 11343855616 708954 33554432000 4194304 4196468 140725082821136 140096977004528 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16806] ppid=16740 vsize=11077984 memory=2843512 CPUtime=7.47 cores=0,2,4,6
/proc/16743/task/16806/stat : 16806 (java) S 16740 16743 12183 0 -1 1077944384 17033 12973 0 0 737 3 5 2 20 0 15 0 107074624 11343855616 708954 33554432000 4194304 4196468 140725082821136 140096975951984 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16807] ppid=16740 vsize=11077984 memory=2853772 CPUtime=2.62 cores=0,2,4,6
/proc/16743/task/16807/stat : 16807 (java) S 16740 16743 12183 0 -1 1077944384 13098 12973 0 0 251 4 5 2 20 0 15 0 107074624 11343855616 708954 33554432000 4194304 4196468 140725082821136 140096974899440 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16808] ppid=16740 vsize=11077984 memory=2848128 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16808/stat : 16808 (java) S 16740 16743 12183 0 -1 1077944384 3 12973 0 0 0 0 5 2 20 0 15 0 107074624 11343855616 708954 33554432000 4194304 4196468 140725082821136 140095927609952 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16809] ppid=16740 vsize=11077984 memory=2853772 CPUtime=0.16 cores=0,2,4,6
/proc/16743/task/16809/stat : 16809 (java) S 16740 16743 12183 0 -1 1077944384 696 12973 0 0 5 4 5 2 20 0 15 0 107074624 11343855616 708954 33554432000 4194304 4196468 140725082821136 140096973847344 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
Current children cumulated CPU time: 181.87 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2835816 KiB

[startup+222.301 s]
/proc/loadavg: 1.76 2.07 1.95 3/215 16940
/proc/meminfo: memFree=20185720/32770624 swapFree=67108860/67108860
[pid=16743] ppid=16740 vsize=11077984 memory=2816840 CPUtime=242.45 cores=0,2,4,6
/proc/16743/stat : 16743 (java) S 16740 16743 12183 0 -1 1077944320 127543 12973 0 0 24139 99 5 2 20 0 15 0 107074609 11343855616 704210 33554432000 4194304 4196468 140725082821136 140725082803680 140098009075447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
/proc/16743/statm: 2769496 704210 3536 1 0 2731149 0
[pid=16743/tid=16796] ppid=16740 vsize=11077984 memory=2816840 CPUtime=221.2 cores=0,2,4,6
/proc/16743/task/16796/stat : 16796 (java) R 16740 16743 12183 0 -1 4202560 57272 12973 0 0 22068 45 5 2 20 0 15 0 107074618 11343855616 704210 33554432000 4194304 4196468 140725082821136 140097980910304 140097572357099 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16797] ppid=16740 vsize=11077984 memory=0 CPUtime=0.79 cores=0,2,4,6
/proc/16743/task/16797/stat : 16797 (java) S 16740 16743 12183 0 -1 1077944384 1391 12973 0 0 64 8 5 2 20 0 15 0 107074619 11343855616 704210 33554432000 4194304 4196468 140725082821136 140098013317392 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16798] ppid=16740 vsize=11077984 memory=2816840 CPUtime=0.8 cores=0,2,4,6
/proc/16743/task/16798/stat : 16798 (java) S 16740 16743 12183 0 -1 1077944384 3445 12973 0 0 64 9 5 2 20 0 15 0 107074619 11343855616 704210 33554432000 4194304 4196468 140725082821136 140097878653328 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16799] ppid=16740 vsize=11077984 memory=2824532 CPUtime=0.79 cores=0,2,4,6
/proc/16743/task/16799/stat : 16799 (java) S 16740 16743 12183 0 -1 1077944384 3447 12973 0 0 64 8 5 2 20 0 15 0 107074619 11343855616 704210 33554432000 4194304 4196468 140725082821136 140097877600784 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16800] ppid=16740 vsize=11077984 memory=2816840 CPUtime=0.78 cores=0,2,4,6
/proc/16743/task/16800/stat : 16800 (java) S 16740 16743 12183 0 -1 1077944384 2165 12973 0 0 62 9 5 2 20 0 15 0 107074619 11343855616 704210 33554432000 4194304 4196468 140725082821136 140097876548240 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16801] ppid=16740 vsize=11077984 memory=2816840 CPUtime=0.29 cores=0,2,4,6
/proc/16743/task/16801/stat : 16801 (java) S 16740 16743 12183 0 -1 1077944384 5192 12973 0 0 20 2 5 2 20 0 15 0 107074620 11343855616 704210 33554432000 4194304 4196468 140725082821136 140096978057712 140098009086594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16802] ppid=16740 vsize=11077984 memory=2816840 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16802/stat : 16802 (java) S 16740 16743 12183 0 -1 1077944384 22 12973 0 0 0 0 5 2 20 0 15 0 107074621 11343855616 704210 33554432000 4194304 4196468 140725082821136 140096867132896 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16803] ppid=16740 vsize=11077984 memory=2816840 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16803/stat : 16803 (java) S 16740 16743 12183 0 -1 1077944384 11 12973 0 0 0 0 5 2 20 0 15 0 107074621 11343855616 704210 33554432000 4194304 4196468 140725082821136 140096665806336 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16804] ppid=16740 vsize=11077984 memory=2816840 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16804/stat : 16804 (java) S 16740 16743 12183 0 -1 1077944384 3 12973 0 0 0 0 5 2 20 0 15 0 107074624 11343855616 704210 33554432000 4194304 4196468 140725082821136 140096358406864 140098009094043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16805] ppid=16740 vsize=11077984 memory=2816840 CPUtime=8.05 cores=0,2,4,6
/proc/16743/task/16805/stat : 16805 (java) S 16740 16743 12183 0 -1 1077944384 21546 12973 0 0 794 4 5 2 20 0 15 0 107074624 11343855616 704210 33554432000 4194304 4196468 140725082821136 140096977004528 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16806] ppid=16740 vsize=11077984 memory=2816840 CPUtime=7.47 cores=0,2,4,6
/proc/16743/task/16806/stat : 16806 (java) S 16740 16743 12183 0 -1 1077944384 17036 12973 0 0 737 3 5 2 20 0 15 0 107074624 11343855616 704210 33554432000 4194304 4196468 140725082821136 140096975951984 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16807] ppid=16740 vsize=11077984 memory=2816840 CPUtime=2.62 cores=0,2,4,6
/proc/16743/task/16807/stat : 16807 (java) S 16740 16743 12183 0 -1 1077944384 13101 12973 0 0 251 4 5 2 20 0 15 0 107074624 11343855616 704210 33554432000 4194304 4196468 140725082821136 140096974899440 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16808] ppid=16740 vsize=11077984 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16808/stat : 16808 (java) S 16740 16743 12183 0 -1 1077944384 3 12973 0 0 0 0 5 2 20 0 15 0 107074624 11343855616 704210 33554432000 4194304 4196468 140725082821136 140095927609952 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16809] ppid=16740 vsize=11077984 memory=1200 CPUtime=0.2 cores=0,2,4,6
/proc/16743/task/16809/stat : 16809 (java) S 16740 16743 12183 0 -1 1077944384 720 12973 0 0 6 7 5 2 20 0 15 0 107074624 11343855616 704210 33554432000 4194304 4196468 140725082821136 140096973847344 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
Current children cumulated CPU time: 242.45 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2816840 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+231.801 s]
/proc/loadavg: 1.49 2.00 1.93 3/215 16940
/proc/meminfo: memFree=20165488/32770624 swapFree=67108860/67108860
[pid=16743] ppid=16740 vsize=11077984 memory=2816860 CPUtime=252.08 cores=0,2,4,6
/proc/16743/stat : 16743 (java) S 16740 16743 12183 0 -1 1077944320 129638 12973 0 0 25101 100 5 2 20 0 15 0 107074609 11343855616 704215 33554432000 4194304 4196468 140725082821136 140725082803680 140098009075447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
/proc/16743/statm: 2769496 704215 3536 1 0 2731149 0
[pid=16743/tid=16796] ppid=16740 vsize=11077984 memory=4004 CPUtime=230.62 cores=0,2,4,6
/proc/16743/task/16796/stat : 16796 (java) R 16740 16743 12183 0 -1 4202560 57997 12973 0 0 23010 45 5 2 20 0 15 0 107074618 11343855616 704215 33554432000 4194304 4196468 140725082821136 140097980910144 140097572887569 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16797] ppid=16740 vsize=11077984 memory=18448 CPUtime=0.83 cores=0,2,4,6
/proc/16743/task/16797/stat : 16797 (java) S 16740 16743 12183 0 -1 1077944384 1455 12973 0 0 68 8 5 2 20 0 15 0 107074619 11343855616 704215 33554432000 4194304 4196468 140725082821136 140098013317392 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16798] ppid=16740 vsize=11077984 memory=1796 CPUtime=0.84 cores=0,2,4,6
/proc/16743/task/16798/stat : 16798 (java) S 16740 16743 12183 0 -1 1077944384 3485 12973 0 0 68 9 5 2 20 0 15 0 107074619 11343855616 704215 33554432000 4194304 4196468 140725082821136 140097878653328 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16799] ppid=16740 vsize=11077984 memory=1952 CPUtime=0.83 cores=0,2,4,6
/proc/16743/task/16799/stat : 16799 (java) S 16740 16743 12183 0 -1 1077944384 4540 12973 0 0 68 8 5 2 20 0 15 0 107074619 11343855616 704215 33554432000 4194304 4196468 140725082821136 140097877600784 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16800] ppid=16740 vsize=11077984 memory=1232 CPUtime=0.83 cores=0,2,4,6
/proc/16743/task/16800/stat : 16800 (java) S 16740 16743 12183 0 -1 1077944384 2277 12973 0 0 67 9 5 2 20 0 15 0 107074619 11343855616 704215 33554432000 4194304 4196468 140725082821136 140097876548240 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16801] ppid=16740 vsize=11077984 memory=8560 CPUtime=0.31 cores=0,2,4,6
/proc/16743/task/16801/stat : 16801 (java) S 16740 16743 12183 0 -1 1077944384 5245 12973 0 0 22 2 5 2 20 0 15 0 107074620 11343855616 704215 33554432000 4194304 4196468 140725082821136 140096978057712 140098009086594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16802] ppid=16740 vsize=11077984 memory=1712 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16802/stat : 16802 (java) S 16740 16743 12183 0 -1 1077944384 22 12973 0 0 0 0 5 2 20 0 15 0 107074621 11343855616 704215 33554432000 4194304 4196468 140725082821136 140096867132896 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16803] ppid=16740 vsize=11077984 memory=5412 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16803/stat : 16803 (java) S 16740 16743 12183 0 -1 1077944384 11 12973 0 0 0 0 5 2 20 0 15 0 107074621 11343855616 704215 33554432000 4194304 4196468 140725082821136 140096665806336 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16804] ppid=16740 vsize=11077984 memory=4612 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16804/stat : 16804 (java) S 16740 16743 12183 0 -1 1077944384 3 12973 0 0 0 0 5 2 20 0 15 0 107074624 11343855616 704215 33554432000 4194304 4196468 140725082821136 140096358406864 140098009094043 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16805] ppid=16740 vsize=11077984 memory=1012 CPUtime=8.05 cores=0,2,4,6
/proc/16743/task/16805/stat : 16805 (java) S 16740 16743 12183 0 -1 1077944384 21548 12973 0 0 794 4 5 2 20 0 15 0 107074624 11343855616 704215 33554432000 4194304 4196468 140725082821136 140096977004528 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16806] ppid=16740 vsize=11077984 memory=640 CPUtime=7.47 cores=0,2,4,6
/proc/16743/task/16806/stat : 16806 (java) S 16740 16743 12183 0 -1 1077944384 17038 12973 0 0 737 3 5 2 20 0 15 0 107074624 11343855616 704215 33554432000 4194304 4196468 140725082821136 140096975951984 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16807] ppid=16740 vsize=11077984 memory=952 CPUtime=2.62 cores=0,2,4,6
/proc/16743/task/16807/stat : 16807 (java) S 16740 16743 12183 0 -1 1077944384 13103 12973 0 0 251 4 5 2 20 0 15 0 107074624 11343855616 704215 33554432000 4194304 4196468 140725082821136 140096974899440 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16808] ppid=16740 vsize=11077984 memory=1232 CPUtime=0.07 cores=0,2,4,6
/proc/16743/task/16808/stat : 16808 (java) S 16740 16743 12183 0 -1 1077944384 3 12973 0 0 0 0 5 2 20 0 15 0 107074624 11343855616 704215 33554432000 4194304 4196468 140725082821136 140095927609952 140098009085653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
[pid=16743/tid=16809] ppid=16740 vsize=11077984 memory=2340 CPUtime=0.2 cores=0,2,4,6
/proc/16743/task/16809/stat : 16809 (java) S 16740 16743 12183 0 -1 1077944384 722 12973 0 0 6 7 5 2 20 0 15 0 107074624 11343855616 704215 33554432000 4194304 4196468 140725082821136 140096973847344 140098009086594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24317952 140725082823281 140725082826081 140725082826081 140725082828751 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 2816860 KiB

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

[startup+231.85 s]
# the end of solver process 16743 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.096 s, system=1.06177 s

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

Child status: 143
Real time (s): 231.85
CPU time (s): 252.158
CPU user time (s): 251.096
CPU system time (s): 1.06177
CPU usage (%): 108.759
Max. virtual memory (cumulated for all children) (KiB): 11080620
Max. memory (cumulated for all children) (KiB): 2938936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.096
system time used= 1.06177
maximum resident set size= 2940984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147409
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17769
involuntary context switches= 449


# summary of solver processes directly reported to runsolver:
#   pid: 16743
#   total CPU time (s): 252.158
#   total CPU user time (s): 251.096
#   total CPU system time (s): 1.06177

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.59354 second user time and 2.05792 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-29 22:11:54
IDJOB=4302284
IDBENCH=141143
IDSOLVER=2776
FILE ID=node107/4302284-1532895114
RUNJOBID= node107-1532892903-13712
PBS_JOBID= 21022519
Free space on /tmp= 60796 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/GraphColoring/GraphColoring-2-fullins-5_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302284-1532895114/watcher-4302284-1532895114 -o /tmp/evaluation-result-4302284-1532895114/solver-4302284-1532895114 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13712 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1422446069 HOME/instance-4302284-1532895114.xml

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

MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33
RANDOM SEED=1422446069

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
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:        21062836 kB
MemAvailable:   28302836 kB
Buffers:          245816 kB
Cached:          7257444 kB
SwapCached:            0 kB
Active:          7485528 kB
Inactive:        3725400 kB
Active(anon):    3659364 kB
Inactive(anon):    76484 kB
Active(file):    3826164 kB
Inactive(file):  3648916 kB
Unevictable:        7164 kB
Mlocked:            7164 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             27220 kB
Writeback:             0 kB
AnonPages:       3723488 kB
Mapped:            58340 kB
Shmem:             25228 kB
Slab:             189344 kB
SReclaimable:     161508 kB
SUnreclaim:        27836 kB
KernelStack:        3808 kB
PageTables:        12860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4838800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3434496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 60776 MiB
End job on node107 at 2018-07-29 22:15:46