Trace number 4304262

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.2-SuperNGSAT (TO)6 2520.15 2456.74

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 benchmark352.426
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.94/0.79	c Concrete v3.9.2.1532736233296 running
24.57/11.64	o 851
26.50/12.80	o 850
27.30/13.04	o 849
27.79/13.27	o 848
28.40/13.51	o 847
28.93/13.70	o 846
29.31/13.91	o 845
29.64/14.15	o 844
30.04/14.38	o 843
30.60/14.61	o 842
30.76/14.78	o 841
31.14/14.98	o 840
31.55/15.15	o 839
31.73/15.29	o 838
32.07/15.48	o 837
32.27/15.62	o 836
32.42/15.79	o 835
32.67/15.96	o 834
32.93/16.15	o 833
33.15/16.30	o 832
33.25/16.47	o 831
33.47/16.61	o 830
33.57/16.73	o 829
33.84/16.96	o 828
33.97/17.10	o 827
34.19/17.23	o 826
34.39/17.42	o 825
34.49/17.59	o 824
34.69/17.77	o 823
34.89/17.90	o 822
35.11/18.12	o 821
35.25/18.25	o 820
35.35/18.38	o 819
35.55/18.51	o 818
35.75/18.73	o 817
35.96/18.93	o 816
36.09/19.08	o 815
36.31/19.22	o 814
36.41/19.35	o 813
36.62/19.59	o 812
36.81/19.79	o 811
37.01/19.98	o 810
37.21/20.10	o 809
37.41/20.23	o 808
37.51/20.36	o 807
37.83/20.64	o 806
38.10/20.82	o 805
38.20/20.96	o 804
38.31/21.08	o 803
38.42/21.20	o 802
38.61/21.30	o 801
38.71/21.41	o 800
38.83/21.51	o 799
39.24/21.96	o 798
39.45/22.15	o 797
39.64/22.31	o 796
39.74/22.47	o 795
39.94/22.62	o 794
40.04/22.74	o 793
40.14/22.87	o 792
40.46/23.04	o 791
40.58/23.16	o 790
41.15/23.58	o 789
41.46/23.81	o 788
41.56/23.97	o 787
41.77/24.13	o 786
41.86/24.28	o 785
42.17/24.41	o 784
42.28/24.52	o 783
42.38/24.62	o 782
42.48/24.73	o 781
42.58/24.83	o 780
42.68/24.92	o 779
42.68/25.00	o 778
43.48/25.72	o 777
43.68/25.94	o 776
43.89/26.17	o 775
44.08/26.35	o 774
44.65/26.61	o 773
44.75/26.73	o 772
44.85/26.84	o 771
44.95/26.94	o 770
45.06/27.04	o 769
45.16/27.12	o 768
45.26/27.20	o 767
45.26/27.28	o 766
45.36/27.35	o 765
45.47/27.42	o 764
45.47/27.48	o 763
46.48/28.42	o 762
46.68/28.66	o 761
46.88/28.82	o 760
46.98/28.95	o 759
47.09/29.09	o 758
47.28/29.22	o 757
47.39/29.34	o 756
47.49/29.45	o 755
47.59/29.55	o 754
48.08/29.76	o 753
48.18/29.85	o 752
48.28/29.96	o 751
48.39/30.05	o 750
48.50/30.15	o 749
48.59/30.24	o 748
48.69/30.32	o 747
49.53/31.16	o 746
49.82/31.41	o 745
50.02/31.63	o 744
50.22/31.85	o 743
50.43/32.09	o 742
50.62/32.28	o 741
50.82/32.45	o 740
51.02/32.63	o 739
51.22/32.80	o 738
51.32/32.94	o 737
51.43/33.08	o 736
51.63/33.21	o 735
51.72/33.32	o 734
51.82/33.44	o 733
51.93/33.55	o 732
52.03/33.65	o 731
52.12/33.75	o 730
52.23/33.86	o 729
52.68/34.07	o 728
53.55/34.86	o 727
53.86/35.16	o 726
54.05/35.36	o 725
54.25/35.53	o 724
54.36/35.65	o 723
54.46/35.76	o 722
54.56/35.87	o 721
54.66/35.99	o 720
54.77/36.10	o 719
54.97/36.21	o 718
55.07/36.31	o 717
55.17/36.41	o 716
55.27/36.50	o 715
55.27/36.59	o 714
55.37/36.67	o 713
55.47/36.76	o 712
55.57/36.84	o 711
55.67/36.91	o 710
55.67/36.99	o 709
55.78/37.06	o 708
55.88/37.13	o 707
55.88/37.19	o 706
55.97/37.26	o 705
56.07/37.32	o 704
56.07/37.38	o 703
56.17/37.44	o 702
56.17/37.49	o 701
62.08/40.21	o 700
62.38/40.54	o 699
62.59/40.76	o 698
62.79/40.96	o 697
63.00/41.17	o 696
63.19/41.37	o 695
63.40/41.55	o 694
63.60/41.71	o 693
63.70/41.87	o 692
63.90/42.02	o 691
64.01/42.16	o 690
64.10/42.29	o 689
64.30/42.42	o 688
64.40/42.53	o 687
64.50/42.65	o 686
64.60/42.78	o 685
64.70/42.86	o 684
64.80/42.93	o 683
64.80/43.00	o 682
64.90/43.09	o 681
65.01/43.16	o 680
65.09/43.22	o 679
65.09/43.29	o 678
65.20/43.35	o 677
65.30/43.40	o 676
65.30/43.44	o 675
65.30/43.49	o 674
65.39/43.53	o 673
65.39/43.57	o 672
65.50/43.61	o 671
65.50/43.65	o 670
65.50/43.68	o 669
65.60/43.72	o 668
65.60/43.75	o 667
65.60/43.78	o 666
65.70/43.80	o 665
65.70/43.82	o 664
65.70/43.85	o 663
66.32/44.04	o 662
66.32/44.05	o 661
66.32/44.07	o 660
66.32/44.08	o 659
66.32/44.09	o 658
66.32/44.10	o 657
66.32/44.10	o 656
66.52/44.11	o 6
2520.09/2456.70	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.09/2456.70		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.09/2456.70		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.09/2456.70		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.09/2456.70		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.09/2456.70		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.09/2456.70		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.09/2456.70		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.09/2456.70		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.09/2456.70		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.09/2456.70		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.09/2456.70		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.09/2456.70		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.09/2456.70		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.09/2456.70		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.09/2456.70		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.09/2456.70		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.09/2456.70		at scala.Option.map(Option.scala:146)
2520.09/2456.70		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.09/2456.70		at concrete.MAC.mac(MAC.scala:203)
2520.09/2456.70		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.09/2456.70		at scala.util.Try$.apply(Try.scala:209)
2520.09/2456.70		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.09/2456.70		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.09/2456.70		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.09/2456.70		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.09/2456.70		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.09/2456.70		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.09/2456.70		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.09/2456.70		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.09/2456.70		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.09/2456.70		at concrete.MAC.oneRun(MAC.scala:253)
2520.09/2456.70		at concrete.MAC.nextSolution(MAC.scala:272)
2520.09/2456.70		at concrete.MAC.nextSolution(MAC.scala:355)
2520.09/2456.70		at concrete.Solver.hasNext(Solver.scala:166)
2520.09/2456.70		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.09/2456.70		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.09/2456.70		at concrete.Solver.foreach(Solver.scala:68)
2520.09/2456.70		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.09/2456.70		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.09/2456.70		at scala.util.Success.map(Try.scala:209)
2520.09/2456.70		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.09/2456.70		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.09/2456.70		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.09/2456.70		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.09/2456.70		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.09/2456.70		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.09/2456.70		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.09/2456.70		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.09/2456.70		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.09/2456.70		at scala.collection.immutable.List.foreach(List.scala:389)
2520.09/2456.71		at scala.App.main(App.scala:76)
2520.09/2456.71		at scala.App.main$(App.scala:74)
2520.09/2456.71		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.09/2456.71		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.09/2456.71	v <instantiation cost="6">
2520.09/2456.71	v       <list>
2520.09/2456.71	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851]
2520.09/2456.72	v       </list>
2520.09/2456.72	v       <values>
2520.09/2456.72	v         1 2 0 0 1 1 0 0 3 1 0 2 3 3 3 3 3 3 6 6 3 6 6 6 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 1 2 3 0 1 4 4 4 1 1 0 0 4 1 0 2 4 4 4 4 4 4 4 4 4 4 4 4 1 1 1 1 1 1 1 1 1 1 1 1 4 4 4 4 4 4 4 4 4 4 4 4 1 4 4 4 0 0 2 0 2 2 0 0 3 3 0 2 0 0 0 0 3 3 0 0 3 3 0 3 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 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 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 3 1 0 1 2 5 5 1 1 5 0 3 1 5 2 3 3 3 3 3 3 5 5 3 5 5 5 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 2 3 5 1 5 5 5 1 1 5 5 5 1 5 5 1 5 5 5 1 1 5 5 5 1 5 5 1 1 1 1 1 1 1 1 1 1 1 1 2 5 2 2 5 5 2 2 5 5 2 5 1 2 5 5 2 2 2 2 2 2 3 3 3 3 3 2 2 2 2 2 2 2 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 5 3 1 5 0 0 0 0 2 0 0 0 3 0 0 2 0 0 0 0 3 0 0 0 3 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 4 0 0 2 0 0 0 0 4 0 0 0 4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 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 0 0 0 0 0 0 0 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 2 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 4 1 3
2520.09/2456.72	v       </values>
2520.09/2456.72	v     </instantiation>
2520.09/2456.72	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 (10690 MiB free)
  memory of node 1: 16384 MiB (3510 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304262-1534051667/watcher-4304262-1534051667 -o /tmp/evaluation-result-4304262-1534051667/solver-4304262-1534051667 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534038702-32058 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=723685660 -superng HOME/instance-4304262-1534051667.xml 

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

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

solver pid=1956, runsolver pid=1953

[startup+0.100081 s]*
/proc/loadavg: 1.91 1.75 1.75 2/206 2009
/proc/meminfo: memFree=14540192/32770624 swapFree=67108688/67108860
[pid=1956] ppid=1953 vsize=10003272 memory=10792 CPUtime=0.08 cores=0,2,4,6
/proc/1956/stat : 1956 (java) S 1953 1956 30627 0 -1 1077944320 3395 13197 0 0 0 0 5 3 20 0 6 0 222729961 10243350528 2698 33554432000 4194304 4196468 140733117915040 140733117897584 140516102405879 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
/proc/1956/statm: 2500818 2698 1233 1 0 2489729 0
[pid=1956/tid=2009] ppid=1953 vsize=10005480 memory=-8171376296011865461 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2009/stat : 2009 (java) R 1953 1956 30627 0 -1 4202560 1536 13197 0 0 0 0 5 3 20 0 6 0 222729971 10245611520 3608 33554432000 4194304 4196468 140733117915040 140516074242640 140515991928694 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2010] ppid=1953 vsize=10005480 memory=7948963741541478447 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2010/stat : 2010 (java) S 1953 1956 30627 0 -1 1077944384 1 13197 0 0 0 0 5 3 20 0 6 0 222729972 10245611520 3608 33554432000 4194304 4196468 140733117915040 140516106648208 140516102416085 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2011] ppid=1953 vsize=10005480 memory=139954712077952 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2011/stat : 2011 (java) S 1953 1956 30627 0 -1 1077944384 1 13197 0 0 0 0 5 3 20 0 6 0 222729972 10245611520 3608 33554432000 4194304 4196468 140733117915040 140515971983888 140516102416085 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2012] ppid=1953 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2012/stat : 2012 (java) S 1953 1956 30627 0 -1 1077944384 2 13197 0 0 0 0 5 3 20 0 6 0 222729972 10245611520 3608 33554432000 4194304 4196468 140733117915040 140515970931088 140516102416085 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2013] ppid=1953 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2013/stat : 2013 (java) S 1953 1956 30627 0 -1 1077944384 2 13197 0 0 0 0 5 3 20 0 6 0 222729972 10245611520 3608 33554432000 4194304 4196468 140733117915040 140515969878288 140516102416085 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10003272 KiB
Current children cumulated memory: 10792 KiB

[startup+0.210456 s]*
/proc/loadavg: 1.91 1.75 1.75 4/219 2022
/proc/meminfo: memFree=14520664/32770624 swapFree=67108688/67108860
[pid=1956] ppid=1953 vsize=10982696 memory=33052 CPUtime=0.16 cores=0,2,4,6
/proc/1956/stat : 1956 (java) S 1953 1956 30627 0 -1 1077944320 6070 13197 0 0 7 1 5 3 20 0 15 0 222729961 11246280704 8263 33554432000 4194304 4196468 140733117915040 140733117897584 140516102405879 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
/proc/1956/statm: 2745674 8263 2778 1 0 2708109 0
[pid=1956/tid=2009] ppid=1953 vsize=10982696 memory=8389772277269004345 CPUtime=0.14 cores=0,2,4,6
/proc/1956/task/2009/stat : 2009 (java) R 1953 1956 30627 0 -1 4202560 3175 13197 0 0 6 0 5 3 20 0 15 0 222729971 11246280704 8328 33554432000 4194304 4196468 140733117915040 140516074230256 140515644281654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2010] ppid=1953 vsize=10982696 memory=4294967661 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2010/stat : 2010 (java) S 1953 1956 30627 0 -1 1077944384 1 13197 0 0 0 0 5 3 20 0 15 0 222729972 11246280704 8328 33554432000 4194304 4196468 140733117915040 140516106648208 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2011] ppid=1953 vsize=10982696 memory=3905101900129363616 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2011/stat : 2011 (java) S 1953 1956 30627 0 -1 1077944384 1 13197 0 0 0 0 5 3 20 0 15 0 222729972 11246280704 8328 33554432000 4194304 4196468 140733117915040 140515971983888 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2012] ppid=1953 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2012/stat : 2012 (java) S 1953 1956 30627 0 -1 1077944384 2 13197 0 0 0 0 5 3 20 0 15 0 222729972 11246280704 8328 33554432000 4194304 4196468 140733117915040 140515970931088 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2013] ppid=1953 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2013/stat : 2013 (java) S 1953 1956 30627 0 -1 1077944384 2 13197 0 0 0 0 5 3 20 0 15 0 222729972 11246280704 8328 33554432000 4194304 4196468 140733117915040 140515969878288 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2014] ppid=1953 vsize=10982696 memory=139954712077952 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2014/stat : 2014 (java) S 1953 1956 30627 0 -1 1077944384 2 13197 0 0 0 0 5 3 20 0 15 0 222729974 11246280704 8328 33554432000 4194304 4196468 140733117915040 140515527654256 140516102417026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2015] ppid=1953 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2015/stat : 2015 (java) S 1953 1956 30627 0 -1 1077944384 13 13197 0 0 0 0 5 3 20 0 15 0 222729974 11246280704 8328 33554432000 4194304 4196468 140733117915040 140514955355680 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2016] ppid=1953 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2016/stat : 2016 (java) S 1953 1956 30627 0 -1 1077944384 1 13197 0 0 0 0 5 3 20 0 15 0 222729974 11246280704 8328 33554432000 4194304 4196468 140733117915040 140514754028912 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2017] ppid=1953 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2017/stat : 2017 (java) S 1953 1956 30627 0 -1 1077944384 3 13197 0 0 0 0 5 3 20 0 15 0 222729977 11246280704 8328 33554432000 4194304 4196468 140733117915040 140514446629200 140516102424475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2018] ppid=1953 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2018/stat : 2018 (java) S 1953 1956 30627 0 -1 1077944384 310 13197 0 0 0 0 5 3 20 0 15 0 222729977 11246280704 8328 33554432000 4194304 4196468 140733117915040 140515526601072 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2019] ppid=1953 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2019/stat : 2019 (java) S 1953 1956 30627 0 -1 1077944384 132 13197 0 0 0 0 5 3 20 0 15 0 222729977 11246280704 8328 33554432000 4194304 4196468 140733117915040 140515525548272 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2020] ppid=1953 vsize=10982696 memory=139954712077952 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2020/stat : 2020 (java) R 1953 1956 30627 0 -1 4202560 308 13197 0 0 0 0 5 3 20 0 15 0 222729977 11246280704 8328 33554432000 4194304 4196468 140733117915040 140515524495472 140516080774518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2021] ppid=1953 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2021/stat : 2021 (java) S 1953 1956 30627 0 -1 1077944384 3 13197 0 0 0 0 5 3 20 0 15 0 222729977 11246280704 8328 33554432000 4194304 4196468 140733117915040 140514015832288 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2022] ppid=1953 vsize=10982696 memory=139954712077952 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2022/stat : 2022 (java) S 1953 1956 30627 0 -1 1077944384 1 13197 0 0 0 0 5 3 20 0 15 0 222729982 11246280704 8328 33554432000 4194304 4196468 140733117915040 140515523443888 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 33052 KiB

[startup+0.31059 s]*
/proc/loadavg: 1.91 1.75 1.75 3/219 2022
/proc/meminfo: memFree=14503360/32770624 swapFree=67108688/67108860
[pid=1956] ppid=1953 vsize=10983192 memory=51312 CPUtime=0.32 cores=0,2,4,6
/proc/1956/stat : 1956 (java) S 1953 1956 30627 0 -1 1077944320 9747 13197 0 0 22 2 5 3 20 0 15 0 222729961 11246788608 12828 33554432000 4194304 4196468 140733117915040 140733117897584 140516102405879 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
/proc/1956/statm: 2745798 12828 3066 1 0 2708109 0
[pid=1956/tid=2009] ppid=1953 vsize=10983192 memory=4134692831991786133 CPUtime=0.24 cores=0,2,4,6
/proc/1956/task/2009/stat : 2009 (java) R 1953 1956 30627 0 -1 4202560 6305 13197 0 0 15 1 5 3 20 0 15 0 222729971 11246788608 12828 33554432000 4194304 4196468 140733117915040 140516074226992 140516082681058 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2010] ppid=1953 vsize=10983192 memory=3691042062614867976 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2010/stat : 2010 (java) S 1953 1956 30627 0 -1 1077944384 1 13197 0 0 0 0 5 3 20 0 15 0 222729972 11246788608 12828 33554432000 4194304 4196468 140733117915040 140516106648208 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2011] ppid=1953 vsize=10983192 memory=139954712077952 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2011/stat : 2011 (java) S 1953 1956 30627 0 -1 1077944384 1 13197 0 0 0 0 5 3 20 0 15 0 222729972 11246788608 12828 33554432000 4194304 4196468 140733117915040 140515971983888 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2012] ppid=1953 vsize=10983192 memory=2209 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2012/stat : 2012 (java) S 1953 1956 30627 0 -1 1077944384 2 13197 0 0 0 0 5 3 20 0 15 0 222729972 11246788608 12828 33554432000 4194304 4196468 140733117915040 140515970931088 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2013] ppid=1953 vsize=10983192 memory=2240 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2013/stat : 2013 (java) S 1953 1956 30627 0 -1 1077944384 2 13197 0 0 0 0 5 3 20 0 15 0 222729972 11246788608 12828 33554432000 4194304 4196468 140733117915040 140515969878288 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2014] ppid=1953 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2014/stat : 2014 (java) S 1953 1956 30627 0 -1 1077944384 2 13197 0 0 0 0 5 3 20 0 15 0 222729974 11246788608 12828 33554432000 4194304 4196468 140733117915040 140515527654256 140516102417026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2015] ppid=1953 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2015/stat : 2015 (java) S 1953 1956 30627 0 -1 1077944384 13 13197 0 0 0 0 5 3 20 0 15 0 222729974 11246788608 12828 33554432000 4194304 4196468 140733117915040 140514955355680 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2016] ppid=1953 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2016/stat : 2016 (java) S 1953 1956 30627 0 -1 1077944384 1 13197 0 0 0 0 5 3 20 0 15 0 222729974 11246788608 12828 33554432000 4194304 4196468 140733117915040 140514754028912 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2017] ppid=1953 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2017/stat : 2017 (java) S 1953 1956 30627 0 -1 1077944384 3 13197 0 0 0 0 5 3 20 0 15 0 222729977 11246788608 12828 33554432000 4194304 4196468 140733117915040 140514446629200 140516102424475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2018] ppid=1953 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/1956/task/2018/stat : 2018 (java) S 1953 1956 30627 0 -1 1077944384 373 13197 0 0 1 0 5 3 20 0 15 0 222729977 11246788608 12828 33554432000 4194304 4196468 140733117915040 140515526601072 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2019] ppid=1953 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/1956/task/2019/stat : 2019 (java) S 1953 1956 30627 0 -1 1077944384 247 13197 0 0 1 0 5 3 20 0 15 0 222729977 11246788608 12828 33554432000 4194304 4196468 140733117915040 140515525548272 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2020] ppid=1953 vsize=10983192 memory=139954712077952 CPUtime=0.12 cores=0,2,4,6
/proc/1956/task/2020/stat : 2020 (java) S 1953 1956 30627 0 -1 1077944384 609 13197 0 0 4 0 5 3 20 0 15 0 222729977 11246788608 12828 33554432000 4194304 4196468 140733117915040 140515524495472 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2021] ppid=1953 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2021/stat : 2021 (java) S 1953 1956 30627 0 -1 1077944384 3 13197 0 0 0 0 5 3 20 0 15 0 222729977 11246788608 12828 33554432000 4194304 4196468 140733117915040 140514015832288 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2022] ppid=1953 vsize=10983192 memory=139954712077952 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2022/stat : 2022 (java) S 1953 1956 30627 0 -1 1077944384 1 13197 0 0 0 0 5 3 20 0 15 0 222729982 11246788608 12828 33554432000 4194304 4196468 140733117915040 140515523443888 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 51312 KiB

[startup+0.7053 s]
/proc/loadavg: 1.91 1.75 1.75 3/219 2022
/proc/meminfo: memFree=14492400/32770624 swapFree=67108688/67108860
[pid=1956] ppid=1953 vsize=10983192 memory=85328 CPUtime=0.94 cores=0,2,4,6
/proc/1956/stat : 1956 (java) S 1953 1956 30627 0 -1 1077944320 16493 13197 0 0 81 5 5 3 20 0 15 0 222729961 11246788608 21332 33554432000 4194304 4196468 140733117915040 140733117897584 140516102405879 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
/proc/1956/statm: 2745798 21332 3235 1 0 2708109 0
[pid=1956/tid=2009] ppid=1953 vsize=10983192 memory=139955804308036 CPUtime=0.62 cores=0,2,4,6
/proc/1956/task/2009/stat : 2009 (java) R 1953 1956 30627 0 -1 4202560 12110 13197 0 0 51 3 5 3 20 0 15 0 222729971 11246788608 21332 33554432000 4194304 4196468 140733117915040 140516074226168 140516083969439 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2010] ppid=1953 vsize=10983192 memory=139955804308043 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2010/stat : 2010 (java) S 1953 1956 30627 0 -1 1077944384 1 13197 0 0 0 0 5 3 20 0 15 0 222729972 11246788608 21332 33554432000 4194304 4196468 140733117915040 140516106648208 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2011] ppid=1953 vsize=10983192 memory=139955804308049 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2011/stat : 2011 (java) S 1953 1956 30627 0 -1 1077944384 1 13197 0 0 0 0 5 3 20 0 15 0 222729972 11246788608 21332 33554432000 4194304 4196468 140733117915040 140515971983888 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2012] ppid=1953 vsize=10983192 memory=1388 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2012/stat : 2012 (java) S 1953 1956 30627 0 -1 1077944384 2 13197 0 0 0 0 5 3 20 0 15 0 222729972 11246788608 21332 33554432000 4194304 4196468 140733117915040 140515970931088 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2013] ppid=1953 vsize=10983192 memory=7518026621751089000 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2013/stat : 2013 (java) S 1953 1956 30627 0 -1 1077944384 2 13197 0 0 0 0 5 3 20 0 15 0 222729972 11246788608 21332 33554432000 4194304 4196468 140733117915040 140515969878288 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2014] ppid=1953 vsize=10983192 memory=7597685182856913236 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2014/stat : 2014 (java) S 1953 1956 30627 0 -1 1077944384 5 13197 0 0 0 0 5 3 20 0 15 0 222729974 11246788608 21332 33554432000 4194304 4196468 140733117915040 140515527654256 140516102417026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2015] ppid=1953 vsize=10983192 memory=6154538792250073449 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2015/stat : 2015 (java) S 1953 1956 30627 0 -1 1077944384 13 13197 0 0 0 0 5 3 20 0 15 0 222729974 11246788608 21332 33554432000 4194304 4196468 140733117915040 140514955355680 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2016] ppid=1953 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2016/stat : 2016 (java) S 1953 1956 30627 0 -1 1077944384 1 13197 0 0 0 0 5 3 20 0 15 0 222729974 11246788608 21332 33554432000 4194304 4196468 140733117915040 140514754028912 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2017] ppid=1953 vsize=10983192 memory=3824 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2017/stat : 2017 (java) S 1953 1956 30627 0 -1 1077944384 3 13197 0 0 0 0 5 3 20 0 15 0 222729977 11246788608 21332 33554432000 4194304 4196468 140733117915040 140514446629200 140516102424475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2018] ppid=1953 vsize=10983192 memory=60684 CPUtime=0.16 cores=0,2,4,6
/proc/1956/task/2018/stat : 2018 (java) S 1953 1956 30627 0 -1 1077944384 790 13197 0 0 8 0 5 3 20 0 15 0 222729977 11246788608 21332 33554432000 4194304 4196468 140733117915040 140515526601072 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2019] ppid=1953 vsize=10983192 memory=4548 CPUtime=0.15 cores=0,2,4,6
/proc/1956/task/2019/stat : 2019 (java) R 1953 1956 30627 0 -1 4202560 691 13197 0 0 7 0 5 3 20 0 15 0 222729977 11246788608 21332 33554432000 4194304 4196468 140733117915040 140515525529288 140516082060337 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2020] ppid=1953 vsize=10983192 memory=288230621787193645 CPUtime=0.21 cores=0,2,4,6
/proc/1956/task/2020/stat : 2020 (java) S 1953 1956 30627 0 -1 1077944384 679 13197 0 0 13 0 5 3 20 0 15 0 222729977 11246788608 21332 33554432000 4194304 4196468 140733117915040 140515524495472 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2021] ppid=1953 vsize=10983192 memory=14133333739177381 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2021/stat : 2021 (java) S 1953 1956 30627 0 -1 1077944384 3 13197 0 0 0 0 5 3 20 0 15 0 222729977 11246788608 21332 33554432000 4194304 4196468 140733117915040 140514015832288 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2022] ppid=1953 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2022/stat : 2022 (java) S 1953 1956 30627 0 -1 1077944384 1 13197 0 0 0 0 5 3 20 0 15 0 222729982 11246788608 21332 33554432000 4194304 4196468 140733117915040 140515523443888 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 85328 KiB

[startup+1.5047 s]
/proc/loadavg: 1.92 1.76 1.75 4/219 2022
/proc/meminfo: memFree=14450240/32770624 swapFree=67108688/67108860
[pid=1956] ppid=1953 vsize=10991948 memory=178756 CPUtime=2.89 cores=0,2,4,6
/proc/1956/stat : 1956 (java) S 1953 1956 30627 0 -1 1077944320 22562 13197 0 0 272 9 5 3 20 0 15 0 222729961 11255754752 44689 33554432000 4194304 4196468 140733117915040 140733117897584 140516102405879 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
/proc/1956/statm: 2747987 44689 3447 1 0 2709645 0
[pid=1956/tid=2009] ppid=1953 vsize=10991948 memory=3824 CPUtime=1.42 cores=0,2,4,6
/proc/1956/task/2009/stat : 2009 (java) R 1953 1956 30627 0 -1 4202560 15157 13197 0 0 127 7 5 3 20 0 15 0 222729971 11255754752 44689 33554432000 4194304 4196468 140733117915040 140516074238944 140516102417814 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2010] ppid=1953 vsize=10991948 memory=65 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2010/stat : 2010 (java) S 1953 1956 30627 0 -1 1077944384 1 13197 0 0 0 0 5 3 20 0 15 0 222729972 11255754752 44689 33554432000 4194304 4196468 140733117915040 140516106648208 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2011] ppid=1953 vsize=10991948 memory=6592774800616 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2011/stat : 2011 (java) S 1953 1956 30627 0 -1 1077944384 1 13197 0 0 0 0 5 3 20 0 15 0 222729972 11255754752 44689 33554432000 4194304 4196468 140733117915040 140515971983888 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2012] ppid=1953 vsize=10991948 memory=1832 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2012/stat : 2012 (java) S 1953 1956 30627 0 -1 1077944384 2 13197 0 0 0 0 5 3 20 0 15 0 222729972 11255754752 44689 33554432000 4194304 4196468 140733117915040 140515970931088 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2013] ppid=1953 vsize=10991948 memory=8904 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2013/stat : 2013 (java) S 1953 1956 30627 0 -1 1077944384 2 13197 0 0 0 0 5 3 20 0 15 0 222729972 11255754752 44689 33554432000 4194304 4196468 140733117915040 140515969878288 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2014] ppid=1953 vsize=10991948 memory=15196 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2014/stat : 2014 (java) S 1953 1956 30627 0 -1 1077944384 13 13197 0 0 0 0 5 3 20 0 15 0 222729974 11255754752 44689 33554432000 4194304 4196468 140733117915040 140515527654256 140516102417026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2015] ppid=1953 vsize=10991948 memory=16348 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2015/stat : 2015 (java) S 1953 1956 30627 0 -1 1077944384 13 13197 0 0 0 0 5 3 20 0 15 0 222729974 11255754752 44689 33554432000 4194304 4196468 140733117915040 140514955355680 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2016] ppid=1953 vsize=10991948 memory=1176 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2016/stat : 2016 (java) S 1953 1956 30627 0 -1 1077944384 1 13197 0 0 0 0 5 3 20 0 15 0 222729974 11255754752 44689 33554432000 4194304 4196468 140733117915040 140514754028912 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2017] ppid=1953 vsize=10991948 memory=33428 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2017/stat : 2017 (java) S 1953 1956 30627 0 -1 1077944384 3 13197 0 0 0 0 5 3 20 0 15 0 222729977 11255754752 44689 33554432000 4194304 4196468 140733117915040 140514446629200 140516102424475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2018] ppid=1953 vsize=10991948 memory=4048 CPUtime=0.56 cores=0,2,4,6
/proc/1956/task/2018/stat : 2018 (java) R 1953 1956 30627 0 -1 4202560 2168 13197 0 0 48 0 5 3 20 0 15 0 222729977 11255754752 44689 33554432000 4194304 4196468 140733117915040 140515526588208 140516087305386 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2019] ppid=1953 vsize=10991948 memory=508 CPUtime=0.6 cores=0,2,4,6
/proc/1956/task/2019/stat : 2019 (java) R 1953 1956 30627 0 -1 4202560 1525 13197 0 0 52 0 5 3 20 0 15 0 222729977 11255754752 44689 33554432000 4194304 4196468 140733117915040 140515525534704 140516081662289 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2020] ppid=1953 vsize=10991948 memory=1728 CPUtime=0.51 cores=0,2,4,6
/proc/1956/task/2020/stat : 2020 (java) R 1953 1956 30627 0 -1 1077944384 1481 13197 0 0 43 0 5 3 20 0 15 0 222729977 11255754752 44689 33554432000 4194304 4196468 140733117915040 140515524495472 140516102417026 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2021] ppid=1953 vsize=10991948 memory=4108 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2021/stat : 2021 (java) S 1953 1956 30627 0 -1 1077944384 3 13197 0 0 0 0 5 3 20 0 15 0 222729977 11255754752 44689 33554432000 4194304 4196468 140733117915040 140514015832288 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2022] ppid=1953 vsize=10991948 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2022/stat : 2022 (java) S 1953 1956 30627 0 -1 1077944384 1 13197 0 0 0 0 5 3 20 0 15 0 222729982 11255754752 44689 33554432000 4194304 4196468 140733117915040 140515523443888 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 10991948 KiB

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

/proc/1956/task/2009/stat : 2009 (java) R 1953 1956 30627 0 -1 4202560 179266 13197 0 0 236308 69 5 3 20 0 15 0 222729971 11343855616 799626 33554432000 4194304 4196468 140733117915040 140516074240432 140515665154812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2010] ppid=1953 vsize=11077984 memory=0 CPUtime=13.92 cores=0,2,4,6
/proc/1956/task/2010/stat : 2010 (java) S 1953 1956 30627 0 -1 1077944384 44199 13197 0 0 1343 41 5 3 20 0 15 0 222729972 11343855616 799626 33554432000 4194304 4196468 140733117915040 140516106648208 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2011] ppid=1953 vsize=11077984 memory=3198396 CPUtime=13.95 cores=0,2,4,6
/proc/1956/task/2011/stat : 2011 (java) S 1953 1956 30627 0 -1 1077944384 46112 13197 0 0 1347 40 5 3 20 0 15 0 222729972 11343855616 799626 33554432000 4194304 4196468 140733117915040 140515971983888 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2012] ppid=1953 vsize=11077984 memory=3198396 CPUtime=13.97 cores=0,2,4,6
/proc/1956/task/2012/stat : 2012 (java) S 1953 1956 30627 0 -1 1077944384 46091 13197 0 0 1349 40 5 3 20 0 15 0 222729972 11343855616 799626 33554432000 4194304 4196468 140733117915040 140515970931088 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2013] ppid=1953 vsize=11077984 memory=3198472 CPUtime=13.93 cores=0,2,4,6
/proc/1956/task/2013/stat : 2013 (java) S 1953 1956 30627 0 -1 1077944384 43082 13197 0 0 1347 38 5 3 20 0 15 0 222729972 11343855616 799626 33554432000 4194304 4196468 140733117915040 140515969878288 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2014] ppid=1953 vsize=11077984 memory=3198348 CPUtime=2.89 cores=0,2,4,6
/proc/1956/task/2014/stat : 2014 (java) S 1953 1956 30627 0 -1 1077944384 35410 13197 0 0 265 16 5 3 20 0 15 0 222729974 11343855616 799626 33554432000 4194304 4196468 140733117915040 140515527654256 140516102417026 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2015] ppid=1953 vsize=11077984 memory=3198472 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2015/stat : 2015 (java) S 1953 1956 30627 0 -1 1077944384 14 13197 0 0 0 0 5 3 20 0 15 0 222729974 11343855616 799626 33554432000 4194304 4196468 140733117915040 140514955355744 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2016] ppid=1953 vsize=11077984 memory=3198504 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2016/stat : 2016 (java) S 1953 1956 30627 0 -1 1077944384 4 13197 0 0 0 0 5 3 20 0 15 0 222729974 11343855616 799626 33554432000 4194304 4196468 140733117915040 140514754028928 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2017] ppid=1953 vsize=11077984 memory=236317 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2017/stat : 2017 (java) S 1953 1956 30627 0 -1 1077944384 3 13197 0 0 0 0 5 3 20 0 15 0 222729977 11343855616 799626 33554432000 4194304 4196468 140733117915040 140514446629200 140516102424475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2018] ppid=1953 vsize=11077984 memory=3198504 CPUtime=8.8 cores=0,2,4,6
/proc/1956/task/2018/stat : 2018 (java) S 1953 1956 30627 0 -1 1077944384 40969 13197 0 0 866 6 5 3 20 0 15 0 222729977 11343855616 799626 33554432000 4194304 4196468 140733117915040 140515526601072 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2019] ppid=1953 vsize=11077984 memory=3824 CPUtime=9.09 cores=0,2,4,6
/proc/1956/task/2019/stat : 2019 (java) S 1953 1956 30627 0 -1 1077944384 33738 13197 0 0 897 4 5 3 20 0 15 0 222729977 11343855616 799626 33554432000 4194304 4196468 140733117915040 140515525548272 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2020] ppid=1953 vsize=11077984 memory=3198504 CPUtime=2.86 cores=0,2,4,6
/proc/1956/task/2020/stat : 2020 (java) S 1953 1956 30627 0 -1 1077944384 29580 13197 0 0 273 5 5 3 20 0 15 0 222729977 11343855616 799626 33554432000 4194304 4196468 140733117915040 140515524495472 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2021] ppid=1953 vsize=11077984 memory=33460 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2021/stat : 2021 (java) S 1953 1956 30627 0 -1 1077944384 3 13197 0 0 0 0 5 3 20 0 15 0 222729977 11343855616 799626 33554432000 4194304 4196468 140733117915040 140514015832288 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2022] ppid=1953 vsize=11077984 memory=3824 CPUtime=1.5 cores=0,2,4,6
/proc/1956/task/2022/stat : 2022 (java) S 1953 1956 30627 0 -1 1077944384 2492 13197 0 0 73 69 5 3 20 0 15 0 222729982 11343855616 799626 33554432000 4194304 4196468 140733117915040 140515523443888 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
Current children cumulated CPU time: 2444.13 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3198504 KiB

[startup+2442.3 s]
/proc/loadavg: 1.68 1.50 1.52 3/219 2256
/proc/meminfo: memFree=13034300/32770624 swapFree=67108688/67108860
[pid=1956] ppid=1953 vsize=11077984 memory=3198560 CPUtime=2505.39 cores=0,2,4,6
/proc/1956/stat : 1956 (java) S 1953 1956 30627 0 -1 1077944320 510706 13197 0 0 250223 308 5 3 20 0 15 0 222729961 11343855616 799640 33554432000 4194304 4196468 140733117915040 140733117897584 140516102405879 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
/proc/1956/statm: 2769496 799640 3538 1 0 2731149 0
[pid=1956/tid=2009] ppid=1953 vsize=11077984 memory=3198396 CPUtime=2423.27 cores=0,2,4,6
/proc/1956/task/2009/stat : 2009 (java) R 1953 1956 30627 0 -1 4202560 181495 13197 0 0 242250 69 5 3 20 0 15 0 222729971 11343855616 799640 33554432000 4194304 4196468 140733117915040 140516074241520 140515657852202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2010] ppid=1953 vsize=11077984 memory=3198396 CPUtime=14.33 cores=0,2,4,6
/proc/1956/task/2010/stat : 2010 (java) S 1953 1956 30627 0 -1 1077944384 46178 13197 0 0 1384 41 5 3 20 0 15 0 222729972 11343855616 799640 33554432000 4194304 4196468 140733117915040 140516106648208 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2011] ppid=1953 vsize=11077984 memory=3198348 CPUtime=14.38 cores=0,2,4,6
/proc/1956/task/2011/stat : 2011 (java) S 1953 1956 30627 0 -1 1077944384 47049 13197 0 0 1389 41 5 3 20 0 15 0 222729972 11343855616 799640 33554432000 4194304 4196468 140733117915040 140515971983888 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2012] ppid=1953 vsize=11077984 memory=3198472 CPUtime=14.4 cores=0,2,4,6
/proc/1956/task/2012/stat : 2012 (java) S 1953 1956 30627 0 -1 1077944384 46527 13197 0 0 1392 40 5 3 20 0 15 0 222729972 11343855616 799640 33554432000 4194304 4196468 140733117915040 140515970931088 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2013] ppid=1953 vsize=11077984 memory=3198504 CPUtime=14.36 cores=0,2,4,6
/proc/1956/task/2013/stat : 2013 (java) S 1953 1956 30627 0 -1 1077944384 44280 13197 0 0 1390 38 5 3 20 0 15 0 222729972 11343855616 799640 33554432000 4194304 4196468 140733117915040 140515969878288 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2014] ppid=1953 vsize=11077984 memory=3198532 CPUtime=2.98 cores=0,2,4,6
/proc/1956/task/2014/stat : 2014 (java) S 1953 1956 30627 0 -1 1077944384 36137 13197 0 0 274 16 5 3 20 0 15 0 222729974 11343855616 799640 33554432000 4194304 4196468 140733117915040 140515527654256 140516102417026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2015] ppid=1953 vsize=11077984 memory=3198536 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2015/stat : 2015 (java) S 1953 1956 30627 0 -1 1077944384 14 13197 0 0 0 0 5 3 20 0 15 0 222729974 11343855616 799640 33554432000 4194304 4196468 140733117915040 140514955355744 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2016] ppid=1953 vsize=11077984 memory=3198560 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2016/stat : 2016 (java) S 1953 1956 30627 0 -1 1077944384 4 13197 0 0 0 0 5 3 20 0 15 0 222729974 11343855616 799640 33554432000 4194304 4196468 140733117915040 140514754028928 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2017] ppid=1953 vsize=11077984 memory=3198560 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2017/stat : 2017 (java) S 1953 1956 30627 0 -1 1077944384 3 13197 0 0 0 0 5 3 20 0 15 0 222729977 11343855616 799640 33554432000 4194304 4196468 140733117915040 140514446629200 140516102424475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2018] ppid=1953 vsize=11077984 memory=3198560 CPUtime=8.8 cores=0,2,4,6
/proc/1956/task/2018/stat : 2018 (java) S 1953 1956 30627 0 -1 1077944384 40973 13197 0 0 866 6 5 3 20 0 15 0 222729977 11343855616 799640 33554432000 4194304 4196468 140733117915040 140515526601072 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2019] ppid=1953 vsize=11077984 memory=8112282956445269571 CPUtime=9.09 cores=0,2,4,6
/proc/1956/task/2019/stat : 2019 (java) S 1953 1956 30627 0 -1 1077944384 33744 13197 0 0 897 4 5 3 20 0 15 0 222729977 11343855616 799640 33554432000 4194304 4196468 140733117915040 140515525548272 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2020] ppid=1953 vsize=11077984 memory=916 CPUtime=2.86 cores=0,2,4,6
/proc/1956/task/2020/stat : 2020 (java) S 1953 1956 30627 0 -1 1077944384 29586 13197 0 0 273 5 5 3 20 0 15 0 222729977 11343855616 799640 33554432000 4194304 4196468 140733117915040 140515524495472 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2021] ppid=1953 vsize=11077984 memory=3198560 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2021/stat : 2021 (java) S 1953 1956 30627 0 -1 1077944384 3 13197 0 0 0 0 5 3 20 0 15 0 222729977 11343855616 799640 33554432000 4194304 4196468 140733117915040 140514015832288 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2022] ppid=1953 vsize=11077984 memory=1224 CPUtime=1.54 cores=0,2,4,6
/proc/1956/task/2022/stat : 2022 (java) S 1953 1956 30627 0 -1 1077944384 2522 13197 0 0 75 71 5 3 20 0 15 0 222729982 11343855616 799640 33554432000 4194304 4196468 140733117915040 140515523443888 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
Current children cumulated CPU time: 2505.39 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3198560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2456.7 s]
/proc/loadavg: 1.73 1.52 1.53 4/219 2257
/proc/meminfo: memFree=13034532/32770624 swapFree=67108688/67108860
[pid=1956] ppid=1953 vsize=11077984 memory=3198580 CPUtime=2520.09 cores=0,2,4,6
/proc/1956/stat : 1956 (java) S 1953 1956 30627 0 -1 1077944320 512288 13197 0 0 251692 309 5 3 20 0 15 0 222729961 11343855616 799645 33554432000 4194304 4196468 140733117915040 140733117897584 140516102405879 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
/proc/1956/statm: 2769496 799645 3538 1 0 2731149 0
[pid=1956/tid=2009] ppid=1953 vsize=11077984 memory=3198580 CPUtime=2437.54 cores=0,2,4,6
/proc/1956/task/2009/stat : 2009 (java) R 1953 1956 30627 0 -1 4202560 181838 13197 0 0 243677 69 5 3 20 0 15 0 222729971 11343855616 799645 33554432000 4194304 4196468 140733117915040 140516074240688 140515663823861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2010] ppid=1953 vsize=11077984 memory=3198560 CPUtime=14.43 cores=0,2,4,6
/proc/1956/task/2010/stat : 2010 (java) S 1953 1956 30627 0 -1 1077944384 46276 13197 0 0 1394 41 5 3 20 0 15 0 222729972 11343855616 799645 33554432000 4194304 4196468 140733117915040 140516106648208 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2011] ppid=1953 vsize=11077984 memory=3198396 CPUtime=14.48 cores=0,2,4,6
/proc/1956/task/2011/stat : 2011 (java) S 1953 1956 30627 0 -1 1077944384 47090 13197 0 0 1399 41 5 3 20 0 15 0 222729972 11343855616 799645 33554432000 4194304 4196468 140733117915040 140515971983888 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2012] ppid=1953 vsize=11077984 memory=3198348 CPUtime=14.5 cores=0,2,4,6
/proc/1956/task/2012/stat : 2012 (java) S 1953 1956 30627 0 -1 1077944384 46549 13197 0 0 1401 41 5 3 20 0 15 0 222729972 11343855616 799645 33554432000 4194304 4196468 140733117915040 140515970931088 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2013] ppid=1953 vsize=11077984 memory=3198472 CPUtime=14.47 cores=0,2,4,6
/proc/1956/task/2013/stat : 2013 (java) S 1953 1956 30627 0 -1 1077944384 45308 13197 0 0 1400 39 5 3 20 0 15 0 222729972 11343855616 799645 33554432000 4194304 4196468 140733117915040 140515969878288 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2014] ppid=1953 vsize=11077984 memory=3198504 CPUtime=3.01 cores=0,2,4,6
/proc/1956/task/2014/stat : 2014 (java) S 1953 1956 30627 0 -1 1077944384 36177 13197 0 0 276 17 5 3 20 0 15 0 222729974 11343855616 799645 33554432000 4194304 4196468 140733117915040 140515527654256 140516102417026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2015] ppid=1953 vsize=11077984 memory=3198532 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2015/stat : 2015 (java) S 1953 1956 30627 0 -1 1077944384 14 13197 0 0 0 0 5 3 20 0 15 0 222729974 11343855616 799645 33554432000 4194304 4196468 140733117915040 140514955355744 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2016] ppid=1953 vsize=11077984 memory=3198536 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2016/stat : 2016 (java) S 1953 1956 30627 0 -1 1077944384 4 13197 0 0 0 0 5 3 20 0 15 0 222729974 11343855616 799645 33554432000 4194304 4196468 140733117915040 140514754028928 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2017] ppid=1953 vsize=11077984 memory=3198560 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2017/stat : 2017 (java) S 1953 1956 30627 0 -1 1077944384 3 13197 0 0 0 0 5 3 20 0 15 0 222729977 11343855616 799645 33554432000 4194304 4196468 140733117915040 140514446629200 140516102424475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2018] ppid=1953 vsize=11077984 memory=3198560 CPUtime=8.8 cores=0,2,4,6
/proc/1956/task/2018/stat : 2018 (java) S 1953 1956 30627 0 -1 1077944384 40975 13197 0 0 866 6 5 3 20 0 15 0 222729977 11343855616 799645 33554432000 4194304 4196468 140733117915040 140515526601072 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2019] ppid=1953 vsize=11077984 memory=3198560 CPUtime=9.09 cores=0,2,4,6
/proc/1956/task/2019/stat : 2019 (java) S 1953 1956 30627 0 -1 1077944384 33746 13197 0 0 897 4 5 3 20 0 15 0 222729977 11343855616 799645 33554432000 4194304 4196468 140733117915040 140515525548272 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2020] ppid=1953 vsize=11077984 memory=3198560 CPUtime=2.86 cores=0,2,4,6
/proc/1956/task/2020/stat : 2020 (java) S 1953 1956 30627 0 -1 1077944384 29588 13197 0 0 273 5 5 3 20 0 15 0 222729977 11343855616 799645 33554432000 4194304 4196468 140733117915040 140515524495472 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2021] ppid=1953 vsize=11077984 memory=3198560 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2021/stat : 2021 (java) S 1953 1956 30627 0 -1 1077944384 3 13197 0 0 0 0 5 3 20 0 15 0 222729977 11343855616 799645 33554432000 4194304 4196468 140733117915040 140514015832288 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2022] ppid=1953 vsize=11077984 memory=3198580 CPUtime=1.54 cores=0,2,4,6
/proc/1956/task/2022/stat : 2022 (java) S 1953 1956 30627 0 -1 1077944384 2526 13197 0 0 75 71 5 3 20 0 15 0 222729982 11343855616 799645 33554432000 4194304 4196468 140733117915040 140515523443888 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3198580 KiB

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

[startup+2456.74 s]
# the end of solver process 1956 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.99 s, system=3.15896 s

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

[startup+2456.7 s]
/proc/loadavg: 1.73 1.52 1.53 4/219 2257
/proc/meminfo: memFree=13034532/32770624 swapFree=67108688/67108860
[pid=1956] ppid=1953 vsize=11077984 memory=3198580 CPUtime=2520.09 cores=0,2,4,6
/proc/1956/stat : 1956 (java) S 1953 1956 30627 0 -1 1077944320 512288 13197 0 0 251692 309 5 3 20 0 15 0 222729961 11343855616 799645 33554432000 4194304 4196468 140733117915040 140733117897584 140516102405879 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
/proc/1956/statm: 2769496 799645 3538 1 0 2731149 0
[pid=1956/tid=2009] ppid=1953 vsize=11077984 memory=3198580 CPUtime=2437.54 cores=0,2,4,6
/proc/1956/task/2009/stat : 2009 (java) R 1953 1956 30627 0 -1 4202560 181838 13197 0 0 243677 69 5 3 20 0 15 0 222729971 11343855616 799645 33554432000 4194304 4196468 140733117915040 140516074240688 140515663823861 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2010] ppid=1953 vsize=11077984 memory=3198560 CPUtime=14.43 cores=0,2,4,6
/proc/1956/task/2010/stat : 2010 (java) S 1953 1956 30627 0 -1 1077944384 46276 13197 0 0 1394 41 5 3 20 0 15 0 222729972 11343855616 799645 33554432000 4194304 4196468 140733117915040 140516106648208 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2011] ppid=1953 vsize=11077984 memory=3198396 CPUtime=14.48 cores=0,2,4,6
/proc/1956/task/2011/stat : 2011 (java) S 1953 1956 30627 0 -1 1077944384 47090 13197 0 0 1399 41 5 3 20 0 15 0 222729972 11343855616 799645 33554432000 4194304 4196468 140733117915040 140515971983888 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2012] ppid=1953 vsize=11077984 memory=3198348 CPUtime=14.5 cores=0,2,4,6
/proc/1956/task/2012/stat : 2012 (java) S 1953 1956 30627 0 -1 1077944384 46549 13197 0 0 1401 41 5 3 20 0 15 0 222729972 11343855616 799645 33554432000 4194304 4196468 140733117915040 140515970931088 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2013] ppid=1953 vsize=11077984 memory=3198472 CPUtime=14.47 cores=0,2,4,6
/proc/1956/task/2013/stat : 2013 (java) S 1953 1956 30627 0 -1 1077944384 45308 13197 0 0 1400 39 5 3 20 0 15 0 222729972 11343855616 799645 33554432000 4194304 4196468 140733117915040 140515969878288 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2014] ppid=1953 vsize=11077984 memory=3198504 CPUtime=3.01 cores=0,2,4,6
/proc/1956/task/2014/stat : 2014 (java) S 1953 1956 30627 0 -1 1077944384 36177 13197 0 0 276 17 5 3 20 0 15 0 222729974 11343855616 799645 33554432000 4194304 4196468 140733117915040 140515527654256 140516102417026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2015] ppid=1953 vsize=11077984 memory=3198532 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2015/stat : 2015 (java) S 1953 1956 30627 0 -1 1077944384 14 13197 0 0 0 0 5 3 20 0 15 0 222729974 11343855616 799645 33554432000 4194304 4196468 140733117915040 140514955355744 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2016] ppid=1953 vsize=11077984 memory=3198536 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2016/stat : 2016 (java) S 1953 1956 30627 0 -1 1077944384 4 13197 0 0 0 0 5 3 20 0 15 0 222729974 11343855616 799645 33554432000 4194304 4196468 140733117915040 140514754028928 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2017] ppid=1953 vsize=11077984 memory=3198560 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2017/stat : 2017 (java) S 1953 1956 30627 0 -1 1077944384 3 13197 0 0 0 0 5 3 20 0 15 0 222729977 11343855616 799645 33554432000 4194304 4196468 140733117915040 140514446629200 140516102424475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2018] ppid=1953 vsize=11077984 memory=3198560 CPUtime=8.8 cores=0,2,4,6
/proc/1956/task/2018/stat : 2018 (java) S 1953 1956 30627 0 -1 1077944384 40975 13197 0 0 866 6 5 3 20 0 15 0 222729977 11343855616 799645 33554432000 4194304 4196468 140733117915040 140515526601072 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2019] ppid=1953 vsize=11077984 memory=3198560 CPUtime=9.09 cores=0,2,4,6
/proc/1956/task/2019/stat : 2019 (java) S 1953 1956 30627 0 -1 1077944384 33746 13197 0 0 897 4 5 3 20 0 15 0 222729977 11343855616 799645 33554432000 4194304 4196468 140733117915040 140515525548272 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2020] ppid=1953 vsize=11077984 memory=3198560 CPUtime=2.86 cores=0,2,4,6
/proc/1956/task/2020/stat : 2020 (java) S 1953 1956 30627 0 -1 1077944384 29588 13197 0 0 273 5 5 3 20 0 15 0 222729977 11343855616 799645 33554432000 4194304 4196468 140733117915040 140515524495472 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2021] ppid=1953 vsize=11077984 memory=3198560 CPUtime=0.08 cores=0,2,4,6
/proc/1956/task/2021/stat : 2021 (java) S 1953 1956 30627 0 -1 1077944384 3 13197 0 0 0 0 5 3 20 0 15 0 222729977 11343855616 799645 33554432000 4194304 4196468 140733117915040 140514015832288 140516102416085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
[pid=1956/tid=2022] ppid=1953 vsize=11077984 memory=3198580 CPUtime=1.54 cores=0,2,4,6
/proc/1956/task/2022/stat : 2022 (java) S 1953 1956 30627 0 -1 1077944384 2526 13197 0 0 75 71 5 3 20 0 15 0 222729982 11343855616 799645 33554432000 4194304 4196468 140733117915040 140515523443888 140516102417026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17100800 140733117917796 140733117920604 140733117920604 140733117923279 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 3198580 KiB

Child status: 143
Real time (s): 2456.74
CPU time (s): 2520.15
CPU user time (s): 2516.99
CPU system time (s): 3.15896
CPU usage (%): 102.581
Max. virtual memory (cumulated for all children) (KiB): 11080620
Max. memory (cumulated for all children) (KiB): 3298672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.99
system time used= 3.15896
maximum resident set size= 3300720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 527959
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117072
involuntary context switches= 7650


# summary of solver processes directly reported to runsolver:
#   pid: 1956
#   total CPU time (s): 2520.15
#   total CPU user time (s): 2516.99
#   total CPU system time (s): 3.15896

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1598 second user time and 22.7917 second system time

The end

Launcher Data 

Begin job on node134 at 2018-08-12 07:27:47
IDJOB=4304262
IDBENCH=141143
IDSOLVER=2781
FILE ID=node134/4304262-1534051667
RUNJOBID= node134-1534038702-32058
PBS_JOBID= 21036961
Free space on /tmp= 42288 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/GraphColoring/GraphColoring-2-fullins-5_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304262-1534051667/watcher-4304262-1534051667 -o /tmp/evaluation-result-4304262-1534051667/solver-4304262-1534051667 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534038702-32058 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=723685660 -superng HOME/instance-4304262-1534051667.xml

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

MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33
RANDOM SEED=723685660

node134.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.68
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.68
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.68
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.68
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:        14541848 kB
MemAvailable:   28176432 kB
Buffers:          184152 kB
Cached:         13597584 kB
SwapCached:           52 kB
Active:          8230012 kB
Inactive:        9326108 kB
Active(anon):    3723500 kB
Inactive(anon):   103128 kB
Active(file):    4506512 kB
Inactive(file):  9222980 kB
Unevictable:        7392 kB
Mlocked:            7392 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:             26940 kB
Writeback:             0 kB
AnonPages:       3780984 kB
Mapped:            67184 kB
Shmem:             49652 kB
Slab:             362172 kB
SReclaimable:     333552 kB
SUnreclaim:        28620 kB
KernelStack:        3632 kB
PageTables:        12864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5064792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3540992 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 42260 MiB
End job on node134 at 2018-08-12 08:08:44